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