Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.14 | 1800.21 |
Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo |
MD5SUM | fddb3e21e350e2df5161d1678905aa9f |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 10319 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5160 |
Total number of constraints | 512485 |
Number of soft constraints | 512344 |
Number of constraints which are clauses | 512344 |
Number of constraints which are cardinality constraints (but not clauses) | 141 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Top cost | 463736 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 146536849 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 2.89/2.91 c constraints 141/0 clauses 0/512344 units 0 2.89/2.91 c vars 5160 2.89/2.92 c Setting top cost 463736 538.05/538.18 c 536.602 -1313.05 1 1033790 538.05/538.18 o 260645 539.05/539.16 c 537.001 -1239.89 1 1417780 539.05/539.16 o 259655 539.96/540.10 c 537.374 -1237.63 1 1558332 539.96/540.10 o 259645 540.95/541.03 c 537.724 -1237.63 1 1942332 540.95/541.03 o 258655 542.05/542.11 c 538.186 -1237.63 2 2458559 542.05/542.11 o 256655 544.25/544.38 c 539.415 -1238.12 105 3388072 544.25/544.38 o 248418 547.45/547.50 c 541.245 -1236.45 209 4383319 547.45/547.50 o 217454 553.26/553.36 c 545.622 -1236.43 514 5266513 553.26/553.36 o 208518 566.36/566.43 c 552.83 -1236.99 1214 7377612 566.36/566.43 o 196156 590.85/590.92 c 566.251 -1234.59 1814 8591134 590.85/590.92 o 191622 591.85/591.99 c 566.735 -1234.5 1814 9106228 591.85/591.99 o 184843 593.45/593.51 c 567.532 -1234.79 1914 9649677 593.45/593.51 o 184153 596.05/596.18 c 568.987 -1233.68 2014 10324558 596.05/596.18 o 181496 598.26/598.37 c 570.223 -1230.68 2129 10800386 598.26/598.37 o 181491 599.35/599.45 c 570.671 -1230.64 2129 11315368 599.35/599.45 o 165540 621.65/621.79 c 582.024 -1230.71 2520 11671954 621.65/621.79 o 165510 1020.73/1020.83 c 816.308 -1194.23 15022 13736776 1020.73/1020.83 o 165496 1800.03/1800.10 s SATISFIABLE 1800.03/1800.10 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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160
OK 165496
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701827-1278541792/watcher-2701827-1278541792 -o /tmp/evaluation-result-2701827-1278541792/solver-2701827-1278541792 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701827-1278541792.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.98 4/194 23267 /proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2400 CPUtime=0 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 322 0 0 0 0 0 0 0 22 0 1 0 22393032 2457600 241 4089446400 134512640 136422188 4287742096 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23267/statm: 600 241 138 467 0 131 0 [startup+0.096858 s] /proc/loadavg: 2.00 2.00 1.98 4/194 23267 /proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=4120 CPUtime=0.09 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 772 0 0 0 9 0 0 0 22 0 1 0 22393032 4218880 593 4089446400 134512640 136422188 4287742096 18446744073709551615 135818609 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23267/statm: 1030 593 144 467 0 561 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4120 [startup+0.100858 s] /proc/loadavg: 2.00 2.00 1.98 4/194 23267 /proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=4120 CPUtime=0.09 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 774 0 0 0 9 0 0 0 22 0 1 0 22393032 4218880 595 4089446400 134512640 136422188 4287742096 18446744073709551615 135153674 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23267/statm: 1030 595 144 467 0 561 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4120 [startup+0.300821 s] /proc/loadavg: 2.00 2.00 1.98 4/194 23267 /proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=6084 CPUtime=0.29 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 1407 0 0 0 29 0 0 0 22 0 1 0 22393032 6230016 1099 4089446400 134512640 136422188 4287742096 18446744073709551615 135372813 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23267/statm: 1521 1099 144 467 0 1052 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6084 [startup+0.700754 s] /proc/loadavg: 2.00 2.00 1.98 4/194 23267 /proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=10408 CPUtime=0.69 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 2757 0 0 0 69 0 0 0 24 0 1 0 22393032 10657792 2192 4089446400 134512640 136422188 4287742096 18446744073709551615 134536143 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23267/statm: 2602 2192 144 467 0 2133 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10408 [startup+1.50061 s] /proc/loadavg: 2.00 2.00 1.98 3/195 23268 /proc/meminfo: memFree=28750768/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=28440 CPUtime=1.49 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 6092 0 0 0 149 0 0 0 25 0 1 0 22393032 29122560 5014 4089446400 134512640 136422188 4287742096 18446744073709551615 135160509 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23267/statm: 7110 5014 144 467 0 6641 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28440 [startup+3.10034 s] /proc/loadavg: 2.00 2.00 1.98 3/195 23268 /proc/meminfo: memFree=28738988/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=76192 CPUtime=3.09 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 20568 0 0 0 307 2 0 0 25 0 1 0 22393032 78020608 18465 4089446400 134512640 136422188 4287742096 18446744073709551615 135642974 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23267/statm: 19048 18466 195 467 0 18579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 76192 [startup+6.30078 s] /proc/loadavg: 2.00 2.00 1.98 3/195 23268 /proc/meminfo: memFree=28188680/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=805412 CPUtime=6.29 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 213486 0 0 0 603 26 0 0 25 0 1 0 22393032 824741888 197739 4089446400 134512640 136422188 4287742096 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/23267/statm: 201353 197741 195 467 0 200884 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 805412 [startup+12.7007 s] /proc/loadavg: 2.15 2.03 2.00 3/195 23268 /proc/meminfo: memFree=26728960/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2603400 CPUtime=12.69 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 687395 0 0 0 1185 84 0 0 25 0 1 0 22393032 2665881600 631917 4089446400 134512640 136422188 4287742096 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/23267/statm: 650850 631927 196 467 0 650381 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 2603400 [startup+25.5004 s] /proc/loadavg: 2.12 2.03 2.00 3/195 23269 /proc/meminfo: memFree=26059572/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2778948 CPUtime=25.49 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 733840 0 0 0 2461 88 0 0 25 0 1 0 22393032 2845642752 675029 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/23267/statm: 694737 675029 209 467 0 694268 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 2778948 [startup+51.101 s] /proc/loadavg: 2.08 2.03 2.00 3/195 23269 /proc/meminfo: memFree=26052748/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2786208 CPUtime=51.08 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 735682 0 0 0 5020 88 0 0 25 0 1 0 22393032 2853076992 676871 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 696552 676871 209 467 0 696083 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 2786208 [startup+102.307 s] /proc/loadavg: 2.03 2.02 2.00 3/195 23271 /proc/meminfo: memFree=26043044/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2795508 CPUtime=102.29 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 738591 0 0 0 10140 89 0 0 25 0 1 0 22393032 2862600192 679201 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 698877 679201 209 467 0 698408 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 2795508 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/195 23272 /proc/meminfo: memFree=26028108/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2800656 CPUtime=162.27 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 739870 0 0 0 16137 90 0 0 25 0 1 0 22393032 2867871744 680480 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 700164 680480 209 467 0 699695 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 2800656 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 4/195 23274 /proc/meminfo: memFree=26015912/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2805672 CPUtime=222.27 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 741113 0 0 0 22136 91 0 0 25 0 1 0 22393032 2873008128 681723 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 701418 681723 209 467 0 700949 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 2805672 [startup+282.301 s] /proc/loadavg: 2.04 2.02 2.00 3/195 23275 /proc/meminfo: memFree=26011916/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2809500 CPUtime=282.27 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 742073 0 0 0 28136 91 0 0 25 0 1 0 22393032 2876928000 682683 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 702375 682683 209 467 0 701906 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 2809500 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/195 23277 /proc/meminfo: memFree=26003676/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2817408 CPUtime=342.27 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 745195 0 0 0 34135 92 0 0 25 0 1 0 22393032 2885025792 684650 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 704352 684650 209 467 0 703883 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 2817408 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/195 23279 /proc/meminfo: memFree=26000416/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2820576 CPUtime=402.25 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 745996 0 0 0 40133 92 0 0 25 0 1 0 22393032 2888269824 685451 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 705144 685451 209 467 0 704675 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 2820576 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23280 /proc/meminfo: memFree=25997268/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2823480 CPUtime=462.26 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 746708 0 0 0 46133 93 0 0 25 0 1 0 22393032 2891243520 686163 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 705870 686163 209 467 0 705401 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 2823480 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23282 /proc/meminfo: memFree=25990768/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2825724 CPUtime=522.25 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 747270 0 0 0 52132 93 0 0 25 0 1 0 22393032 2893541376 686725 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 706431 686725 209 467 0 705962 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 2825724 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23283 /proc/meminfo: memFree=25956616/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2929736 CPUtime=582.25 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 778289 0 0 0 56216 2009 0 0 25 0 1 0 22393032 3000049664 695134 4089446400 134512640 136422188 4287742096 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 732434 695134 238 467 0 731965 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 2929736 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23285 /proc/meminfo: memFree=25949384/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2936412 CPUtime=642.25 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 786820 0 0 0 59325 4900 0 0 25 0 1 0 22393032 3006885888 696782 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 734103 696782 238 467 0 733634 0 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (KiB) 2936412 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.01 2.00 2.00 3/195 23291 /proc/meminfo: memFree=25925516/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2957408 CPUtime=882.24 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 829952 0 0 0 71827 16397 0 0 25 0 1 0 22393032 3028385792 702028 4089446400 134512640 136422188 4287742096 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 739352 702028 238 467 0 738883 0 Current children cumulated CPU time (s) 882.24 Current children cumulated vsize (KiB) 2957408 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23293 /proc/meminfo: memFree=25921248/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2961500 CPUtime=942.24 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 830985 0 0 0 75912 18312 0 0 25 0 1 0 22393032 3032576000 703061 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 740375 703061 238 467 0 739906 0 Current children cumulated CPU time (s) 942.24 Current children cumulated vsize (KiB) 2961500 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23295 /proc/meminfo: memFree=25916736/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2965856 CPUtime=1002.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 832091 0 0 0 80579 19644 0 0 25 0 1 0 22393032 3037036544 704167 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 741464 704167 238 467 0 740995 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 2965856 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23296 /proc/meminfo: memFree=25910252/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2971412 CPUtime=1062.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 833637 0 0 0 83878 22345 0 0 25 0 1 0 22393032 3042725888 705557 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 742853 705557 238 467 0 742384 0 Current children cumulated CPU time (s) 1062.23 Current children cumulated vsize (KiB) 2971412 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 23298 /proc/meminfo: memFree=25905516/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2976360 CPUtime=1122.22 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 836160 0 0 0 87306 24916 0 0 25 0 1 0 22393032 3047792640 706786 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 744090 706786 238 467 0 743621 0 Current children cumulated CPU time (s) 1122.22 Current children cumulated vsize (KiB) 2976360 [startup+1182.3 s] /proc/loadavg: 1.40 1.83 1.94 2/169 23323 /proc/meminfo: memFree=26272744/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2978156 CPUtime=1182.22 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 848371 0 0 0 89427 28795 0 0 25 0 1 0 22393032 3049631744 707236 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 744539 707236 238 467 0 744070 0 Current children cumulated CPU time (s) 1182.22 Current children cumulated vsize (KiB) 2978156 [startup+1242.3 s] /proc/loadavg: 1.14 1.68 1.88 2/169 23325 /proc/meminfo: memFree=26264904/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2985820 CPUtime=1242.22 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 850815 0 0 0 91339 32883 0 0 25 0 1 0 22393032 3057479680 709141 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 746455 709141 238 467 0 745986 0 Current children cumulated CPU time (s) 1242.22 Current children cumulated vsize (KiB) 2985820 [startup+1302.3 s] /proc/loadavg: 1.05 1.55 1.82 2/169 23327 /proc/meminfo: memFree=26257820/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2992264 CPUtime=1302.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 869346 0 0 0 93830 36393 0 0 25 0 1 0 22393032 3064078336 710770 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 748066 710770 238 467 0 747597 0 Current children cumulated CPU time (s) 1302.23 Current children cumulated vsize (KiB) 2992264 [startup+1362.3 s] /proc/loadavg: 1.06 1.46 1.77 2/169 23328 /proc/meminfo: memFree=26255436/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2995140 CPUtime=1362.22 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 898041 0 0 0 95749 40473 0 0 25 0 1 0 22393032 3067023360 711457 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 748785 711457 238 467 0 748316 0 Current children cumulated CPU time (s) 1362.22 Current children cumulated vsize (KiB) 2995140 [startup+1422.31 s] /proc/loadavg: 1.02 1.37 1.72 2/169 23330 /proc/meminfo: memFree=26251212/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=2999064 CPUtime=1422.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 900125 0 0 0 98041 44182 0 0 25 0 1 0 22393032 3071041536 712449 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 749766 712449 238 467 0 749297 0 Current children cumulated CPU time (s) 1422.23 Current children cumulated vsize (KiB) 2999064 [startup+1482.3 s] /proc/loadavg: 1.00 1.30 1.67 2/169 23331 /proc/meminfo: memFree=26244112/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=3006720 CPUtime=1482.22 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 904267 0 0 0 100283 47939 0 0 25 0 1 0 22393032 3078881280 714359 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 751680 714359 238 467 0 751211 0 Current children cumulated CPU time (s) 1482.22 Current children cumulated vsize (KiB) 3006720 [startup+1542.3 s] /proc/loadavg: 1.00 1.25 1.63 2/169 23333 /proc/meminfo: memFree=26234288/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=3016284 CPUtime=1542.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 918081 0 0 0 102366 51857 0 0 25 0 1 0 22393032 3088674816 716748 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 754071 716748 238 467 0 753602 0 Current children cumulated CPU time (s) 1542.23 Current children cumulated vsize (KiB) 3016284 [startup+1602.3 s] /proc/loadavg: 1.00 1.20 1.59 2/169 23335 /proc/meminfo: memFree=26227564/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=3022688 CPUtime=1602.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 936960 0 0 0 104270 55953 0 0 25 0 1 0 22393032 3095232512 718365 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 755672 718365 238 467 0 755203 0 Current children cumulated CPU time (s) 1602.23 Current children cumulated vsize (KiB) 3022688 [startup+1662.3 s] /proc/loadavg: 1.00 1.16 1.55 2/169 23336 /proc/meminfo: memFree=26221228/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=3029580 CPUtime=1662.22 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 943529 0 0 0 106327 59895 0 0 25 0 1 0 22393032 3102289920 720068 4089446400 134512640 136422188 4287742096 18446744073709551615 134868319 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 757395 720068 238 467 0 756926 0 Current children cumulated CPU time (s) 1662.22 Current children cumulated vsize (KiB) 3029580 [startup+1722.3 s] /proc/loadavg: 1.00 1.13 1.51 2/169 23338 /proc/meminfo: memFree=26218612/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=3032088 CPUtime=1722.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 944159 0 0 0 108481 63742 0 0 25 0 1 0 22393032 3104858112 720698 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 758022 720698 238 467 0 757553 0 Current children cumulated CPU time (s) 1722.23 Current children cumulated vsize (KiB) 3032088 [startup+1782.3 s] /proc/loadavg: 1.00 1.10 1.47 2/169 23339 /proc/meminfo: memFree=26217356/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=3033224 CPUtime=1782.23 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 948319 0 0 0 110250 67973 0 0 25 0 1 0 22393032 3106021376 720985 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 758306 720985 238 467 0 757837 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (KiB) 3033224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.00 1.10 1.47 2/169 23340 /proc/meminfo: memFree=26216356/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=3034344 CPUtime=1800.03 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 953374 0 0 0 110687 69316 0 0 25 0 1 0 22393032 3107168256 721265 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/23267/statm: 758586 721265 238 467 0 758117 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 3034344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.21 s] /proc/loadavg: 1.00 1.10 1.47 2/169 23340 /proc/meminfo: memFree=26216356/32951132 swapFree=67111528/67111528 [pid=23267] ppid=23265 vsize=0 CPUtime=1800.13 /proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4194308 953376 0 0 0 110687 69326 0 0 25 0 1 0 22393032 0 0 4089446400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/23267/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.21 CPU time (s): 1800.14 CPU user time (s): 1106.88 CPU system time (s): 693.267 CPU usage (%): 99.9964 Max. virtual memory (cumulated for all children) (KiB): 3034344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1106.88 system time used= 693.267 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 953376 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= 1 involuntary context switches= 6689 runsolver used 2.67259 second user time and 5.8911 second system time The end
Begin job on node131 at 2010-07-08 00:29:52 IDJOB=2701827 IDBENCH=79643 IDSOLVER=1212 FILE ID=node131/2701827-1278541792 PBS_JOBID= 11239216 Free space on /tmp= 73608 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701827-1278541792/watcher-2701827-1278541792 -o /tmp/evaluation-result-2701827-1278541792/solver-2701827-1278541792 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701827-1278541792.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fddb3e21e350e2df5161d1678905aa9f RANDOM SEED=1142754601 node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5441.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 28763084 kB Buffers: 150124 kB Cached: 3479988 kB SwapCached: 0 kB Active: 1545296 kB Inactive: 2486428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 28763084 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 17284 kB Writeback: 0 kB AnonPages: 401280 kB Mapped: 20520 kB Slab: 92100 kB PageTables: 5892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1637952 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73608 MiB End job on node131 at 2010-07-08 00:59:54