0.00/0.00 c NaPS 1.03.
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-4426326-1720901929.wbo
5.67/5.78 c single stage optimization mode
6.17/6.26 o 107864
3600.08/3609.60 c
3600.08/3609.60 c *** TERMINATED *** by signal 15
3600.08/3609.60 s SATISFIABLE
3600.08/3609.60 c _____________________________________________________________________________
3600.08/3609.60 c std/band forms : 101,0
3600.08/3609.60 c 2cl/3cl ITE-codings : 0,0
3600.08/3609.60 c BDD/srt/adr Max costs : 0,694,2322098
3600.08/3609.60 c BDDraw/bin/mul/srt/adr: 0,0,0,100,1
3600.08/3609.60 c BDD nodes : 0
3600.08/3609.60 c Es1/CC detections : 0,0
3600.08/3609.60 c CC sort : 100
3600.08/3609.60 c SAT/UNSAT calls : 1,0
3600.08/3609.60 c regenrated variables : 0
3600.08/3609.60 c eliminated fixed lits : 0
3600.08/3609.60 c goal lit flips : 0
3600.08/3609.60 c goal stages : 1
3600.08/3609.60 c goal shrink : 0
3600.08/3609.60 c goal coeff separations: 0
3600.08/3609.60 c restarts : 1
3600.08/3609.60 c conflicts : 30 (0 /sec)
3600.08/3609.60 c decisions : 1105836 (307 /sec)
3600.08/3609.60 c propagations : 1131000 (314 /sec)
3600.08/3609.60 c inspects : 0 (0 /sec)
3600.08/3609.60 c CPU time (solving tm) : 3597 s (3582 s, SAT 0.1619 s, UNSAT 0 s)
3600.08/3609.60 c Time for Opt-base : 0.007561 s
3600.08/3609.60 c Steps for Opt-base : 0
3600.08/3609.60 c Time for BDD coding : 0 s
3600.08/3609.60 c Time for srt coding : 0.006172 s
3600.08/3609.60 c _____________________________________________________________________________
3600.08/3609.60 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/3609.60 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/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 v
3600.08/3609.60 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: 64059 MiB (55403 MiB free)
memory of node 1: 64510 MiB (57124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426326-1720901929/watcher-4426326-1720901929 -o /tmp/evaluation-result-4426326-1720901929/solver-4426326-1720901929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720901807-721876 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426326-1720901929.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=722322, runsolver pid=722319
[startup+0.100924 s]*
/proc/loadavg: 3.69 1.57 0.66 5/246 722327
/proc/meminfo: memFree=115225196/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=12104 memory=5684 CPUtime=0.1 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 1088 0 0 0 10 0 0 0 20 0 1 0 142351692 12394496 1421 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 3026 1421 436 659 0 2230 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22036 KiB
Current children cumulated memory: 8380 KiB
[startup+0.213589 s]*
/proc/loadavg: 3.69 1.57 0.66 5/246 722327
/proc/meminfo: memFree=115219596/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=17720 memory=11100 CPUtime=0.21 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 2505 0 0 0 21 0 0 0 20 0 1 0 142351692 18145280 2775 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 4430 2775 436 659 0 3634 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27652 KiB
Current children cumulated memory: 13796 KiB
[startup+0.313488 s]*
/proc/loadavg: 3.69 1.57 0.66 5/246 722327
/proc/meminfo: memFree=115213644/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=21988 memory=16764 CPUtime=0.3 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 3462 0 0 0 30 0 0 0 20 0 1 0 142351692 22515712 4191 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 5497 4191 436 659 0 4701 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31920 KiB
Current children cumulated memory: 19460 KiB
[startup+0.700408 s]
/proc/loadavg: 3.69 1.57 0.66 5/246 722327
/proc/meminfo: memFree=115205776/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=37932 memory=31268 CPUtime=0.68 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 7286 0 0 0 67 1 0 0 20 0 1 0 142351692 38842368 7817 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 9483 7817 436 659 0 8687 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47864 KiB
Current children cumulated memory: 33964 KiB
[startup+1.50041 s]
/proc/loadavg: 3.69 1.57 0.66 6/246 722327
/proc/meminfo: memFree=115182708/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=86300 memory=79852 CPUtime=1.47 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 19466 0 0 0 143 4 0 0 20 0 1 0 142351692 88371200 19963 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 21575 19963 436 659 0 20779 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 96232 KiB
Current children cumulated memory: 82548 KiB
[startup+3.11309 s]
/proc/loadavg: 3.72 1.61 0.68 7/246 722327
/proc/meminfo: memFree=114694636/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=212816 memory=191464 CPUtime=3.09 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 44366 0 0 0 300 9 0 0 20 0 1 0 142351692 217923584 47866 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 53204 47866 436 659 0 52408 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 222748 KiB
Current children cumulated memory: 194160 KiB
[startup+6.30039 s]
/proc/loadavg: 3.72 1.61 0.68 6/246 722327
/proc/meminfo: memFree=114474344/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=415148 memory=395728 CPUtime=6.27 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 89755 0 0 0 610 17 0 0 20 0 1 0 142351692 425111552 98932 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 103787 98932 468 659 0 102991 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 425080 KiB
Current children cumulated memory: 398424 KiB
[startup+12.7004 s]
/proc/loadavg: 3.74 1.65 0.70 6/246 722329
/proc/meminfo: memFree=112257480/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=2069600 memory=1925708 CPUtime=12.65 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 269685 0 0 0 1206 59 0 0 20 0 1 0 142351692 2119270400 481427 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 517400 481427 468 659 0 516604 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2079532 KiB
Current children cumulated memory: 1928404 KiB
[startup+25.5004 s]
/proc/loadavg: 3.87 1.78 0.76 6/246 722330
/proc/meminfo: memFree=111387064/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3372316 memory=3053376 CPUtime=25.43 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 410558 0 0 0 2449 94 0 0 20 0 1 0 142351692 3453251584 763344 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 843079 763344 468 659 0 842283 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3382248 KiB
Current children cumulated memory: 3056072 KiB
[startup+51.1129 s]
/proc/loadavg: 3.76 1.93 0.83 5/239 722371
/proc/meminfo: memFree=116949376/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3372316 memory=3053456 CPUtime=50.97 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 410872 0 0 0 5003 94 0 0 20 0 1 0 142351692 3453251584 763364 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 843079 763364 468 659 0 842283 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3382248 KiB
Current children cumulated memory: 3056152 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 2.11 0.96 5/240 722383
/proc/meminfo: memFree=116112044/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3372316 memory=3053456 CPUtime=102.01 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 411332 0 0 0 10106 95 0 0 20 0 1 0 142351692 3453251584 763364 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 843079 763364 468 659 0 842283 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3382248 KiB
Current children cumulated memory: 3056152 KiB
[startup+162.3 s]
/proc/loadavg: 3.23 2.31 1.10 6/240 722393
/proc/meminfo: memFree=116105696/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3374236 memory=3055480 CPUtime=161.84 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 412338 0 0 0 16088 96 0 0 20 0 1 0 142351692 3455217664 763870 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 843559 763870 468 659 0 842763 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3384168 KiB
Current children cumulated memory: 3058176 KiB
[startup+222.3 s]
/proc/loadavg: 3.14 2.45 1.22 6/239 722404
/proc/meminfo: memFree=114930204/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3375424 memory=3058704 CPUtime=221.66 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 413037 0 0 0 22069 97 0 0 20 0 1 0 142351692 3456434176 764676 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 843856 764676 468 659 0 843060 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 3385356 KiB
################
# More data... #
################
/proc/722327/statm: 950920 821472 468 659 0 950124 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 3813612 KiB
Current children cumulated memory: 3288584 KiB
[startup+3102.3 s]
/proc/loadavg: 2.19 2.26 2.23 4/231 724129
/proc/meminfo: memFree=125301372/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3810840 memory=3321836 CPUtime=3094.13 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 485062 0 0 0 309165 248 0 0 20 0 1 0 142351692 3902300160 830459 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 952710 830459 468 659 0 951914 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 3820772 KiB
Current children cumulated memory: 3324532 KiB
[startup+3162.3 s]
/proc/loadavg: 2.19 2.24 2.22 4/231 724139
/proc/meminfo: memFree=125408100/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3471200 memory=3216172 CPUtime=3153.98 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 489084 0 0 0 315138 260 0 0 20 0 1 0 142351692 3554508800 804043 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 867800 804043 468 659 0 867004 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 3481132 KiB
Current children cumulated memory: 3218868 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.21 2.21 4/231 724150
/proc/meminfo: memFree=125350408/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3822340 memory=3272160 CPUtime=3213.83 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 491289 0 0 0 321121 262 0 0 20 0 1 0 142351692 3914076160 818040 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 955585 818040 468 659 0 954789 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 3832272 KiB
Current children cumulated memory: 3274856 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.18 2.20 4/231 724160
/proc/meminfo: memFree=125304292/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3824196 memory=3313000 CPUtime=3273.69 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 493063 0 0 0 327105 264 0 0 20 0 1 0 142351692 3915976704 828250 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 956049 828250 468 659 0 955253 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 3834128 KiB
Current children cumulated memory: 3315696 KiB
[startup+3342.3 s]
/proc/loadavg: 2.13 2.18 2.20 4/231 724171
/proc/meminfo: memFree=125387120/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3824652 memory=3229388 CPUtime=3333.54 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 495349 0 0 0 333076 278 0 0 20 0 1 0 142351692 3916443648 807347 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 956163 807347 468 659 0 955367 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 3834584 KiB
Current children cumulated memory: 3232084 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.16 2.18 4/231 724183
/proc/meminfo: memFree=125334012/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3825468 memory=3277332 CPUtime=3393.38 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 496766 0 0 0 339058 280 0 0 20 0 1 0 142351692 3917279232 819333 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 956367 819333 468 659 0 955571 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 3835400 KiB
Current children cumulated memory: 3280028 KiB
[startup+3462.3 s]
/proc/loadavg: 2.08 2.14 2.18 4/229 724193
/proc/meminfo: memFree=125291104/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3826808 memory=3319408 CPUtime=3453.19 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 498261 0 0 0 345038 281 0 0 20 0 1 0 142351692 3918651392 829852 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 956702 829852 468 659 0 955906 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 3836740 KiB
Current children cumulated memory: 3322104 KiB
[startup+3522.3 s]
/proc/loadavg: 2.06 2.13 2.17 4/229 724203
/proc/meminfo: memFree=125375344/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3827772 memory=3236716 CPUtime=3513.01 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 500882 0 0 0 351007 294 0 0 20 0 1 0 142351692 3919638528 809179 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 956943 809179 468 659 0 956147 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 3837704 KiB
Current children cumulated memory: 3239412 KiB
[startup+3582.3 s]
/proc/loadavg: 1.67 2.02 2.13 2/221 724244
/proc/meminfo: memFree=126744472/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3828336 memory=3282288 CPUtime=3572.85 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 502228 0 0 0 356990 295 0 0 20 0 1 0 142351692 3920216064 820572 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 957084 820572 468 659 0 956288 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 3838268 KiB
Current children cumulated memory: 3284984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 1.46 1.94 2.10 2/221 724249
/proc/meminfo: memFree=126729768/131655788 swapFree=131071996/131071996
[pid=722322] ppid=722319 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/722322/stat : 722322 (naps-1.03.sh) S 722319 722322 721865 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 142351691 10170368 674 134679101440 94523634425856 94523635505176 140721443243152 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94523637603632 94523637650820 94523661549568 140721443251116 140721443251245 140721443251245 140721443258312 0
/proc/722322/statm: 2483 674 596 264 0 134 0
[pid=722327] ppid=722322 vsize=3828604 memory=3296920 CPUtime=3600.08 cores=4,6
/proc/722327/stat : 722327 (naps-1.03) R 722322 722322 721865 0 -1 4194304 502745 0 0 0 359712 296 0 0 20 0 1 0 142351692 3920490496 824230 134679101440 4194304 6891213 140726762451200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34689024 140726762455997 140726762456113 140726762456113 140726762463179 0
/proc/722327/statm: 957151 824230 468 659 0 956355 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3838536 KiB
Current children cumulated memory: 3299616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 722322 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003363 s, system=0.002324 s
[startup+3609.63 s]
# the end of solver process 722327 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.14 s, system=2.98703 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.63
CPU time (s): 3600.13
CPU user time (s): 3597.14
CPU system time (s): 2.98703
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 4396084
Max. memory (cumulated for all children) (KiB): 3890928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.14
system time used= 2.98703
maximum resident set size= 3888232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503217
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= 236
involuntary context switches= 4607
# summary of solver processes directly reported to runsolver:
# pid: 722322,722327
# total CPU time (s): 3600.13
# total CPU user time (s): 3597.14
# total CPU system time (s): 2.98703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2026 second user time and 37.4076 second system time
The end
Begin job on nodeC006 at 2024-07-13 22:19:02
IDJOB=4426326
IDBENCH=144140
IDSOLVER=3042
FILE ID=nodeC006/4426326-1720901929
RUNJOBID= nodeC006-1720901807-721876
SLURM_JOB_ID= 7486072
Free space on /tmp= 723740 MiB
SOLVER NAME= NaPS-GM 1.03
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-4426326-1720901929/watcher-4426326-1720901929 -o /tmp/evaluation-result-4426326-1720901929/solver-4426326-1720901929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720901807-721876 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426326-1720901929.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6dcf243f3bd81c615377274654cfc335
RANDOM SEED=2039415004
nodeC006.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 : 0xb00001f
cpu MHz : 3491.970
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3496.022
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.422
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.271
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.973
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3499.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.260
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.362
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115229264 kB
MemAvailable: 115199980 kB
Buffers: 334580 kB
Cached: 483984 kB
SwapCached: 0 kB
Active: 511368 kB
Inactive: 15386912 kB
Active(anon): 1484 kB
Inactive(anon): 15115980 kB
Active(file): 509884 kB
Inactive(file): 270932 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 20924 kB
Writeback: 0 kB
AnonPages: 15079800 kB
Mapped: 106716 kB
Shmem: 37704 kB
KReclaimable: 59864 kB
Slab: 149148 kB
SReclaimable: 59864 kB
SUnreclaim: 89284 kB
KernelStack: 3920 kB
PageTables: 39132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 16672528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 46560 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4640768 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: 162632 kB
DirectMap2M: 9179136 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC006 at 2024-07-13 23:19:12