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-2693018-1277914384.wbo>
0.00/0.04 c original problem has 6466 variables (4039 bin, 0 int, 0 impl, 2427 cont) and 6081 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.05/0.07 c presolving:
0.05/0.09 c (round 1) 22 del vars, 3 del conss, 0 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 5045 impls, 0 clqs
0.05/0.09 c (round 2) 23 del vars, 46 del conss, 0 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 5045 impls, 0 clqs
0.09/0.10 c (round 3) 24 del vars, 46 del conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 5045 impls, 0 clqs
0.09/0.13 c (round 4) 24 del vars, 46 del conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 1184 upgd conss, 5045 impls, 0 clqs
0.19/0.21 c (0.1s) probing: 165/4016 (4.1%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (5 rounds):
0.19/0.21 c 24 deleted vars, 46 deleted constraints, 2426 tightened bounds, 0 added holes, 190 changed sides, 380 changed coefficients
0.19/0.21 c 5048 implications, 0 cliques
0.19/0.21 c presolved problem has 6442 variables (4016 bin, 0 int, 0 impl, 2426 cont) and 6035 constraints
0.19/0.21 c 2426 constraints of type <indicator>
0.19/0.21 c 1 constraints of type <varbound>
0.19/0.21 c 122 constraints of type <knapsack>
0.19/0.21 c 2425 constraints of type <linear>
0.19/0.21 c 1061 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.14
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.96
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 3420
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.23 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.23 c 0.2s| 1 | 0 | 98 | - | 22M| 0 | 55 |6442 |6035 |6442 |1183 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 c 0.3s| 1 | 0 | 324 | - | 22M| 0 | 155 |6442 |6035 |6442 |1431 | 248 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 o 123992
0.29/0.35 c y 0.3s| 1 | 0 | 324 | - | 22M| 0 | 155 |6442 |6035 |6442 |1431 | 248 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 545 | - | 22M| 0 | 184 |6442 |6035 |6442 |1635 | 452 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
0.58/0.63 c 0.6s| 1 | 0 | 976 | - | 23M| 0 | 246 |6442 |6035 |6442 |1816 | 633 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
0.79/0.84 c 0.8s| 1 | 0 | 1242 | - | 23M| 0 | 287 |6442 |6035 |6442 |1973 | 790 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
1.09/1.15 c 1.1s| 1 | 0 | 1670 | - | 23M| 0 | 355 |6442 |6035 |6442 |2120 | 937 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
1.48/1.53 c 1.4s| 1 | 0 | 2105 | - | 24M| 0 | 441 |6442 |6035 |6442 |2272 |1089 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
1.69/1.71 c 1.6s| 1 | 2 | 2105 | - | 24M| 0 | 441 |6442 |6035 |6442 |2272 |1089 | 0 | 18 | 0.000000e+00 | 1.239920e+05 | Inf
72.00/72.08 c 70.8s| 10000 | 9985 | 95075 | 9.3 | 58M| 243 | 56 |6442 |6088 |6442 |1933 |1282 | 53 |4593 | 0.000000e+00 | 1.239920e+05 | Inf
105.79/105.88 c 104s| 20000 | 19983 |109602 | 5.4 | 84M| 375 | 0 |6442 |6088 |6442 |1965 |2949 | 54 |4760 | 0.000000e+00 | 1.239920e+05 | Inf
140.80/140.82 c 139s| 30000 | 29977 |118602 | 3.9 | 110M| 381 | 0 |6442 |6090 |6442 |1973 |4490 | 58 |4897 | 0.000000e+00 | 1.239920e+05 | Inf
176.10/176.12 c 174s| 40000 | 39977 |129031 | 3.2 | 136M| 381 | 0 |6442 |6088 |6442 |1972 |5824 | 58 |5066 | 0.000000e+00 | 1.239920e+05 | Inf
211.30/211.35 c 209s| 50000 | 49977 |136577 | 2.7 | 163M| 381 | 0 |6442 |6087 |6442 |1976 |7640 | 58 |5199 | 0.000000e+00 | 1.239920e+05 | Inf
246.70/246.73 c 244s| 60000 | 59977 |142227 | 2.3 | 189M| 391 | 0 |6442 |6087 |6442 |1973 |8963 | 58 |5376 | 0.000000e+00 | 1.239920e+05 | Inf
282.10/282.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.10/282.13 c 279s| 70000 | 69977 |151923 | 2.1 | 215M| 391 | 0 |6442 |6086 |6442 |1964 | 10k| 58 |5590 | 0.000000e+00 | 1.239920e+05 | Inf
316.60/316.66 c 313s| 80000 | 79977 |158893 | 2.0 | 241M| 391 | 29 |6442 |6083 |6442 |1956 | 11k| 58 |5633 | 0.000000e+00 | 1.239920e+05 | Inf
352.30/352.35 c 348s| 90000 | 89977 |164142 | 1.8 | 267M| 391 | 0 |6442 |6083 |6442 |1968 | 13k| 58 |5633 | 0.000000e+00 | 1.239920e+05 | Inf
389.10/389.11 c 384s|100000 | 99977 |177680 | 1.8 | 293M| 391 | 0 |6442 |6082 |6442 |2007 | 15k| 58 |5963 | 0.000000e+00 | 1.239920e+05 | Inf
425.71/425.77 c 421s|110000 |109977 |187032 | 1.7 | 319M| 393 | 0 |6442 |6081 |6442 |1985 | 17k| 58 |6220 | 0.000000e+00 | 1.239920e+05 | Inf
461.80/461.82 c 456s|120000 |119977 |195509 | 1.6 | 345M| 393 | 0 |6442 |6081 |6442 |1981 | 19k| 58 |6243 | 0.000000e+00 | 1.239920e+05 | Inf
497.91/497.90 c 492s|130000 |129977 |202424 | 1.5 | 371M| 395 | 0 |6442 |6081 |6442 |1995 | 21k| 58 |6264 | 0.000000e+00 | 1.239920e+05 | Inf
533.51/533.52 c 527s|140000 |139977 |212123 | 1.5 | 397M| 397 | 0 |6442 |6081 |6442 |1995 | 23k| 58 |6310 | 0.000000e+00 | 1.239920e+05 | Inf
568.30/568.33 c 561s|150000 |149977 |237889 | 1.6 | 423M| 397 | 0 |6442 |6073 |6442 |2012 | 26k| 58 |6337 | 0.000000e+00 | 1.239920e+05 | Inf
604.81/604.82 c 597s|160000 |159977 |243271 | 1.5 | 449M| 397 | 0 |6442 |6073 |6442 |2016 | 27k| 58 |6372 | 0.000000e+00 | 1.239920e+05 | Inf
641.01/641.07 c 633s|170000 |169977 |251232 | 1.5 | 475M| 397 | 183 |6442 |6072 |6442 |1933 | 28k| 58 |6432 | 0.000000e+00 | 1.239920e+05 | Inf
677.31/677.30 c 669s|180000 |179977 |261588 | 1.4 | 502M| 399 | 0 |6442 |6069 |6442 |1991 | 29k| 58 |6491 | 0.000000e+00 | 1.239920e+05 | Inf
715.02/715.08 c 706s|190000 |189977 |270273 | 1.4 | 528M| 399 | 0 |6442 |6069 |6442 |1979 | 32k| 58 |6511 | 0.000000e+00 | 1.239920e+05 | Inf
752.61/752.63 c 743s|200000 |199977 |277849 | 1.4 | 554M| 399 | 183 |6442 |6068 |6442 |1933 | 34k| 58 |6521 | 0.000000e+00 | 1.239920e+05 | Inf
790.01/790.00 c 780s|210000 |209977 |286894 | 1.4 | 580M| 399 | 0 |6442 |6066 |6442 |1988 | 37k| 58 |6535 | 0.000000e+00 | 1.239920e+05 | Inf
827.42/827.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.42/827.42 c 817s|220000 |219977 |297553 | 1.3 | 606M| 399 | 0 |6442 |6066 |6442 |1970 | 39k| 58 |6720 | 0.000000e+00 | 1.239920e+05 | Inf
863.52/863.58 c 852s|230000 |229977 |303026 | 1.3 | 632M| 399 | 0 |6442 |6066 |6442 |1969 | 40k| 58 |6727 | 0.000000e+00 | 1.239920e+05 | Inf
899.82/899.83 c 888s|240000 |239977 |309025 | 1.3 | 658M| 399 | 0 |6442 |6064 |6442 |1974 | 42k| 58 |6770 | 0.000000e+00 | 1.239920e+05 | Inf
936.92/936.92 c 924s|250000 |249977 |317238 | 1.3 | 684M| 399 | 0 |6442 |6064 |6442 |1972 | 44k| 58 |6793 | 0.000000e+00 | 1.239920e+05 | Inf
973.72/973.77 c 960s|260000 |259975 |325054 | 1.2 | 711M| 399 | 0 |6442 |6065 |6442 |1968 | 46k| 59 |6805 | 0.000000e+00 | 1.239920e+05 | Inf
1010.82/1010.86 c 996s|270000 |269975 |332855 | 1.2 | 737M| 399 | 0 |6442 |6065 |6442 |1968 | 47k| 59 |6809 | 0.000000e+00 | 1.239920e+05 | Inf
1048.82/1048.88 c 1033s|280000 |279975 |339078 | 1.2 | 763M| 399 | 0 |6442 |6065 |6442 |1969 | 49k| 59 |6809 | 0.000000e+00 | 1.239920e+05 | Inf
1086.52/1086.51 c 1070s|290000 |289975 |343533 | 1.2 | 789M| 399 | 0 |6442 |6065 |6442 |1969 | 51k| 59 |6810 | 0.000000e+00 | 1.239920e+05 | Inf
1124.53/1124.56 c 1108s|300000 |299975 |347851 | 1.2 | 815M| 399 | 0 |6442 |6065 |6442 |1966 | 52k| 59 |6814 | 0.000000e+00 | 1.239920e+05 | Inf
1162.03/1162.04 c 1145s|310000 |309975 |352147 | 1.1 | 841M| 399 | 0 |6442 |6065 |6442 |1970 | 54k| 59 |6816 | 0.000000e+00 | 1.239920e+05 | Inf
1199.13/1199.15 c 1181s|320000 |319975 |359000 | 1.1 | 867M| 399 | 0 |6442 |6065 |6442 |1974 | 56k| 59 |6818 | 0.000000e+00 | 1.239920e+05 | Inf
1236.12/1236.17 c 1217s|330000 |329975 |365648 | 1.1 | 893M| 399 | 0 |6442 |6064 |6442 |1964 | 57k| 59 |6825 | 0.000000e+00 | 1.239920e+05 | Inf
1273.63/1273.61 c 1254s|340000 |339973 |369363 | 1.1 | 919M| 399 | 6 |6442 |6065 |6442 |1956 | 58k| 60 |6827 | 0.000000e+00 | 1.239920e+05 | Inf
1310.83/1310.87 c 1291s|350000 |349973 |372384 | 1.1 | 945M| 399 | 0 |6442 |6065 |6442 |1970 | 60k| 60 |6827 | 0.000000e+00 | 1.239920e+05 | Inf
1348.03/1348.03 c 1327s|360000 |359973 |376007 | 1.0 | 972M| 399 | 0 |6442 |6065 |6442 |1966 | 61k| 60 |6827 | 0.000000e+00 | 1.239920e+05 | Inf
1385.04/1385.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.04/1385.01 c 1364s|370000 |369973 |381900 | 1.0 | 998M| 399 | 0 |6442 |6064 |6442 |1963 | 62k| 60 |6846 | 0.000000e+00 | 1.239920e+05 | Inf
1422.03/1422.09 c 1400s|380000 |379973 |387617 | 1.0 |1024M| 399 | 0 |6442 |6064 |6442 |1973 | 63k| 60 |6878 | 0.000000e+00 | 1.239920e+05 | Inf
1459.54/1459.56 c 1436s|390000 |389973 |391954 | 1.0 |1050M| 399 | 0 |6442 |6063 |6442 |1967 | 64k| 60 |6879 | 0.000000e+00 | 1.239920e+05 | Inf
1497.33/1497.32 c 1473s|400000 |399973 |396174 | 1.0 |1076M| 399 | 0 |6442 |6063 |6442 |1965 | 65k| 60 |6879 | 0.000000e+00 | 1.239920e+05 | Inf
1534.63/1534.63 c 1509s|410000 |409973 |402253 | 1.0 |1102M| 399 | 0 |6442 |6063 |6442 |1962 | 66k| 60 |6879 | 0.000000e+00 | 1.239920e+05 | Inf
1572.04/1572.03 c 1546s|420000 |419973 |408197 | 1.0 |1128M| 399 | 0 |6442 |6063 |6442 |1966 | 67k| 60 |6880 | 0.000000e+00 | 1.239920e+05 | Inf
1609.35/1609.35 c 1582s|430000 |429973 |412990 | 1.0 |1154M| 399 | 0 |6442 |6063 |6442 |1965 | 69k| 60 |6880 | 0.000000e+00 | 1.239920e+05 | Inf
1647.24/1647.27 c 1619s|440000 |439973 |418156 | 0.9 |1180M| 399 | 0 |6442 |6063 |6442 |1974 | 70k| 60 |6880 | 0.000000e+00 | 1.239920e+05 | Inf
1685.44/1685.41 c 1657s|450000 |449973 |423424 | 0.9 |1206M| 399 | 0 |6442 |6063 |6442 |1973 | 72k| 60 |6880 | 0.000000e+00 | 1.239920e+05 | Inf
1724.04/1724.02 c 1695s|460000 |459973 |429843 | 0.9 |1232M| 399 | 0 |6442 |6063 |6442 |1968 | 74k| 60 |7053 | 0.000000e+00 | 1.239920e+05 | Inf
1762.64/1762.69 c 1732s|470000 |469973 |435938 | 0.9 |1258M| 399 | 0 |6442 |6063 |6442 |1967 | 77k| 60 |7060 | 0.000000e+00 | 1.239920e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1768.94
1800.05/1800.00 c Solving Nodes : 479645
1800.05/1800.00 c Primal Bound : +1.23992000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.10 s SATISFIABLE
1800.05/1800.10 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594
1800.05/1800.10 v -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576
1800.05/1800.10 v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559
1800.05/1800.10 v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541
1800.05/1800.10 v -x1540 -x1539 -x1538 x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523
1800.05/1800.10 v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
1800.05/1800.10 v x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487
1800.05/1800.10 v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469
1800.05/1800.10 v x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451
1800.05/1800.10 v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433
1800.05/1800.10 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415
1800.05/1800.10 v x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397
1800.05/1800.10 v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379
1800.05/1800.10 v -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361
1800.05/1800.10 v x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 x1343 -x1342
1800.05/1800.10 v -x1341 -x1340 -x1339 -x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 x1325 -x1324
1800.05/1800.10 v -x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306
1800.05/1800.10 v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 x1294 -x1293 -x1292 -x1291 -x1290 x1289 -x1288
1800.05/1800.10 v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270
1800.05/1800.10 v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252
1800.05/1800.10 v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234
1800.05/1800.10 v -x1233 -x1232 -x1231 -x1230 -x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216
1800.05/1800.10 v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198
1800.05/1800.10 v x1197 -x1196 -x1195 -x1194 x1193 x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179
1800.05/1800.10 v -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161
1800.05/1800.10 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143
1800.05/1800.10 v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 -x1126 -x1125
1800.05/1800.10 v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107
1800.05/1800.10 v x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088
1800.05/1800.10 v -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 x1076 -x1075 -x1074 x1073 -x1072 -x1071 x1070
1800.05/1800.10 v -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1800.05/1800.10 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034
1800.05/1800.10 v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016
1800.05/1800.10 v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998
1800.05/1800.10 v -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977
1800.05/1800.10 v -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956
1800.05/1800.10 v -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935
1800.05/1800.10 v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914
1800.05/1800.10 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894
1800.05/1800.10 v -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873
1800.05/1800.10 v -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852
1800.05/1800.10 v -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831
1800.05/1800.10 v -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810
1800.05/1800.10 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
1800.05/1800.10 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1800.05/1800.10 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 x752 x751 -x750 -x749 -x748 -x747
1800.05/1800.10 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.05/1800.10 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.05/1800.10 v -x704 -x703 x702 -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1800.05/1800.10 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1800.05/1800.10 v -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.05/1800.10 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1800.05/1800.10 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1800.05/1800.10 v -x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579
1800.05/1800.10 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1800.05/1800.10 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 x537
1800.05/1800.10 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.05/1800.10 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1800.05/1800.10 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474
1800.05/1800.10 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1800.05/1800.10 v -x452 -x451 -x450 -x449 -x448 -x447 x446 x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 x436 x435 -x434 -x433 -x432 -x431
1800.05/1800.10 v -x430 -x429 -x428 -x427 x426 -x425 -x424 x423 x422 -x421 -x420 x419 -x418 x417 -x416 -x415 x414 x413 -x412 -x411 -x410 -x409
1800.05/1800.10 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 x397 -x396 x395 -x394 x393 x392 x391 -x390 x389 -x388 x387
1800.05/1800.10 v x386 x385 -x384 x383 x382 -x381 -x380 -x379 x378 -x377 x376 x375 x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364
1800.05/1800.10 v -x363 x362 -x361 -x360 -x359 x358 x357 -x356 x355 -x354 -x353 -x352 x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343
1800.05/1800.10 v x342 -x341 x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321
1800.05/1800.10 v -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 x304 -x303 -x302 -x301 -x300
1800.05/1800.10 v -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 x284 -x283 x282 x281 -x280 x279 x278
1800.05/1800.10 v -x277 -x276 -x275 x274 x273 -x272 -x271 -x270 x269 x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 x257 -x256
1800.05/1800.10 v -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 x247 -x246 -x245 -x244 x243 x242 -x241 -x240 -x239 -x238 x237 x236 -x235 -x234
1800.05/1800.10 v -x233 x232 -x231 -x230 -x229 -x228 -x227 x226 x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 x212
1800.05/1800.10 v -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
1800.05/1800.10 v -x190 x189 x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169
1800.05/1800.10 v -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.05/1800.10 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 x132 -x131 -x130 x129 -x128 -x127
1800.05/1800.10 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105
1800.05/1800.10 v -x104 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.10 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 -x53
1800.05/1800.10 v -x52 -x51 -x50 -x49 x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 x36 x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27
1800.05/1800.10 v -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 -x1
1800.05/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.10 c Solving Time : 1768.94
1800.05/1800.10 c Original Problem :
1800.05/1800.10 c Problem name : HOME/instance-2693018-1277914384.wbo
1800.05/1800.10 c Variables : 6466 (4039 binary, 0 integer, 0 implicit integer, 2427 continuous)
1800.05/1800.10 c Constraints : 6081 initial, 6081 maximal
1800.05/1800.10 c Presolved Problem :
1800.05/1800.10 c Problem name : t_HOME/instance-2693018-1277914384.wbo
1800.05/1800.10 c Variables : 6442 (4016 binary, 0 integer, 0 implicit integer, 2426 continuous)
1800.05/1800.10 c Constraints : 6035 initial, 6092 maximal
1800.05/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.10 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.10 c implics : 0.00 0 21 0 0 0 0 0 0
1800.05/1800.10 c probing : 0.07 0 0 0 0 0 0 0 0
1800.05/1800.10 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.10 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.10 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.10 c linear : 0.04 0 1 0 2426 0 45 190 380
1800.05/1800.10 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.10 c root node : - 0 - - 0 - - - -
1800.05/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.10 c integral : 0 0 0 503405 0 0 10 0 0 121038
1800.05/1800.10 c indicator : 2426 0 1082811 442878 0 0 252697 0 0 0
1800.05/1800.10 c varbound : 1 6 1082811 442877 0 0 0 1 0 0
1800.05/1800.10 c knapsack : 122 6 1082811 442878 0 19 34637 387 0 0
1800.05/1800.10 c linear : 2425 6 1082792 442878 0 1 254515 78655 0 0
1800.05/1800.10 c logicor : 1061+ 6 468231 419112 0 2 546974 0 0 0
1800.05/1800.10 c countsols : 0 0 0 419112 0 0 0 0 0 0
1800.05/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.10 c integral : 31.67 0.00 0.00 31.67 0.00
1800.05/1800.10 c indicator : 156.63 0.01 32.78 123.84 0.00
1800.05/1800.10 c varbound : 0.54 0.00 0.36 0.18 0.00
1800.05/1800.10 c knapsack : 3.90 0.01 2.45 1.44 0.00
1800.05/1800.10 c linear : 228.14 0.00 25.27 202.87 0.00
1800.05/1800.10 c logicor : 20.38 0.00 2.36 18.02 0.00
1800.05/1800.10 c countsols : 0.09 0.00 0.00 0.09 0.00
1800.05/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.10 c vbounds : 0.31 4 0 0
1800.05/1800.10 c rootredcost : 0.22 1 0 0
1800.05/1800.10 c pseudoobj : 61.82 1082482 0 0
1800.05/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.10 c propagation : 0.00 22 22 35 9.8 0 0.0 -
1800.05/1800.10 c infeasible LP : 0.00 36 36 36 3.9 0 0.0 0
1800.05/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.10 c applied globally : - - - 60 5.9 - - -
1800.05/1800.10 c applied locally : - - - 0 0.0 - - -
1800.05/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.10 c cut pool : 0.00 5 - - 428 - (maximal pool size: 1801)
1800.05/1800.10 c redcost : 70.17 503240 0 0 0 0
1800.05/1800.10 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.10 c intobj : 0.00 0 0 0 0 0
1800.05/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.10 c gomory : 0.12 6 0 0 399 0
1800.05/1800.10 c strongcg : 0.06 6 0 0 23 0
1800.05/1800.10 c cmir : 0.42 6 0 0 868 0
1800.05/1800.10 c flowcover : 0.36 6 0 0 1095 0
1800.05/1800.10 c clique : 0.00 6 0 0 0 0
1800.05/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.10 c mcf : 0.00 1 0 0 0 0
1800.05/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.10 c Pricers : Time Calls Vars
1800.05/1800.10 c problem variables: 0.00 0 0
1800.05/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.10 c relpscost : 31.44 60527 0 10 0 0 121038
1800.05/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.10 c inference : 232.43 419112 0 0 0 0 838224
1800.05/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.10 c random : 0.00 0 0 0 0 0 0
1800.05/1800.10 c Primal Heuristics : Time Calls Found
1800.05/1800.10 c LP solutions : 0.00 - 0
1800.05/1800.10 c pseudo solutions : 0.00 - 0
1800.05/1800.10 c oneopt : 0.48 1 0
1800.05/1800.10 c feaspump : 0.02 1 0
1800.05/1800.10 c intshifting : 0.05 9 0
1800.05/1800.10 c crossover : 0.73 11 0
1800.05/1800.10 c fracdiving : 5.51 2355 0
1800.05/1800.10 c veclendiving : 5.75 2355 0
1800.05/1800.10 c linesearchdiving : 5.56 2355 0
1800.05/1800.10 c guideddiving : 5.95 2355 0
1800.05/1800.10 c coefdiving : 7.14 2355 0
1800.05/1800.10 c pscostdiving : 6.65 2355 0
1800.05/1800.10 c objpscostdiving : 4.30 1729 0
1800.05/1800.10 c rootsoldiving : 3.86 1738 0
1800.05/1800.10 c trivial : 0.01 2 0
1800.05/1800.10 c simplerounding : 0.23 57507 0
1800.05/1800.10 c zirounding : 0.19 1000 0
1800.05/1800.10 c rounding : 0.46 3334 0
1800.05/1800.10 c shifting : 2.39 1026 0
1800.05/1800.10 c twoopt : 0.00 0 0
1800.05/1800.10 c fixandinfer : 0.00 0 0
1800.05/1800.10 c intdiving : 0.00 0 0
1800.05/1800.10 c actconsdiving : 0.00 0 0
1800.05/1800.10 c octane : 0.00 0 0
1800.05/1800.10 c rens : 0.05 1 0
1800.05/1800.10 c rins : 0.00 0 0
1800.05/1800.10 c localbranching : 0.00 0 0
1800.05/1800.10 c mutation : 0.00 0 0
1800.05/1800.10 c dins : 0.00 0 0
1800.05/1800.10 c undercover : 0.00 0 0
1800.05/1800.10 c nlp : 0.14 0 0
1800.05/1800.10 c trysol : 0.43 3521 100
1800.05/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.10 c dual LP : 617.03 105572 422120 4.00 684.12
1800.05/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.10 c diving/probing LP: 10.00 4963 20295 4.09 2029.50
1800.05/1800.10 c strong branching : 30.05 7093 102610 14.47 3414.64
1800.05/1800.10 c (at root node) : - 18 101 5.61 -
1800.05/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.10 c B&B Tree :
1800.05/1800.10 c number of runs : 1
1800.05/1800.10 c nodes : 479645
1800.05/1800.10 c nodes (total) : 479645
1800.05/1800.10 c nodes left : 479618
1800.05/1800.10 c max depth : 399
1800.05/1800.10 c max depth (total): 399
1800.05/1800.10 c backtracks : 2455 (0.5%)
1800.05/1800.10 c delayed cutoffs : 0
1800.05/1800.10 c repropagations : 853 (24 domain reductions, 0 cutoffs)
1800.05/1800.10 c avg switch length: 2.15
1800.05/1800.10 c switching time : 34.54
1800.05/1800.10 c Solution :
1800.05/1800.10 c Solutions found : 100 (1 improvements)
1800.05/1800.10 c First Solution : +1.23992000000000e+05 (in run 1, after 1 nodes, 0.28 seconds, depth 0, found by <trysol>)
1800.05/1800.10 c Primal Bound : +1.23992000000000e+05 (in run 1, after 1 nodes, 0.28 seconds, depth 0, found by <trysol>)
1800.05/1800.10 c Dual Bound : +0.00000000000000e+00
1800.05/1800.10 c Gap : infinite
1800.05/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.10 c Root Iterations : 2105
1800.84/1800.85 c Time complete: 1800.9.
Begin job on node106 at 2010-06-30 18:13:04
IDJOB=2693018
IDBENCH=79031
IDSOLVER=1205
FILE ID=node106/2693018-1277914384
PBS_JOBID= 11197332
Free space on /tmp= 74204 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-46s.smv--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-2693018-1277914384/watcher-2693018-1277914384 -o /tmp/evaluation-result-2693018-1277914384/solver-2693018-1277914384 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693018-1277914384.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c0de7a271d508347ff52629783e8132d
RANDOM SEED=988628927
node106.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.825
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.825
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.825
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.825
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.76
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.825
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.825
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.73
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.825
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.83
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.825
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30226456 kB
Buffers: 196724 kB
Cached: 1279448 kB
SwapCached: 0 kB
Active: 1548108 kB
Inactive: 1030956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30226456 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6360 kB
Writeback: 0 kB
AnonPages: 1102532 kB
Mapped: 17412 kB
Slab: 79148 kB
PageTables: 6692 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1258840 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 node106 at 2010-06-30 18:43:06