Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 3248 | 1782.76 | 1783.25 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb |
MD5SUM | fd717ffc3177aa889b23f16defdc157a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3248 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3248 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 524691 |
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.14 c starting to Solve 0.14 c #variables read: 7195 - #constraints read: 959 39.25 o 3583 45.11 o 3319 45.55 o 3264 73.02 o 3253 165.12 o 3248 1783.22 c total time : 1783 s 1783.22 s SATISFIABLE 1783.22 v x1 -x112 -x223 -x334 -x1632 x3257 x4877 x6486 -x7185 x2 -x13 -x24 -x35 -x46 -x57 -x68 -x79 -x90 -x101 -x113 -x124 -x135 -x146 1783.22 v -x157 -x168 -x179 -x190 -x201 -x212 -x224 -x235 -x246 -x257 -x268 -x279 -x290 -x301 -x312 -x323 -x335 -x346 -x357 x489 -x653 1783.22 v -x817 -x981 -x1140 -x1304 -x1464 -x1633 -x1793 -x1957 -x2119 -x2284 -x2444 x2606 -x2767 -x2928 -x3094 -x3258 x3417 -x3580 1783.22 v -x3746 -x3909 -x4071 -x4235 x4393 -x4557 -x4717 -x4878 -x5037 -x5194 x5353 -x5515 -x5680 -x5840 -x6000 -x6166 -x6326 -x6487 1783.22 v -x6650 -x6816 -x6974 -x7131 -x7180 -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 1783.22 v -x7194 -x7195 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x25 -x26 -x27 -x28 -x29 1783.22 v -x30 -x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x58 1783.22 v -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x80 -x81 x82 -x83 -x84 -x85 -x86 1783.22 v -x87 -x88 x89 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 1783.22 v -x114 -x115 -x116 -x117 -x118 x119 x120 -x121 -x122 -x123 -x125 -x126 x127 -x128 -x129 x130 -x131 x132 -x133 -x134 -x136 -x137 1783.22 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 -x159 -x160 1783.22 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x180 -x181 -x182 -x183 1783.22 v -x184 -x185 x186 -x187 -x188 -x189 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x202 -x203 -x204 -x205 -x206 1783.22 v -x207 -x208 -x209 -x210 x211 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x225 -x226 -x227 -x228 -x229 -x230 1783.22 v -x231 x232 -x233 -x234 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1783.22 v x254 -x255 -x256 x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1783.22 v -x277 -x278 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1783.22 v -x300 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 1783.22 v -x324 x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x347 1783.22 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x358 -x359 -x360 x361 x362 -x363 x364 x365 x366 x367 x368 x369 -x370 1783.22 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 1783.22 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 1783.22 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 1783.22 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1783.22 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 1783.22 v -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1783.22 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 1783.22 v -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 1783.22 v -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 1783.22 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1783.22 v -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 1783.22 v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 1783.22 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 1783.22 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1783.22 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1783.22 v -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1783.22 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 1783.22 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 1783.22 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 1783.22 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1783.22 v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 1783.22 v -x814 -x815 -x816 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 1783.22 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1783.22 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1783.22 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1783.22 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 1783.22 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1783.22 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 1783.22 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x982 -x983 1783.22 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 x1000 x1001 -x1002 x1003 x1004 1783.22 v x1005 x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1783.22 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1783.22 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1783.22 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1783.22 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1783.22 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1783.22 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1783.22 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1141 -x1142 1783.22 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1783.22 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1783.22 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1783.22 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1783.22 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1783.22 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1783.22 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 x1257 x1258 x1259 x1260 x1261 x1262 1783.22 v x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1783.22 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1783.22 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1783.22 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1783.22 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1783.22 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1783.22 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 1783.22 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1783.22 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1783.22 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1783.22 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1783.22 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1783.22 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 1783.22 v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 1783.22 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1783.22 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1783.22 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1783.22 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1783.22 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1783.22 v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1783.22 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1783.22 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1783.22 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1783.22 v -x1660 x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1783.22 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 1783.22 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 1783.22 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 1783.22 v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1783.22 v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 1783.22 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1783.22 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1794 -x1795 -x1796 -x1797 1783.22 v -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 x1805 -x1806 x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1783.22 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1783.22 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1783.22 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1783.22 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1783.22 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1783.22 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 x1909 x1910 -x1911 -x1912 x1913 x1914 x1915 x1916 x1917 -x1918 x1919 1783.22 v x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1783.22 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1783.22 v -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 1783.22 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1783.22 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1783.22 v -x2006 x2007 x2008 x2009 -x2010 x2011 x2012 x2013 x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 1783.22 v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 1783.22 v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 1783.22 v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 1783.22 v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 1783.22 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 1783.22 v -x2110 -x2111 x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1783.22 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1783.22 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 1783.22 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1783.22 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1783.22 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1783.22 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1783.22 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1783.22 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1783.22 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1783.22 v -x2282 -x2283 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1783.22 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1783.22 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1783.22 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1783.22 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1783.22 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1783.22 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1783.22 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1783.22 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1783.22 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1783.22 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1783.22 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1783.22 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1783.22 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1783.22 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1783.22 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1783.22 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1783.22 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1783.22 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 1783.22 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1783.22 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1783.22 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1783.22 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1783.22 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 x2690 x2691 x2692 -x2693 1783.22 v x2694 x2695 x2696 x2697 x2698 -x2699 x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1783.22 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1783.22 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1783.22 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 1783.22 v -x2763 -x2764 -x2765 -x2766 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1783.22 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1783.22 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1783.22 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1783.22 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1783.22 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1783.22 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1783.22 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1783.22 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1783.22 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1783.22 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1783.22 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1783.22 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1783.22 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1783.22 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1783.22 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1783.22 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1783.22 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1783.22 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1783.22 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 1783.22 v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 1783.22 v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1783.22 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1783.22 v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 1783.22 v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 1783.22 v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 1783.22 v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 1783.22 v x3225 x3226 x3227 -x3228 x3229 x3230 x3231 x3232 x3233 x3234 -x3235 x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 1783.22 v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3259 -x3260 -x3261 -x3262 1783.22 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1783.22 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 1783.22 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1783.22 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1783.22 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1783.22 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 1783.22 v -x3365 x3366 x3367 -x3368 -x3369 -x3370 x3371 x3372 x3373 x3374 x3375 x3376 x3377 x3378 -x3379 -x3380 -x3381 -x3382 -x3383 1783.22 v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1783.22 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3418 1783.22 v -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1783.22 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1783.22 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1783.22 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1783.22 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 1783.22 v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1783.22 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 1783.22 v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 1783.22 v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 1783.22 v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1783.22 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 1783.22 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1783.22 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1783.22 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1783.22 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1783.22 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 1783.22 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1783.22 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 1783.22 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1783.22 v -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1783.22 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1783.22 v -x3778 -x3779 x3780 x3781 x3782 -x3783 x3784 x3785 x3786 x3787 x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1783.22 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 1783.22 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1783.22 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 1783.22 v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1783.22 v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1783.22 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1783.22 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 1783.22 v -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 1783.22 v -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 1783.22 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 1783.22 v -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 1783.22 v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 1783.22 v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1783.22 v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 1783.22 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 1783.22 v -x4053 -x4054 x4055 x4056 x4057 x4058 -x4059 x4060 x4061 x4062 x4063 x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4072 1783.22 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 1783.22 v -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 1783.22 v -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 1783.22 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 1783.22 v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 1783.22 v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 1783.22 v -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 1783.22 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 1783.22 v -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 1783.22 v -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 1783.22 v -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1783.22 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 1783.22 v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1783.22 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 1783.22 v -x4312 -x4313 -x4314 -x4315 x4316 -x4317 x4318 x4319 -x4320 x4321 x4322 x4323 x4324 x4325 x4326 x4327 -x4328 -x4329 -x4330 1783.22 v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 1783.22 v -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 1783.22 v -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 1783.22 v -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 1783.22 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 1783.22 v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 1783.22 v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 1783.22 v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 1783.22 v -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 1783.22 v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 1783.22 v -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 1783.22 v -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 1783.22 v -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 1783.22 v -x4553 -x4554 -x4555 -x4556 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 1783.22 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 1783.22 v -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 1783.22 v -x4605 -x4606 -x4607 -x4608 x4609 x4610 x4611 x4612 -x4613 x4614 x4615 x4616 x4617 x4618 -x4619 -x4620 x4621 -x4622 -x4623 1783.22 v x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 1783.22 v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 1783.22 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 1783.22 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 1783.22 v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 1783.22 v -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 1783.22 v -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 x4739 x4740 x4741 x4742 x4743 x4744 1783.22 v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 1783.22 v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 1783.22 v -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 1783.22 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 1783.22 v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 1783.22 v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 1783.22 v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 1783.22 v -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4879 -x4880 -x4881 -x4882 1783.22 v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 1783.22 v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 x4911 x4912 x4913 -x4914 x4915 x4916 x4917 1783.22 v x4918 x4919 x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 1783.22 v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 1783.22 v -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 1783.22 v -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 1783.22 v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 1783.22 v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 1783.22 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 1783.22 v -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 1783.22 v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 1783.22 v -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 1783.22 v -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 1783.22 v -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 1783.22 v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 x5130 x5131 x5132 x5133 -x5134 -x5135 x5136 x5137 x5138 x5139 x5140 -x5141 -x5142 1783.22 v -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 1783.22 v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 1783.22 v -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 1783.22 v -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 1783.22 v -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 1783.22 v -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 1783.22 v -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 1783.22 v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 1783.22 v -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 1783.22 v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 x5308 x5309 x5310 x5311 -x5312 x5313 x5314 1783.22 v x5315 x5316 x5317 -x5318 x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 1783.22 v -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 1783.22 v -x5350 -x5351 -x5352 x5354 -x5355 x5356 x5357 -x5358 x5359 x5360 x5361 x5362 x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 1783.22 v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 x5385 x5386 x5387 1783.22 v -x5388 -x5389 x5390 x5391 x5392 x5393 x5394 -x5395 x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 1783.22 v -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 1783.22 v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 1783.22 v -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 1783.22 v -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 1783.22 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1783.22 v -x5491 -x5492 -x5493 -x5494 x5495 x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 1783.22 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 1783.22 v -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 1783.22 v -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 1783.22 v -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 1783.22 v -x5578 -x5579 -x5580 -x5581 -x5582 x5583 x5584 -x5585 x5586 -x5587 x5588 x5589 x5590 x5591 x5592 -x5593 -x5594 -x5595 x5596 1783.22 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 1783.22 v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 1783.22 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 1783.22 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1783.22 v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 1783.22 v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 1783.22 v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1783.22 v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 1783.22 v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 1783.22 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 1783.22 v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 1783.22 v -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 1783.22 v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 1783.22 v -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 1783.22 v -x5836 -x5837 -x5838 -x5839 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 1783.22 v -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 1783.22 v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 1783.22 v -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 1783.22 v -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 1783.22 v -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 1783.22 v -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 1783.22 v -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 1783.22 v -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 1783.22 v -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 1783.22 v -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 1783.22 v -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 1783.22 v -x6042 -x6043 -x6044 -x6045 -x6046 x6047 x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 1783.22 v -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 1783.22 v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 1783.22 v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 1783.22 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 1783.22 v -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 1783.22 v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 1783.22 v -x6162 -x6163 -x6164 -x6165 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 1783.22 v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 1783.22 v -x6197 -x6198 -x6199 x6200 -x6201 x6202 x6203 -x6204 x6205 x6206 x6207 x6208 x6209 -x6210 x6211 x6212 -x6213 -x6214 -x6215 1783.22 v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 1783.22 v -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 1783.22 v -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 1783.22 v -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 1783.22 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1783.22 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 1783.22 v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 1783.22 v -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 1783.22 v -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 1783.22 v -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 1783.22 v -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 1783.22 v -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 1783.22 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 1783.22 v -x6438 -x6439 -x6440 -x6441 -x6442 x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 x6450 x6451 x6452 x6453 -x6454 -x6455 1783.22 v -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 1783.22 v -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6488 -x6489 -x6490 -x6491 1783.22 v -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 1783.22 v -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 x6521 x6522 -x6523 x6524 -x6525 -x6526 1783.22 v -x6527 -x6528 -x6529 -x6530 x6531 x6532 x6533 x6534 x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 1783.22 v -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 1783.22 v -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 1783.22 v -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 1783.22 v -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 1783.22 v -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 1783.22 v -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 1783.22 v -x6647 -x6648 -x6649 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 1783.22 v -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 1783.22 v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 1783.22 v -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 1783.22 v -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 1783.22 v -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 1783.22 v -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 1783.22 v -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 1783.22 v -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 1783.22 v -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6817 -x6818 1783.22 v -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 1783.22 v -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 1783.22 v -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 1783.22 v -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 1783.22 v -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 x6899 x6900 x6901 x6902 x6903 x6904 1783.22 v x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 1783.22 v -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 1783.22 v -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 1783.22 v -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 1783.22 v -x6973 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 1783.22 v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 1783.22 v -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 1783.22 v -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 1783.22 v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 1783.22 v -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 1783.22 v -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 1783.22 v -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 1783.22 v -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 1783.22 v -x7127 -x7128 -x7129 -x7130 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 1783.22 v -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 1783.22 v -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 1783.22 v -x7179
OK 3248
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/node20/watcher-36569-1149355035 -o ROOT/results/node20/solver-36569-1149355035 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node20/36569-1149355035/instance-36569-1149355035.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1804128/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=2572 CPUtime=0 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 201166595 2633728 237 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 643 237 193 16 0 84 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1795256/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=11272 CPUtime=9.99 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 2462 0 0 0 998 1 0 0 25 0 1 0 201166595 11542528 2433 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 2818 2433 205 16 0 2259 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11272 [startup+20.01 s] /proc/loadavg: 0.94 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1785464/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=21156 CPUtime=19.99 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 4910 0 0 0 1997 2 0 0 25 0 1 0 201166595 21663744 4881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528329 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 5289 4881 205 16 0 4730 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 21156 [startup+30.0162 s] /proc/loadavg: 0.95 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1785016/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=21552 CPUtime=30 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 5013 0 0 0 2998 2 0 0 25 0 1 0 201166595 22069248 4984 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 5388 4984 205 16 0 4829 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21552 [startup+40.0224 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1777080/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=29476 CPUtime=40 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 7001 0 0 0 3997 3 0 0 25 0 1 0 201166595 30183424 6972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 7369 6972 205 16 0 6810 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 29476 [startup+50.0286 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1777080/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=29476 CPUtime=50.01 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 7001 0 0 0 4997 4 0 0 25 0 1 0 201166595 30183424 6972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 7369 6972 205 16 0 6810 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 29476 [startup+60.0348 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1768120/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=38476 CPUtime=60.01 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 9249 0 0 0 5995 6 0 0 25 0 1 0 201166595 39399424 9220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 9619 9220 205 16 0 9060 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 38476 [startup+70.041 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1764472/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=42120 CPUtime=70.02 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10146 0 0 0 6995 7 0 0 25 0 1 0 201166595 43130880 10117 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 10530 10117 205 16 0 9971 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 42120 [startup+80.0482 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761848/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44768 CPUtime=80.02 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 7995 7 0 0 25 0 1 0 201166595 45842432 10781 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11192 10781 205 16 0 10633 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 44768 [startup+90.0544 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761848/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44620 CPUtime=90.02 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 8994 8 0 0 25 0 1 0 201166595 45690880 10771 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11155 10771 205 16 0 10596 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 44620 [startup+100.061 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761848/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44620 CPUtime=100.02 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 9994 8 0 0 25 0 1 0 201166595 45690880 10771 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11155 10771 205 16 0 10596 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 44620 [startup+110.067 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761848/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44588 CPUtime=110.03 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 10994 9 0 0 25 0 1 0 201166595 45658112 10763 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11147 10763 205 16 0 10588 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 44588 [startup+120.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761912/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44588 CPUtime=120.03 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 11993 10 0 0 25 0 1 0 201166595 45658112 10763 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11147 10763 205 16 0 10588 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 44588 [startup+130.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761912/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44588 CPUtime=130.04 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 12993 11 0 0 25 0 1 0 201166595 45658112 10763 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11147 10763 205 16 0 10588 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 44588 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761912/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44588 CPUtime=140.04 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 13993 11 0 0 25 0 1 0 201166595 45658112 10763 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11147 10763 205 16 0 10588 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 44588 [startup+150.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761912/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44588 CPUtime=150.04 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 14992 12 0 0 25 0 1 0 201166595 45658112 10763 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11147 10763 205 16 0 10588 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 44588 [startup+160.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761912/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44588 CPUtime=160.05 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 15992 13 0 0 25 0 1 0 201166595 45658112 10763 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11147 10763 205 16 0 10588 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 44588 [startup+170.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761912/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=44588 CPUtime=170.05 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10810 0 0 0 16992 13 0 0 25 0 1 0 201166595 45658112 10763 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11147 10763 205 16 0 10588 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 44588 [startup+180.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761208/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=45336 CPUtime=180.05 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10976 0 0 0 17991 14 0 0 25 0 1 0 201166595 46424064 10929 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520350 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11334 10929 205 16 0 10775 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 45336 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761208/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=45184 CPUtime=190.05 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10976 0 0 0 18990 15 0 0 25 0 1 0 201166595 46268416 10911 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11296 10911 205 16 0 10737 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 45184 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761208/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=45184 CPUtime=200.06 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 10976 0 0 0 19989 17 0 0 25 0 1 0 201166595 46268416 10911 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 11296 10911 205 16 0 10737 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 45184 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2252 /proc/meminfo: memFree=1761272/2055920 swapFree=4181488/4192956 ################ # More data... # ################ /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1590.54 Current children cumulated vsize (Kb) 115756 [startup+1600.99 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1600.55 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 159905 150 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1600.55 Current children cumulated vsize (Kb) 115756 [startup+1611 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1610.55 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 160905 150 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1610.55 Current children cumulated vsize (Kb) 115756 [startup+1621 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1620.55 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 161904 151 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1620.55 Current children cumulated vsize (Kb) 115756 [startup+1631.01 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1630.56 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 162904 152 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1630.56 Current children cumulated vsize (Kb) 115756 [startup+1641.01 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1640.56 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 163904 152 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1640.56 Current children cumulated vsize (Kb) 115756 [startup+1651.02 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1650.56 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 164904 152 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1650.56 Current children cumulated vsize (Kb) 115756 [startup+1661.03 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1660.56 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 165904 152 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1660.56 Current children cumulated vsize (Kb) 115756 [startup+1671.03 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1670.57 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 166904 153 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1670.57 Current children cumulated vsize (Kb) 115756 [startup+1681.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690296/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1680.57 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 167904 153 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1680.57 Current children cumulated vsize (Kb) 115756 [startup+1691.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1690.58 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 168904 154 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1690.58 Current children cumulated vsize (Kb) 115756 [startup+1701.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1700.57 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 169902 155 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1700.57 Current children cumulated vsize (Kb) 115756 [startup+1711.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1710.58 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 170901 157 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1710.58 Current children cumulated vsize (Kb) 115756 [startup+1721.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1720.58 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 171899 159 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1720.58 Current children cumulated vsize (Kb) 115756 [startup+1731.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1730.58 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 172897 161 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 115756 [startup+1741.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1740.59 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 173896 163 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528017 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1740.59 Current children cumulated vsize (Kb) 115756 [startup+1751.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1750.6 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 174896 164 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1750.6 Current children cumulated vsize (Kb) 115756 [startup+1761.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1760.6 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 175896 164 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1760.6 Current children cumulated vsize (Kb) 115756 [startup+1771.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1770.61 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 176896 165 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1770.61 Current children cumulated vsize (Kb) 115756 [startup+1781.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1780.61 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 177896 165 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1780.61 Current children cumulated vsize (Kb) 115756 [startup+1782.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1781.61 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 177996 165 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 115756 [startup+1783.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2254 /proc/meminfo: memFree=1690232/2055920 swapFree=4181488/4192956 [pid=2252] ppid=2250 vsize=115756 CPUtime=1782.61 /proc/2252/stat : 2252 (Pueblo) R 2250 2252 2206 0 -1 4194304 28762 0 0 0 178096 165 0 0 25 0 1 0 201166595 118534144 28540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2252/statm: 28939 28540 205 16 0 28380 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 115756 Child status: 10 Real time (s): 1783.25 CPU time (s): 1782.76 CPU user time (s): 1781.09 CPU system time (s): 1.67674 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (Kb): 115756
Begin job on node20 on Sat Jun 3 17:17:15 UTC 2006 FILE ID= 36569-1149355035 PBS_JOBID= 311202 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node20/36569-1149355035/instance-36569-1149355035.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-36569-1149355035 -o ROOT/results/node20/solver-36569-1149355035 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node20/36569-1149355035/instance-36569-1149355035.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a RANDOM SEED= 222513480 /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.236 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 : 5914.62 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.236 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: 1804336 kB Buffers: 18416 kB Cached: 163636 kB SwapCached: 3180 kB Active: 42544 kB Inactive: 148264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804336 kB SwapTotal: 4192956 kB SwapFree: 4181488 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14772 kB Slab: 46768 kB Committed_AS: 349624 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node20 on Sat Jun 3 17:46:58 UTC 2006