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-4434047-1721132288.opb
4.87/4.93 c single stage optimization mode
4.87/5.00 o 45
3600.00/3611.30 c
3600.00/3611.30 c *** TERMINATED *** by signal 15
3600.00/3611.30 s SATISFIABLE
3600.00/3611.30 c _____________________________________________________________________________
3600.00/3611.30 c std/band forms : 1,0
3600.00/3611.30 c 2cl/3cl ITE-codings : 0,0
3600.00/3611.30 c BDD/srt/adr Max costs : 0,395198,0
3600.00/3611.30 c BDDraw/bin/mul/srt/adr: 0,0,0,1,0
3600.00/3611.30 c BDD nodes : 0
3600.00/3611.30 c Es1/CC detections : 0,0
3600.00/3611.30 c CC sort : 1
3600.00/3611.30 c SAT/UNSAT calls : 1,0
3600.00/3611.30 c regenrated variables : 0
3600.00/3611.30 c eliminated fixed lits : 0
3600.00/3611.30 c goal lit flips : 0
3600.00/3611.30 c goal stages : 1
3600.00/3611.30 c goal shrink : 0
3600.00/3611.30 c goal coeff separations: 0
3600.00/3611.30 c restarts : 1
3600.00/3611.30 c conflicts : 0 (0 /sec)
3600.00/3611.30 c decisions : 5004 (1 /sec)
3600.00/3611.30 c propagations : 5048 (1 /sec)
3600.00/3611.30 c inspects : 0 (0 /sec)
3600.00/3611.30 c CPU time (solving tm) : 3599 s (3594 s, SAT 0.0594 s, UNSAT 0 s)
3600.00/3611.30 c Time for Opt-base : 0.001165 s
3600.00/3611.30 c Steps for Opt-base : 0
3600.00/3611.30 c Time for BDD coding : 0 s
3600.00/3611.30 c Time for srt coding : 0.04153 s
3600.00/3611.30 c _____________________________________________________________________________
3600.00/3611.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.00/3611.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 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
3600.00/3611.30 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58968 MiB free)
memory of node 1: 64510 MiB (61737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434047-1721132288/watcher-4434047-1721132288 -o /tmp/evaluation-result-4434047-1721132288/solver-4434047-1721132288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721132301-874836 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434047-1721132288.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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=874894, runsolver pid=874891
[startup+0.100084 s]*
/proc/loadavg: 1.22 1.58 2.12 5/252 874899
/proc/meminfo: memFree=123587572/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=10812 memory=4516 CPUtime=0.09 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 810 0 0 0 9 0 0 0 20 0 1 0 165396209 11071488 1129 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 2703 1129 436 659 0 1907 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20744 KiB
Current children cumulated memory: 7196 KiB
[startup+0.205243 s]*
/proc/loadavg: 1.22 1.58 2.12 6/259 874914
/proc/meminfo: memFree=123557004/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=11096 memory=5228 CPUtime=0.2 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 939 0 0 0 20 0 0 0 20 0 1 0 165396209 11362304 1307 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 2774 1307 436 659 0 1978 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21028 KiB
Current children cumulated memory: 7908 KiB
[startup+0.304849 s]*
/proc/loadavg: 1.22 1.58 2.12 6/259 874914
/proc/meminfo: memFree=123508612/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=11432 memory=5756 CPUtime=0.3 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 1084 0 0 0 30 0 0 0 20 0 1 0 165396209 11706368 1439 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 2858 1439 436 659 0 2062 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21364 KiB
Current children cumulated memory: 8436 KiB
[startup+0.700218 s]
/proc/loadavg: 1.22 1.58 2.12 5/259 874914
/proc/meminfo: memFree=123465700/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=12728 memory=9676 CPUtime=0.68 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 1558 0 0 0 68 0 0 0 20 0 1 0 165396209 13033472 2419 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 3182 2419 436 659 0 2386 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22660 KiB
Current children cumulated memory: 12356 KiB
[startup+1.50019 s]
/proc/loadavg: 1.22 1.58 2.12 5/259 874914
/proc/meminfo: memFree=123427748/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=15332 memory=12080 CPUtime=1.49 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 2187 0 0 0 148 1 0 0 20 0 1 0 165396209 15699968 3020 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 3833 3020 436 659 0 3037 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 25264 KiB
Current children cumulated memory: 14760 KiB
[startup+3.10487 s]
/proc/loadavg: 1.22 1.58 2.12 5/259 874916
/proc/meminfo: memFree=122937216/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=23928 memory=20924 CPUtime=3.08 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 4392 0 0 0 307 1 0 0 20 0 1 0 165396209 24502272 5231 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 5982 5231 436 659 0 5186 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 33860 KiB
Current children cumulated memory: 23604 KiB
[startup+6.3002 s]
/proc/loadavg: 1.44 1.62 2.13 5/259 874916
/proc/meminfo: memFree=122639800/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=260428 memory=228152 CPUtime=6.27 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 39644 0 0 0 617 10 0 0 20 0 1 0 165396209 266678272 57038 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 65107 57038 468 659 0 64311 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 270360 KiB
Current children cumulated memory: 230832 KiB
[startup+12.7002 s]
/proc/loadavg: 1.73 1.68 2.15 5/259 874916
/proc/meminfo: memFree=122602912/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=218124 memory=203116 CPUtime=12.65 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 41413 0 0 0 1255 10 0 0 20 0 1 0 165396209 223358976 50779 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 54531 50779 468 659 0 53735 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 228056 KiB
Current children cumulated memory: 205796 KiB
[startup+25.5002 s]
/proc/loadavg: 2.23 1.79 2.18 5/259 874919
/proc/meminfo: memFree=120882000/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=218812 memory=203896 CPUtime=25.41 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 42065 0 0 0 2530 11 0 0 20 0 1 0 165396209 224063488 50974 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 54703 50974 468 659 0 53907 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 228744 KiB
Current children cumulated memory: 206576 KiB
[startup+51.1056 s]
/proc/loadavg: 2.84 1.97 2.23 5/259 874922
/proc/meminfo: memFree=115976532/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=220204 memory=207072 CPUtime=50.94 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 42907 0 0 0 5082 12 0 0 20 0 1 0 165396209 225488896 51768 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 55051 51768 468 659 0 54255 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 230136 KiB
Current children cumulated memory: 209752 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.31 2.33 5/259 874931
/proc/meminfo: memFree=100752704/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=241488 memory=215728 CPUtime=101.98 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 44506 0 0 0 10184 14 0 0 20 0 1 0 165396209 247283712 53932 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 60372 53932 468 659 0 59576 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 251420 KiB
Current children cumulated memory: 218408 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.62 2.44 5/261 874946
/proc/meminfo: memFree=97764756/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=243232 memory=219420 CPUtime=161.79 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 45884 0 0 0 16163 16 0 0 20 0 1 0 165396209 249069568 54855 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 60808 54855 468 659 0 60012 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 253164 KiB
Current children cumulated memory: 222100 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.93 2.56 5/260 874956
/proc/meminfo: memFree=95056796/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=244612 memory=224884 CPUtime=221.61 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 46687 0 0 0 22143 18 0 0 20 0 1 0 165396209 250482688 56221 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 61153 56221 468 659 0 60357 0
Current children cumulated CPU time: 221.61 s
################
# More data... #
################
/proc/874899/statm: 78519 73072 468 659 0 77723 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 324008 KiB
Current children cumulated memory: 294968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/260 876726
/proc/meminfo: memFree=98628908/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=364476 memory=306116 CPUtime=3152.42 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 71602 0 0 0 315170 72 0 0 20 0 1 0 165396209 373223424 76529 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 91119 76529 468 659 0 90323 0
Current children cumulated CPU time: 3152.42 s
Current children cumulated vsize: 374408 KiB
Current children cumulated memory: 308796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/260 876736
/proc/meminfo: memFree=98669212/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=283848 memory=270324 CPUtime=3212.24 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 71777 0 0 0 321150 74 0 0 20 0 1 0 165396209 290660352 67581 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 70962 67581 468 659 0 70166 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 293780 KiB
Current children cumulated memory: 273004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/260 876746
/proc/meminfo: memFree=98574700/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=314808 memory=284928 CPUtime=3272.05 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 71892 0 0 0 327131 74 0 0 20 0 1 0 165396209 322363392 71232 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 78702 71232 468 659 0 77906 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 324740 KiB
Current children cumulated memory: 287608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/260 876758
/proc/meminfo: memFree=98556336/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=315124 memory=300432 CPUtime=3331.85 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 72213 0 0 0 333111 74 0 0 20 0 1 0 165396209 322686976 75108 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 78781 75108 468 659 0 77985 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 325056 KiB
Current children cumulated memory: 303112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/260 876769
/proc/meminfo: memFree=98569340/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=366556 memory=322352 CPUtime=3391.67 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 73133 0 0 0 339091 76 0 0 20 0 1 0 165396209 375353344 80588 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 91639 80588 468 659 0 90843 0
Current children cumulated CPU time: 3391.67 s
Current children cumulated vsize: 376488 KiB
Current children cumulated memory: 325032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/258 876779
/proc/meminfo: memFree=98667848/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=316636 memory=288544 CPUtime=3451.47 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 73353 0 0 0 345070 77 0 0 20 0 1 0 165396209 324235264 72136 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 79159 72136 468 659 0 78363 0
Current children cumulated CPU time: 3451.47 s
Current children cumulated vsize: 326568 KiB
Current children cumulated memory: 291224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/258 876789
/proc/meminfo: memFree=98590300/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=369520 memory=312580 CPUtime=3511.29 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 74730 0 0 0 351050 79 0 0 20 0 1 0 165396209 378388480 78145 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 92380 78145 468 659 0 91584 0
Current children cumulated CPU time: 3511.29 s
Current children cumulated vsize: 379452 KiB
Current children cumulated memory: 315260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/260 876804
/proc/meminfo: memFree=98549428/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=322100 memory=278352 CPUtime=3571.09 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 75377 0 0 0 357029 80 0 0 20 0 1 0 165396209 329830400 69588 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 80525 69588 468 659 0 79729 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 332032 KiB
Current children cumulated memory: 281032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/260 876808
/proc/meminfo: memFree=98514288/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=322100 memory=288828 CPUtime=3600 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 75386 0 0 0 359919 81 0 0 20 0 1 0 165396209 329830400 72207 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 80525 72207 468 659 0 79729 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 332032 KiB
Current children cumulated memory: 291508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 874894 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002362 s, system=0.000339 s
[startup+3611.31 s]
# the end of solver process 874899 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.2 s, system=0.825608 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+3611.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/260 876808
/proc/meminfo: memFree=98514288/131524600 swapFree=131071996/131071996
[pid=874894] ppid=874891 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/874894/stat : 874894 (naps-1.03.sh) S 874891 874894 874825 0 -1 4194304 222 239 0 0 0 0 0 0 20 0 1 0 165396208 10170368 670 134679101440 94614247133184 94614248212504 140733679616112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94614250310960 94614250358148 94614280142848 140733679625184 140733679625313 140733679625313 140733679632328 0
/proc/874894/statm: 2483 670 590 264 0 134 0
[pid=874899] ppid=874894 vsize=322100 memory=288828 CPUtime=3600 cores=4,6
/proc/874899/stat : 874899 (naps-1.03) R 874894 874894 874825 0 -1 4194304 75386 0 0 0 359919 81 0 0 20 0 1 0 165396209 329830400 72207 134679101440 4194304 6891213 140736203263488 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 9273344 140736203265009 140736203265125 140736203265125 140736203272139 0
/proc/874899/statm: 80525 72207 468 659 0 79729 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 332032 KiB
Current children cumulated memory: 291508 KiB
Child status: 10
Real time (s): 3611.31
CPU time (s): 3600.02
CPU user time (s): 3599.2
CPU system time (s): 0.825608
CPU usage (%): 99.6875
Max. virtual memory (cumulated for all children) (KiB): 431440
Max. memory (cumulated for all children) (KiB): 361820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.825608
maximum resident set size= 376052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75847
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= 3501
# summary of solver processes directly reported to runsolver:
# pid: 874894,874899
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.2
# total CPU system time (s): 0.825608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91578 second user time and 18.1343 second system time
The end
Begin job on nodeC029 at 2024-07-16 14:18:21
IDJOB=4434047
IDBENCH=155403
IDSOLVER=3062
FILE ID=nodeC029/4434047-1721132288
RUNJOBID= nodeC029-1721132301-874836
SLURM_JOB_ID= 7505704
Free space on /tmp= 890008 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434047-1721132288/watcher-4434047-1721132288 -o /tmp/evaluation-result-4434047-1721132288/solver-4434047-1721132288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721132301-874836 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434047-1721132288.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=891707517
nodeC029.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 : 3638.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3631.221
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 : 7006.98
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 : 3669.531
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3680.631
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.164
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3600.693
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 : 7006.98
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 : 3663.993
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.610
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123608732 kB
MemAvailable: 129642848 kB
Buffers: 409920 kB
Cached: 6387556 kB
SwapCached: 0 kB
Active: 741584 kB
Inactive: 6417520 kB
Active(anon): 1408 kB
Inactive(anon): 397940 kB
Active(file): 740176 kB
Inactive(file): 6019580 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 71624 kB
Writeback: 8 kB
AnonPages: 361792 kB
Mapped: 107560 kB
Shmem: 37720 kB
KReclaimable: 228016 kB
Slab: 349636 kB
SReclaimable: 228016 kB
SUnreclaim: 121620 kB
KernelStack: 4048 kB
PageTables: 10124 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 765260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC029 at 2024-07-16 15:18:33