Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 37042 | 1800.02 | 1800.5 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb |
MD5SUM | 83920c844b074c56822148eb18b413de |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37042 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4360 |
Total number of constraints | 8610 |
Number of constraints which are clauses | 8610 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 163 |
Number of terms in the objective function | 2173 |
Biggest coefficient in the objective function | 2124 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3653850 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2124 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3653850 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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/373443-1177193028/instance-373443-1177193028.opb 0.00/0.00 c File size is 271236 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Highest Coefficient sum: 3.65385e+06 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.05 s 0.00/0.05 c Var: 4360 Constr: 8610 8610/0/0 Lit: 21764 Watch. Lit: 17217 0.00/0.05 c Obj. Vars: 2173 (49.8394 % of total variables) 0.09/0.10 c Pre-processing Time: 0.103 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 4343 8579 21705 2 17158 2859 0 0 0.10 0.09/0.11 o 37042 0.109 1799.91/1800.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.48 c 0 4343 8580 23875 2 19309 7199 1 0 0.11 1799.91/1800.48 c 100 4343 8680 28108 3 19509 7919 101 584 0.17 1799.91/1800.48 c 351 4343 8931 42970 4 20010 8711 352 1227 0.29 1799.91/1800.48 c 826 4343 9406 59233 6 20961 9583 827 1672 0.49 1799.91/1800.48 c 1639 4343 10219 88685 8 22586 10542 1640 2114 0.78 1799.91/1800.48 c 2959 4343 11539 127943 11 25226 11597 2960 2044 1.45 1799.91/1800.48 c 5041 4343 13621 215946 15 29390 12757 5042 2155 2.34 1799.91/1800.48 c 8264 4343 16844 323881 19 35836 14033 8265 2029 4.07 1799.91/1800.48 c 13200 4343 21780 633811 29 45707 15437 13201 1919 6.88 1799.91/1800.48 c 20706 4343 20239 656722 32 42626 16981 11660 1912 10.83 1799.91/1800.48 c 32067 4343 21718 646639 29 45584 18680 13139 1744 18.38 1799.91/1800.48 c 49211 4343 17920 377314 21 37989 20549 9341 1629 30.20 1799.91/1800.48 c 75030 4343 19809 708723 35 41765 22604 11230 1287 58.26 1799.91/1800.48 c 113862 4343 21340 539273 25 44829 24865 12761 1097 103.72 1799.91/1800.48 c 172217 4343 21548 1019559 47 45243 27352 12969 844 204.04 1799.91/1800.48 c 259849 4343 24971 1197273 47 52090 30088 16392 869 298.99 1799.91/1800.48 c 391401 4343 24394 894031 36 50936 33097 15815 605 646.46 1799.91/1800.48 c 588834 4343 37128 1743826 46 76405 36407 28549 652 902.71 1799.91/1800.48 c 885086 4343 31626 3560286 112 65400 40048 23047 620 1425.48 1799.91/1800.48 c Resources Exceeded 1799.91/1800.48 v -x204 -x206 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 x234 -x236 -x238 -x240 -x242 1799.91/1800.48 v -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 1799.91/1800.48 v -x285 -x287 -x289 -x290 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x322 1799.91/1800.48 v -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 1799.91/1800.48 v -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 1799.91/1800.48 v -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x447 1799.91/1800.48 v -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 1799.91/1800.48 v -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521 -x523 -x525 -x526 -x527 1799.91/1800.48 v -x529 -x531 -x533 -x535 -x536 -x538 -x540 -x542 -x544 -x546 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 1799.91/1800.48 v -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 1799.91/1800.48 v -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 1799.91/1800.48 v -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 1799.91/1800.48 v -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 1799.91/1800.48 v -x736 -x738 -x740 -x741 -x743 -x745 -x747 -x749 -x750 -x752 -x754 -x756 -x758 -x760 -x761 -x763 -x765 -x767 -x769 -x770 -x772 1799.91/1800.48 v -x774 -x776 -x778 -x780 -x782 -x784 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 1799.91/1800.48 v -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x850 -x852 -x854 1799.91/1800.48 v -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 1799.91/1800.48 v -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 1799.91/1800.48 v -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 1799.91/1800.48 v -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 1799.91/1800.48 v -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 1799.91/1800.48 v -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 1799.91/1800.48 v -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 1799.91/1800.48 v -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 1799.91/1800.48 v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 1799.91/1800.48 v -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 1799.91/1800.48 v -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 1799.91/1800.48 v -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 1799.91/1800.48 v -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 1799.91/1800.48 v -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 1799.91/1800.48 v -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 1799.91/1800.48 v -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 1799.91/1800.48 v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 1799.91/1800.48 v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 1799.91/1800.48 v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 1799.91/1800.48 v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 1799.91/1800.48 v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 1799.91/1800.48 v -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 1799.91/1800.48 v -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 1799.91/1800.48 v -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 1799.91/1800.48 v -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 1799.91/1800.48 v -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1755 -x1757 -x1759 -x1761 -x1763 1799.91/1800.48 v -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 1799.91/1800.48 v -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 1799.91/1800.48 v -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1856 -x1858 -x1860 -x1862 -x1864 1799.91/1800.48 v -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1897 1799.91/1800.48 v -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1924 -x1926 -x1928 -x1930 1799.91/1800.48 v -x1932 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 1799.91/1800.48 v -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 1799.91/1800.48 v -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 1799.91/1800.48 v -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 1799.91/1800.48 v -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 1799.91/1800.48 v -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 1799.91/1800.48 v -x2133 -x2135 -x2137 -x2139 -x2141 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 x2158 -x2160 -x2162 -x2164 1799.91/1800.48 v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2193 -x2195 -x2197 1799.91/1800.48 v -x2199 x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 x2230 -x2232 1799.91/1800.48 v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2259 -x2261 -x2263 -x2265 1799.91/1800.48 v -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2278 -x2280 -x2282 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 1799.91/1800.48 v -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 1799.91/1800.48 v -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 1799.91/1800.48 v -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 1799.91/1800.48 v -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 1799.91/1800.48 v -x2433 -x2435 -x2437 -x2438 -x2440 -x2442 -x2444 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 1799.91/1800.48 v -x2465 -x2466 -x2468 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2490 -x2492 -x2494 1799.91/1800.48 v -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2519 -x2521 -x2523 -x2525 -x2527 1799.91/1800.48 v -x2529 -x2531 -x2532 -x2534 -x2536 -x2538 -x2539 -x2541 -x2542 -x2543 -x2545 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 1799.91/1800.48 v -x2558 -x2560 -x2562 -x2563 -x2565 -x2567 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 1799.91/1800.48 v -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 1799.91/1800.48 v -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2636 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 x2653 1799.91/1800.48 v -x2655 -x2657 x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2682 -x2684 -x2685 1799.91/1800.48 v -x2687 -x2689 -x2691 -x2693 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2706 -x2707 -x2709 -x2711 -x2713 -x2715 1799.91/1800.48 v -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 x2744 -x2746 -x2748 1799.91/1800.48 v -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 1799.91/1800.48 v -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 1799.91/1800.48 v -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 1799.91/1800.48 v -x2852 -x2854 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 1799.91/1800.48 v -x2885 -x2887 x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 1799.91/1800.48 v -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 1799.91/1800.48 v -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2970 -x2972 -x2974 -x2976 -x2978 -x2979 -x2981 -x2983 1799.91/1800.48 v -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 1799.91/1800.48 v -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3044 -x3046 -x3048 1799.91/1800.48 v -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3069 -x3071 -x3073 -x3075 -x3077 x3078 -x3080 1799.91/1800.48 v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 1799.91/1800.48 v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1799.91/1800.48 v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 1799.91/1800.48 v -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 1799.91/1800.48 v -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 1799.91/1800.48 v -x3252 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 x3278 -x3280 -x3282 1799.91/1800.48 v -x3284 -x3286 -x3288 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3310 -x3312 -x3314 1799.91/1800.48 v -x3315 -x3317 -x3319 -x3321 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 -x3344 1799.91/1800.48 v -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 1799.91/1800.48 v -x3378 -x3380 -x3382 -x3384 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3402 -x3404 -x3406 -x3408 1799.91/1800.48 v -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3419 -x3421 -x3423 -x3425 -x3427 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 1799.91/1800.48 v -x3439 -x3441 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 1799.91/1800.48 v -x3472 -x3474 -x3476 -x3478 -x3480 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 1799.91/1800.48 v -x3505 -x3507 x3508 -x3510 -x3512 -x3514 -x3515 -x3517 -x3519 -x3521 -x3523 -x3524 -x3526 -x3528 -x3530 -x3531 -x3533 1799.91/1800.48 v -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3548 -x3550 -x3552 -x3554 -x3556 -x3557 -x3559 -x3561 -x3563 -x3565 1799.91/1800.48 v -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3592 -x3594 -x3596 -x3598 1799.91/1800.48 v -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 1799.91/1800.48 v -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 1799.91/1800.48 v -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 1799.91/1800.48 v -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 1799.91/1800.48 v -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3760 -x3762 -x3764 -x3765 1799.91/1800.48 v -x3767 -x3769 -x3771 -x3773 -x3775 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 1799.91/1800.48 v -x3800 -x3802 -x3804 -x3806 -x3808 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 1799.91/1800.48 v -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 1799.91/1800.48 v -x3867 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3888 -x3889 -x3891 -x3892 -x3894 1799.91/1800.48 v -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3926 1799.91/1800.48 v -x3927 -x3929 -x3930 -x3932 -x3933 -x3935 -x3937 -x3939 -x3940 -x3942 -x3944 -x3946 -x3948 -x3949 x3950 -x3952 -x3954 1799.91/1800.48 v -x3956 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3968 -x3970 -x3972 -x3974 -x3975 x3976 -x3978 -x3980 -x3982 -x3983 1799.91/1800.48 v -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3997 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 1799.91/1800.48 v -x4015 -x4017 -x4019 -x4021 -x4022 -x4024 -x4026 -x4028 -x4030 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 1799.91/1800.48 v -x4046 -x4048 -x4050 -x4052 -x4054 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4066 -x4068 -x4069 -x4071 -x4073 -x4075 1799.91/1800.48 v -x4077 -x4079 -x4081 -x4083 -x4084 -x4086 -x4088 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 1799.91/1800.48 v -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 x4130 -x4132 -x4134 -x4136 -x4138 -x4140 1799.91/1800.48 v -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4164 -x4166 -x4168 -x4170 -x4172 1799.91/1800.48 v -x4174 -x4176 -x4178 -x4180 -x4181 -x4182 -x4184 -x4185 -x4187 -x4188 -x4190 -x4191 -x4193 -x4195 -x4196 -x4198 -x4199 1799.91/1800.48 v -x4200 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4218 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 1799.91/1800.48 v -x4231 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4253 -x4255 -x4256 -x4258 -x4260 1799.91/1800.48 v -x4261 -x4263 -x4265 -x4266 -x4267 -x4268 -x4270 -x4272 -x4274 -x4275 -x4277 -x4279 -x4281 -x4283 -x4284 x4285 -x4287 1799.91/1800.48 v -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4311 -x4313 1799.91/1800.48 v -x4314 -x4315 -x4316 -x4317 -x4319 -x4321 -x4322 -x4323 -x4324 x4325 -x4327 -x4328 -x4329 -x4331 -x4332 -x4334 x4335 x4336 1799.91/1800.48 v -x4337 -x4338 -x4339 -x4340 -x4342 -x4343 -x4345 -x4346 -x4348 -x4350 -x4351 -x4352 -x4353 -x4355 x4356 x4357 -x4358 x4359 1799.91/1800.48 v -x4360 -x203 -x1 -x205 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x235 -x237 -x239 -x241 1799.91/1800.48 v -x243 -x245 -x2 -x247 -x249 -x251 -x3 -x253 -x255 -x257 -x259 -x261 -x263 -x4 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 1799.91/1800.48 v -x282 -x284 -x286 -x5 -x288 -x6 -x292 -x294 -x296 -x7 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x8 -x312 -x314 -x316 -x318 1799.91/1800.48 v -x320 -x323 -x9 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 1799.91/1800.48 v -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 1799.91/1800.48 v -x403 -x405 -x407 -x409 -x10 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x11 -x433 -x435 -x437 -x439 1799.91/1800.48 v -x441 -x443 -x445 -x448 -x450 -x452 -x12 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x13 -x476 -x478 1799.91/1800.48 v -x14 -x480 -x482 -x484 -x15 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x16 -x507 -x509 -x511 -x17 -x513 1799.91/1800.48 v -x515 -x517 -x18 -x519 -x522 -x524 -x19 -x20 -x528 -x21 -x530 -x532 -x534 -x537 -x22 -x539 -x541 -x543 -x23 -x545 -x548 -x24 1799.91/1800.48 v -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x25 -x580 -x582 -x584 -x26 -x586 1799.91/1800.48 v -x589 -x27 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x28 -x613 -x615 -x617 -x29 -x619 -x621 -x623 1799.91/1800.48 v -x30 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x31 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x32 -x653 -x655 -x657 -x659 1799.91/1800.48 v -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 1799.91/1800.48 v -x703 -x705 -x707 -x709 -x711 -x713 -x33 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x34 -x729 -x731 -x733 -x735 -x737 -x739 1799.91/1800.48 v -x35 -x742 -x744 -x746 -x748 -x751 -x753 -x755 -x757 -x759 -x36 -x762 -x764 -x766 -x37 -x768 -x771 -x38 -x773 -x775 -x777 1799.91/1800.48 v -x779 -x781 -x783 -x39 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x40 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 1799.91/1800.48 v -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 1799.91/1800.48 v -x41 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x42 -x875 -x877 -x880 -x882 -x884 -x886 -x43 -x888 -x890 -x892 -x894 -x896 1799.91/1800.48 v -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 1799.91/1800.48 v -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 1799.91/1800.48 v -x44 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x45 -x1012 -x1014 1799.91/1800.48 v -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x46 -x1042 -x1044 -x1046 -x1048 1799.91/1800.48 v -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 1799.91/1800.48 v -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x47 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 1799.91/1800.48 v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 1799.91/1800.48 v -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 1799.91/1800.48 v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 1799.91/1800.48 v -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 1799.91/1800.48 v -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 1799.91/1800.48 v -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 1799.91/1800.48 v -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 1799.91/1800.48 v -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 1799.91/1800.48 v -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 1799.91/1800.48 v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 1799.91/1800.48 v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x48 -x1491 1799.91/1800.48 v -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 1799.91/1800.48 v -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 1799.91/1800.48 v -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x49 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 1799.91/1800.48 v -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 1799.91/1800.48 v -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 1799.91/1800.48 v -x50 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 1799.91/1800.48 v -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 1799.91/1800.48 v -x1731 -x51 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x52 -x1756 -x1758 -x1760 -x1762 1799.91/1800.48 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x53 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 1799.91/1800.48 v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 1799.91/1800.48 v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x54 -x1846 -x1848 -x1850 -x1852 -x1854 -x1857 -x1859 -x1861 -x1863 -x1865 1799.91/1800.48 v -x55 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1898 1799.91/1800.48 v -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x57 -x1922 -x1925 -x1927 -x1929 -x58 -x1931 1799.91/1800.48 v -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 1799.91/1800.48 v -x1969 -x1971 -x59 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x60 -x1995 -x1997 -x1999 1799.91/1800.48 v -x2001 -x2003 -x2005 -x2007 -x2010 -x2012 -x2014 -x61 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 1799.91/1800.48 v -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 1799.91/1800.48 v -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 1799.91/1800.48 v -x2104 -x2106 -x2108 -x62 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x63 -x2132 -x2134 1799.91/1800.48 v -x2136 -x2138 -x2140 -x2143 -x2145 -x2147 -x2149 -x2151 -x64 -x2153 -x2155 x2157 x65 -x2159 -x2161 -x2163 -x66 -x2165 -x2167 1799.91/1800.48 v -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x67 -x2187 -x2189 -x2191 -x2194 -x2196 -x2198 x2200 -x2202 1799.91/1800.48 v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2231 -x2233 -x2235 -x2237 1799.91/1800.48 v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x68 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 1799.91/1800.48 v -x2274 -x2276 -x69 -x2279 -x2281 -x70 -x2284 -x2286 -x2288 -x71 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x72 -x2304 1799.91/1800.48 v -x2306 -x2308 -x2311 -x2313 -x2315 -x73 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 1799.91/1800.48 v -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 1799.91/1800.48 v -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x74 -x2403 -x2405 -x2407 1799.91/1800.48 v -x2409 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x75 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2439 -x2441 -x2443 1799.91/1800.48 v -x76 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x77 -x2467 -x78 -x2470 -x2472 -x2474 -x79 -x2476 1799.91/1800.48 v -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2491 -x2493 -x2495 -x80 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 1799.91/1800.48 v -x2513 -x2515 -x2517 -x81 -x2520 -x2522 -x82 -x2524 -x2526 -x2528 -x83 -x2530 -x2533 -x84 -x2535 -x2537 -x2540 -x85 -x86 1799.91/1800.48 v -x2544 -x87 -x2547 -x2549 -x2551 -x2553 -x88 -x2555 -x2557 -x2559 -x89 -x2561 -x2564 -x90 -x2566 -x2569 -x91 -x2571 -x2573 1799.91/1800.48 v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x92 -x2601 -x2603 -x2605 -x93 1799.91/1800.48 v -x2607 -x2610 -x94 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x95 -x2634 -x2638 -x2640 1799.91/1800.48 v -x2642 -x2644 -x2646 -x2648 -x2650 x2652 x96 -x2654 -x2656 x2658 -x2660 -x2662 -x2664 -x97 -x2666 -x2668 -x2670 -x2672 1799.91/1800.48 v -x2674 -x2676 -x2678 -x98 -x2680 -x2683 -x2686 -x2688 -x2690 -x2692 -x2695 -x2697 -x99 -x2700 -x2702 -x100 -x2704 -x101 1799.91/1800.48 v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 1799.91/1800.48 v -x2742 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 1799.91/1800.48 v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 1799.91/1800.48 v -x2811 -x2813 -x102 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 1799.91/1800.48 v -x2843 -x103 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 1799.91/1800.48 v -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 1799.91/1800.48 v -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 1799.91/1800.48 v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x104 -x2960 -x2962 -x2964 -x2966 -x2968 -x2971 -x2973 -x2975 1799.91/1800.48 v -x2977 -x105 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x106 -x3002 -x3005 -x3007 -x3009 1799.91/1800.48 v -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x107 -x3035 -x3037 -x3040 -x3042 1799.91/1800.48 v -x108 -x3045 -x3047 -x3049 -x3051 -x109 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3070 -x3072 -x3074 -x3076 1799.91/1800.48 v -x3079 -x3081 -x3083 -x3085 -x110 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x111 -x3109 1799.91/1800.48 v -x3111 -x3113 -x112 -x3115 -x3117 -x3119 -x113 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x114 -x3135 -x3137 -x3139 1799.91/1800.48 v -x3141 -x3143 -x3145 -x3147 -x115 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 1799.91/1800.48 v -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 1799.91/1800.48 v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x116 -x3235 -x3237 1799.91/1800.48 v -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3254 -x117 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 1799.91/1800.48 v -x3272 -x3274 -x3276 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x118 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 1799.91/1800.48 v -x3306 -x3308 -x119 -x3311 -x3313 -x120 -x3316 -x3318 -x3320 -x121 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3338 1799.91/1800.48 v -x122 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x123 -x124 -x3365 -x3367 -x3369 -x125 1799.91/1800.48 v -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x126 -x3400 -x3403 1799.91/1800.48 v -x127 -x3405 -x3407 -x128 -x3410 -x3412 -x3414 -x3416 -x129 -x130 -x3420 -x131 -x3422 -x3424 -x3426 -x3429 -x132 -x3431 1799.91/1800.48 v -x3433 -x3435 -x133 -x3437 -x3440 -x134 -x3443 -x3445 -x135 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 1799.91/1800.48 v -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x136 -x3477 -x3479 -x137 -x3482 -x3484 -x3486 -x138 -x3488 -x3490 -x3492 -x3494 1799.91/1800.48 v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3509 -x3511 -x3513 -x139 -x3516 -x3518 -x140 -x3520 -x3522 -x3525 -x3527 -x3529 1799.91/1800.48 v -x3532 -x3534 -x3536 -x3538 -x141 -x3540 -x3542 -x3544 -x3546 -x3549 -x3551 -x3553 -x3555 -x3558 -x3560 -x3562 -x3564 1799.91/1800.48 v -x3566 -x142 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3593 -x3595 -x143 -x3597 1799.91/1800.48 v -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 1799.91/1800.48 v -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 1799.91/1800.48 v -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 1799.91/1800.48 v -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x144 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 1799.91/1800.48 v -x3734 -x145 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x146 -x3758 -x3761 -x3763 -x147 1799.91/1800.48 v -x3766 -x3768 -x3770 -x3772 -x3774 -x148 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 1799.91/1800.48 v -x3799 -x3801 -x3803 -x3805 -x3807 -x149 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x150 -x3822 -x3824 -x3826 -x3828 -x3830 1799.91/1800.48 v -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x151 -x3844 -x3846 -x3848 -x152 -x3850 -x3852 -x3854 -x153 -x3856 -x3858 -x3860 1799.91/1800.48 v -x3862 -x3864 -x3866 -x154 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x155 -x3890 -x156 -x3893 -x3895 1799.91/1800.48 v -x3897 -x157 -x3899 -x3901 -x3903 -x3905 -x3907 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x158 -x3928 -x159 1799.91/1800.48 v -x3931 -x3934 -x160 -x3936 -x3938 -x161 -x3941 -x3943 -x3945 -x3947 -x162 x163 -x3951 -x164 -x3953 -x3955 -x3958 -x3960 1799.91/1800.48 v -x165 -x3962 -x3964 -x3966 -x166 -x3969 -x3971 -x167 -x3973 -x3977 -x3979 -x3981 -x168 -x3985 -x169 -x3987 -x3989 -x3991 1799.91/1800.48 v -x3993 -x3995 -x3999 -x4001 -x4003 -x4005 -x170 -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4023 -x4025 -x4027 1799.91/1800.48 v -x4029 -x4032 -x171 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4056 -x4058 -x4060 -x172 -x4062 1799.91/1800.48 v -x4064 -x4067 -x173 -x4070 -x4072 -x4074 -x4076 -x4078 -x174 -x4080 -x4082 -x4085 -x4087 -x4090 -x4092 -x4094 -x4096 -x4098 1799.91/1800.48 v -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4131 -x4133 1799.91/1800.48 v -x4135 -x4137 -x4139 -x175 -x4142 -x4144 -x176 -x4146 -x4148 -x4150 -x177 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4165 1799.91/1800.48 v -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x178 -x179 -x4183 -x4186 -x180 -x4189 -x181 -x4192 -x4194 -x4197 -x182 1799.91/1800.48 v -x183 -x184 -x4202 -x4204 -x4206 -x4208 -x4210 -x185 -x4212 -x4214 -x4216 -x186 -x4220 -x187 -x4222 -x4224 -x4226 -x4228 1799.91/1800.48 v -x4230 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4254 -x4257 -x4259 -x188 -x4262 -x4264 1799.91/1800.48 v -x189 -x4269 -x4271 -x4273 -x190 -x4276 -x4278 -x4280 -x191 -x4282 -x4286 -x4288 -x192 -x4291 -x4293 -x193 -x194 -x4301 1799.91/1800.48 v -x4303 -x4305 -x4307 -x195 -x4309 -x4312 -x196 -x4318 -x197 -x4320 -x4326 -x198 -x4330 -x4333 x199 -x200 -x4341 -x4344 1799.91/1800.48 v -x201 -x4347 -x4349 -x4354 -x202 1799.91/1800.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.48 c 19 1064233 768236 13649612 38261 2189814 29682 591 1800.01 1799.91/1800.48 c Objective: 37042 1799.91/1800.48 s SATISFIABLE 1799.91/1800.48 c Total time: 1800.01 s
OK 37042
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-373443-1177193028 -o ROOT/results/node24/solver-373443-1177193028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373443-1177193028/instance-373443-1177193028.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31431 /proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=12004 CPUtime=0 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 167220808 12292096 338 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 3001 338 282 324 0 2003 0 [startup+0.0877811 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31431 /proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=6164 CPUtime=0.07 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1011 0 0 0 7 0 0 0 18 0 1 0 167220808 6311936 912 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 1541 914 306 324 0 610 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6164 [startup+0.101782 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31431 /proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=6232 CPUtime=0.09 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1071 0 0 0 8 1 0 0 18 0 1 0 167220808 6381568 905 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 1558 907 307 324 0 627 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6232 [startup+0.301804 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31431 /proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=6360 CPUtime=0.29 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1119 0 0 0 28 1 0 0 19 0 1 0 167220808 6512640 953 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 1590 953 313 324 0 659 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6360 [startup+0.701848 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31431 /proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=6872 CPUtime=0.69 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1263 0 0 0 67 2 0 0 22 0 1 0 167220808 7036928 1097 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 1718 1097 313 324 0 787 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6872 [startup+1.50193 s] /proc/loadavg: 0.92 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1422728/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=7788 CPUtime=1.49 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1478 0 0 0 143 6 0 0 25 0 1 0 167220808 7974912 1312 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 1947 1312 313 324 0 1016 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7788 [startup+3.10111 s] /proc/loadavg: 0.92 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1421192/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=9732 CPUtime=3.09 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1966 0 0 0 301 8 0 0 25 0 1 0 167220808 9965568 1800 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 2433 1800 313 324 0 1502 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9732 [startup+6.30145 s] /proc/loadavg: 0.93 0.98 0.99 3/78 31432 /proc/meminfo: memFree=1416968/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=14304 CPUtime=6.29 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 3101 0 0 0 616 13 0 0 25 0 1 0 167220808 14647296 2935 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3047141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 3576 2935 313 324 0 2645 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14304 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1411976/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=17792 CPUtime=12.68 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 3987 0 0 0 1250 18 0 0 25 0 1 0 167220808 18219008 3821 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 4448 3821 313 324 0 3517 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17792 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1409480/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=20200 CPUtime=25.49 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 4593 0 0 0 2507 42 0 0 25 0 1 0 167220808 20684800 4427 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 5050 4427 313 324 0 4119 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20200 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1407240/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=22544 CPUtime=51.06 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 5165 0 0 0 5048 58 0 0 25 0 1 0 167220808 23085056 4999 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 5636 4999 313 324 0 4705 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 22544 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1404296/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=25372 CPUtime=102.26 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 5891 0 0 0 10142 84 0 0 25 0 1 0 167220808 25980928 5725 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 6343 5725 313 324 0 5412 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25372 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1402312/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=27324 CPUtime=162.24 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 6380 0 0 0 16127 97 0 0 25 0 1 0 167220808 27979776 6214 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 6831 6214 313 324 0 5900 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27324 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1396424/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=33160 CPUtime=222.22 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 7841 0 0 0 22081 141 0 0 25 0 1 0 167220808 33955840 7675 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551458 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 8290 7675 313 324 0 7359 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33160 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1395592/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=33956 CPUtime=282.21 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 8042 0 0 0 27985 236 0 0 25 0 1 0 167220808 34770944 7876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 8489 7876 313 324 0 7558 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33956 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1391688/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=37964 CPUtime=342.19 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 9046 0 0 0 33959 260 0 0 25 0 1 0 167220808 38875136 8880 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 9491 8880 313 324 0 8560 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 37964 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1383944/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=45672 CPUtime=402.18 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 39952 266 0 0 25 0 1 0 167220808 46768128 10807 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 11418 10807 313 324 0 10487 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 45672 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1384072/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=45664 CPUtime=462.17 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 45944 273 0 0 25 0 1 0 167220808 46759936 10806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 11416 10806 313 324 0 10485 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 45664 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1384008/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=45664 CPUtime=522.15 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 51937 278 0 0 25 0 1 0 167220808 46759936 10806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 11416 10806 313 324 0 10485 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 45664 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1384008/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=45664 CPUtime=582.13 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 57928 285 0 0 25 0 1 0 167220808 46759936 10806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3035288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 11416 10806 313 324 0 10485 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 45664 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1384072/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=45648 CPUtime=642.12 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 63919 293 0 0 25 0 1 0 167220808 46743552 10802 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 11412 10802 313 324 0 10481 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 45648 ################ # More data... # ################ /proc/meminfo: memFree=1373128/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=56496 CPUtime=1121.99 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 13797 0 0 0 111484 715 0 0 25 0 1 0 167220808 57851904 13511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 14124 13511 313 324 0 13193 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 56496 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1373128/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=56496 CPUtime=1181.98 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 13797 0 0 0 117460 738 0 0 25 0 1 0 167220808 57851904 13511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 14124 13511 313 324 0 13193 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 56496 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1373192/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=56496 CPUtime=1241.96 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 13797 0 0 0 123437 759 0 0 25 0 1 0 167220808 57851904 13511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 14124 13511 313 324 0 13193 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 56496 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346888/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82692 CPUtime=1301.95 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 20381 0 0 0 129416 779 0 0 25 0 1 0 167220808 84676608 20057 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3039583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20673 20057 313 324 0 19742 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 82692 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1335944/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=93604 CPUtime=1361.93 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 23140 0 0 0 135398 795 0 0 25 0 1 0 167220808 95850496 22778 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 23401 22778 313 324 0 22470 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 93604 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1331464/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=98088 CPUtime=1421.92 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24287 0 0 0 141385 807 0 0 25 0 1 0 167220808 100442112 23887 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 24522 23887 313 324 0 23591 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 98088 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346760/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82660 CPUtime=1481.9 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 147333 857 0 0 25 0 1 0 167220808 84643840 20055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20665 20055 313 324 0 19734 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 82660 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346760/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82660 CPUtime=1541.88 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 153323 865 0 0 25 0 1 0 167220808 84643840 20055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20665 20055 313 324 0 19734 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 82660 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1601.87 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 159312 875 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 82612 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1661.85 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 165304 881 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 82612 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1721.83 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 171294 889 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 82612 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1781.82 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 177283 899 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 82612 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1791.42 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178241 901 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 82612 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1794.63 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178561 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 82612 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1797.81 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178879 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 82612 [startup+1799.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1798.61 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178959 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (KiB) 82612 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1799.41 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 179039 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (KiB) 82612 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1799.81 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 179079 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1799.81 Current children cumulated vsize (KiB) 82612 [startup+1800.4 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31432 /proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956 [pid=31431] ppid=31429 vsize=82612 CPUtime=1799.91 /proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 179089 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31431/statm: 20653 20043 313 324 0 19722 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 82612 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.02 CPU user time (s): 1790.98 CPU system time (s): 9.04063 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 98240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.98 system time used= 9.04063 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24291 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= 2195 runsolver used 2.08468 second user time and 4.46032 second system time The end
Begin job on node24 on Sat Apr 21 22:03:48 UTC 2007 IDJOB= 373443 IDBENCH= 25045 IDSOLVER= 163 FILE ID= node24/373443-1177193028 PBS_JOBID= 4649052 Free space on /tmp= 66230 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373443-1177193028/instance-373443-1177193028.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-373443-1177193028 -o ROOT/results/node24/solver-373443-1177193028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373443-1177193028/instance-373443-1177193028.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 83920c844b074c56822148eb18b413de RANDOM SEED= 927440231 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1426664 kB Buffers: 68240 kB Cached: 472108 kB SwapCached: 16708 kB Active: 233764 kB Inactive: 331852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1426664 kB SwapTotal: 4192956 kB SwapFree: 4144308 kB Dirty: 4676 kB Writeback: 0 kB Mapped: 30656 kB Slab: 49104 kB Committed_AS: 3709980 kB PageTables: 1808 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= 66230 MiB End job on node24 on Sat Apr 21 22:33:48 UTC 2007