Trace number 3727183\nwbo 1.72 SAT 150.95 151.072\n0.00/0.00\tc Parsing opb file format. File HOME/instance-3727183-1338671129.opb.\n0.00/0.00\tc Instance file HOME/instance-3727183-1338671129.opb\n0.01/0.02\tc Highest Coefficient sum: 69\n0.01/0.02\tc |  Number Variables:      3740                                                |\n0.01/0.02\tc |  Number Clauses:        3810                                                |\n0.01/0.02\tc |  Number Cardinality:    68                                                  |\n150.95/151.06\tc ===============================================================================\n150.95/151.06\tc Wall Clock Time: 151.07 s\n150.95/151.06\ts SATISFIABLE\n150.95/151.06\tv x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 x3618 -x3619 x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740\ncommand line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727183-1338671129/watcher-3727183-1338671129 -o /tmp/evaluation-result-3727183-1338671129/solver-3727183-1338671129 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727183-1338671129.opb\n/proc/loadavg: 2.00 2.01 2.21 3/175 4943\n/proc/meminfo: memFree=27077452/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=4092 CPUtime=0 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) R 4941 4943 4521 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 333238363 4190208 449 33554432000 4194304 5964350 140733424708272 140734328605656 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 1023 449 167 433 0 530 0\n[pid=4943] ppid=4941 vsize=4488 CPUtime=0.01 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) R 4941 4943 4521 0 -1 4202496 614 0 0 0 1 0 0 0 20 0 1 0 333238363 4595712 566 33554432000 4194304 5964350 140733424708272 140734328605656 4419455 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 1122 566 194 433 0 629 0\n[pid=4943] ppid=4941 vsize=85200 CPUtime=0.09 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 1853 0 0 0 9 0 0 0 20 0 2 0 333238363 87244800 1748 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21300 1748 186 433 0 20864 0\n[pid=4943] ppid=4941 vsize=85200 CPUtime=0.29 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 2164 0 0 0 29 0 0 0 20 0 2 0 333238363 87244800 2059 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21300 2059 186 433 0 20864 0\n[pid=4943] ppid=4941 vsize=85200 CPUtime=0.69 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 2742 0 0 0 69 0 0 0 20 0 2 0 333238363 87244800 2637 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21300 2637 186 433 0 20864 0\n/proc/loadavg: 2.00 2.01 2.21 3/177 4945\n/proc/meminfo: memFree=27061912/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=85200 CPUtime=1.49 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 3586 0 0 0 149 0 0 0 20 0 2 0 333238363 87244800 3481 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21300 3481 186 433 0 20864 0\n[pid=4943/tid=4945] ppid=4941 vsize=85200 CPUtime=1.46 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 2427 0 0 0 146 0 0 0 20 0 2 0 333238365 87244800 3482 33554432000 4194304 5964350 140733424708272 140065251313656 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=27055216/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=85344 CPUtime=3.09 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 4125 0 0 0 308 1 0 0 20 0 2 0 333238363 87392256 4020 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21336 4020 186 433 0 20900 0\n[pid=4943/tid=4945] ppid=4941 vsize=85344 CPUtime=3.06 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 2965 0 0 0 305 1 0 0 20 0 2 0 333238365 87392256 4020 33554432000 4194304 5964350 140733424708272 140065251313656 4399895 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=27043864/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=85344 CPUtime=6.29 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 5128 0 0 0 628 1 0 0 20 0 2 0 333238363 87392256 5023 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21336 5023 186 433 0 20900 0\n[pid=4943/tid=4945] ppid=4941 vsize=85344 CPUtime=6.25 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 3968 0 0 0 624 1 0 0 20 0 2 0 333238365 87392256 5023 33554432000 4194304 5964350 140733424708272 140065251313464 4381628 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=27028152/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=85416 CPUtime=12.69 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 6735 0 0 0 1267 2 0 0 20 0 2 0 333238363 87465984 6630 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21354 6630 186 433 0 20918 0\n[pid=4943/tid=4945] ppid=4941 vsize=85416 CPUtime=12.63 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 5575 0 0 0 1261 2 0 0 20 0 2 0 333238365 87465984 6630 33554432000 4194304 5964350 140733424708272 140065251313464 4400462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/loadavg: 2.00 2.01 2.20 3/177 4945\n/proc/meminfo: memFree=26999648/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=85416 CPUtime=25.48 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 8948 0 0 0 2546 2 0 0 20 0 2 0 333238363 87465984 8837 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21354 8837 186 433 0 20918 0\n[pid=4943/tid=4945] ppid=4941 vsize=85416 CPUtime=25.39 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 7788 0 0 0 2537 2 0 0 20 0 2 0 333238365 87465984 8837 33554432000 4194304 5964350 140733424708272 140065251313464 4400416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/loadavg: 2.00 2.01 2.20 3/177 4984\n/proc/meminfo: memFree=26927352/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=85524 CPUtime=51.07 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 12282 0 0 0 5104 3 0 0 20 0 2 0 333238363 87576576 12980 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 21381 12980 186 433 0 20945 0\n[pid=4943/tid=4945] ppid=4941 vsize=85524 CPUtime=50.91 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 11122 0 0 0 5089 2 0 0 20 0 2 0 333238365 87576576 12980 33554432000 4194304 5964350 140733424708272 140065251313464 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/loadavg: 2.00 2.00 2.18 3/177 4984\n/proc/meminfo: memFree=26755180/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=89068 CPUtime=102.26 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 16442 0 0 0 10222 4 0 0 20 0 2 0 333238363 91205632 17140 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 22267 17140 186 433 0 21831 0\n[pid=4943/tid=4945] ppid=4941 vsize=89068 CPUtime=101.99 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 15282 0 0 0 10194 5 0 0 20 0 2 0 333238365 91205632 17140 33554432000 4194304 5964350 140733424708272 140065251313656 4400355 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=26691748/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=155504 CPUtime=127.85 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 19203 0 0 0 12780 5 0 0 20 0 2 0 333238363 159236096 19901 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 38876 19901 186 433 0 38440 0\n[pid=4943/tid=4945] ppid=4941 vsize=155504 CPUtime=127.52 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 18043 0 0 0 12746 6 0 0 20 0 2 0 333238365 159236096 19901 33554432000 4194304 5964350 140733424708272 140065251313656 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/loadavg: 2.00 2.00 2.17 3/177 4985\n/proc/meminfo: memFree=26661652/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=155504 CPUtime=140.65 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 19946 0 0 0 14059 6 0 0 20 0 2 0 333238363 159236096 20644 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 38876 20644 186 433 0 38440 0\n[pid=4943/tid=4945] ppid=4941 vsize=155504 CPUtime=140.29 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 18786 0 0 0 14021 8 0 0 20 0 2 0 333238365 159236096 20644 33554432000 4194304 5964350 140733424708272 140065251313656 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=26640920/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=156080 CPUtime=147.04 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 20982 0 0 0 14698 6 0 0 20 0 2 0 333238363 159825920 21680 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 39020 21680 186 433 0 38584 0\n[pid=4943/tid=4945] ppid=4941 vsize=156080 CPUtime=146.67 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 19822 0 0 0 14659 8 0 0 20 0 2 0 333238365 159825920 21680 33554432000 4194304 5964350 140733424708272 140065251313656 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=26640052/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=156224 CPUtime=148.64 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 21166 0 0 0 14858 6 0 0 20 0 2 0 333238363 159973376 21864 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 39056 21864 186 433 0 38620 0\n[pid=4943/tid=4945] ppid=4941 vsize=156224 CPUtime=148.26 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 20006 0 0 0 14818 8 0 0 20 0 2 0 333238365 159973376 21864 33554432000 4194304 5964350 140733424708272 140065251313656 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=26644148/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=156224 CPUtime=150.25 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 21383 0 0 0 15018 7 0 0 20 0 2 0 333238363 159973376 22081 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 39056 22081 186 433 0 38620 0\n[pid=4943/tid=4945] ppid=4941 vsize=156224 CPUtime=149.86 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 20223 0 0 0 14977 9 0 0 20 0 2 0 333238365 159973376 22081 33554432000 4194304 5964350 140733424708272 140065251313656 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n/proc/meminfo: memFree=26638692/32873624 swapFree=7112/7112\n[pid=4943] ppid=4941 vsize=156224 CPUtime=150.66 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 21467 0 0 0 15059 7 0 0 20 0 2 0 333238363 159973376 22165 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 39056 22165 186 433 0 38620 0\n[pid=4943/tid=4945] ppid=4941 vsize=156224 CPUtime=150.26 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 20307 0 0 0 15017 9 0 0 20 0 2 0 333238365 159973376 22165 33554432000 4194304 5964350 140733424708272 140065251313656 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\n[pid=4943] ppid=4941 vsize=156224 CPUtime=150.85 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 21484 0 0 0 15078 7 0 0 20 0 2 0 333238363 159973376 22182 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 39056 22182 186 433 0 38620 0\n[pid=4943/tid=4945] ppid=4941 vsize=156224 CPUtime=150.46 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 20324 0 0 0 15037 9 0 0 20 0 2 0 333238365 159973376 22182 33554432000 4194304 5964350 140733424708272 140065251313656 4399964 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\nCurrent children cumulated CPU time (s) 150.85\n[pid=4943] ppid=4941 vsize=156224 CPUtime=150.95 cores=0,2,4,6\n/proc/4943/stat : 4943 (wbo1.72) S 4941 4943 4521 0 -1 4202496 21494 0 0 0 15088 7 0 0 20 0 2 0 333238363 159973376 22192 33554432000 4194304 5964350 140733424708272 140733424707792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0\n/proc/4943/statm: 39056 22192 186 433 0 38620 0\n[pid=4943/tid=4945] ppid=4941 vsize=156224 CPUtime=150.56 cores=0,2,4,6\n/proc/4943/task/4945/stat : 4945 (wbo1.72) R 4941 4943 4521 0 -1 4202560 20334 0 0 0 15047 9 0 0 20 0 2 0 333238365 159973376 22192 33554432000 4194304 5964350 140733424708272 140065251313656 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0\nCurrent children cumulated CPU time (s) 150.95\n# wait4(...,&childrusage) returns 4943 and gives\n# CPU time returned by wait4() is 150.671\n# while last known CPU time is 150.95\nReal time (s): 151.072\nCPU time (s): 150.95\nCPU user time (s): 150.88\nuser time used= 150.567\nmaximum resident set size= 88828\nrunsolver used 0.226965 second user time and 0.601908 second system time\nBegin job on node121 at 2012-06-02 23:05:29\nRUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727183-1338671129/watcher-3727183-1338671129 -o /tmp/evaluation-result-3727183-1338671129/solver-3727183-1338671129 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727183-1338671129.opb\nMemFree:        27078204 kB\nBuffers:          597308 kB\nCached:          4306664 kB\nActive:          1690452 kB\nInactive:        3235932 kB\nActive(file):    1680012 kB\nInactive(file):  3225160 kB\nAnonPages:         25640 kB\nSReclaimable:     177336 kB\nEnd job on node121 at 2012-06-02 23:08:00


