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