0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692370-1338039045.opb>
0.01/0.02 c original problem has 2850 variables (2850 bin, 0 int, 0 impl, 0 cont) and 3286 constraints
0.01/0.02 c problem read in 0.02
0.01/0.04 c presolving:
0.01/0.05 c (round 1) 6 del vars, 1 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.01/0.06 c (round 2) 6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.01/0.07 c (round 3) 6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 5688 impls, 57 clqs
0.09/0.18 c (0.2s) probing: 51/2844 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.18 c presolving (4 rounds):
0.09/0.18 c 6 deleted vars, 2845 deleted constraints, 0 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 5688 implications, 369 cliques
0.09/0.18 c presolved problem has 2844 variables (2844 bin, 0 int, 0 impl, 0 cont) and 441 constraints
0.09/0.18 c 384 constraints of type <knapsack>
0.09/0.18 c 57 constraints of type <setppc>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.15
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 2.1.1.4
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1797
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 13950
0.09/0.18 c
0.09/0.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18 c # [type: int, range: [1,2], default: 1]
0.09/0.18 c timing/clocktype = 2
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.19/0.22 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.22 c 0.2s| 1 | 0 | 426 | - | 14M| 0 | 53 |2844 | 494 |2844 | 441 | 0 | 53 | 0 | 6.000000e+00 | -- | Inf
0.69/0.77 c 0.8s| 1 | 0 | 1304 | - | 16M| 0 | 85 |2844 | 723 |2844 | 469 | 28 | 53 | 0 | 6.000000e+00 | -- | Inf
0.88/0.97 c 1.0s| 1 | 0 | 1447 | - | 17M| 0 | 101 |2844 | 723 |2844 | 495 | 54 | 53 | 0 | 6.000000e+00 | -- | Inf
1.18/1.21 c 1.2s| 1 | 0 | 1566 | - | 17M| 0 | 114 |2844 | 723 |2844 | 520 | 79 | 53 | 0 | 6.000000e+00 | -- | Inf
1.38/1.40 c 1.4s| 1 | 0 | 1875 | - | 18M| 0 | 119 |2844 | 723 |2844 | 544 | 103 | 53 | 0 | 6.000000e+00 | -- | Inf
1.48/1.56 c 1.6s| 1 | 0 | 1996 | - | 18M| 0 | 157 |2844 | 723 |2844 | 570 | 129 | 53 | 0 | 6.000000e+00 | -- | Inf
1.69/1.76 c 1.8s| 1 | 0 | 2224 | - | 19M| 0 | 171 |2844 | 723 |2844 | 596 | 155 | 53 | 0 | 6.000000e+00 | -- | Inf
2.28/2.37 c 2.4s| 1 | 2 | 2224 | - | 19M| 0 | 171 |2844 | 723 |2844 | 596 | 155 | 53 | 10 | 6.000000e+00 | -- | Inf
14.09/14.16 c 14.2s| 100 | 85 | 9544 | 73.9 | 19M| 50 | 36 |2844 | 795 |2844 | 547 | 155 | 125 |1105 | 6.000000e+00 | -- | Inf
16.98/17.09 c 17.1s| 200 | 154 | 12932 | 53.8 | 19M| 78 | 22 |2844 | 893 |2844 | 547 | 155 | 223 |1847 | 6.000000e+00 | -- | Inf
17.38/17.46 o 6
17.38/17.46 c l17.5s| 234 | 0 | 13587 | 48.8 | 19M| 111 | - |2844 | 899 |2844 | 547 | 155 | 229 |1930 | 6.000000e+00 | 6.000000e+00 | 0.00%
17.38/17.47 c
17.38/17.47 c SCIP Status : problem is solved [optimal solution found]
17.38/17.47 c Solving Time (sec) : 17.46
17.38/17.47 c Solving Nodes : 234
17.38/17.47 c Primal Bound : +6.00000000000000e+00 (1 solutions)
17.38/17.47 c Dual Bound : +6.00000000000000e+00
17.38/17.47 c Gap : 0.00 %
17.38/17.47 s OPTIMUM FOUND
17.38/17.47 v -x1866 -x1880 -x1898 -x1920 -x1948 -x1967 -x1979 -x1999 -x832 -x813 -x1066 -x1043 -x1113 -x1090 -x970 -x950 -x79 -x56 -x29 -x16
17.38/17.47 v -x388 -x363 -x341 -x313 -x2217 -x2187 -x2284 -x2260 -x2339 -x2305 -x2392 -x2359 -x1529 -x1511 -x1489 -x1474 -x1640 -x1617 -x1597
17.38/17.47 v -x1565 -x2065 -x2079 -x1036 -x1058 -x1069 -x1094 x934 -x958 -x2609 -x1927 -x1367 x640 -x2605 -x1913 x1126 -x498 -x2719 -x1593
17.38/17.47 v -x789 -x121 -x1376 -x1317 -x1337 -x1430 -x1454 -x1386 -x1408 -x836 -x823 -x801 -x779 -x928 -x897 -x885 -x864 -x1006 -x552
17.38/17.47 v -x580 -x608 -x632 -x654 -x683 -x714 -x725 -x748 -x50 -x24 -x89 -x70 -x145 -x109 -x190 -x2626 -x2567 -x2587 -x2820 -x2839 -x2789
17.38/17.47 v -x2802 -x2749 -x2766 -x2707 -x2744 -x2325 x2293 -x2261 -x2236 -x2210 -x2003 -x1874 -x1892 -x1914 -x1937 -x2066 -x2080 -x2093
17.38/17.47 v -x2108 -x2015 -x2027 -x2047 -x2064 -x1574 -x1545 -x1632 -x1344 -x1321 -x1306 -x1442 -x1421 -x1401 -x1381 -x1198 -x1181
17.38/17.47 v -x1148 -x1128 -x1294 -x1259 -x1236 -x1209 -x1001 -x879 -x601 -x573 -x643 -x620 -x695 -x670 -x745 -x720 -x428 -x410 -x473 -x446
17.38/17.47 v -x513 -x487 -x556 -x43 -x20 -x381 -x350 -x326 -x304 -x281 -x249 -x787 -x782 -x849 -x828 -x1055 -x1037 -x1093 -x1070 -x1480
17.38/17.47 v -x1462 -x1626 -x1598 -x1569 -x1540 -x1753 -x1729 -x2170 -x2147 -x2225 -x2179 -x2268 -x2240 -x2329 -x2294 -x2815 -x2838 -x667
17.38/17.47 v -x690 -x731 -x759 -x584 -x605 -x44 -x22 -x93 -x72 -x1425 -x1451 -x1387 x1414 -x2637 -x2452 x1751 -x1016 -x271 -x493 -x2304 -x2172
17.38/17.47 v -x2144 -x2231 -x1621 -x1589 x1558 -x1528 -x1077 -x786 -x767 -x829 -x355 -x335 -x312 -x86 -x2346 -x2132 -x2158 -x2183 -x1635
17.38/17.47 v -x1556 -x1584 -x1507 -x2128 -x2212 -x2186 -x2493 -x23 x188 -x161 -x146 -x781 -x841 -x822 -x880 -x1504 -x2072 -x2084 -x2101
17.38/17.47 v -x2198 -x2173 -x2146 -x2817 -x53 -x124 -x96 -x179 -x57 -x136 -x108 -x181 -x2310 -x2285 x2252 -x2224 -x1717 -x1576 -x1546 -x1637
17.38/17.47 v -x920 -x859 -x877 -x989 -x101 -x119 -x147 -x171 -x2244 -x2272 -x2269 -x2175 -x458 -x424 -x416 -x560 -x543 -x530 -x500 -x649
17.38/17.47 v x624 -x594 -x610 -x591 -x749 -x723 -x701 -x682 -x337 -x2518 -x2543 -x2470 -x2486 -x2416 -x2443 -x2360 -x2393 -x2306 -x2340
17.38/17.47 v -x2327 -x2242 -x2270 -x2176 -x2209 -x2603 -x2589 -x2564 -x1759 -x1784 -x1816 -x1841 -x1655 -x1684 -x1706 -x1731 -x1562 -x1537
17.38/17.47 v -x1567 -x1600 -x1628 -x1986 -x1893 -x1875 -x1938 -x1915 -x996 -x1020 -x951 -x971 -x1091 -x1114 -x1044 -x1067 -x1060 -x827
17.38/17.47 v -x845 -x1169 -x1140 -x1121 -x1278 -x1255 -x1231 -x1207 -x212 -x236 -x267 -x288 -x314 -x340 -x364 -x358 -x385 -x726 -x420 -x400
17.38/17.47 v -x465 -x441 -x519 -x495 -x553 -x534 -x2320 -x2290 -x2262 -x2234 -x2213 -x2185 -x2190 -x1505 -x1527 -x1560 -x1591 -x2196 -x2226
17.38/17.47 v -x2148 -x2171 -x2806 -x2788 -x97 -x122 -x604 -x582 -x656 -x636 -x1409 -x1394 -x1378 x1356 -x1870 -x1883 -x1903 -x1928 -x135
17.38/17.47 v -x257 -x292 -x219 -x239 -x365 -x390 -x315 -x343 -x1139 -x1134 -x1200 -x1177 -x1246 -x1214 -x1288 -x866 -x891 -x909 -x949 -x975
17.38/17.47 v -x995 -x1024 -x1046 -x1065 -x1092 -x1111 -x1991 -x1977 -x1963 -x1945 -x1926 -x1585 -x1508 -x1530 -x1475 -x1482 -x1820 -x1842
17.38/17.47 v -x1762 -x1787 x1707 -x1737 -x1660 -x1695 -x2653 -x2634 -x2700 -x2288 -x2311 -x2354 -x2134 -x2157 -x2200 -x2228 -x2469 -x2489
17.38/17.47 v -x2508 -x2536 -x2364 -x2390 -x2426 -x2454 -x629 -x533 -x278 -x246 -x224 -x201 -x382 -x349 -x323 -x297 -x92 -x68 -x49 -x28
17.38/17.47 v -x185 -x158 -x132 -x1240 -x1266 -x1295 -x963 -x939 -x1017 -x991 -x1062 -x1040 -x1103 -x1079 -x802 -x777 -x844 -x824 -x868 -x442
17.38/17.47 v -x319 -x346 -x371 -x1166 -x1143 -x1120 -x1086 -x1909 -x1969 -x1952 -x2002 -x2608 -x2590 -x2566 -x2704 x2496 -x2182 -x2211
17.38/17.47 v -x2122 -x1799 -x1832 -x1857 -x1457 -x1606 -x1701 -x1677 -x1752 -x1723 -x1795 -x1771 -x1854 -x1330 -x1355 -x1379 -x1206 -x1232
17.38/17.47 v -x1254 -x1279 -x1118 -x700 -x637 -x658 -x583 -x607 x538 -x557 -x496 -x2733 -x2754 -x2767 -x2780 -x2807 -x2819 -x2841 -x2563
17.38/17.47 v -x2307 -x2035 -x2051 -x2008 -x2023 -x2099 -x2111 -x2067 -x1618 -x1594 -x1561 -x1248 -x1218 -x1301 -x1265 -x1158 -x1766 -x1796
17.38/17.47 v -x1727 -x1755 -x1671 -x1704 -x2659 -x2640 x2692 -x2669 -x2580 -x2558 -x2618 -x2600 -x2811 -x2794 -x2466 -x2482 -x2527 -x2550
17.38/17.47 v -x2376 -x2402 -x2431 -x2458 -x476 -x459 -x437 -x417 -x559 -x541 -x529 -x499 -x102 -x128 -x260 -x279 -x198 -x222 -x359 -x383
17.38/17.47 v -x305 -x336 -x1159 -x1124 -x1192 -x1173 -x1249 -x1223 -x855 -x871 -x892 -x916 -x941 -x965 -x990 -x1011 -x1031 -x1054 -x1078
17.38/17.47 v -x1097 -x2100 -x2112 -x2071 -x2085 -x1798 -x1775 -x1745 -x1720 -x1691 -x1662 -x1639 -x1614 -x1578 -x1557 -x1531 -x1509 -x1495
17.38/17.47 v -x1463 -x2781 -x2800 -x2495 -x2476 -x2546 -x2521 -x2404 -x2381 -x2439 -x2410 -x2289 -x2257 -x2347 -x2314 -x2159 -x2133 -x2227
17.38/17.47 v -x2203 -x569 -x548 -x422 -x406 -x480 -x456 -x698 -x674 -x746 -x721 -x612 -x592 -x662 -x638 -x886 -x908 -x854 -x867 -x819 -x840
17.38/17.47 v -x771 -x790 -x803 -x1080 -x1104 -x1039 -x1061 -x986 -x1008 -x931 -x964 -x1289 -x1267 -x1244 -x1215 -x1196 -x1174 -x1160
17.38/17.47 v -x1115 -x1455 -x1436 -x1418 -x1398 -x1370 -x1352 -x1335 -x1315 -x1467 -x1485 -x1514 -x1532 -x1549 -x1579 -x1609 -x1604 -x1633
17.38/17.47 v -x1665 -x1689 -x1721 -x1742 -x1776 -x1804 -x1823 -x1849 -x1290 -x1268 -x1245 -x1216 -x1197 -x1175 -x1161 -x1116 -x1456 -x1437
17.38/17.47 v -x1419 -x1399 -x1371 -x1353 -x1336 -x1316 -x1468 -x1486 -x1515 -x1533 -x1550 -x1580 -x1610 -x1605 -x1634 -x1666 -x1690 -x1722
17.38/17.47 v -x1743 -x1777 -x1805 -x1824 -x1850 -x1889 -x1864 -x1929 -x1905 -x1961 -x1941 -x2004 -x1988 -x2021 -x2010 -x2053 -x2037 -x2082
17.38/17.47 v -x2069 -x2109 -x2094 -x2191 -x2214 -x2130 -x2160 -x2315 -x2344 -x2321 -x2237 -x2264 -x2433 -x2461 -x2382 -x2407 -x2522 -x2547
17.38/17.47 v -x1825 -x1851 -x1890 -x1865 -x1930 -x1906 -x1962 -x1942 -x2005 -x1989 -x2022 -x2011 -x2054 -x2038 -x2083 -x2070 -x2110 -x2095
17.38/17.47 v -x2192 -x2215 -x2131 -x2161 -x2316 -x2345 -x2322 -x2238 -x2265 -x2434 -x2462 -x2383 -x2408 -x2523 -x2548 -x2479 -x2500
17.38/17.47 v -x2614 -x2593 -x2576 -x2555 -x2696 -x2682 -x2661 -x2642 -x2769 -x2751 -x2734 -x2717 -x2833 -x2824 -x2803 -x2786 -x328 -x308 -x377
17.38/17.47 v -x351 -x227 -x237 -x217 -x295 -x265 -x129 -x99 -x172 -x151 -x2524 -x2549 -x2480 -x2501 -x2615 -x2594 -x2577 -x2556 -x2697
17.38/17.47 v -x2683 -x2662 -x2643 -x2770 -x2752 -x2735 -x2718 -x2834 -x2825 -x2804 -x2787 -x329 -x309 -x378 -x352 -x228 -x238 -x218 -x296
17.38/17.47 v -x266 -x130 -x100 -x173 -x152 -x34 -x1 -x76 -x58 -x675 -x707 -x735 -x753 -x574 -x602 -x621 -x644 -x503 -x524 -x544 -x565 -x411
17.38/17.47 v -x429 -x447 -x474 -x1098 -x1075 -x1056 -x1029 -x1047 -x1018 -x997 -x976 -x944 -x917 -x893 -x174 -x153 -x35 -x2 -x77 -x59
17.38/17.47 v -x676 -x708 -x736 -x754 -x575 -x603 -x622 -x645 -x504 -x525 -x545 -x566 -x412 -x430 -x448 -x475 -x1099 -x1076 -x1057 -x1030 -x1048
17.38/17.47 v -x1019 -x998 -x977 -x945 -x918 -x894 -x872 -x851 -x837 -x814 -x792 -x768 -x1427 -x1446 -x1395 -x1404 -x1345 -x1363 -x1307
17.38/17.47 v -x1325 -x1272 -x1298 -x1221 -x1241 -x1182 -x1201 -x1129 -x1155 -x1699 -x1675 -x1749 -x1738 -x1713 -x1785 -x1760 -x1838 -x1813
17.38/17.47 v -x919 -x895 -x873 -x852 -x838 -x815 -x793 -x769 -x1428 -x1447 -x1396 -x1405 -x1346 -x1364 -x1308 -x1326 -x1273 -x1299 -x1222
17.38/17.47 v -x1242 -x1183 -x1202 -x1130 -x1156 -x1700 -x1676 -x1750 -x1739 -x1714 -x1786 -x1761 -x1839 -x1814 -x1484 -x1465 -x1536 -x1512
17.38/17.47 v -x1577 -x1547 -x1638 -x1607 -x2014 -x2026 -x2045 -x2062 -x2077 -x2092 -x2106 -x2120 -x1860 -x1881 x1902 -x1923 -x1946 -x1964
17.38/17.47 v -x1978 -x1994 -x2459 -x2430 -x2417 -x2394 -x2366 -x2530 -x2510 x2586 -x2581 -x520 -x494 -x952 -x978 -x1570 -x1541 -x2154
17.38/17.47 v -x2123 -x148 -x120 -x957 -x209 -x2435 x1718 -x985 -x252 -x2737 -x2727 -x2349 -x2317 x2279 -x2258 -x2218 -x2193 -x2028 -x2046
17.38/17.47 v -x2039 -x2058 -x1581 -x1555 -x1643 -x1613 -x1322 -x1426 -x1441 -x1448 -x1390 -x1410 -x839 -x809 -x599 -x619 -x641 -x668 -x677
17.38/17.47 v -x709 -x737 -x755 -x2421 -x2278 -x2245 -x2334 -x2303 -x2296 -x2150 -x2124 -x1705 -x1685 -x1654 -x1647 -x1622 -x1588 -x1572
17.38/17.47 v -x1539 -x1516 -x816 x69 -x689 -x2571 -x1954 -x1830 -x1809 -x1834 -x1756 -x905 -x926 -x907 -x956 -x162 -x186 -x116 -x106 -x2537
17.38/17.47 v -x2509 -x2391 -x2365 -x1843 x1815 -x1788 -x1765 -x1260 -x1285 -x969 -x943 -x1873 -x1934 -x1837 -x1282 -x1027 -x955 -x395 -x208
17.38/17.47 v -x2177 -x2155 x1821 -x1477 -x317 -x2356 -x1548 -x966 -x264 x2425 -x630 -x653 -x590 -x611 -x738 -x756 -x678 -x710 -x2274 -x2247
17.38/17.47 v -x2337 -x2300 -x2165 -x2143 -x2232 -x2205 -x2601 -x2621 -x2785 -x2805 -x2823 -x2842 -x2712 -x2728 -x2747 -x2768 -x1645
17.38/17.47 v -x1620 -x1592 -x1566 -x1526 -x1501 -x1899 -x1916 -x1876 -x1895 -x2096 -x2107 -x2068 -x2078 -x2040 -x2059 -x2009 -x2024 -x935
17.38/17.47 v x962 -x983 -x1010 -x1369 -x1351 -x1420 -x1380 -x1439 -x1423 -x1149 -x1137 -x1199 -x1176 -x1247 -x1219 -x1302 -x1275 -x256 -x282
17.38/17.47 v -x663 -x639 -x613 -x593 -x743 -x719 -x697 -x671 -x481 -x457 -x423 -x407 -x561 -x540 -x531 -x506 -x2201 -x2230 -x2801 -x2783
17.38/17.47 v -x2835 -x2832 -x2736 -x2721 -x2772 -x2756 -x2660 -x2641 -x2693 -x2670 -x2582 -x2559 -x1595 -x2273 -x127 x870 -x1013 -x272 -x2651
17.38/17.47 v -x2436 -x175 -x830 x1649 -x2444 -x462 -x443 -x711 -x679 -x1188 -x1167 -x1144 -x1122 -x1936 x1912 -x1972 -x1953 -x2620 -x2606
17.38/17.47 v -x2585 -x2562 -x82 -x64 -x672 -x696 -x831 -x808 -x805 -x783 -x1947 -x1730 -x1746 -x1668 -x1692 -x1831 -x1858 -x1774 -x2632
17.38/17.47 v -x2698 -x2676 -x2377 -x2409 -x2437 -x2463 -x2475 -x507 -x472 -x453 -x427 -x414 -x348 x372 -x301 -x1217 -x1293 -x1269 -x1152
17.38/17.47 v -x1133 -x1189 -x1170 -x1038 -x1636 -x1664 -x1686 -x1715 -x1740 -x1758 -x1791 -x1812 -x2348 -x2251 -x2283 -x2411 -x2440 -x2358
17.38/17.47 v -x2385 -x2505 -x259 -x244 -x220 -x391 -x889 -x981 -x942 x1026 -x1513 -x1493 -x1466 -x1840 -x2309 -x2162 -x2139 -x2216 -x273
17.38/17.47 v -x199 -x223 -x361 -x1264 -x940 -x967 -x988 -x903 -x804 -x780 -x847 -x168 x143 -x110 -x95 -x2341 -x2369 -x2397 -x2420 -x1644
17.38/17.47 v -x1563 -x1590 -x1712 -x915 -x764 -x784 -x806 -x176 -x105 -x131 -x62 -x717 -x688 -x666 -x648 -x1171 -x1407 -x1385 x1445 -x1984
17.38/17.47 v -x1965 -x1949 -x2063 -x2595 -x2652 -x2631 -x2686 -x344 -x369 -x389 -x221 -x1119 -x1083 -x1109 -x1045 -x2715 -x233 -x203 -x211
17.38/17.47 v -x532 -x542 -x562 -x1007 x1147 -x1277 -x1300 -x1220 -x1966 -x1983 -x1997 -x1863 -x2745 -x2668 -x2687 -x2627 -x807 -x785 -x765
17.38/17.47 v -x1112 -x1736 -x1661 -x1683 -x1819 -x1846 -x1763 -x1783 -x1510 -x2678 -x2363 -x2389 -x2424 -x2451 -x2471 -x2485 -x2504 -x1085
17.38/17.47 v -x1082 -x1106 -x1146 -x1127 -x1191 -x1172 -x1250 -x370 -x396 -x374 -x300 -x324 -x483 -x461 -x438 -x2514 -x2541 -x2357 -x2380
17.38/17.47 v -x2406 -x2438 -x2460 -x2650 -x1807 -x1836 -x1757 -x1781 -x1803 -x1719 -x1744 x1669 -x1323 -x1276 -x1297 -x1224 -x2091 -x2103
17.38/17.47 v -x2117 -x1859 -x2738 -x2831 -x2849 -x2791 -x818 -x788 -x766 -x911 -x760 -x37 -x15 -x85 -x2763 -x2709 x2732 -x2335 -x2297
17.38/17.47 v -x2333 -x2375 -x2401 -x2428 x2456 -x2478 -x2502 -x1624 -x1627 -x1538 -x1571 -x1726 -x1754 -x1674 -x1697 -x1402 -x1383 -x1377
17.38/17.47 v -x1357 -x1338 -x1318 -x1280 -x1257 -x692 -x669 -x740 -x734 -x609 -x588 -x655 -x628 -x71 -x94 -x2775 -x2762 -x2731 -x2708 -x2840
17.38/17.47 v -x2822 -x2292 -x2324 -x2235 -x2266 -x2029 -x2013 -x2057 -x2044 -x270 -x342 -x1000 -x974 -x1506 -x1782 -x2202 -x2169 -x322
17.38/17.47 v -x298 x954 -x979 -x812 -x1608 -x2413 -x195 -x848 x1631 x1728 -x1698 -x994 -x1059 -x248 -x226 -x2748 -x2250 -x2043 -x2025 -x1343
17.38/17.47 v -x1415 -x41 -x18 -x196 -x170 -x2271 -x2241 -x2328 -x2295 -x1693 -x1673 -x1629 -x1601 -x1258 -x1283 -x1205 -x1230 -x445 -x467
17.38/17.47 v x486 -x522 -x2681 -x2701 -x2645 -x2665 -x673 -x744 -x718 x27 -x1311 -x1440 -x1424 -x1400 -x1970 -x1985 -x2000 -x1878 -x2730
17.38/17.47 v -x2685 -x2706 -x2646 -x704 -x730 -x763 -x399 -x1339 -x1433 -x1450 -x1393 -x464 -x439 -x419 -x398 -x558 -x539 -x516 -x492
17.38/17.47 v -x318 -x345 -x1142 -x1123 -x1186 -x1165 -x1233 -x1208 -x1042 -x1064 -x1084 -x1107 -x2001 -x1987 x1971 -x1951 -x1802 -x1780 -x1716
17.38/17.47 v -x1741 -x1663 -x1687 -x2667 -x2647 -x2494 -x2520 -x2515 -x2540 -x2355 -x2386 -x2412 -x2441 -x316 -x83 -x63 -x65 -x40 -x19
17.38/17.47 v -x197 -x169 -x2703 -x2680 -x2664 -x2644 -x1933 -x1910 -x1973 x1955 -x1284 -x1263 -x1235 -x1212 -x661 -x635 -x518 -x491 -x2671
17.38/17.47 v -x2689 -x2629 -x2649 -x1904 -x1931 -x1950 -x1968 -x87 -x21 -x42 -x167 -x193 -x113 -x142 -x251 -x2755 -x2239 -x2267 -x2299
17.38/17.47 v -x2323 -x2129 -x2156 -x2184 -x2050 -x2034 -x2020 -x1599 -x1625 x1544 -x1573 -x1497 -x794 -x890 -x910 -x850 -x865 -x1375 -x1354
17.38/17.47 v -x1333 -x33 -x61 -x75 -x107 -x137 -x155 -x182 -x616 -x2384 -x2308 -x2343 -x2259 -x2282 -x2197 -x2223 -x2135 -x876 -x858 -x921
17.38/17.47 v -x896 -x1310 -x1329 -x1350 -x1368 -x1559 -x1542 -x1520 -x1499 -x1479 -x1459 -x2102 -x2114 -x2246 -x2336 -x2330 -x2298 x2153
17.38/17.47 v -x2121 -x2208 -x2178 -x141 -x255 -x285 -x286 -x210 -x235 -x368 -x397 -x884 -x902 -x925 -x938 -x953 -x980 -x1005 -x1028 -x1575
17.38/17.47 v -x1496 -x1519 -x1458 -x1476 -x1494 -x1806 -x1833 -x1522 -x1498 -x1568 -x1543 -x1652 -x1619 -x1682 -x1653 -x1735 -x1708 -x1794
17.38/17.47 v -x1764 -x1835 -x1808 -x2604 -x2622 -x2565 -x2588 -x2684 -x2705 -x2688 -x2628 -x2648 -x2761 -x2774 -x2724 -x2743 -x2830 -x2850
17.38/17.47 v -x2797 -x2814 -x2207 -x2181 -x2152 -x2127 -x2332 -x2302 -x2277 -x2249 -x2450 -x2423 -x2388 -x2362 -x2539 -x2517 -x2491 -x2473
17.38/17.47 v -x387 -x357 -x334 -x307 -x276 -x294 -x269 -x241 -x216 -x178 -x150 -x126 -x104 -x81 -x55 -x32 -x11 -x2206 -x2180 -x2151
17.38/17.47 v -x2126 -x2331 -x2301 -x2276 -x2248 -x2449 -x2422 -x2387 -x2361 -x2538 -x2516 -x2490 -x2472 -x386 -x356 -x333 -x306 -x275 -x293
17.38/17.47 v -x268 -x240 -x215 -x177 -x149 -x125 -x103 -x80 -x54 -x31 -x10 -x729 -x762 -x681 -x703 -x618 -x647 -x579 -x598 -x547 -x564 -x502
17.38/17.47 v -x528 -x450 -x469 -x409 -x434 -x1053 -x1035 -x1101 -x1074 -x1089 -x973 -x948 -x1023 -x1003 -x875 -x857 -x914 -x888 -x799
17.38/17.47 v -x776 -x30 -x9 -x728 -x761 -x680 -x702 -x617 -x646 -x578 -x597 -x546 -x563 -x501 -x527 -x449 -x468 -x408 -x433 -x1052 -x1034
17.38/17.47 v -x1100 -x1073 -x1088 -x972 -x947 -x1022 -x1002 -x874 -x856 -x913 -x887 -x798 -x775 -x835 -x821 -x1392 -x1413 -x1432 -x1444 -x1304
17.38/17.47 v -x1320 -x1349 -x1362 -x1228 -x1253 -x1271 -x1292 -x1136 -x1154 -x1180 -x1195 -x1748 -x1725 -x1703 -x1679 -x1659 -x1845
17.38/17.47 v -x1818 -x1790 -x1770 -x1525 -x1503 -x1492 -x1473 -x797 -x774 -x834 -x820 -x1391 -x1412 -x1431 -x1443 -x1303 -x1319 -x1348 -x1361
17.38/17.47 v -x1227 -x1252 -x1270 -x1291 -x1135 -x1153 -x1179 -x1194 -x1747 -x1724 -x1702 -x1678 -x1658 -x1844 -x1817 -x1789 -x1769 -x1524
17.38/17.47 v -x1502 -x1491 -x1472 -x1642 -x1616 -x1587 -x1554 -x2042 -x2056 -x2017 -x2033 -x2105 -x2116 -x2074 -x2090 -x1897 -x1922 -x1872
17.38/17.47 v -x1887 -x1976 -x1993 -x1944 -x1960 -x2400 -x2374 -x2371 -x2448 -x2415 -x2488 -x2468 -x2535 -x2507 -x2168 -x2138 -x1490
17.38/17.47 v -x1471 -x1641 -x1615 -x1586 -x1553 -x2041 -x2055 -x2016 -x2032 -x2104 -x2115 -x2073 -x2089 -x1896 -x1921 -x1871 -x1886 -x1975
17.38/17.47 v -x1992 -x1943 -x1956 -x2398 -x2372 -x2370 -x2445 -x2414 -x2487 -x2467 -x2531 -x2506 -x2166 -x2136 -x2219 -x2194 -x2286 -x2253
17.38/17.47 v -x2350 -x2318 -x2713 -x2741 -x2757 -x2776 -x2792 -x2812 -x2826 -x2844 -x2560 -x2572 -x2596 -x2616 -x2635 -x2655 -x2672 -x2694
17.38/17.47 v -x156 -x165 -x191 -x111 -x138 -x66 -x90 -x25 -x46 -x2167 -x2137 -x2220 -x2195 -x2287 -x2254 -x2351 -x2319 -x2714 -x2742 -x2758
17.38/17.47 v -x2777 -x2793 -x2813 -x2827 -x2845 -x2561 -x2573 -x2597 -x2617 -x2636 -x2656 -x2673 -x2695 -x157 -x166 -x192 -x112 -x139
17.38/17.47 v -x67 -x91 -x26 -x47 -x362 -x384 -x303 -x330 -x245 -x274 -x200 -x229 -x551 -x535 -x517 -x488 -x466 -x444 -x421 -x401 -x750 x724
17.38/17.47 v -x713 -x685 -x657 -x631 -x606 -x585 -x576 -x863 -x883 -x898 -x930 -x778 -x800 x1464 -x1193 -x477 -x2610 -x1932 -x1772 -x2773
17.38/17.47 v x1602 -x1025 -x394 -x2442 -x1648 -x699 -x722 -x747 -x581 x2663 -x2753 -x2771 -x2716 -x1974 -x1990 -x2006 -x2012 -x250 -x325
17.38/17.47 v -x299 -x375 -x987 -x959 -x932 -x1102 -x1919 -x1800 -x1778 -x1855 -x1239 -x1243 -x1213 -x1203 -x1178 -x1157 -x1138 -x1438 -x1422
17.38/17.47 v -x1406 -x1382 -x1365 -x1347 -x1327 -x1309 -x906 -x927 -x853 -x869 -x817 -x833 -x770 -x791 -x1087 -x1110 -x1049 -x1068 -x999
17.38/17.47 v -x1021 -x946 -x968 -x514 -x484 -x509 -x567 -x549 -x431 -x404 -x478 -x454 -x693 -x664 -x741 -x715 -x595 -x570 -x651 -x625
17.38/17.47 v -x117 -x133 -x159 -x183 -x6 -x38 -x51 -x73 -x320 -x338 -x366 -x392 -x213 -x242 -x261 -x289 -x515 -x485 -x510 -x568 -x550 -x432
17.38/17.47 v -x405 -x479 -x455 -x694 -x665 -x742 -x716 -x596 -x571 -x652 -x626 -x118 -x134 -x160 -x184 -x7 -x39 -x52 -x74 -x321 -x339 -x367
17.38/17.47 v -x393 -x214 -x243 -x262 -x290 -x2624 -x2612 -x2598 -x2574 -x2553 -x2690 -x2674 -x2657 -x2638 -x2778 -x2759 -x2739 -x2722
17.38/17.47 v -x2846 -x2828 -x2809 -x2795 -x2188 -x2221 -x2140 x2163 -x2312 -x2352 -x2255 -x2280 -x2418 -x2446 -x2367 -x2395 -x2511 -x2532
17.38/17.47 v -x263 -x291 -x2625 -x2613 -x2599 -x2575 -x2554 -x2691 -x2675 -x2658 -x2639 -x2779 -x2760 -x2740 -x2723 -x2847 -x2829 -x2810 -x2796
17.38/17.47 v -x2189 -x2222 -x2141 -x2164 -x2313 -x2353 -x2256 -x2281 -x2419 -x2447 -x2368 -x2396 -x2512 -x2533 -x2464 -x2483 -x2497
17.38/17.47 v -x1884 -x1867 -x1924 -x1907 -x1957 -x1939 -x1995 -x1980 -x2030 -x2018 -x2060 -x2048 -x2087 -x2075 -x2118 -x2097 -x1469 -x1487
17.38/17.47 v -x1517 -x1534 -x1551 -x1582 -x1611 -x1650 -x1656 -x1680 -x1709 -x1732 -x2513 -x2534 -x2465 -x2484 -x2498 -x1885 -x1868 -x1925
17.38/17.47 v -x1908 -x1958 -x1940 -x1996 -x1981 -x2031 -x2019 -x2061 -x2049 -x2088 -x2076 -x2119 -x2098 -x1470 -x1488 -x1518 -x1535 -x1552
17.38/17.47 v -x1583 -x1612 -x1651 -x1657 -x1681 -x1710 -x1733 -x1767 -x1792 -x1810 -x1826 -x1852 -x1434 -x1452 -x1388 -x1416 -x1358 -x1373
17.38/17.47 v -x1312 -x1331 -x1261 -x1287 -x1211 -x1238 -x1163 -x1185 -x1132 -x1151 -x1096 -x1072 -x1051 -x1033 -x1015 -x993 -x961 -x937
17.38/17.47 v -x924 -x901 -x1711 -x1734 -x1768 -x1793 -x1811 -x1829 -x1853 -x1435 -x1453 -x1389 -x1417 -x1359 -x1374 -x1313 -x1332 -x1262
17.38/17.47 v -x1286 -x1210 -x1237 -x1162 -x1184 -x1131 -x1150 -x1095 -x1071 -x1050 -x1032 -x1014 -x992 -x960 -x936 -x923 -x900 -x882 -x861
17.38/17.47 v -x843 -x826 -x811 -x796 -x773 -x687 -x706 -x733 -x752 -x587 -x615 -x634 -x660 -x490 -x512 -x537 -x555 -x403 -x426 -x452 -x471
17.38/17.47 v -x332 -x311 -x380 -x354 -x231 -x205 -x284 -x254 -x922 -x899 -x881 -x860 -x842 -x825 -x810 -x795 -x772 -x686 -x705 -x732 -x751
17.38/17.47 v -x586 -x614 -x633 -x659 -x489 -x511 -x536 -x554 -x402 -x425 -x451 -x470 -x331 -x310 -x379 -x353 -x230 -x204 -x283 -x253 -x140
17.38/17.47 v -x115 -x187 -x164 -x48 -x36 -x4 -x78 -x60 -x2746 -x2764 -x2711 -x2726 -x2816 -x2837 -x2782 -x2799 -x2607 -x2623 -x2570 -x2591
17.38/17.47 v -x2677 -x2699 -x2633 -x2654 -x2457 -x2432 -x2399 -x2373 -x2544 -x2519 -x2542 -x2525 -x2403 -x2379 x287 -x258 -x234 -x207
17.38/17.47 v -x497 -x523 -x982 -x933 -x1204 -x1229 -x1256 -x1281 -x1847 -x1828 -x1696 -x1670 -x2552 -x2528 -x2499 -x2481 -x912 -x1334 -x1314
17.38/17.47 v -x1372 -x1523 -x1461 -x1481 -x2113 x2338 -x2142 -x2174 -x2199 -x572 -x650 -x627 -x691 -x1226 -x1360 -x1341 -x1324 -x1877
17.38/17.47 v -x1918 -x1901 -x2086 -x2784 -x2798 -x2818 -x2836 -x2568 -x2579 -x2592 -x2611 -x526 -x505 -x482 -x460 -x436 -x418 -x757 -x739
17.38/17.47 v -x1251 -x1225 -x1296 -x1274 -x1145 -x1125 -x1190 x1164 -x984 -x1009 -x1917 -x1900 -x1882 -x1862 -x1998 -x1982 -x1827 -x1856
17.38/17.47 v -x1779 -x1801 -x2583 -x2557 -x2619 -x2602 -x2427 -x2455 -x2474 -x2492 -x2526 -x2545 -x1888 -x1869 -x1012 -x277 -x508 -x2725 -x2081
17.38/17.47 v x1340 -x2578 -x1959 -x1004 x1234 -x521 -x2666 -x1911 -x1935 -x1879 -x1894 -x2679 -x2702 -x2569 x2584 -x2263 -x2233 -x2326
17.38/17.47 v -x2291 -x1688 -x1667 -x1630 -x1603 -x1063 -x1041 -x1105 -x1081 -x232 -x206 -x376 -x347 -x1108 x1861 -x2630 -x413 -x1384 -x1891
17.38/17.47 v -x2750 -x2765 -x2710 -x2729 -x2821 -x2843 -x2848 -x2790 -x2808 -x144 -x114 -x189 -x163 -x45 -x17 -x88 -x440 -x463 -x684
17.38/17.47 v -x712 -x727 -x758 -x589 -x577 -x600 -x623 -x642 -x929 -x904 -x878 -x862 -x846 -x1168 -x1187 -x1117 -x1141 -x1429 -x1449 -x1397
17.38/17.47 v -x1411 -x1403 -x1342 -x1366 -x1305 -x1328 -x2036 -x2052 -x2007 -x1694 -x1672 -x1848 -x1822 -x1797 -x1773 -x1521 -x1500 -x1478
17.38/17.47 v -x1483 -x1460 -x1646 -x1623 -x1596 -x1564 -x2720 -x2405 -x2378 -x2453 -x2429 -x2503 -x2477 -x2551 -x2529 -x2149 -x2125 -x2145
17.38/17.47 v -x2229 -x2204 -x2275 -x2243 -x2342 -x415 -x435 -x373 -x360 -x327 -x302 -x280 -x247 -x225 -x202 -x194 -x180 -x154 x123 -x98
17.38/17.47 v -x84 x14 x13 x12 x8 x5 x3
17.38/17.47 c SCIP Status : problem is solved [optimal solution found]
17.38/17.47 c Total Time : 17.46
17.38/17.47 c solving : 17.46
17.38/17.47 c presolving : 0.15 (included in solving)
17.38/17.47 c reading : 0.02 (included in solving)
17.38/17.47 c copying : 0.03 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
17.38/17.47 c Original Problem :
17.38/17.47 c Problem name : HOME/instance-3692370-1338039045.opb
17.38/17.47 c Variables : 2850 (2850 binary, 0 integer, 0 implicit integer, 0 continuous)
17.38/17.47 c Constraints : 3286 initial, 3286 maximal
17.38/17.47 c Objective sense : minimize
17.38/17.47 c Presolved Problem :
17.38/17.47 c Problem name : t_HOME/instance-3692370-1338039045.opb
17.38/17.47 c Variables : 2844 (2844 binary, 0 integer, 0 implicit integer, 0 continuous)
17.38/17.47 c Constraints : 441 initial, 899 maximal
17.38/17.47 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
17.38/17.47 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c knapsack : 0.08 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c linear : 0.03 0.00 6 0 0 6 0 2845 0 0 0
17.38/17.47 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.38/17.47 c root node : - - 0 - - 0 - - - - -
17.38/17.47 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
17.38/17.47 c integral : 0 0 0 0 286 0 7 0 5 109 0 0 424
17.38/17.47 c knapsack : 384 384 6 1641 0 0 4 2749 8 3819 1202 0 0
17.38/17.47 c setppc : 57 57 6 1633 0 0 3 1522 2 2415 0 0 0
17.38/17.47 c linear : 0+ 229 6 467 0 0 0 0 0 0 0 0 0
17.38/17.47 c logicor : 0+ 229 6 82 0 0 0 13 13 17 0 0 0
17.38/17.47 c countsols : 0 0 0 0 0 0 3 0 0 0 0 0 0
17.38/17.47 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
17.38/17.47 c integral : 13.17 0.00 0.00 0.00 13.17 0.00 0.00 0.00
17.38/17.47 c knapsack : 0.05 0.00 0.02 0.02 0.00 0.00 0.00 0.00
17.38/17.47 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
17.38/17.47 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00
17.38/17.47 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
17.38/17.47 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
17.38/17.47 c Propagators : #Propagate #ResProp Cutoffs DomReds
17.38/17.47 c rootredcost : 0 0 0 0
17.38/17.47 c pseudoobj : 0 0 0 0
17.38/17.47 c vbounds : 0 0 0 0
17.38/17.47 c redcost : 292 0 0 0
17.38/17.47 c probing : 0 0 0 0
17.38/17.47 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
17.38/17.47 c rootredcost : 0.00 0.00 0.00 0.00 0.00
17.38/17.47 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
17.38/17.47 c vbounds : 0.00 0.00 0.00 0.00 0.00
17.38/17.47 c redcost : 0.01 0.00 0.00 0.01 0.00
17.38/17.47 c probing : 0.02 0.00 0.02 0.00 0.00
17.38/17.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
17.38/17.47 c propagation : 0.00 23 23 157 36.0 0 0.0 -
17.38/17.47 c infeasible LP : 0.02 22 20 335 158.7 0 0.0 0
17.38/17.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
17.38/17.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
17.38/17.47 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
17.38/17.47 c applied globally : - - - 229 72.5 - - -
17.38/17.47 c applied locally : - - - 0 0.0 - - -
17.38/17.47 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
17.38/17.47 c cut pool : 0.00 5 - - 908 - (maximal pool size: 1427)
17.38/17.47 c closecuts : 0.00 0.00 0 0 0 0 0
17.38/17.47 c impliedbounds : 0.00 0.00 6 0 0 0 0
17.38/17.47 c intobj : 0.00 0.00 0 0 0 0 0
17.38/17.47 c gomory : 0.04 0.00 6 0 0 73 0
17.38/17.47 c cgmip : 0.00 0.00 0 0 0 0 0
17.38/17.47 c strongcg : 0.16 0.00 6 0 0 98 0
17.38/17.47 c cmir : 0.41 0.00 6 0 0 1597 0
17.38/17.47 c flowcover : 0.33 0.00 6 0 0 1201 0
17.38/17.47 c clique : 0.00 0.00 6 0 0 9 0
17.38/17.47 c zerohalf : 0.00 0.00 0 0 0 0 0
17.38/17.47 c mcf : 0.00 0.00 1 0 0 0 0
17.38/17.47 c oddcycle : 0.00 0.00 0 0 0 0 0
17.38/17.47 c rapidlearning : 0.35 0.00 1 0 0 0 229
17.38/17.47 c Pricers : ExecTime SetupTime Calls Vars
17.38/17.47 c problem variables: 0.00 - 0 0
17.38/17.47 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
17.38/17.47 c relpscost : 13.17 0.00 286 5 109 0 0 424
17.38/17.47 c pscost : 0.00 0.00 0 0 0 0 0 0
17.38/17.47 c inference : 0.00 0.00 0 0 0 0 0 0
17.38/17.47 c mostinf : 0.00 0.00 0 0 0 0 0 0
17.38/17.47 c leastinf : 0.00 0.00 0 0 0 0 0 0
17.38/17.47 c fullstrong : 0.00 0.00 0 0 0 0 0 0
17.38/17.47 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
17.38/17.47 c random : 0.00 0.00 0 0 0 0 0 0
17.38/17.47 c Primal Heuristics : ExecTime SetupTime Calls Found
17.38/17.47 c LP solutions : 0.00 - - 0
17.38/17.47 c pseudo solutions : 0.00 - - 0
17.38/17.47 c oneopt : 0.00 0.00 0 0
17.38/17.47 c crossover : 0.00 0.00 0 0
17.38/17.47 c guideddiving : 0.00 0.00 0 0
17.38/17.47 c intshifting : 0.00 0.00 0 0
17.38/17.47 c coefdiving : 0.33 0.00 1 0
17.38/17.47 c pscostdiving : 0.14 0.00 1 0
17.38/17.47 c fracdiving : 0.34 0.00 1 0
17.38/17.47 c veclendiving : 0.01 0.00 1 0
17.38/17.47 c feaspump : 0.05 0.00 1 0
17.38/17.47 c objpscostdiving : 0.03 0.00 1 0
17.38/17.47 c rootsoldiving : 0.03 0.00 1 0
17.38/17.47 c smallcard : 0.00 0.00 0 0
17.38/17.47 c trivial : 0.00 0.00 2 0
17.38/17.47 c shiftandpropagate: 0.02 0.00 1 0
17.38/17.47 c simplerounding : 0.00 0.00 0 0
17.38/17.47 c zirounding : 0.01 0.00 0 0
17.38/17.47 c rounding : 0.02 0.00 196 0
17.38/17.47 c shifting : 0.05 0.00 32 0
17.38/17.47 c twoopt : 0.00 0.00 0 0
17.38/17.47 c indtwoopt : 0.00 0.00 0 0
17.38/17.47 c indoneopt : 0.00 0.00 0 0
17.38/17.47 c fixandinfer : 0.00 0.00 0 0
17.38/17.47 c clique : 0.00 0.00 0 0
17.38/17.47 c indrounding : 0.00 0.00 0 0
17.38/17.47 c indcoefdiving : 0.00 0.00 0 0
17.38/17.47 c nlpdiving : 0.00 0.00 0 0
17.38/17.47 c intdiving : 0.00 0.00 0 0
17.38/17.47 c actconsdiving : 0.00 0.00 0 0
17.38/17.47 c linesearchdiving : 0.04 0.00 1 1
17.38/17.47 c octane : 0.00 0.00 0 0
17.38/17.47 c rens : 0.22 0.00 1 0
17.38/17.47 c rins : 0.00 0.00 0 0
17.38/17.47 c localbranching : 0.00 0.00 0 0
17.38/17.47 c mutation : 0.00 0.00 0 0
17.38/17.47 c dins : 0.00 0.00 0 0
17.38/17.47 c vbounds : 0.00 0.00 0 0
17.38/17.47 c undercover : 0.00 0.00 0 0
17.38/17.47 c subnlp : 0.00 0.00 0 0
17.38/17.47 c trysol : 0.00 0.00 0 0
17.38/17.47 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
17.38/17.47 c primal LP : 0.00 1 0 0.00 - 0.00 1
17.38/17.47 c dual LP : 1.34 307 10532 34.64 7861.83 0.00 3
17.38/17.47 c lex dual LP : 0.00 0 0 0.00 -
17.38/17.47 c barrier LP : 0.00 0 0 0.00 - 0.00 0
17.38/17.47 c diving/probing LP: 0.69 846 3055 3.61 4414.43
17.38/17.47 c strong branching : 13.14 1930 89153 46.19 6784.20
17.38/17.47 c (at root node) : - 10 2553 255.30 -
17.38/17.47 c conflict analysis: 0.00 0 0 0.00 -
17.38/17.47 c B&B Tree :
17.38/17.47 c number of runs : 1
17.38/17.47 c nodes : 234
17.38/17.47 c nodes (total) : 234
17.38/17.47 c nodes left : 0
17.38/17.47 c max depth : 111
17.38/17.47 c max depth (total): 111
17.38/17.47 c backtracks : 9 (3.8%)
17.38/17.47 c delayed cutoffs : 5
17.38/17.47 c repropagations : 124 (69 domain reductions, 1 cutoffs)
17.38/17.47 c avg switch length: 3.01
17.38/17.47 c switching time : 0.02
17.38/17.47 c Solution :
17.38/17.47 c Solutions found : 1 (1 improvements)
17.38/17.47 c First Solution : +6.00000000000000e+00 (in run 1, after 234 nodes, 17.46 seconds, depth 122, found by <linesearchdiving>)
17.38/17.47 c Primal Bound : +6.00000000000000e+00 (in run 1, after 234 nodes, 17.46 seconds, depth 122, found by <linesearchdiving>)
17.38/17.47 c Dual Bound : +6.00000000000000e+00
17.38/17.47 c Gap : 0.00 %
17.38/17.47 c Root Dual Bound : +6.00000000000000e+00
17.38/17.47 c Root Iterations : 2224
17.38/17.49 c Time complete: 17.48.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692370-1338039045/watcher-3692370-1338039045 -o /tmp/evaluation-result-3692370-1338039045/solver-3692370-1338039045 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692370-1338039045.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 7837
/proc/meminfo: memFree=27711516/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=9596 CPUtime=0 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 1254 0 0 0 0 0 0 0 20 0 1 0 270031752 9826304 1209 33554432000 4194304 10219143 140736989238288 140735054680584 8826447 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 2399 1209 347 1471 0 919 0
[startup+0.0238441 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 7837
/proc/meminfo: memFree=27711516/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=17456 CPUtime=0.01 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 3097 0 0 0 1 0 0 0 20 0 1 0 270031752 17874944 3052 33554432000 4194304 10219143 140736989238288 140735054680584 9029200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 4364 3052 421 1471 0 2884 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17456
[startup+0.100235 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 7837
/proc/meminfo: memFree=27711516/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=33524 CPUtime=0.09 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 7284 0 0 0 8 1 0 0 20 0 1 0 270031752 34328576 6916 33554432000 4194304 10219143 140736989238288 140735054680584 7422003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 8381 6916 591 1471 0 6901 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33524
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 7837
/proc/meminfo: memFree=27711516/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=43904 CPUtime=0.28 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 10388 0 0 0 27 1 0 0 20 0 1 0 270031752 44957696 9767 33554432000 4194304 10219143 140736989238288 140736989234664 5171991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 10976 9767 792 1471 0 9496 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43904
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 7837
/proc/meminfo: memFree=27711516/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=76108 CPUtime=0.69 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 18190 0 0 0 65 4 0 0 20 0 1 0 270031752 77934592 17569 33554432000 4194304 10219143 140736989238288 140736989233672 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 19027 17569 820 1471 0 17547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76108
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27644532/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75180 CPUtime=1.48 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 18774 0 0 0 144 4 0 0 20 0 1 0 270031752 76984320 17428 33554432000 4194304 10219143 140736989238288 140736989233448 8676211 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18795 17428 837 1471 0 17315 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 75180
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27641680/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=3.09 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20325 0 0 0 302 7 0 0 20 0 1 0 270031752 77377536 17814 33554432000 4194304 10219143 140736989238288 140736989231832 8082641 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17814 846 1471 0 17411 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75564
[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27642168/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=6.29 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20325 0 0 0 620 9 0 0 20 0 1 0 270031752 77377536 17814 33554432000 4194304 10219143 140736989238288 140736989231832 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17814 846 1471 0 17411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75564
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27640092/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=12.69 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20328 0 0 0 1255 14 0 0 20 0 1 0 270031752 77377536 17817 33554432000 4194304 10219143 140736989238288 140736989232120 7978813 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17817 848 1471 0 17411 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75564
Solver just ended. Dumping a history of the last processes samples
[startup+15.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27640232/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=15.88 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20329 0 0 0 1572 16 0 0 20 0 1 0 270031752 77377536 17818 33554432000 4194304 10219143 140736989238288 140736989232120 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17818 848 1471 0 17411 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 75564
[startup+16.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27640480/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=16.68 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20329 0 0 0 1651 17 0 0 20 0 1 0 270031752 77377536 17818 33554432000 4194304 10219143 140736989238288 140736989231416 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17818 848 1471 0 17411 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 75564
[startup+17.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27640480/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=17.08 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20329 0 0 0 1691 17 0 0 20 0 1 0 270031752 77377536 17818 33554432000 4194304 10219143 140736989238288 140736989231416 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17818 848 1471 0 17411 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 75564
[startup+17.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27640480/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=17.28 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20329 0 0 0 1711 17 0 0 20 0 1 0 270031752 77377536 17818 33554432000 4194304 10219143 140736989238288 140736989232152 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17818 848 1471 0 17411 0
Current children cumulated CPU time (s) 17.28
Current children cumulated vsize (KiB) 75564
[startup+17.4002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7838
/proc/meminfo: memFree=27640480/32873648 swapFree=6336/6336
[pid=7837] ppid=7835 vsize=75564 CPUtime=17.38 cores=0,2,4,6
/proc/7837/stat : 7837 (scip-2.1.1.4exp) R 7835 7837 5668 0 -1 4202496 20329 0 0 0 1721 17 0 0 20 0 1 0 270031752 77377536 17818 33554432000 4194304 10219143 140736989238288 140736989232152 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7837/statm: 18891 17818 848 1471 0 17411 0
Current children cumulated CPU time (s) 17.38
Current children cumulated vsize (KiB) 75564
Child status: 0
Real time (s): 17.4966
CPU time (s): 17.4873
CPU user time (s): 17.3014
CPU system time (s): 0.185971
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 80620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.3014
system time used= 0.185971
maximum resident set size= 75916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 47
runsolver used 0.103984 second user time and 0.114982 second system time
The end
Begin job on node112 at 2012-05-26 15:30:45
IDJOB=3692370
IDBENCH=71847
IDSOLVER=2271
FILE ID=node112/3692370-1338039045
RUNJOBID= node112-1338029191-7006
PBS_JOBID= 14624359
Free space on /tmp= 71580 MiB
SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx57.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692370-1338039045/watcher-3692370-1338039045 -o /tmp/evaluation-result-3692370-1338039045/solver-3692370-1338039045 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692370-1338039045.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 60656ad92b0e8411299701f2f84e60fb
RANDOM SEED=599701247
node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/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.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.52
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873648 kB
MemFree: 27711408 kB
Buffers: 245084 kB
Cached: 4062064 kB
SwapCached: 0 kB
Active: 711848 kB
Inactive: 3678712 kB
Active(anon): 85944 kB
Inactive(anon): 80 kB
Active(file): 625904 kB
Inactive(file): 3678632 kB
Unevictable: 6336 kB
Mlocked: 6336 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 14036 kB
Writeback: 0 kB
AnonPages: 185268 kB
Mapped: 17620 kB
Shmem: 200 kB
Slab: 635484 kB
SReclaimable: 79740 kB
SUnreclaim: 555744 kB
KernelStack: 1488 kB
PageTables: 4108 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545680 kB
Committed_AS: 201664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346400 kB
VmallocChunk: 34341988052 kB
HardwareCorrupted: 0 kB
AnonHugePages: 155648 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7680 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71564 MiB
End job on node112 at 2012-05-26 15:31:02