Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 25 | 436.043 | 436.158 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 2.94955 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2273 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2273 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2273 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655777-1276632240.opb. 0.00/0.00 c Instance file HOME/instance-2655777-1276632240.opb 0.00/0.00 c File size is 374479 bytes. 0.00/0.05 c Highest Coefficient sum: 64 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.06 s | 0.00/0.05 c | Number Variables: 4666 | 0.00/0.05 c | Number Clauses: 12693 | 0.00/0.05 c | Number Cardinality: 0 | 0.00/0.05 c | Number PB Constraints: 0 | 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 4336 12702 30514 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 31 0.09/0.16 o 31 0.09/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 4336 12703 32787 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 29 0.09/0.17 o 29 0.09/0.17 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 8 | 4336 12704 35060 | 5000 8 49 | 0.000 % | 0.19/0.21 c | 109 | 4336 12704 35060 | 5500 109 39 | 7.072 % | 0.19/0.28 c | 261 | 4336 12704 35060 | 6050 261 45 | 7.074 % | 0.29/0.35 c | 486 | 4336 12704 35060 | 6655 486 40 | 7.072 % | 0.49/0.50 c | 823 | 4336 12704 35060 | 7320 823 40 | 7.073 % | 0.69/0.73 c | 1329 | 4336 12704 35060 | 8052 1329 43 | 7.073 % | 1.00/1.05 c | 2088 | 4336 12704 35060 | 8857 2088 49 | 7.072 % | 1.49/1.53 c | 3228 | 4336 12704 35060 | 9743 3228 56 | 7.073 % | 2.19/2.22 c | 4936 | 4336 12704 35060 | 10717 4936 60 | 7.072 % | 3.39/3.46 c | 7499 | 4336 12704 35060 | 11789 7499 63 | 7.072 % | 4.99/5.02 c | 11347 | 4336 12704 35060 | 12968 11347 63 | 7.072 % | 7.70/7.71 c | 17114 | 4336 12704 35060 | 14265 9893 61 | 7.072 % | 10.99/11.08 c | 25763 | 4336 12704 35060 | 15692 10459 70 | 7.072 % | 16.68/16.72 c | 38737 | 4336 12704 35060 | 17261 14615 73 | 7.072 % | 25.69/25.74 c | 58198 | 4336 12704 35060 | 18987 15130 77 | 7.072 % | 39.68/39.71 c | 87390 | 4336 12704 35060 | 20886 13367 74 | 7.072 % | 60.67/60.77 c | 131180 | 4336 12704 35060 | 22974 21754 72 | 7.073 % | 92.38/92.41 c | 196864 | 4336 12704 35060 | 25272 18737 99 | 7.072 % | 156.16/156.28 c | 295391 | 4336 12704 35060 | 27799 25182 61 | 7.072 % | 181.64/181.75 c There are 330 assigned variables. 164 in cost function. 182.64/182.74 c core #1 182.64/182.74 c core #2 182.64/182.74 c core #3 182.64/182.74 c core #4 182.64/182.74 c core #5 182.64/182.74 c core #6 182.64/182.74 c core #7 182.64/182.74 c core #8 182.64/182.74 c core #9 182.64/182.74 c core #10 182.64/182.74 c core #11 182.64/182.74 c core #12 182.64/182.74 c core #13 182.64/182.74 c core #14 182.64/182.74 c core #15 182.64/182.74 c core #16 182.64/182.74 c core #17 182.64/182.74 c core #18 182.64/182.74 c core #19 182.64/182.74 c core #20 182.64/182.74 c core #21 182.64/182.74 c ============================[ Search Statistics ]============================== 182.64/182.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.74 c =============================================================================== 182.64/182.74 c | 0 | 1455 14391 23849 | 5000 0 nan | 0.000 % | 182.64/182.74 c =============================================================================== 182.64/182.77 c core #22 182.64/182.77 c ============================[ Search Statistics ]============================== 182.64/182.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.77 c =============================================================================== 182.64/182.77 c | 0 | 1976 14398 25200 | 5000 0 nan | 0.000 % | 182.64/182.79 c =============================================================================== 182.74/182.82 c core #23 182.74/182.82 c ============================[ Search Statistics ]============================== 182.74/182.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.82 c =============================================================================== 182.74/182.82 c | 0 | 2281 14439 25952 | 5000 0 nan | 0.000 % | 182.74/182.85 c | 102 | 2281 14439 25952 | 5500 102 48 | 58.633 % | 182.74/182.88 c | 253 | 2281 14439 25952 | 6050 253 42 | 58.633 % | 182.84/182.95 c =============================================================================== 182.84/182.99 c core #24 182.84/182.99 c ============================[ Search Statistics ]============================== 182.84/182.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.99 c =============================================================================== 182.84/182.99 c | 0 | 3438 14671 29293 | 5000 0 nan | 0.000 % | 182.94/183.02 c | 102 | 3438 14671 29293 | 5500 102 72 | 44.656 % | 182.94/183.06 c | 252 | 3438 14671 29293 | 6050 252 58 | 44.656 % | 183.04/183.16 c | 477 | 3438 14671 29293 | 6655 477 60 | 44.656 % | 183.14/183.29 c | 814 | 3438 14671 29293 | 7320 814 63 | 44.656 % | 183.44/183.57 c | 1320 | 3438 14671 29293 | 8052 1320 72 | 44.656 % | 183.84/183.98 c | 2080 | 3438 14671 29293 | 8857 2080 77 | 44.656 % | 184.45/184.56 c | 3220 | 3438 14671 29293 | 9743 3220 79 | 44.656 % | 185.75/185.81 c | 4930 | 3438 14671 29293 | 10717 4930 86 | 44.656 % | 187.34/187.45 c | 7492 | 3438 14671 29293 | 11789 7492 90 | 44.656 % | 189.25/189.36 c =============================================================================== 189.45/189.57 c core #25 189.45/189.57 c ============================[ Search Statistics ]============================== 189.45/189.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.45/189.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.45/189.57 c =============================================================================== 189.45/189.57 c | 0 | 4552 15107 32398 | 5035 0 nan | 0.000 % | 189.54/189.62 c | 101 | 4552 15107 32398 | 5539 101 125 | 37.865 % | 189.54/189.69 c | 254 | 4552 15107 32398 | 6093 254 70 | 37.865 % | 189.74/189.80 c | 479 | 4552 15107 32398 | 6702 479 76 | 37.865 % | 189.85/189.95 c | 817 | 4552 15107 32398 | 7372 817 74 | 37.865 % | 190.04/190.11 c | 1324 | 4552 15107 32398 | 8109 1324 71 | 37.865 % | 190.34/190.43 c | 2084 | 4552 15107 32398 | 8920 2084 61 | 37.865 % | 191.25/191.35 c | 3223 | 4552 15107 32398 | 9813 3223 85 | 37.865 % | 192.14/192.21 c | 4932 | 4552 15107 32398 | 10794 4932 74 | 37.865 % | 194.34/194.45 c | 7497 | 4552 15107 32398 | 11873 7497 114 | 37.865 % | 197.24/197.30 c | 11342 | 4552 15107 32398 | 13061 11342 116 | 37.865 % | 201.83/201.98 c | 17108 | 4552 15107 32398 | 14367 8971 119 | 37.865 % | 210.13/210.23 c | 25759 | 4552 15107 32398 | 15804 8904 139 | 37.865 % | 223.34/223.41 c | 38733 | 4552 15107 32398 | 17384 12383 157 | 37.865 % | 244.13/244.29 c | 58196 | 4552 15107 32398 | 19122 11406 100 | 37.865 % | 277.72/277.84 c | 87388 | 4552 15107 32398 | 21035 18361 142 | 37.865 % | 329.41/329.52 c | 131177 | 4552 15107 32398 | 23138 13458 181 | 37.865 % | 416.39/416.57 c | 196862 | 4552 15107 32398 | 25452 25904 122 | 37.865 % | 435.98/436.12 c =============================================================================== 435.98/436.13 c #cores: 25 435.98/436.13 c Final Weight: 25 435.98/436.13 o 25 435.98/436.13 s OPTIMUM FOUND 435.98/436.13 v -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 x2447 -x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 x3479 -x3481 -x3483 -x3485 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 x4117 -x4119 -x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4142 -x4144 -x4146 -x4148 x4150 -x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4442 -x4444 -x4446 -x4447 -x4449 x4451 -x4453 -x4455 -x4457 -x4459 -x4460 -x4462 x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 x4559 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 x4576 -x4578 -x4579 -x4581 -x4583 x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4660 x4662 -x4664 x4665 x4666 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x2 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x3 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x8 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x28 -x1469 -x1471 x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x45 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x47 -x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 x2877 -x2879 -x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540 -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 x4080 -x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 x4116 x143 -x4118 -x4120 -x144 -x4123 -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 -x4147 x4149 -x4151 -x146 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 -x149 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320 -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 -x4448 x165 x4450 -x4452 -x4454 -x166 -x4456 -x4458 -x167 -x4461 x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547 -x4549 -x173 -x4551 -x4553 -x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 x4575 -x4577 -x175 -x4580 -x4582 -x4585 -x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 x4607 x177 -x4609 -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 x181 -x4637 -x182 -x4639 -x4642 -x4644 -x4646 -x4648 -x183 -x4650 -x4652 -x4654 -x184 -x4656 -x4658 -x185 x4661 -x4663 x186 x187 435.98/436.13 c Total CPU time: 433.091 s
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655777-1276632240/watcher-2655777-1276632240 -o /tmp/evaluation-result-2655777-1276632240/solver-2655777-1276632240 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655777-1276632240.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/106 11143 /proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=3412 CPUtime=0 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 4516490 3493888 322 1992294400 134512640 135751879 4293877456 18446744073709551615 134613979 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 853 323 143 303 0 456 0 [startup+0.086711 s] /proc/loadavg: 0.85 0.97 0.99 3/106 11143 /proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=5388 CPUtime=0.08 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1051 0 0 0 8 0 0 0 20 0 1 0 4516490 5517312 878 1992294400 134512640 135751879 4293877456 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 1347 878 145 303 0 1042 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5388 [startup+0.101711 s] /proc/loadavg: 0.85 0.97 0.99 3/106 11143 /proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=5388 CPUtime=0.09 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1053 0 0 0 9 0 0 0 20 0 1 0 4516490 5517312 880 1992294400 134512640 135751879 4293877456 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 1347 880 145 303 0 1042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5388 [startup+0.301734 s] /proc/loadavg: 0.85 0.97 0.99 3/106 11143 /proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=5388 CPUtime=0.29 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1075 0 0 0 27 2 0 0 20 0 1 0 4516490 5517312 902 1992294400 134512640 135751879 4293877456 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 1347 902 147 303 0 1042 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5388 [startup+0.701777 s] /proc/loadavg: 0.85 0.97 0.99 3/106 11143 /proc/meminfo: memFree=1833516/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=5388 CPUtime=0.69 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1080 0 0 0 66 3 0 0 21 0 1 0 4516490 5517312 907 1992294400 134512640 135751879 4293877456 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 1347 907 147 303 0 1042 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5388 [startup+1.50186 s] /proc/loadavg: 0.85 0.97 0.99 2/107 11144 /proc/meminfo: memFree=1830532/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=5388 CPUtime=1.49 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1080 0 0 0 145 4 0 0 23 0 1 0 4516490 5517312 907 1992294400 134512640 135751879 4293877456 18446744073709551615 134611230 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 1347 907 147 303 0 1042 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5388 [startup+3.10104 s] /proc/loadavg: 0.85 0.97 0.99 2/107 11144 /proc/meminfo: memFree=1829912/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=6700 CPUtime=3.09 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 1400 0 0 0 303 6 0 0 25 0 1 0 4516490 6860800 1227 1992294400 134512640 135751879 4293877456 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 1675 1227 147 303 0 1370 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6700 [startup+6.30139 s] /proc/loadavg: 0.86 0.97 0.99 2/107 11144 /proc/meminfo: memFree=1826936/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=9444 CPUtime=6.29 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 2071 0 0 0 618 11 0 0 25 0 1 0 4516490 9670656 1898 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 2361 1898 147 303 0 2056 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9444 [startup+12.7011 s] /proc/loadavg: 0.87 0.97 0.99 2/107 11144 /proc/meminfo: memFree=1820736/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=15444 CPUtime=12.69 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 3593 0 0 0 1251 18 0 0 25 0 1 0 4516490 15814656 3420 1992294400 134512640 135751879 4293877456 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 3861 3420 148 303 0 3556 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15444 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.99 2/107 11144 /proc/meminfo: memFree=1808584/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=27408 CPUtime=25.48 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 6560 0 0 0 2518 30 0 0 25 0 1 0 4516490 28065792 6387 1992294400 134512640 135751879 4293877456 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 6852 6387 148 303 0 6547 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27408 [startup+51.1013 s] /proc/loadavg: 0.93 0.97 0.99 2/107 11146 /proc/meminfo: memFree=1786636/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=49708 CPUtime=51.08 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 12145 0 0 0 5054 54 0 0 25 0 1 0 4516490 50900992 11972 1992294400 134512640 135751879 4293877456 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 12427 11972 148 303 0 12122 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49708 [startup+102.309 s] /proc/loadavg: 0.97 0.97 0.99 2/107 11146 /proc/meminfo: memFree=1740880/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=94752 CPUtime=102.27 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 23408 0 0 0 10130 97 0 0 25 0 1 0 4516490 97026048 23235 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 23688 23235 148 303 0 23383 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 94752 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 11148 /proc/meminfo: memFree=1707648/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=128616 CPUtime=162.25 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 31842 0 0 0 16073 152 0 0 25 0 1 0 4516490 131702784 31669 1992294400 134512640 135751879 4293877456 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 32154 31669 148 303 0 31849 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 128616 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 11150 /proc/meminfo: memFree=1679996/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=155540 CPUtime=222.23 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 38755 0 0 0 22032 191 0 0 25 0 1 0 4516490 159272960 38440 1992294400 134512640 135751879 4293877456 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 38885 38440 151 303 0 38580 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 155540 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 11152 /proc/meminfo: memFree=1646144/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=189292 CPUtime=282.22 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 47210 0 0 0 28007 215 0 0 25 0 1 0 4516490 193835008 46895 1992294400 134512640 135751879 4293877456 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 47323 46895 151 303 0 47018 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 189292 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 11152 /proc/meminfo: memFree=1609688/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=225384 CPUtime=342.2 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 56226 0 0 0 33975 245 0 0 25 0 1 0 4516490 230793216 55911 1992294400 134512640 135751879 4293877456 18446744073709551615 134609005 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 56346 55911 151 303 0 56041 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 225384 [startup+402.302 s] /proc/loadavg: 1.05 0.99 0.99 2/107 11154 /proc/meminfo: memFree=1581664/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=253780 CPUtime=402.18 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 63337 0 0 0 39943 275 0 0 25 0 1 0 4516490 259870720 63022 1992294400 134512640 135751879 4293877456 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 63445 63022 151 303 0 63140 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 253780 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.04 0.99 0.99 2/107 11154 /proc/meminfo: memFree=1577200/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=257872 CPUtime=409.38 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 64337 0 0 0 40660 278 0 0 25 0 1 0 4516490 264060928 64022 1992294400 134512640 135751879 4293877456 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 64468 64022 151 303 0 64163 0 Current children cumulated CPU time (s) 409.38 Current children cumulated vsize (KiB) 257872 [startup+422.301 s] /proc/loadavg: 1.03 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1570132/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=264748 CPUtime=422.19 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 66058 0 0 0 41935 284 0 0 25 0 1 0 4516490 271101952 65743 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 66187 65743 151 303 0 65882 0 Current children cumulated CPU time (s) 422.19 Current children cumulated vsize (KiB) 264748 [startup+428.702 s] /proc/loadavg: 1.03 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1566040/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=269500 CPUtime=428.58 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 67246 0 0 0 42570 288 0 0 25 0 1 0 4516490 275968000 66931 1992294400 134512640 135751879 4293877456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 67375 66931 151 303 0 67070 0 Current children cumulated CPU time (s) 428.58 Current children cumulated vsize (KiB) 269500 [startup+431.901 s] /proc/loadavg: 1.03 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1563188/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=272404 CPUtime=431.78 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 67965 0 0 0 42888 290 0 0 25 0 1 0 4516490 278941696 67650 1992294400 134512640 135751879 4293877456 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 68101 67650 151 303 0 67796 0 Current children cumulated CPU time (s) 431.78 Current children cumulated vsize (KiB) 272404 [startup+433.501 s] /proc/loadavg: 1.03 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1561824/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=273196 CPUtime=433.38 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68169 0 0 0 43047 291 0 0 25 0 1 0 4516490 279752704 67854 1992294400 134512640 135751879 4293877456 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 68299 67854 151 303 0 67994 0 Current children cumulated CPU time (s) 433.38 Current children cumulated vsize (KiB) 273196 [startup+435.101 s] /proc/loadavg: 1.03 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1561204/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=274120 CPUtime=434.98 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68384 0 0 0 43206 292 0 0 25 0 1 0 4516490 280698880 68069 1992294400 134512640 135751879 4293877456 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 68530 68069 151 303 0 68225 0 Current children cumulated CPU time (s) 434.98 Current children cumulated vsize (KiB) 274120 [startup+435.901 s] /proc/loadavg: 1.03 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1560460/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=274648 CPUtime=435.78 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68542 0 0 0 43286 292 0 0 25 0 1 0 4516490 281239552 68227 1992294400 134512640 135751879 4293877456 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 68662 68227 151 303 0 68357 0 Current children cumulated CPU time (s) 435.78 Current children cumulated vsize (KiB) 274648 [startup+436.101 s] /proc/loadavg: 1.03 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1560460/2059040 swapFree=4192956/4192956 [pid=11143] ppid=11141 vsize=274912 CPUtime=435.98 /proc/11143/stat : 11143 (wbo1.4b) R 11141 11143 11118 0 -1 4202496 68589 0 0 0 43306 292 0 0 25 0 1 0 4516490 281509888 68274 1992294400 134512640 135751879 4293877456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11143/statm: 68728 68274 151 303 0 68423 0 Current children cumulated CPU time (s) 435.98 Current children cumulated vsize (KiB) 274912 Child status: 0 Real time (s): 436.158 CPU time (s): 436.043 CPU user time (s): 433.091 CPU system time (s): 2.95155 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 274912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 433.091 system time used= 2.95155 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68601 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= 9 involuntary context switches= 389 runsolver used 0.723889 second user time and 2.06569 second system time The end
Begin job on node042 at 2010-06-15 22:04:00 IDJOB=2655777 IDBENCH=24982 IDSOLVER=1161 FILE ID=node042/2655777-1276632240 PBS_JOBID= 11172390 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655777-1276632240/watcher-2655777-1276632240 -o /tmp/evaluation-result-2655777-1276632240/solver-2655777-1276632240 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655777-1276632240.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=131785983 node042.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1834168 kB Buffers: 6464 kB Cached: 94680 kB SwapCached: 0 kB Active: 36564 kB Inactive: 123888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834168 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3108 kB Writeback: 0 kB AnonPages: 59292 kB Mapped: 15296 kB Slab: 42600 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183624 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node042 at 2010-06-15 22:11:16