29.83/28.99 o 0
30.03/29.05 s SATISFIABLE
30.03/29.05 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17
30.03/29.05 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32
30.03/29.05 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
30.03/29.05 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63
30.03/29.05 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
30.03/29.05 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93
30.03/29.05 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107
30.03/29.05 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
30.03/29.05 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133
30.03/29.05 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146
30.03/29.05 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159
30.03/29.05 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
30.03/29.05 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185
30.03/29.05 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198
30.03/29.05 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
30.03/29.05 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224
30.03/29.05 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
30.03/29.05 v -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
30.03/29.05 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263
30.03/29.05 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
30.03/29.05 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289
30.03/29.05 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302
30.03/29.05 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
30.03/29.05 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328
30.03/29.05 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341
30.03/29.05 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
30.03/29.05 v -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367
30.03/29.05 v -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
30.03/29.05 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
30.03/29.05 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406
30.03/29.05 v -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419
30.03/29.05 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432
30.03/29.05 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
30.03/29.05 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
30.03/29.05 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471
30.03/29.05 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
30.03/29.05 v x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497
30.03/29.05 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
30.03/29.05 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523
30.03/29.05 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536
30.03/29.05 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
30.03/29.05 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562
30.03/29.05 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
30.03/29.05 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588
30.03/29.05 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601
30.03/29.05 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
30.03/29.05 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
30.03/29.05 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640
30.03/29.05 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
30.03/29.05 v -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666
30.03/29.05 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679
30.03/29.05 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
30.03/29.05 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705
30.03/29.05 v -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
30.03/29.05 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731
30.03/29.05 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744
30.03/29.05 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
30.03/29.05 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
30.03/29.05 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783
30.03/29.05 v -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796
30.03/29.05 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809
30.03/29.05 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822
30.03/29.05 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835
30.03/29.05 v -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848
30.03/29.05 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
30.03/29.05 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874
30.03/29.05 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
30.03/29.05 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900
30.03/29.05 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913
30.03/29.05 v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926
30.03/29.05 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939
30.03/29.05 v -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
30.03/29.05 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965
30.03/29.05 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978
30.03/29.05 v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991
30.03/29.05 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
30.03/29.05 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
30.03/29.05 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025
30.03/29.05 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036
30.03/29.05 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
30.03/29.05 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
30.03/29.05 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069
30.03/29.05 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080
30.03/29.05 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091
30.03/29.05 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102
30.03/29.05 v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
30.03/29.05 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
30.03/29.05 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135
30.03/29.05 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
30.03/29.05 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157
30.03/29.05 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168
30.03/29.05 v -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179
30.03/29.05 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
30.03/29.05 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
30.03/29.05 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
30.03/29.05 v -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223
30.03/29.05 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234
30.03/29.05 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
30.03/29.05 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256
30.03/29.05 v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
30.03/29.05 v -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
30.03/29.05 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
30.03/29.05 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
30.03/29.05 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
30.03/29.05 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 x1321 -x1322
30.03/29.05 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
30.03/29.05 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
30.03/29.05 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355
30.03/29.05 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
30.03/29.05 v -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377
30.03/29.05 v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
30.03/29.05 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
30.03/29.05 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410
30.03/29.05 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
30.03/29.05 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
30.03/29.05 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
30.03/29.05 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454
30.03/29.05 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
30.03/29.05 v -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476
30.03/29.05 v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487
30.03/29.05 v -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
30.03/29.05 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
30.03/29.05 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
30.03/29.05 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531
30.03/29.05 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542
30.03/29.05 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
30.03/29.05 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564
30.03/29.05 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
30.03/29.05 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
30.03/29.05 v x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597
30.03/29.05 v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
30.03/29.05 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
30.03/29.05 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
30.03/29.05 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641
30.03/29.05 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
30.03/29.05 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663
30.03/29.05 v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674
30.03/29.05 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
30.03/29.05 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
30.03/29.05 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
30.03/29.05 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718
30.03/29.05 v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729
30.03/29.05 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
30.03/29.05 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751
30.03/29.05 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762
30.03/29.05 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
30.03/29.05 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784
30.03/29.05 v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795
30.03/29.05 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
30.03/29.05 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817
30.03/29.05 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
30.03/29.05 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
30.03/29.05 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
30.03/29.05 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
30.03/29.05 v -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
30.03/29.05 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883
30.03/29.05 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894
30.03/29.05 v x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905
30.03/29.05 v x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916
30.03/29.05 v -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927
30.03/29.05 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
30.03/29.05 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
30.03/29.05 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
30.03/29.05 v -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971
30.03/29.05 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
30.03/29.05 v x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993
30.03/29.05 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004
30.03/29.05 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015
30.03/29.05 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
30.03/29.05 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037
30.03/29.05 v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
30.03/29.05 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
30.03/29.05 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
30.03/29.05 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
30.03/29.05 v -x2082 -x2083 x2084 -x2085 -x2086 x2087 -x2088 x2089 -x2090 -x2091 x2092 -x2093
30.03/29.05 v x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104
30.03/29.05 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
30.03/29.05 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126
30.03/29.05 v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137
30.03/29.05 v -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148
30.03/29.05 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159
30.03/29.05 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 -x2170
30.03/29.05 v -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
30.03/29.05 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 x2190 -x2191 -x2192
30.03/29.05 v x2193 x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204
30.03/29.05 v -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
30.03/29.05 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226
30.03/29.05 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
30.03/29.05 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248
30.03/29.05 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259
30.03/29.05 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 x2270
30.03/29.05 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281
30.03/29.05 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292
30.03/29.05 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
30.03/29.05 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
30.03/29.05 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325
30.03/29.05 v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
30.03/29.05 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347
30.03/29.05 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358
30.03/29.05 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369
30.03/29.05 v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
30.03/29.05 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
30.03/29.05 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
30.03/29.05 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413
30.03/29.05 v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 x2424
30.03/29.05 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435
30.03/29.05 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446
30.03/29.05 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
30.03/29.05 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
30.03/29.05 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
30.03/29.05 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
30.03/29.05 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
30.03/29.05 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512
30.03/29.05 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523
30.03/29.05 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
30.03/29.05 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545
30.03/29.05 v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
30.03/29.05 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567
30.03/29.05 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578
30.03/29.05 v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
30.03/29.05 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 x2597 -x2598 -x2599 -x2600
30.03/29.05 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611
30.03/29.05 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622
30.03/29.05 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633
30.03/29.05 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644
30.03/29.05 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
30.03/29.05 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666
30.03/29.05 v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677
30.03/29.05 v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
30.03/29.05 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
30.03/29.05 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
30.03/29.05 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721
30.03/29.05 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732
30.03/29.05 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743
30.03/29.05 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754
30.03/29.05 v -x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 x2762 -x2763 -x2764 -x2765
30.03/29.05 v -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776
30.03/29.05 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787
30.03/29.05 v -x2788 -x2789 -x2790 -x2791 -x2792 x2793 x2794 -x2795 -x2796 -x2797 -x2798
30.03/29.05 v -x2799 -x2800
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: 63708 MiB (62183 MiB free)
memory of node 1: 64465 MiB (62459 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494148-1751135605/watcher-4494148-1751135605 -o /tmp/evaluation-result-4494148-1751135605/solver-4494148-1751135605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11334 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1371888859 --competition_mode --input HOME/instance-4494148-1751135605.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14886, runsolver pid=14883
[startup+0.100063 s]*
/proc/loadavg: 6.46 7.47 6.94 7/271 14887
/proc/meminfo: memFree=127592036/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=59544 memory=41392 CPUtime=0.09 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 9378 0 0 0 7 2 0 0 20 0 1 0 29239278 60973056 10348 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 14886 10348 1088 2102 0 12426 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59544 KiB
Current children cumulated memory: 41392 KiB
[startup+0.20556 s]*
/proc/loadavg: 6.46 7.47 6.94 7/271 14887
/proc/meminfo: memFree=127552220/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=97760 memory=81672 CPUtime=0.2 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 17910 0 0 0 16 4 0 0 20 0 1 0 29239278 100106240 20418 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 24440 20418 1088 2102 0 21980 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97760 KiB
Current children cumulated memory: 81672 KiB
[startup+0.305371 s]*
/proc/loadavg: 6.46 7.47 6.94 7/271 14887
/proc/meminfo: memFree=127520216/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=130232 memory=120200 CPUtime=0.29 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 26031 0 0 0 24 5 0 0 20 0 1 0 29239278 133357568 30050 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 32558 30050 1088 2102 0 30098 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 130232 KiB
Current children cumulated memory: 120200 KiB
[startup+0.700188 s]
/proc/loadavg: 6.46 7.47 6.94 7/271 14887
/proc/meminfo: memFree=127455956/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=277964 memory=268064 CPUtime=0.69 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 57363 0 0 0 57 12 0 0 20 0 1 0 29239278 284635136 67016 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 69491 67016 1088 2102 0 67031 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 277964 KiB
Current children cumulated memory: 268064 KiB
[startup+1.50018 s]
/proc/loadavg: 6.42 7.45 6.94 7/271 14887
/proc/meminfo: memFree=127060436/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=536356 memory=530908 CPUtime=1.48 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 132063 0 0 0 126 22 0 0 20 0 1 0 29239278 549228544 132727 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 134089 132727 1344 2102 0 131629 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 536356 KiB
Current children cumulated memory: 530908 KiB
[startup+3.10525 s]
/proc/loadavg: 6.42 7.45 6.94 7/271 14887
/proc/meminfo: memFree=126761160/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=699824 memory=688012 CPUtime=3.08 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 165601 0 0 0 279 29 0 0 20 0 1 0 29239278 716619776 172003 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 174956 172003 1504 2102 0 172496 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 699824 KiB
Current children cumulated memory: 688012 KiB
[startup+6.30018 s]
/proc/loadavg: 6.39 7.43 6.93 7/271 14887
/proc/meminfo: memFree=126419616/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=887224 memory=844028 CPUtime=6.27 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 197327 0 0 0 587 40 0 0 20 0 1 0 29239278 908517376 211007 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 221806 211007 1760 2102 0 219346 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 887224 KiB
Current children cumulated memory: 844028 KiB
[startup+12.7002 s]
/proc/loadavg: 6.36 7.40 6.93 7/271 14888
/proc/meminfo: memFree=126251932/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=1080460 memory=1053428 CPUtime=12.64 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 237824 0 0 0 1217 47 0 0 20 0 1 0 29239278 1106391040 263357 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 270115 263357 1920 2102 0 267655 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1080460 KiB
Current children cumulated memory: 1053428 KiB
[startup+25.5002 s]
/proc/loadavg: 6.30 7.35 6.91 7/270 14904
/proc/meminfo: memFree=126890384/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=1433420 memory=1410088 CPUtime=25.4 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 296642 0 0 0 2475 65 0 0 20 0 1 0 29239278 1467822080 352522 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 358355 352522 1952 2102 0 355895 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1433420 KiB
Current children cumulated memory: 1410088 KiB
[startup+29.1139 s]
# the end of solver process 14886 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=29.2706 s, system=0.871411 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 6.30 7.35 6.91 7/270 14904
/proc/meminfo: memFree=126890384/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=1433420 memory=1410088 CPUtime=25.5 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 296642 0 0 0 2485 65 0 0 20 0 1 0 29239278 1467822080 352522 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 358355 352522 1952 2102 0 355895 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 1433420 KiB
Current children cumulated memory: 1410088 KiB
[startup+27.2002 s]
/proc/loadavg: 6.36 7.35 6.92 7/270 14904
/proc/meminfo: memFree=126898056/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=1433420 memory=1410088 CPUtime=27.09 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 296999 0 0 0 2644 65 0 0 20 0 1 0 29239278 1467822080 352522 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 358355 352522 1952 2102 0 355895 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 1433420 KiB
Current children cumulated memory: 1410088 KiB
[startup+28.0002 s]*
/proc/loadavg: 6.36 7.35 6.92 8/272 14906
/proc/meminfo: memFree=126783744/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=1621580 memory=1481884 CPUtime=28.05 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) S 14883 14886 11319 0 -1 4194304 332730 0 0 0 2733 72 0 0 20 0 3 0 29239278 1660497920 370471 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 405395 370471 2080 2102 0 383824 0
[pid=14886/tid=14905] ppid=14883 vsize=1621580 memory=-7524816175711420279 CPUtime=0.15 cores=0,2
/proc/14886/task/14905/stat : 14905 (cp-sat-runner) R 14883 14886 11319 0 -1 4194368 17306 0 0 0 12 3 0 0 20 0 3 0 29242062 1660497920 370503 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
[pid=14886/tid=14906] ppid=14883 vsize=1621580 memory=189 CPUtime=0.15 cores=0,2
/proc/14886/task/14906/stat : 14906 (cp-sat-runner) R 14883 14886 11319 0 -1 4194368 18452 0 0 0 12 3 0 0 20 0 3 0 29242062 1660497920 370503 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
Current children cumulated CPU time: 28.05 s
Current children cumulated vsize: 1621580 KiB
Current children cumulated memory: 1481884 KiB
[startup+28.8002 s]
/proc/loadavg: 6.36 7.35 6.92 8/272 14906
/proc/meminfo: memFree=126783744/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=1818188 memory=1690908 CPUtime=29.63 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) S 14883 14886 11319 0 -1 4194304 367554 0 0 0 2881 82 0 0 20 0 3 0 29239278 1861824512 422727 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 454547 422727 2144 2102 0 438552 0
[pid=14886/tid=14905] ppid=14883 vsize=1818188 memory=0 CPUtime=0.94 cores=0,2
/proc/14886/task/14905/stat : 14905 (cp-sat-runner) R 14883 14886 11319 0 -1 4194368 38492 0 0 0 85 9 0 0 20 0 3 0 29242062 1861824512 422727 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
[pid=14886/tid=14906] ppid=14883 vsize=1818188 memory=1410088 CPUtime=0.93 cores=0,2
/proc/14886/task/14906/stat : 14906 (cp-sat-runner) R 14883 14886 11319 0 -1 4194368 32055 0 0 0 87 6 0 0 20 0 3 0 29242062 1861824512 422727 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
Current children cumulated CPU time: 29.63 s
Current children cumulated vsize: 1818188 KiB
Current children cumulated memory: 1690908 KiB
[startup+29.0002 s]*
/proc/loadavg: 6.36 7.35 6.92 7/272 14906
/proc/meminfo: memFree=126577912/131249992 swapFree=33010684/33010684
[pid=14886] ppid=14883 vsize=1818188 memory=1693724 CPUtime=30.03 cores=0,2
/proc/14886/stat : 14886 (cp-sat-runner) R 14883 14886 11319 0 -1 4194304 368415 0 0 0 2921 82 0 0 20 0 3 0 29239278 1861824512 423431 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
/proc/14886/statm: 454547 423431 2144 2102 0 439128 0
[pid=14886/tid=14905] ppid=14883 vsize=1818188 memory=-7524816175711420279 CPUtime=1.13 cores=0,2
/proc/14886/task/14905/stat : 14905 (cp-sat-runner) S 14883 14886 11319 0 -1 4194368 38636 0 0 0 104 9 0 0 20 0 3 0 29242062 1861824512 423431 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
[pid=14886/tid=14906] ppid=14883 vsize=1818188 memory=17248 CPUtime=1.12 cores=0,2
/proc/14886/task/14906/stat : 14906 (cp-sat-runner) S 14883 14886 11319 0 -1 4194368 32771 0 0 0 106 6 0 0 20 0 3 0 29242062 1861824512 423431 18446744073709551615 4198400 12805993 140724400941152 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 45137920 140724400945432 140724400945637 140724400945637 140724400951239 0
Current children cumulated CPU time: 30.03 s
Current children cumulated vsize: 1818188 KiB
Current children cumulated memory: 1693724 KiB
[startup+29.1054 s]*
/proc/loadavg: 6.36 7.35 6.92 7/270 14906
/proc/meminfo: memFree=127822556/131249992 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 29.114
CPU time (s): 30.142
CPU user time (s): 29.2706
CPU system time (s): 0.871411
CPU usage (%): 103.531
Max. virtual memory (cumulated for all children) (KiB): 2545244
Max. memory (cumulated for all children) (KiB): 1693724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.2706
system time used= 0.871411
maximum resident set size= 1693724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373454
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= 1542
involuntary context switches= 149
# summary of solver processes directly reported to runsolver:
# pid: 14886
# total CPU time (s): 30.142
# total CPU user time (s): 29.2706
# total CPU system time (s): 0.871411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06379 second user time and 0.157062 second system time
The end
Begin job on nodeC025 at 2025-06-28 20:33:25
IDJOB=4494148
IDBENCH=147883
IDSOLVER=3320
FILE ID=nodeC025/4494148-1751135605
RUNJOBID= nodeC025-1751133631-11334
SLURM_JOB_ID= 9587425
Free space on /tmp= 432956 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494148-1751135605/watcher-4494148-1751135605 -o /tmp/evaluation-result-4494148-1751135605/solver-4494148-1751135605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11334 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1371888859 --competition_mode --input HOME/instance-4494148-1751135605.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a13baf32d9ef8d04301e73a4b88257d0
RANDOM SEED=1371888859
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.206
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.942
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.859
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.859
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.819
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.594
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3565.046
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.401
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127633744 kB
MemAvailable: 127277272 kB
Buffers: 3280 kB
Cached: 452600 kB
SwapCached: 0 kB
Active: 2549644 kB
Inactive: 245880 kB
Active(anon): 2357732 kB
Inactive(anon): 0 kB
Active(file): 191912 kB
Inactive(file): 245880 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 93420 kB
Writeback: 0 kB
AnonPages: 2342824 kB
Mapped: 126108 kB
Shmem: 18084 kB
KReclaimable: 84624 kB
Slab: 167264 kB
SReclaimable: 84624 kB
SUnreclaim: 82640 kB
KernelStack: 4336 kB
PageTables: 7488 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2753820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 417792 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432944 MiB
End job on nodeC025 at 2025-06-28 20:33:54