Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | 10 | 214.858 | 214.916 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb |
MD5SUM | 2b747b2caed6577698c928a521fdc3c2 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 38.3592 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | YES |
Number of variables | 3540 |
Total number of constraints | 9890 |
Number of constraints which are clauses | 9890 |
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 | 127 |
Number of terms in the objective function | 1681 |
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 | 1681 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1681 |
Number of bits of the biggest sum of numbers | 11 |
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 Parsing PB file... 0.29/0.30 c Converting 9757 PB-constraints to clauses... 0.29/0.30 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.29/0.31 c -- Detecting intervals from adjacent constraints: =############################################################################ 0.29/0.31 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.29/0.33 c ---[5794]---> BDD-cost: 1 0.29/0.33 c ---[5614]---> BDD-cost: 1 0.29/0.33 c ---[5263]---> BDD-cost: 1 0.29/0.33 c ---[5046]---> BDD-cost: 1 0.29/0.33 c ---[4605]---> BDD-cost: 1 0.29/0.33 c ---[4572]---> BDD-cost: 1 0.29/0.33 c ---[4551]---> BDD-cost: 1 0.29/0.33 c ---[4407]---> BDD-cost: 1 0.29/0.33 c ---[4347]---> BDD-cost: 1 0.29/0.33 c ---[4341]---> BDD-cost: 1 0.29/0.33 c ---[4338]---> BDD-cost: 1 0.29/0.33 c ---[4334]---> BDD-cost: 1 0.29/0.33 c ---[4238]---> BDD-cost: 1 0.29/0.33 c ---[4046]---> BDD-cost: 1 0.29/0.33 c ---[3999]---> BDD-cost: 1 0.29/0.33 c ---[3903]---> BDD-cost: 1 0.29/0.33 c ---[3863]---> BDD-cost: 1 0.29/0.33 c ---[3723]---> BDD-cost: 1 0.29/0.33 c ---[3714]---> BDD-cost: 1 0.29/0.33 c ---[3708]---> BDD-cost: 1 0.29/0.33 c ---[3674]---> BDD-cost: 1 0.29/0.33 c ---[3530]---> BDD-cost: 1 0.29/0.33 c ---[3526]---> BDD-cost: 1 0.29/0.33 c ---[3516]---> BDD-cost: 1 0.29/0.33 c ---[3465]---> BDD-cost: 1 0.29/0.33 c ---[3462]---> BDD-cost: 1 0.29/0.33 c ---[3455]---> BDD-cost: 1 0.29/0.33 c ---[3448]---> BDD-cost: 1 0.29/0.33 c ---[3441]---> BDD-cost: 1 0.29/0.33 c ---[3435]---> BDD-cost: 1 0.29/0.33 c ---[3429]---> BDD-cost: 1 0.29/0.33 c ---[3426]---> BDD-cost: 1 0.29/0.33 c ---[2918]---> BDD-cost: 1 0.29/0.33 c ---[2914]---> BDD-cost: 1 0.29/0.33 c ---[2792]---> BDD-cost: 1 0.29/0.33 c ---[2788]---> BDD-cost: 1 0.29/0.33 c ---[2755]---> BDD-cost: 1 0.29/0.33 c ---[2748]---> BDD-cost: 1 0.29/0.33 c ---[2742]---> BDD-cost: 1 0.29/0.33 c ---[2739]---> BDD-cost: 1 0.29/0.33 c ---[2736]---> BDD-cost: 1 0.29/0.33 c ---[2733]---> BDD-cost: 1 0.29/0.33 c ---[2616]---> BDD-cost: 1 0.29/0.33 c ---[2609]---> BDD-cost: 1 0.29/0.33 c ---[2588]---> BDD-cost: 1 0.29/0.33 c ---[2585]---> BDD-cost: 1 0.29/0.33 c ---[2579]---> BDD-cost: 1 0.29/0.33 c ---[2576]---> BDD-cost: 1 0.29/0.33 c ---[2538]---> BDD-cost: 1 0.29/0.33 c ---[2322]---> BDD-cost: 1 0.29/0.33 c ---[2288]---> BDD-cost: 1 0.29/0.33 c ---[2258]---> BDD-cost: 1 0.29/0.33 c ---[2161]---> BDD-cost: 1 0.29/0.33 c ---[2144]---> BDD-cost: 1 0.29/0.33 c ---[2075]---> BDD-cost: 1 0.29/0.33 c ---[2022]---> BDD-cost: 1 0.29/0.33 c ---[2019]---> BDD-cost: 1 0.29/0.33 c ---[1949]---> BDD-cost: 1 0.29/0.33 c ---[1940]---> BDD-cost: 1 0.29/0.33 c ---[1923]---> BDD-cost: 1 0.29/0.33 c ---[1898]---> BDD-cost: 1 0.29/0.33 c ---[1895]---> BDD-cost: 1 0.29/0.33 c ---[1891]---> BDD-cost: 1 0.29/0.33 c ---[1757]---> BDD-cost: 1 0.29/0.33 c ---[1754]---> BDD-cost: 1 0.29/0.33 c ---[1657]---> BDD-cost: 1 0.29/0.33 c ---[1650]---> BDD-cost: 1 0.29/0.33 c ---[1589]---> BDD-cost: 1 0.29/0.33 c ---[1567]---> BDD-cost: 1 0.29/0.33 c ---[1554]---> BDD-cost: 1 0.29/0.33 c ---[1544]---> BDD-cost: 1 0.29/0.33 c ---[1340]---> BDD-cost: 1 0.29/0.33 c ---[1181]---> BDD-cost: 1 0.29/0.33 c ---[ 981]---> BDD-cost: 1 0.29/0.33 c ---[ 615]---> BDD-cost: 1 0.29/0.33 c ---[ 569]---> BDD-cost: 1 0.29/0.34 c ==================================[MINISAT+]================================== 0.29/0.34 c | Conflicts | Original | Learnt | Progress | 0.29/0.34 c | | Clauses Literals | Max Clauses Literals LPC | | 0.29/0.34 c ============================================================================== 0.29/0.34 c | 0 | 8681 22334 | 2893 0 0 nan | 0.000 % | 0.29/0.34 c ============================================================================== 0.29/0.34 c [1mFound solution: 12[0m 0.29/0.34 o 12 0.29/0.35 c ---[ 0]---> Sorter-cost:86694 Base: 1.99/2.09 c ==================================[MINISAT+]================================== 1.99/2.09 c | Conflicts | Original | Learnt | Progress | 1.99/2.09 c | | Clauses Literals | Max Clauses Literals LPC | | 1.99/2.09 c ============================================================================== 1.99/2.09 c | 0 | 101514 239060 | 33838 0 0 nan | 0.000 % | 2.09/2.17 c | 102 | 101514 239060 | 37221 102 2890 28.3 | 0.568 % | 2.38/2.42 c | 253 | 101514 239060 | 40943 253 10938 43.2 | 0.568 % | 2.88/2.96 c | 479 | 101502 239036 | 45038 475 23872 50.3 | 0.576 % | 3.48/3.52 c | 818 | 101502 239036 | 49542 814 40722 50.0 | 0.576 % | 4.49/4.51 c | 1324 | 101502 239036 | 54496 1320 58819 44.6 | 0.576 % | 5.09/5.11 c | 2084 | 101502 239036 | 59946 2080 80118 38.5 | 0.576 % | 6.89/6.91 c | 3223 | 101502 239036 | 65940 3219 116913 36.3 | 0.576 % | 9.19/9.26 c | 4933 | 101502 239036 | 72534 4929 167257 33.9 | 0.576 % | 11.28/11.34 c | 7496 | 101502 239036 | 79788 7492 238139 31.8 | 0.576 % | 18.39/18.49 c | 11341 | 101466 238964 | 87767 11331 364795 32.2 | 0.584 % | 29.19/29.28 c | 17109 | 101466 238964 | 96543 17099 509498 29.8 | 0.584 % | 45.78/45.88 c | 25758 | 101466 238964 | 106198 25748 735844 28.6 | 0.584 % | 72.07/72.17 c | 38732 | 101466 238964 | 116817 38722 1107471 28.6 | 0.584 % | 119.86/119.94 c | 58195 | 101466 238964 | 128499 58185 1581750 27.2 | 0.584 % | 190.25/190.38 c | 87387 | 101466 238964 | 141349 87377 2358125 27.0 | 0.584 % | 194.84/194.91 c ============================================================================== 194.84/194.91 c [1mFound solution: 10[0m 194.84/194.91 o 10 194.84/194.93 c ---[ 0]---> Sorter-cost: 0 Base: 196.54/196.60 c ==================================[MINISAT+]================================== 196.54/196.60 c | Conflicts | Original | Learnt | Progress | 196.54/196.60 c | | Clauses Literals | Max Clauses Literals LPC | | 196.54/196.60 c ============================================================================== 196.54/196.60 c | 88826 | 101095 238084 | 33698 88816 2394308 27.0 | 0.584 % | 199.64/199.72 c | 88928 | 101095 238084 | 37067 18627 424816 22.8 | 1.015 % | 199.94/200.03 c | 89080 | 101095 238084 | 40774 18779 429255 22.9 | 1.015 % | 200.54/200.69 c | 89305 | 101095 238084 | 44852 19004 435548 22.9 | 1.015 % | 201.64/201.72 c | 89643 | 101095 238084 | 49337 19342 444694 23.0 | 1.015 % | 202.74/202.81 c | 90149 | 101095 238084 | 54270 19848 456904 23.0 | 1.015 % | 204.44/204.57 c | 90908 | 101095 238084 | 59698 20607 472748 22.9 | 1.015 % | 207.23/207.31 c | 92047 | 101095 238084 | 65667 21746 494146 22.7 | 1.015 % | 211.23/211.34 c | 93755 | 101095 238084 | 72234 23454 521520 22.2 | 1.015 % | 214.73/214.89 c ============================================================================== 214.73/214.89 c [1mOptimal solution: 10[0m 214.73/214.89 s OPTIMUM FOUND 214.73/214.89 v -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 214.73/214.89 v -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 214.73/214.89 v -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 214.73/214.89 v -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 x370 -x372 -x374 214.73/214.89 v -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 214.73/214.89 v -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 214.73/214.89 v -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 214.73/214.89 v -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 214.73/214.89 v -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 214.73/214.89 v -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 214.73/214.89 v -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 214.73/214.89 v -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 214.73/214.89 v -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 214.73/214.89 v -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 214.73/214.89 v -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 214.73/214.89 v -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 214.73/214.89 v -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 214.73/214.89 v -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 214.73/214.89 v -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 214.73/214.89 v -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 214.73/214.89 v -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 214.73/214.89 v -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 214.73/214.89 v -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 214.73/214.89 v -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 214.73/214.89 v -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 214.73/214.89 v -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 214.73/214.89 v -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 214.73/214.89 v -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 214.73/214.89 v -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 214.73/214.89 v -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 214.73/214.89 v -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 214.73/214.89 v -x1412 -x1414 -x1416 -x1418 -x1420 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 214.73/214.89 v -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 214.73/214.89 v -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 214.73/214.89 v -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 214.73/214.89 v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 214.73/214.89 v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 214.73/214.89 v -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 214.73/214.89 v -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 214.73/214.89 v -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 214.73/214.89 v -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 214.73/214.89 v -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 214.73/214.89 v -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 214.73/214.89 v -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 214.73/214.89 v -x1851 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 214.73/214.89 v -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 214.73/214.89 v -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 214.73/214.89 v -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 214.73/214.89 v -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 214.73/214.89 v -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 214.73/214.89 v -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 214.73/214.89 v -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 214.73/214.89 v -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 x2145 -x2147 -x2149 -x2151 -x2153 214.73/214.89 v -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 214.73/214.89 v -x2189 -x2191 x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 214.73/214.89 v -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 214.73/214.89 v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 x2289 214.73/214.89 v -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 214.73/214.89 v -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 214.73/214.89 v -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 214.73/214.89 v -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 214.73/214.89 v -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 214.73/214.89 v -x2460 -x2462 -x2464 -x2466 -x2467 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 214.73/214.89 v -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 214.73/214.89 v -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 214.73/214.89 v -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 214.73/214.89 v -x2594 -x2596 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 214.73/214.89 v -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 214.73/214.89 v -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 214.73/214.89 v -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 214.73/214.89 v -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 x2758 -x2760 214.73/214.89 v -x2762 -x2764 -x2766 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 214.73/214.89 v -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 214.73/214.89 v -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 214.73/214.89 v -x2862 -x2863 -x2864 -x2866 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 214.73/214.89 v -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 214.73/214.89 v -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 214.73/214.89 v -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 214.73/214.89 v -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 214.73/214.89 v -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 214.73/214.89 v -x3062 -x3064 -x3066 -x3068 -x3070 x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 214.73/214.89 v -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3112 -x3114 -x3116 -x3118 -x3120 -x3121 -x3123 -x3125 214.73/214.89 v -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 214.73/214.89 v -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3180 -x3182 -x3184 -x3185 -x3187 -x3189 -x3190 214.73/214.89 v -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 214.73/214.89 v -x3226 -x3228 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 214.73/214.89 v -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3286 -x3288 -x3290 214.73/214.89 v -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 214.73/214.89 v -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 214.73/214.89 v -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 214.73/214.89 v -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3420 -x3422 -x3424 214.73/214.89 v -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 214.73/214.89 v -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 214.73/214.89 v -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 214.73/214.89 v -x3526 -x3528 -x3530 -x3532 -x3534 x3536 -x3538 -x3540 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 214.73/214.89 v -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 214.73/214.89 v -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 214.73/214.89 v -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 214.73/214.89 v -x355 -x357 -x359 -x361 -x363 -x365 -x367 x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 214.73/214.89 v -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 214.73/214.89 v -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x1 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 214.73/214.89 v -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 214.73/214.89 v -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 214.73/214.89 v -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x2 -x589 -x591 -x593 -x595 -x597 -x599 -x601 214.73/214.89 v -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 214.73/214.89 v -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 214.73/214.89 v -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x3 -x713 -x715 -x717 -x719 -x721 -x723 -x725 214.73/214.89 v -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 214.73/214.89 v -x769 -x771 -x773 -x4 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 214.73/214.89 v -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 214.73/214.89 v -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 214.73/214.89 v -x893 -x5 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 214.73/214.89 v -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x6 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 214.73/214.89 v -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 214.73/214.89 v -x1013 -x7 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x8 214.73/214.89 v -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 214.73/214.89 v -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 214.73/214.89 v -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 214.73/214.89 v -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x9 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 214.73/214.89 v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 214.73/214.89 v -x1215 -x10 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 214.73/214.89 v -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x11 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 214.73/214.89 v -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x12 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 214.73/214.89 v -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 214.73/214.89 v -x1351 -x1353 -x1355 -x13 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 214.73/214.89 v -x14 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x15 -x1413 -x1415 214.73/214.89 v -x1417 -x1419 -x1422 -x1424 -x16 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 214.73/214.89 v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 214.73/214.89 v -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 214.73/214.89 v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x17 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 214.73/214.89 v -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x18 -x1586 214.73/214.89 v -x1588 -x1590 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 214.73/214.89 v -x1623 -x1625 -x1627 -x1629 -x1631 -x19 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x20 214.73/214.89 v -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 214.73/214.89 v -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x21 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 214.73/214.89 v -x1724 -x1726 -x22 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x23 -x1752 -x1754 214.73/214.89 v -x1756 -x1758 -x1760 -x1762 -x24 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 214.73/214.89 v -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 214.73/214.89 v -x1824 -x1826 -x1828 -x1830 -x26 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1853 -x1855 x27 214.73/214.89 v -x1857 -x1859 -x1861 x1863 -x1865 -x1867 -x28 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 214.73/214.89 v -x1891 -x29 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x30 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x31 -x1918 -x1920 214.73/214.89 v -x32 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 214.73/214.89 v -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 214.73/214.89 v -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 214.73/214.89 v -x33 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 214.73/214.89 v -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x34 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 214.73/214.89 v -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x35 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 214.73/214.89 v -x2126 -x2128 x36 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 214.73/214.89 v -x37 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x38 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 214.73/214.89 v x39 x2192 -x2194 -x2196 -x2198 -x40 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 214.73/214.89 v -x2224 -x2226 -x2228 -x2230 -x2232 -x41 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x42 -x2248 -x2250 -x2252 -x2254 214.73/214.89 v -x2256 -x43 -x2258 -x2260 -x2262 -x44 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x45 -x2276 -x2278 -x2280 -x2282 -x46 -x2284 214.73/214.89 v -x2286 x2288 x47 -x2290 -x48 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 214.73/214.89 v -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x49 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x50 -x2344 -x2346 -x2348 214.73/214.89 v -x2350 -x2352 -x51 -x2354 -x2356 -x2358 -x52 -x2360 -x2362 -x2364 -x2366 -x53 -x2368 -x2370 -x2372 -x54 -x2374 -x55 -x2376 214.73/214.89 v -x56 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x57 -x2392 -x2394 -x58 -x2396 -x2398 -x59 x60 -x2400 -x2402 -x61 214.73/214.89 v x62 x63 -x2405 -x64 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 214.73/214.89 v -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2469 -x2471 214.73/214.89 v -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 214.73/214.89 v -x2507 -x2509 -x2511 -x65 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 214.73/214.89 v -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x66 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 214.73/214.89 v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2598 -x2600 -x2602 -x2604 -x2606 -x67 -x2608 214.73/214.89 v -x2610 -x2612 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x68 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 214.73/214.89 v -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x69 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 214.73/214.89 v -x70 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x71 -x2691 -x2693 -x2695 -x2697 -x72 -x2699 -x2701 -x2703 -x2705 -x2707 214.73/214.89 v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 214.73/214.89 v -x2743 -x2745 -x2747 x74 -x2749 -x2751 -x2753 -x2755 x2757 -x2759 -x2761 -x2763 x75 -x2765 -x2768 -x76 -x2770 -x2772 -x2774 214.73/214.89 v -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 214.73/214.89 v -x2810 -x2812 -x2814 -x2816 -x2818 -x77 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x78 -x2834 -x2836 -x2838 -x2840 214.73/214.89 v -x2842 -x79 -x2844 -x80 -x2846 -x81 -x2848 -x2850 -x2852 -x2854 -x2856 -x82 -x2858 -x2861 -x83 -x84 -x2865 -x85 -x2868 -x2870 214.73/214.89 v -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x86 -x2890 -x2892 -x2894 -x87 -x2896 -x2898 x88 -x89 -x2900 214.73/214.89 v -x2902 -x90 -x2904 -x91 -x92 -x93 -x2907 x94 -x2909 x95 -x2911 -x2913 -x2915 -x2917 -x96 -x97 -x2919 -x2921 -x98 -x99 -x100 214.73/214.89 v -x101 x102 -x103 -x104 -x105 x106 -x107 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 214.73/214.89 v -x2947 -x2949 -x2951 -x2953 -x108 -x2955 -x2957 -x2959 -x2961 -x2963 -x109 -x2965 -x2967 -x2969 -x110 -x2971 -x2973 -x2975 214.73/214.89 v -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 214.73/214.89 v -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 214.73/214.89 v -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3072 -x3074 -x3076 -x3078 214.73/214.89 v -x3080 -x111 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 214.73/214.89 v -x3113 -x112 -x3115 -x3117 -x3119 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x113 -x3140 -x3142 -x114 214.73/214.89 v -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 214.73/214.89 v -x3178 -x115 -x3181 -x3183 -x116 -x3186 x117 -x3188 -x118 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 214.73/214.89 v -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x119 -x3221 -x3223 -x3225 -x120 -x3227 -x3230 -x121 -x3232 -x122 -x3234 -x3236 214.73/214.89 v -x123 -x124 -x125 -x3238 -x126 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 214.73/214.89 v -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 214.73/214.89 v -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 214.73/214.89 v -x127 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x128 -x3364 -x3366 214.73/214.89 v -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x129 -x3390 -x3392 -x130 -x3394 -x3396 -x3398 214.73/214.89 v -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x131 -x3412 -x3414 -x3416 -x132 -x3419 -x3421 -x133 -x3423 -x134 -x3426 -x3428 214.73/214.89 v -x3430 -x3432 -x3434 -x3436 -x3438 -x3441 -x3443 -x135 -x136 -x137 -x3445 x138 -x139 -x140 -x141 -x3447 -x3449 -x3451 -x3453 214.73/214.89 v -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x142 x143 -x144 -x145 -x3469 -x146 -x147 x148 -x149 -x3471 -x150 x151 214.73/214.89 v x152 -x153 -x154 -x155 x156 -x157 -x3473 -x158 -x159 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 214.73/214.89 v -x3495 -x160 -x161 -x3497 -x162 -x163 x164 -x165 -x166 -x167 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 214.73/214.89 v -x3517 -x3519 -x3521 -x168 -x169 -x3523 -x170 -x171 x172 -x173 -x174 -x3525 -x175 -x176 x177 -x178 -x179 -x180 x181 -x3527 214.73/214.89 v -x3529 -x3531 -x3533 x3535 -x3537 -x182 -x183 -x184 -x185 -x3539 -x186 -x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 214.73/214.89 v x196 -x197 -x198 -x199 x200 -x201 -x202 x203 x204 x205 -x206 214.73/214.89 c _______________________________________________________________________________ 214.73/214.89 c 214.73/214.89 c restarts : 26 214.73/214.89 c conflicts : 95236 (443 /sec) 214.73/214.89 c decisions : 148764 (693 /sec) 214.73/214.89 c propagations : 0 (0 /sec) 214.73/214.89 c inspects : 0 (0 /sec) 214.73/214.89 c CPU time : 214.76 s 214.73/214.89 c _______________________________________________________________________________
OK 10
/tmp/evaluation/372883-1177364945/instance-372883-1177364945.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-372883-1177364945 -o ROOT/results/node48/solver-372883-1177364945 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372883-1177364945/minisat+ /tmp/evaluation/372883-1177364945/instance-372883-1177364945.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.78 0.95 0.92 3/64 29564 /proc/meminfo: memFree=1846784/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=1352 CPUtime=0 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 91339850 1384448 167 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 338 167 68 215 0 120 0 [startup+0.0910419 s] /proc/loadavg: 0.78 0.95 0.92 3/64 29564 /proc/meminfo: memFree=1846784/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=2276 CPUtime=0.08 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 399 0 0 0 8 0 0 0 18 0 1 0 91339850 2330624 386 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 569 387 74 215 0 351 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2276 [startup+0.101042 s] /proc/loadavg: 0.78 0.95 0.92 3/64 29564 /proc/meminfo: memFree=1846784/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=2276 CPUtime=0.09 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 421 0 0 0 9 0 0 0 18 0 1 0 91339850 2330624 408 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135003247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 569 409 74 215 0 351 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2276 [startup+0.30106 s] /proc/loadavg: 0.78 0.95 0.92 3/64 29564 /proc/meminfo: memFree=1846784/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=3984 CPUtime=0.29 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 842 0 0 0 29 0 0 0 19 0 1 0 91339850 4079616 829 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 996 829 75 215 0 778 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3984 [startup+0.701097 s] /proc/loadavg: 0.78 0.95 0.92 3/64 29564 /proc/meminfo: memFree=1846784/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=5060 CPUtime=0.69 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 1122 0 0 0 68 1 0 0 19 0 1 0 91339850 5181440 1109 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 1265 1109 103 215 0 1047 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5060 [startup+1.50117 s] /proc/loadavg: 0.78 0.95 0.92 2/65 29565 /proc/meminfo: memFree=1842744/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=5244 CPUtime=1.49 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 1166 0 0 0 148 1 0 0 25 0 1 0 91339850 5369856 1153 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134838325 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 1311 1153 103 215 0 1093 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5244 [startup+3.10232 s] /proc/loadavg: 0.78 0.95 0.92 2/65 29565 /proc/meminfo: memFree=1831672/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=17564 CPUtime=3.09 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 4259 0 0 0 307 2 0 0 25 0 1 0 91339850 17985536 3894 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580730 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 4391 3894 110 215 0 4173 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17564 [startup+6.30161 s] /proc/loadavg: 0.80 0.95 0.92 2/65 29565 /proc/meminfo: memFree=1831160/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=17960 CPUtime=6.29 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 4371 0 0 0 626 3 0 0 25 0 1 0 91339850 18391040 4006 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 4490 4006 110 215 0 4272 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17960 [startup+12.7012 s] /proc/loadavg: 0.81 0.95 0.92 2/65 29565 /proc/meminfo: memFree=1830264/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=18884 CPUtime=12.68 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 4602 0 0 0 1265 3 0 0 25 0 1 0 91339850 19337216 4237 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580975 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 4721 4237 110 215 0 4503 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18884 [startup+25.5014 s] /proc/loadavg: 0.93 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1829112/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=20096 CPUtime=25.49 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 4892 0 0 0 2545 4 0 0 25 0 1 0 91339850 20578304 4527 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 5024 4527 110 215 0 4806 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20096 [startup+51.1017 s] /proc/loadavg: 0.95 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1827128/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=22312 CPUtime=51.08 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 5417 0 0 0 5104 4 0 0 25 0 1 0 91339850 22847488 5052 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 5578 5052 110 215 0 5360 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22312 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1823736/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=25836 CPUtime=102.26 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 6259 0 0 0 10221 5 0 0 25 0 1 0 91339850 26456064 5894 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 6459 5894 110 215 0 6241 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25836 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1819896/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=29672 CPUtime=162.25 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7210 0 0 0 16218 7 0 0 25 0 1 0 91339850 30384128 6845 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 7418 6845 110 215 0 7200 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29672 Solver just ended. Dumping a history of the last processes samples [startup+179.102 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1819000/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=30488 CPUtime=179.04 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7438 0 0 0 17897 7 0 0 25 0 1 0 91339850 31219712 7073 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 7622 7073 110 215 0 7404 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 30488 [startup+191.902 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1818360/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=31220 CPUtime=191.84 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7582 0 0 0 19177 7 0 0 25 0 1 0 91339850 31969280 7217 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 7805 7217 110 215 0 7587 0 Current children cumulated CPU time (s) 191.84 Current children cumulated vsize (KiB) 31220 [startup+204.702 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1816760/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=33260 CPUtime=204.63 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7971 0 0 0 20456 7 0 0 25 0 1 0 91339850 34058240 7606 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134576758 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 8315 7606 110 215 0 8097 0 Current children cumulated CPU time (s) 204.63 Current children cumulated vsize (KiB) 33260 [startup+211.102 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1816824/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=33260 CPUtime=211.04 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7971 0 0 0 21097 7 0 0 25 0 1 0 91339850 34058240 7606 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 8315 7606 110 215 0 8097 0 Current children cumulated CPU time (s) 211.04 Current children cumulated vsize (KiB) 33260 [startup+212.702 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1816824/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=33260 CPUtime=212.63 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7971 0 0 0 21256 7 0 0 25 0 1 0 91339850 34058240 7606 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 8315 7606 110 215 0 8097 0 Current children cumulated CPU time (s) 212.63 Current children cumulated vsize (KiB) 33260 [startup+214.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1816824/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=33260 CPUtime=214.23 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7971 0 0 0 21416 7 0 0 25 0 1 0 91339850 34058240 7606 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 8315 7606 110 215 0 8097 0 Current children cumulated CPU time (s) 214.23 Current children cumulated vsize (KiB) 33260 [startup+214.702 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1816824/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=33260 CPUtime=214.63 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7971 0 0 0 21456 7 0 0 25 0 1 0 91339850 34058240 7606 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581110 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 8315 7606 110 215 0 8097 0 Current children cumulated CPU time (s) 214.63 Current children cumulated vsize (KiB) 33260 [startup+214.902 s] /proc/loadavg: 0.99 0.97 0.93 2/65 29565 /proc/meminfo: memFree=1816824/2055920 swapFree=4184636/4192956 [pid=29564] ppid=29562 vsize=32084 CPUtime=214.83 /proc/29564/stat : 29564 (minisat+) R 29562 29564 28952 0 -1 4194304 7973 0 0 0 21476 7 0 0 25 0 1 0 91339850 32854016 7353 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134798650 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29564/statm: 8021 7353 112 215 0 7803 0 Current children cumulated CPU time (s) 214.83 Current children cumulated vsize (KiB) 32084 Child status: 30 Real time (s): 214.916 CPU time (s): 214.858 CPU user time (s): 214.773 CPU system time (s): 0.084987 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 33344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 214.773 system time used= 0.084987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7975 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= 82 involuntary context switches= 423 runsolver used 0.180972 second user time and 0.440932 second system time The end
Begin job on node48 on Mon Apr 23 21:49:05 UTC 2007 IDJOB= 372883 IDBENCH= 25004 IDSOLVER= 156 FILE ID= node48/372883-1177364945 PBS_JOBID= 4675163 Free space on /tmp= 66483 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= /tmp/evaluation/372883-1177364945/minisat+ /tmp/evaluation/372883-1177364945/instance-372883-1177364945.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node48/convwatcher-372883-1177364945 -o ROOT/results/node48/conversion-372883-1177364945 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372883-1177364945/instance-372883-1177364945.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-372883-1177364945 -o ROOT/results/node48/solver-372883-1177364945 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372883-1177364945/minisat+ /tmp/evaluation/372883-1177364945/instance-372883-1177364945.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED= 897021515 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1847256 kB Buffers: 29736 kB Cached: 96600 kB SwapCached: 2456 kB Active: 30140 kB Inactive: 106196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847256 kB SwapTotal: 4192956 kB SwapFree: 4184636 kB Dirty: 2808 kB Writeback: 0 kB Mapped: 16764 kB Slab: 58336 kB Committed_AS: 1154220 kB PageTables: 1388 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= 66483 MiB End job on node48 on Mon Apr 23 21:52:40 UTC 2007