Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS naps-1.03a6 | MSAT (TO) | 3600.03 | 3609.5 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo |
| MD5SUM | 3994ba6f94443e756bf40be6bcc80c22 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.294038 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6480 |
| Total number of constraints | 161 |
| Number of soft constraints | 109 |
| Number of constraints which are clauses | 81 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 81 |
| Top cost | 6056 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 6055 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 82 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.01 c NaPS 1.03a6. 0.00/0.01 c Input file name: HOME/instance-4525223-1751620366.wbo 0.00/0.01 c Initial goal by soft: 6055 0.08/0.12 c single stage optimization mode 3600.02/3609.50 o 6055 3600.02/3609.50 o 688 3600.02/3609.50 o 440 3600.02/3609.50 o 289 3600.02/3609.50 o 189 3600.02/3609.50 o 1 3600.02/3609.50 c 3600.02/3609.50 c *** TERMINATED *** by signal 15 3600.02/3609.50 s SATISFIABLE 3600.02/3609.50 c _____________________________________________________________________________ 3600.02/3609.50 c std/band forms : 86,0 3600.02/3609.50 c 2cl/3cl ITE-codings : 37472,0 3600.02/3609.50 c BDD/srt/adr Max costs : 177596,1728,0 3600.02/3609.50 c BDDraw/bin/mul/srt/adr: 0,0,6,80,0 3600.02/3609.50 c BDD nodes : 39297 3600.02/3609.50 c Es1/CC detections : 0,0 3600.02/3609.50 c CC sort : 80 3600.02/3609.50 c SAT/UNSAT calls : 6,0 3600.02/3609.50 c regenrated variables : 0 3600.02/3609.50 c eliminated fixed lits : 0 3600.02/3609.50 c goal lit flips : 0 3600.02/3609.50 c goal stages : 1 3600.02/3609.50 c goal shrink : 0 3600.02/3609.50 c goal coeff separations: 0 3600.02/3609.50 c restarts : 1 3600.02/3609.50 c conflicts : 3147 (1 /sec) 3600.02/3609.50 c decisions : 44209 (12 /sec) 3600.02/3609.50 c propagations : 4736582 (1317 /sec) 3600.02/3609.50 c inspects : 0 (0 /sec) 3600.02/3609.50 c CPU time (solving tm) : 3596 s (3596 s, SAT 2.035 s, UNSAT 0 s) 3600.02/3609.50 c Time for Opt-base : 0.002985 s 3600.02/3609.50 c Steps for Opt-base : 6649 3600.02/3609.50 c Time for BDD coding : 0.2056 s 3600.02/3609.50 c Time for srt coding : 0.01221 s 3600.02/3609.50 c _____________________________________________________________________________ 3600.02/3609.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 3600.02/3609.50 v -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 3600.02/3609.50 v -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 3600.02/3609.50 v -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
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62531 MiB free)
memory of node 1: 64507 MiB (63761 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525223-1751620366/watcher-4525223-1751620366 -o /tmp/evaluation-result-4525223-1751620366/solver-4525223-1751620366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751616753-94632 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525223-1751620366.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=95116, runsolver pid=95113
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.11 4.09 5/267 95120
/proc/meminfo: memFree=129302720/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=34600 memory=31660 CPUtime=0.08 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 8103 0 0 0 7 1 0 0 20 0 1 0 77716827 35430400 7915 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 8650 7915 576 696 0 7811 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 34604 KiB
[startup+0.205702 s]*
/proc/loadavg: 4.11 4.11 4.09 5/267 95120
/proc/meminfo: memFree=129258868/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=62976 memory=58616 CPUtime=0.19 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 14059 0 0 0 17 2 0 0 20 0 1 0 77716827 64487424 14654 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 15744 14654 608 696 0 14905 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67168 KiB
Current children cumulated memory: 61560 KiB
[startup+0.305714 s]*
/proc/loadavg: 4.11 4.11 4.09 5/267 95120
/proc/meminfo: memFree=129250804/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=70068 memory=66680 CPUtime=0.28 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 16075 0 0 0 26 2 0 0 20 0 1 0 77716827 71749632 16670 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 17517 16670 608 696 0 16678 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 74260 KiB
Current children cumulated memory: 69624 KiB
[startup+0.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 95120
/proc/meminfo: memFree=129238644/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=85512 memory=81176 CPUtime=0.67 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 18299 0 0 0 65 2 0 0 20 0 1 0 77716827 87564288 20294 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 21378 20294 608 696 0 20539 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 89704 KiB
Current children cumulated memory: 84120 KiB
[startup+1.50019 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 95120
/proc/meminfo: memFree=129214448/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=116996 memory=107068 CPUtime=1.47 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 24010 0 0 0 144 3 0 0 20 0 1 0 77716827 119803904 26767 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 29249 26767 640 696 0 28410 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121188 KiB
Current children cumulated memory: 110012 KiB
[startup+3.10551 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 95120
/proc/meminfo: memFree=129158712/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=117320 memory=115072 CPUtime=3.07 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 29669 0 0 0 302 5 0 0 20 0 1 0 77716827 120135680 28768 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 29330 28768 640 696 0 28491 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 121512 KiB
Current children cumulated memory: 118016 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 95120
/proc/meminfo: memFree=129146740/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=137116 memory=128932 CPUtime=6.25 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 30056 0 0 0 620 5 0 0 20 0 1 0 77716827 140406784 32233 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 34279 32233 640 696 0 33440 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 141308 KiB
Current children cumulated memory: 131876 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 95121
/proc/meminfo: memFree=129148220/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=137116 memory=128932 CPUtime=12.64 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 30069 0 0 0 1259 5 0 0 20 0 1 0 77716827 140406784 32233 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 34279 32233 640 696 0 33440 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 141308 KiB
Current children cumulated memory: 131876 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 95121
/proc/meminfo: memFree=129114256/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=139168 memory=130980 CPUtime=25.4 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 30601 0 0 0 2535 5 0 0 20 0 1 0 77716827 142508032 32745 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 34792 32745 640 696 0 33953 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 143360 KiB
Current children cumulated memory: 133924 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 95121
/proc/meminfo: memFree=129092316/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=147816 memory=139628 CPUtime=50.94 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 31245 0 0 0 5089 5 0 0 20 0 1 0 77716827 151363584 34907 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 36954 34907 640 696 0 36115 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 152008 KiB
Current children cumulated memory: 142572 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 95123
/proc/meminfo: memFree=129040368/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=155136 memory=146924 CPUtime=102 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 33828 0 0 0 10193 7 0 0 20 0 1 0 77716827 158859264 36731 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 38784 36731 640 696 0 37945 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 159328 KiB
Current children cumulated memory: 149868 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 95132
/proc/meminfo: memFree=129009268/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=172880 memory=164588 CPUtime=161.85 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 39508 0 0 0 16173 12 0 0 20 0 1 0 77716827 177029120 41147 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 43220 41147 640 696 0 42381 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 177072 KiB
Current children cumulated memory: 167532 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/268 95134
/proc/meminfo: memFree=128980444/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=171740 memory=165484 CPUtime=221.69 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 41292 0 0 0 22155 14 0 0 20 0 1 0 77716827 175861760 41371 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 42935 41371 640 696 0 42096 0
Current children cumulated CPU time: 221.69 s
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.09 5/267 95285
/proc/meminfo: memFree=128323352/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=445532 memory=442012 CPUtime=3094.14 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 229234 0 0 0 309080 334 0 0 20 0 1 0 77716827 456224768 110503 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 111383 110503 640 696 0 110544 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 449724 KiB
Current children cumulated memory: 444956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 95293
/proc/meminfo: memFree=128342012/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=438860 memory=435312 CPUtime=3153.98 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 231413 0 0 0 315055 343 0 0 20 0 1 0 77716827 449392640 108828 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 109715 108828 640 696 0 108876 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 443052 KiB
Current children cumulated memory: 438256 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/267 95295
/proc/meminfo: memFree=128315392/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=445428 memory=441880 CPUtime=3213.82 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 234191 0 0 0 321031 351 0 0 20 0 1 0 77716827 456118272 110470 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 111357 110470 640 696 0 110518 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 449620 KiB
Current children cumulated memory: 444824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 95297
/proc/meminfo: memFree=128354772/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=432996 memory=429448 CPUtime=3273.67 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 235637 0 0 0 327012 355 0 0 20 0 1 0 77716827 443387904 107362 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 108249 107362 640 696 0 107410 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 437188 KiB
Current children cumulated memory: 432392 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 95299
/proc/meminfo: memFree=127932744/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=440368 memory=436824 CPUtime=3333.52 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 236660 0 0 0 332994 358 0 0 20 0 1 0 77716827 450936832 109206 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 110092 109206 640 696 0 109253 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 444560 KiB
Current children cumulated memory: 439768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 95301
/proc/meminfo: memFree=128109120/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=478596 memory=475692 CPUtime=3393.35 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 238903 0 0 0 338970 365 0 0 20 0 1 0 77716827 490082304 118923 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 119649 118923 640 696 0 118810 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 482788 KiB
Current children cumulated memory: 478636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 95303
/proc/meminfo: memFree=128193972/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=450660 memory=448780 CPUtime=3453.2 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 241705 0 0 0 344946 374 0 0 20 0 1 0 77716827 461475840 112195 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 112665 112195 640 696 0 111826 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 454852 KiB
Current children cumulated memory: 451724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 95306
/proc/meminfo: memFree=128001776/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=513956 memory=512076 CPUtime=3513.04 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 243121 0 0 0 350925 379 0 0 20 0 1 0 77716827 526290944 128019 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 128489 128019 640 696 0 127650 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 518148 KiB
Current children cumulated memory: 515020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 95308
/proc/meminfo: memFree=128178656/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=441188 memory=439308 CPUtime=3572.9 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 245124 0 0 0 356902 388 0 0 20 0 1 0 77716827 451776512 109827 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 110297 109827 640 696 0 109458 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 445380 KiB
Current children cumulated memory: 442252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 95317
/proc/meminfo: memFree=128403768/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=439128 memory=437248 CPUtime=3600.02 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 246114 0 0 0 359610 392 0 0 20 0 1 0 77716827 449667072 109312 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 109782 109312 640 696 0 108943 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 443320 KiB
Current children cumulated memory: 440192 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 95116 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.1 s, system=3.92938 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 95317
/proc/meminfo: memFree=128403768/131250000 swapFree=33008100/33010684
[pid=95116] ppid=95113 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/95116/stat : 95116 (naps-1.03a6.sh) S 95113 95116 94621 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 77716826 4292608 736 18446744073709551615 94255254360064 94255255254597 140736092859568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94255255493648 94255255541392 94255265124352 140736092866981 140736092867075 140736092867075 140736092872679 0
/proc/95116/statm: 1048 736 672 219 0 110 0
[pid=95120] ppid=95116 vsize=439128 memory=437248 CPUtime=3600.02 cores=4,6
/proc/95120/stat : 95120 (naps-1.03a6) R 95116 95116 94621 0 -1 4194304 246114 0 0 0 359610 392 0 0 20 0 1 0 77716827 449667072 109312 18446744073709551615 4198400 7047149 140733034757408 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 9474048 140733034764658 140733034764772 140733034764772 140733034770377 0
/proc/95120/statm: 109782 109312 640 696 0 108943 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 443320 KiB
Current children cumulated memory: 440192 KiB
Child status: 10
Real time (s): 3609.5
CPU time (s): 3600.03
CPU user time (s): 3596.1
CPU system time (s): 3.92938
CPU usage (%): 99.7376
Max. virtual memory (cumulated for all children) (KiB): 710644
Max. memory (cumulated for all children) (KiB): 694108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.1
system time used= 3.92938
maximum resident set size= 700124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246555
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= 176
involuntary context switches= 2380
# summary of solver processes directly reported to runsolver:
# pid: 95116
# total CPU time (s): 3600.03
# total CPU user time (s): 3596.1
# total CPU system time (s): 3.92938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28682 second user time and 15.8646 second system time
The end
Begin job on nodeC013 at 2025-07-04 11:12:46 IDJOB=4525223 IDBENCH=143519 IDSOLVER=3377 FILE ID=nodeC013/4525223-1751620366 RUNJOBID= nodeC013-1751616753-94632 SLURM_JOB_ID= 9598924 Free space on /tmp= 432628 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525223-1751620366/watcher-4525223-1751620366 -o /tmp/evaluation-result-4525223-1751620366/solver-4525223-1751620366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751616753-94632 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525223-1751620366.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3994ba6f94443e756bf40be6bcc80c22 RANDOM SEED=1857030052 nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.864 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.842 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3738.354 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3551.387 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3520.255 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.842 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.820 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.371 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129323888 kB MemAvailable: 129611952 kB Buffers: 1668 kB Cached: 1081692 kB SwapCached: 1900 kB Active: 617736 kB Inactive: 717316 kB Active(anon): 245440 kB Inactive(anon): 17628 kB Active(file): 372296 kB Inactive(file): 699688 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008100 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 23048 kB Writeback: 0 kB AnonPages: 253132 kB Mapped: 107572 kB Shmem: 11376 kB KReclaimable: 110240 kB Slab: 200092 kB SReclaimable: 110240 kB SUnreclaim: 89852 kB KernelStack: 4252 kB PageTables: 3628 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 577900 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432624 MiB End job on nodeC013 at 2025-07-04 12:12:55