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