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 | 3610.5 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo |
| MD5SUM | 7df0ee65736edc2fe6c96a6234185884 |
| Bench Category | SOFT-LIN (WBO, only soft 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 | 1.85256 |
| 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 | 161 |
| 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 | 8472 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 8471 |
| 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.02 c NaPS 1.03a6. 0.00/0.02 c Input file name: HOME/instance-4524647-1751616442.wbo 0.00/0.02 c Initial goal by soft: 8471 0.20/0.31 c single stage optimization mode 3600.00/3610.50 o 8471 3600.00/3610.50 o 1396 3600.00/3610.50 o 925 3600.00/3610.50 o 611 3600.00/3610.50 o 1 3600.00/3610.50 c 3600.00/3610.50 c *** TERMINATED *** by signal 15 3600.00/3610.50 s SATISFIABLE 3600.00/3610.50 c _____________________________________________________________________________ 3600.00/3610.50 c std/band forms : 85,0 3600.00/3610.50 c 2cl/3cl ITE-codings : 95857,0 3600.00/3610.50 c BDD/srt/adr Max costs : 236899,1728,0 3600.00/3610.50 c BDDraw/bin/mul/srt/adr: 0,0,5,80,0 3600.00/3610.50 c BDD nodes : 98576 3600.00/3610.50 c Es1/CC detections : 0,0 3600.00/3610.50 c CC sort : 80 3600.00/3610.50 c SAT/UNSAT calls : 5,0 3600.00/3610.50 c regenrated variables : 0 3600.00/3610.50 c eliminated fixed lits : 0 3600.00/3610.50 c goal lit flips : 0 3600.00/3610.50 c goal stages : 1 3600.00/3610.50 c goal shrink : 0 3600.00/3610.50 c goal coeff separations: 0 3600.00/3610.50 c restarts : 1 3600.00/3610.50 c conflicts : 2474 (1 /sec) 3600.00/3610.50 c decisions : 79394 (22 /sec) 3600.00/3610.50 c propagations : 4740154 (1318 /sec) 3600.00/3610.50 c inspects : 0 (0 /sec) 3600.00/3610.50 c CPU time (solving tm) : 3596 s (3595 s, SAT 2.841 s, UNSAT 0 s) 3600.00/3610.50 c Time for Opt-base : 0.01063 s 3600.00/3610.50 c Steps for Opt-base : 9821 3600.00/3610.50 c Time for BDD coding : 0.805 s 3600.00/3610.50 c Time for srt coding : 0.03261 s 3600.00/3610.50 c _____________________________________________________________________________ 3600.00/3610.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 3600.00/3610.50 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 x2564 x2565 x2566 x2567 x2568 x2569 x2570 x2571 x2572 x2573 -x2574 x2575 -x2576 x2577 x2578 x2579 x2580 -x2581 x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 3600.00/3610.50 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 3600.00/3610.50 v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 -x6477 -x6478 -x6479 -x6480
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: 63837 MiB (61337 MiB free)
memory of node 1: 64465 MiB (62737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524647-1751616442/watcher-4524647-1751616442 -o /tmp/evaluation-result-4524647-1751616442/solver-4524647-1751616442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751612589-84049 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524647-1751616442.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=84864, runsolver pid=84861
[startup+0.100097 s]*
/proc/loadavg: 4.20 4.22 4.18 5/255 84868
/proc/meminfo: memFree=127052896/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=7696 memory=5964 CPUtime=0.08 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 1093 0 0 0 8 0 0 0 20 0 1 0 77323038 7880704 1491 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 1924 1491 576 696 0 1085 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11888 KiB
Current children cumulated memory: 9036 KiB
[startup+0.213467 s]*
/proc/loadavg: 4.20 4.22 4.18 6/255 84868
/proc/meminfo: memFree=127028212/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=30648 memory=27456 CPUtime=0.2 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 7528 0 0 0 18 2 0 0 20 0 1 0 77323038 31383552 6864 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 7662 6864 576 696 0 6823 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 30528 KiB
[startup+0.313375 s]*
/proc/loadavg: 4.20 4.22 4.18 5/255 84868
/proc/meminfo: memFree=127016620/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=52556 memory=48240 CPUtime=0.3 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 12483 0 0 0 26 4 0 0 20 0 1 0 77323038 53817344 12060 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 13139 12060 576 696 0 12300 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56748 KiB
Current children cumulated memory: 51312 KiB
[startup+0.700389 s]
/proc/loadavg: 4.20 4.22 4.18 5/255 84868
/proc/meminfo: memFree=127004300/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=74900 memory=71272 CPUtime=0.67 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 17837 0 0 0 62 5 0 0 20 0 1 0 77323038 76697600 17818 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 18725 17818 608 696 0 17886 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79092 KiB
Current children cumulated memory: 74344 KiB
[startup+1.50036 s]
/proc/loadavg: 4.20 4.22 4.18 5/255 84868
/proc/meminfo: memFree=126968956/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=134476 memory=129288 CPUtime=1.46 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 27773 0 0 0 138 8 0 0 20 0 1 0 77323038 137703424 32322 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 33619 32322 608 696 0 32780 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 138668 KiB
Current children cumulated memory: 132360 KiB
[startup+3.11313 s]
/proc/loadavg: 4.20 4.22 4.18 5/255 84868
/proc/meminfo: memFree=126929080/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=184368 memory=177780 CPUtime=3.07 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 35697 0 0 0 296 11 0 0 20 0 1 0 77323038 188792832 44445 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 46092 44445 640 696 0 45253 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 188560 KiB
Current children cumulated memory: 180852 KiB
[startup+6.30033 s]
/proc/loadavg: 4.19 4.22 4.18 5/255 84868
/proc/meminfo: memFree=126900788/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=219500 memory=204828 CPUtime=6.25 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 39177 0 0 0 613 12 0 0 20 0 1 0 77323038 224768000 51207 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 54875 51207 640 696 0 54036 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 223692 KiB
Current children cumulated memory: 207900 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.22 4.18 5/255 84868
/proc/meminfo: memFree=126884656/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=219500 memory=204828 CPUtime=12.63 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 39202 0 0 0 1251 12 0 0 20 0 1 0 77323038 224768000 51207 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 54875 51207 640 696 0 54036 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 223692 KiB
Current children cumulated memory: 207900 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.22 4.18 5/255 84869
/proc/meminfo: memFree=126834736/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=221464 memory=206676 CPUtime=25.4 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 40863 0 0 0 2527 13 0 0 20 0 1 0 77323038 226779136 51669 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 55366 51669 640 696 0 54527 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 225656 KiB
Current children cumulated memory: 209748 KiB
[startup+51.1132 s]
/proc/loadavg: 4.14 4.20 4.18 5/254 84869
/proc/meminfo: memFree=126868256/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=208596 memory=195840 CPUtime=50.95 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 43507 0 0 0 5079 16 0 0 20 0 1 0 77323038 213602304 48960 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 52149 48960 640 696 0 51310 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 212788 KiB
Current children cumulated memory: 198912 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/254 84871
/proc/meminfo: memFree=126815700/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=248732 memory=245688 CPUtime=101.99 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 49126 0 0 0 10176 23 0 0 20 0 1 0 77323038 254701568 61422 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 62183 61422 640 696 0 61344 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 252924 KiB
Current children cumulated memory: 248760 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/255 84878
/proc/meminfo: memFree=126849884/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=285216 memory=282276 CPUtime=161.82 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 53534 0 0 0 16152 30 0 0 20 0 1 0 77323038 292061184 70569 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 71304 70569 640 696 0 70465 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 289408 KiB
Current children cumulated memory: 285348 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/254 84881
/proc/meminfo: memFree=126744840/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=287256 memory=284348 CPUtime=221.65 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 56882 0 0 0 22129 36 0 0 20 0 1 0 77323038 294150144 71087 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 71814 71087 640 696 0 70975 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
/proc/loadavg: 2.11 2.12 2.38 3/240 85507
/proc/meminfo: memFree=106961880/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=437120 memory=409428 CPUtime=3093.32 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 223419 0 0 0 308973 359 0 0 20 0 1 0 77323038 447610880 102357 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 109280 102357 640 696 0 108441 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 441312 KiB
Current children cumulated memory: 412500 KiB
[startup+3162.3 s]
/proc/loadavg: 2.16 2.12 2.36 3/240 85509
/proc/meminfo: memFree=107998720/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=435136 memory=407444 CPUtime=3153.14 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 226392 0 0 0 314947 367 0 0 20 0 1 0 77323038 445579264 101861 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 108784 101861 640 696 0 107945 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 439328 KiB
Current children cumulated memory: 410516 KiB
[startup+3222.3 s]
/proc/loadavg: 2.12 2.12 2.35 3/241 85527
/proc/meminfo: memFree=108087644/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=412312 memory=384620 CPUtime=3212.97 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 228767 0 0 0 320925 372 0 0 20 0 1 0 77323038 422207488 96155 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 103078 96155 640 696 0 102239 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 416504 KiB
Current children cumulated memory: 387692 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.11 2.33 3/240 85529
/proc/meminfo: memFree=108813752/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=408184 memory=380492 CPUtime=3272.8 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 231408 0 0 0 326901 379 0 0 20 0 1 0 77323038 417980416 95123 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 102046 95123 640 696 0 101207 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 412376 KiB
Current children cumulated memory: 383564 KiB
[startup+3342.3 s]
/proc/loadavg: 2.15 2.12 2.32 3/240 85531
/proc/meminfo: memFree=107361812/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=410728 memory=383036 CPUtime=3332.62 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 234677 0 0 0 332876 386 0 0 20 0 1 0 77323038 420585472 95759 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 102682 95759 640 696 0 101843 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 414920 KiB
Current children cumulated memory: 386108 KiB
[startup+3402.3 s]
/proc/loadavg: 2.50 2.21 2.33 3/240 85533
/proc/meminfo: memFree=107363004/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=409472 memory=381780 CPUtime=3392.44 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 236860 0 0 0 338853 391 0 0 20 0 1 0 77323038 419299328 95445 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 102368 95445 640 696 0 101529 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 413664 KiB
Current children cumulated memory: 384852 KiB
[startup+3462.3 s]
/proc/loadavg: 2.50 2.29 2.36 3/240 85535
/proc/meminfo: memFree=107360572/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=416276 memory=388584 CPUtime=3452.25 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 239043 0 0 0 344829 396 0 0 20 0 1 0 77323038 426266624 97146 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 104069 97146 640 696 0 103230 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 420468 KiB
Current children cumulated memory: 391656 KiB
[startup+3522.3 s]
/proc/loadavg: 2.28 2.26 2.34 3/241 85538
/proc/meminfo: memFree=107317564/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=457152 memory=429460 CPUtime=3512.07 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 240062 0 0 0 350805 402 0 0 20 0 1 0 77323038 468123648 107365 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 114288 107365 640 696 0 113449 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 461344 KiB
Current children cumulated memory: 432532 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.23 2.33 3/241 85543
/proc/meminfo: memFree=106743700/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=448220 memory=422576 CPUtime=3571.89 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 242728 0 0 0 356778 411 0 0 20 0 1 0 77323038 458977280 105644 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 112055 105644 640 696 0 111216 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 452412 KiB
Current children cumulated memory: 425648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 2.16 2.22 2.32 3/241 85543
/proc/meminfo: memFree=106788264/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=418888 memory=393244 CPUtime=3600 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 243723 0 0 0 359587 413 0 0 20 0 1 0 77323038 428941312 98311 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 104722 98311 640 696 0 103883 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 423080 KiB
Current children cumulated memory: 396316 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.5 s]
# the end of solver process 84864 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.88 s, system=4.14684 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 2.16 2.22 2.32 3/241 85543
/proc/meminfo: memFree=106788264/131382120 swapFree=33010416/33010684
[pid=84864] ppid=84861 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84864/stat : 84864 (naps-1.03a6.sh) S 84861 84864 83368 0 -1 4194304 231 202 0 0 0 0 0 0 20 0 1 0 77323036 4292608 768 18446744073709551615 94909659557888 94909660452421 140729631943904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94909660691472 94909660739216 94909666484224 140729631951269 140729631951363 140729631951363 140729631956967 0
/proc/84864/statm: 1048 768 704 219 0 110 0
[pid=84868] ppid=84864 vsize=418888 memory=393244 CPUtime=3600 cores=5,7
/proc/84868/stat : 84868 (naps-1.03a6) R 84864 84864 83368 0 -1 4194304 243723 0 0 0 359587 413 0 0 20 0 1 0 77323038 428941312 98311 18446744073709551615 4198400 7047149 140731830533952 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11448320 140731830536562 140731830536676 140731830536676 140731830542281 0
/proc/84868/statm: 104722 98311 640 696 0 103883 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 423080 KiB
Current children cumulated memory: 396316 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.03
CPU user time (s): 3595.88
CPU system time (s): 4.14684
CPU usage (%): 99.7099
Max. virtual memory (cumulated for all children) (KiB): 710388
Max. memory (cumulated for all children) (KiB): 706132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.88
system time used= 4.14684
maximum resident set size= 703060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244168
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= 214
involuntary context switches= 1934
# summary of solver processes directly reported to runsolver:
# pid: 84864
# total CPU time (s): 3600.03
# total CPU user time (s): 3595.88
# total CPU system time (s): 4.14684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5405 second user time and 35.1383 second system time
The end
Begin job on nodeC002 at 2025-07-04 10:07:22 IDJOB=4524647 IDBENCH=143153 IDSOLVER=3377 FILE ID=nodeC002/4524647-1751616442 RUNJOBID= nodeC002-1751612589-84049 SLURM_JOB_ID= 9598898 Free space on /tmp= 431240 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524647-1751616442/watcher-4524647-1751616442 -o /tmp/evaluation-result-4524647-1751616442/solver-4524647-1751616442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751612589-84049 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524647-1751616442.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7df0ee65736edc2fe6c96a6234185884 RANDOM SEED=1913654049 nodeC002 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 : 0xb00001f cpu MHz : 3662.344 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 3661.969 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1197.419 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1197.542 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 3662.331 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1197.640 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1197.703 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1197.224 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127053144 kB MemAvailable: 129319060 kB Buffers: 2128 kB Cached: 3068336 kB SwapCached: 28 kB Active: 959300 kB Inactive: 2764724 kB Active(anon): 665096 kB Inactive(anon): 6404 kB Active(file): 294204 kB Inactive(file): 2758320 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5776 kB Writeback: 148 kB AnonPages: 655436 kB Mapped: 111648 kB Shmem: 17932 kB KReclaimable: 106040 kB Slab: 190756 kB SReclaimable: 106040 kB SUnreclaim: 84716 kB KernelStack: 4096 kB PageTables: 4352 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 1004392 kB VmallocTotal: 34359738367 kB VmallocUsed: 149528 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 552960 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: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431244 MiB End job on nodeC002 at 2025-07-04 11:07:33