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-2692378-1277914382.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.00/0.07 c presolving:
0.00/0.08 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.00/0.08 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.00/0.09 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.12 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.09/0.19 c (0.1s) probing: 165/4016 (4.1%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (5 rounds):
0.09/0.19 c 24 deleted vars, 46 deleted constraints, 2426 tightened bounds, 0 added holes, 190 changed sides, 380 changed coefficients
0.09/0.19 c 5048 implications, 0 cliques
0.09/0.19 c presolved problem has 6442 variables (4016 bin, 0 int, 0 impl, 2426 cont) and 6035 constraints
0.09/0.19 c 2426 constraints of type <indicator>
0.09/0.19 c 1 constraints of type <varbound>
0.09/0.19 c 122 constraints of type <knapsack>
0.09/0.19 c 2425 constraints of type <linear>
0.09/0.19 c 1061 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.21 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.21 c 0.2s| 1 | 0 | 106 | - | 22M| 0 | 58 |6442 |6035 |6442 |1183 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 1101 | - | 22M| 0 | 195 |6442 |6035 |6442 |1431 | 248 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 o 123992
0.49/0.51 c y 0.5s| 1 | 0 | 1101 | - | 22M| 0 | 195 |6442 |6035 |6442 |1431 | 248 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
0.59/0.65 c 0.6s| 1 | 0 | 1486 | - | 22M| 0 | 303 |6442 |6035 |6442 |1715 | 532 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
0.89/0.93 c 0.9s| 1 | 0 | 2564 | - | 23M| 0 | 342 |6442 |6035 |6442 |1963 | 780 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
1.19/1.24 c 1.2s| 1 | 0 | 3267 | - | 23M| 0 | 366 |6442 |6035 |6442 |2205 |1022 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
1.59/1.63 c 1.6s| 1 | 0 | 4033 | - | 24M| 0 | 424 |6442 |6035 |6442 |2403 |1220 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
1.89/1.97 c 1.9s| 1 | 0 | 4793 | - | 24M| 0 | 454 |6442 |6035 |6442 |2575 |1392 | 0 | 0 | 0.000000e+00 | 1.239920e+05 | Inf
2.09/2.19 c 2.1s| 1 | 2 | 4793 | - | 24M| 0 | 454 |6442 |6035 |6442 |2575 |1392 | 0 | 18 | 0.000000e+00 | 1.239920e+05 | Inf
87.09/87.14 c 85.4s| 10000 | 9995 |136552 | 13.2 | 59M| 321 | 2 |6442 |6098 |6442 |2020 |2215 | 63 |1297 | 0.000000e+00 | 1.239920e+05 | Inf
127.19/127.21 c 125s| 20000 | 19991 |155205 | 7.5 | 85M| 455 | 0 |6442 |6100 |6442 |2056 |3946 | 66 |1654 | 0.000000e+00 | 1.239920e+05 | Inf
165.39/165.47 c 162s| 30000 | 29989 |174913 | 5.7 | 112M| 461 | 0 |6442 |6097 |6442 |2060 |5648 | 67 |1715 | 0.000000e+00 | 1.239920e+05 | Inf
200.59/200.68 c 197s| 40000 | 39989 |194621 | 4.7 | 138M| 461 | 220 |6442 |6095 |6442 |2020 |7248 | 67 |1862 | 0.000000e+00 | 1.239920e+05 | Inf
236.89/236.96 c 233s| 50000 | 49983 |217336 | 4.3 | 164M| 461 | 24 |6442 |6092 |6442 |2020 |8810 | 70 |2139 | 0.000000e+00 | 1.239920e+05 | Inf
272.79/272.83 c 268s| 60000 | 59981 |228647 | 3.7 | 190M| 461 | 46 |6442 |6094 |6442 |2020 | 10k| 72 |2147 | 0.000000e+00 | 1.239920e+05 | Inf
307.39/307.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.39/307.43 c 302s| 70000 | 69981 |241802 | 3.4 | 217M| 461 | 28 |6442 |6094 |6442 |2020 | 12k| 72 |2153 | 0.000000e+00 | 1.239920e+05 | Inf
345.79/345.81 c 340s| 80000 | 79977 |253205 | 3.1 | 243M| 461 | 0 |6442 |6096 |6442 |2061 | 13k| 74 |2439 | 0.000000e+00 | 1.239920e+05 | Inf
381.79/381.84 c 375s| 90000 | 89977 |265299 | 2.9 | 269M| 461 | 10 |6442 |6096 |6442 |2020 | 15k| 74 |2510 | 0.000000e+00 | 1.239920e+05 | Inf
417.39/417.42 c 410s|100000 | 99973 |301127 | 3.0 | 295M| 461 | 57 |6442 |6092 |6442 |2020 | 17k| 76 |2902 | 0.000000e+00 | 1.239920e+05 | Inf
454.09/454.10 c 446s|110000 |109967 |344697 | 3.1 | 321M| 461 | 9 |6442 |6084 |6442 |2020 | 18k| 80 |3504 | 0.000000e+00 | 1.239920e+05 | Inf
491.39/491.46 c 482s|120000 |119959 |379618 | 3.1 | 347M| 461 | 0 |6442 |6084 |6442 |2062 | 20k| 86 |3983 | 0.000000e+00 | 1.239920e+05 | Inf
528.19/528.25 c 519s|130000 |129955 |405229 | 3.1 | 374M| 461 | 2 |6442 |6084 |6442 |2020 | 21k| 89 |4145 | 0.000000e+00 | 1.239920e+05 | Inf
565.09/565.14 c 555s|140000 |139949 |432626 | 3.1 | 400M| 461 | 0 |6442 |6085 |6442 |2066 | 22k| 92 |4561 | 0.000000e+00 | 1.239920e+05 | Inf
602.10/602.11 c 591s|150000 |149945 |465949 | 3.1 | 426M| 461 | 0 |6442 |6088 |6442 |2043 | 24k| 96 |4781 | 0.000000e+00 | 1.239920e+05 | Inf
638.90/638.92 c 627s|160000 |159945 |495223 | 3.1 | 452M| 461 | 14 |6442 |6083 |6442 |2020 | 26k| 96 |4820 | 0.000000e+00 | 1.239920e+05 | Inf
675.49/675.56 c 663s|170000 |169937 |513610 | 3.0 | 478M| 461 | 12 |6442 |6087 |6442 |2020 | 28k| 104 |4833 | 0.000000e+00 | 1.239920e+05 | Inf
711.99/712.01 c 699s|180000 |179937 |529672 | 2.9 | 505M| 461 | 16 |6442 |6087 |6442 |2020 | 30k| 104 |4879 | 0.000000e+00 | 1.239920e+05 | Inf
747.09/747.17 c 734s|190000 |189927 |555148 | 2.9 | 531M| 461 | 4 |6442 |6091 |6442 |2020 | 31k| 112 |4915 | 0.000000e+00 | 1.239920e+05 | Inf
783.49/783.55 c 770s|200000 |199925 |576657 | 2.9 | 557M| 461 | 0 |6442 |6089 |6442 |2052 | 33k| 113 |4917 | 0.000000e+00 | 1.239920e+05 | Inf
817.89/817.92 c 803s|210000 |209923 |596089 | 2.8 | 583M| 461 | 0 |6442 |6090 |6442 |2050 | 34k| 115 |4918 | 0.000000e+00 | 1.239920e+05 | Inf
851.19/851.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.19/851.27 c 836s|220000 |219923 |623226 | 2.8 | 609M| 461 | 0 |6442 |6089 |6442 |2046 | 36k| 115 |4925 | 0.000000e+00 | 1.239920e+05 | Inf
884.50/884.51 c 869s|230000 |229921 |648748 | 2.8 | 635M| 461 | 0 |6442 |6084 |6442 |2043 | 37k| 117 |4934 | 0.000000e+00 | 1.239920e+05 | Inf
918.51/918.57 c 902s|240000 |239921 |671850 | 2.8 | 661M| 461 | 0 |6442 |6083 |6442 |2041 | 38k| 117 |4944 | 0.000000e+00 | 1.239920e+05 | Inf
954.30/954.32 c 938s|250000 |249921 |694053 | 2.8 | 687M| 461 | 0 |6442 |6080 |6442 |2043 | 40k| 117 |5189 | 0.000000e+00 | 1.239920e+05 | Inf
990.21/990.23 c 973s|260000 |259919 |721710 | 2.8 | 714M| 461 | 94 |6442 |6077 |6442 |2020 | 41k| 118 |5361 | 0.000000e+00 | 1.239920e+05 | Inf
1027.20/1027.25 c 1010s|270000 |269915 |744507 | 2.7 | 740M| 461 | 115 |6442 |6076 |6442 |2020 | 42k| 120 |5411 | 0.000000e+00 | 1.239920e+05 | Inf
1065.30/1065.38 c 1048s|280000 |279913 |771300 | 2.7 | 766M| 461 | 110 |6442 |6076 |6442 |2020 | 44k| 122 |5866 | 0.000000e+00 | 1.239920e+05 | Inf
1102.11/1102.14 c 1085s|290000 |289913 |791766 | 2.7 | 792M| 461 | 0 |6442 |6076 |6442 |2056 | 46k| 122 |5899 | 0.000000e+00 | 1.239920e+05 | Inf
1139.51/1139.60 c 1122s|300000 |299913 |819005 | 2.7 | 818M| 461 | 27 |6442 |6075 |6442 |2020 | 47k| 122 |6261 | 0.000000e+00 | 1.239920e+05 | Inf
1175.91/1175.98 c 1158s|310000 |309904 |846778 | 2.7 | 844M| 461 | 0 |6442 |6080 |6442 |2045 | 49k| 129 |6352 | 0.000000e+00 | 1.239920e+05 | Inf
1213.60/1213.65 c 1195s|320000 |319902 |880039 | 2.7 | 870M| 461 | 50 |6442 |6076 |6442 |2020 | 50k| 130 |6637 | 0.000000e+00 | 1.239920e+05 | Inf
1249.31/1249.33 c 1230s|330000 |329902 |904600 | 2.7 | 897M| 461 | 132 |6442 |6075 |6442 |2020 | 52k| 130 |6849 | 0.000000e+00 | 1.239920e+05 | Inf
1283.61/1283.66 c 1264s|340000 |339900 |926344 | 2.7 | 923M| 461 | 54 |6442 |6072 |6442 |2020 | 53k| 131 |6902 | 0.000000e+00 | 1.239920e+05 | Inf
1319.21/1319.26 c 1299s|350000 |349900 |953017 | 2.7 | 949M| 461 | 55 |6442 |6071 |6442 |2020 | 54k| 131 |7249 | 0.000000e+00 | 1.239920e+05 | Inf
1356.10/1356.13 c 1335s|360000 |359892 |975940 | 2.7 | 975M| 461 | 10 |6442 |6075 |6442 |2020 | 56k| 136 |7384 | 0.000000e+00 | 1.239920e+05 | Inf
1391.60/1391.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.60/1391.60 c 1370s|370000 |369890 | 1005k| 2.7 |1001M| 461 | 0 |6442 |6075 |6442 |2056 | 58k| 137 |7498 | 0.000000e+00 | 1.239920e+05 | Inf
1429.51/1429.57 c 1407s|380000 |379884 | 1032k| 2.7 |1027M| 461 | 0 |6442 |6080 |6442 |2044 | 59k| 144 |7971 | 0.000000e+00 | 1.239920e+05 | Inf
1466.11/1466.14 c 1443s|390000 |389874 | 1051k| 2.7 |1053M| 461 | 0 |6442 |6085 |6442 |2043 | 61k| 150 |8018 | 0.000000e+00 | 1.239920e+05 | Inf
1502.41/1502.47 c 1478s|400000 |399860 | 1084k| 2.7 |1079M| 461 | 0 |6442 |6087 |6442 |2060 | 62k| 157 |8127 | 0.000000e+00 | 1.239920e+05 | Inf
1540.11/1540.19 c 1515s|410000 |409854 | 1121k| 2.7 |1105M| 461 | 0 |6442 |6090 |6442 |2043 | 64k| 160 |8513 | 0.000000e+00 | 1.239920e+05 | Inf
1578.21/1578.27 c 1552s|420000 |419842 | 1149k| 2.7 |1132M| 461 | 0 |6442 |6094 |6442 |2076 | 65k| 168 |8596 | 0.000000e+00 | 1.239920e+05 | Inf
1615.71/1615.79 c 1589s|430000 |429838 | 1184k| 2.7 |1158M| 461 | 50 |6442 |6094 |6442 |2020 | 67k| 171 |9083 | 0.000000e+00 | 1.239920e+05 | Inf
1651.61/1651.70 c 1624s|440000 |439834 | 1218k| 2.8 |1184M| 461 | 47 |6442 |6090 |6442 |2020 | 68k| 173 |9192 | 0.000000e+00 | 1.239920e+05 | Inf
1691.11/1691.13 c 1663s|450000 |449830 | 1227k| 2.7 |1210M| 485 | 0 |6442 |6091 |6442 |2056 | 70k| 175 |9209 | 0.000000e+00 | 1.239920e+05 | Inf
1729.41/1729.49 c 1701s|460000 |459830 | 1240k| 2.7 |1236M| 485 | 19 |6442 |6089 |6442 |2020 | 72k| 175 |9253 | 0.000000e+00 | 1.239920e+05 | Inf
1767.41/1767.48 c 1738s|470000 |469828 | 1255k| 2.7 |1262M| 485 | 0 |6442 |6090 |6442 |2051 | 73k| 176 |9493 | 0.000000e+00 | 1.239920e+05 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1769.95
1800.01/1800.00 c Solving Nodes : 478529
1800.01/1800.00 c Primal Bound : +1.23992000000000e+05 (100 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.10 s SATISFIABLE
1800.01/1800.10 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 x1594
1800.01/1800.10 v -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576
1800.01/1800.10 v -x1575 -x1574 -x1573 -x1572 -x1571 x1570 -x1569 -x1568 -x1567 -x1566 x1565 x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558
1800.01/1800.10 v -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 x1540
1800.01/1800.10 v -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522
1800.01/1800.10 v -x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504
1800.01/1800.10 v -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486
1800.01/1800.10 v -x1485 -x1484 -x1483 x1482 -x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468
1800.01/1800.10 v -x1467 x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449
1800.01/1800.10 v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 -x1431
1800.01/1800.10 v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 x1414 -x1413
1800.01/1800.10 v -x1412 -x1411 -x1410 -x1409 x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395
1800.01/1800.10 v -x1394 -x1393 -x1392 -x1391 x1390 x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377
1800.01/1800.10 v -x1376 -x1375 -x1374 -x1373 x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359
1800.01/1800.10 v -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 x1343 -x1342 -x1341
1800.01/1800.10 v -x1340 -x1339 -x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 x1325 -x1324 -x1323
1800.01/1800.10 v -x1322 -x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304
1800.01/1800.10 v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 x1294 -x1293 -x1292 -x1291 -x1290 x1289 -x1288 -x1287 x1286
1800.01/1800.10 v -x1285 -x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268
1800.01/1800.10 v -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250
1800.01/1800.10 v x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231
1800.01/1800.10 v -x1230 -x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213
1800.01/1800.10 v x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195
1800.01/1800.10 v -x1194 x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 -x1182 x1181 x1180 -x1179 -x1178 -x1177 x1176
1800.01/1800.10 v -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 x1166 -x1165 -x1164 x1163 -x1162 x1161 -x1160 -x1159 -x1158 x1157
1800.01/1800.10 v -x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139
1800.01/1800.10 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121
1800.01/1800.10 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103
1800.01/1800.10 v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 x1095 -x1094 -x1093 x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 x1084
1800.01/1800.10 v -x1083 -x1082 -x1081 x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066
1800.01/1800.10 v -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1800.01/1800.10 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030
1800.01/1800.10 v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012
1800.01/1800.10 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
1800.01/1800.10 v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973
1800.01/1800.10 v -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952
1800.01/1800.10 v -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931
1800.01/1800.10 v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910
1800.01/1800.10 v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889
1800.01/1800.10 v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868
1800.01/1800.10 v -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
1800.01/1800.10 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1800.01/1800.10 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1800.01/1800.10 v -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
1800.01/1800.10 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1800.01/1800.10 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 x752 x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742
1800.01/1800.10 v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721
1800.01/1800.10 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700
1800.01/1800.10 v -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679
1800.01/1800.10 v -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
1800.01/1800.10 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
1800.01/1800.10 v -x637 -x636 -x635 -x634 x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 x619 -x618 -x617 -x616
1800.01/1800.10 v -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595
1800.01/1800.10 v -x594 -x593 x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574
1800.01/1800.10 v -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
1800.01/1800.10 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
1800.01/1800.10 v -x531 -x530 -x529 -x528 x527 x526 -x525 x524 x523 x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
1800.01/1800.10 v -x509 -x508 -x507 x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1800.01/1800.10 v -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
1800.01/1800.10 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
1800.01/1800.10 v x446 -x445 -x444 x443 -x442 -x441 x440 -x439 -x438 -x437 x436 -x435 x434 x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425
1800.01/1800.10 v -x424 x423 x422 -x421 -x420 x419 -x418 x417 -x416 -x415 x414 -x413 x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
1800.01/1800.10 v -x402 -x401 x400 x399 -x398 -x397 -x396 x395 x394 x393 x392 x391 x390 x389 -x388 x387 x386 -x385 -x384 -x383 x382 x381 -x380
1800.01/1800.10 v -x379 x378 -x377 x376 -x375 x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 x365 -x364 -x363 x362 -x361 -x360 -x359 x358
1800.01/1800.10 v -x357 -x356 -x355 -x354 -x353 -x352 x351 x350 -x349 x348 -x347 -x346 -x345 x344 -x343 x342 -x341 x340 -x339 -x338 x337 -x336
1800.01/1800.10 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315
1800.01/1800.10 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293
1800.01/1800.10 v -x292 x291 -x290 -x289 -x288 -x287 x286 -x285 x284 -x283 x282 x281 -x280 x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
1800.01/1800.10 v -x270 x269 x268 -x267 x266 -x265 -x264 -x263 x262 x261 -x260 -x259 x258 x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 x249
1800.01/1800.10 v -x248 x247 -x246 -x245 -x244 x243 x242 -x241 -x240 -x239 -x238 x237 -x236 x235 -x234 -x233 x232 x231 -x230 -x229 -x228 -x227
1800.01/1800.10 v x226 x225 x224 -x223 -x222 -x221 -x220 x219 x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 x207 x206 x205
1800.01/1800.10 v x204 x203 -x202 -x201 x200 -x199 -x198 -x197 x196 x195 x194 x193 x192 x191 -x190 -x189 -x188 x187 x186 -x185 x184 -x183 x182
1800.01/1800.10 v -x181 -x180 -x179 x178 -x177 -x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x168 -x167 x166 x165 -x164 -x163 -x162 x161 -x160
1800.01/1800.10 v -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138
1800.01/1800.10 v -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 x117
1800.01/1800.10 v -x116 -x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 -x105 x104 x103 -x102 -x101 x100 -x99 -x98 -x97 x96 -x95 -x94
1800.01/1800.10 v -x93 x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 x71 x70 -x69 x68 x67
1800.01/1800.10 v x66 -x65 -x64 x63 x62 x61 -x60 -x59 x58 -x57 x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40
1800.01/1800.10 v -x39 -x38 -x37 x36 x35 x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 x23 -x22 -x21 x20 -x19 -x18 -x17 x16 -x15 -x14 x13
1800.01/1800.10 v x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 x3 -x2 x1
1800.01/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.10 c Solving Time : 1769.95
1800.01/1800.10 c Original Problem :
1800.01/1800.10 c Problem name : HOME/instance-2692378-1277914382.wbo
1800.01/1800.10 c Variables : 6466 (4039 binary, 0 integer, 0 implicit integer, 2427 continuous)
1800.01/1800.10 c Constraints : 6081 initial, 6081 maximal
1800.01/1800.10 c Presolved Problem :
1800.01/1800.10 c Problem name : t_HOME/instance-2692378-1277914382.wbo
1800.01/1800.10 c Variables : 6442 (4016 binary, 0 integer, 0 implicit integer, 2426 continuous)
1800.01/1800.10 c Constraints : 6035 initial, 6101 maximal
1800.01/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.10 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.01/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.10 c implics : 0.00 0 21 0 0 0 0 0 0
1800.01/1800.10 c probing : 0.07 0 0 0 0 0 0 0 0
1800.01/1800.10 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.01/1800.10 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.10 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.10 c linear : 0.04 0 1 0 2426 0 45 190 380
1800.01/1800.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.10 c root node : - 0 - - 0 - - - -
1800.01/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.10 c integral : 0 0 0 497760 0 0 39 0 0 447830
1800.01/1800.10 c indicator : 2426 0 1007874 273811 0 0 212698 0 0 0
1800.01/1800.10 c varbound : 1 6 849995 195560 0 0 1432 1 0 0
1800.01/1800.10 c knapsack : 122 6 1007874 273811 0 101 79722 462 0 0
1800.01/1800.10 c linear : 2425 6 1007773 273811 0 0 215867 74137 0 0
1800.01/1800.10 c logicor : 1061+ 6 415428 254524 0 2 494615 0 0 0
1800.01/1800.10 c countsols : 0 0 0 254524 0 0 0 0 0 0
1800.01/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.10 c integral : 60.06 0.00 0.00 60.06 0.00
1800.01/1800.10 c indicator : 119.97 0.00 34.31 85.66 0.00
1800.01/1800.10 c varbound : 0.19 0.00 0.18 0.01 0.00
1800.01/1800.10 c knapsack : 3.66 0.00 2.85 0.81 0.00
1800.01/1800.10 c linear : 165.66 0.01 31.56 134.09 0.00
1800.01/1800.10 c logicor : 15.03 0.00 2.20 12.83 0.00
1800.01/1800.10 c countsols : 0.02 0.00 0.00 0.02 0.00
1800.01/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.10 c vbounds : 0.18 2871 0 0
1800.01/1800.10 c rootredcost : 0.06 1 0 0
1800.01/1800.10 c pseudoobj : 55.90 1007545 0 0
1800.01/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.10 c propagation : 0.00 103 103 193 10.7 1 12.0 -
1800.01/1800.10 c infeasible LP : 0.01 46 46 47 3.8 0 0.0 0
1800.01/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.10 c applied globally : - - - 182 8.4 - - -
1800.01/1800.10 c applied locally : - - - 0 0.0 - - -
1800.01/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.10 c cut pool : 0.00 5 - - 452 - (maximal pool size: 2062)
1800.01/1800.10 c redcost : 68.91 497741 0 0 0 0
1800.01/1800.10 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.10 c intobj : 0.00 0 0 0 0 0
1800.01/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.10 c gomory : 0.11 6 0 0 477 0
1800.01/1800.10 c strongcg : 0.08 6 0 0 21 0
1800.01/1800.10 c cmir : 0.38 6 0 0 948 0
1800.01/1800.10 c flowcover : 0.32 6 0 0 1095 0
1800.01/1800.10 c clique : 0.00 6 0 0 0 0
1800.01/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.10 c mcf : 0.00 1 0 0 0 0
1800.01/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.10 c Pricers : Time Calls Vars
1800.01/1800.10 c problem variables: 0.00 0 0
1800.01/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.10 c relpscost : 59.94 223949 0 39 0 0 447830
1800.01/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.10 c inference : 157.84 254524 0 0 0 0 509048
1800.01/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.10 c random : 0.00 0 0 0 0 0 0
1800.01/1800.10 c Primal Heuristics : Time Calls Found
1800.01/1800.10 c LP solutions : 0.00 - 0
1800.01/1800.10 c pseudo solutions : 0.00 - 0
1800.01/1800.10 c oneopt : 0.41 1 0
1800.01/1800.10 c feaspump : 0.19 1 0
1800.01/1800.10 c intshifting : 0.04 12 0
1800.01/1800.10 c crossover : 0.56 11 0
1800.01/1800.10 c pscostdiving : 7.65 1933 0
1800.01/1800.10 c coefdiving : 7.21 1939 0
1800.01/1800.10 c fracdiving : 6.66 2015 0
1800.01/1800.10 c veclendiving : 6.06 2015 0
1800.01/1800.10 c linesearchdiving : 6.69 2016 0
1800.01/1800.10 c guideddiving : 6.48 2016 0
1800.01/1800.10 c objpscostdiving : 4.66 1576 0
1800.01/1800.10 c rootsoldiving : 4.30 2009 0
1800.01/1800.10 c trivial : 0.01 2 0
1800.01/1800.10 c simplerounding : 0.22 190762 0
1800.01/1800.10 c zirounding : 0.16 1000 0
1800.01/1800.10 c rounding : 0.71 6095 0
1800.01/1800.10 c shifting : 4.85 1999 0
1800.01/1800.10 c twoopt : 0.00 0 0
1800.01/1800.10 c fixandinfer : 0.00 0 0
1800.01/1800.10 c intdiving : 0.00 0 0
1800.01/1800.10 c actconsdiving : 0.00 0 0
1800.01/1800.10 c octane : 0.00 0 0
1800.01/1800.10 c rens : 0.06 1 0
1800.01/1800.10 c rins : 0.00 0 0
1800.01/1800.10 c localbranching : 0.00 0 0
1800.01/1800.10 c mutation : 0.00 0 0
1800.01/1800.10 c dins : 0.00 0 0
1800.01/1800.10 c undercover : 0.00 0 0
1800.01/1800.10 c nlp : 0.11 0 0
1800.01/1800.10 c trysol : 0.38 4196 100
1800.01/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.10 c dual LP : 677.85 222273 1231348 5.54 1816.55
1800.01/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.10 c diving/probing LP: 13.72 7286 46620 6.40 3397.96
1800.01/1800.10 c strong branching : 55.66 9720 193505 19.91 3476.55
1800.01/1800.10 c (at root node) : - 18 232 12.89 -
1800.01/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.10 c B&B Tree :
1800.01/1800.10 c number of runs : 1
1800.01/1800.10 c nodes : 478529
1800.01/1800.10 c nodes (total) : 478529
1800.01/1800.10 c nodes left : 478348
1800.01/1800.10 c max depth : 485
1800.01/1800.10 c max depth (total): 485
1800.01/1800.10 c backtracks : 2126 (0.4%)
1800.01/1800.10 c delayed cutoffs : 2
1800.01/1800.10 c repropagations : 3073 (273 domain reductions, 2 cutoffs)
1800.01/1800.10 c avg switch length: 2.42
1800.01/1800.10 c switching time : 55.62
1800.01/1800.10 c Solution :
1800.01/1800.10 c Solutions found : 100 (1 improvements)
1800.01/1800.10 c First Solution : +1.23992000000000e+05 (in run 1, after 1 nodes, 0.45 seconds, depth 0, found by <trysol>)
1800.01/1800.10 c Primal Bound : +1.23992000000000e+05 (in run 1, after 1 nodes, 0.45 seconds, depth 0, found by <trysol>)
1800.01/1800.10 c Dual Bound : +0.00000000000000e+00
1800.01/1800.10 c Gap : infinite
1800.01/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.10 c Root Iterations : 4793
1800.71/1800.78 c Time complete: 1800.79.
Begin job on node128 at 2010-06-30 18:13:02
IDJOB=2692378
IDBENCH=79031
IDSOLVER=1204
FILE ID=node128/2692378-1277914382
PBS_JOBID= 11197309
Free space on /tmp= 74204 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-46s.smv--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-2692378-1277914382/watcher-2692378-1277914382 -o /tmp/evaluation-result-2692378-1277914382/solver-2692378-1277914382 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692378-1277914382.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c0de7a271d508347ff52629783e8132d
RANDOM SEED=854175411
node128.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.853
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.70
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.853
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.853
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.83
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.853
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.74
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.853
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.853
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.853
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.82
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.853
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 31246916 kB
Buffers: 201044 kB
Cached: 1018892 kB
SwapCached: 0 kB
Active: 765628 kB
Inactive: 796576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 31246916 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5056 kB
Writeback: 0 kB
AnonPages: 342188 kB
Mapped: 17656 kB
Slab: 78984 kB
PageTables: 5460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 498376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 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 node128 at 2010-06-30 18:43:04