Trace number 1859350

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
pbclasp 2009-04-24SAT (TO)85 1800.12 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_5.opb
MD5SUM2dd6cc5a7b1f8311eff7b566cf3505ea
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark77
Best CPU time to get the best result obtained on this benchmark1798.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6270
Sum of products size (including duplicates)12540
Number of different products6270
Sum of products size12540

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c optimisation-statement found. OPT-category assumed.
0.00/0.24	o 97
0.00/0.32	o 95
0.00/0.41	o 94
0.00/0.41	o 93
0.00/0.42	o 88
11.62/11.65	o 87
27.01/27.02	o 86
27.01/27.05	o 85
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	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 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 -x5146 x5147 -x5148 -x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 x5219 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 -x5226 -x5227 x5228 -x5229 x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 x5241 -x5242 -x5243 -x5244 -x5245 -x5246 x5247 -x5248 -x5249 -x5250 x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 x5361 -x5362 x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5371 -x5372 -x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 x5400 -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 x5419 x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 x5428 -x5429 -x5430 x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 x5439 x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 x5452 x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 x5484 -x5485 x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 x5507 x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 x5526 x5527 x5528 x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 x5540 x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 x5550 -x5551 -x5552 x5553 x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 x5589 -x5590 -x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 x5688 x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 x5746 x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 x5905 x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 x5929 x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 x5994 -x5995 -x5996 x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 x6127 x6128 x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 x6175 -x6176 -x6177 -x6178 -x6179 -x6180 x6181 -x6182 -x6183 -x6184 -x6185 -x6186 x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 x6204 -x6205 -x6206 -x6207 x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 x6258 -x6259 -x6260 -x6261 -x6262 -x6263 x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 -x6301 x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 x6333 x6334 x6335 -x6336 -x6337 -x6338 -x6339 x6340 -x6341 -x6342 x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 x6355 x6356 x6357 x6358 x6359 x6360 x6361 -x6362 -x6363 x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 x6427 -x6428 x6429 -x6430 -x6431 -x6432 x6433 x6434 -x6435 x6436 x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 x6469 x6470 x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 x6542 -x6543 -x6544 -x6545 -x6546 -x6547 x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 x6623 -x6624 x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 x6658 -x6659 x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 x6682 -x6683 x6684 x6685 -x6686 x6687 -x6688 -x6689 -x6690 x6691 -x6692 -x6693 -x6694 x6695 x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770

Verifier Data 

OK	85

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1859350-1245197911/watcher-1859350-1245197911 -o /tmp/evaluation-result-1859350-1245197911/solver-1859350-1245197911 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1859350-1245197911.opb HOME HOME 

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.00 1.00 1.00 3/64 6924
/proc/meminfo: memFree=1685384/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) R 6922 6924 5603 0 -1 4194304 349 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 233588882021 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/6924/statm: 3067 316 242 3 0 167 0

