Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 1620 | 1800.05 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-bell3b.opb |
MD5SUM | b7f7c91542d49e4b7d5c93771b085583 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1087 |
Best CPU time to get the best result obtained on this benchmark | 1800.29 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1087 |
Optimality of the best value was proved | NO |
Number of variables | 2283 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 24508 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525566 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525566 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351395-1176598061/instance-351395-1176598061.opb 0.00/0.00 c File size is 80328 bytes. 0.00/0.01 c Highest Coefficient sum: 525566 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 2283 Constr: 151 23/0/128 Lit: 6475 Watch. Lit: 2615 0.00/0.01 c Obj. Vars: 1780 (77.9676 % of total variables) 0.02/0.05 c Pre-processing Time: 0.048 s 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 0 1663 125 6112 48 5291 12045 0 0 0.05 0.02/0.05 c Switching off LPR mode. 1.49/1.59 c 100 1663 225 8722 38 5551 13250 100 1754 0.06 1.49/1.59 c 252 1663 377 16204 42 5853 14576 252 3761 0.07 1.49/1.59 c 478 1663 603 26562 44 6306 16034 478 5901 0.08 1.49/1.59 c 816 1663 941 41459 44 6982 17638 816 7351 0.11 1.49/1.59 c 1326 1663 1451 60220 41 8033 19402 1326 8134 0.16 1.49/1.59 c 2089 1663 2214 90562 40 9564 21343 2089 9671 0.22 1.49/1.59 c 3237 1663 3362 131279 39 11847 23478 3237 10972 0.29 1.49/1.59 c 4959 1663 5084 278866 54 15449 25826 4959 7014 0.71 1.49/1.59 c 7544 1663 7669 385205 50 20607 28409 7544 7643 0.99 1.49/1.59 c 11423 1663 11548 621907 53 28369 31250 11423 7681 1.49 1.49/1.59 o 9562 1.586 1.59/1.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.69 c 12216 1663 12342 676034 54 31038 14533 12217 7697 1.59 1.59/1.69 c 12317 1663 12443 682676 54 31205 15987 12318 7702 1.60 1.59/1.69 c 12567 1663 12693 699767 55 31701 17586 12568 7752 1.62 1.59/1.69 c 13046 1663 13172 732263 55 32645 19345 13047 7821 1.67 1.59/1.69 o 8140 1.692 230.11/230.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 230.11/230.29 c 13251 1663 13378 749591 56 34212 14533 13253 7826 1.69 230.11/230.29 c 13351 1663 13478 755923 56 34310 15987 13353 7812 1.71 230.11/230.29 c 13602 1663 13729 770735 56 34655 17586 13604 7763 1.75 230.11/230.29 c 14077 1663 14204 789051 55 35487 19345 14079 7743 1.82 230.11/230.29 c 14890 1663 15017 821527 54 37078 21280 14892 7566 1.97 230.11/230.29 c 16210 1663 16337 868034 53 39709 23409 16212 7435 2.18 230.11/230.29 c 18293 1663 18420 971330 52 43872 25750 18295 6942 2.63 230.11/230.29 c 21516 1663 21643 1095851 50 50312 28326 21518 5886 3.65 230.11/230.29 c 26452 1663 26579 1400472 52 59967 31159 26454 6153 4.30 230.11/230.29 c 33959 1663 12748 1013029 79 31506 34275 12623 4804 7.07 230.11/230.29 c 45321 1663 24110 1584640 65 54232 37703 23985 4149 10.92 230.11/230.29 c 62465 1663 13984 1069242 76 33979 41474 13859 3887 16.07 230.11/230.29 c 88284 1663 39803 2423136 60 85502 45622 39678 2841 31.07 230.11/230.29 c 127116 1663 43680 1790217 40 93240 50185 43555 1960 64.84 230.11/230.29 c 185468 1663 24182 1569492 64 54617 55204 24057 1350 137.34 230.11/230.29 o 4038 230.209 233.71/233.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 233.71/233.82 c 248009 1663 43170 3040791 70 93776 14533 43045 1077 230.21 233.71/233.82 o 1622 233.742 1103.23/1103.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1103.23/1103.71 c 248089 1663 7478 533284 71 22619 14533 7353 1061 233.74 1103.23/1103.71 c 248190 1663 7579 537249 70 22833 15987 7454 1061 233.82 1103.23/1103.71 c 248440 1663 7829 547918 69 23342 17586 7704 1062 233.93 1103.23/1103.71 c 248915 1663 8304 567080 68 24288 19345 8179 1063 234.01 1103.23/1103.71 c 249728 1663 9117 594891 65 25899 21280 8992 1066 234.18 1103.23/1103.71 c 251048 1663 10437 658061 63 28548 23409 10312 1070 234.50 1103.23/1103.71 c 253129 1663 12518 720822 57 32703 25750 12393 1076 235.06 1103.23/1103.71 c 256352 1663 15741 926027 58 39188 28326 15616 1085 236.11 1103.23/1103.71 c 261288 1663 20677 1346829 65 49099 31159 20552 1099 237.64 1103.23/1103.71 c 268794 1663 28183 1806459 64 64058 34275 28058 1119 240.06 1103.23/1103.71 c 280157 1663 15297 760150 49 37039 37703 15172 1127 248.50 1103.23/1103.71 c 297301 1663 32441 1702979 52 71367 41474 32316 1163 255.54 1103.23/1103.71 c 323120 1663 27486 1736171 63 61453 45622 27361 1142 282.89 1103.23/1103.71 c 361954 1663 31993 1605813 50 70416 50185 31868 1130 320.30 1103.23/1103.71 c 420308 1663 50589 2989479 59 107579 55204 50464 1039 404.42 1103.23/1103.71 c 507940 1663 50448 2772638 54 107295 60725 50323 831 610.54 1103.23/1103.71 c 639494 1663 31820 2217430 69 70082 66798 31695 684 933.79 1103.23/1103.71 o 1621 1103.26 1414.64/1415.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1414.64/1415.22 c 697307 1663 32716 4575007 139 73106 14533 32591 632 1103.26 1414.64/1415.22 c 697407 1663 7498 1046631 139 21422 15987 7373 630 1105.29 1414.64/1415.22 c 697658 1663 7749 1057609 136 21942 17586 7624 631 1105.33 1414.64/1415.22 c 698133 1663 8224 1074847 130 22892 19345 8099 631 1105.40 1414.64/1415.22 c 698946 1663 9037 1103894 122 24514 21280 8912 632 1105.59 1414.64/1415.22 c 700267 1663 10358 1164798 112 27170 23409 10233 633 1105.84 1414.64/1415.22 c 702349 1663 12440 1317176 105 31299 25750 12315 634 1106.42 1414.64/1415.22 c 705572 1663 15663 1828477 116 37778 28326 15538 637 1107.52 1414.64/1415.22 c 710508 1663 20599 2188520 106 47592 31159 20474 640 1109.18 1414.64/1415.22 c 718015 1663 28106 2614664 93 62636 34275 27981 646 1111.38 1414.64/1415.22 c 729376 1663 15469 1119653 72 37368 37703 15344 653 1116.41 1414.64/1415.22 c 746522 1663 32615 2499503 76 71642 41474 32490 657 1135.27 1414.64/1415.22 c 772341 1663 27391 1506361 54 61197 45622 27266 674 1145.90 1414.64/1415.22 c 811174 1663 31212 1572324 50 68831 50185 31087 688 1177.35 1414.64/1415.22 c 869526 1663 50897 4147370 81 108175 55204 50772 683 1272.70 1414.64/1415.22 c 957158 1662 52579 2697512 51 111585 60725 52454 704 1358.76 1414.64/1415.22 o 1620 1414.67 1800.01/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.70 c 1001341 1662 46340 4799805 103 100322 14531 46215 707 1414.67 1800.01/1800.70 c 1001441 1662 7499 1257177 167 21450 15985 7374 701 1428.12 1800.01/1800.70 c 1001691 1662 7749 1280258 165 21935 17584 7624 701 1428.25 1800.01/1800.70 c 1002166 1662 8224 1301712 158 22899 19343 8099 701 1428.32 1800.01/1800.70 c 1002981 1662 9039 1344722 148 24528 21278 8914 702 1428.50 1800.01/1800.70 c 1004301 1662 10359 1409251 136 27171 23406 10234 702 1428.77 1800.01/1800.70 c 1006382 1662 12440 1541866 123 31333 25747 12315 704 1429.24 1800.01/1800.70 c 1009607 1662 15665 1721752 109 37803 28322 15540 706 1429.96 1800.01/1800.70 c 1014544 1662 20602 2038699 98 47620 31155 20477 709 1430.89 1800.01/1800.70 c 1022050 1662 28108 2635794 93 62653 34271 27983 712 1433.70 1800.01/1800.70 c 1033412 1661 15552 1060274 68 37547 37699 15427 718 1438.56 1800.01/1800.70 c 1050556 1661 32696 2168993 66 71857 41469 32571 727 1444.90 1800.01/1800.71 c 1076375 1661 27558 1384937 50 61586 45616 27433 733 1467.07 1800.01/1800.71 c 1115208 1661 31499 2579730 81 69478 50178 31374 743 1499.74 1800.01/1800.71 c 1173560 1661 50170 2591807 51 106767 55196 50045 761 1542.05 1800.01/1800.71 c 1261192 1661 50047 2134556 42 106522 60716 49922 744 1693.90 1800.01/1800.71 c Caught signal: 15 1800.01/1800.71 v -x1404 -x1411 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x2092 1800.01/1800.71 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2166 x2167 -x2168 -x2169 1800.01/1800.71 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1800.01/1800.71 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1800.01/1800.71 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1800.01/1800.71 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1800.01/1800.71 v -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1800.01/1800.71 v -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2106 x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1800.01/1800.71 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1800.01/1800.71 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.01/1800.71 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.01/1800.71 v x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.01/1800.71 v -x2198 -x2199 x1900 x1901 x1902 x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1974 x1975 1800.01/1800.71 v -x1976 x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 1800.01/1800.71 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.01/1800.71 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 1800.01/1800.71 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.01/1800.71 v -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.01/1800.71 v -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 x1921 -x1922 1800.01/1800.71 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 1800.01/1800.71 v -x1941 -x1942 -x1943 x1944 x1945 x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.01/1800.71 v -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 x1970 x1971 x1972 -x1973 -x1988 -x1989 -x1990 1800.01/1800.71 v -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1800.01/1800.71 v x1 x2 x3 x4 x5 x6 -x7 x8 -x9 x10 x11 x12 x13 x14 x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x331 1800.01/1800.71 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 1800.01/1800.71 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 1800.01/1800.71 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 1800.01/1800.71 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 1800.01/1800.71 v -x536 -x537 -x538 -x539 -x540 x541 -x542 x543 -x544 x545 -x546 x547 -x548 x549 x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 1800.01/1800.71 v -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 x573 x574 x575 x576 x577 x578 x579 1800.01/1800.71 v x580 -x581 -x582 x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 1800.01/1800.71 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 1800.01/1800.71 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 1800.01/1800.71 v -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1800.01/1800.71 v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 1800.01/1800.71 v -x686 -x687 -x688 -x689 -x690 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 1800.01/1800.71 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 x76 1800.01/1800.71 v x77 x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 1800.01/1800.71 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 1800.01/1800.71 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1800.01/1800.71 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1800.01/1800.71 v -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 1800.01/1800.71 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 1800.01/1800.71 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 1800.01/1800.71 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 x247 x248 x249 1800.01/1800.71 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1800.01/1800.71 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 1800.01/1800.71 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.01/1800.71 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x361 -x362 -x363 1800.01/1800.71 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.01/1800.71 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.01/1800.71 v x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.01/1800.71 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 1800.01/1800.71 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.01/1800.71 v -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.01/1800.71 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.01/1800.71 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1800.01/1800.71 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 -x1173 -x1174 1800.01/1800.71 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 1800.01/1800.71 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1800.01/1800.71 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.01/1800.71 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.01/1800.71 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1800.01/1800.71 v -x1260 x1261 x1262 x1263 -x1264 x1265 x1266 x1267 x1268 x1269 x1270 -x1271 -x1272 -x1273 x1274 x1275 x1276 x1277 x1278 -x1279 1800.01/1800.71 v x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.01/1800.71 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.01/1800.71 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 -x1323 x1324 x1325 x1326 x1327 -x1328 -x1329 x1330 x1331 x1332 x1333 1800.01/1800.71 v -x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.01/1800.71 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.01/1800.71 v -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x721 x722 x723 -x724 x725 x726 x727 x728 1800.01/1800.71 v x729 x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.01/1800.71 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 1800.01/1800.71 v -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1800.01/1800.71 v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 1800.01/1800.71 v x813 -x814 x815 x816 x817 -x818 x819 x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 1800.01/1800.71 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1800.01/1800.71 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.01/1800.71 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.01/1800.71 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1800.01/1800.71 v -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1800.01/1800.71 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1800.01/1800.71 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 1800.01/1800.71 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1800.01/1800.71 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1800.01/1800.71 v -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.01/1800.71 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.01/1800.71 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.01/1800.71 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.01/1800.71 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1800.01/1800.71 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.01/1800.71 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.01/1800.71 v -x1168 -x1169 -x1170 x1381 x1392 x1382 -x1383 -x1384 -x1385 -x1386 x1399 x1387 x1388 x1389 -x1390 x1400 x1391 x1393 x1397 1800.01/1800.71 v x1401 -x1394 -x1395 -x1396 x1398 -x1402 -x1403 -x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 -x1428 x1429 x1430 x1431 1800.01/1800.71 v -x1432 x1433 x1434 x1435 -x1436 x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.01/1800.71 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.01/1800.71 v -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.01/1800.71 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.01/1800.71 v x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.01/1800.71 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.01/1800.71 v -x1535 -x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 x1551 x1552 1800.01/1800.71 v x1553 x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1800.01/1800.71 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 x1587 -x1588 1800.01/1800.71 v -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 1800.01/1800.71 v x1608 x1609 x1610 x1611 x1612 x1613 x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 -x1622 x1623 -x1624 -x1625 -x1626 1800.01/1800.71 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1800.01/1800.71 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.01/1800.71 v x1661 -x1662 -x1663 x1664 -x1665 -x1666 x1667 x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 x1675 -x1676 x1677 x1678 x1679 1800.01/1800.71 v -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1800.01/1800.71 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1800.01/1800.71 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.01/1800.71 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.01/1800.71 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1800.01/1800.71 v -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1800.01/1800.71 v -x1783 -x1784 x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 1800.01/1800.71 v x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 x1817 -x1818 1800.01/1800.71 v -x1819 x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.01/1800.71 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.01/1800.71 v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1800.01/1800.71 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1800.01/1800.71 v -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 1800.01/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.71 c 79 1322786 121596 1928298 21531 1108522 21406 734 1800.03 1800.01/1800.71 c Objective: 1620 1800.01/1800.71 s SATISFIABLE 1800.01/1800.71 c Total time: 1800.03 s
OK 1620
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-351395-1176598061 -o ROOT/results/node58/solver-351395-1176598061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351395-1176598061/instance-351395-1176598061.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5505 /proc/meminfo: memFree=1640944/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=11816 CPUtime=0 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 107715846 12099584 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 2954 335 281 324 0 2003 0 [startup+0.028696 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5505 /proc/meminfo: memFree=1640944/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=4480 CPUtime=0.02 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 545 0 0 0 2 0 0 0 18 0 1 0 107715846 4587520 493 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 1120 493 305 324 0 189 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4480 [startup+0.101708 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5505 /proc/meminfo: memFree=1640944/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=4960 CPUtime=0.08 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 660 0 0 0 8 0 0 0 18 0 1 0 107715846 5079040 608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 1240 608 311 324 0 309 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4960 [startup+0.301741 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5505 /proc/meminfo: memFree=1640944/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=6520 CPUtime=0.29 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 1045 0 0 0 28 1 0 0 19 0 1 0 107715846 6676480 993 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 1630 993 312 324 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701808 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5505 /proc/meminfo: memFree=1640944/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=8468 CPUtime=0.69 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 1553 0 0 0 67 2 0 0 22 0 1 0 107715846 8671232 1501 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 2117 1501 312 324 0 1186 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8468 [startup+1.50194 s] /proc/loadavg: 0.91 0.95 0.98 2/65 5506 /proc/meminfo: memFree=1634344/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=13652 CPUtime=1.49 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 2842 0 0 0 146 3 0 0 25 0 1 0 107715846 13979648 2790 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 3413 2790 312 324 0 2482 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13652 [startup+3.10121 s] /proc/loadavg: 0.92 0.95 0.98 2/65 5506 /proc/meminfo: memFree=1627432/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=19640 CPUtime=3.09 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 4354 0 0 0 303 6 0 0 25 0 1 0 107715846 20111360 4302 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 4910 4302 313 324 0 3979 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19640 [startup+6.30175 s] /proc/loadavg: 0.92 0.95 0.98 2/65 5506 /proc/meminfo: memFree=1613352/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=33184 CPUtime=6.29 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 7742 0 0 0 619 10 0 0 25 0 1 0 107715846 33980416 7690 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546399 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 8296 7690 313 324 0 7365 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33184 [startup+12.7018 s] /proc/loadavg: 0.93 0.96 0.98 2/65 5506 /proc/meminfo: memFree=1610672/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=36672 CPUtime=12.69 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 8590 0 0 0 1255 14 0 0 25 0 1 0 107715846 37552128 8538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 9168 8538 313 324 0 8237 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36672 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.98 2/65 5506 /proc/meminfo: memFree=1601328/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=42880 CPUtime=25.48 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 10177 0 0 0 2530 18 0 0 25 0 1 0 107715846 43909120 10087 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 10720 10087 313 324 0 9789 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42880 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.98 2/65 5506 /proc/meminfo: memFree=1599664/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=44588 CPUtime=51.07 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 10672 0 0 0 5085 22 0 0 25 0 1 0 107715846 45658112 10536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 11147 10536 313 324 0 10216 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44588 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/65 5506 /proc/meminfo: memFree=1596208/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=48096 CPUtime=102.26 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 11543 0 0 0 10195 31 0 0 25 0 1 0 107715846 49250304 11407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 12024 11407 313 324 0 11093 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48096 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1588080/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=55988 CPUtime=162.23 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 13566 0 0 0 16180 43 0 0 25 0 1 0 107715846 57331712 13380 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 13997 13380 313 324 0 13066 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 55988 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1583920/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60164 CPUtime=222.22 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14657 0 0 0 22172 50 0 0 25 0 1 0 107715846 61607936 14416 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15041 14416 313 324 0 14110 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 60164 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1583920/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60164 CPUtime=282.19 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14657 0 0 0 28156 63 0 0 25 0 1 0 107715846 61607936 14416 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15041 14416 313 324 0 14110 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 60164 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1583920/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60088 CPUtime=342.18 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14657 0 0 0 34146 72 0 0 25 0 1 0 107715846 61530112 14416 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15022 14416 313 324 0 14091 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 60088 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1583920/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60088 CPUtime=402.16 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14657 0 0 0 40139 77 0 0 25 0 1 0 107715846 61530112 14416 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15022 14416 313 324 0 14091 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 60088 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1583984/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60088 CPUtime=462.13 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14657 0 0 0 46132 81 0 0 25 0 1 0 107715846 61530112 14416 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15022 14416 313 324 0 14091 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 60088 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1583984/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60084 CPUtime=522.12 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14657 0 0 0 52125 87 0 0 25 0 1 0 107715846 61526016 14415 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15021 14415 313 324 0 14090 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 60084 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1584048/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60084 CPUtime=582.1 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14657 0 0 0 58117 93 0 0 25 0 1 0 107715846 61526016 14415 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15021 14415 313 324 0 14090 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 60084 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5506 /proc/meminfo: memFree=1583984/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=60104 CPUtime=642.09 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 14662 0 0 0 64110 99 0 0 25 0 1 0 107715846 61546496 14420 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 15026 14420 313 324 0 14095 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 60104 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.09 1.02 0.99 2/65 5704 /proc/meminfo: memFree=1561008/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=82860 CPUtime=881.91 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 20410 0 0 0 88071 120 0 0 25 0 1 0 107715846 84848640 20098 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 20715 20098 313 324 0 19784 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 82860 [startup+942.302 s] /proc/loadavg: 1.04 1.01 0.99 2/65 5704 /proc/meminfo: memFree=1561008/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=82860 CPUtime=941.88 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 20471 0 0 0 94063 125 0 0 25 0 1 0 107715846 84848640 20098 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 20715 20098 313 324 0 19784 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 82860 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 0.99 2/65 5704 /proc/meminfo: memFree=1542192/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=102052 CPUtime=1001.87 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 25256 0 0 0 100052 135 0 0 25 0 1 0 107715846 104501248 24883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 25513 24883 313 324 0 24582 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 102052 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 5704 /proc/meminfo: memFree=1530352/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113508 CPUtime=1061.84 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 106044 140 0 0 25 0 1 0 107715846 116232192 27753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28377 27753 313 324 0 27446 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 113508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 5704 /proc/meminfo: memFree=1530352/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113508 CPUtime=1121.82 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 112032 150 0 0 25 0 1 0 107715846 116232192 27753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28377 27753 313 324 0 27446 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 113508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 5704 /proc/meminfo: memFree=1530480/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113508 CPUtime=1181.81 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 118018 163 0 0 25 0 1 0 107715846 116232192 27753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28377 27753 313 324 0 27446 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 113508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 5704 /proc/meminfo: memFree=1530480/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113488 CPUtime=1241.79 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 124012 167 0 0 25 0 1 0 107715846 116211712 27753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28372 27753 313 324 0 27441 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 113488 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 5704 /proc/meminfo: memFree=1530480/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113488 CPUtime=1301.77 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 130002 175 0 0 25 0 1 0 107715846 116211712 27753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28372 27753 313 324 0 27441 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 113488 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 5704 /proc/meminfo: memFree=1530544/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113484 CPUtime=1361.75 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 135992 183 0 0 25 0 1 0 107715846 116207616 27753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28371 27753 313 324 0 27440 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 113484 [startup+1422.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 5704 /proc/meminfo: memFree=1530544/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113468 CPUtime=1421.74 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 141984 190 0 0 25 0 1 0 107715846 116191232 27753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28367 27753 313 324 0 27436 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 113468 [startup+1482.3 s] /proc/loadavg: 1.05 1.02 1.00 2/65 5704 /proc/meminfo: memFree=1530544/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113244 CPUtime=1481.71 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 147968 203 0 0 25 0 1 0 107715846 115961856 27705 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28311 27705 313 324 0 27380 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 113244 [startup+1542.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 5704 /proc/meminfo: memFree=1530608/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113224 CPUtime=1541.69 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 153951 218 0 0 25 0 1 0 107715846 115941376 27700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28306 27700 313 324 0 27375 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 113224 [startup+1602.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 5704 /proc/meminfo: memFree=1530672/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113212 CPUtime=1601.67 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 159941 226 0 0 25 0 1 0 107715846 115929088 27697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28303 27697 313 324 0 27372 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 113212 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5704 /proc/meminfo: memFree=1530672/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113168 CPUtime=1661.66 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 165936 230 0 0 25 0 1 0 107715846 115884032 27686 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28292 27686 313 324 0 27361 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 113168 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5704 /proc/meminfo: memFree=1530800/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113168 CPUtime=1721.63 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 171929 234 0 0 25 0 1 0 107715846 115884032 27686 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28292 27686 313 324 0 27361 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 113168 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5704 /proc/meminfo: memFree=1530800/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113136 CPUtime=1781.61 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 177921 240 0 0 25 0 1 0 107715846 115851264 27678 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28284 27678 313 324 0 27353 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 113136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5704 /proc/meminfo: memFree=1530800/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113136 CPUtime=1800.01 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 179760 241 0 0 25 0 1 0 107715846 115851264 27678 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28284 27678 313 324 0 27353 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 113136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5704 /proc/meminfo: memFree=1530800/2055920 swapFree=4184728/4192956 [pid=5505] ppid=5503 vsize=113136 CPUtime=1800.01 /proc/5505/stat : 5505 (bsolo3.0.16) R 5503 5505 5135 0 -1 4194304 28194 0 0 0 179760 241 0 0 25 0 1 0 107715846 115851264 27678 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5505/statm: 28284 27678 313 324 0 27353 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 113136 Child status: 15 Real time (s): 1800.73 CPU time (s): 1800.05 CPU user time (s): 1797.61 CPU system time (s): 2.43863 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 113780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.61 system time used= 2.43863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28195 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= 12 involuntary context switches= 3982 runsolver used 1.35879 second user time and 3.62845 second system time The end
Begin job on node58 on Sun Apr 15 00:47:42 UTC 2007 IDJOB= 351395 IDBENCH= 1742 IDSOLVER= 163 FILE ID= node58/351395-1176598061 PBS_JOBID= 4556994 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3b.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351395-1176598061/instance-351395-1176598061.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-351395-1176598061 -o ROOT/results/node58/solver-351395-1176598061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351395-1176598061/instance-351395-1176598061.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b7f7c91542d49e4b7d5c93771b085583 RANDOM SEED= 686395328 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1641352 kB Buffers: 35224 kB Cached: 275924 kB SwapCached: 2536 kB Active: 70324 kB Inactive: 250736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1641352 kB SwapTotal: 4192956 kB SwapFree: 4184728 kB Dirty: 4540 kB Writeback: 0 kB Mapped: 16540 kB Slab: 79596 kB Committed_AS: 169540 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node58 on Sun Apr 15 01:17:44 UTC 2007