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