Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | SAT (TO) | 660254 | 1800.12 | 1800.73 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__128.opb |
MD5SUM | c60a8914afda75f67db3a97e49d1591e |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 46877 |
Best CPU time to get the best result obtained on this benchmark | 4.76327 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5138 |
Total number of constraints | 60 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 42 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 128 |
Maximum length of a constraint | 1025 |
Number of terms in the objective function | 5120 |
Biggest coefficient in the objective function | 94409 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 223303936 |
Number of bits of the sum of numbers in the objective function | 28 |
Biggest number in a constraint | 94409 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 223303936 |
Number of bits of the biggest sum of numbers | 28 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.06 c constraints 60/0 clauses 0/0 units 0 0.00/0.06 c vars 5138 0.00/0.06 c objective 5120 + 0 414.65/414.81 c 362.379 112.879 53076 24117005 414.65/414.81 o 674061 652.77/653.06 c 570.809 114.984 10932 34635586 652.77/653.06 o 670314 812.31/812.67 c 709.647 114.984 13653 42603229 812.31/812.67 o 664690 1243.97/1244.49 c 1091.67 122.074 17296 57325958 1243.97/1244.49 o 663861 1714.51/1715.17 c 1506.61 125.047 13998 72456878 1714.51/1715.17 o 662439 1739.19/1739.85 c 1528.2 125.047 9996 73340941 1739.19/1739.85 o 660254 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5121 x5122 x5123 -x5124 x5125 x5126 x5127 x5128 x5129 x5130 x5131 -x5132 -x5133 -x5134 x5135 x5136 -x5137 -x5138
OK 660254
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683113-1277506885/watcher-2683113-1277506885 -o /tmp/evaluation-result-2683113-1277506885/solver-2683113-1277506885 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683113-1277506885.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: 1.06 1.05 1.00 3/106 25461 /proc/meminfo: memFree=1871060/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=2416 CPUtime=0 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 294 0 0 0 0 0 0 0 18 0 1 0 126291945 2473984 213 1992294400 134512640 136421960 4294309312 18446744073709551615 135160329 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25461/statm: 604 213 135 467 0 135 0 [startup+0.0629989 s] /proc/loadavg: 1.06 1.05 1.00 3/106 25461 /proc/meminfo: memFree=1871060/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=4652 CPUtime=0.05 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 818 0 0 0 5 0 0 0 20 0 1 0 126291945 4763648 737 1992294400 134512640 136421960 4294309312 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 1163 739 193 467 0 694 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4652 [startup+0.101005 s] /proc/loadavg: 1.06 1.05 1.00 3/106 25461 /proc/meminfo: memFree=1871060/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=8360 CPUtime=0.09 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 1754 0 0 0 8 1 0 0 20 0 1 0 126291945 8560640 1673 1992294400 134512640 136421960 4294309312 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 2090 1674 193 467 0 1621 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8360 [startup+0.301042 s] /proc/loadavg: 1.06 1.05 1.00 3/106 25461 /proc/meminfo: memFree=1871060/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=24284 CPUtime=0.29 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 5740 0 0 0 26 3 0 0 20 0 1 0 126291945 24866816 5593 1992294400 134512640 136421960 4294309312 18446744073709551615 135809541 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 6071 5594 193 467 0 5602 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24284 [startup+0.701116 s] /proc/loadavg: 1.06 1.05 1.00 3/106 25461 /proc/meminfo: memFree=1871060/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=51244 CPUtime=0.69 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 13000 0 0 0 64 5 0 0 21 0 1 0 126291945 52473856 12383 1992294400 134512640 136421960 4294309312 18446744073709551615 135812090 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 12811 12384 193 467 0 12342 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51244 [startup+1.50126 s] /proc/loadavg: 1.05 1.05 1.00 2/107 25462 /proc/meminfo: memFree=1782764/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=103740 CPUtime=1.49 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 26398 0 0 0 137 12 0 0 23 0 1 0 126291945 106229760 24708 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 25935 24708 214 467 0 25466 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103740 [startup+3.10156 s] /proc/loadavg: 1.05 1.05 1.00 2/107 25462 /proc/meminfo: memFree=1772472/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=103740 CPUtime=3.09 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 26404 0 0 0 274 35 0 0 25 0 1 0 126291945 106229760 24714 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 25935 24714 215 467 0 25466 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 103740 [startup+6.30115 s] /proc/loadavg: 1.05 1.05 1.00 2/107 25462 /proc/meminfo: memFree=1772224/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=104024 CPUtime=6.28 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 26449 0 0 0 545 83 0 0 25 0 1 0 126291945 106520576 24759 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 26006 24759 215 467 0 25537 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 104024 [startup+12.7013 s] /proc/loadavg: 1.05 1.04 1.00 2/107 25462 /proc/meminfo: memFree=1772100/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=104024 CPUtime=12.69 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 26459 0 0 0 1101 168 0 0 25 0 1 0 126291945 106520576 24769 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 26006 24769 215 467 0 25537 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 104024 [startup+25.5007 s] /proc/loadavg: 1.04 1.04 1.00 2/107 25462 /proc/meminfo: memFree=1770860/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=105312 CPUtime=25.48 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 26761 0 0 0 2210 338 0 0 25 0 1 0 126291945 107839488 25071 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 26328 25071 215 467 0 25859 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 105312 [startup+51.1014 s] /proc/loadavg: 1.02 1.04 1.00 2/107 25462 /proc/meminfo: memFree=1769620/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=106632 CPUtime=51.07 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 27081 0 0 0 4434 673 0 0 25 0 1 0 126291945 109191168 25391 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 26658 25391 215 467 0 26189 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 106632 [startup+102.309 s] /proc/loadavg: 1.01 1.03 1.00 2/107 25464 /proc/meminfo: memFree=1765280/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=110784 CPUtime=102.27 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 28136 0 0 0 8887 1340 0 0 25 0 1 0 126291945 113442816 26446 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 27696 26446 215 467 0 27227 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 110784 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25466 /proc/meminfo: memFree=1762676/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=113400 CPUtime=162.23 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 28773 0 0 0 14145 2078 0 0 25 0 1 0 126291945 116121600 27083 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 28350 27083 215 467 0 27881 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 113400 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25468 /proc/meminfo: memFree=1761064/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=114924 CPUtime=222.21 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29160 0 0 0 19459 2762 0 0 25 0 1 0 126291945 117682176 27470 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 28731 27470 215 467 0 28262 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 114924 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25468 /proc/meminfo: memFree=1760320/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=115584 CPUtime=282.19 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29347 0 0 0 24733 3486 0 0 25 0 1 0 126291945 118358016 27657 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 28896 27657 215 467 0 28427 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 115584 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25470 /proc/meminfo: memFree=1760196/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=115584 CPUtime=342.18 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29347 0 0 0 29935 4283 0 0 25 0 1 0 126291945 118358016 27657 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 28896 27657 215 467 0 28427 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 115584 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25472 /proc/meminfo: memFree=1760196/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=115584 CPUtime=402.15 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29347 0 0 0 35140 5075 0 0 25 0 1 0 126291945 118358016 27657 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 28896 27657 215 467 0 28427 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 115584 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25474 /proc/meminfo: memFree=1759328/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=117608 CPUtime=462.14 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29957 0 0 0 40359 5855 0 0 25 0 1 0 126291945 120430592 27760 1992294400 134512640 136421960 4294309312 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 29402 27760 238 467 0 28933 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 117608 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25476 /proc/meminfo: memFree=1759328/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=117740 CPUtime=522.11 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29989 0 0 0 45611 6600 0 0 25 0 1 0 126291945 120565760 27792 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 29435 27792 238 467 0 28966 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 117740 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25476 /proc/meminfo: memFree=1759328/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=117740 CPUtime=582.09 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29989 0 0 0 50859 7350 0 0 25 0 1 0 126291945 120565760 27792 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 29435 27792 238 467 0 28966 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 117740 [startup+642.302 s] /proc/loadavg: 1.07 1.02 1.00 2/107 25478 /proc/meminfo: memFree=1759328/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=117740 CPUtime=642.08 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 29989 0 0 0 56147 8061 0 0 25 0 1 0 126291945 120565760 27792 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 29435 27792 238 467 0 28966 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 117740 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.10 1.07 1.01 2/107 25487 /proc/meminfo: memFree=1754988/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=121832 CPUtime=881.99 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31004 0 0 0 77141 11058 0 0 25 0 1 0 126291945 124755968 28805 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 30458 28805 238 467 0 29989 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 121832 [startup+942.301 s] /proc/loadavg: 1.08 1.07 1.01 2/107 25489 /proc/meminfo: memFree=1751640/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=941.97 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31805 0 0 0 82584 11613 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 125000 [startup+1002.3 s] /proc/loadavg: 1.07 1.07 1.01 2/107 25491 /proc/meminfo: memFree=1751516/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1001.94 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31805 0 0 0 87876 12318 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 125000 [startup+1062.3 s] /proc/loadavg: 1.06 1.06 1.01 2/107 25493 /proc/meminfo: memFree=1751516/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1061.92 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31805 0 0 0 93146 13046 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 134855928 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 125000 [startup+1122.3 s] /proc/loadavg: 1.14 1.08 1.02 2/107 25495 /proc/meminfo: memFree=1751516/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1121.9 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31805 0 0 0 98392 13798 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 125000 [startup+1182.3 s] /proc/loadavg: 1.16 1.09 1.02 2/107 25495 /proc/meminfo: memFree=1751516/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1181.89 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31805 0 0 0 103691 14498 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 125000 [startup+1242.3 s] /proc/loadavg: 1.06 1.07 1.02 2/107 25497 /proc/meminfo: memFree=1751392/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1241.86 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31805 0 0 0 108973 15213 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 125000 [startup+1302.3 s] /proc/loadavg: 1.02 1.06 1.01 2/107 25499 /proc/meminfo: memFree=1751392/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1301.86 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31806 0 0 0 114203 15983 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 125000 [startup+1362.3 s] /proc/loadavg: 1.00 1.05 1.00 2/107 25501 /proc/meminfo: memFree=1751392/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1361.82 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31806 0 0 0 119405 16777 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 125000 [startup+1422.31 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25503 /proc/meminfo: memFree=1751268/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=125000 CPUtime=1421.81 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 31806 0 0 0 124847 17334 0 0 25 0 1 0 126291945 128000000 29606 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 31250 29606 238 467 0 30781 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 125000 [startup+1482.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25503 /proc/meminfo: memFree=1748292/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1481.79 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32553 0 0 0 130142 18037 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 128044 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25505 /proc/meminfo: memFree=1748292/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1541.76 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32553 0 0 0 135339 18837 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 128044 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25507 /proc/meminfo: memFree=1748168/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1601.75 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32553 0 0 0 140682 19493 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 128044 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25509 /proc/meminfo: memFree=1748168/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1661.72 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32553 0 0 0 146002 20170 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 128044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25509 /proc/meminfo: memFree=1748168/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1721.7 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32554 0 0 0 151293 20877 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 128044 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25511 /proc/meminfo: memFree=1748044/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1781.68 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32555 0 0 0 156520 21648 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 128044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25513 /proc/meminfo: memFree=1748044/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1800.09 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32555 0 0 0 158130 21879 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 128044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25513 /proc/meminfo: memFree=1748044/2059040 swapFree=4139052/4192956 [pid=25461] ppid=25459 vsize=128044 CPUtime=1800.09 /proc/25461/stat : 25461 (pbct) R 25459 25461 25305 0 -1 4202496 32555 0 0 0 158130 21879 0 0 25 0 1 0 126291945 131117056 30353 1992294400 134512640 136421960 4294309312 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25461/statm: 32011 30353 238 467 0 31542 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 128044 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.12 CPU user time (s): 1581.3 CPU system time (s): 218.811 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 128044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1581.3 system time used= 218.811 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32556 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= 1 involuntary context switches= 23030 runsolver used 2.86856 second user time and 8.61169 second system time The end
Begin job on node007 at 2010-06-26 01:01:25 IDJOB=2683113 IDBENCH=71887 IDSOLVER=1192 FILE ID=node007/2683113-1277506885 PBS_JOBID= 11190641 Free space on /tmp= 62328 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683113-1277506885/watcher-2683113-1277506885 -o /tmp/evaluation-result-2683113-1277506885/solver-2683113-1277506885 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683113-1277506885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c60a8914afda75f67db3a97e49d1591e RANDOM SEED=577952025 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1871588 kB Buffers: 23984 kB Cached: 79572 kB SwapCached: 6432 kB Active: 22100 kB Inactive: 94512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1871588 kB SwapTotal: 4192956 kB SwapFree: 4139052 kB Dirty: 2128 kB Writeback: 0 kB AnonPages: 11660 kB Mapped: 11824 kB Slab: 48844 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181704 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= 62324 MiB End job on node007 at 2010-06-26 01:31:28