Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 37056 | 1800.15 | 1800.87 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb |
MD5SUM | 83920c844b074c56822148eb18b413de |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37042 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4360 |
Total number of constraints | 8610 |
Number of constraints which are clauses | 8610 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 163 |
Number of terms in the objective function | 2173 |
Biggest coefficient in the objective function | 2124 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3653850 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2124 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3653850 |
Number of bits of the biggest sum of numbers | 22 |
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 Parsing PB file... 0.19/0.26 c Converting 8607 PB-constraints to clauses... 0.19/0.26 c -- Unit propagations: (none) 0.19/0.26 c -- Detecting intervals from adjacent constraints: ############## 0.19/0.26 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.19/0.28 c ---[8435]---> BDD-cost: 1 0.19/0.28 c ---[8433]---> BDD-cost: 1 0.19/0.28 c ---[7549]---> BDD-cost: 1 0.19/0.28 c ---[7547]---> BDD-cost: 1 0.19/0.28 c ---[7151]---> BDD-cost: 1 0.19/0.28 c ---[7149]---> BDD-cost: 1 0.19/0.28 c ---[6840]---> BDD-cost: 1 0.19/0.28 c ---[6838]---> BDD-cost: 1 0.19/0.28 c ---[6697]---> BDD-cost: 1 0.19/0.28 c ---[6695]---> BDD-cost: 1 0.19/0.28 c ---[6630]---> BDD-cost: 1 0.19/0.28 c ---[6628]---> BDD-cost: 1 0.19/0.28 c ---[6602]---> BDD-cost: 1 0.19/0.28 c ---[6584]---> BDD-cost: 1 0.19/0.28 c ==================================[MINISAT+]================================== 0.19/0.28 c | Conflicts | Original | Learnt | Progress | 0.19/0.28 c | | Clauses Literals | Max Clauses Literals LPC | | 0.19/0.28 c ============================================================================== 0.19/0.28 c | 0 | 8607 21789 | 2869 0 0 nan | 0.000 % | 0.19/0.29 c ============================================================================== 0.19/0.29 c [1mFound solution: 37056[0m 0.19/0.29 o 37056 0.29/0.31 c ---[ 0]---> Adder-cost: 20946 maxlim: 3616794 bits: 22/22 37.47/37.54 c ==================================[MINISAT+]================================== 37.47/37.54 c | Conflicts | Original | Learnt | Progress | 37.47/37.54 c | | Clauses Literals | Max Clauses Literals LPC | | 37.47/37.54 c ============================================================================== 37.47/37.54 c | 0 | 155134 545136 | 51711 0 0 nan | 0.000 % | 37.47/37.55 c | 100 | 155102 545011 | 56882 99 299 3.0 | 0.142 % | 37.58/37.67 c | 250 | 154468 542803 | 62570 168 521 3.1 | 0.576 % | 37.68/37.72 c | 475 | 154393 542552 | 68827 382 1348 3.5 | 0.632 % | 37.78/37.84 c | 812 | 154368 542471 | 75710 716 2649 3.7 | 0.651 % | 38.08/38.16 c | 1318 | 154352 542419 | 83281 1219 4762 3.9 | 0.663 % | 38.88/38.91 c | 2077 | 154307 542266 | 91609 1973 8144 4.1 | 0.699 % | 40.37/40.48 c | 3217 | 154298 542237 | 100770 3111 13321 4.3 | 0.707 % | 42.07/42.17 c | 4925 | 154291 542214 | 110847 4817 32496 6.7 | 0.711 % | 43.67/43.71 c | 7487 | 154291 542214 | 121931 7379 70517 9.6 | 0.711 % | 47.97/48.04 c | 11331 | 154282 542185 | 134125 11222 104169 9.3 | 0.719 % | 49.58/49.63 c | 17097 | 154282 542185 | 147537 16988 290065 17.1 | 0.719 % | 55.07/55.16 c | 25746 | 154282 542185 | 162291 25637 441809 17.2 | 0.719 % | 62.07/62.15 c | 38720 | 154282 542185 | 178520 38611 811740 21.0 | 0.719 % | 69.17/69.29 c | 58181 | 154282 542185 | 196372 58072 1892085 32.6 | 0.719 % | 91.16/91.24 c | 87374 | 154282 542185 | 216009 87265 4642816 53.2 | 0.719 % | 135.65/135.74 c | 131170 | 154282 542185 | 237610 131061 9672823 73.8 | 0.719 % | 266.90/267.00 c | 196856 | 154282 542185 | 261371 196747 24843086 126.3 | 0.719 % | 530.39/530.72 c | 295382 | 154282 542185 | 287508 57978 16239863 280.1 | 0.719 % | 984.95/985.46 c | 443175 | 154282 542185 | 316259 205771 65314626 317.4 | 0.719 % | 1692.01/1692.73 c | 664858 | 154282 542185 | 347885 139184 20967030 150.6 | 0.719 % | 1800.08/1800.80 c 1800.08/1800.80 c *** TERMINATED *** 1800.08/1800.80 s SATISFIABLE 1800.08/1800.80 v -x204 -x206 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 x234 -x236 -x238 -x240 -x242 1800.08/1800.80 v -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 1800.08/1800.80 v -x285 -x287 -x289 -x290 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x322 1800.08/1800.80 v -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 1800.08/1800.80 v -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 1800.08/1800.80 v -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x447 1800.08/1800.80 v -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 1800.08/1800.80 v -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521 -x523 -x525 -x526 -x527 1800.08/1800.80 v -x529 -x531 -x533 -x535 -x536 -x538 -x540 -x542 -x544 -x546 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 1800.08/1800.80 v -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 1800.08/1800.80 v -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 1800.08/1800.80 v -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 1800.08/1800.80 v -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 1800.08/1800.80 v -x736 -x738 -x740 -x741 -x743 -x745 -x747 -x749 -x750 -x752 -x754 -x756 -x758 -x760 -x761 -x763 -x765 -x767 -x769 -x770 -x772 1800.08/1800.80 v -x774 -x776 -x778 -x780 -x782 -x784 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 1800.08/1800.80 v -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x850 -x852 -x854 1800.08/1800.80 v -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 1800.08/1800.80 v -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 1800.08/1800.80 v -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 1800.08/1800.80 v -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 1800.08/1800.80 v -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 1800.08/1800.80 v -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 1800.08/1800.80 v -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 1800.08/1800.80 v -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 1800.08/1800.80 v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 1800.08/1800.80 v -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 1800.08/1800.80 v -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 1800.08/1800.80 v -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 1800.08/1800.80 v -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 1800.08/1800.80 v -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 1800.08/1800.80 v -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 1800.08/1800.80 v -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 1800.08/1800.80 v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 1800.08/1800.80 v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 1800.08/1800.80 v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 1800.08/1800.80 v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 1800.08/1800.80 v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 1800.08/1800.80 v -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 1800.08/1800.80 v -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 1800.08/1800.80 v -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 1800.08/1800.80 v -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 1800.08/1800.80 v -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1755 -x1757 -x1759 -x1761 -x1763 1800.08/1800.80 v -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 1800.08/1800.80 v -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 1800.08/1800.80 v -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1856 -x1858 -x1860 -x1862 -x1864 1800.08/1800.80 v -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1897 1800.08/1800.80 v -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1924 -x1926 -x1928 -x1930 1800.08/1800.80 v -x1932 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 1800.08/1800.80 v -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 1800.08/1800.80 v -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 1800.08/1800.80 v -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 1800.08/1800.80 v -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 1800.08/1800.80 v -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 1800.08/1800.80 v -x2133 -x2135 -x2137 -x2139 -x2141 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 x2162 -x2164 1800.08/1800.80 v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2193 -x2195 -x2197 1800.08/1800.80 v -x2199 x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 x2230 -x2232 1800.08/1800.80 v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2259 -x2261 -x2263 -x2265 1800.08/1800.80 v -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2278 -x2280 -x2282 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 1800.08/1800.80 v -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 1800.08/1800.80 v -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 1800.08/1800.80 v -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 1800.08/1800.80 v -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 1800.08/1800.80 v -x2433 -x2435 -x2437 -x2438 -x2440 -x2442 -x2444 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 1800.08/1800.80 v -x2465 -x2466 -x2468 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2490 -x2492 -x2494 1800.08/1800.80 v -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2519 -x2521 -x2523 -x2525 -x2527 1800.08/1800.80 v -x2529 -x2531 -x2532 -x2534 -x2536 -x2538 -x2539 -x2541 x2542 x2543 -x2545 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 1800.08/1800.80 v -x2560 -x2562 -x2563 -x2565 -x2567 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 1800.08/1800.80 v -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 1800.08/1800.80 v -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2636 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 x2655 1800.08/1800.80 v -x2657 -x2659 -x2661 x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2682 -x2684 -x2685 -x2687 1800.08/1800.80 v -x2689 -x2691 -x2693 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2706 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 1800.08/1800.80 v -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 x2744 -x2746 -x2748 -x2750 1800.08/1800.80 v -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 1800.08/1800.80 v -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 1800.08/1800.80 v -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 1800.08/1800.80 v -x2854 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 1800.08/1800.80 v -x2887 x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 1800.08/1800.80 v -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 1800.08/1800.80 v -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2970 -x2972 -x2974 -x2976 -x2978 -x2979 -x2981 -x2983 -x2985 1800.08/1800.80 v -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 1800.08/1800.80 v -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3044 -x3046 -x3048 -x3050 1800.08/1800.80 v -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3069 -x3071 -x3073 -x3075 -x3077 x3078 -x3080 -x3082 1800.08/1800.80 v -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 1800.08/1800.80 v -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 1800.08/1800.80 v -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 1800.08/1800.80 v -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 1800.08/1800.80 v -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 1800.08/1800.80 v -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 x3278 -x3280 -x3282 -x3284 1800.08/1800.80 v -x3286 -x3288 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3310 -x3312 -x3314 -x3315 1800.08/1800.80 v -x3317 -x3319 -x3321 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 -x3344 -x3346 1800.08/1800.80 v -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 1800.08/1800.80 v -x3380 -x3382 -x3384 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3402 -x3404 -x3406 -x3408 -x3409 1800.08/1800.80 v -x3411 -x3413 -x3415 -x3417 -x3418 -x3419 -x3421 -x3423 -x3425 -x3427 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3439 1800.08/1800.80 v -x3441 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 1800.08/1800.80 v -x3474 -x3476 -x3478 -x3480 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 1800.08/1800.80 v -x3507 x3508 -x3510 -x3512 -x3514 -x3515 -x3517 -x3519 -x3521 -x3523 -x3524 -x3526 -x3528 -x3530 -x3531 -x3533 -x3535 1800.08/1800.80 v -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3548 -x3550 -x3552 -x3554 -x3556 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 1800.08/1800.80 v -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3592 -x3594 -x3596 -x3598 -x3600 1800.08/1800.80 v -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 1800.08/1800.80 v -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 1800.08/1800.80 v -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 1800.08/1800.80 v -x3704 -x3706 -x3708 -x3710 -x3712 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 1800.08/1800.80 v -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3760 -x3762 -x3764 -x3765 -x3767 1800.08/1800.80 v -x3769 -x3771 -x3773 -x3775 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 1800.08/1800.80 v -x3802 -x3804 -x3806 -x3808 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 1800.08/1800.80 v -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 1800.08/1800.80 v -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3888 -x3889 -x3891 -x3892 -x3894 -x3896 1800.08/1800.80 v -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3926 -x3927 1800.08/1800.80 v -x3929 -x3930 -x3932 -x3933 -x3935 -x3937 -x3939 -x3940 -x3942 -x3944 -x3946 -x3948 -x3949 -x3950 -x3952 -x3954 -x3956 1800.08/1800.80 v -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3968 -x3970 -x3972 -x3974 -x3975 x3976 -x3978 -x3980 -x3982 -x3983 -x3984 1800.08/1800.80 v -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3997 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4015 1800.08/1800.80 v -x4017 -x4019 -x4021 -x4022 -x4024 -x4026 -x4028 -x4030 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 1800.08/1800.80 v -x4048 -x4050 -x4052 -x4054 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4066 -x4068 -x4069 -x4071 -x4073 -x4075 -x4077 1800.08/1800.80 v -x4079 -x4081 -x4083 -x4084 -x4086 -x4088 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 1800.08/1800.80 v -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4141 1800.08/1800.80 v -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 1800.08/1800.80 v -x4176 -x4178 -x4180 -x4181 -x4182 -x4184 -x4185 -x4187 -x4188 -x4190 -x4191 -x4193 -x4195 -x4196 -x4198 -x4199 -x4200 1800.08/1800.80 v -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4218 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 1800.08/1800.80 v -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4253 -x4255 -x4256 -x4258 -x4260 -x4261 1800.08/1800.80 v -x4263 -x4265 -x4266 -x4267 -x4268 -x4270 -x4272 -x4274 -x4275 -x4277 -x4279 -x4281 -x4283 -x4284 x4285 -x4287 -x4289 1800.08/1800.80 v -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4311 -x4313 -x4314 1800.08/1800.80 v -x4315 -x4316 -x4317 -x4319 -x4321 -x4322 -x4323 -x4324 x4325 -x4327 -x4328 -x4329 -x4331 -x4332 -x4334 x4335 -x4336 -x4337 1800.08/1800.80 v -x4338 -x4339 -x4340 -x4342 -x4343 -x4345 -x4346 -x4348 -x4350 -x4351 -x4352 -x4353 -x4355 x4356 x4357 -x4358 x4359 -x4360 1800.08/1800.80 v -x203 -x1 -x205 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x235 -x237 -x239 -x241 -x243 1800.08/1800.80 v -x245 -x2 -x247 -x249 -x251 -x3 -x253 -x255 -x257 -x259 -x261 -x263 -x4 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 1800.08/1800.80 v -x284 -x286 -x5 -x288 -x6 -x292 -x294 -x296 -x7 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x8 -x312 -x314 -x316 -x318 -x320 1800.08/1800.80 v -x323 -x9 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 1800.08/1800.80 v -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 1800.08/1800.80 v -x405 -x407 -x409 -x10 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x11 -x433 -x435 -x437 -x439 -x441 1800.08/1800.80 v -x443 -x445 -x448 -x450 -x452 -x12 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x13 -x476 -x478 -x14 1800.08/1800.80 v -x480 -x482 -x484 -x15 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x16 -x507 -x509 -x511 -x17 -x513 -x515 1800.08/1800.80 v -x517 -x18 -x519 -x522 -x524 -x19 -x20 -x528 -x21 -x530 -x532 -x534 -x537 -x22 -x539 -x541 -x543 -x23 -x545 -x548 -x24 -x550 1800.08/1800.80 v -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x25 -x580 -x582 -x584 -x26 -x586 -x589 1800.08/1800.80 v -x27 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x28 -x613 -x615 -x617 -x29 -x619 -x621 -x623 -x30 1800.08/1800.80 v -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x31 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x32 -x653 -x655 -x657 -x659 -x661 1800.08/1800.80 v -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 1800.08/1800.80 v -x705 -x707 -x709 -x711 -x713 -x33 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x34 -x729 -x731 -x733 -x735 -x737 -x739 -x35 1800.08/1800.80 v -x742 -x744 -x746 -x748 -x751 -x753 -x755 -x757 -x759 -x36 -x762 -x764 -x766 -x37 -x768 -x771 -x38 -x773 -x775 -x777 -x779 1800.08/1800.80 v -x781 -x783 -x39 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x40 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 1800.08/1800.80 v -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x41 1800.08/1800.80 v -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x42 -x875 -x877 -x880 -x882 -x884 -x886 -x43 -x888 -x890 -x892 -x894 -x896 -x898 1800.08/1800.80 v -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 1800.08/1800.80 v -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x44 1800.08/1800.80 v -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x45 -x1012 -x1014 -x1016 1800.08/1800.80 v -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x46 -x1042 -x1044 -x1046 -x1048 -x1050 1800.08/1800.80 v -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 1800.08/1800.80 v -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x47 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 1800.08/1800.80 v -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 1800.08/1800.80 v -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 1800.08/1800.80 v -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 1800.08/1800.80 v -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 1800.08/1800.80 v -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 1800.08/1800.80 v -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 1800.08/1800.80 v -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 1800.08/1800.80 v -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 1800.08/1800.80 v -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 1800.08/1800.80 v -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 1800.08/1800.80 v -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x48 -x1491 -x1493 1800.08/1800.80 v -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 1800.08/1800.80 v -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 1800.08/1800.80 v -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x49 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 1800.08/1800.80 v -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 1800.08/1800.80 v -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x50 -x1663 1800.08/1800.80 v -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 1800.08/1800.80 v -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 1800.08/1800.80 v -x51 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x52 -x1756 -x1758 -x1760 -x1762 -x1764 1800.08/1800.80 v -x1766 -x1768 -x1770 -x1772 -x1774 -x53 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 1800.08/1800.80 v -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 1800.08/1800.80 v -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x54 -x1846 -x1848 -x1850 -x1852 -x1854 -x1857 -x1859 -x1861 -x1863 -x1865 -x55 1800.08/1800.80 v -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1898 -x1900 1800.08/1800.80 v -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x57 -x1922 -x1925 -x1927 -x1929 -x58 -x1931 -x1934 1800.08/1800.80 v -x1936 -x1938 -x1940 -x1942 -x1944 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 1800.08/1800.80 v -x1971 -x59 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x60 -x1995 -x1997 -x1999 -x2001 1800.08/1800.80 v -x2003 -x2005 -x2007 -x2010 -x2012 -x2014 -x61 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 1800.08/1800.80 v -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 1800.08/1800.80 v -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 1800.08/1800.80 v -x2106 -x2108 -x62 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x63 -x2132 -x2134 -x2136 1800.08/1800.80 v -x2138 -x2140 -x2143 -x2145 -x2147 -x2149 -x2151 -x64 -x2153 -x2155 -x2157 x65 -x2159 x2161 -x2163 -x66 -x2165 -x2167 -x2169 1800.08/1800.80 v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x67 -x2187 -x2189 -x2191 -x2194 -x2196 -x2198 x2200 -x2202 -x2204 1800.08/1800.80 v -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2231 -x2233 -x2235 -x2237 -x2239 1800.08/1800.80 v -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x68 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 1800.08/1800.80 v -x2276 -x69 -x2279 -x2281 -x70 -x2284 -x2286 -x2288 -x71 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x72 -x2304 -x2306 1800.08/1800.80 v -x2308 -x2311 -x2313 -x2315 -x73 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 1800.08/1800.80 v -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 1800.08/1800.80 v -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x74 -x2403 -x2405 -x2407 -x2409 1800.08/1800.80 v -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x75 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2439 -x2441 -x2443 -x76 1800.08/1800.80 v -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x77 -x2467 -x78 -x2470 -x2472 -x2474 -x79 -x2476 1800.08/1800.80 v -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2491 -x2493 -x2495 -x80 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 1800.08/1800.80 v -x2513 -x2515 -x2517 -x81 -x2520 -x2522 -x82 -x2524 -x2526 -x2528 -x83 -x2530 -x2533 -x84 -x2535 -x2537 -x2540 x85 x86 -x2544 1800.08/1800.80 v -x87 -x2547 -x2549 -x2551 -x2553 -x88 -x2555 -x2557 -x2559 -x89 -x2561 -x2564 -x90 -x2566 -x2569 -x91 -x2571 -x2573 -x2575 1800.08/1800.80 v -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x92 -x2601 -x2603 -x2605 -x93 -x2607 1800.08/1800.80 v -x2610 -x94 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x95 -x2634 -x2638 -x2640 -x2642 1800.08/1800.80 v -x2644 -x2646 -x2648 -x2650 -x2652 x96 x2654 -x2656 -x2658 -x2660 x2662 -x2664 -x97 -x2666 -x2668 -x2670 -x2672 -x2674 1800.08/1800.80 v -x2676 -x2678 -x98 -x2680 -x2683 -x2686 -x2688 -x2690 -x2692 -x2695 -x2697 -x99 -x2700 -x2702 -x100 -x2704 -x101 -x2708 1800.08/1800.80 v -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 1800.08/1800.80 v -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 1800.08/1800.80 v -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 1800.08/1800.80 v -x2813 -x102 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 1800.08/1800.80 v -x103 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 1800.08/1800.80 v -x2878 -x2880 -x2882 -x2884 -x2886 x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 1800.08/1800.80 v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 1800.08/1800.80 v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x104 -x2960 -x2962 -x2964 -x2966 -x2968 -x2971 -x2973 -x2975 -x2977 1800.08/1800.80 v -x105 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x106 -x3002 -x3005 -x3007 -x3009 -x3011 1800.08/1800.80 v -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x107 -x3035 -x3037 -x3040 -x3042 -x108 -x3045 1800.08/1800.80 v -x3047 -x3049 -x3051 -x109 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3070 -x3072 -x3074 -x3076 -x3079 1800.08/1800.80 v -x3081 -x3083 -x3085 -x110 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x111 -x3109 -x3111 1800.08/1800.80 v -x3113 -x112 -x3115 -x3117 -x3119 -x113 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x114 -x3135 -x3137 -x3139 -x3141 1800.08/1800.80 v -x3143 -x3145 -x3147 -x115 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 1800.08/1800.80 v -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 1800.08/1800.80 v -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x116 -x3235 -x3237 -x3239 1800.08/1800.80 v -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3254 -x117 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 1800.08/1800.80 v -x3274 -x3276 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x118 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 1800.08/1800.80 v -x3308 -x119 -x3311 -x3313 -x120 -x3316 -x3318 -x3320 -x121 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3338 -x122 1800.08/1800.80 v -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x123 -x124 -x3365 -x3367 -x3369 -x125 -x3371 1800.08/1800.80 v -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x126 -x3400 -x3403 -x127 -x3405 1800.08/1800.80 v -x3407 -x128 -x3410 -x3412 -x3414 -x3416 -x129 -x130 -x3420 -x131 -x3422 -x3424 -x3426 -x3429 -x132 -x3431 -x3433 -x3435 1800.08/1800.80 v -x133 -x3437 -x3440 -x134 -x3443 -x3445 -x135 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 1800.08/1800.80 v -x3469 -x3471 -x3473 -x3475 -x136 -x3477 -x3479 -x137 -x3482 -x3484 -x3486 -x138 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 1800.08/1800.80 v -x3500 -x3502 -x3504 -x3506 -x3509 -x3511 -x3513 -x139 -x3516 -x3518 -x140 -x3520 -x3522 -x3525 -x3527 -x3529 -x3532 -x3534 1800.08/1800.80 v -x3536 -x3538 -x141 -x3540 -x3542 -x3544 -x3546 -x3549 -x3551 -x3553 -x3555 -x3558 -x3560 -x3562 -x3564 -x3566 -x142 -x3568 1800.08/1800.80 v -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3593 -x3595 -x143 -x3597 -x3599 -x3601 1800.08/1800.80 v -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 1800.08/1800.80 v -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 1800.08/1800.80 v -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 1800.08/1800.80 v -x3705 -x3707 -x3709 -x3711 -x144 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x145 -x3736 1800.08/1800.80 v -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x146 -x3758 -x3761 -x3763 -x147 -x3766 -x3768 -x3770 1800.08/1800.80 v -x3772 -x3774 -x148 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 1800.08/1800.80 v -x3805 -x3807 -x149 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x150 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 1800.08/1800.80 v -x3838 -x3840 -x3842 -x151 -x3844 -x3846 -x3848 -x152 -x3850 -x3852 -x3854 -x153 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 1800.08/1800.80 v -x154 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x155 -x3890 -x156 -x3893 -x3895 -x3897 -x157 -x3899 1800.08/1800.80 v -x3901 -x3903 -x3905 -x3907 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x158 -x3928 -x159 -x3931 -x3934 -x160 1800.08/1800.80 v -x3936 -x3938 -x161 -x3941 -x3943 -x3945 -x3947 -x162 -x163 -x3951 -x164 -x3953 -x3955 -x3958 -x3960 -x165 -x3962 -x3964 1800.08/1800.80 v -x3966 -x166 -x3969 -x3971 -x167 -x3973 -x3977 -x3979 -x3981 -x168 -x3985 -x169 -x3987 -x3989 -x3991 -x3993 -x3995 -x3999 1800.08/1800.80 v -x4001 -x4003 -x4005 -x170 -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4023 -x4025 -x4027 -x4029 -x4032 -x171 -x4035 1800.08/1800.80 v -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4056 -x4058 -x4060 -x172 -x4062 -x4064 -x4067 -x173 -x4070 1800.08/1800.80 v -x4072 -x4074 -x4076 -x4078 -x174 -x4080 -x4082 -x4085 -x4087 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 1800.08/1800.80 v -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4131 -x4133 -x4135 -x4137 -x4139 1800.08/1800.80 v -x175 -x4142 -x4144 -x176 -x4146 -x4148 -x4150 -x177 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4165 -x4167 -x4169 -x4171 1800.08/1800.80 v -x4173 -x4175 -x4177 -x4179 -x178 -x179 -x4183 -x4186 -x180 -x4189 -x181 -x4192 -x4194 -x4197 -x182 -x183 -x184 -x4202 1800.08/1800.80 v -x4204 -x4206 -x4208 -x4210 -x185 -x4212 -x4214 -x4216 -x186 -x4220 -x187 -x4222 -x4224 -x4226 -x4228 -x4230 -x4233 -x4235 1800.08/1800.80 v -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4254 -x4257 -x4259 -x188 -x4262 -x4264 -x189 -x4269 -x4271 -x4273 1800.08/1800.80 v -x190 -x4276 -x4278 -x4280 -x191 -x4282 -x4286 -x4288 -x192 -x4291 -x4293 -x193 -x194 -x4301 -x4303 -x4305 -x4307 -x195 1800.08/1800.80 v -x4309 -x4312 -x196 -x4318 -x197 -x4320 -x4326 -x198 -x4330 -x4333 -x199 -x200 -x4341 -x4344 -x201 -x4347 -x4349 -x4354 1800.08/1800.80 v -x202
OK 37056
/tmp/evaluation/373440-1177192586/instance-373440-1177192586.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-373440-1177192586 -o ROOT/results/node67/solver-373440-1177192586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373440-1177192586/minisat+ /tmp/evaluation/373440-1177192586/instance-373440-1177192586.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.92 0.98 0.99 3/64 18339 /proc/meminfo: memFree=1683448/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=1344 CPUtime=0 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 195248173 1376256 141 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 336 141 67 215 0 118 0 [startup+0.0196389 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18339 /proc/meminfo: memFree=1683448/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=1628 CPUtime=0.01 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 195248173 1667072 225 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 407 225 74 215 0 189 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1628 [startup+0.101653 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18339 /proc/meminfo: memFree=1683448/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=2456 CPUtime=0.09 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 458 0 0 0 9 0 0 0 18 0 1 0 195248173 2514944 443 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 614 443 75 215 0 396 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2456 [startup+0.30169 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18339 /proc/meminfo: memFree=1683448/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=4324 CPUtime=0.29 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 955 0 0 0 28 1 0 0 18 0 1 0 195248173 4427776 940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005815 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 1081 940 103 215 0 863 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4324 [startup+0.701763 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18339 /proc/meminfo: memFree=1683448/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=8900 CPUtime=0.69 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 2187 0 0 0 68 1 0 0 20 0 1 0 195248173 9113600 2047 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 2225 2047 103 215 0 2007 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8900 [startup+1.50191 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1672176/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=13028 CPUtime=1.49 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 3781 0 0 0 146 3 0 0 25 0 1 0 195248173 13340672 3104 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 3257 3104 106 215 0 3039 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13028 [startup+3.1012 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1671088/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=13028 CPUtime=3.09 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 3781 0 0 0 306 3 0 0 25 0 1 0 195248173 13340672 3104 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 3257 3104 106 215 0 3039 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13028 [startup+6.30179 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1670960/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=13028 CPUtime=6.29 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 3781 0 0 0 626 3 0 0 25 0 1 0 195248173 13340672 3104 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808996 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 3257 3104 106 215 0 3039 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13028 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1670960/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=13028 CPUtime=12.69 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 3781 0 0 0 1266 3 0 0 25 0 1 0 195248173 13340672 3104 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809952 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 3257 3104 106 215 0 3039 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13028 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1671088/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=13028 CPUtime=25.48 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 3781 0 0 0 2545 3 0 0 25 0 1 0 195248173 13340672 3104 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 3257 3104 106 215 0 3039 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13028 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1633136/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=53904 CPUtime=51.08 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 15882 0 0 0 5099 9 0 0 25 0 1 0 195248173 55197696 12642 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 13476 12642 123 215 0 13258 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53904 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1606832/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=80328 CPUtime=102.25 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 22455 0 0 0 10210 15 0 0 25 0 1 0 195248173 82255872 19215 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 20082 19215 123 215 0 19864 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 80328 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1579312/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=108224 CPUtime=162.23 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 29382 0 0 0 16200 23 0 0 25 0 1 0 195248173 110821376 26142 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 27056 26142 123 215 0 26838 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 108224 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18340 /proc/meminfo: memFree=1550448/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=136564 CPUtime=222.22 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 36523 0 0 0 22191 31 0 0 25 0 1 0 195248173 139841536 33283 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 34141 33283 123 215 0 33923 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 136564 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/71 18412 /proc/meminfo: memFree=1521016/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=164912 CPUtime=282.16 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 43613 0 0 0 28178 38 0 0 25 0 1 0 195248173 168869888 40373 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 41228 40373 123 215 0 41010 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 164912 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1497008/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=190020 CPUtime=342.06 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 49811 0 0 0 34163 43 0 0 25 0 1 0 195248173 194580480 46571 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 47505 46571 123 215 0 47287 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 190020 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1475248/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=211852 CPUtime=402.05 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 55281 0 0 0 40156 49 0 0 25 0 1 0 195248173 216936448 52041 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 52963 52041 123 215 0 52745 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 211852 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1452400/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=234424 CPUtime=462.02 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 60947 0 0 0 46149 53 0 0 25 0 1 0 195248173 240050176 57707 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 58606 57707 123 215 0 58388 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 234424 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1449968/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=236776 CPUtime=522 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 61526 0 0 0 52147 53 0 0 25 0 1 0 195248173 242458624 58286 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 59194 58286 123 215 0 58976 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 236776 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1449968/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=236776 CPUtime=581.98 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 61526 0 0 0 58145 53 0 0 25 0 1 0 195248173 242458624 58286 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588639 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 59194 58286 123 215 0 58976 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 236776 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1449968/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=236776 CPUtime=641.96 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 61526 0 0 0 64143 53 0 0 25 0 1 0 195248173 242458624 58286 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 59194 58286 123 215 0 58976 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 236776 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1424176/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=262956 CPUtime=821.9 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 68060 0 0 0 82131 59 0 0 25 0 1 0 195248173 269266944 64820 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 65739 64820 123 215 0 65521 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 262956 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1401968/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=285000 CPUtime=881.88 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 73577 0 0 0 88122 66 0 0 25 0 1 0 195248173 291840000 70337 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 71250 70337 123 215 0 71032 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 285000 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1380976/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=306256 CPUtime=941.86 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 78877 0 0 0 94115 71 0 0 25 0 1 0 195248173 313606144 75637 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 76564 75637 123 215 0 76346 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 306256 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1359152/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=327788 CPUtime=1001.85 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 84268 0 0 0 100109 76 0 0 25 0 1 0 195248173 335654912 81028 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 81947 81028 123 215 0 81729 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 327788 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1342192/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=345132 CPUtime=1061.82 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 88592 0 0 0 106102 80 0 0 25 0 1 0 195248173 353415168 85352 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 86283 85352 123 215 0 86065 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 345132 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1326640/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=360280 CPUtime=1121.8 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 92365 0 0 0 112095 85 0 0 25 0 1 0 195248173 368926720 89125 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135013314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 90070 89125 123 215 0 89852 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 360280 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1313072/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=373832 CPUtime=1181.78 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 95781 0 0 0 118090 88 0 0 25 0 1 0 195248173 382803968 92541 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 93458 92541 123 215 0 93240 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 373832 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1298608/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=388200 CPUtime=1241.76 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 99375 0 0 0 124085 91 0 0 25 0 1 0 195248173 397516800 96135 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 97050 96135 123 215 0 96832 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 388200 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1286128/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=400480 CPUtime=1301.75 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 102436 0 0 0 130080 95 0 0 25 0 1 0 195248173 410091520 99196 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 100120 99196 123 215 0 99902 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 400480 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1276016/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=411384 CPUtime=1361.72 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 104995 0 0 0 136074 98 0 0 25 0 1 0 195248173 421257216 101755 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 102846 101755 123 215 0 102628 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 411384 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274224/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1421.71 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105401 0 0 0 142073 98 0 0 25 0 1 0 195248173 422895616 102161 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102161 123 215 0 103028 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 412984 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274160/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1481.68 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105412 0 0 0 148070 98 0 0 25 0 1 0 195248173 422895616 102172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102172 123 215 0 103028 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 412984 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274096/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1541.66 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105417 0 0 0 154068 98 0 0 25 0 1 0 195248173 422895616 102177 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102177 123 215 0 103028 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 412984 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274096/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1601.64 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105428 0 0 0 160066 98 0 0 25 0 1 0 195248173 422895616 102188 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102188 123 215 0 103028 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 412984 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274032/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1661.62 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105431 0 0 0 166064 98 0 0 25 0 1 0 195248173 422895616 102191 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102191 123 215 0 103028 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 412984 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274032/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1721.6 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105437 0 0 0 172062 98 0 0 25 0 1 0 195248173 422895616 102197 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102197 123 215 0 103028 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 412984 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274032/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1781.58 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105437 0 0 0 178060 98 0 0 25 0 1 0 195248173 422895616 102197 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102197 123 215 0 103028 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 412984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18538 /proc/meminfo: memFree=1274032/2055920 swapFree=4180708/4192956 [pid=18339] ppid=18337 vsize=412984 CPUtime=1800.08 /proc/18339/stat : 18339 (minisat+) R 18337 18339 17763 0 -1 4194304 105437 0 0 0 179910 98 0 0 25 0 1 0 195248173 422895616 102197 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18339/statm: 103246 102197 123 215 0 103028 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 412984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.87 CPU time (s): 1800.15 CPU user time (s): 1799.1 CPU system time (s): 1.04884 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 412984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 1.04884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105439 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= 61 involuntary context switches= 1680 runsolver used 1.27381 second user time and 3.72743 second system time The end
Begin job on node67 on Sat Apr 21 21:56:26 UTC 2007 IDJOB= 373440 IDBENCH= 25045 IDSOLVER= 156 FILE ID= node67/373440-1177192586 PBS_JOBID= 4649056 Free space on /tmp= 66454 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb COMMAND LINE= /tmp/evaluation/373440-1177192586/minisat+ /tmp/evaluation/373440-1177192586/instance-373440-1177192586.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-373440-1177192586 -o ROOT/results/node67/conversion-373440-1177192586 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373440-1177192586/instance-373440-1177192586.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-373440-1177192586 -o ROOT/results/node67/solver-373440-1177192586 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373440-1177192586/minisat+ /tmp/evaluation/373440-1177192586/instance-373440-1177192586.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 83920c844b074c56822148eb18b413de RANDOM SEED= 74395662 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1683920 kB Buffers: 53332 kB Cached: 264168 kB SwapCached: 5976 kB Active: 164056 kB Inactive: 166296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1683920 kB SwapTotal: 4192956 kB SwapFree: 4180708 kB Dirty: 2592 kB Writeback: 0 kB Mapped: 16388 kB Slab: 27636 kB Committed_AS: 1124920 kB PageTables: 1452 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= 66454 MiB End job on node67 on Sat Apr 21 22:26:29 UTC 2007