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-4447188-1721353114.opb
43.36/43.58 s SATISFIABLE
43.36/43.58 c _____________________________________________________________________________
43.36/43.58 c std/band forms : 66,0
43.36/43.58 c 2cl/3cl ITE-codings : 0,0
43.36/43.58 c BDD/srt/adr Max costs : 0,914,0
43.36/43.58 c BDDraw/bin/mul/srt/adr: 0,0,0,66,0
43.36/43.58 c BDD nodes : 0
43.36/43.58 c Es1/CC detections : 0,0
43.36/43.58 c CC sort : 66
43.36/43.58 c SAT/UNSAT calls : 1,0
43.36/43.58 c regenrated variables : 0
43.36/43.58 c eliminated fixed lits : 0
43.36/43.58 c goal lit flips : 0
43.36/43.58 c goal stages : 0
43.36/43.58 c goal shrink : 0
43.36/43.58 c goal coeff separations: 0
43.36/43.58 c restarts : 3295
43.36/43.58 c conflicts : 275136 (6338 /sec)
43.36/43.58 c decisions : 1718965 (39600 /sec)
43.36/43.58 c propagations : 216798235 (4994381 /sec)
43.36/43.58 c inspects : 0 (0 /sec)
43.36/43.58 c CPU time (solving tm) : 43.41 s (43.34 s, SAT 43.34 s, UNSAT 0 s)
43.36/43.58 c Time for Opt-base : 0.000633 s
43.36/43.58 c Steps for Opt-base : 0
43.36/43.58 c Time for BDD coding : 0 s
43.36/43.58 c Time for srt coding : 0.004855 s
43.36/43.58 c _____________________________________________________________________________
43.36/43.58 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
43.36/43.58 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60068 MiB free)
memory of node 1: 64473 MiB (60594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447188-1721353114/watcher-4447188-1721353114 -o /tmp/evaluation-result-4447188-1721353114/solver-4447188-1721353114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721351295-991223 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4447188-1721353114.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=992458, runsolver pid=992455
Current StackSize limit: 8192 KiB
[startup+0.100434 s]*
/proc/loadavg: 4.15 4.31 4.12 5/261 992463
/proc/meminfo: memFree=123536048/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=25128 memory=21208 CPUtime=0.08 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 4712 0 0 0 8 0 0 0 20 0 1 0 187481984 25731072 5302 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 6282 5302 468 659 0 5486 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 35060 KiB
Current children cumulated memory: 23916 KiB
[startup+0.206436 s]*
/proc/loadavg: 4.15 4.31 4.12 5/261 992463
/proc/meminfo: memFree=123535500/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=25280 memory=21484 CPUtime=0.18 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 6044 0 0 0 18 0 0 0 20 0 1 0 187481984 25886720 5371 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 6320 5371 468 659 0 5524 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 24192 KiB
[startup+0.306088 s]*
/proc/loadavg: 4.15 4.31 4.12 5/261 992463
/proc/meminfo: memFree=123535128/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=27960 memory=22008 CPUtime=0.28 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 6180 0 0 0 28 0 0 0 20 0 1 0 187481984 28631040 5502 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 6990 5502 468 659 0 6194 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 24716 KiB
[startup+0.700263 s]
/proc/loadavg: 4.15 4.31 4.12 5/261 992463
/proc/meminfo: memFree=123531904/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=30944 memory=27224 CPUtime=0.68 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 6977 0 0 0 67 1 0 0 20 0 1 0 187481984 31686656 6806 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 7736 6806 468 659 0 6940 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40876 KiB
Current children cumulated memory: 29932 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.31 4.12 5/261 992463
/proc/meminfo: memFree=123765248/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=38020 memory=33884 CPUtime=1.47 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 7066 0 0 0 146 1 0 0 20 0 1 0 187481984 38932480 8471 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 9505 8471 468 659 0 8709 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47952 KiB
Current children cumulated memory: 36592 KiB
[startup+3.10553 s]
/proc/loadavg: 4.15 4.31 4.12 5/261 992463
/proc/meminfo: memFree=123717612/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=38020 memory=33372 CPUtime=3.07 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 7505 0 0 0 306 1 0 0 20 0 1 0 187481984 38932480 8343 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 9505 8343 468 659 0 8709 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 47952 KiB
Current children cumulated memory: 36080 KiB
[startup+6.30025 s]
/proc/loadavg: 4.14 4.31 4.12 5/261 992465
/proc/meminfo: memFree=123669676/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=40764 memory=37632 CPUtime=6.25 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 8374 0 0 0 624 1 0 0 20 0 1 0 187481984 41742336 9408 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 10191 9408 468 659 0 9395 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 50696 KiB
Current children cumulated memory: 40340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.30 4.12 5/261 992465
/proc/meminfo: memFree=123619532/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=68984 memory=56068 CPUtime=12.64 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 8910 0 0 0 1262 2 0 0 20 0 1 0 187481984 70639616 14017 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 17246 14017 468 659 0 16450 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 78916 KiB
Current children cumulated memory: 58776 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.29 4.12 5/261 992468
/proc/meminfo: memFree=123531716/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=87840 memory=62212 CPUtime=25.4 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 9159 0 0 0 2538 2 0 0 20 0 1 0 187481984 89948160 15553 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 21960 15553 468 659 0 21164 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 64920 KiB
[startup+43.5865 s]
# the end of solver process 992458 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=43.4116 s, system=0.049224 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.11 4.29 4.12 5/261 992468
/proc/meminfo: memFree=123531716/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=87840 memory=62212 CPUtime=25.5 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 9159 0 0 0 2548 2 0 0 20 0 1 0 187481984 89948160 15553 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 21960 15553 468 659 0 21164 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 64920 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.17 4.30 4.12 5/261 992468
/proc/meminfo: memFree=123489448/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=87840 memory=65712 CPUtime=31.9 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 9535 0 0 0 3187 3 0 0 20 0 1 0 187481984 89948160 16428 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 21960 16428 468 659 0 21164 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 68420 KiB
[startup+38.4002 s]
/proc/loadavg: 4.16 4.29 4.12 5/261 992469
/proc/meminfo: memFree=123456128/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=87840 memory=65928 CPUtime=38.27 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 9949 0 0 0 3824 3 0 0 20 0 1 0 187481984 89948160 16482 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 21960 16482 468 659 0 21164 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 68636 KiB
[startup+41.6002 s]
/proc/loadavg: 4.14 4.29 4.12 5/261 992469
/proc/meminfo: memFree=123439868/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=87840 memory=65928 CPUtime=41.46 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 9953 0 0 0 4143 3 0 0 20 0 1 0 187481984 89948160 16482 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 21960 16482 468 659 0 21164 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 68636 KiB
[startup+42.4002 s]
/proc/loadavg: 4.14 4.29 4.12 5/261 992469
/proc/meminfo: memFree=123435644/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=87840 memory=65928 CPUtime=42.26 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 9954 0 0 0 4223 3 0 0 20 0 1 0 187481984 89948160 16482 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 21960 16482 468 659 0 21164 0
Current children cumulated CPU time: 42.26 s
Current children cumulated vsize: 97772 KiB
Current children cumulated memory: 68636 KiB
[startup+43.2002 s]
/proc/loadavg: 4.14 4.29 4.12 5/261 992469
/proc/meminfo: memFree=123397592/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=137160 memory=97900 CPUtime=43.06 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 10299 0 0 0 4302 4 0 0 20 0 1 0 187481984 140451840 24475 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 34290 24475 468 659 0 33494 0
Current children cumulated CPU time: 43.06 s
Current children cumulated vsize: 147092 KiB
Current children cumulated memory: 100608 KiB
[startup+43.4002 s]
/proc/loadavg: 4.14 4.29 4.12 5/261 992469
/proc/meminfo: memFree=123397592/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=137160 memory=97900 CPUtime=43.26 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 10299 0 0 0 4322 4 0 0 20 0 1 0 187481984 140451840 24475 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 34290 24475 468 659 0 33494 0
Current children cumulated CPU time: 43.26 s
Current children cumulated vsize: 147092 KiB
Current children cumulated memory: 100608 KiB
[startup+43.5003 s]
/proc/loadavg: 4.14 4.29 4.12 5/261 992469
/proc/meminfo: memFree=123397592/131524596 swapFree=131071996/131071996
[pid=992458] ppid=992455 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/992458/stat : 992458 (naps-1.03.sh) S 992455 992458 991210 0 -1 4194304 222 248 0 0 0 0 0 0 20 0 1 0 187481984 10170368 677 134679101440 94883494866944 94883495946264 140732021818144 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94883498044720 94883498091908 94883514216448 140732021826527 140732021826656 140732021826656 140732021833672 0
/proc/992458/statm: 2483 677 600 264 0 134 0
[pid=992463] ppid=992458 vsize=137160 memory=97900 CPUtime=43.36 cores=5,7
/proc/992463/stat : 992463 (naps-1.03) R 992458 992458 991210 0 -1 4194304 10299 0 0 0 4332 4 0 0 20 0 1 0 187481984 140451840 24475 134679101440 4194304 6891213 140736128783824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 24715264 140736128791536 140736128791652 140736128791652 140736128798667 0
/proc/992463/statm: 34290 24475 468 659 0 33494 0
Current children cumulated CPU time: 43.36 s
Current children cumulated vsize: 147092 KiB
Current children cumulated memory: 100608 KiB
Child status: 10
Real time (s): 43.5865
CPU time (s): 43.4609
CPU user time (s): 43.4116
CPU system time (s): 0.049224
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 147092
Max. memory (cumulated for all children) (KiB): 104772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.4116
system time used= 0.049224
maximum resident set size= 102064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10786
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= 44
# summary of solver processes directly reported to runsolver:
# pid: 992458
# total CPU time (s): 43.4609
# total CPU user time (s): 43.4116
# total CPU system time (s): 0.049224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084362 second user time and 0.25634 second system time
The end
Begin job on nodeC034 at 2024-07-19 03:38:47
IDJOB=4447188
IDBENCH=158370
IDSOLVER=3062
FILE ID=nodeC034/4447188-1721353114
RUNJOBID= nodeC034-1721351295-991223
SLURM_JOB_ID= 7542752
Free space on /tmp= 890064 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447188-1721353114/watcher-4447188-1721353114 -o /tmp/evaluation-result-4447188-1721353114/solver-4447188-1721353114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721351295-991223 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4447188-1721353114.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32
RANDOM SEED=236852974
nodeC034.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 : 3656.875
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.098
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.187
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.401
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
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 : 3656.938
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.166
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.160
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.228
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 123558664 kB
MemAvailable: 128771728 kB
Buffers: 502524 kB
Cached: 5484932 kB
SwapCached: 0 kB
Active: 999428 kB
Inactive: 6213704 kB
Active(anon): 1532 kB
Inactive(anon): 1261880 kB
Active(file): 997896 kB
Inactive(file): 4951824 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5532 kB
Writeback: 0 kB
AnonPages: 1225692 kB
Mapped: 111972 kB
Shmem: 37720 kB
KReclaimable: 206336 kB
Slab: 332632 kB
SReclaimable: 206336 kB
SUnreclaim: 126296 kB
KernelStack: 4160 kB
PageTables: 11612 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 1934208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 720896 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: 307924 kB
DirectMap2M: 41408512 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC034 at 2024-07-19 03:39:31