[startup+0.061869 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6924
/proc/meminfo: memFree=1685384/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101746 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6924
/proc/meminfo: memFree=1685384/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.30147 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6924
/proc/meminfo: memFree=1685384/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701506 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6924
/proc/meminfo: memFree=1685384/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1677672/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=8436 CPUtime=1.43
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 2014 0 0 0 143 0 0 0 18 0 1 0 187390820 8638464 1860 1992294400 134512640 136070948 4294956272 18446744073709551615 134807555 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 2109 1860 194 380 0 1726 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 27316

[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1677672/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=8700 CPUtime=3.03
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 2080 0 0 0 303 0 0 0 21 0 1 0 187390820 8908800 1926 1992294400 134512640 136070948 4294956272 18446744073709551615 134653131 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 2175 1926 194 380 0 1792 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 27580

[startup+6.30207 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1676712/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=9244 CPUtime=6.23
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 2233 0 0 0 623 0 0 0 25 0 1 0 187390820 9465856 2079 1992294400 134512640 136070948 4294956272 18446744073709551615 134807566 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 2311 2079 194 380 0 1928 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 28124

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1676136/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=10048 CPUtime=12.63
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 2438 0 0 0 1262 1 0 0 25 0 1 0 187390820 10289152 2284 1992294400 134512640 136070948 4294956272 18446744073709551615 134615234 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 2512 2284 194 380 0 2129 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 17 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 28928

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1675368/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=10576 CPUtime=25.43
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 2558 0 0 0 2542 1 0 0 25 0 1 0 187390820 10829824 2404 1992294400 134512640 136070948 4294956272 18446744073709551615 134834700 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 2644 2404 194 380 0 2261 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 17 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 29456

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1674280/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=11640 CPUtime=51.01
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 2841 0 0 0 5100 1 0 0 25 0 1 0 187390820 11919360 2687 1992294400 134512640 136070948 4294956272 18446744073709551615 134653150 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 2910 2687 194 380 0 2527 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 30520

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1671720/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=14288 CPUtime=102.21
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 3503 0 0 0 10219 2 0 0 25 0 1 0 187390820 14630912 3349 1992294400 134512640 136070948 4294956272 18446744073709551615 134807487 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 3572 3349 194 380 0 3189 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 33168

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1671656/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=14420 CPUtime=162.19
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 3525 0 0 0 16217 2 0 0 25 0 1 0 187390820 14766080 3371 1992294400 134512640 136070948 4294956272 18446744073709551615 134632752 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 3605 3371 194 380 0 3222 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 33300

[startup+222.302 s]

################
# More data... #
################

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661800/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1421.87
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 142183 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134799661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 42928

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661800/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1481.85
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 148181 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 42928

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661800/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1541.84
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 154180 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 42928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661736/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1601.82
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 160178 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134822986 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 42928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661800/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1661.81
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 166177 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134800991 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 42928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661736/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1721.79
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 172175 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 42928

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661736/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1781.78
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 178174 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134834246 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 42928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661736/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1799.98
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 179994 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134799825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 42928

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6929
/proc/meminfo: memFree=1661736/2055920 swapFree=4192812/4192956
[pid=6924] ppid=6922 vsize=12268 CPUtime=0
/proc/6924/stat : 6924 (perl) S 6922 6924 5603 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 187390819 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 233597616020 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6924/statm: 3067 411 319 3 0 167 0
[pid=6926] ppid=6924 vsize=5356 CPUtime=0.09
/proc/6926/stat : 6926 (sh) S 6924 6924 5603 0 -1 4194304 305 146 0 0 0 0 9 0 15 0 1 0 187390820 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6926/statm: 1339 227 188 169 0 50 0
[pid=6928] ppid=6926 vsize=24048 CPUtime=1799.98
/proc/6928/stat : 6928 (clasp) R 6926 6924 5603 0 -1 4194304 5942 0 0 0 179994 4 0 0 25 0 1 0 187390820 24625152 5752 1992294400 134512640 136070948 4294956272 18446744073709551615 134799825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6928/statm: 6012 5752 194 380 0 5629 0
[pid=6929] ppid=6926 vsize=1256 CPUtime=0
/proc/6929/stat : 6929 (pbout) S 6926 6924 5603 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 187390820 1286144 113 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6929/statm: 314 113 96 267 0 44 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 42928

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.12
CPU user time (s): 1800.05
CPU system time (s): 0.068989
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 42928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7397
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= 215
involuntary context switches= 1983

runsolver used 1.70374 second user time and 4.86026 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-17 02:18:31
IDJOB=1859350
IDBENCH=48161
IDSOLVER=687
FILE ID=node27/1859350-1245197911
PBS_JOBID= 9368287
Free space on /tmp= 66288 MiB

SOLVER NAME= pbclasp 2009-04-24
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_5.opb
COMMAND LINE= perl HOME/pbclasp BENCHNAME HOME TMPDIR
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1859350-1245197911/watcher-1859350-1245197911 -o /tmp/evaluation-result-1859350-1245197911/solver-1859350-1245197911 -C 1800 -W 2000 -M 1800  perl HOME/pbclasp HOME/instance-1859350-1245197911.opb HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2dd6cc5a7b1f8311eff7b566cf3505ea
RANDOM SEED=949341204

node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1686248 kB
Buffers:         61800 kB
Cached:         233116 kB
SwapCached:          0 kB
Active:          86428 kB
Inactive:       222884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1686248 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4580 kB
Writeback:           0 kB
Mapped:          24228 kB
Slab:            46272 kB
Committed_AS:   184304 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1859350-1245197911.opb

Free space on /tmp at the end= 66284 MiB
End job on node27 at 2009-06-17 02:48:34