Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 28 | 1800.01 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 26.8039 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
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 | 63 |
Number of terms in the objective function | 2273 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2273 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2273 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/372582-1177108222/instance-372582-1177108222.opb 0.00/0.00 c File size is 374479 bytes. 0.04/0.07 c Highest Coefficient sum: 2273 0.04/0.07 c Parsing was ok!! 0.04/0.07 c Total parsing time: 0.069 s 0.04/0.07 c Var: 4666 Constr: 12693 12693/0/0 Lit: 30714 Watch. Lit: 25222 0.04/0.07 c Obj. Vars: 2273 (48.7141 % of total variables) 0.09/0.16 c Pre-processing Time: 0.156 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 4336 11917 29130 2 23834 3972 0 0 0.16 0.09/0.16 c Switching off LPR mode. 0.09/0.16 o 30 0.162 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 4336 11918 31239 2 25915 4972 1 0 0.17 0.09/0.19 o 29 0.195 877.85/878.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 877.85/878.19 c 59 4336 11978 36017 3 28115 4972 61 299 0.20 877.85/878.19 c 160 4336 12079 38511 3 28317 5470 162 634 0.25 877.85/878.19 c 411 4336 12330 49437 4 28819 6018 413 889 0.46 877.85/878.19 c 886 4336 12805 72656 5 29769 6620 888 1026 0.86 877.85/878.19 c 1699 4336 13618 112690 8 31395 7283 1701 1122 1.51 877.85/878.19 c 3019 4336 14938 188187 12 34035 8012 3021 1180 2.56 877.85/878.19 c 5100 4336 17019 295668 17 38197 8814 5102 1117 4.57 877.85/878.19 c 8323 4336 20242 468636 23 44643 9696 8325 989 8.41 877.85/878.19 c 13260 4336 18484 501008 27 39048 10666 6567 1017 13.03 877.85/878.19 c 20766 4336 18757 438492 23 39594 11733 6840 1178 17.62 877.85/878.19 c 32127 4336 23309 763962 32 48698 12907 11392 996 32.23 877.85/878.19 c 49272 4336 24571 1009633 41 51222 14198 12654 1104 44.59 877.85/878.19 c 75091 4336 24180 912489 37 50440 15618 12263 942 79.67 877.85/878.19 c 113923 4336 25899 876870 33 53878 17180 13982 856 132.96 877.85/878.19 c 172275 4336 21661 828916 38 45402 18899 9744 767 224.34 877.85/878.19 c 259907 4336 21368 834518 39 44816 20789 9451 707 367.53 877.85/878.19 c 391462 4336 32276 1679095 52 66632 22868 20359 627 623.96 877.85/878.19 o 28 877.945 1799.89/1800.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.89/1800.49 c 512087 4336 32607 1446144 44 69375 4972 20690 583 877.95 1799.89/1800.49 c 512187 4336 14504 170733 11 31089 5470 2587 583 878.43 1799.89/1800.49 c 512438 4336 14755 182217 12 31591 6018 2838 583 878.57 1799.89/1800.49 c 512913 4336 15230 210720 13 32541 6620 3313 583 878.82 1799.89/1800.49 c 513727 4336 16044 249738 15 34169 7283 4127 583 879.68 1799.89/1800.49 c 515049 4336 17366 315849 18 36813 8012 5449 584 880.69 1799.89/1800.49 c 517130 4336 19447 425652 21 40975 8814 7530 585 882.73 1799.89/1800.49 c 520353 4336 16558 302474 18 35197 9696 4641 587 885.03 1799.89/1800.49 c 525289 4336 21494 544388 25 45069 10666 9577 589 890.61 1799.89/1800.49 c 532796 4336 21732 643887 29 45545 11733 9815 592 898.48 1799.89/1800.49 c 544157 4336 18200 433304 23 38481 12907 6283 601 905.24 1799.89/1800.49 c 561302 4336 18917 562415 29 39915 14198 7000 606 925.32 1799.89/1800.49 c 587121 4336 19017 653886 34 40115 15618 7100 603 972.51 1799.89/1800.49 c 625953 4336 19727 580844 29 41535 17180 7810 615 1016.74 1799.89/1800.49 c 684308 4336 26556 1699224 63 55193 18899 14639 619 1105.47 1799.89/1800.49 c 771942 4336 25734 1421116 55 53549 20789 13817 604 1276.00 1799.89/1800.49 c 903494 4336 24540 841708 34 51161 22868 12623 588 1535.17 1799.89/1800.49 c Resources Exceeded 1799.89/1800.49 v -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 1799.89/1800.49 v -x231 -x233 -x235 -x237 -x239 -x241 x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 1799.89/1800.49 v -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 x311 -x313 1799.89/1800.49 v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 1799.89/1800.49 v -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 1799.89/1800.49 v -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 1799.89/1800.49 v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 1799.89/1800.49 v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 1799.89/1800.49 v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 1799.89/1800.49 v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 1799.89/1800.49 v -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 1799.89/1800.49 v -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 x685 -x687 -x689 -x691 1799.89/1800.49 v -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 x733 1799.89/1800.49 v -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 1799.89/1800.49 v -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 1799.89/1800.49 v -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 1799.89/1800.49 v -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 1799.89/1800.49 v -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 1799.89/1800.49 v -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 1799.89/1800.49 v -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 1799.89/1800.49 v -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 1799.89/1800.49 v -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 1799.89/1800.49 v -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 1799.89/1800.49 v -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156 1799.89/1800.49 v -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 1799.89/1800.49 v -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 1799.89/1800.49 v -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 1799.89/1800.49 v -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 1799.89/1800.49 v -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 1799.89/1800.49 v -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 1799.89/1800.49 v -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392 1799.89/1800.49 v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 1799.89/1800.49 v -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 1799.89/1800.49 v -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 1799.89/1800.49 v -x1496 -x1498 x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 1799.89/1800.49 v -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 1799.89/1800.49 v -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 1799.89/1800.49 v -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 1799.89/1800.49 v -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 1799.89/1800.49 v -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 1799.89/1800.49 v -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 1799.89/1800.49 v -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 1799.89/1800.49 v -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 1799.89/1800.49 v -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 1799.89/1800.49 v -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 1799.89/1800.49 v -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 1799.89/1800.49 v -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 1799.89/1800.49 v -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 1799.89/1800.49 v -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001 1799.89/1800.49 v -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 1799.89/1800.49 v -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 1799.89/1800.49 v -x2071 -x2073 -x2075 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1799.89/1800.49 v -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 1799.89/1800.49 v -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 1799.89/1800.49 v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 1799.89/1800.49 v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 1799.89/1800.49 v -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 1799.89/1800.49 v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 1799.89/1800.49 v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336 1799.89/1800.49 v -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 1799.89/1800.49 v -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 1799.89/1800.49 v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1799.89/1800.49 v -x2439 x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 1799.89/1800.49 v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503 1799.89/1800.49 v -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 1799.89/1800.49 v -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 1799.89/1800.49 v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604 1799.89/1800.49 v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 1799.89/1800.49 v -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671 1799.89/1800.49 v -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 1799.89/1800.49 v -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 1799.89/1800.49 v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772 1799.89/1800.49 v -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 x2800 -x2802 -x2804 -x2806 1799.89/1800.49 v -x2808 -x2810 -x2812 -x2814 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 1799.89/1800.49 v -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 1799.89/1800.49 v -x2874 -x2876 -x2878 -x2880 x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 1799.89/1800.49 v -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 1799.89/1800.49 v -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 1799.89/1800.49 v -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 1799.89/1800.49 v -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 1799.89/1800.49 v -x3043 -x3045 -x3047 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 1799.89/1800.49 v -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 1799.89/1800.49 v -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 1799.89/1800.49 v -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 1799.89/1800.49 v -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 1799.89/1800.49 v -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 1799.89/1800.49 v -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274 1799.89/1800.49 v -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 1799.89/1800.49 v -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 1799.89/1800.49 v -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 1799.89/1800.49 v -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 1799.89/1800.49 v -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 1799.89/1800.49 v -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 1799.89/1800.49 v -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 1799.89/1800.49 v -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539 1799.89/1800.49 v -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 1799.89/1800.49 v -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 x3600 -x3602 -x3603 -x3605 1799.89/1800.49 v -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 1799.89/1800.49 v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 1799.89/1800.49 v -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 1799.89/1800.49 v -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 1799.89/1800.49 v -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 1799.89/1800.49 v -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807 1799.89/1800.49 v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 1799.89/1800.49 v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 1799.89/1800.49 v -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 1799.89/1800.49 v -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 1799.89/1800.49 v -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 1799.89/1800.49 v -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 1799.89/1800.49 v -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 1799.89/1800.49 v -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 1799.89/1800.49 v -x4075 -x4077 x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 1799.89/1800.49 v -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 1799.89/1800.49 v -x4141 -x4142 -x4144 -x4146 -x4148 -x4150 x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 1799.89/1800.49 v -x4173 -x4175 -x4177 x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 1799.89/1800.49 v -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 1799.89/1800.49 v -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 1799.89/1800.49 v -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 1799.89/1800.49 v -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 1799.89/1800.49 v -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 x4365 -x4367 -x4369 -x4371 -x4373 1799.89/1800.49 v -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 1799.89/1800.49 v -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 x4433 -x4435 -x4437 -x4439 -x4441 1799.89/1800.49 v -x4442 -x4444 -x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 1799.89/1800.49 v -x4474 -x4476 -x4478 -x4480 -x4481 x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 -x4504 1799.89/1800.49 v -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535 -x4537 1799.89/1800.49 v -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 x4559 -x4560 -x4562 -x4564 -x4566 -x4568 1799.89/1800.49 v -x4570 -x4572 -x4574 -x4576 x4578 -x4579 -x4581 -x4583 x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 1799.89/1800.49 v -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 1799.89/1800.49 v -x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 x4655 -x4657 -x4659 -x4660 -x4662 x4664 -x4665 x4666 1799.89/1800.49 v -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 1799.89/1800.49 v -x230 -x232 -x234 -x236 -x238 -x240 x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 1799.89/1800.49 v -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 x310 1799.89/1800.49 v -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 1799.89/1800.49 v -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 1799.89/1800.49 v -x396 -x398 -x400 -x402 -x404 -x406 -x2 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 1799.89/1800.49 v -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x3 -x470 -x472 -x474 1799.89/1800.49 v -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 1799.89/1800.49 v -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 1799.89/1800.49 v -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 1799.89/1800.49 v -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636 1799.89/1800.49 v -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 1799.89/1800.49 v -x678 -x680 -x682 x8 x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 1799.89/1800.49 v -x718 -x720 -x722 -x724 -x726 -x728 -x730 x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 1799.89/1800.49 v -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 1799.89/1800.49 v -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 1799.89/1800.49 v -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 1799.89/1800.49 v -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 1799.89/1800.49 v -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 1799.89/1800.49 v -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 1799.89/1800.49 v -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 1799.89/1800.49 v -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068 1799.89/1800.49 v -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102 1799.89/1800.49 v -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136 1799.89/1800.49 v -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 1799.89/1800.49 v -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 1799.89/1800.49 v -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 -x1239 1799.89/1800.49 v -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 1799.89/1800.49 v -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 1799.89/1800.49 v -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 1799.89/1800.49 v -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374 1799.89/1800.49 v -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 1799.89/1800.49 v -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441 1799.89/1800.49 v -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x28 -x1469 -x1471 -x1473 1799.89/1800.49 v -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 x1499 -x1501 -x1503 -x1505 -x1507 1799.89/1800.49 v -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539 -x1541 1799.89/1800.49 v -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575 1799.89/1800.49 v -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 1799.89/1800.49 v -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642 1799.89/1800.49 v -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36 1799.89/1800.49 v -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706 1799.89/1800.49 v -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741 1799.89/1800.49 v -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 1799.89/1800.49 v -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40 1799.89/1800.49 v -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841 1799.89/1800.49 v -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 1799.89/1800.49 v -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 1799.89/1800.49 v -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x45 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939 1799.89/1800.49 v -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 x47 x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 1799.89/1800.49 v -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 1799.89/1800.49 v -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 1799.89/1800.49 v -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 1799.89/1800.49 v -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 1799.89/1800.49 v -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139 1799.89/1800.49 v -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171 1799.89/1800.49 v -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205 1799.89/1800.49 v -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 1799.89/1800.49 v -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62 1799.89/1800.49 v -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 1799.89/1800.49 v -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332 1799.89/1800.49 v -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 1799.89/1800.49 v -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400 -x2402 1799.89/1800.49 v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 1799.89/1800.49 v -x2438 x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 1799.89/1800.49 v -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 -x2504 1799.89/1800.49 v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 1799.89/1800.49 v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 1799.89/1800.49 v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 1799.89/1800.49 v -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 1799.89/1800.49 v -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672 -x2674 1799.89/1800.49 v -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 1799.89/1800.49 v -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 1799.89/1800.49 v -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 1799.89/1800.49 v -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 1799.89/1800.49 v -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 1799.89/1800.49 v -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 x2881 1799.89/1800.49 v -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911 1799.89/1800.49 v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 1799.89/1800.49 v -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 1799.89/1800.49 v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014 1799.89/1800.49 v -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049 1799.89/1800.49 v -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081 1799.89/1800.49 v -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 1799.89/1800.49 v -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 1799.89/1800.49 v -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 1799.89/1800.49 v -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215 1799.89/1800.49 v -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248 1799.89/1800.49 v -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281 1799.89/1800.49 v -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 1799.89/1800.49 v -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 1799.89/1800.49 v -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377 1799.89/1800.49 v -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 1799.89/1800.49 v -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443 1799.89/1800.49 v -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 1799.89/1800.49 v -x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 1799.89/1800.49 v -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540 1799.89/1800.49 v -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 1799.89/1800.49 v -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 x3599 -x3601 -x3604 -x3606 1799.89/1800.49 v -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 1799.89/1800.49 v -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 1799.89/1800.49 v -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 1799.89/1800.49 v -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 1799.89/1800.49 v -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767 1799.89/1800.49 v -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799 1799.89/1800.49 v -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 1799.89/1800.49 v -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130 1799.89/1800.49 v -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 1799.89/1800.49 v -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 1799.89/1800.49 v -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 1799.89/1800.49 v -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 1799.89/1800.49 v -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 1799.89/1800.49 v -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 1799.89/1800.49 v -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 1799.89/1800.49 v -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x143 -x4118 -x4120 -x144 -x4123 1799.89/1800.49 v -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 -x4147 -x4149 x4151 -x146 -x4154 -x4156 -x4158 1799.89/1800.49 v -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 x149 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 1799.89/1800.49 v -x4191 x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 1799.89/1800.49 v -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256 1799.89/1800.49 v -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289 1799.89/1800.49 v -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 x155 -x4311 -x4313 -x4315 -x4318 x4320 -x4322 1799.89/1800.49 v -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 1799.89/1800.49 v -x4356 -x4358 -x4360 -x4362 x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386 1799.89/1800.49 v -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 1799.89/1800.49 v -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 x4432 x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 -x4448 -x165 1799.89/1800.49 v -x4450 -x4452 -x4454 -x166 -x4456 -x4458 x167 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 x4482 1799.89/1800.49 v -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 1799.89/1800.49 v -x4517 x170 -x4519 -x4521 x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547 1799.89/1800.49 v -x4549 -x173 -x4551 -x4553 -x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 -x4575 x4577 -x175 -x4580 1799.89/1800.49 v -x4582 -x4585 -x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x177 -x4609 -x4611 -x4613 1799.89/1800.49 v -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 -x182 -x4639 -x4642 1799.89/1800.49 v -x4644 -x4646 -x4648 -x183 -x4650 -x4652 x4654 x184 -x4656 -x4658 -x185 -x4661 x4663 -x186 x187 1799.89/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.89/1800.50 c 35 1041181 607946 3657028 26367 933630 14450 578 1800.00 1799.89/1800.50 c Objective: 28 1799.89/1800.50 s SATISFIABLE 1799.89/1800.50 c Total time: 1800 s
OK 28
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-372582-1177108222 -o ROOT/results/node55/solver-372582-1177108222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372582-1177108222/instance-372582-1177108222.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: 1.00 1.00 1.00 3/64 21306 /proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=12104 CPUtime=0 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 158732240 12394496 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7315038 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 3026 335 281 324 0 2003 0 [startup+0.0497421 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21306 /proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=5416 CPUtime=0.04 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 706 0 0 0 4 0 0 0 18 0 1 0 158732240 5545984 674 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 1354 675 343 324 0 331 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5416 [startup+0.102747 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21306 /proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=6556 CPUtime=0.09 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1118 0 0 0 9 0 0 0 18 0 1 0 158732240 6713344 994 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 1639 994 305 324 0 708 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6556 [startup+0.302766 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21306 /proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=6872 CPUtime=0.29 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1289 0 0 0 28 1 0 0 19 0 1 0 158732240 7036928 1092 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 1718 1092 313 324 0 787 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6872 [startup+0.701803 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21306 /proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=7128 CPUtime=0.69 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1341 0 0 0 67 2 0 0 22 0 1 0 158732240 7299072 1144 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7278689 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 1782 1144 313 324 0 851 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7128 [startup+1.50188 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1645420/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=7772 CPUtime=1.49 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1527 0 0 0 146 3 0 0 25 0 1 0 158732240 7958528 1330 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 1943 1330 313 324 0 1012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7772 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1644268/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=9308 CPUtime=3.09 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1885 0 0 0 305 4 0 0 25 0 1 0 158732240 9531392 1688 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7282216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 2327 1688 313 324 0 1396 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9308 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1641516/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=11308 CPUtime=6.28 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 2407 0 0 0 623 5 0 0 25 0 1 0 158732240 11579392 2210 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 2827 2210 313 324 0 1896 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11308 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1635308/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=17208 CPUtime=12.68 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 3866 0 0 0 1260 8 0 0 25 0 1 0 158732240 17620992 3669 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 4302 3669 313 324 0 3371 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17208 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1634156/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=18364 CPUtime=25.48 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 4170 0 0 0 2535 13 0 0 25 0 1 0 158732240 18804736 3973 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550930 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 4591 3973 313 324 0 3660 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18364 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1629356/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=23104 CPUtime=51.07 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 5359 0 0 0 5087 20 0 0 25 0 1 0 158732240 23658496 5162 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7282515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 5776 5162 313 324 0 4845 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23104 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1629420/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=23108 CPUtime=102.26 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 5360 0 0 0 10196 30 0 0 25 0 1 0 158732240 23662592 5163 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7278661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 5777 5163 313 324 0 4846 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23108 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1627500/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=25004 CPUtime=162.24 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 5823 0 0 0 16180 44 0 0 25 0 1 0 158732240 25604096 5626 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 6251 5626 313 324 0 5320 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25004 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1624364/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=28060 CPUtime=222.22 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 6600 0 0 0 22166 56 0 0 25 0 1 0 158732240 28733440 6403 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 7015 6403 313 324 0 6084 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 28060 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1618220/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=34180 CPUtime=282.21 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8124 0 0 0 28152 69 0 0 25 0 1 0 158732240 35000320 7925 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 8545 7925 313 324 0 7614 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34180 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1618220/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=34184 CPUtime=342.19 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8124 0 0 0 34140 79 0 0 25 0 1 0 158732240 35004416 7925 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 8546 7925 313 324 0 7615 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34184 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1618156/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=34188 CPUtime=402.18 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8126 0 0 0 40128 90 0 0 25 0 1 0 158732240 35008512 7927 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 8547 7927 313 324 0 7616 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 34188 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1618284/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=34188 CPUtime=462.17 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8126 0 0 0 46117 100 0 0 25 0 1 0 158732240 35008512 7927 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 8547 7927 313 324 0 7616 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 34188 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21307 /proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=40196 CPUtime=522.15 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9627 0 0 0 52104 111 0 0 25 0 1 0 158732240 41160704 9428 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 10049 9428 313 324 0 9118 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 40196 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=40152 CPUtime=582.12 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9627 0 0 0 58092 120 0 0 25 0 1 0 158732240 41115648 9426 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 10038 9426 313 324 0 9107 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 40152 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=40136 CPUtime=642.12 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 64082 130 0 0 25 0 1 0 158732240 41099264 9422 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7278744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 10034 9422 313 324 0 9103 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 40136 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=40136 CPUtime=882.05 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 88045 160 0 0 25 0 1 0 158732240 41099264 9422 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 10034 9422 313 324 0 9103 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 40136 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=40116 CPUtime=942.03 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 94026 177 0 0 25 0 1 0 158732240 41078784 9417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 10029 9417 313 324 0 9098 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 40116 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=40116 CPUtime=1002.01 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 100012 189 0 0 25 0 1 0 158732240 41078784 9417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 10029 9417 313 324 0 9098 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 40116 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39952 CPUtime=1062 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 105999 201 0 0 25 0 1 0 158732240 40910848 9376 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9988 9376 313 324 0 9057 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 39952 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39944 CPUtime=1121.98 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 111987 211 0 0 25 0 1 0 158732240 40902656 9374 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9986 9374 313 324 0 9055 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 39944 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39912 CPUtime=1181.97 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 117977 220 0 0 25 0 1 0 158732240 40869888 9366 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9978 9366 313 324 0 9047 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 39912 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1241.95 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 123971 224 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 39908 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1301.93 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 129959 234 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 39908 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1361.91 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 135946 245 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 39908 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1421.9 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 141933 257 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 39908 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1481.88 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 147918 270 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 39908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1541.87 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 153909 278 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 39908 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1601.85 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 159898 287 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 39908 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1661.83 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 165885 298 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 39908 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21309 /proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1721.82 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 171875 307 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 39908 [startup+1782.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 21309 /proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=39908 CPUtime=1781.8 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 177865 315 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 9977 9365 313 324 0 9046 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 39908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.01 1.00 2/65 21309 /proc/meminfo: memFree=1626028/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=0 CPUtime=1800 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194308 9630 0 0 0 179682 318 0 0 17 0 1 0 158732240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.04 1.01 1.00 2/65 21309 /proc/meminfo: memFree=1626028/2055920 swapFree=4184496/4192956 [pid=21306] ppid=21304 vsize=0 CPUtime=1800 /proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194308 9630 0 0 0 179682 318 0 0 17 0 1 0 158732240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21306/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1796.83 CPU system time (s): 3.18451 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 40200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.83 system time used= 3.18452 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9630 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= 15 involuntary context switches= 2643 runsolver used 1.3328 second user time and 3.60045 second system time The end
Begin job on node55 on Fri Apr 20 22:30:22 UTC 2007 IDJOB= 372582 IDBENCH= 24982 IDSOLVER= 163 FILE ID= node55/372582-1177108222 PBS_JOBID= 4640409 Free space on /tmp= 66351 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372582-1177108222/instance-372582-1177108222.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-372582-1177108222 -o ROOT/results/node55/solver-372582-1177108222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372582-1177108222/instance-372582-1177108222.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED= 900799640 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1649548 kB Buffers: 34660 kB Cached: 296888 kB SwapCached: 2196 kB Active: 118776 kB Inactive: 223336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1649548 kB SwapTotal: 4192956 kB SwapFree: 4184496 kB Dirty: 4748 kB Writeback: 0 kB Mapped: 17080 kB Slab: 50348 kB Committed_AS: 1201232 kB PageTables: 1384 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= 66351 MiB End job on node55 on Fri Apr 20 23:00:25 UTC 2007