Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 1620 | 1800.07 | 1802.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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432739-1177948555/instance-432739-1177948555.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.014 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.03/0.05 c Pre-processing Time: 0.049 s 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 0 1663 125 6112 48 5291 12045 0 0 0.05 0.03/0.05 c Switching off LPR mode. 1.49/1.55 c 100 1663 225 8722 38 5551 13250 100 1754 0.06 1.49/1.55 c 252 1663 377 16204 42 5853 14576 252 3876 0.07 1.49/1.55 c 478 1663 603 26562 44 6306 16034 478 6050 0.08 1.49/1.55 c 816 1663 941 41459 44 6982 17638 816 7555 0.11 1.49/1.55 c 1326 1663 1451 60220 41 8033 19402 1326 8392 0.16 1.49/1.55 c 2089 1663 2214 90562 40 9564 21343 2089 9995 0.21 1.49/1.55 c 3237 1663 3362 131279 39 11847 23478 3237 11318 0.29 1.49/1.55 c 4959 1663 5084 278866 54 15449 25826 4959 7135 0.69 1.49/1.55 c 7544 1663 7669 385205 50 20607 28409 7544 7769 0.97 1.49/1.55 c 11423 1663 11548 621907 53 28369 31250 11423 7823 1.46 1.49/1.55 o 9562 1.551 1.59/1.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.66 c 12216 1663 12342 676034 54 31038 14533 12217 7871 1.55 1.59/1.66 c 12317 1663 12443 682676 54 31205 15987 12318 7880 1.56 1.59/1.66 c 12567 1663 12693 699767 55 31701 17586 12568 7923 1.59 1.59/1.66 c 13046 1663 13172 732263 55 32645 19345 13047 7988 1.63 1.59/1.66 o 8140 1.655 229.62/229.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 229.62/229.74 c 13251 1663 13378 749591 56 34212 14533 13253 8001 1.66 229.62/229.74 c 13351 1663 13478 755923 56 34310 15987 13353 7985 1.67 229.62/229.74 c 13602 1663 13729 770735 56 34655 17586 13604 7935 1.71 229.62/229.74 c 14077 1663 14204 789051 55 35487 19345 14079 7912 1.78 229.62/229.74 c 14890 1663 15017 821527 54 37078 21280 14892 7727 1.93 229.62/229.74 c 16210 1663 16337 868034 53 39709 23409 16212 7578 2.14 229.62/229.74 c 18293 1663 18420 971330 52 43872 25750 18295 7057 2.59 229.62/229.74 c 21516 1663 21643 1095851 50 50312 28326 21518 5976 3.60 229.62/229.74 c 26452 1663 26579 1400472 52 59967 31159 26454 6251 4.23 229.62/229.74 c 33959 1663 12748 1013029 79 31506 34275 12623 4862 6.98 229.62/229.74 c 45321 1663 24110 1584640 65 54232 37703 23985 4201 10.79 229.62/229.74 c 62465 1663 13984 1069242 76 33979 41474 13859 3930 15.89 229.62/229.74 c 88284 1663 39803 2423136 60 85502 45622 39678 2866 30.80 229.62/229.75 c 127116 1663 43680 1790217 40 93240 50185 43555 1968 64.58 229.62/229.75 c 185468 1663 24182 1569492 64 54617 55204 24057 1353 137.02 229.62/229.75 o 4038 229.676 233.13/233.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 233.13/233.27 c 248009 1663 43170 3040791 70 93776 14533 43045 1079 229.68 233.13/233.27 o 1622 233.199 1100.15/1100.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1100.15/1100.66 c 248089 1663 7478 533284 71 22619 14533 7353 1063 233.20 1100.15/1100.66 c 248190 1663 7579 537249 70 22833 15987 7454 1063 233.28 1100.15/1100.66 c 248440 1663 7829 547918 69 23342 17586 7704 1064 233.38 1100.15/1100.66 c 248915 1663 8304 567080 68 24288 19345 8179 1066 233.46 1100.15/1100.66 c 249728 1663 9117 594891 65 25899 21280 8992 1068 233.63 1100.15/1100.66 c 251048 1663 10437 658061 63 28548 23409 10312 1073 233.95 1100.15/1100.66 c 253129 1663 12518 720822 57 32703 25750 12393 1079 234.50 1100.15/1100.66 c 256352 1663 15741 926027 58 39188 28326 15616 1088 235.54 1100.15/1100.66 c 261288 1663 20677 1346829 65 49099 31159 20552 1102 237.05 1100.15/1100.66 c 268794 1663 28183 1806459 64 64058 34275 28058 1122 239.47 1100.15/1100.66 c 280157 1663 15297 760150 49 37039 37703 15172 1130 247.84 1100.15/1100.66 c 297301 1663 32441 1702979 52 71367 41474 32316 1166 254.81 1100.15/1100.66 c 323120 1663 27486 1736171 63 61453 45622 27361 1145 282.11 1100.15/1100.66 c 361954 1663 31993 1605813 50 70416 50185 31868 1132 319.47 1100.15/1100.66 c 420308 1663 50589 2989479 59 107579 55204 50464 1041 403.41 1100.15/1100.66 c 507940 1663 50448 2772638 54 107295 60725 50323 833 609.12 1100.15/1100.66 c 639494 1663 31820 2217430 69 70082 66798 31695 686 931.35 1100.15/1100.66 o 1621 1100.21 1410.35/1410.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1410.35/1410.92 c 697307 1663 32716 4575007 139 73106 14533 32591 633 1100.22 1410.35/1410.92 c 697407 1663 7498 1046631 139 21422 15987 7373 632 1102.24 1410.35/1410.92 c 697658 1663 7749 1057609 136 21942 17586 7624 632 1102.28 1410.35/1410.92 c 698133 1663 8224 1074847 130 22892 19345 8099 633 1102.34 1410.35/1410.92 c 698946 1663 9037 1103894 122 24514 21280 8912 633 1102.54 1410.35/1410.92 c 700267 1663 10358 1164798 112 27170 23409 10233 634 1102.79 1410.35/1410.92 c 702349 1663 12440 1317176 105 31299 25750 12315 636 1103.37 1410.35/1410.92 c 705572 1663 15663 1828477 116 37778 28326 15538 638 1104.45 1410.35/1410.92 c 710508 1663 20599 2188520 106 47592 31159 20474 642 1106.09 1410.35/1410.92 c 718015 1663 28106 2614664 93 62636 34275 27981 647 1108.25 1410.35/1410.92 c 729376 1663 15469 1119653 72 37368 37703 15344 655 1113.22 1410.35/1410.92 c 746522 1663 32615 2499503 76 71642 41474 32490 659 1132.06 1410.35/1410.92 c 772341 1663 27391 1506361 54 61197 45622 27266 675 1142.64 1410.35/1410.92 c 811174 1663 31212 1572324 50 68831 50185 31087 691 1173.89 1410.35/1410.92 c 869526 1663 50897 4147370 81 108175 55204 50772 685 1268.79 1410.35/1410.92 c 957158 1662 52579 2697512 51 111585 60725 52454 706 1354.54 1410.35/1410.92 o 1620 1410.38 1800.04/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.70 c 1001341 1662 46340 4799805 103 100322 14531 46215 709 1410.38 1800.04/1800.70 c 1001441 1662 7499 1257177 167 21450 15985 7374 703 1423.82 1800.04/1800.70 c 1001691 1662 7749 1280258 165 21935 17584 7624 703 1423.95 1800.04/1800.70 c 1002166 1662 8224 1301712 158 22899 19343 8099 703 1424.01 1800.04/1800.70 c 1002981 1662 9039 1344722 148 24528 21278 8914 704 1424.19 1800.04/1800.70 c 1004301 1662 10359 1409251 136 27171 23406 10234 705 1424.45 1800.04/1800.70 c 1006382 1662 12440 1541866 123 31333 25747 12315 706 1424.91 1800.04/1800.70 c 1009607 1662 15665 1721752 109 37803 28322 15540 708 1425.62 1800.04/1800.70 c 1014544 1662 20602 2038699 98 47620 31155 20477 711 1426.53 1800.04/1800.70 c 1022050 1662 28108 2635794 93 62653 34271 27983 715 1429.30 1800.04/1800.70 c 1033412 1661 15552 1060274 68 37547 37699 15427 720 1434.14 1800.04/1800.70 c 1050556 1661 32696 2168993 66 71857 41469 32571 729 1440.49 1800.04/1800.70 c 1076375 1661 27558 1384937 50 61586 45616 27433 735 1462.52 1800.04/1800.70 c 1115208 1661 31499 2579730 81 69478 50178 31374 745 1495.05 1800.04/1800.70 c 1173560 1661 50170 2591807 51 106767 55196 50045 763 1537.12 1800.04/1800.70 c 1261192 1661 50047 2134556 42 106522 60716 49922 746 1688.74 1800.04/1800.70 c Caught signal: 15 1800.04/1800.70 v -x1404 -x1411 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x2092 1800.04/1800.70 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2166 x2167 -x2168 -x2169 1800.04/1800.70 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1800.04/1800.70 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1800.04/1800.70 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1800.04/1800.70 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1800.04/1800.70 v -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1800.04/1800.70 v -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2106 x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1800.04/1800.70 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1800.04/1800.70 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.04/1800.70 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.04/1800.70 v x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.04/1800.70 v -x2198 -x2199 x1900 x1901 x1902 x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1974 x1975 1800.04/1800.70 v -x1976 x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 1800.04/1800.70 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.04/1800.70 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 1800.04/1800.70 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.04/1800.70 v -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.04/1800.70 v -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 x1921 -x1922 1800.04/1800.70 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 1800.04/1800.70 v -x1941 -x1942 -x1943 x1944 x1945 x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.04/1800.70 v -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 x1970 x1971 x1972 -x1973 -x1988 -x1989 -x1990 1800.04/1800.70 v -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1800.04/1800.70 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.04/1800.70 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 1800.04/1800.70 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 1800.04/1800.70 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 1800.04/1800.70 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 1800.04/1800.70 v -x536 -x537 -x538 -x539 -x540 x541 -x542 x543 -x544 x545 -x546 x547 -x548 x549 x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 1800.04/1800.70 v -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 x573 x574 x575 x576 x577 x578 x579 1800.04/1800.70 v x580 -x581 -x582 x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 1800.04/1800.70 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 1800.04/1800.70 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 1800.04/1800.70 v -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1800.04/1800.70 v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 1800.04/1800.70 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.04/1800.70 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.04/1800.70 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.04/1800.70 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 1800.04/1800.70 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1800.04/1800.70 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1800.04/1800.70 v -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 1800.04/1800.70 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 1800.04/1800.70 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 1800.04/1800.70 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 x247 x248 x249 1800.04/1800.70 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1800.04/1800.70 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 1800.04/1800.70 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.04/1800.70 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x361 -x362 -x363 1800.04/1800.70 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.04/1800.70 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.04/1800.70 v x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.04/1800.70 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 1800.04/1800.70 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.04/1800.70 v -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.04/1800.70 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.04/1800.70 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1800.04/1800.70 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 -x1173 -x1174 1800.04/1800.70 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 1800.04/1800.70 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 1800.04/1800.70 v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.04/1800.70 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.04/1800.70 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1800.04/1800.70 v -x1260 x1261 x1262 x1263 -x1264 x1265 x1266 x1267 x1268 x1269 x1270 -x1271 -x1272 -x1273 x1274 x1275 x1276 x1277 x1278 -x1279 1800.04/1800.70 v x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.04/1800.70 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.04/1800.70 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 -x1323 x1324 x1325 x1326 x1327 -x1328 -x1329 x1330 x1331 x1332 x1333 1800.04/1800.70 v -x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.04/1800.70 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.04/1800.70 v -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x721 x722 x723 -x724 x725 x726 x727 x728 1800.04/1800.70 v x729 x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.04/1800.70 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 1800.04/1800.70 v -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1800.04/1800.70 v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 1800.04/1800.70 v x813 -x814 x815 x816 x817 -x818 x819 x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 1800.04/1800.70 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1800.04/1800.70 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.04/1800.70 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.04/1800.70 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1800.04/1800.70 v -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1800.04/1800.70 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1800.04/1800.70 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 1800.04/1800.70 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1800.04/1800.70 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1800.04/1800.70 v -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.04/1800.70 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.04/1800.70 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.04/1800.70 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.04/1800.70 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1800.04/1800.70 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.04/1800.70 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.04/1800.70 v -x1168 -x1169 -x1170 x1381 x1392 x1382 -x1383 -x1384 -x1385 -x1386 x1399 x1387 x1388 x1389 -x1390 x1400 x1391 x1393 x1397 1800.04/1800.70 v x1401 -x1394 -x1395 -x1396 x1398 -x1402 -x1403 -x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 -x1428 x1429 x1430 x1431 1800.04/1800.70 v -x1432 x1433 x1434 x1435 -x1436 x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.04/1800.70 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.04/1800.70 v -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.04/1800.70 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.04/1800.70 v x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.04/1800.70 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.04/1800.70 v -x1535 -x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 x1551 x1552 1800.04/1800.70 v x1553 x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1800.04/1800.70 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 x1587 -x1588 1800.04/1800.70 v -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 1800.04/1800.70 v x1608 x1609 x1610 x1611 x1612 x1613 x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 -x1622 x1623 -x1624 -x1625 -x1626 1800.04/1800.70 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1800.04/1800.70 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.04/1800.70 v x1661 -x1662 -x1663 x1664 -x1665 -x1666 x1667 x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 x1675 -x1676 x1677 x1678 x1679 1800.04/1800.70 v -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1800.04/1800.70 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1800.04/1800.70 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.04/1800.70 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.04/1800.70 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1800.04/1800.70 v -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1800.04/1800.70 v -x1783 -x1784 x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 1800.04/1800.70 v x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 x1817 -x1818 1800.04/1800.70 v -x1819 x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.04/1800.70 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.04/1800.70 v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1800.04/1800.70 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1800.04/1800.70 v -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 79 1326056 121862 1932701 15900 1016051 15775 736 1800.05 1800.04/1800.71 c Objective: 1620 1800.04/1800.71 s SATISFIABLE 1800.04/1800.71 c Total time: 1800.05 s
OK 1620
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-432739-1177948555 -o ROOT/results/node22/solver-432739-1177948555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432739-1177948555/instance-432739-1177948555.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.95 0.96 0.91 3/77 9183 /proc/meminfo: memFree=1860608/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=11816 CPUtime=0 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 242773212 12099584 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 2954 334 279 324 0 2004 0 [startup+0.0450671 s] /proc/loadavg: 0.95 0.96 0.91 3/77 9183 /proc/meminfo: memFree=1860608/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=4568 CPUtime=0.03 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 569 0 0 0 3 0 0 0 18 0 1 0 242773212 4677632 519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 1142 519 305 324 0 212 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4568 [startup+0.101075 s] /proc/loadavg: 0.95 0.96 0.91 3/77 9183 /proc/meminfo: memFree=1860608/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=4960 CPUtime=0.09 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 660 0 0 0 9 0 0 0 18 0 1 0 242773212 5079040 610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 1240 610 310 324 0 310 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4960 [startup+0.301105 s] /proc/loadavg: 0.95 0.96 0.91 3/77 9183 /proc/meminfo: memFree=1860608/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=6520 CPUtime=0.29 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 1051 0 0 0 28 1 0 0 19 0 1 0 242773212 6676480 1001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 1630 1001 310 324 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701165 s] /proc/loadavg: 0.95 0.96 0.91 3/77 9183 /proc/meminfo: memFree=1860608/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=8596 CPUtime=0.69 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 1561 0 0 0 68 1 0 0 23 0 1 0 242773212 8802304 1511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 2149 1511 310 324 0 1219 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8596 [startup+1.50129 s] /proc/loadavg: 0.95 0.96 0.91 2/78 9184 /proc/meminfo: memFree=1854008/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=14040 CPUtime=1.49 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 2920 0 0 0 147 2 0 0 25 0 1 0 242773212 14376960 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 3510 2870 310 324 0 2580 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14040 [startup+3.10153 s] /proc/loadavg: 0.95 0.96 0.91 2/78 9184 /proc/meminfo: memFree=1846840/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=19896 CPUtime=3.08 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 4388 0 0 0 306 2 0 0 25 0 1 0 242773212 20373504 4338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 4974 4339 311 324 0 4044 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19896 [startup+6.30202 s] /proc/loadavg: 0.95 0.96 0.91 2/78 9184 /proc/meminfo: memFree=1832888/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=33184 CPUtime=6.29 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 7738 0 0 0 625 4 0 0 25 0 1 0 242773212 33980416 7688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 8296 7688 311 324 0 7366 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33184 [startup+12.702 s] /proc/loadavg: 0.96 0.96 0.91 2/78 9184 /proc/meminfo: memFree=1829560/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=37056 CPUtime=12.69 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 8685 0 0 0 1264 5 0 0 25 0 1 0 242773212 37945344 8635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 9264 8635 311 324 0 8334 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37056 [startup+25.5019 s] /proc/loadavg: 0.97 0.96 0.91 2/78 9184 /proc/meminfo: memFree=1820984/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=42880 CPUtime=25.48 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 10173 0 0 0 2542 6 0 0 25 0 1 0 242773212 43909120 10085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 10720 10085 311 324 0 9790 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42880 [startup+51.1018 s] /proc/loadavg: 0.98 0.96 0.91 2/78 9184 /proc/meminfo: memFree=1819128/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=44588 CPUtime=51.07 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 10668 0 0 0 5101 6 0 0 25 0 1 0 242773212 45658112 10534 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 11147 10534 311 324 0 10217 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44588 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9184 /proc/meminfo: memFree=1815672/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=48228 CPUtime=102.26 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 11572 0 0 0 10219 7 0 0 25 0 1 0 242773212 49385472 11438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 12057 11438 311 324 0 11127 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48228 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9184 /proc/meminfo: memFree=1807608/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=55992 CPUtime=162.24 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 13563 0 0 0 16213 11 0 0 25 0 1 0 242773212 57335808 13379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 13998 13379 311 324 0 13068 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 55992 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9184 /proc/meminfo: memFree=1803384/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60164 CPUtime=222.22 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14653 0 0 0 22210 12 0 0 25 0 1 0 242773212 61607936 14414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15041 14414 311 324 0 14111 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.91 2/78 9184 /proc/meminfo: memFree=1803320/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60164 CPUtime=282.2 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14653 0 0 0 28207 13 0 0 25 0 1 0 242773212 61607936 14414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15041 14414 311 324 0 14111 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 60164 [startup+342.301 s] /proc/loadavg: 1.04 0.99 0.91 2/84 9350 /proc/meminfo: memFree=1801584/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60088 CPUtime=342.09 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14653 0 0 0 34195 14 0 0 25 0 1 0 242773212 61530112 14414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15022 14414 311 324 0 14092 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 60088 [startup+402.301 s] /proc/loadavg: 1.01 0.99 0.91 2/78 9382 /proc/meminfo: memFree=1802680/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60088 CPUtime=402.06 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14653 0 0 0 40191 15 0 0 25 0 1 0 242773212 61530112 14414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15022 14414 311 324 0 14092 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 60088 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 9382 /proc/meminfo: memFree=1802808/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60088 CPUtime=462.04 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14653 0 0 0 46188 16 0 0 25 0 1 0 242773212 61530112 14414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15022 14414 311 324 0 14092 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 60088 [startup+522.302 s] /proc/loadavg: 1.06 1.00 0.92 2/78 9382 /proc/meminfo: memFree=1802808/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60084 CPUtime=522.02 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14653 0 0 0 52186 16 0 0 25 0 1 0 242773212 61526016 14413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15021 14413 311 324 0 14091 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 60084 [startup+582.302 s] /proc/loadavg: 1.08 1.01 0.93 2/78 9382 /proc/meminfo: memFree=1802744/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60084 CPUtime=582 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14653 0 0 0 58183 17 0 0 25 0 1 0 242773212 61526016 14413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15021 14413 311 324 0 14091 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 60084 [startup+642.302 s] /proc/loadavg: 1.03 1.01 0.93 2/78 9382 /proc/meminfo: memFree=1802616/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=60104 CPUtime=641.98 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 14658 0 0 0 64181 17 0 0 25 0 1 0 242773212 61546496 14418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5119650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 15026 14418 311 324 0 14096 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 60104 ################ # More data... # ################ /proc/meminfo: memFree=1748472/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113508 CPUtime=1061.85 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 106152 33 0 0 25 0 1 0 242773212 116232192 27751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28377 27751 311 324 0 27447 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 113508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748408/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113508 CPUtime=1121.84 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 112150 34 0 0 25 0 1 0 242773212 116232192 27751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28377 27751 311 324 0 27447 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 113508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748344/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113508 CPUtime=1181.81 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 118147 34 0 0 25 0 1 0 242773212 116232192 27751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28377 27751 311 324 0 27447 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.93 2/78 9382 /proc/meminfo: memFree=1748280/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113488 CPUtime=1241.8 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 124145 35 0 0 25 0 1 0 242773212 116211712 27751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28372 27751 311 324 0 27442 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 113488 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748152/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113488 CPUtime=1301.78 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 130143 35 0 0 25 0 1 0 242773212 116211712 27751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28372 27751 311 324 0 27442 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 113488 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748088/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113468 CPUtime=1361.77 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 136141 36 0 0 25 0 1 0 242773212 116191232 27751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28367 27751 311 324 0 27437 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 113468 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748024/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113468 CPUtime=1421.75 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 142139 36 0 0 25 0 1 0 242773212 116191232 27751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28367 27751 311 324 0 27437 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 113468 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748088/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113244 CPUtime=1481.73 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 148136 37 0 0 25 0 1 0 242773212 115961856 27703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28311 27703 311 324 0 27381 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 113244 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748024/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113224 CPUtime=1541.7 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 154133 37 0 0 25 0 1 0 242773212 115941376 27698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28306 27698 311 324 0 27376 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 113224 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748024/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113212 CPUtime=1601.69 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 160131 38 0 0 25 0 1 0 242773212 115929088 27695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28303 27695 311 324 0 27373 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 113212 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748024/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113168 CPUtime=1661.67 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 166129 38 0 0 25 0 1 0 242773212 115884032 27684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28292 27684 311 324 0 27362 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 113168 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1748024/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113136 CPUtime=1721.66 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 172127 39 0 0 25 0 1 0 242773212 115851264 27676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28284 27676 311 324 0 27354 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 113136 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1747832/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113136 CPUtime=1781.64 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 178125 39 0 0 25 0 1 0 242773212 115851264 27676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28284 27676 311 324 0 27354 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 113136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1747832/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113136 CPUtime=1800.04 /proc/9183/stat : 9183 (bsolo3.0.17) R 9181 9183 8579 0 -1 4194304 28190 0 0 0 179965 39 0 0 25 0 1 0 242773212 115851264 27676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9183/statm: 28284 27676 311 324 0 27354 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 113136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.93 2/78 9382 /proc/meminfo: memFree=1747832/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113136 CPUtime=1800.04 /proc/9183/stat : 9183 (bsolo3.0.17) S 9181 9183 8579 0 -1 4194304 28190 0 0 0 179965 39 0 0 25 0 1 0 242773212 115851264 27676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/9183/statm: 28284 27676 311 324 0 27354 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 113136 [startup+1802.2 s] /proc/loadavg: 0.92 0.98 0.92 1/79 9383 /proc/meminfo: memFree=1747760/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113136 CPUtime=1800.04 /proc/9183/stat : 9183 (bsolo3.0.17) S 9181 9183 8579 0 -1 4194304 28190 0 0 0 179965 39 0 0 25 0 1 0 242773212 115851264 27676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/9183/statm: 28284 27676 311 324 0 27354 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 113136 [startup+1802.6 s] /proc/loadavg: 0.92 0.98 0.92 1/79 9383 /proc/meminfo: memFree=1747760/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113136 CPUtime=1800.04 /proc/9183/stat : 9183 (bsolo3.0.17) S 9181 9183 8579 0 -1 4194304 28190 0 0 0 179965 39 0 0 25 0 1 0 242773212 115851264 27676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/9183/statm: 28284 27676 311 324 0 27354 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 113136 [startup+1802.7 s] /proc/loadavg: 0.92 0.98 0.92 1/79 9383 /proc/meminfo: memFree=1747760/2055920 swapFree=4163632/4192956 [pid=9183] ppid=9181 vsize=113136 CPUtime=1800.04 /proc/9183/stat : 9183 (bsolo3.0.17) S 9181 9183 8579 0 -1 4194304 28190 0 0 0 179965 39 0 0 25 0 1 0 242773212 115851264 27676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/9183/statm: 28284 27676 311 324 0 27354 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 113136 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.73 CPU time (s): 1800.07 CPU user time (s): 1799.65 CPU system time (s): 0.414936 CPU usage (%): 99.8522 Max. virtual memory (cumulated for all children) (KiB): 113780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.414936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28190 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= 14 involuntary context switches= 37879 runsolver used 1.48977 second user time and 3.74643 second system time The end
Begin job on node22 on Mon Apr 30 15:55:55 UTC 2007 IDJOB= 432739 IDBENCH= 1742 IDSOLVER= 199 FILE ID= node22/432739-1177948555 PBS_JOBID= 4727677 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/432739-1177948555/instance-432739-1177948555.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-432739-1177948555 -o ROOT/results/node22/solver-432739-1177948555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432739-1177948555/instance-432739-1177948555.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b7f7c91542d49e4b7d5c93771b085583 RANDOM SEED= 10930798 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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: 1861016 kB Buffers: 3404 kB Cached: 94440 kB SwapCached: 7352 kB Active: 48316 kB Inactive: 77260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861016 kB SwapTotal: 4192956 kB SwapFree: 4163632 kB Dirty: 6680 kB Writeback: 0 kB Mapped: 34756 kB Slab: 54876 kB Committed_AS: 2061204 kB PageTables: 1688 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= 66558 MiB End job on node22 on Mon Apr 30 16:25:58 UTC 2007