7.99/4.90 o 0
7.99/4.92 s SATISFIABLE
7.99/4.92 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
7.99/4.92 v x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33
7.99/4.92 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49
7.99/4.92 v -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65
7.99/4.92 v -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81
7.99/4.92 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 x97
7.99/4.92 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
7.99/4.92 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
7.99/4.92 v -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136
7.99/4.92 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
7.99/4.92 v -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 x162
7.99/4.92 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175
7.99/4.92 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
7.99/4.92 v -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201
7.99/4.92 v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
7.99/4.92 v -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227
7.99/4.92 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
7.99/4.92 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253
7.99/4.92 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266
7.99/4.92 v x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
7.99/4.92 v -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
7.99/4.92 v -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305
7.99/4.92 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318
7.99/4.92 v -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331
7.99/4.92 v x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344
7.99/4.92 v -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357
7.99/4.92 v -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
7.99/4.92 v x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
7.99/4.92 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
7.99/4.92 v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409
7.99/4.92 v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
7.99/4.92 v x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435
7.99/4.92 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448
7.99/4.92 v -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 x461
7.99/4.92 v -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474
7.99/4.92 v -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
7.99/4.92 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
7.99/4.92 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513
7.99/4.92 v -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526
7.99/4.92 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 -x539
7.99/4.92 v -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552
7.99/4.92 v x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
7.99/4.92 v -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578
7.99/4.92 v -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591
7.99/4.92 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604
7.99/4.92 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617
7.99/4.92 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630
7.99/4.92 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643
7.99/4.92 v -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
7.99/4.92 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669
7.99/4.92 v -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682
7.99/4.92 v -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
7.99/4.92 v -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708
7.99/4.92 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721
7.99/4.92 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734
7.99/4.92 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747
7.99/4.92 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
7.99/4.92 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773
7.99/4.92 v -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786
7.99/4.92 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
7.99/4.92 v -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812
7.99/4.92 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
7.99/4.92 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838
7.99/4.92 v x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851
7.99/4.92 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864
7.99/4.92 v -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877
7.99/4.92 v -x878 -x879 x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
7.99/4.92 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
7.99/4.92 v -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916
7.99/4.92 v -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929
7.99/4.92 v -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942
7.99/4.92 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955
7.99/4.92 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
7.99/4.92 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 x979 -x980 -x981
7.99/4.92 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994
7.99/4.92 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
7.99/4.92 v x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017
7.99/4.92 v -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028
7.99/4.92 v -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
7.99/4.92 v -x1040 x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 x1049 -x1050 -x1051
7.99/4.92 v -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
7.99/4.92 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073
7.99/4.92 v x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084
7.99/4.92 v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
7.99/4.92 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106
7.99/4.92 v -x1107 -x1108 -x1109 -x1110 -x1111 x1112 x1113 -x1114 -x1115 -x1116 -x1117
7.99/4.92 v -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
7.99/4.92 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 x1139
7.99/4.92 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
7.99/4.92 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161
7.99/4.92 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172
7.99/4.92 v -x1173 -x1174 -x1175 x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183
7.99/4.92 v -x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194
7.99/4.92 v -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
7.99/4.92 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216
7.99/4.92 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
7.99/4.92 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238
7.99/4.92 v x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
7.99/4.92 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
7.99/4.92 v -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
7.99/4.92 v -x1272 -x1273 -x1274 x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
7.99/4.92 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293
7.99/4.92 v x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304
7.99/4.92 v -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
7.99/4.92 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
7.99/4.92 v -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337
7.99/4.92 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348
7.99/4.92 v -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359
7.99/4.92 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370
7.99/4.92 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
7.99/4.92 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392
7.99/4.92 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403
7.99/4.92 v x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414
7.99/4.92 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425
7.99/4.92 v -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 x1435 -x1436
7.99/4.92 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447
7.99/4.92 v -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 x1455 -x1456 -x1457 -x1458
7.99/4.92 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469
7.99/4.92 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480
7.99/4.92 v x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491
7.99/4.92 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
7.99/4.92 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513
7.99/4.92 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
7.99/4.92 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 x1532 -x1533 -x1534 -x1535
7.99/4.92 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546
7.99/4.92 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
7.99/4.92 v x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
7.99/4.92 v -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579
7.99/4.92 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590
7.99/4.92 v -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601
7.99/4.92 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612
7.99/4.92 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 x1622 -x1623
7.99/4.92 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 x1633 -x1634
7.99/4.92 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645
7.99/4.92 v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
7.99/4.92 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 x1666 -x1667
7.99/4.92 v -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678
7.99/4.92 v -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689
7.99/4.92 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700
7.99/4.92 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711
7.99/4.92 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
7.99/4.92 v -x1723 -x1724 x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734
7.99/4.92 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
7.99/4.92 v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
7.99/4.92 v x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767
7.99/4.92 v -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
7.99/4.92 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789
7.99/4.92 v -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800
7.99/4.92 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
7.99/4.92 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822
7.99/4.92 v -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833
7.99/4.92 v -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844
7.99/4.92 v x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
7.99/4.92 v -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866
7.99/4.92 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877
7.99/4.92 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888
7.99/4.92 v x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899
7.99/4.92 v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910
7.99/4.92 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921
7.99/4.92 v -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932
7.99/4.92 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943
7.99/4.92 v -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954
7.99/4.92 v -x1955 -x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965
7.99/4.92 v -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
7.99/4.92 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
7.99/4.92 v -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998
7.99/4.92 v -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009
7.99/4.92 v -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020
7.99/4.92 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031
7.99/4.92 v -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
7.99/4.92 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
7.99/4.92 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
7.99/4.92 v -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075
7.99/4.92 v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
7.99/4.92 v x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097
7.99/4.92 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108
7.99/4.92 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119
7.99/4.92 v x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
7.99/4.92 v -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141
7.99/4.92 v -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152
7.99/4.92 v -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 x2163
7.99/4.92 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
7.99/4.92 v -x2175 -x2176 -x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185
7.99/4.92 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196
7.99/4.92 v -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207
7.99/4.92 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218
7.99/4.92 v -x2219 x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230
7.99/4.92 v -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241
7.99/4.92 v -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252
7.99/4.92 v -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
7.99/4.92 v -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274
7.99/4.92 v x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
7.99/4.92 v x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297
7.99/4.92 v -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308
7.99/4.92 v -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319
7.99/4.92 v x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331
7.99/4.92 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 -x2341 x2342
7.99/4.92 v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353
7.99/4.92 v -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364
7.99/4.92 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375
7.99/4.92 v -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386
7.99/4.92 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397
7.99/4.92 v -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408
7.99/4.92 v -x2409 -x2410 x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419
7.99/4.92 v -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430
7.99/4.92 v -x2431 -x2432 -x2433 x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441
7.99/4.92 v -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452
7.99/4.92 v -x2453 x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463
7.99/4.92 v -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
7.99/4.92 v -x2475 -x2476 -x2477 x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
7.99/4.92 v -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496
7.99/4.92 v x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507
7.99/4.92 v -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
7.99/4.92 v -x2519 x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529
7.99/4.92 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
7.99/4.92 v -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 x2551
7.99/4.92 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562
7.99/4.92 v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573
7.99/4.92 v x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
7.99/4.92 v x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595
7.99/4.92 v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606
7.99/4.92 v x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617
7.99/4.92 v -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
7.99/4.92 v -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639
7.99/4.92 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
7.99/4.92 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661
7.99/4.92 v -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672
7.99/4.92 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683
7.99/4.92 v -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694
7.99/4.92 v -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
7.99/4.92 v -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 x2714 -x2715 -x2716
7.99/4.92 v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727
7.99/4.92 v -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 x2738 -x2739
7.99/4.92 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
7.99/4.92 v -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 x2761
7.99/4.92 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772
7.99/4.92 v -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 x2783
7.99/4.92 v -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794
7.99/4.92 v -x2795 x2796 x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806
7.99/4.92 v -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817
7.99/4.92 v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828
7.99/4.92 v -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 x2839 -x2840
7.99/4.92 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851
7.99/4.92 v -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862
7.99/4.92 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873
7.99/4.92 v x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885
7.99/4.92 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896
7.99/4.92 v -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907
7.99/4.92 v -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918
7.99/4.92 v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929
7.99/4.92 v -x2930 -x2931 -x2932 -x2933 x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940
7.99/4.92 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
7.99/4.92 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962
7.99/4.92 v -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973
7.99/4.92 v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 -x2982 x2983 -x2984
7.99/4.92 v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995
7.99/4.92 v -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006
7.99/4.92 v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017
7.99/4.92 v x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028
7.99/4.92 v -x3029 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 x3038 -x3039
7.99/4.92 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050
7.99/4.92 v -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061
7.99/4.92 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072
7.99/4.92 v -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083
7.99/4.92 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094
7.99/4.92 v -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105
7.99/4.92 v x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 -x3116
7.99/4.92 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127
7.99/4.92 v -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 x3135 -x3136 -x3137 -x3138
7.99/4.92 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149
7.99/4.92 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
7.99/4.92 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171
7.99/4.92 v x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182
7.99/4.92 v -x3183 x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193
7.99/4.92 v x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 -x3201 -x3202 -x3203 -x3204
7.99/4.92 v -x3205 -x3206 -x3207 -x3208 x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215
7.99/4.92 v -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226
7.99/4.92 v -x3227 x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237
7.99/4.92 v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
7.99/4.92 v -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259
7.99/4.92 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270
7.99/4.92 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281
7.99/4.92 v -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292
7.99/4.92 v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 x3303
7.99/4.92 v -x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314
7.99/4.92 v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325
7.99/4.92 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336
7.99/4.92 v -x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 x3344 -x3345 -x3346 -x3347
7.99/4.92 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 x3354 -x3355 -x3356 -x3357 -x3358
7.99/4.92 v x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 -x3367 -x3368 -x3369
7.99/4.92 v -x3370 -x3371 -x3372 -x3373 x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
7.99/4.92 v x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391
7.99/4.92 v x3392 -x3393 -x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402
7.99/4.92 v -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 x3412 -x3413
7.99/4.92 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424
7.99/4.92 v -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435
7.99/4.92 v -x3436 -x3437 x3438 -x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 -x3446
7.99/4.92 v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457
7.99/4.92 v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468
7.99/4.92 v -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 -x3478 -x3479
7.99/4.92 v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490
7.99/4.92 v -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501
7.99/4.92 v x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 x3512 -x3513
7.99/4.92 v -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
7.99/4.92 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535
7.99/4.92 v -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
7.99/4.92 v -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557
7.99/4.92 v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
7.99/4.92 v -x3569 -x3570 -x3571 x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579
7.99/4.92 v -x3580 -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590
7.99/4.92 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601
7.99/4.92 v -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612
7.99/4.92 v -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623
7.99/4.92 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634
7.99/4.92 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 x3644 -x3645
7.99/4.92 v -x3646 -x3647 -x3648 -x3649 x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
7.99/4.92 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 -x3666 -x3667
7.99/4.92 v -x3668 x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678
7.99/4.92 v -x3679 -x3680 x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689
7.99/4.92 v -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 x3697 -x3698 -x3699 -x3700
7.99/4.92 v -x3701 -x3702 -x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711
7.99/4.92 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722
7.99/4.92 v -x3723 x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733
7.99/4.92 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743 -x3744
7.99/4.92 v x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755
7.99/4.92 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
7.99/4.92 v -x3767 x3768 x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777
7.99/4.92 v x3778 -x3779 -x3780 -x3781 x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788
7.99/4.92 v -x3789 -x3790 -x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799
7.99/4.92 v -x3800 -x3801 -x3802 x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 -x3810
7.99/4.92 v -x3811 -x3812 -x3813 -x3814 x3815 -x3816 x3817 -x3818 -x3819 -x3820 -x3821
7.99/4.92 v -x3822 -x3823 -x3824 -x3825 -x3826 x3827 -x3828 -x3829 x3830 -x3831 -x3832
7.99/4.92 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843
7.99/4.92 v -x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854
7.99/4.92 v -x3855 -x3856 x3857 -x3858 -x3859 -x3860 x3861 -x3862 -x3863 -x3864 -x3865
7.99/4.92 v -x3866 -x3867 -x3868 -x3869 x3870 -x3871 x3872 -x3873 -x3874 -x3875 -x3876
7.99/4.92 v -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
7.99/4.92 v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898
7.99/4.92 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909
7.99/4.92 v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 x3916 -x3917 -x3918 -x3919 -x3920
7.99/4.92 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931
7.99/4.92 v -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942
7.99/4.92 v -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953
7.99/4.92 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964
7.99/4.92 v -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975
7.99/4.92 v -x3976 x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986
7.99/4.92 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997
7.99/4.92 v -x3998 -x3999 x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008
7.99/4.92 v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019
7.99/4.92 v x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 -x4029 -x4030
7.99/4.92 v -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041
7.99/4.92 v x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 x4051 -x4052 -x4053
7.99/4.92 v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064
7.99/4.92 v -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075
7.99/4.92 v -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086
7.99/4.92 v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097
7.99/4.92 v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108
7.99/4.92 v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119
7.99/4.92 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 x4127 -x4128 -x4129 -x4130
7.99/4.92 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141
7.99/4.92 v -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152
7.99/4.92 v -x4153 -x4154 x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163
7.99/4.92 v -x4164 -x4165 -x4166 -x4167 -x4168 x4169 -x4170 -x4171 x4172 -x4173 -x4174
7.99/4.92 v -x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 -x4183 -x4184 -x4185
7.99/4.92 v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 x4194 -x4195 x4196
7.99/4.92 v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207
7.99/4.92 v -x4208 -x4209 x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218
7.99/4.92 v -x4219 -x4220 -x4221 x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229
7.99/4.92 v -x4230 -x4231 x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240
7.99/4.92 v -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251
7.99/4.92 v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262
7.99/4.92 v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273
7.99/4.92 v -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284
7.99/4.92 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295
7.99/4.92 v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306
7.99/4.92 v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317
7.99/4.92 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 x4327 -x4328
7.99/4.92 v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339
7.99/4.92 v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
7.99/4.92 v -x4351 -x4352 -x4353 -x4354 -x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361
7.99/4.92 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372
7.99/4.92 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383
7.99/4.92 v -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394
7.99/4.92 v -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405
7.99/4.92 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416
7.99/4.92 v -x4417 -x4418 -x4419 x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427
7.99/4.92 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438
7.99/4.92 v -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449
7.99/4.92 v x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
7.99/4.92 v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471
7.99/4.92 v -x4472 -x4473 -x4474 -x4475 x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482
7.99/4.92 v -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493
7.99/4.92 v x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504
7.99/4.92 v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515
7.99/4.92 v -x4516 x4517 -x4518 -x4519 -x4520 -x4521 x4522 -x4523 -x4524 -x4525 -x4526
7.99/4.92 v -x4527 -x4528 -x4529 x4530 -x4531 x4532 -x4533 -x4534 -x4535 -x4536 -x4537
7.99/4.92 v -x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548
7.99/4.92 v x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559
7.99/4.92 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570
7.99/4.92 v -x4571 x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581
7.99/4.92 v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 -x4592
7.99/4.92 v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603
7.99/4.92 v -x4604 x4605 -x4606 -x4607 -x4608
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 (60317 MiB free)
memory of node 1: 64465 MiB (63803 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4492060-1751134030/watcher-4492060-1751134030 -o /tmp/evaluation-result-4492060-1751134030/solver-4492060-1751134030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11336 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1031105402 --competition_mode --input HOME/instance-4492060-1751134030.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12127, runsolver pid=12124
[startup+0.10006 s]*
/proc/loadavg: 7.99 5.87 2.81 8/270 12128
/proc/meminfo: memFree=127096260/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=33544 memory=28864 CPUtime=0.1 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) R 12124 12127 11319 0 -1 4194304 6612 0 0 0 9 1 0 0 20 0 1 0 29081777 34349056 7216 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 8386 7216 1472 2102 0 5926 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 28864 KiB
[startup+0.20597 s]*
/proc/loadavg: 7.99 5.87 2.81 8/270 12128
/proc/meminfo: memFree=127124556/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=46324 memory=40256 CPUtime=0.2 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) R 12124 12127 11319 0 -1 4194304 9372 0 0 0 19 1 0 0 20 0 1 0 29081777 47435776 10064 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 11581 10064 1568 2102 0 9121 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46324 KiB
Current children cumulated memory: 40256 KiB
[startup+0.305851 s]*
/proc/loadavg: 7.99 5.87 2.81 8/270 12128
/proc/meminfo: memFree=127124556/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=47720 memory=41408 CPUtime=0.3 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) R 12124 12127 11319 0 -1 4194304 9680 0 0 0 29 1 0 0 20 0 1 0 29081777 48865280 10352 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 11930 10352 1568 2102 0 9470 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47720 KiB
Current children cumulated memory: 41408 KiB
[startup+0.70019 s]
/proc/loadavg: 7.91 5.89 2.83 8/270 12128
/proc/meminfo: memFree=127206940/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=48776 memory=45548 CPUtime=0.68 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) R 12124 12127 11319 0 -1 4194304 10652 0 0 0 67 1 0 0 20 0 1 0 29081777 49946624 11387 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 12194 11387 1856 2102 0 9734 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48776 KiB
Current children cumulated memory: 45548 KiB
[startup+1.5002 s]
/proc/loadavg: 7.91 5.89 2.83 8/270 12128
/proc/meminfo: memFree=127340472/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=62140 memory=58260 CPUtime=1.48 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) R 12124 12127 11319 0 -1 4194304 17606 0 0 0 146 2 0 0 20 0 1 0 29081777 63631360 14565 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 15535 14565 1888 2102 0 13075 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62140 KiB
Current children cumulated memory: 58260 KiB
[startup+3.10575 s]
/proc/loadavg: 7.91 5.89 2.83 9/272 12130
/proc/meminfo: memFree=127276968/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=209280 memory=116712 CPUtime=4.41 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) S 12124 12127 11319 0 -1 4194304 44285 0 0 0 436 5 0 0 20 0 3 0 29081777 214302720 29178 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 52320 29178 2144 2102 0 32402 0
[pid=12127/tid=12129] ppid=12124 vsize=209280 memory=0 CPUtime=1.35 cores=1,3
/proc/12127/task/12129/stat : 12129 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 9200 0 0 0 134 1 0 0 20 0 3 0 29081951 214302720 29178 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
[pid=12127/tid=12130] ppid=12124 vsize=209280 memory=108904 CPUtime=1.32 cores=1,3
/proc/12127/task/12130/stat : 12130 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 15234 0 0 0 131 1 0 0 20 0 3 0 29081951 214302720 29178 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 116712 KiB
[startup+4.92856 s]
# the end of solver process 12127 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=7.95465 s, system=0.080936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20026 s]
/proc/loadavg: 7.91 5.89 2.83 9/272 12130
/proc/meminfo: memFree=127276968/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=209280 memory=122856 CPUtime=4.61 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) S 12124 12127 11319 0 -1 4194304 47243 0 0 0 455 6 0 0 20 0 3 0 29081777 214302720 30714 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 52320 30714 2144 2102 0 34534 0
[pid=12127/tid=12129] ppid=12124 vsize=209280 memory=7092 CPUtime=1.45 cores=1,3
/proc/12127/task/12129/stat : 12129 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 9369 0 0 0 144 1 0 0 20 0 3 0 29081951 214302720 30714 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
[pid=12127/tid=12130] ppid=12124 vsize=209280 memory=-8183430289046083525 CPUtime=1.42 cores=1,3
/proc/12127/task/12130/stat : 12130 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 18023 0 0 0 141 1 0 0 20 0 3 0 29081951 214302720 30714 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 122856 KiB
[startup+4.0002 s]*
/proc/loadavg: 7.91 5.89 2.83 9/272 12130
/proc/meminfo: memFree=127269128/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=209280 memory=128488 CPUtime=6.21 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) S 12124 12127 11319 0 -1 4194304 49151 0 0 0 615 6 0 0 20 0 3 0 29081777 214302720 32122 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 52320 32122 2144 2102 0 36211 0
[pid=12127/tid=12129] ppid=12124 vsize=209280 memory=-8183430289046083525 CPUtime=2.25 cores=1,3
/proc/12127/task/12129/stat : 12129 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 10609 0 0 0 224 1 0 0 20 0 3 0 29081951 214302720 32122 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
[pid=12127/tid=12130] ppid=12124 vsize=209280 memory=12416 CPUtime=2.21 cores=1,3
/proc/12127/task/12130/stat : 12130 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 18687 0 0 0 220 1 0 0 20 0 3 0 29081951 214302720 32122 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 128488 KiB
[startup+4.40021 s]
/proc/loadavg: 7.91 5.89 2.83 9/272 12130
/proc/meminfo: memFree=127269128/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=209280 memory=132456 CPUtime=6.99 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) S 12124 12127 11319 0 -1 4194304 50285 0 0 0 693 6 0 0 20 0 3 0 29081777 214302720 33114 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 52320 33114 2144 2102 0 37196 0
[pid=12127/tid=12129] ppid=12124 vsize=209280 memory=126312 CPUtime=2.64 cores=1,3
/proc/12127/task/12129/stat : 12129 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 11693 0 0 0 263 1 0 0 20 0 3 0 29081951 214302720 33114 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
[pid=12127/tid=12130] ppid=12124 vsize=209280 memory=12288 CPUtime=2.61 cores=1,3
/proc/12127/task/12130/stat : 12130 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 18732 0 0 0 260 1 0 0 20 0 3 0 29081951 214302720 33114 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
Current children cumulated CPU time: 6.99 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 132456 KiB
[startup+4.8002 s]
/proc/loadavg: 7.91 5.89 2.83 9/272 12130
/proc/meminfo: memFree=127269128/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=209280 memory=137448 CPUtime=7.78 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) S 12124 12127 11319 0 -1 4194304 58652 0 0 0 772 6 0 0 20 0 3 0 29081777 214302720 34362 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 52320 34362 2176 2102 0 38428 0
[pid=12127/tid=12129] ppid=12124 vsize=209280 memory=107112 CPUtime=3.04 cores=1,3
/proc/12127/task/12129/stat : 12129 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 16274 0 0 0 303 1 0 0 20 0 3 0 29081951 214302720 34362 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
[pid=12127/tid=12130] ppid=12124 vsize=209280 memory=245635481903 CPUtime=3 cores=1,3
/proc/12127/task/12130/stat : 12130 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 22518 0 0 0 299 1 0 0 20 0 3 0 29081951 214302720 34362 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
Current children cumulated CPU time: 7.78 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 137448 KiB
[startup+4.9002 s]
/proc/loadavg: 7.91 5.89 2.83 9/272 12130
/proc/meminfo: memFree=127269128/131249992 swapFree=33010684/33010684
[pid=12127] ppid=12124 vsize=209280 memory=139112 CPUtime=7.99 cores=1,3
/proc/12127/stat : 12127 (cp-sat-runner) S 12124 12127 11319 0 -1 4194304 63845 0 0 0 792 7 0 0 20 0 3 0 29081777 214302720 34778 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
/proc/12127/statm: 52320 34778 2176 2102 0 38844 0
[pid=12127/tid=12129] ppid=12124 vsize=209280 memory=0 CPUtime=3.13 cores=1,3
/proc/12127/task/12129/stat : 12129 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 17976 0 0 0 312 1 0 0 20 0 3 0 29081951 214302720 34778 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
[pid=12127/tid=12130] ppid=12124 vsize=209280 memory=-8183430289046083525 CPUtime=3.1 cores=1,3
/proc/12127/task/12130/stat : 12130 (cp-sat-runner) R 12124 12127 11319 0 -1 4194368 25984 0 0 0 309 1 0 0 20 0 3 0 29081951 214302720 34778 18446744073709551615 4198400 12805993 140727749681888 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40214528 140727749687576 140727749687781 140727749687781 140727749693383 0
Current children cumulated CPU time: 7.99 s
Current children cumulated vsize: 209280 KiB
Current children cumulated memory: 139112 KiB
Child status: 10
Real time (s): 4.92861
CPU time (s): 8.03558
CPU user time (s): 7.95465
CPU system time (s): 0.080936
CPU usage (%): 163.04
Max. virtual memory (cumulated for all children) (KiB): 209280
Max. memory (cumulated for all children) (KiB): 139112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.95465
system time used= 0.080936
maximum resident set size= 139240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72948
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= 121
involuntary context switches= 256
# summary of solver processes directly reported to runsolver:
# pid: 12127
# total CPU time (s): 8.03558
# total CPU user time (s): 7.95465
# total CPU system time (s): 0.080936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019618 second user time and 0.053258 second system time
The end
Begin job on nodeC025 at 2025-06-28 20:07:10
IDJOB=4492060
IDBENCH=147758
IDSOLVER=3320
FILE ID=nodeC025/4492060-1751134030
RUNJOBID= nodeC025-1751133631-11336
SLURM_JOB_ID= 9587425
Free space on /tmp= 432996 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.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-4492060-1751134030/watcher-4492060-1751134030 -o /tmp/evaluation-result-4492060-1751134030/solver-4492060-1751134030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11336 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1031105402 --competition_mode --input HOME/instance-4492060-1751134030.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=1031105402
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.856
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.063
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.811
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.820
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.837
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.851
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 : 3599.864
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.824
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: 127099972 kB
MemAvailable: 126719952 kB
Buffers: 3280 kB
Cached: 406264 kB
SwapCached: 0 kB
Active: 3334048 kB
Inactive: 199548 kB
Active(anon): 3142136 kB
Inactive(anon): 0 kB
Active(file): 191912 kB
Inactive(file): 199548 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13656 kB
Writeback: 60 kB
AnonPages: 3127120 kB
Mapped: 128896 kB
Shmem: 18084 kB
KReclaimable: 83856 kB
Slab: 166376 kB
SReclaimable: 83856 kB
SUnreclaim: 82520 kB
KernelStack: 4368 kB
PageTables: 9188 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3637320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1306624 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= 432984 MiB
End job on nodeC025 at 2025-06-28 20:07:15