Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pwbo 2.01 | MSAT (TO) | 1800.44 | 900.437 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo |
MD5SUM | 5648463b311d39ee56e08f95de13a148 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 2.01369 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5100 |
Total number of constraints | 202 |
Number of soft constraints | 71 |
Number of constraints which are clauses | 102 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 51 |
Top cost | 3850 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 3849 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 52 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.01 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing wbo file format. File HOME/instance-3712455-1338183296.wbo. 0.00/0.00 c Instance file HOME/instance-3712455-1338183296.wbo 0.00/0.00 c File size is 91718 bytes. 0.00/0.01 c Highest Coefficient sum: 52 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 5171 | 0.00/0.01 c | Number Clauses: 102 | 0.00/0.01 c | Number Cardinality: 63 | 0.00/0.01 c | Number PB Constraints: 37 | 0.00/0.01 c | | 0.00/0.01 c | Problem Type: Optimization | 0.00/0.01 c | Objective Function: PB Constraint | 0.00/0.01 c | | 0.00/0.01 c =============================================================================== 1800.19/900.41 o 104 1800.19/900.41 o 96 1800.19/900.41 o 85 1800.19/900.41 o 83 1800.19/900.41 o 81 1800.19/900.41 o 69 1800.19/900.41 o 61 1800.19/900.41 o 47 1800.19/900.41 o 35 1800.19/900.41 o 23 1800.19/900.41 o 22 1800.19/900.41 o 12 1800.19/900.41 c =============================================================================== 1800.19/900.41 c Wall Clock Time: 900.41 s 1800.19/900.41 c Best Solution: 12 1800.19/900.41 s SATISFIABLE 1800.19/900.41 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100
OK 12
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712455-1338183296/watcher-3712455-1338183296 -o /tmp/evaluation-result-3712455-1338183296/solver-3712455-1338183296 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712455-1338183296.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.68 3.80 3.07 2/171 26502 /proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=6060 CPUtime=0 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) R 26500 26502 26380 0 -1 4202496 726 0 0 0 0 0 0 0 20 0 1 0 284455551 6205440 679 33554432000 4194304 5964478 140737324986176 140737091521752 5179243 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 1515 690 164 433 0 1056 0 [startup+0.0772009 s] /proc/loadavg: 3.68 3.80 3.07 2/171 26502 /proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165172 CPUtime=0.13 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 2774 0 0 0 12 1 0 0 20 0 3 0 284455551 169136128 2614 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41293 2614 198 433 0 40857 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 165172 [startup+0.100191 s] /proc/loadavg: 3.68 3.80 3.07 2/171 26502 /proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165172 CPUtime=0.18 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 2879 0 0 0 17 1 0 0 20 0 3 0 284455551 169136128 2719 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41293 2720 198 433 0 40857 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 165172 [startup+0.300127 s] /proc/loadavg: 3.68 3.80 3.07 2/171 26502 /proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165172 CPUtime=0.57 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 3775 0 0 0 56 1 0 0 20 0 3 0 284455551 169136128 3615 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41293 3615 198 433 0 40857 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 165172 [startup+0.70014 s] /proc/loadavg: 3.68 3.80 3.07 2/171 26502 /proc/meminfo: memFree=31037336/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165172 CPUtime=1.37 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 5506 0 0 0 135 2 0 0 20 0 3 0 284455551 169136128 5346 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41293 5346 198 433 0 40857 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 165172 [startup+1.50026 s] /proc/loadavg: 3.68 3.80 3.07 5/181 26521 /proc/meminfo: memFree=30973308/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165172 CPUtime=2.96 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 7924 0 0 0 293 3 0 0 20 0 3 0 284455551 169136128 7764 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41293 7764 198 433 0 40857 0 [pid=26502/tid=26504] ppid=26500 vsize=165172 CPUtime=1.47 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 3718 0 0 0 145 2 0 0 20 0 3 0 284455552 169136128 7764 33554432000 4194304 5964478 140737324986176 140375126870008 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=165172 CPUtime=1.47 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 2750 0 0 0 145 2 0 0 20 0 3 0 284455552 169136128 7765 33554432000 4194304 5964478 140737324986176 140375116380472 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 165172 [startup+3.10027 s] /proc/loadavg: 3.68 3.80 3.07 5/181 26521 /proc/meminfo: memFree=30955096/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165172 CPUtime=6.17 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 10603 0 0 0 613 4 0 0 20 0 3 0 284455551 169136128 10443 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41293 10443 198 433 0 40857 0 [pid=26502/tid=26504] ppid=26500 vsize=165172 CPUtime=3.07 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 4984 0 0 0 305 2 0 0 20 0 3 0 284455552 169136128 10443 33554432000 4194304 5964478 140737324986176 140375126870008 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=165172 CPUtime=3.07 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 4162 0 0 0 305 2 0 0 20 0 3 0 284455552 169136128 10443 33554432000 4194304 5964478 140737324986176 140375116380472 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 165172 [startup+6.30026 s] /proc/loadavg: 3.87 3.84 3.09 5/181 26521 /proc/meminfo: memFree=30930084/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165388 CPUtime=12.56 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 16243 0 0 0 1250 6 0 0 20 0 3 0 284455551 169357312 16083 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41347 16083 198 433 0 40911 0 [pid=26502/tid=26504] ppid=26500 vsize=165388 CPUtime=6.27 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 8186 0 0 0 624 3 0 0 20 0 3 0 284455552 169357312 16083 33554432000 4194304 5964478 140737324986176 140375126870008 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=165388 CPUtime=6.27 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 6600 0 0 0 623 4 0 0 20 0 3 0 284455552 169357312 16083 33554432000 4194304 5964478 140737324986176 140375116380472 4381980 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 165388 [startup+12.7002 s] /proc/loadavg: 3.96 3.86 3.10 4/181 26521 /proc/meminfo: memFree=30880056/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=165604 CPUtime=25.35 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 24175 0 0 0 2525 10 0 0 20 0 3 0 284455551 169578496 24210 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 41401 24210 198 433 0 40965 0 [pid=26502/tid=26504] ppid=26500 vsize=165604 CPUtime=12.67 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 11657 0 0 0 1262 5 0 0 20 0 3 0 284455552 169578496 24210 33554432000 4194304 5964478 140737324986176 140375126870008 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=165604 CPUtime=12.66 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 11061 0 0 0 1260 6 0 0 20 0 3 0 284455552 169578496 24210 33554432000 4194304 5964478 140737324986176 140375116380472 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 165604 [startup+25.5003 s] /proc/loadavg: 4.04 3.88 3.11 5/181 26521 /proc/meminfo: memFree=30825732/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=296892 CPUtime=50.94 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 35696 0 0 0 5078 16 0 0 20 0 3 0 284455551 304017408 35724 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 74223 35724 198 433 0 73787 0 [pid=26502/tid=26504] ppid=26500 vsize=296892 CPUtime=25.47 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 17234 0 0 0 2540 7 0 0 20 0 3 0 284455552 304017408 35724 33554432000 4194304 5964478 140737324986176 140375126870008 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=296892 CPUtime=25.45 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 17005 0 0 0 2535 10 0 0 20 0 3 0 284455552 304017408 35724 33554432000 4194304 5964478 140737324986176 140375116380472 4381560 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 296892 [startup+51.1004 s] /proc/loadavg: 4.02 3.89 3.14 5/181 26521 /proc/meminfo: memFree=30720440/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=297344 CPUtime=102.12 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 58538 0 0 0 10185 27 0 0 20 0 3 0 284455551 304480256 58565 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 74336 58565 198 433 0 73900 0 [pid=26502/tid=26504] ppid=26500 vsize=297344 CPUtime=51.06 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 28064 0 0 0 5094 12 0 0 20 0 3 0 284455552 304480256 58565 33554432000 4194304 5964478 140737324986176 140375126870008 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=297344 CPUtime=51.04 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 29017 0 0 0 5088 16 0 0 20 0 3 0 284455552 304480256 58565 33554432000 4194304 5964478 140737324986176 140375116380472 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.12 Current children cumulated vsize (KiB) 297344 [startup+102.3 s] /proc/loadavg: 4.01 3.90 3.18 5/181 26521 /proc/meminfo: memFree=30575136/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=494840 CPUtime=204.47 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 87177 0 0 0 20408 39 0 0 20 0 3 0 284455551 506716160 88412 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 123710 88412 198 433 0 123274 0 [pid=26502/tid=26504] ppid=26500 vsize=494840 CPUtime=102.24 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 36225 0 0 0 10208 16 0 0 20 0 3 0 284455552 506716160 88412 33554432000 4194304 5964478 140737324986176 140375126869816 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=494840 CPUtime=102.24 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 49495 0 0 0 10198 26 0 0 20 0 3 0 284455552 506716160 88412 33554432000 4194304 5964478 140737324986176 140375116380472 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 204.47 Current children cumulated vsize (KiB) 494840 [startup+162.3 s] /proc/loadavg: 4.04 3.93 3.23 5/181 26521 /proc/meminfo: memFree=30382324/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=626176 CPUtime=324.43 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 130695 0 0 0 32388 55 0 0 20 0 3 0 284455551 641204224 131930 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 156544 131930 198 433 0 156108 0 [pid=26502/tid=26504] ppid=26500 vsize=626176 CPUtime=162.23 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 68038 0 0 0 16195 28 0 0 20 0 3 0 284455552 641204224 131930 33554432000 4194304 5964478 140737324986176 140375126870008 4391680 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=626176 CPUtime=162.23 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 61200 0 0 0 16190 33 0 0 20 0 3 0 284455552 641204224 131930 33554432000 4194304 5964478 140737324986176 140375116380472 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 324.43 Current children cumulated vsize (KiB) 626176 [startup+222.307 s] /proc/loadavg: 4.05 3.95 3.28 5/181 26522 /proc/meminfo: memFree=30325400/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=691984 CPUtime=444.42 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 140925 0 0 0 44381 61 0 0 20 0 3 0 284455551 708591616 142153 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 172996 142153 198 433 0 172560 0 [pid=26502/tid=26504] ppid=26500 vsize=691984 CPUtime=222.23 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 68045 0 0 0 22194 29 0 0 20 0 3 0 284455552 708591616 142153 33554432000 4194304 5964478 140737324986176 140375126870008 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=691984 CPUtime=222.22 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 71423 0 0 0 22183 39 0 0 20 0 3 0 284455552 708591616 142153 33554432000 4194304 5964478 140737324986176 140375116380472 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 444.42 Current children cumulated vsize (KiB) 691984 [startup+282.3 s] /proc/loadavg: 4.02 3.96 3.32 5/181 26522 /proc/meminfo: memFree=30299512/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=692116 CPUtime=564.37 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 143332 0 0 0 56375 62 0 0 20 0 3 0 284455551 708726784 144481 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 173029 144481 198 433 0 172593 0 [pid=26502/tid=26504] ppid=26500 vsize=692116 CPUtime=282.22 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 70399 0 0 0 28191 31 0 0 20 0 3 0 284455552 708726784 144481 33554432000 4194304 5964478 140737324986176 140375126870008 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=692116 CPUtime=282.19 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 71476 0 0 0 28179 40 0 0 20 0 3 0 284455552 708726784 144481 33554432000 4194304 5964478 140737324986176 140375116380232 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 564.37 Current children cumulated vsize (KiB) 692116 [startup+342.3 s] /proc/loadavg: 4.00 3.97 3.37 5/182 26525 /proc/meminfo: memFree=30233924/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=758012 CPUtime=684.32 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 156425 0 0 0 68363 69 0 0 20 0 3 0 284455551 776204288 157663 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 189503 157663 198 433 0 189067 0 [pid=26502/tid=26504] ppid=26500 vsize=758012 CPUtime=342.19 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 71031 0 0 0 34187 32 0 0 20 0 3 0 284455552 776204288 157663 33554432000 4194304 5964478 140737324986176 140375126869816 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=758012 CPUtime=342.18 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 83937 0 0 0 34170 48 0 0 20 0 3 0 284455552 776204288 157663 33554432000 4194304 5964478 140737324986176 140375116380472 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 684.32 Current children cumulated vsize (KiB) 758012 [startup+402.3 s] /proc/loadavg: 4.00 3.97 3.40 5/181 26525 /proc/meminfo: memFree=30085036/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=889444 CPUtime=804.26 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 191018 0 0 0 80336 90 0 0 20 0 3 0 284455551 910790656 192133 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 222361 192133 198 433 0 221925 0 [pid=26502/tid=26504] ppid=26500 vsize=889444 CPUtime=402.16 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 88130 0 0 0 40171 45 0 0 20 0 3 0 284455552 910790656 192133 33554432000 4194304 5964478 140737324986176 140375126870008 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=889444 CPUtime=402.16 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 101431 0 0 0 40158 58 0 0 20 0 3 0 284455552 910790656 192133 33554432000 4194304 5964478 140737324986176 140375116380504 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 804.26 Current children cumulated vsize (KiB) 889444 [startup+462.3 s] /proc/loadavg: 4.00 3.97 3.44 5/181 26525 /proc/meminfo: memFree=30075000/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=889736 CPUtime=924.23 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 191112 0 0 0 92333 90 0 0 20 0 3 0 284455551 911089664 192080 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 222434 192080 198 433 0 221998 0 [pid=26502/tid=26504] ppid=26500 vsize=889736 CPUtime=462.16 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 88160 0 0 0 46170 46 0 0 20 0 3 0 284455552 911089664 192080 33554432000 4194304 5964478 140737324986176 140375126870040 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=889736 CPUtime=462.15 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 101495 0 0 0 46156 59 0 0 20 0 3 0 284455552 911089664 192080 33554432000 4194304 5964478 140737324986176 140375116380232 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 924.23 Current children cumulated vsize (KiB) 889736 [startup+522.3 s] /proc/loadavg: 4.00 3.97 3.47 5/181 26526 /proc/meminfo: memFree=30064272/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=889736 CPUtime=1044.21 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 193093 0 0 0 104330 91 0 0 20 0 3 0 284455551 911089664 194061 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 222434 194061 198 433 0 221998 0 [pid=26502/tid=26504] ppid=26500 vsize=889736 CPUtime=522.15 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 88160 0 0 0 52169 46 0 0 20 0 3 0 284455552 911089664 194061 33554432000 4194304 5964478 140737324986176 140375126870040 4400503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=889736 CPUtime=522.14 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 103476 0 0 0 52154 60 0 0 20 0 3 0 284455552 911089664 194061 33554432000 4194304 5964478 140737324986176 140375116380472 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1044.21 Current children cumulated vsize (KiB) 889736 [startup+582.3 s] /proc/loadavg: 4.04 3.99 3.50 5/181 26526 /proc/meminfo: memFree=29912900/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1022212 CPUtime=1164.19 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 228336 0 0 0 116304 115 0 0 20 0 3 0 284455551 1046745088 229304 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 255553 229304 198 433 0 255117 0 [pid=26502/tid=26504] ppid=26500 vsize=1022212 CPUtime=582.15 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 101828 0 0 0 58157 58 0 0 20 0 3 0 284455552 1046745088 229304 33554432000 4194304 5964478 140737324986176 140375126870008 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1022212 CPUtime=582.14 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125051 0 0 0 58141 73 0 0 20 0 3 0 284455552 1046745088 229304 33554432000 4194304 5964478 140737324986176 140375116380472 4400480 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1164.19 Current children cumulated vsize (KiB) 1022212 [startup+642.3 s] /proc/loadavg: 4.01 3.99 3.53 5/181 26526 /proc/meminfo: memFree=29901132/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1022212 CPUtime=1284.17 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 228696 0 0 0 128302 115 0 0 20 0 3 0 284455551 1046745088 229893 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 255553 229893 198 433 0 255117 0 [pid=26502/tid=26504] ppid=26500 vsize=1022212 CPUtime=642.15 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 102188 0 0 0 64155 60 0 0 20 0 3 0 284455552 1046745088 229893 33554432000 4194304 5964478 140737324986176 140375126870008 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1022212 CPUtime=642.14 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125051 0 0 0 64140 74 0 0 20 0 3 0 284455552 1046745088 229893 33554432000 4194304 5964478 140737324986176 140375116380472 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1284.17 Current children cumulated vsize (KiB) 1022212 [startup+702.3 s] /proc/loadavg: 4.00 3.99 3.56 5/181 26526 /proc/meminfo: memFree=29801960/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1087748 CPUtime=1404.13 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 252013 0 0 0 140282 131 0 0 20 0 3 0 284455551 1113853952 253425 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 271937 253425 198 433 0 271501 0 [pid=26502/tid=26504] ppid=26500 vsize=1087748 CPUtime=702.13 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125502 0 0 0 70137 76 0 0 20 0 3 0 284455552 1113853952 253425 33554432000 4194304 5964478 140737324986176 140375126870008 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1087748 CPUtime=702.13 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125054 0 0 0 70138 75 0 0 20 0 3 0 284455552 1113853952 253425 33554432000 4194304 5964478 140737324986176 140375116380472 4400779 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1404.13 Current children cumulated vsize (KiB) 1087748 [startup+762.3 s] /proc/loadavg: 4.03 4.00 3.59 5/181 26526 /proc/meminfo: memFree=29699916/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1219468 CPUtime=1524.08 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 275559 0 0 0 152258 150 0 0 20 0 3 0 284455551 1248735232 276954 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 304867 276954 198 433 0 304431 0 [pid=26502/tid=26504] ppid=26500 vsize=1219468 CPUtime=762.12 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 149003 0 0 0 76115 97 0 0 20 0 3 0 284455552 1248735232 276956 33554432000 4194304 5964478 140737324986176 140375126870008 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1219468 CPUtime=762.1 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125101 0 0 0 76134 76 0 0 20 0 3 0 284455552 1248735232 276956 33554432000 4194304 5964478 140737324986176 140375116380472 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1524.08 Current children cumulated vsize (KiB) 1219468 [startup+822.3 s] /proc/loadavg: 4.01 4.00 3.61 5/181 26527 /proc/meminfo: memFree=29612980/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1287656 CPUtime=1644.03 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 296559 0 0 0 164237 166 0 0 20 0 3 0 284455551 1318559744 296474 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 321914 296474 198 433 0 321478 0 [pid=26502/tid=26504] ppid=26500 vsize=1287656 CPUtime=822.1 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 169872 0 0 0 82097 113 0 0 20 0 3 0 284455552 1318559744 296474 33554432000 4194304 5964478 140737324986176 140375126869816 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1287656 CPUtime=822.09 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125230 0 0 0 82132 77 0 0 20 0 3 0 284455552 1318559744 296474 33554432000 4194304 5964478 140737324986176 140375116380232 4400053 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1644.03 Current children cumulated vsize (KiB) 1287656 [startup+882.307 s] /proc/loadavg: 4.00 4.00 3.63 5/181 26527 /proc/meminfo: memFree=29549924/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1293312 CPUtime=1763.99 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 308508 0 0 0 176221 178 0 0 20 0 3 0 284455551 1324351488 308439 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 323328 308439 198 433 0 322892 0 [pid=26502/tid=26504] ppid=26500 vsize=1293312 CPUtime=882.1 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 181771 0 0 0 88083 127 0 0 20 0 3 0 284455552 1324351488 308439 33554432000 4194304 5964478 140737324986176 140375126869816 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1293312 CPUtime=882.06 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125280 0 0 0 88127 79 0 0 20 0 3 0 284455552 1324351488 308439 33554432000 4194304 5964478 140737324986176 140375116380232 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1763.99 Current children cumulated vsize (KiB) 1293312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.4 s] /proc/loadavg: 4.07 4.02 3.65 3/178 26528 /proc/meminfo: memFree=29794680/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1293312 CPUtime=1800.19 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 308521 0 0 0 179841 178 0 0 20 0 3 0 284455551 1324351488 308452 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 323328 308452 198 433 0 322892 0 [pid=26502/tid=26504] ppid=26500 vsize=1293312 CPUtime=900.2 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 181771 0 0 0 89893 127 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375126869816 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1293312 CPUtime=900.16 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125293 0 0 0 89937 79 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375116380232 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 1293312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.4 s] /proc/loadavg: 4.07 4.02 3.65 3/178 26528 /proc/meminfo: memFree=29794680/32873648 swapFree=7112/7112 [pid=26502] ppid=26500 vsize=1293312 CPUtime=1800.19 cores=1,3,5,7 /proc/26502/stat : 26502 (pwbo2.01) S 26500 26502 26380 0 -1 4202496 308521 0 0 0 179841 178 0 0 20 0 3 0 284455551 1324351488 308452 33554432000 4194304 5964478 140737324986176 140737324985696 4546669 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26502/statm: 323328 308452 198 433 0 322892 0 [pid=26502/tid=26504] ppid=26500 vsize=1293312 CPUtime=900.2 cores=1,3,5,7 /proc/26502/task/26504/stat : 26504 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 181771 0 0 0 89893 127 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375126869816 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=26502/tid=26505] ppid=26500 vsize=1293312 CPUtime=900.16 cores=1,3,5,7 /proc/26502/task/26505/stat : 26505 (pwbo2.01) R 26500 26502 26380 0 -1 4202560 125293 0 0 0 89937 79 0 0 20 0 3 0 284455552 1324351488 308452 33554432000 4194304 5964478 140737324986176 140375116380232 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 1293312 Child status: 0 Real time (s): 900.437 CPU time (s): 1800.44 CPU user time (s): 1798.34 CPU system time (s): 2.10368 CPU usage (%): 199.952 Max. virtual memory (cumulated for all children) (KiB): 1293312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.34 system time used= 2.10368 maximum resident set size= 1233812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308522 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= 1036 involuntary context switches= 3816 runsolver used 1.83172 second user time and 5.11422 second system time The end
Begin job on node126 at 2012-05-28 07:34:56 IDJOB=3712455 IDBENCH=78664 IDSOLVER=2292 FILE ID=node126/3712455-1338183296 RUNJOBID= node126-1338182394-26397 PBS_JOBID= 14624566 Free space on /tmp= 71356 MiB SOLVER NAME= pwbo 2.01 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712455-1338183296/watcher-3712455-1338183296 -o /tmp/evaluation-result-3712455-1338183296/solver-3712455-1338183296 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712455-1338183296.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148 RANDOM SEED=1896441471 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31032112 kB Buffers: 332336 kB Cached: 680752 kB SwapCached: 17756 kB Active: 763632 kB Inactive: 269988 kB Active(anon): 2308 kB Inactive(anon): 20452 kB Active(file): 761324 kB Inactive(file): 249536 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 5472 kB Writeback: 0 kB AnonPages: 10496 kB Mapped: 8996 kB Shmem: 0 kB Slab: 669192 kB SReclaimable: 113660 kB SUnreclaim: 555532 kB KernelStack: 1440 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 104544 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71356 MiB End job on node126 at 2012-05-28 07:49:59