0.00/0.00 c NaPS 1.03a2.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4463743-1722355404.wbo
0.00/0.00 c Initial goal by soft: 229598
5.18/5.22 c single stage optimization mode
5.57/5.69 o 107864
3600.07/3609.20 c
3600.07/3609.20 c *** TERMINATED *** by signal 15
3600.07/3609.20 s SATISFIABLE
3600.07/3609.20 c _____________________________________________________________________________
3600.07/3609.20 c std/band forms : 101,0
3600.07/3609.20 c 2cl/3cl ITE-codings : 0,0
3600.07/3609.20 c BDD/srt/adr Max costs : 0,694,2322098
3600.07/3609.20 c BDDraw/bin/mul/srt/adr: 0,0,0,100,1
3600.07/3609.20 c BDD nodes : 0
3600.07/3609.20 c Es1/CC detections : 0,0
3600.07/3609.20 c CC sort : 100
3600.07/3609.20 c SAT/UNSAT calls : 1,0
3600.07/3609.20 c regenrated variables : 0
3600.07/3609.20 c eliminated fixed lits : 0
3600.07/3609.20 c goal lit flips : 0
3600.07/3609.20 c goal stages : 1
3600.07/3609.20 c goal shrink : 0
3600.07/3609.20 c goal coeff separations: 0
3600.07/3609.20 c restarts : 1
3600.07/3609.20 c conflicts : 30 (0 /sec)
3600.07/3609.20 c decisions : 1105836 (307 /sec)
3600.07/3609.20 c propagations : 1131000 (314 /sec)
3600.07/3609.20 c inspects : 0 (0 /sec)
3600.07/3609.20 c CPU time (solving tm) : 3597 s (3582 s, SAT 0.1633 s, UNSAT 0 s)
3600.07/3609.20 c Time for Opt-base : 0.007354 s
3600.07/3609.20 c Steps for Opt-base : 0
3600.07/3609.20 c Time for BDD coding : 0 s
3600.07/3609.20 c Time for srt coding : 0.005233 s
3600.07/3609.20 c _____________________________________________________________________________
3600.07/3609.20 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
3600.07/3609.20 v -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
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
3600.07/3609.20 v
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: 63931 MiB (59851 MiB free)
memory of node 1: 64510 MiB (62857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463743-1722355404/watcher-4463743-1722355404 -o /tmp/evaluation-result-4463743-1722355404/solver-4463743-1722355404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722351699-13904 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463743-1722355404.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=16437, runsolver pid=16434
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.14 4.11 4.09 5/262 16442
/proc/meminfo: memFree=125645052/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=16416 memory=10084 CPUtime=0.09 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 2198 0 0 0 9 0 0 0 20 0 1 0 2138898 16809984 2521 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 4104 2521 436 659 0 3308 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26348 KiB
Current children cumulated memory: 12764 KiB
[startup+0.205805 s]*
/proc/loadavg: 4.14 4.11 4.09 5/262 16442
/proc/meminfo: memFree=125634772/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=24124 memory=17676 CPUtime=0.19 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 4199 0 0 0 19 0 0 0 20 0 1 0 2138898 24702976 4419 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 6031 4419 436 659 0 5235 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34056 KiB
Current children cumulated memory: 20356 KiB
[startup+0.305754 s]*
/proc/loadavg: 4.14 4.11 4.09 5/262 16442
/proc/meminfo: memFree=125626904/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=32280 memory=25340 CPUtime=0.3 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 6334 0 0 0 29 1 0 0 20 0 1 0 2138898 33054720 6335 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 8070 6335 436 659 0 7274 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42212 KiB
Current children cumulated memory: 28020 KiB
[startup+0.700285 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 16442
/proc/meminfo: memFree=125611136/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=63120 memory=54824 CPUtime=0.68 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 13531 0 0 0 67 1 0 0 20 0 1 0 2138898 64634880 13706 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 15780 13706 436 659 0 14984 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73052 KiB
Current children cumulated memory: 57504 KiB
[startup+1.50028 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 16442
/proc/meminfo: memFree=125575164/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=121740 memory=111912 CPUtime=1.48 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 27025 0 0 0 144 4 0 0 20 0 1 0 2138898 124661760 27978 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 30435 27978 436 659 0 29639 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131672 KiB
Current children cumulated memory: 114592 KiB
[startup+3.10574 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 16442
/proc/meminfo: memFree=125350532/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=321616 memory=300288 CPUtime=3.08 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 65423 0 0 0 297 11 0 0 20 0 1 0 2138898 329334784 75072 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 80404 75072 436 659 0 79608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 331548 KiB
Current children cumulated memory: 302968 KiB
[startup+6.30027 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 16443
/proc/meminfo: memFree=125162040/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=453784 memory=437996 CPUtime=6.27 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 96271 0 0 0 611 16 0 0 20 0 1 0 2138898 464674816 109499 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 113446 109499 468 659 0 112650 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 463716 KiB
Current children cumulated memory: 440676 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 16493
/proc/meminfo: memFree=124106728/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=2384028 memory=2152956 CPUtime=12.66 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 292622 0 0 0 1202 64 0 0 20 0 1 0 2138898 2441244672 538239 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 596007 538239 468 659 0 595211 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2393960 KiB
Current children cumulated memory: 2155636 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 16496
/proc/meminfo: memFree=121150360/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3372328 memory=3053900 CPUtime=25.43 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 408462 0 0 0 2455 88 0 0 20 0 1 0 2138898 3453263872 763475 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 843082 763475 468 659 0 842286 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3382260 KiB
Current children cumulated memory: 3056580 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 16500
/proc/meminfo: memFree=119789768/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3372328 memory=3053932 CPUtime=50.97 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 408781 0 0 0 5009 88 0 0 20 0 1 0 2138898 3453263872 763483 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 843082 763483 468 659 0 842286 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3382260 KiB
Current children cumulated memory: 3056612 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/261 16558
/proc/meminfo: memFree=120126728/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3372328 memory=3057556 CPUtime=102.04 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 409704 0 0 0 10114 90 0 0 20 0 1 0 2138898 3453263872 764389 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 843082 764389 468 659 0 842286 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 3382260 KiB
Current children cumulated memory: 3060236 KiB
[startup+162.3 s]
/proc/loadavg: 3.57 3.97 4.04 4/250 16598
/proc/meminfo: memFree=122841832/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3374772 memory=3059904 CPUtime=161.88 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 410725 0 0 0 16097 91 0 0 20 0 1 0 2138898 3455766528 764976 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 843693 764976 468 659 0 842897 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 3384704 KiB
Current children cumulated memory: 3062584 KiB
[startup+222.3 s]
/proc/loadavg: 3.38 3.84 3.99 4/250 16608
/proc/meminfo: memFree=122788804/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3376128 memory=3061068 CPUtime=221.74 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 411419 0 0 0 22081 93 0 0 20 0 1 0 2138898 3457155072 765267 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 844032 765267 468 659 0 843236 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 3386060 KiB
################
# More data... #
################
/proc/16442/statm: 868847 803172 468 659 0 868051 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 3485320 KiB
Current children cumulated memory: 3215368 KiB
[startup+3102.3 s]
/proc/loadavg: 1.14 1.12 1.26 2/236 17819
/proc/meminfo: memFree=123762256/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3825052 memory=3263072 CPUtime=3094.46 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 489753 0 0 0 309161 285 0 0 20 0 1 0 2138898 3916853248 815768 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 956263 815768 468 659 0 955467 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 3834984 KiB
Current children cumulated memory: 3265752 KiB
[startup+3162.3 s]
/proc/loadavg: 1.11 1.11 1.25 2/234 18215
/proc/meminfo: memFree=123814980/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3826132 memory=3311192 CPUtime=3154.31 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 491289 0 0 0 315144 287 0 0 20 0 1 0 2138898 3917959168 827798 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 956533 827798 468 659 0 955737 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 3836064 KiB
Current children cumulated memory: 3313872 KiB
[startup+3222.3 s]
/proc/loadavg: 1.16 1.12 1.25 2/234 18225
/proc/meminfo: memFree=123902424/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3478240 memory=3223856 CPUtime=3214.15 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 493612 0 0 0 321116 299 0 0 20 0 1 0 2138898 3561717760 805964 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 869560 805964 468 659 0 868764 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 3488172 KiB
Current children cumulated memory: 3226536 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.11 1.23 2/234 18238
/proc/meminfo: memFree=123853668/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3828036 memory=3272304 CPUtime=3274 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 495069 0 0 0 327099 301 0 0 20 0 1 0 2138898 3919908864 818076 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 957009 818076 468 659 0 956213 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 3837968 KiB
Current children cumulated memory: 3274984 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.11 1.22 2/235 18418
/proc/meminfo: memFree=123809228/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3828852 memory=3316028 CPUtime=3333.85 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 496530 0 0 0 333083 302 0 0 20 0 1 0 2138898 3920744448 829007 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 957213 829007 468 659 0 956417 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 3838784 KiB
Current children cumulated memory: 3318708 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.10 1.21 2/235 18428
/proc/meminfo: memFree=123766684/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3830220 memory=3360356 CPUtime=3393.7 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 497904 0 0 0 339066 304 0 0 20 0 1 0 2138898 3922145280 840089 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 957555 840089 468 659 0 956759 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 3840152 KiB
Current children cumulated memory: 3363036 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.11 1.20 2/236 18453
/proc/meminfo: memFree=123903804/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3486800 memory=3220804 CPUtime=3453.54 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 500116 0 0 0 345036 318 0 0 20 0 1 0 2138898 3570483200 805201 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 871700 805201 468 659 0 870904 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 3496732 KiB
Current children cumulated memory: 3223484 KiB
[startup+3522.3 s]
/proc/loadavg: 1.24 1.14 1.20 2/236 18463
/proc/meminfo: memFree=123859680/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3836048 memory=3264596 CPUtime=3513.39 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 501405 0 0 0 351020 319 0 0 20 0 1 0 2138898 3928113152 816149 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 959012 816149 468 659 0 958216 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 3845980 KiB
Current children cumulated memory: 3267276 KiB
[startup+3582.3 s]
/proc/loadavg: 1.29 1.18 1.22 2/236 18474
/proc/meminfo: memFree=123816416/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3836048 memory=3309660 CPUtime=3573.24 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 502447 0 0 0 357004 320 0 0 20 0 1 0 2138898 3928113152 827415 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 959012 827415 468 659 0 958216 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 3845980 KiB
Current children cumulated memory: 3312340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.19 1.17 1.21 2/236 18480
/proc/meminfo: memFree=123791588/131524600 swapFree=131071996/131071996
[pid=16437] ppid=16434 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/16437/stat : 16437 (naps-1.03.sh) S 16434 16437 13891 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 2138897 10170368 670 134679101440 94308704665600 94308705744920 140730663843984 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94308707843376 94308707890564 94308726145024 140730663850975 140730663851104 140730663851104 140730663858120 0
/proc/16437/statm: 2483 670 591 264 0 134 0
[pid=16442] ppid=16437 vsize=3836048 memory=3332188 CPUtime=3600.07 cores=5,7
/proc/16442/stat : 16442 (naps-1.03a2) R 16437 16437 13891 0 -1 4194304 503098 0 0 0 359686 321 0 0 20 0 1 0 2138898 3928113152 833047 134679101440 4194304 6891597 140724362909200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31928320 140724362912746 140724362912864 140724362912864 140724362919881 0
/proc/16442/statm: 959012 833047 468 659 0 958216 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3845980 KiB
Current children cumulated memory: 3334868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 16437 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001593 s, system=0.001369 s
[startup+3609.23 s]
# the end of solver process 16442 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.88 s, system=3.23342 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.23
CPU time (s): 3600.11
CPU user time (s): 3596.88
CPU system time (s): 3.23342
CPU usage (%): 99.7474
Max. virtual memory (cumulated for all children) (KiB): 4404780
Max. memory (cumulated for all children) (KiB): 3922016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.88
system time used= 3.23342
maximum resident set size= 3919336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503564
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= 224
involuntary context switches= 4888
# summary of solver processes directly reported to runsolver:
# pid: 16437,16442
# total CPU time (s): 3600.11
# total CPU user time (s): 3596.88
# total CPU system time (s): 3.23342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73386 second user time and 17.7809 second system time
The end
Begin job on nodeC022 at 2024-07-30 18:03:24
IDJOB=4463743
IDBENCH=144140
IDSOLVER=3091
FILE ID=nodeC022/4463743-1722355404
RUNJOBID= nodeC022-1722351699-13904
SLURM_JOB_ID= 8249010
Free space on /tmp= 890052 MiB
SOLVER NAME= NaPS-GM 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph05_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463743-1722355404/watcher-4463743-1722355404 -o /tmp/evaluation-result-4463743-1722355404/solver-4463743-1722355404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722351699-13904 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463743-1722355404.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6dcf243f3bd81c615377274654cfc335
RANDOM SEED=496875979
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3600.565
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3678.152
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3668.897
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3604.210
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3668.909
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3655.652
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3600.406
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
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 : 3678.703
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125654264 kB
MemAvailable: 128450320 kB
Buffers: 69540 kB
Cached: 3532992 kB
SwapCached: 0 kB
Active: 198872 kB
Inactive: 5133288 kB
Active(anon): 1524 kB
Inactive(anon): 1749488 kB
Active(file): 197348 kB
Inactive(file): 3383800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 20776 kB
Writeback: 0 kB
AnonPages: 1729684 kB
Mapped: 93992 kB
Shmem: 21336 kB
KReclaimable: 109112 kB
Slab: 195780 kB
SReclaimable: 109112 kB
SUnreclaim: 86668 kB
KernelStack: 4192 kB
PageTables: 12452 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2403076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8672 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1554432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC022 at 2024-07-30 19:03:33