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