0.00/0.00 c NaPS 1.03a1.
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-4461091-1722080425.wbo
0.00/0.00 c Initial goal by soft: 229598
5.18/5.29 c single stage optimization mode
5.67/5.76 o 107864
3600.08/3610.30 c
3600.08/3610.30 c *** TERMINATED *** by signal 15
3600.08/3610.30 s SATISFIABLE
3600.08/3610.30 c _____________________________________________________________________________
3600.08/3610.30 c std/band forms : 101,0
3600.08/3610.30 c 2cl/3cl ITE-codings : 0,0
3600.08/3610.30 c BDD/srt/adr Max costs : 0,694,2322098
3600.08/3610.30 c BDDraw/bin/mul/srt/adr: 0,0,0,100,1
3600.08/3610.30 c BDD nodes : 0
3600.08/3610.30 c Es1/CC detections : 0,0
3600.08/3610.30 c CC sort : 100
3600.08/3610.30 c SAT/UNSAT calls : 1,0
3600.08/3610.30 c regenrated variables : 0
3600.08/3610.30 c eliminated fixed lits : 0
3600.08/3610.30 c goal lit flips : 0
3600.08/3610.30 c goal stages : 1
3600.08/3610.30 c goal shrink : 0
3600.08/3610.30 c goal coeff separations: 0
3600.08/3610.30 c restarts : 1
3600.08/3610.30 c conflicts : 30 (0 /sec)
3600.08/3610.30 c decisions : 1105836 (307 /sec)
3600.08/3610.30 c propagations : 1131000 (314 /sec)
3600.08/3610.30 c inspects : 0 (0 /sec)
3600.08/3610.30 c CPU time (solving tm) : 3596 s (3581 s, SAT 0.1641 s, UNSAT 0 s)
3600.08/3610.30 c Time for Opt-base : 0.007477 s
3600.08/3610.30 c Steps for Opt-base : 0
3600.08/3610.30 c Time for BDD coding : 0 s
3600.08/3610.30 c Time for srt coding : 0.005439 s
3600.08/3610.30 c _____________________________________________________________________________
3600.08/3610.30 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.08/3610.30 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.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 v
3600.08/3610.30 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: 63968 MiB (54175 MiB free)
memory of node 1: 64473 MiB (49361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461091-1722080425/watcher-4461091-1722080425 -o /tmp/evaluation-result-4461091-1722080425/solver-4461091-1722080425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722076692-324834 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461091-1722080425.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=328071, runsolver pid=328068
[startup+0.100098 s]*
/proc/loadavg: 4.18 4.13 4.09 5/261 328076
/proc/meminfo: memFree=106012108/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=16416 memory=11916 CPUtime=0.09 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 2138 0 0 0 9 0 0 0 20 0 1 0 44572213 16809984 2979 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 4104 2979 436 659 0 3308 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26348 KiB
Current children cumulated memory: 14612 KiB
[startup+0.205903 s]*
/proc/loadavg: 4.18 4.13 4.09 5/261 328076
/proc/meminfo: memFree=106004576/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=24124 memory=19012 CPUtime=0.2 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 4002 0 0 0 20 0 0 0 20 0 1 0 44572213 24702976 4753 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 6031 4753 436 659 0 5235 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34056 KiB
Current children cumulated memory: 21708 KiB
[startup+0.305779 s]*
/proc/loadavg: 4.18 4.13 4.09 5/261 328076
/proc/meminfo: memFree=105997688/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=32280 memory=26176 CPUtime=0.29 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 6005 0 0 0 29 0 0 0 20 0 1 0 44572213 33054720 6544 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 8070 6544 436 659 0 7274 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42212 KiB
Current children cumulated memory: 28872 KiB
[startup+0.700249 s]
/proc/loadavg: 4.18 4.13 4.09 5/261 328076
/proc/meminfo: memFree=105981612/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=61680 memory=55360 CPUtime=0.69 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 13166 0 0 0 67 2 0 0 20 0 1 0 44572213 63160320 13840 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 15420 13840 436 659 0 14624 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71612 KiB
Current children cumulated memory: 58056 KiB
[startup+1.50027 s]
/proc/loadavg: 4.18 4.13 4.09 6/261 328076
/proc/meminfo: memFree=105947052/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=121212 memory=110400 CPUtime=1.49 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 26621 0 0 0 144 5 0 0 20 0 1 0 44572213 124121088 27600 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 30303 27600 436 659 0 29507 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 131144 KiB
Current children cumulated memory: 113096 KiB
[startup+3.10576 s]
/proc/loadavg: 4.17 4.13 4.09 5/261 328076
/proc/meminfo: memFree=105774140/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=309736 memory=285372 CPUtime=3.09 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 62751 0 0 0 299 10 0 0 20 0 1 0 44572213 317169664 71343 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 77434 71343 436 659 0 76638 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 319668 KiB
Current children cumulated memory: 288068 KiB
[startup+6.30027 s]
/proc/loadavg: 4.17 4.13 4.09 5/261 328077
/proc/meminfo: memFree=105583756/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=453784 memory=434284 CPUtime=6.27 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 96859 0 0 0 612 15 0 0 20 0 1 0 44572213 464674816 108571 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 113446 108571 468 659 0 112650 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 463716 KiB
Current children cumulated memory: 436980 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.09 5/261 328077
/proc/meminfo: memFree=104103492/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=2213088 memory=2094076 CPUtime=12.66 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 285878 0 0 0 1206 60 0 0 20 0 1 0 44572213 2266202112 523519 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 553272 523519 468 659 0 552476 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2223020 KiB
Current children cumulated memory: 2096772 KiB
[startup+25.5003 s]
/proc/loadavg: 4.34 4.17 4.10 5/261 328080
/proc/meminfo: memFree=102898480/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3372328 memory=3052744 CPUtime=25.43 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 410022 0 0 0 2455 88 0 0 20 0 1 0 44572213 3453263872 763186 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 843082 763186 468 659 0 842286 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3382260 KiB
Current children cumulated memory: 3055440 KiB
[startup+51.1057 s]
/proc/loadavg: 4.40 4.20 4.12 5/261 328084
/proc/meminfo: memFree=102885072/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3372328 memory=3052800 CPUtime=50.98 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 410341 0 0 0 5009 89 0 0 20 0 1 0 44572213 3453263872 763200 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 843082 763200 468 659 0 842286 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 3382260 KiB
Current children cumulated memory: 3055496 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/261 328093
/proc/meminfo: memFree=102863772/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3372328 memory=3054372 CPUtime=102.04 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 411250 0 0 0 10113 91 0 0 20 0 1 0 44572213 3453263872 763593 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 843082 763593 468 659 0 842286 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 3382260 KiB
Current children cumulated memory: 3057068 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/261 328104
/proc/meminfo: memFree=102900500/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3374376 memory=3058504 CPUtime=161.9 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 412210 0 0 0 16097 93 0 0 20 0 1 0 44572213 3455361024 764626 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 843594 764626 468 659 0 842798 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 3384308 KiB
Current children cumulated memory: 3061200 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/261 328115
/proc/meminfo: memFree=102861012/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3375564 memory=3059612 CPUtime=221.74 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 412893 0 0 0 22080 94 0 0 20 0 1 0 44572213 3456577536 764903 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 843891 764903 468 659 0 843095 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 3385496 KiB
################
# More data... #
################
/proc/328076/statm: 955608 818062 468 659 0 954812 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 3832364 KiB
Current children cumulated memory: 3274944 KiB
[startup+3162.3 s]
/proc/loadavg: 2.20 2.14 2.36 3/245 329888
/proc/meminfo: memFree=111597692/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3824316 memory=3315296 CPUtime=3153.37 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 464269 0 0 0 315015 322 0 0 20 0 1 0 44572213 3916099584 828824 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 956079 828824 468 659 0 955283 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 3834248 KiB
Current children cumulated memory: 3317992 KiB
[startup+3222.3 s]
/proc/loadavg: 2.18 2.15 2.35 3/244 329899
/proc/meminfo: memFree=111632460/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3824776 memory=3229576 CPUtime=3213.19 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 465771 0 0 0 320984 335 0 0 20 0 1 0 44572213 3916570624 807394 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 956194 807394 468 659 0 955398 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 3834708 KiB
Current children cumulated memory: 3232272 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.13 2.33 3/244 329909
/proc/meminfo: memFree=111802996/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3825592 memory=3277476 CPUtime=3273.02 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 466207 0 0 0 326964 338 0 0 20 0 1 0 44572213 3917406208 819369 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 956398 819369 468 659 0 955602 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 3835524 KiB
Current children cumulated memory: 3280172 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.12 2.31 3/243 329919
/proc/meminfo: memFree=111713096/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3827220 memory=3318264 CPUtime=3332.84 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 466917 0 0 0 332943 341 0 0 20 0 1 0 44572213 3919073280 829566 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 956805 829566 468 659 0 956009 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 3837152 KiB
Current children cumulated memory: 3320960 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.13 2.30 4/243 329930
/proc/meminfo: memFree=111745096/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3827764 memory=3232736 CPUtime=3392.67 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 468478 0 0 0 338910 357 0 0 20 0 1 0 44572213 3919630336 808184 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 956941 808184 468 659 0 956145 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 3837696 KiB
Current children cumulated memory: 3235432 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.12 2.28 3/243 329941
/proc/meminfo: memFree=111650984/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3828304 memory=3276292 CPUtime=3452.5 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 469340 0 0 0 344890 360 0 0 20 0 1 0 44572213 3920183296 819073 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 957076 819073 468 659 0 956280 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 3838236 KiB
Current children cumulated memory: 3278988 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.12 2.27 3/243 329951
/proc/meminfo: memFree=111559356/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3828984 memory=3315824 CPUtime=3512.32 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 469752 0 0 0 350870 362 0 0 20 0 1 0 44572213 3920879616 828956 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 957246 828956 468 659 0 956450 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 3838916 KiB
Current children cumulated memory: 3318520 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.11 2.26 2/235 329992
/proc/meminfo: memFree=117961336/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3836048 memory=3362168 CPUtime=3572.15 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 470901 0 0 0 356849 366 0 0 20 0 1 0 44572213 3928113152 840542 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 959012 840542 468 659 0 958216 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 3845980 KiB
Current children cumulated memory: 3364864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 1.74 2.02 2.22 2/238 330003
/proc/meminfo: memFree=118125660/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3486800 memory=3197772 CPUtime=3600.08 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 471895 0 0 0 359630 378 0 0 20 0 1 0 44572213 3570483200 799443 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 871700 799443 468 659 0 870904 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3496732 KiB
Current children cumulated memory: 3200468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 328071 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000696 s, system=0.002103 s
[startup+3610.39 s]
# the end of solver process 328076 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.31 s, system=3.87108 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
[startup+3610.3 s]
/proc/loadavg: 1.74 2.02 2.22 2/238 330003
/proc/meminfo: memFree=118125660/131524600 swapFree=131055836/131071996
[pid=328071] ppid=328068 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/328071/stat : 328071 (naps-1.03.sh) S 328068 328071 324823 0 -1 4194304 220 236 0 0 0 0 0 0 20 0 1 0 44572212 10170368 674 134679101440 94528256331776 94528257411096 140730789191632 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94528259509552 94528259556740 94528271613952 140730789196765 140730789196894 140730789196894 140730789203912 0
/proc/328071/statm: 2483 674 595 264 0 134 0
[pid=328076] ppid=328071 vsize=3486800 memory=3197772 CPUtime=3600.08 cores=4,6
/proc/328076/stat : 328076 (naps-1.03) R 328071 328071 324823 0 -1 4194304 471895 0 0 0 359630 378 0 0 20 0 1 0 44572213 3570483200 799443 134679101440 4194304 6891597 140729563627840 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40468480 140729563636718 140729563636834 140729563636834 140729563643851 0
/proc/328076/statm: 871700 799443 468 659 0 870904 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3496732 KiB
Current children cumulated memory: 3200468 KiB
Child status: 10
Real time (s): 3610.39
CPU time (s): 3600.18
CPU user time (s): 3596.31
CPU system time (s): 3.87108
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 4404780
Max. memory (cumulated for all children) (KiB): 3910028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.31
system time used= 3.87108
maximum resident set size= 3907332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472351
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= 12
involuntary context switches= 4605
# summary of solver processes directly reported to runsolver:
# pid: 328071,328076
# total CPU time (s): 3600.18
# total CPU user time (s): 3596.31
# total CPU system time (s): 3.87108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40108 second user time and 16.9842 second system time
The end
Begin job on nodeC033 at 2024-07-27 13:40:25
IDJOB=4461091
IDBENCH=144140
IDSOLVER=3087
FILE ID=nodeC033/4461091-1722080425
RUNJOBID= nodeC033-1722076692-324834
SLURM_JOB_ID= 8248139
Free space on /tmp= 890004 MiB
SOLVER NAME= NaPS-GM 1.03a1
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-4461091-1722080425/watcher-4461091-1722080425 -o /tmp/evaluation-result-4461091-1722080425/solver-4461091-1722080425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722076692-324834 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461091-1722080425.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6dcf243f3bd81c615377274654cfc335
RANDOM SEED=253937396
nodeC033.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 : 3665.731
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 : 6999.99
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 : 3683.808
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 : 7005.76
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 : 3600.369
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 : 6999.99
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 : 3600.228
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 : 7005.76
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 : 3667.197
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 : 6999.99
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 : 3683.834
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 : 7005.76
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 : 3649.491
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 : 6999.99
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 : 3600.035
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 : 7005.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 106022532 kB
MemAvailable: 114375416 kB
Buffers: 384772 kB
Cached: 8726140 kB
SwapCached: 300 kB
Active: 2667420 kB
Inactive: 22053752 kB
Active(anon): 2240 kB
Inactive(anon): 15661124 kB
Active(file): 2665180 kB
Inactive(file): 6392628 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 21016 kB
Writeback: 12 kB
AnonPages: 15608676 kB
Mapped: 116152 kB
Shmem: 53064 kB
KReclaimable: 269796 kB
Slab: 395868 kB
SReclaimable: 269796 kB
SUnreclaim: 126072 kB
KernelStack: 4144 kB
PageTables: 40300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 17811184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9269248 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: 430804 kB
DirectMap2M: 51771392 kB
DirectMap1G: 83886080 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-27 14:40:36