Notebooks mit Tastatur: Nummernblock Preisvergleich Geizhals Deutschland\nGeizhals.de » Hardware » Notebooks » Notebooks mit Tastatur: Nummernblock\nNotebooks » Notebooks mit Tastatur: Nummernblock\nAcer (425) Aorus (13) ASUS (400) Captiva (22) Dell (126) Fujitsu (62) Gigabyte (39) HP (824) Hyrican (1) Lenovo (493) Medion (30) MSI (121) Nexoc (124) Ordissimo (3) PEAQ (1) PNY (4) Schenker (115) Toshiba (42) TrekStor (1) Tuxedo (3) Wortmann (48)\nConvertible (98) Ultrakompakt Profi Robust (8) Kompakt Profi (6) Kompakt Einsteiger (6) Allround Einsteiger (262) Allround Profi (1171) Gaming Profi (474) Gaming Einsteiger (193) Grafik-Workstation (163) Desktop-Replacement (515) Robust (1)\n13.x" (8) 14.x" (12) 15.x" (1988) 16.x" (15) 17.x" (872) 18.x" (2)\nab 13" (2897) ab 13.9" (2889) ab 15" (2877) ab 16" (889) ab 17" (874) ab 18" (2)\nbis 13.3" (8) bis 14.1" (20) bis 15.9" (2008) bis 16.9" (2023) bis 17.9" (2895) bis 18.9" (2897)\n14:9 (8) 16:10 (8) 16:9 (2881)\n1280x720 (1) 1366x768 (166) 1400x900 (8) 1600x900 (156) 1920x1080 (2446) 1920x1200 (8) 2880x1620 (2) 3840x2160 (110)\nab 1280x720 (2897) ab 1366x768 (2896) ab 1600x900 (2722) ab 1920x1080 (2566) ab 1920x1200 (120) ab 2736x1824 (112) ab 3840x2160 (110)\nbis 1280x720 (1) bis 1366x768 (167) bis 1400x1050 (175) bis 1600x900 (331) bis 1920x1080 (2777) bis 1920x1200 (2785) bis 2880x1800 (2787) bis 3840x2160 (2897)\n200cd/m² (86) 220cd/m² (465) 250cd/m² (294) 270cd/m² (3) 300cd/m² (413) 340cd/m² (13) 350cd/m² (2) 400cd/m² (28) 440cd/m² (10) 500cd/m² (18) 600cd/m² (1) 650cd/m² (1) 1000cd/m² (6) unbekannt (1557)\nab 200cd/m² (1340) ab 250cd/m² (789) ab 300cd/m² (492) ab 350cd/m² (66) ab 400cd/m² (64) ab 500cd/m² (26) ab 550cd/m² (8) unbekannt (1557)\nbis 200cd/m² (86) bis 250cd/m² (845) bis 300cd/m² (1261) bis 350cd/m² (1276) bis 400cd/m² (1304) bis 450cd/m² (1314) bis 500cd/m² (1332) über 550cd/m² (8) unbekannt (1557)\nunter 100ppi (9) ab 100ppi (2888) ab 105ppi (2722) ab 120ppi (2566) ab 125ppi (2564) ab 130ppi (1890) ab 135ppi (1882) ab 140ppi (1867) ab 150ppi (132) ab 200ppi (112) ab 250ppi (110)\nglänzend (glare) (202) matt (non-glare) (2695) Touchscreen (110) IPS (1554) IPS/IGZO (5) IPS/AHVA (5) VA (9) TN (77) OLED (13) Digitizer (41) mit Blickschutz (3) 60Hz (2461) 75Hz (3) 120Hz (76) 144Hz (334) 240Hz (23) NVIDIA G-Sync (142) AMD FreeSync (15)\n60Hz (2461) 75Hz (3) 120Hz (76) 144Hz (334) 240Hz (23)\nab 60Hz (2897) ab 75Hz (436) ab 120Hz (433) ab 144Hz (357) ab 240Hz (23)\nIntel (2460) AMD (437)\nCore i9 (47) Core i7 (1107) Core i5 (892) Core i3 (253) Pentium Gold (45) Pentium Silver (32) Pentium (28) Celeron (44) Xeon E (9) Xeon E3 (3) N/A (AMD) (437)\nCore i-10000 (305) Core i-9000 (573) Core i-8000 (940) Core i-7000 (321) Core i-6000 (104) Core i-5000 (18) Core i-4000 (34) Core i-3000 (3) Core i-2000 (1) Pentium Gold G (2) Pentium Gold (43) Pentium Silver N (32) Pentium N (25) Pentium (3) Celeron N (41) Celeron (3) Xeon E-2000 (9) Xeon Ex-1000 v5 (3) N/A (AMD) (437)\nG (2) G1 (40) G7 (15) H (799) HF (14) HK (32) HQ (148) K (30) M (24) MQ (7) T (5) U (1207) ohne Suffix (137) N/A (AMD) (437)\nRyzen 7 (83) Ryzen 5 (179) Ryzen 3 (74) Athlon (10) A12 (3) A10 (5) A9 (19) A8 (6) A6 (30) A4 (19) E (8) FX (1) N/A (Intel) (2460)\nRyzen 3000 (263) Ryzen 2000 (68) Ryzen 1000 (4) Ryzen PRO 2000 (1) Athlon 300 (9) A-9000 (70) A-8000 (1) A-7000 (4) A-6000 (4) A-4000 (2) PRO A-8000 (1) FX-9000 (1) E-9000 (8) N/A (Intel) (2460) Athlon Silver 3000 (1)\nB (1) H (58) M (2) P (9) U (283) e (11) ohne Suffix (73) N/A (Intel) (2460)\n2 (Dual-Core) (638) 4 (Quad-Core) (1547) 6 (Hexa-Core) (657) 8 (Octa-Core) (55)\nab 2 (Dual-Core) (2897) ab 4 (Quad-Core) (2259) ab 6 (Hexa-Core) (712) ab 8 (Octa-Core) (55)\nab 2 (2897) ab 4 (2784) ab 6 (2139) ab 8 (2118) ab 12 (678) ab 16 (42)\nab 1GHz (2897) ab 1.25GHz (2778) ab 1.5GHz (2763) ab 1.75GHz (2224) ab 2GHz (1937) ab 2.2GHz (1634) ab 2.3GHz (1411) ab 2.4GHz (1088) ab 2.5GHz (934) ab 2.6GHz (777) ab 2.7GHz (264) ab 2.8GHz (223) ab 2.9GHz (110) ab 3GHz (83) ab 3.2GHz (58) ab 3.6GHz (38) ab 3.8GHz (1)\nab 2GHz (2662) ab 2.2GHz (2654) ab 2.4GHz (2653) ab 2.6GHz (2619) ab 2.8GHz (2523) ab 3GHz (2518) ab 3.2GHz (2396) ab 3.4GHz (2381) ab 3.6GHz (2062) ab 3.8GHz (1801) ab 4GHz (1419) ab 4.2GHz (867) unbekannt (235)\nApollo Lake (17) Bay Trail-M (3) Braswell (16) Broadwell-H (1) Broadwell-U (20) Coffee Lake-H (842) Coffee Lake-R (31) Coffee Lake-S (39) Comet Lake-U (250) Gemini Lake (62) Haswell-H (6) Haswell-MB (16) Haswell-ULT (12) Ice Lake-U (55) Ivy Bridge (4) Kaby Lake (27) Kaby Lake-G (2) Kaby Lake-H (128) Kaby Lake-R (237) Kaby Lake-S (4) Kaby Lake-U (194) Sandy Bridge (1) Skylake-H (28) Skylake-U (79) Whiskey Lake-U (386) N/A (AMD) (437)\nBeema (4) Bristol Ridge (8) Carrizo (2) Carrizo-L (4) Picasso (273) Raven Ridge (68) Raven Ridge PRO (1) Stoney Ridge (71) Summit Ridge (4) Trinity (2) N/A (Intel) (2460)\nab 5W (2897) ab 15W (2788) ab 25W (1170) ab 35W (1165) ab 40W (1087) ab 50W (75)\nbis 10W (109) bis 15W (1725) bis 20W (1727) bis 25W (1732) bis 35W (1801) bis 40W (1810) bis 50W (2822) über 50W (75)\nbis 10nm (55) bis 14nm (2764) bis 22nm (2805) bis 28nm (2894) bis 32nm (2897)\nab 4GB (2895) ab 6GB (2674) ab 8GB (2671) ab 16GB (979) ab 32GB (201) ab 64GB (23) unbekannt (2)\nDDR3 (66) DDR3L (68) DDR4 (2734) DDR4 ECC (8) LPDDR3 (18) LPDDR4 (3)\nab 1 (2369) ab 2 (1744) ab 4 (152) unbekannt (528)\nunter 0 (1) ab 0 (2199) ab 1 (951) ab 2 (140) ab 3 (40) unbekannt (697)\n8GB (124) 12GB (296) 16GB (448) 20GB (42) 24GB (9) 32GB (702) 40GB (3) 48GB (11) 64GB (280) 128GB (63) nicht erfasst (919)\n1600MHz (16) 1866MHz (29) 2133MHz (230) 2400MHz (1100) 2666MHz (781) unbekannt (741)\nab 1600MHz (2156) ab 1866MHz (2140) ab 2133MHz (2111) ab 2400MHz (1881) ab 2666MHz (781) unbekannt (741)\nbis 1600MHz (16) bis 1866MHz (45) bis 2133MHz (275) bis 2400MHz (1375) bis 2666MHz (2156) unbekannt (741)\nSSD (2620) M.2 (2223) SSD 2.5" (403) HDD (982) SSHD (14) Flash (13)\nab 250GB (996) ab 500GB (995) ab 750GB (924) ab 1TB (919) ab 2TB (43) unbekannt (1901)\nunter 30GB (16) ab 30GB (2604) ab 120GB (2603) ab 240GB (2323) ab 480GB (1254) ab 960GB (242) unbekannt (277)\nab 60GB (13) ab 120GB (8) unbekannt (2884)\n2.5" (64) M.2 SATA (406) M.2 PCIe (1797) M.2 unbekannt (20) unbekannt (331)\n2280 (571) 2242 (112)\nBlu-ray (BD-R/RE) (5) Blu-ray (BD-ROM) (5) DVD+/-RW (662) DVD-ROM (1) ohne (2211) unbekannt (13)\nmicroSD (334) SD-Card (UHS-II) (149) SD-Card (2056) RSMMC (126) MMC (687) xD-Picture Card (2) Memory Stick PRO (8) Memory Stick (9)\ndedizierte Grafik (1543) dedizierte Grafik mit SLI (3) integrierte Grafik (IGP) (1351)\nAMD (465) Intel (1012) NVIDIA (1420)\nAMD RDNA 1.0 (2) AMD GCN 5 (2) AMD GCN 4 (64) AMD GCN 1 (58) NVIDIA Turing (678) NVIDIA Pascal (595) NVIDIA Maxwell 2.0 (14) NVIDIA Maxwell 1.0 (115) NVIDIA Kepler 2.0 (5) NVIDIA Kepler 1.0 (11) NVIDIA Fermi (1) unbekannt (1352)\nIris Plus Graphics (8) UHD Graphics (681) HD Graphics 6xx (191) HD Graphics 5xx (83) HD Graphics 4xx (14) HD Graphics 5xxx (14) HD Graphics 4xxx (12) HD Graphics 3xxx (1) HD Graphics (8) Radeon RX Vega 10 (51) Radeon Vega 8 (125) Radeon Vega 6 (2) Radeon Vega 3 (79) Radeon R7 (2) Radeon R6 (1) Radeon R5 (23) Radeon R4 (29) Radeon R3 (17) Radeon R2 (8) Radeon HD 7 (2) dediziert (1546)\nRTX 2080 (41) RTX 2070 (86) GTX 1660 Ti (98) GTX 1660 Ti Max-Q (28) RTX 2060 (120) GTX 1080 (7) GTX 1070 (30) GTX 1070 Max-Q (4) GTX 1060 (80) GTX 1060 Max-Q (5) GTX 1050 Ti (83) GTX 1050 Ti Max-Q (1) GTX 1050 (122) GTX 1050 Max-Q (8) MX250 (96) MX150 (57) MX230 (31) GTX 980M (4) GTX 970M (3) GTX 965M (1) GTX 960M (3) GTX 950M (6) GTX 850M (1) MX130 (34) 940MX (11) 940M (5) 840M (2) MX110 (17) 930MX (14) 930M (2) 920MX (1) GT 740M (2) 920M (1) 710M (2) GTX 860M (1) 820M (2) GTX 1650 (176) GTX 1650 Max-Q (10) Quadro RTX 5000 (7) Quadro RTX 4000 (8) Quadro RTX 3000 (15) Quadro T2000 (15) Quadro T1000 (14) Quadro P5200 (2) Quadro P4200 (2) Quadro P3200 (10) Quadro P4000 Max-Q (1) Quadro P3000 (3) Quadro P2000 (14) Quadro P1000 (10) Quadro P620 (9) Quadro P600 (11) Quadro P500 (3) Quadro P520 (6) Quadro M5000M (1) Quadro M2200 (4) Quadro M3000M (1) Quadro M1200 (4) Quadro M2000M (5) Quadro M1000M (6) Quadro M620 (1) Quadro M520 (1) Quadro M500M (1) Quadro K620M (1) Quadro K4100M (1) Quadro K3100M (3) Quadro K2100M (2) Quadro K1100M (2) NVS 5200M (1) Sonstige (1351) RTX 2080 Max-Q (20) RTX 2070 Max-Q (40) MX350 (1) keine NVIDIA GPU (126)\nRX 5500M (2) RX 580 (4) RX 560X (21) RX Vega M GL (Onboard) (2) RX 550X (4) RX 550 (1) RX 560 (4) RX 540 (2) R9 M365X (1) 540X (9) 540 (1) RX 640 (1) Pro WX 3200 (9) R7 M360 (1) R7 M260 (2) R5 M255 (1) R5 M430 (2) R5 M420 (1) 520 (13) R7 M440 (1) HD 8750M (1) 535 (7) 530X (1) 530 (25) Pro WX 3100 (6) Pro WX 2100 (4) Sonstige (1351) keine AMD GPU (1420)\nRX 5500M (2) Pro WX 3200 (9) GTX 1660 Ti Max-Q (28) GTX 1660 Ti (98) GTX 1650 Max-Q (10) GTX 1650 (176) MX250 (96) RTX 2080 Max-Q (20) RTX 2080 (41) RTX 2070 Max-Q (40) RTX 2070 (86) RTX 2060 (120) MX230 (31) RX 640 (1) RX 560X (21) RX 550X (4) 540X (9) RX Vega M GL (Onboard) (2) GTX 1050 Ti Max-Q (1) MX110 (17) 540 (1) MX130 (34) RX 550 (1) GTX 1070 Max-Q (4) GTX 1060 Max-Q (5) 520 (13) MX150 (57) RX 580 (4) RX 540 (2) 535 (7) 530X (1) 530 (25) GTX 1050 Ti (83) GTX 1050 Max-Q (8) GTX 1050 (122) RX 560 (4) GTX 1080 (7) GTX 1070 (30) GTX 1060 (80) R7 M440 (1) R5 M430 (2) R5 M420 (1) 930MX (14) 920MX (1) GTX 965M (1) 940MX (11) R9 M365X (1) R7 M360 (1) GTX 950M (6) GTX 960M (3) 940M (5) 930M (2) 920M (1) 820M (2) R5 M255 (1) GTX 980M (4) GTX 970M (3) R7 M260 (2) GTX 860M (1) GTX 850M (1) 840M (2) 710M (2) GT 740M (2) HD 8750M (1) T2000 (15) T1000 (14) RTX 5000 (7) RTX 4000 (8) RTX 3000 (15) P520 (6) P620 (9) P5200 (2) P4200 (2) P3200 (10) P500 (3) P600 (11) P2000 (14) P1000 (10) P4000 Max-Q (1) P3000 (3) M620 (1) M520 (1) M2200 (4) M1200 (4) M500M (1) M2000M (5) M5000M (1) M3000M (1) M1000M (6) K620M (1) K4100M (1) K3100M (3) K2100M (2) K1100M (2) 5200M (1) Pro WX 3100 (6) Pro WX 2100 (4) MX350 (1) unbekannt (1351)\nunter 256MB (1351) ab 1GB (1545) ab 2GB (1539) ab 3GB (1142) ab 4GB (1102) ab 6GB (606) ab 8GB (252) ab 16GB (9) unbekannt (1)\nbis 15W (771) bis 20W (795) bis 25W (853) bis 30W (943) bis 35W (955) bis 40W (970) bis 45W (979) bis 50W (1066) bis 55W (1081) bis 60W (1096) bis 65W (1131) bis 75W (1372) bis 80W (1472) bis 100W (1487) bis 120W (1536) bis 150W (1538) über 150W (7) unbekannt (1352)\nUSB-C 3.2 mit DisplayPort 1.4 (8) USB-C 3.1 mit DisplayPort 1.4 (161) USB-C 3.0 mit DisplayPort 1.2 (290) USB-C Ladeanschluss (101) USB-C 3.1 (241) USB-A 3.1 (295) USB-C 3.0 (1032) USB-A 3.0 (2830) USB-A 2.0 (1586) seriell (4) Thunderbolt 3 (516) Thunderbolt 1 (7) 2x Mini DisplayPort (138) 1x Mini DisplayPort (660) Mini DisplayPort 1.4 (209) Mini DisplayPort 1.2 (176) Mini DisplayPort (660) 1x DisplayPort (73) DisplayPort 1.4 (2) DisplayPort 1.2 (11) DisplayPort (89) 1x HDMI (2821) HDMI 2.0 (550) HDMI (2821) Micro HDMI (1) VGA (319) 10Gb LAN (1) Gb LAN (2341) LAN (101) Klinke (1086) SmartCard (220) ExpressCard (14) eSATA (3)\nab 2x (2897) ab 3x (2804) ab 4x (1603) ab 5x (309) ab 6x (65) ab 7x (3)\nab 1x (2897) ab 2x (2859) ab 3x (2174) ab 4x (216) ab 5x (13) ab 6x (3)\nab 1x (2040) ab 2x (345) ab 3x (26) unbekannt (857)\nab 1x (897) ab 2x (191) ab 3x (20) unbekannt (2000)\nab 1x (2897) ab 2x (2638) ab 3x (1770) ab 4x (780) ab 5x (278) ab 6x (45) ab 7x (3)\nab 1x (852) ab 2x (459) ab 3x (109) ab 4x (40) ab 5x (21) ab 6x (9) unbekannt (2045)\nab 1x (2881) ab 2x (2473) ab 3x (1521) ab 4x (535) ab 5x (129) ab 6x (17) ab 7x (3) unbekannt (16)\nab 1x (1586) ab 2x (564) ab 3x (1) unbekannt (1311)\nab 1x (516) ab 2x (122) unbekannt (2381)\nWLAN 802.11ax (Wi-Fi 6) (340) WLAN 802.11ac (Wi-Fi 5) (2744) WLAN 802.11n (Wi-Fi 4) (2895) WLAN 802.11g (Wi-Fi 3) (2895) WLAN 802.11b (Wi-Fi 2) (2895) Bluetooth 4.0 (478) Bluetooth 4.1 (416) Bluetooth 4.2 (882) Bluetooth 4 (1776) Bluetooth 5.0 (1063) Bluetooth (2885) NFC (6)\nLTE (84) UMTS (85) GSM (85) Micro-SIM (9) Nano-SIM (29) ohne Mobilfunk (2812)\n0.3 Megapixel (421) 0.5 Megapixel (12) 0.9 Megapixel (1861) 1.0 Megapixel (353) 1.3 Megapixel (50) 2.0 Megapixel (183) unbekannt (17)\nWindows 10 S 64bit (21) Windows 10 S (21) Windows 10 Pro 64bit (666) Windows 10 Pro (669) Windows 10 Home (1650) Windows 10 (2340) Windows 7 Professional 64bit (46) Windows 7 Professional (46) Windows 7 (46) Windows 8.1 Pro 64bit (9) Windows 8.1 64bit (20) zusätzliche Lizenz für Windows 10 Pro 64bit (10) zusätzliche Lizenz für Windows 7 Professional 64bit (15) zusätzliche Lizenz für Windows 8 Pro 64bit (8) zusätzliche Lizenz für Windows 8.1 Pro 64bit (9) Chrome OS (12) FreeDOS (147) Linux (33) Windows (2384) kein Windows (513) kein Betriebssystem (317)\nEndless OS (2) Ubuntu (1) 10 Home (8) 10 Home 64bit (1642) 10 Pro (3) 10 Pro 64bit (656) 10 S 64bit (21) 7 Professional 64bit (31) 8 64bit (3) 8.1 64bit (20) unbekannt (510)\nab 7 (2384) ab 8 (2353) ab 8.1 (2350) ab 10 (2330) unbekannt (513)\nAkku fest verbaut (2762) Akku abnehmbar (110) gleichzeitig fest verbauten und abnehmbaren Akku (12) ohne abnehmbaren Akku (2787) ohne fest verbauten Akku (135)\nab 2h (1844) ab 4h (1786) ab 5h (1734) ab 6h (1507) ab 7h (1270) ab 8h (1026) ab 9h (847) ab 10h (620) ab 11h (369) ab 12h (260) ab 13h (131) ab 14h (93) ab 15h (49) ab 17h (20) ab 24h (4) unbekannt (1053)\nab 20Wh (2659) ab 30Wh (2656) ab 35Wh (2408) ab 40Wh (2111) ab 45Wh (1633) ab 50Wh (1167) ab 55Wh (876) ab 60Wh (668) ab 65Wh (461) ab 70Wh (399) ab 75Wh (301) ab 80Wh (264) ab 85Wh (193) ab 90Wh (179) ab 95Wh (61) ab 100Wh (4) unbekannt (238)\nab 2 Zellen (2330) ab 3 Zellen (1997) ab 4 Zellen (1101) ab 6 Zellen (397) ab 8 Zellen (94) ab 9 Zellen (13) unbekannt (567)\nbis 1.5kg (19) bis 1.6kg (51) bis 1.7kg (106) bis 1.8kg (518) bis 1.9kg (813) bis 2kg (1051) bis 2.1kg (1257) bis 2.25kg (1522) bis 2.4kg (1815) bis 2.5kg (2084) bis 3kg (2693) bis 4kg (2848) bis 5kg (2885) über 5kg (1) unbekannt (11)\nTastatur (2897) Touchpad (2897) Eingabestift (10) Maus (1) Rubber-Dome (2839) mechanische Schalter (38) mechanisch-optische Schalter (9)\nDeutschland (2847) Spanien (1) Italien (1) int. Englisch (nordic) (1) Norwegen (1) Polen (US/int. Englisch mit €-Zeichen) (12) Großbritannien und Nordirland (34)\nRGB beleuchtet (449) blau beleuchtet (34) grün beleuchtet (82) rot beleuchtet (129) weiß beleuchtet (85) beleuchtet (1648) Nummernblock (2897) mechanische Schalter (38) Rubber-Dome (2839) spritzwassergeschützt (233) Pointing Stick (192) Anti-Ghosting/N-Key-Rollover (148) Funktionstasten für vereinfachte Bedienung (3) ausziehbar (8) Alle\nintegrierter Nummernblock (1) Glas (97) Display (49) ausziehbar (8)\nAcer ProDock (1) ASUS Powerstation (1) Lenovo Pro Dock (9) Lenovo Ultra Dock (34) Lenovo OneLink (7)\nCardreader (2423) Webcam (2896) Fingerprint-Reader (725) Lichtsensor (8) Subwoofer (9) Beschleunigungssensor (207) Dockinganschluss (168) Eye-Tracking (4) Corning Gorilla Glass (4) Aluminium-Unibody (71) Intel RealSense (Windows Hello) (1) vPro (57) MIL-STD-810G zertifiziert (196) Slim Bezel (174) eGPU (proprietär) (6) Multiplikator frei wählbar (13) inkl. Win 7 Pro (15) inkl. Win 8 Pro (8) inkl. Win 8.1 Pro (9) inkl. Win 10 Pro (10) ECC-Unterstützung (10)\nab 1 Jahr (2738) ab 2 Jahre (1720) ab 3 Jahre (210) unbekannt (159)\nschwarz (1199) weiß (27) grau (473) rosa (2) rot (27) blau (36) braun (1) grün (12) silber (402) gold (5)\nAbyss Blue (6) Abyss Grey (4) Alpine White (10) Anthrazit (3) Ash Silver (14) Asteroid Silver (60) Ceramic White (8) Chocolate Black (19) Cobalt Blue (2) Coral Crush (3) Dark Ash (43) Dark Ash Silver (17) Deep Space Black (4) Diamond Black (4) Dreamy White (1) Eclipse Black (8) Firmament Green (3) Fog Blue (3) Gaia Green (1) Granite Black (17) Graphite Black (2) Gun Metal (8) Icicle Gold (1) Icicle Silver (2) Indie Black (2) Iron Grey (99) Jack Black (5) Jet Black (123) Lunar Light (3) Luxury Gold (2) Mica (1) Mineral Grey (11) Mineral Silver (35) Moss Green (8) Natural Silver (100) Nightfall Black (7) Onyx Black (19) Pale Gold (2) Peacock Blue (2) Pearl White (1) Platinum Gray (8) Platinum Grey (90) Platinum Silver (3) Poseidon Blue (4) Punk Pink (2) Quartz Grey (2) Reaper Black (3) Red Matter (14) Resolute Red (1) Royal Blue (17) Sapphire Blue (1) Shadow Black (160) Silver Blue Yellow (4) Silver Gradient (6) Slate Gray (9) Slate Grey (36) Smoky Grey (1) Snow White (2) Snowflake White (1) Space Grey (6) Sparkly Silver (11) Star Black (11) Star Grey (39) Star Grey-Red (3) Stealth Black (20) Steel Gray (4) Steel Grey (3) Titan Grey (6) Transparent Silver (64) Turbo Silver (14) Turquoise Grey (6) Twinkle Black (1) Urban Grey (2) Velvet Burgundy (1) Warm Grey (1) Woven Gun Metal (2) unbekannt (1676)\nab 2012 (2897) ab 2013 (2895) ab 2014 (2884) ab 2015 (2862) ab 2016 (2834) ab 2017 (2770) ab 2018 (2529) ab 2019 (2103) ab 2020 (276)\nHP Envy x360 15-dr1144ng Natural Silver (8KZ05EA#ABD)\nDisplay: 15.6", 1920x1080, 141dpi, 60Hz, Multi-Touch, glare, IPS, Digitizer, 300cd/m² • CPU: Intel Core i7-10510U, 4x 1.80GHz • RAM: 8GB DDR4-2666 (1x 8GB Modul) • HDD: N/A • SSD: 512GB M.2 PCIe • Grafik: NVIDIA GeForce MX250 (Mobile), 4GB GDDR5 ...\nONE.de und 1 weiterer Händler\nHP Omen 17-cb0230ng Shadow Black (7KC69EA#ABD)\nDisplay: 17.3", 1920x1080, 127dpi, 144Hz, non-glare, IPS, 300cd/m² • CPU: Intel Core i7-9750H, 6x 2.60GHz • RAM: 16GB DDR4-2666 (2x 8GB Module, 2 Slots) • HDD: N/A • SSD: 512GB M.2 PCIe • Grafik: NVIDIA GeForce RTX 2080 (Mobile), 8GB GDDR6 • ...\nab € 1869,43\nab € 395,61\nab € 544,94\nASUS VivoBook 17 M712DA-BX066 Transparent Silver (90NB0PI1-M00930)\nDisplay: 17.3", 1600x900, 106dpi, 60Hz, non-glare, 200cd/m² • CPU: AMD Ryzen 5 3500U, 4x 2.10GHz • RAM: 8GB DDR4-2400 • HDD: N/A • SSD: 256GB M.2 SATA • Grafik: AMD Radeon Vega 8 (IGP) • Anschlüsse: 1x HDMI, 1x USB-C 3.0, 1x USB-A 3.0, 2x USB-A ...\nLenovo V340-17IWL Iron Grey, Core i5-8265U, 16GB RAM, 512GB SSD, Windows 10 Pro (81RG000GGE)\nDisplay: 17.3", 1920x1080, 127dpi, 60Hz, non-glare, IPS, 300cd/m² • CPU: Intel Core i5-8265U, 4x 1.60GHz • RAM: 16GB DDR4-2400 (1x 16GB Modul, 1 Slot, max. 16GB) • HDD: N/A • SSD: 512GB M.2 PCIe (2242) • Grafik: Intel UHD Graphics 620 (IGP) • ...\nLenovo Ideapad L340-15IWL Granite Black, Core i5-8265U, 16GB RAM, 512GB SSD (81LG00QVGE)\nDisplay: 15.6", 1920x1080, 141dpi, 60Hz, non-glare, TN, 220cd/m² • CPU: Intel Core i5-8265U, 4x 1.60GHz • RAM: 16GB DDR4-2400 (1x 16GB Modul, 1 Slot, max. 16GB) • HDD: N/A • SSD: 512GB M.2 PCIe • Grafik: Intel UHD Graphics 620 (IGP) • Anschlüsse: ...\nab € 564,63