Trace number 36680

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT8008 1782.82 1783.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7982
Best CPU time to get the best result obtained on this benchmark1782.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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.23	c starting to Solve
0.23	c #variables read: 10724 - #constraints read: 2046
6.18	o 373398
6.35	o 373395
6.91	o 373394
9.23	o 373393
110.64	o 372515
110.71	o 372512
111.05	o 372509
111.56	o 372506
111.71	o 372494
111.84	o 372491
112.37	o 372488
114.23	o 372485
115.65	o 372482
116.37	o 372464
116.44	o 372461
121.51	o 372458
124.19	o 372455
125.31	o 372137
125.44	o 372134
222.30	o 371934
222.37	o 371928
222.72	o 371925
222.84	o 371922
222.96	o 371919
223.08	o 371916
223.20	o 371913
223.32	o 371910
223.40	o 371907
223.48	o 371904
224.20	o 371889
243.55	o 371886
243.82	o 371883
244.42	o 371880
244.87	o 371877
246.57	o 371874
267.83	o 371871
321.33	o 371868
1783.36	c total time              : 1783.03 s
1783.36	s SATISFIABLE
1783.36	v -x3 -x7 -x11 -x15 x19 -x23 -x27 -x31 -x35 -x39 -x43 -x47 -x51 -x55 -x59 -x63 -x67 -x71 -x75 -x79 -x83 -x87 -x91 -x95 -x99 -x103
1783.36	v -x107 -x111 -x4 -x8 -x12 -x16 -x20 -x24 -x28 -x32 -x36 x40 -x44 -x48 -x52 -x56 -x60 -x64 -x68 -x72 -x76 -x80 -x84 -x88 -x92 -x96
1783.36	v -x100 -x104 -x108 -x112 -x1 -x5 -x9 -x13 -x17 -x21 -x25 -x29 -x33 -x37 -x41 x45 -x49 -x53 -x57 -x61 -x65 -x69 -x73 -x77 -x81 -x85
1783.36	v -x89 -x93 -x97 -x101 -x105 -x109 -x115 -x118 -x121 -x124 -x127 -x130 -x133 -x136 -x139 x142 -x145 -x148 -x151 -x154 -x157
1783.36	v -x160 -x163 -x166 -x169 -x172 -x175 -x178 -x181 -x184 -x187 -x190 -x193 -x196 -x114 -x117 -x120 -x123 -x126 -x129 -x132 -x135
1783.36	v -x138 -x141 -x144 -x147 x150 -x153 -x156 -x159 -x162 -x165 -x168 -x171 -x174 -x177 -x180 -x183 -x186 -x189 -x192 -x195 -x113
1783.36	v -x116 -x119 -x122 -x125 -x128 -x131 -x134 -x137 -x140 -x143 -x146 -x149 -x152 x155 -x158 -x161 -x164 -x167 -x170 -x173 -x176
1783.36	v -x179 -x182 -x185 -x188 -x191 -x194 -x198 -x201 -x204 -x207 -x210 -x213 -x216 -x219 -x222 x225 -x228 -x231 -x234 -x237 -x240
1783.36	v -x243 -x246 -x249 -x252 -x255 -x258 -x261 -x264 -x267 -x270 -x273 -x276 -x279 -x199 -x202 -x205 -x208 -x211 -x214 -x217 -x220
1783.36	v -x223 -x226 -x229 -x232 -x235 x238 -x241 -x244 -x247 -x250 -x253 -x256 -x259 -x262 -x265 -x268 -x271 -x274 -x277 -x280 -x197
1783.36	v -x200 -x203 -x206 -x209 -x212 -x215 -x218 -x221 -x224 -x227 -x230 -x233 -x236 -x239 -x242 x245 -x248 -x251 -x254 -x257 -x260
1783.36	v -x263 -x266 -x269 -x272 -x275 -x278 -x281 -x285 -x289 x293 -x297 -x301 -x305 -x309 -x313 -x317 -x321 -x325 -x329 -x333 -x337
1783.36	v -x341 -x345 -x349 -x353 -x357 -x361 -x365 -x369 -x373 -x377 -x381 -x385 -x389 -x283 -x287 -x291 -x295 -x299 -x303 -x307 x311
1783.36	v -x315 -x319 -x323 -x327 -x331 -x335 -x339 -x343 -x347 -x351 -x355 -x359 -x363 -x367 -x371 -x375 -x379 -x383 -x387 -x391 -x282
1783.36	v -x286 -x290 -x294 -x298 -x302 -x306 -x310 -x314 -x318 -x322 x326 -x330 -x334 -x338 -x342 -x346 -x350 -x354 -x358 -x362 -x366
1783.36	v -x370 -x374 -x378 -x382 -x386 -x390 -x394 -x397 -x400 -x403 x406 -x409 -x412 -x415 -x418 -x421 -x424 -x427 -x430 -x433 -x436
1783.36	v -x439 -x442 -x445 -x448 -x451 -x454 -x457 -x460 -x463 -x466 -x469 -x472 -x475 -x395 -x398 -x401 -x404 -x407 -x410 -x413 -x416
1783.36	v x419 -x422 -x425 -x428 -x431 -x434 -x437 -x440 -x443 -x446 -x449 -x452 -x455 -x458 -x461 -x464 -x467 -x470 -x473 -x476 -x393
1783.36	v -x396 -x399 -x402 -x405 -x408 -x411 -x414 -x417 -x420 -x423 x426 -x429 -x432 -x435 -x438 -x441 -x444 -x447 -x450 -x453 -x456
1783.36	v -x459 -x462 -x465 -x468 -x471 -x474 -x477 -x480 -x483 -x486 -x489 -x492 x495 -x498 -x501 -x504 -x507 -x510 -x513 -x516 -x519
1783.36	v -x522 -x525 -x528 -x531 -x534 -x537 -x540 -x543 -x546 -x549 -x552 -x555 -x558 -x478 -x481 -x484 -x487 -x490 -x493 -x496 -x499
1783.36	v x502 -x505 -x508 -x511 -x514 -x517 -x520 -x523 -x526 -x529 -x532 -x535 -x538 -x541 -x544 -x547 -x550 -x553 -x556 -x559 -x479
1783.36	v -x482 -x485 -x488 -x491 -x494 -x497 -x500 -x503 -x506 -x509 x512 -x515 -x518 -x521 -x524 -x527 -x530 -x533 -x536 -x539 -x542
1783.36	v -x545 -x548 -x551 -x554 -x557 -x560 -x561 -x564 -x567 -x570 -x573 -x576 -x579 -x582 -x585 -x588 -x591 -x594 -x597 x600 -x603
1783.36	v -x606 -x609 -x612 -x615 -x618 -x621 -x624 -x627 -x630 -x633 -x636 -x639 -x642 -x562 -x565 -x568 -x571 -x574 -x577 -x580 -x583
1783.36	v -x586 -x589 -x592 -x595 -x598 -x601 -x604 -x607 -x610 x613 -x616 -x619 -x622 -x625 -x628 -x631 -x634 -x637 -x640 -x643 -x563
1783.36	v -x566 -x569 -x572 -x575 -x578 -x581 -x584 -x587 -x590 -x593 -x596 -x599 -x602 -x605 -x608 -x611 -x614 -x617 -x620 -x623 x626
1783.36	v -x629 -x632 -x635 -x638 -x641 -x644 -x645 -x649 -x653 -x657 -x661 -x665 -x669 -x673 x677 -x681 -x685 -x689 -x693 -x697 -x701
1783.36	v -x705 -x709 -x713 -x717 -x721 -x725 -x729 -x733 -x737 -x741 -x745 -x749 -x753 -x647 -x651 -x655 -x659 -x663 -x667 -x671 -x675
1783.36	v -x679 -x683 -x687 -x691 -x695 x699 -x703 -x707 -x711 -x715 -x719 -x723 -x727 -x731 -x735 -x739 -x743 -x747 -x751 -x755 -x646
1783.36	v -x650 -x654 -x658 -x662 -x666 -x670 -x674 -x678 -x682 -x686 -x690 -x694 -x698 -x702 -x706 -x710 -x714 x718 -x722 -x726 -x730
1783.36	v -x734 -x738 -x742 -x746 -x750 -x754 -x759 -x764 -x769 -x774 x779 -x784 -x789 -x794 -x799 -x804 -x809 -x814 -x819 -x824 -x829
1783.36	v -x834 -x839 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x758 -x763 -x768 -x773 -x778 -x783 -x788 -x793
1783.36	v -x798 -x803 -x808 -x813 -x818 -x823 x828 -x833 -x838 -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x883 -x888 -x893 -x760
1783.36	v -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x820 -x825 -x830 -x835 -x840 x845 -x850 -x855 -x860 -x865
1783.36	v -x870 -x875 -x880 -x885 -x890 -x895 -x899 -x904 -x909 x914 -x919 -x924 -x929 -x934 -x939 -x944 -x949 -x954 -x959 -x964 -x969
1783.36	v -x974 -x979 -x984 -x989 -x994 -x999 -x1004 -x1009 -x1014 -x1019 -x1024 -x1029 -x1034 -x900 -x905 -x910 -x915 -x920 -x925
1783.36	v -x930 -x935 -x940 -x945 -x950 -x955 -x960 x965 -x970 -x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 -x1015 -x1020 -x1025
1783.36	v -x1030 -x1035 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958 -x963 -x968 x973 -x978 -x983
1783.36	v -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018 -x1023 -x1028 -x1033 -x1038 -x1041 -x1044 -x1047 -x1050 -x1053 -x1056 -x1059
1783.36	v -x1062 -x1065 -x1068 -x1071 x1074 -x1077 -x1080 -x1083 -x1086 -x1089 -x1092 -x1095 -x1098 -x1101 -x1104 -x1107 -x1110
1783.36	v -x1113 -x1116 -x1119 -x1039 -x1042 -x1045 -x1048 -x1051 -x1054 -x1057 -x1060 -x1063 -x1066 -x1069 -x1072 -x1075 -x1078
1783.36	v -x1081 x1084 -x1087 -x1090 -x1093 -x1096 -x1099 -x1102 -x1105 -x1108 -x1111 -x1114 -x1117 -x1120 -x1037 -x1040 -x1043
1783.36	v -x1046 -x1049 -x1052 -x1055 -x1058 -x1061 -x1064 -x1067 -x1070 -x1073 -x1076 -x1079 -x1082 -x1085 x1088 -x1091 -x1094
1783.36	v -x1097 -x1100 -x1103 -x1106 -x1109 -x1112 -x1115 -x1118 -x1121 -x1124 -x1127 -x1130 -x1133 -x1136 -x1139 -x1142 -x1145
1783.36	v -x1148 x1151 -x1154 -x1157 -x1160 -x1163 -x1166 -x1169 -x1172 -x1175 -x1178 -x1181 -x1184 -x1187 -x1190 -x1193 -x1196
1783.36	v -x1199 -x1202 -x1123 -x1126 -x1129 -x1132 -x1135 -x1138 -x1141 -x1144 -x1147 -x1150 -x1153 -x1156 x1159 -x1162 -x1165
1783.36	v -x1168 -x1171 -x1174 -x1177 -x1180 -x1183 -x1186 -x1189 -x1192 -x1195 -x1198 -x1201 -x1204 -x1122 -x1125 -x1128 -x1131
1783.36	v -x1134 -x1137 -x1140 -x1143 -x1146 -x1149 -x1152 -x1155 -x1158 -x1161 x1164 -x1167 -x1170 -x1173 -x1176 -x1179 -x1182
1783.36	v -x1185 -x1188 -x1191 -x1194 -x1197 -x1200 -x1203 -x1205 -x1208 -x1211 -x1214 -x1217 -x1220 -x1223 -x1226 -x1229 -x1232
1783.36	v -x1235 -x1238 -x1241 -x1244 x1247 -x1250 -x1253 -x1256 -x1259 -x1262 -x1265 -x1268 -x1271 -x1274 -x1277 -x1280 -x1283
1783.36	v -x1286 -x1207 -x1210 -x1213 -x1216 -x1219 -x1222 -x1225 -x1228 -x1231 -x1234 -x1237 -x1240 -x1243 -x1246 -x1249 -x1252
1783.36	v -x1255 x1258 -x1261 -x1264 -x1267 -x1270 -x1273 -x1276 -x1279 -x1282 -x1285 -x1288 -x1206 -x1209 -x1212 -x1215 -x1218
1783.36	v -x1221 -x1224 -x1227 -x1230 -x1233 -x1236 -x1239 -x1242 -x1245 -x1248 -x1251 -x1254 -x1257 -x1260 x1263 -x1266 -x1269
1783.36	v -x1272 -x1275 -x1278 -x1281 -x1284 -x1287 -x1290 -x1293 -x1296 -x1299 -x1302 -x1305 -x1308 -x1311 -x1314 -x1317 -x1320
1783.36	v -x1323 -x1326 -x1329 -x1332 -x1335 -x1338 -x1341 -x1344 x1347 -x1350 -x1353 -x1356 -x1359 -x1362 -x1365 -x1368 -x1371
1783.36	v -x1291 -x1294 -x1297 -x1300 -x1303 -x1306 -x1309 -x1312 -x1315 -x1318 -x1321 -x1324 -x1327 -x1330 -x1333 -x1336 -x1339
1783.36	v -x1342 -x1345 -x1348 -x1351 -x1354 x1357 -x1360 -x1363 -x1366 -x1369 -x1372 -x1289 -x1292 -x1295 -x1298 -x1301 -x1304
1783.36	v -x1307 -x1310 -x1313 -x1316 -x1319 -x1322 -x1325 -x1328 -x1331 -x1334 -x1337 -x1340 -x1343 -x1346 -x1349 -x1352 -x1355
1783.36	v -x1358 -x1361 x1364 -x1367 -x1370 -x1373 -x1376 -x1379 -x1382 -x1385 -x1388 x1391 -x1394 -x1397 -x1400 -x1403 -x1406 -x1409
1783.36	v -x1412 -x1415 -x1418 -x1421 -x1424 -x1427 -x1430 -x1433 -x1436 -x1439 -x1442 -x1445 -x1448 -x1451 -x1454 -x1375 -x1378
1783.36	v -x1381 -x1384 -x1387 -x1390 -x1393 -x1396 -x1399 x1402 -x1405 -x1408 -x1411 -x1414 -x1417 -x1420 -x1423 -x1426 -x1429
1783.36	v -x1432 -x1435 -x1438 -x1441 -x1444 -x1447 -x1450 -x1453 -x1456 -x1374 -x1377 -x1380 -x1383 -x1386 -x1389 -x1392 -x1395
1783.36	v -x1398 -x1401 -x1404 x1407 -x1410 -x1413 -x1416 -x1419 -x1422 -x1425 -x1428 -x1431 -x1434 -x1437 -x1440 -x1443 -x1446
1783.36	v -x1449 -x1452 -x1455 -x1458 -x1461 -x1464 -x1467 -x1470 -x1473 -x1476 -x1479 -x1482 -x1485 -x1488 -x1491 -x1494 x1497
1783.36	v -x1500 -x1503 -x1506 -x1509 -x1512 -x1515 -x1518 -x1521 -x1524 -x1527 -x1530 -x1533 -x1536 -x1539 -x1459 -x1462 -x1465
1783.36	v -x1468 -x1471 -x1474 -x1477 -x1480 -x1483 -x1486 -x1489 -x1492 -x1495 -x1498 -x1501 -x1504 x1507 -x1510 -x1513 -x1516
1783.36	v -x1519 -x1522 -x1525 -x1528 -x1531 -x1534 -x1537 -x1540 -x1457 -x1460 -x1463 -x1466 -x1469 -x1472 -x1475 -x1478 -x1481
1783.36	v -x1484 -x1487 -x1490 -x1493 -x1496 -x1499 -x1502 -x1505 x1508 -x1511 -x1514 -x1517 -x1520 -x1523 -x1526 -x1529 -x1532
1783.36	v -x1535 -x1538 -x1541 -x1544 -x1547 -x1550 -x1553 -x1556 -x1559 x1562 -x1565 -x1568 -x1571 -x1574 -x1577 -x1580 -x1583
1783.36	v -x1586 -x1589 -x1592 -x1595 -x1598 -x1601 -x1604 -x1607 -x1610 -x1613 -x1616 -x1619 -x1622 -x1542 -x1545 -x1548 -x1551
1783.36	v -x1554 -x1557 -x1560 -x1563 -x1566 -x1569 -x1572 x1575 -x1578 -x1581 -x1584 -x1587 -x1590 -x1593 -x1596 -x1599 -x1602
1783.36	v -x1605 -x1608 -x1611 -x1614 -x1617 -x1620 -x1623 -x1543 -x1546 -x1549 -x1552 -x1555 -x1558 -x1561 -x1564 -x1567 -x1570
1783.36	v -x1573 -x1576 -x1579 -x1582 -x1585 x1588 -x1591 -x1594 -x1597 -x1600 -x1603 -x1606 -x1609 -x1612 -x1615 -x1618 -x1621
1783.36	v -x1624 -x1627 -x1630 -x1633 -x1636 -x1639 -x1642 -x1645 -x1648 -x1651 -x1654 -x1657 -x1660 -x1663 -x1666 -x1669 -x1672
1783.36	v -x1675 -x1678 x1681 -x1684 -x1687 -x1690 -x1693 -x1696 -x1699 -x1702 -x1705 -x1708 -x1626 -x1629 -x1632 -x1635 -x1638
1783.36	v -x1641 -x1644 -x1647 -x1650 -x1653 -x1656 -x1659 -x1662 -x1665 -x1668 -x1671 -x1674 -x1677 -x1680 -x1683 -x1686 -x1689
1783.36	v -x1692 x1695 -x1698 -x1701 -x1704 -x1707 -x1625 -x1628 -x1631 -x1634 -x1637 -x1640 -x1643 -x1646 -x1649 -x1652 -x1655
1783.36	v -x1658 -x1661 -x1664 -x1667 -x1670 -x1673 -x1676 -x1679 -x1682 -x1685 -x1688 -x1691 -x1694 -x1697 x1700 -x1703 -x1706
1783.36	v -x1709 -x1712 -x1715 -x1718 -x1721 x1724 -x1727 -x1730 -x1733 -x1736 -x1739 -x1742 -x1745 -x1748 -x1751 -x1754 -x1757
1783.36	v -x1760 -x1763 -x1766 -x1769 -x1772 -x1775 -x1778 -x1781 -x1784 -x1787 -x1790 -x1710 -x1713 -x1716 -x1719 -x1722 -x1725
1783.36	v -x1728 x1731 -x1734 -x1737 -x1740 -x1743 -x1746 -x1749 -x1752 -x1755 -x1758 -x1761 -x1764 -x1767 -x1770 -x1773 -x1776
1783.36	v -x1779 -x1782 -x1785 -x1788 -x1791 -x1711 -x1714 -x1717 -x1720 -x1723 -x1726 -x1729 -x1732 -x1735 x1738 -x1741 -x1744
1783.36	v -x1747 -x1750 -x1753 -x1756 -x1759 -x1762 -x1765 -x1768 -x1771 -x1774 -x1777 -x1780 -x1783 -x1786 -x1789 -x1792 -x1794
1783.36	v -x1796 -x1798 -x1800 -x1802 -x1804 x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828
1783.36	v -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805
1783.36	v -x1807 -x1809 x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839
1783.36	v -x1841 -x1843 -x1845 -x1847 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 x1872 -x1874
1783.36	v -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1849 -x1851
1783.36	v -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 x1877 -x1879 -x1881 -x1883 -x1885
1783.36	v -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1909 -x1913 -x1917 -x1921 -x1925 -x1929 -x1933
1783.36	v x1937 -x1941 -x1945 -x1949 -x1953 -x1957 -x1961 -x1965 -x1969 -x1973 -x1977 -x1981 -x1985 -x1989 -x1993 -x1997 -x2001
1783.36	v -x2005 -x2009 -x2013 -x1907 -x1911 -x1915 -x1919 -x1923 -x1927 -x1931 -x1935 -x1939 -x1943 -x1947 -x1951 -x1955 x1959
1783.36	v -x1963 -x1967 -x1971 -x1975 -x1979 -x1983 -x1987 -x1991 -x1995 -x1999 -x2003 -x2007 -x2011 -x2015 -x1906 -x1910 -x1914
1783.36	v -x1918 -x1922 -x1926 -x1930 -x1934 -x1938 -x1942 -x1946 -x1950 -x1954 -x1958 -x1962 -x1966 -x1970 x1974 -x1978 -x1982
1783.36	v -x1986 -x1990 -x1994 -x1998 -x2002 -x2006 -x2010 -x2014 -x2017 -x2021 -x2025 x2029 -x2033 -x2037 -x2041 -x2045 -x2049
1783.36	v -x2053 -x2057 -x2061 -x2065 -x2069 -x2073 -x2077 -x2081 -x2085 -x2089 -x2093 -x2097 -x2101 -x2105 -x2109 -x2113 -x2117
1783.36	v -x2121 -x2125 -x2019 -x2023 -x2027 -x2031 -x2035 -x2039 -x2043 -x2047 x2051 -x2055 -x2059 -x2063 -x2067 -x2071 -x2075
1783.36	v -x2079 -x2083 -x2087 -x2091 -x2095 -x2099 -x2103 -x2107 -x2111 -x2115 -x2119 -x2123 -x2127 -x2018 -x2022 -x2026 -x2030
1783.36	v -x2034 -x2038 -x2042 -x2046 -x2050 -x2054 -x2058 -x2062 x2066 -x2070 -x2074 -x2078 -x2082 -x2086 -x2090 -x2094 -x2098
1783.36	v -x2102 -x2106 -x2110 -x2114 -x2118 -x2122 -x2126 x2129 -x2132 -x2135 -x2138 -x2141 -x2144 -x2147 -x2150 -x2153 -x2156
1783.36	v -x2159 -x2162 -x2165 -x2168 -x2171 -x2174 -x2177 -x2180 -x2183 -x2186 -x2189 -x2192 -x2195 -x2198 -x2201 -x2204 -x2207
1783.36	v -x2210 -x2131 -x2134 -x2137 -x2140 -x2143 x2146 -x2149 -x2152 -x2155 -x2158 -x2161 -x2164 -x2167 -x2170 -x2173 -x2176
1783.36	v -x2179 -x2182 -x2185 -x2188 -x2191 -x2194 -x2197 -x2200 -x2203 -x2206 -x2209 -x2212 -x2130 -x2133 -x2136 -x2139 -x2142
1783.36	v -x2145 -x2148 -x2151 -x2154 x2157 -x2160 -x2163 -x2166 -x2169 -x2172 -x2175 -x2178 -x2181 -x2184 -x2187 -x2190 -x2193
1783.36	v -x2196 -x2199 -x2202 -x2205 -x2208 -x2211 -x2214 -x2217 -x2220 x2223 -x2226 -x2229 -x2232 -x2235 -x2238 -x2241 -x2244
1783.36	v -x2247 -x2250 -x2253 -x2256 -x2259 -x2262 -x2265 -x2268 -x2271 -x2274 -x2277 -x2280 -x2283 -x2286 -x2289 -x2292 -x2295
1783.36	v -x2215 -x2218 -x2221 -x2224 -x2227 -x2230 -x2233 x2236 -x2239 -x2242 -x2245 -x2248 -x2251 -x2254 -x2257 -x2260 -x2263
1783.36	v -x2266 -x2269 -x2272 -x2275 -x2278 -x2281 -x2284 -x2287 -x2290 -x2293 -x2296 -x2213 -x2216 -x2219 -x2222 -x2225 -x2228
1783.36	v -x2231 -x2234 -x2237 -x2240 -x2243 -x2246 -x2249 x2252 -x2255 -x2258 -x2261 -x2264 -x2267 -x2270 -x2273 -x2276 -x2279
1783.36	v -x2282 -x2285 -x2288 -x2291 -x2294 -x2297 -x2301 -x2305 -x2309 -x2313 -x2317 -x2321 -x2325 -x2329 -x2333 -x2337 -x2341
1783.36	v -x2345 -x2349 x2353 -x2357 -x2361 -x2365 -x2369 -x2373 -x2377 -x2381 -x2385 -x2389 -x2393 -x2397 -x2401 -x2405 -x2298
1783.36	v -x2302 -x2306 -x2310 -x2314 -x2318 -x2322 -x2326 -x2330 -x2334 -x2338 -x2342 -x2346 -x2350 -x2354 -x2358 -x2362 -x2366
1783.36	v -x2370 x2374 -x2378 -x2382 -x2386 -x2390 -x2394 -x2398 -x2402 -x2406 -x2299 -x2303 -x2307 -x2311 -x2315 -x2319 -x2323
1783.36	v -x2327 -x2331 -x2335 -x2339 -x2343 -x2347 -x2351 -x2355 -x2359 -x2363 -x2367 -x2371 -x2375 -x2379 -x2383 x2387 -x2391
1783.36	v -x2395 -x2399 -x2403 -x2407 -x2409 -x2413 x2417 -x2421 -x2425 -x2429 -x2433 -x2437 -x2441 -x2445 -x2449 -x2453 -x2457
1783.36	v -x2461 -x2465 -x2469 -x2473 -x2477 -x2481 -x2485 -x2489 -x2493 -x2497 -x2501 -x2505 -x2509 -x2513 -x2517 -x2410 -x2414
1783.36	v -x2418 -x2422 -x2426 -x2430 -x2434 x2438 -x2442 -x2446 -x2450 -x2454 -x2458 -x2462 -x2466 -x2470 -x2474 -x2478 -x2482
1783.36	v -x2486 -x2490 -x2494 -x2498 -x2502 -x2506 -x2510 -x2514 -x2518 -x2411 -x2415 -x2419 -x2423 -x2427 -x2431 -x2435 -x2439
1783.36	v -x2443 -x2447 x2451 -x2455 -x2459 -x2463 -x2467 -x2471 -x2475 -x2479 -x2483 -x2487 -x2491 -x2495 -x2499 -x2503 -x2507
1783.36	v -x2511 -x2515 -x2519 -x2522 -x2525 -x2528 -x2531 -x2534 -x2537 -x2540 -x2543 -x2546 -x2549 -x2552 -x2555 -x2558 -x2561
1783.36	v -x2564 x2567 -x2570 -x2573 -x2576 -x2579 -x2582 -x2585 -x2588 -x2591 -x2594 -x2597 -x2600 -x2603 -x2523 -x2526 -x2529
1783.36	v -x2532 -x2535 -x2538 -x2541 -x2544 -x2547 -x2550 -x2553 -x2556 -x2559 -x2562 -x2565 -x2568 -x2571 -x2574 -x2577 -x2580
1783.36	v -x2583 -x2586 x2589 -x2592 -x2595 -x2598 -x2601 -x2604 -x2521 -x2524 -x2527 -x2530 -x2533 -x2536 -x2539 -x2542 -x2545
1783.36	v -x2548 -x2551 -x2554 -x2557 -x2560 -x2563 -x2566 -x2569 -x2572 -x2575 -x2578 -x2581 -x2584 -x2587 x2590 -x2593 -x2596
1783.36	v -x2599 -x2602 -x2606 -x2611 -x2616 -x2621 -x2626 -x2631 -x2636 -x2641 -x2646 x2651 -x2656 -x2661 -x2666 -x2671 -x2676
1783.36	v -x2681 -x2686 -x2691 -x2696 -x2701 -x2706 -x2711 -x2716 -x2721 -x2726 -x2731 -x2736 -x2741 -x2608 -x2613 -x2618 -x2623
1783.36	v -x2628 -x2633 -x2638 -x2643 -x2648 -x2653 -x2658 -x2663 -x2668 -x2673 -x2678 -x2683 x2688 -x2693 -x2698 -x2703 -x2708
1783.36	v -x2713 -x2718 -x2723 -x2728 -x2733 -x2738 -x2743 -x2605 -x2610 -x2615 -x2620 -x2625 -x2630 -x2635 -x2640 -x2645 -x2650
1783.36	v -x2655 -x2660 -x2665 -x2670 -x2675 -x2680 -x2685 -x2690 x2695 -x2700 -x2705 -x2710 -x2715 -x2720 -x2725 -x2730 -x2735
1783.36	v -x2740 -x2745 -x2748 -x2751 -x2754 -x2757 -x2760 -x2763 -x2766 -x2769 -x2772 -x2775 -x2778 -x2781 x2784 -x2787 -x2790
1783.36	v -x2793 -x2796 -x2799 -x2802 -x2805 -x2808 -x2811 -x2814 -x2817 -x2820 -x2823 -x2826 -x2747 -x2750 -x2753 -x2756 -x2759
1783.36	v -x2762 -x2765 -x2768 -x2771 -x2774 -x2777 -x2780 -x2783 -x2786 -x2789 -x2792 -x2795 -x2798 x2801 -x2804 -x2807 -x2810
1783.36	v -x2813 -x2816 -x2819 -x2822 -x2825 -x2828 -x2746 -x2749 -x2752 -x2755 -x2758 -x2761 -x2764 -x2767 -x2770 -x2773 -x2776
1783.36	v -x2779 -x2782 -x2785 -x2788 -x2791 -x2794 -x2797 -x2800 -x2803 -x2806 x2809 -x2812 -x2815 -x2818 -x2821 -x2824 -x2827
1783.36	v -x2830 x2833 -x2836 -x2839 -x2842 -x2845 -x2848 -x2851 -x2854 -x2857 -x2860 -x2863 -x2866 -x2869 -x2872 -x2875 -x2878
1783.36	v -x2881 -x2884 -x2887 -x2890 -x2893 -x2896 -x2899 -x2902 -x2905 -x2908 -x2911 -x2831 -x2834 -x2837 -x2840 -x2843 -x2846
1783.36	v -x2849 -x2852 x2855 -x2858 -x2861 -x2864 -x2867 -x2870 -x2873 -x2876 -x2879 -x2882 -x2885 -x2888 -x2891 -x2894 -x2897
1783.36	v -x2900 -x2903 -x2906 -x2909 -x2912 -x2829 -x2832 -x2835 -x2838 -x2841 -x2844 -x2847 -x2850 -x2853 x2856 -x2859 -x2862
1783.36	v -x2865 -x2868 -x2871 -x2874 -x2877 -x2880 -x2883 -x2886 -x2889 -x2892 -x2895 -x2898 -x2901 -x2904 -x2907 -x2910 -x2914
1783.36	v -x2917 -x2920 -x2923 -x2926 -x2929 -x2932 -x2935 x2938 -x2941 -x2944 -x2947 -x2950 -x2953 -x2956 -x2959 -x2962 -x2965
1783.36	v -x2968 -x2971 -x2974 -x2977 -x2980 -x2983 -x2986 -x2989 -x2992 -x2995 -x2915 -x2918 -x2921 -x2924 -x2927 -x2930 -x2933
1783.36	v -x2936 -x2939 -x2942 -x2945 -x2948 -x2951 -x2954 -x2957 x2960 -x2963 -x2966 -x2969 -x2972 -x2975 -x2978 -x2981 -x2984
1783.36	v -x2987 -x2990 -x2993 -x2996 -x2913 -x2916 -x2919 -x2922 -x2925 -x2928 -x2931 -x2934 -x2937 -x2940 -x2943 -x2946 -x2949
1783.36	v -x2952 -x2955 -x2958 x2961 -x2964 -x2967 -x2970 -x2973 -x2976 -x2979 -x2982 -x2985 -x2988 -x2991 -x2994 -x2998 -x3001
1783.36	v x3004 -x3007 -x3010 -x3013 -x3016 -x3019 -x3022 -x3025 -x3028 -x3031 -x3034 -x3037 -x3040 -x3043 -x3046 -x3049 -x3052
1783.36	v -x3055 -x3058 -x3061 -x3064 -x3067 -x3070 -x3073 -x3076 -x3079 -x2999 -x3002 -x3005 -x3008 -x3011 -x3014 x3017 -x3020
1783.36	v -x3023 -x3026 -x3029 -x3032 -x3035 -x3038 -x3041 -x3044 -x3047 -x3050 -x3053 -x3056 -x3059 -x3062 -x3065 -x3068 -x3071
1783.36	v -x3074 -x3077 -x3080 -x2997 -x3000 -x3003 -x3006 -x3009 -x3012 -x3015 -x3018 -x3021 -x3024 -x3027 -x3030 -x3033 -x3036
1783.36	v -x3039 -x3042 -x3045 -x3048 -x3051 -x3054 x3057 -x3060 -x3063 -x3066 -x3069 -x3072 -x3075 -x3078 -x3081 -x3085 -x3089
1783.36	v -x3093 -x3097 -x3101 -x3105 -x3109 -x3113 -x3117 -x3121 -x3125 x3129 -x3133 -x3137 -x3141 -x3145 -x3149 -x3153 -x3157
1783.36	v -x3161 -x3165 -x3169 -x3173 -x3177 -x3181 -x3185 -x3189 -x3083 -x3087 -x3091 -x3095 -x3099 -x3103 -x3107 -x3111 -x3115
1783.36	v -x3119 -x3123 -x3127 -x3131 -x3135 -x3139 -x3143 -x3147 x3151 -x3155 -x3159 -x3163 -x3167 -x3171 -x3175 -x3179 -x3183
1783.36	v -x3187 -x3191 -x3082 -x3086 -x3090 -x3094 -x3098 -x3102 -x3106 -x3110 -x3114 -x3118 -x3122 -x3126 -x3130 -x3134 -x3138
1783.36	v -x3142 -x3146 -x3150 -x3154 -x3158 -x3162 x3166 -x3170 -x3174 -x3178 -x3182 -x3186 -x3190 -x3194 -x3197 -x3200 -x3203
1783.36	v -x3206 -x3209 -x3212 -x3215 x3218 -x3221 -x3224 -x3227 -x3230 -x3233 -x3236 -x3239 -x3242 -x3245 -x3248 -x3251 -x3254
1783.36	v -x3257 -x3260 -x3263 -x3266 -x3269 -x3272 -x3275 -x3195 -x3198 -x3201 -x3204 -x3207 -x3210 -x3213 -x3216 -x3219 -x3222
1783.36	v x3225 -x3228 -x3231 -x3234 -x3237 -x3240 -x3243 -x3246 -x3249 -x3252 -x3255 -x3258 -x3261 -x3264 -x3267 -x3270 -x3273
1783.36	v -x3276 -x3193 -x3196 -x3199 -x3202 -x3205 -x3208 -x3211 -x3214 -x3217 -x3220 -x3223 -x3226 -x3229 -x3232 -x3235 x3238
1783.36	v -x3241 -x3244 -x3247 -x3250 -x3253 -x3256 -x3259 -x3262 -x3265 -x3268 -x3271 -x3274 -x3278 -x3281 -x3284 -x3287 -x3290
1783.36	v -x3293 -x3296 -x3299 -x3302 -x3305 -x3308 -x3311 x3314 -x3317 -x3320 -x3323 -x3326 -x3329 -x3332 -x3335 -x3338 -x3341
1783.36	v -x3344 -x3347 -x3350 -x3353 -x3356 -x3359 -x3279 -x3282 -x3285 -x3288 -x3291 -x3294 -x3297 -x3300 -x3303 -x3306 -x3309
1783.36	v -x3312 -x3315 -x3318 -x3321 -x3324 -x3327 -x3330 x3333 -x3336 -x3339 -x3342 -x3345 -x3348 -x3351 -x3354 -x3357 -x3360
1783.36	v -x3277 -x3280 -x3283 -x3286 -x3289 -x3292 -x3295 -x3298 -x3301 -x3304 -x3307 -x3310 -x3313 -x3316 -x3319 -x3322 -x3325
1783.36	v -x3328 -x3331 -x3334 -x3337 -x3340 x3343 -x3346 -x3349 -x3352 -x3355 -x3358 -x3361 -x3364 -x3367 -x3370 -x3373 -x3376
1783.36	v -x3379 -x3382 -x3385 -x3388 -x3391 -x3394 -x3397 x3400 -x3403 -x3406 -x3409 -x3412 -x3415 -x3418 -x3421 -x3424 -x3427
1783.36	v -x3430 -x3433 -x3436 -x3439 -x3442 -x3363 -x3366 -x3369 -x3372 -x3375 -x3378 -x3381 -x3384 -x3387 -x3390 -x3393 -x3396
1783.36	v -x3399 -x3402 -x3405 -x3408 -x3411 -x3414 x3417 -x3420 -x3423 -x3426 -x3429 -x3432 -x3435 -x3438 -x3441 -x3444 -x3362
1783.36	v -x3365 -x3368 -x3371 -x3374 -x3377 -x3380 -x3383 -x3386 -x3389 -x3392 -x3395 -x3398 -x3401 -x3404 -x3407 -x3410 -x3413
1783.36	v -x3416 -x3419 -x3422 x3425 -x3428 -x3431 -x3434 -x3437 -x3440 -x3443 -x3445 -x3449 -x3453 -x3457 -x3461 -x3465 -x3469
1783.36	v -x3473 -x3477 -x3481 -x3485 -x3489 -x3493 -x3497 x3501 -x3505 -x3509 -x3513 -x3517 -x3521 -x3525 -x3529 -x3533 -x3537
1783.36	v -x3541 -x3545 -x3549 -x3553 -x3447 -x3451 -x3455 -x3459 -x3463 -x3467 -x3471 -x3475 -x3479 -x3483 -x3487 -x3491 -x3495
1783.36	v -x3499 -x3503 -x3507 -x3511 -x3515 -x3519 x3523 -x3527 -x3531 -x3535 -x3539 -x3543 -x3547 -x3551 -x3555 -x3446 -x3450
1783.36	v -x3454 -x3458 -x3462 -x3466 -x3470 -x3474 -x3478 -x3482 -x3486 -x3490 -x3494 -x3498 -x3502 -x3506 -x3510 -x3514 -x3518
1783.36	v -x3522 x3526 -x3530 -x3534 -x3538 -x3542 -x3546 -x3550 -x3554 -x3559 -x3562 -x3565 x3568 -x3571 -x3574 -x3577 -x3580 -x3583
1783.36	v -x3586 -x3589 -x3592 -x3595 -x3598 -x3601 -x3604 -x3607 -x3610 -x3613 -x3616 -x3619 -x3622 -x3625 -x3628 -x3631 -x3634
1783.36	v -x3637 -x3640 -x3558 -x3561 -x3564 -x3567 -x3570 -x3573 x3576 -x3579 -x3582 -x3585 -x3588 -x3591 -x3594 -x3597 -x3600
1783.36	v -x3603 -x3606 -x3609 -x3612 -x3615 -x3618 -x3621 -x3624 -x3627 -x3630 -x3633 -x3636 -x3639 -x3557 -x3560 -x3563 -x3566
1783.36	v -x3569 -x3572 -x3575 -x3578 x3581 -x3584 -x3587 -x3590 -x3593 -x3596 -x3599 -x3602 -x3605 -x3608 -x3611 -x3614 -x3617
1783.36	v -x3620 -x3623 -x3626 -x3629 -x3632 -x3635 -x3638 -x3641 -x3645 -x3649 -x3653 -x3657 -x3661 -x3665 x3669 -x3673 -x3677
1783.36	v -x3681 -x3685 -x3689 -x3693 -x3697 -x3701 -x3705 -x3709 -x3713 -x3717 -x3721 -x3725 -x3729 -x3733 -x3737 -x3741 -x3745
1783.36	v -x3749 -x3643 -x3647 -x3651 -x3655 -x3659 -x3663 -x3667 -x3671 -x3675 -x3679 -x3683 -x3687 x3691 -x3695 -x3699 -x3703
1783.36	v -x3707 -x3711 -x3715 -x3719 -x3723 -x3727 -x3731 -x3735 -x3739 -x3743 -x3747 -x3751 -x3642 -x3646 -x3650 -x3654 -x3658
1783.36	v -x3662 -x3666 -x3670 -x3674 -x3678 -x3682 -x3686 -x3690 -x3694 -x3698 -x3702 x3706 -x3710 -x3714 -x3718 -x3722 -x3726
1783.36	v -x3730 -x3734 -x3738 -x3742 -x3746 -x3750 -x3754 -x3757 -x3760 -x3763 -x3766 -x3769 -x3772 -x3775 x3778 -x3781 -x3784
1783.36	v -x3787 -x3790 -x3793 -x3796 -x3799 -x3802 -x3805 -x3808 -x3811 -x3814 -x3817 -x3820 -x3823 -x3826 -x3829 -x3832 -x3835
1783.36	v -x3755 -x3758 -x3761 -x3764 -x3767 -x3770 -x3773 -x3776 -x3779 -x3782 -x3785 -x3788 -x3791 -x3794 -x3797 x3800 -x3803
1783.36	v -x3806 -x3809 -x3812 -x3815 -x3818 -x3821 -x3824 -x3827 -x3830 -x3833 -x3836 -x3753 -x3756 -x3759 -x3762 -x3765 -x3768
1783.36	v -x3771 -x3774 -x3777 -x3780 -x3783 -x3786 -x3789 -x3792 -x3795 -x3798 -x3801 x3804 -x3807 -x3810 -x3813 -x3816 -x3819
1783.36	v -x3822 -x3825 -x3828 -x3831 -x3834 -x3839 -x3843 -x3847 -x3851 -x3855 -x3859 -x3863 -x3867 -x3871 -x3875 -x3879 -x3883
1783.36	v -x3887 -x3891 -x3895 -x3899 x3903 -x3907 -x3911 -x3915 -x3919 -x3923 -x3927 -x3931 -x3935 -x3939 -x3943 -x3947 -x3840
1783.36	v -x3844 -x3848 -x3852 -x3856 -x3860 -x3864 -x3868 -x3872 -x3876 -x3880 -x3884 -x3888 -x3892 -x3896 -x3900 -x3904 -x3908
1783.36	v -x3912 -x3916 -x3920 x3924 -x3928 -x3932 -x3936 -x3940 -x3944 -x3948 -x3837 -x3841 -x3845 -x3849 -x3853 -x3857 -x3861
1783.36	v -x3865 -x3869 -x3873 -x3877 -x3881 -x3885 -x3889 -x3893 -x3897 -x3901 -x3905 -x3909 -x3913 -x3917 -x3921 -x3925 x3929
1783.36	v -x3933 -x3937 -x3941 -x3945 -x3951 -x3954 -x3957 -x3960 -x3963 -x3966 -x3969 -x3972 -x3975 -x3978 x3981 -x3984 -x3987
1783.36	v -x3990 -x3993 -x3996 -x3999 -x4002 -x4005 -x4008 -x4011 -x4014 -x4017 -x4020 -x4023 -x4026 -x4029 -x4032 -x3950 -x3953
1783.36	v -x3956 -x3959 -x3962 -x3965 -x3968 -x3971 -x3974 -x3977 -x3980 -x3983 -x3986 x3989 -x3992 -x3995 -x3998 -x4001 -x4004
1783.36	v -x4007 -x4010 -x4013 -x4016 -x4019 -x4022 -x4025 -x4028 -x4031 -x3949 -x3952 -x3955 -x3958 -x3961 -x3964 -x3967 -x3970
1783.36	v -x3973 -x3976 -x3979 -x3982 -x3985 -x3988 -x3991 x3994 -x3997 -x4000 -x4003 -x4006 -x4009 -x4012 -x4015 -x4018 -x4021
1783.36	v -x4024 -x4027 -x4030 -x4034 -x4039 x4044 -x4049 -x4054 -x4059 -x4064 -x4069 -x4074 -x4079 -x4084 -x4089 -x4094 -x4099
1783.36	v -x4104 -x4109 -x4114 -x4119 -x4124 -x4129 -x4134 -x4139 -x4144 -x4149 -x4154 -x4159 -x4164 -x4169 -x4036 -x4041 -x4046
1783.36	v -x4051 -x4056 -x4061 -x4066 -x4071 -x4076 -x4081 x4086 -x4091 -x4096 -x4101 -x4106 -x4111 -x4116 -x4121 -x4126 -x4131
1783.36	v -x4136 -x4141 -x4146 -x4151 -x4156 -x4161 -x4166 -x4171 -x4033 -x4038 -x4043 -x4048 -x4053 -x4058 -x4063 -x4068 -x4073
1783.36	v -x4078 -x4083 -x4088 -x4093 x4098 -x4103 -x4108 -x4113 -x4118 -x4123 -x4128 -x4133 -x4138 -x4143 -x4148 -x4153 -x4158
1783.36	v -x4163 -x4168 -x4173 -x4177 -x4181 -x4185 -x4189 -x4193 -x4197 -x4201 -x4205 -x4209 -x4213 -x4217 -x4221 -x4225 x4229
1783.36	v -x4233 -x4237 -x4241 -x4245 -x4249 -x4253 -x4257 -x4261 -x4265 -x4269 -x4273 -x4277 -x4281 -x4174 -x4178 -x4182 -x4186
1783.36	v -x4190 -x4194 -x4198 -x4202 -x4206 -x4210 -x4214 -x4218 -x4222 -x4226 -x4230 -x4234 -x4238 -x4242 -x4246 -x4250 -x4254
1783.36	v x4258 -x4262 -x4266 -x4270 -x4274 -x4278 -x4282 -x4175 -x4179 -x4183 -x4187 -x4191 -x4195 -x4199 -x4203 -x4207 -x4211
1783.36	v -x4215 -x4219 -x4223 -x4227 -x4231 -x4235 -x4239 -x4243 -x4247 -x4251 -x4255 -x4259 -x4263 -x4267 x4271 -x4275 -x4279
1783.36	v -x4283 -x4286 -x4289 -x4292 -x4295 -x4298 -x4301 x4304 -x4307 -x4310 -x4313 -x4316 -x4319 -x4322 -x4325 -x4328 -x4331
1783.36	v -x4334 -x4337 -x4340 -x4343 -x4346 -x4349 -x4352 -x4355 -x4358 -x4361 -x4364 -x4367 -x4287 -x4290 -x4293 -x4296 -x4299
1783.36	v -x4302 -x4305 -x4308 -x4311 -x4314 -x4317 -x4320 x4323 -x4326 -x4329 -x4332 -x4335 -x4338 -x4341 -x4344 -x4347 -x4350
1783.36	v -x4353 -x4356 -x4359 -x4362 -x4365 -x4368 -x4285 -x4288 -x4291 -x4294 -x4297 -x4300 -x4303 -x4306 -x4309 -x4312 -x4315
1783.36	v -x4318 -x4321 -x4324 -x4327 -x4330 -x4333 x4336 -x4339 -x4342 -x4345 -x4348 -x4351 -x4354 -x4357 -x4360 -x4363 -x4366
1783.36	v -x4369 -x4372 -x4375 -x4378 -x4381 -x4384 x4387 -x4390 -x4393 -x4396 -x4399 -x4402 -x4405 -x4408 -x4411 -x4414 -x4417
1783.36	v -x4420 -x4423 -x4426 -x4429 -x4432 -x4435 -x4438 -x4441 -x4444 -x4447 -x4450 -x4370 -x4373 -x4376 -x4379 -x4382 -x4385
1783.36	v -x4388 -x4391 -x4394 x4397 -x4400 -x4403 -x4406 -x4409 -x4412 -x4415 -x4418 -x4421 -x4424 -x4427 -x4430 -x4433 -x4436
1783.36	v -x4439 -x4442 -x4445 -x4448 -x4451 -x4371 -x4374 -x4377 -x4380 -x4383 -x4386 -x4389 -x4392 -x4395 -x4398 -x4401 -x4404
1783.36	v -x4407 x4410 -x4413 -x4416 -x4419 -x4422 -x4425 -x4428 -x4431 -x4434 -x4437 -x4440 -x4443 -x4446 -x4449 -x4452 -x4454
1783.36	v -x4459 -x4464 -x4469 -x4474 -x4479 -x4484 -x4489 -x4494 -x4499 -x4504 x4509 -x4514 -x4519 -x4524 -x4529 -x4534 -x4539
1783.36	v -x4544 -x4549 -x4554 -x4559 -x4564 -x4569 -x4574 -x4579 -x4584 -x4589 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486
1783.36	v -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 x4551 -x4556 -x4561 -x4566 -x4571
1783.36	v -x4576 -x4581 -x4586 -x4591 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513
1783.36	v -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4595 -x4598
1783.36	v -x4601 -x4604 -x4607 -x4610 -x4613 -x4616 -x4619 -x4622 -x4625 -x4628 x4631 -x4634 -x4637 -x4640 -x4643 -x4646 -x4649
1783.36	v -x4652 -x4655 -x4658 -x4661 -x4664 -x4667 -x4670 -x4673 -x4676 -x4594 -x4597 -x4600 -x4603 -x4606 -x4609 -x4612 -x4615
1783.36	v -x4618 -x4621 -x4624 -x4627 -x4630 -x4633 -x4636 x4639 -x4642 -x4645 -x4648 -x4651 -x4654 -x4657 -x4660 -x4663 -x4666
1783.36	v -x4669 -x4672 -x4675 -x4593 -x4596 -x4599 -x4602 -x4605 -x4608 -x4611 -x4614 -x4617 -x4620 -x4623 -x4626 -x4629 -x4632
1783.36	v -x4635 -x4638 -x4641 x4644 -x4647 -x4650 -x4653 -x4656 -x4659 -x4662 -x4665 -x4668 -x4671 -x4674 -x4679 -x4683 x4687 -x4691
1783.36	v -x4695 -x4699 -x4703 -x4707 -x4711 -x4715 -x4719 -x4723 -x4727 -x4731 -x4735 -x4739 -x4743 -x4747 -x4751 -x4755 -x4759
1783.36	v -x4763 -x4767 -x4771 -x4775 -x4779 -x4783 -x4787 -x4680 -x4684 -x4688 -x4692 -x4696 -x4700 -x4704 x4708 -x4712 -x4716
1783.36	v -x4720 -x4724 -x4728 -x4732 -x4736 -x4740 -x4744 -x4748 -x4752 -x4756 -x4760 -x4764 -x4768 -x4772 -x4776 -x4780 -x4784
1783.36	v -x4788 -x4677 -x4681 -x4685 -x4689 -x4693 -x4697 -x4701 -x4705 -x4709 x4713 -x4717 -x4721 -x4725 -x4729 -x4733 -x4737
1783.36	v -x4741 -x4745 -x4749 -x4753 -x4757 -x4761 -x4765 -x4769 -x4773 -x4777 -x4781 -x4785 -x4791 -x4795 -x4799 -x4803 -x4807
1783.36	v -x4811 -x4815 -x4819 -x4823 -x4827 x4831 -x4835 -x4839 -x4843 -x4847 -x4851 -x4855 -x4859 -x4863 -x4867 -x4871 -x4875
1783.36	v -x4879 -x4883 -x4887 -x4891 -x4895 -x4899 -x4792 -x4796 -x4800 -x4804 -x4808 -x4812 -x4816 -x4820 -x4824 -x4828 -x4832
1783.36	v -x4836 -x4840 -x4844 -x4848 x4852 -x4856 -x4860 -x4864 -x4868 -x4872 -x4876 -x4880 -x4884 -x4888 -x4892 -x4896 -x4900
1783.36	v -x4789 -x4793 -x4797 -x4801 -x4805 -x4809 -x4813 -x4817 -x4821 -x4825 -x4829 -x4833 -x4837 -x4841 -x4845 -x4849 -x4853
1783.36	v x4857 -x4861 -x4865 -x4869 -x4873 -x4877 -x4881 -x4885 -x4889 -x4893 -x4897 -x4903 -x4906 -x4909 -x4912 -x4915 -x4918
1783.36	v -x4921 -x4924 -x4927 -x4930 -x4933 -x4936 -x4939 -x4942 -x4945 -x4948 -x4951 -x4954 x4957 -x4960 -x4963 -x4966 -x4969
1783.36	v -x4972 -x4975 -x4978 -x4981 -x4984 -x4902 -x4905 -x4908 -x4911 -x4914 -x4917 -x4920 -x4923 -x4926 -x4929 -x4932 -x4935
1783.36	v -x4938 -x4941 -x4944 -x4947 -x4950 -x4953 -x4956 -x4959 -x4962 -x4965 x4968 -x4971 -x4974 -x4977 -x4980 -x4983 -x4901
1783.36	v -x4904 -x4907 -x4910 -x4913 -x4916 -x4919 -x4922 -x4925 -x4928 -x4931 -x4934 -x4937 -x4940 -x4943 -x4946 -x4949 -x4952
1783.36	v -x4955 -x4958 -x4961 -x4964 -x4967 -x4970 x4973 -x4976 -x4979 -x4982 -x4985 -x4989 -x4993 -x4997 -x5001 -x5005 x5009 -x5013
1783.36	v -x5017 -x5021 -x5025 -x5029 -x5033 -x5037 -x5041 -x5045 -x5049 -x5053 -x5057 -x5061 -x5065 -x5069 -x5073 -x5077 -x5081
1783.36	v -x5085 -x5089 -x5093 -x4987 -x4991 -x4995 -x4999 -x5003 -x5007 -x5011 -x5015 -x5019 -x5023 x5027 -x5031 -x5035 -x5039
1783.36	v -x5043 -x5047 -x5051 -x5055 -x5059 -x5063 -x5067 -x5071 -x5075 -x5079 -x5083 -x5087 -x5091 -x5095 -x4986 -x4990 -x4994
1783.36	v -x4998 -x5002 -x5006 -x5010 -x5014 -x5018 -x5022 -x5026 -x5030 -x5034 -x5038 -x5042 x5046 -x5050 -x5054 -x5058 -x5062
1783.36	v -x5066 -x5070 -x5074 -x5078 -x5082 -x5086 -x5090 -x5094 -x5097 -x5101 -x5105 -x5109 -x5113 -x5117 -x5121 x5125 -x5129
1783.36	v -x5133 -x5137 -x5141 -x5145 -x5149 -x5153 -x5157 -x5161 -x5165 -x5169 -x5173 -x5177 -x5181 -x5185 -x5189 -x5193 -x5197
1783.36	v -x5201 -x5205 -x5099 -x5103 -x5107 -x5111 -x5115 -x5119 -x5123 -x5127 -x5131 -x5135 -x5139 -x5143 x5147 -x5151 -x5155
1783.36	v -x5159 -x5163 -x5167 -x5171 -x5175 -x5179 -x5183 -x5187 -x5191 -x5195 -x5199 -x5203 -x5207 -x5098 -x5102 -x5106 -x5110
1783.36	v -x5114 -x5118 -x5122 -x5126 -x5130 -x5134 -x5138 -x5142 -x5146 -x5150 -x5154 x5158 -x5162 -x5166 -x5170 -x5174 -x5178
1783.36	v -x5182 -x5186 -x5190 -x5194 -x5198 -x5202 -x5206 -x5209 -x5213 -x5217 -x5221 -x5225 -x5229 x5233 -x5237 -x5241 -x5245
1783.36	v -x5249 -x5253 -x5257 -x5261 -x5265 -x5269 -x5273 -x5277 -x5281 -x5285 -x5289 -x5293 -x5297 -x5301 -x5305 -x5309 -x5313
1783.36	v -x5317 -x5210 -x5214 -x5218 -x5222 -x5226 -x5230 -x5234 -x5238 -x5242 -x5246 -x5250 x5254 -x5258 -x5262 -x5266 -x5270
1783.36	v -x5274 -x5278 -x5282 -x5286 -x5290 -x5294 -x5298 -x5302 -x5306 -x5310 -x5314 -x5318 -x5211 -x5215 -x5219 -x5223 -x5227
1783.36	v -x5231 -x5235 -x5239 -x5243 -x5247 -x5251 -x5255 -x5259 -x5263 x5267 -x5271 -x5275 -x5279 -x5283 -x5287 -x5291 -x5295
1783.36	v -x5299 -x5303 -x5307 -x5311 -x5315 -x5319 -x5321 -x5325 -x5329 -x5333 -x5337 -x5341 -x5345 -x5349 -x5353 -x5357 -x5361
1783.36	v -x5365 -x5369 -x5373 x5377 -x5381 -x5385 -x5389 -x5393 -x5397 -x5401 -x5405 -x5409 -x5413 -x5417 -x5421 -x5425 -x5429
1783.36	v -x5322 -x5326 -x5330 -x5334 -x5338 -x5342 -x5346 -x5350 -x5354 -x5358 -x5362 -x5366 -x5370 -x5374 -x5378 -x5382 -x5386
1783.36	v -x5390 -x5394 x5398 -x5402 -x5406 -x5410 -x5414 -x5418 -x5422 -x5426 -x5430 -x5323 -x5327 -x5331 -x5335 -x5339 -x5343
1783.36	v -x5347 -x5351 -x5355 -x5359 -x5363 -x5367 -x5371 -x5375 -x5379 -x5383 -x5387 -x5391 -x5395 -x5399 -x5403 -x5407 x5411
1783.36	v -x5415 -x5419 -x5423 -x5427 -x5431 -x5434 -x5437 -x5440 -x5443 -x5446 -x5449 -x5452 -x5455 -x5458 -x5461 -x5464 -x5467
1783.36	v -x5470 -x5473 -x5476 -x5479 x5482 -x5485 -x5488 -x5491 -x5494 -x5497 -x5500 -x5503 -x5506 -x5509 -x5512 -x5515 -x5435
1783.36	v -x5438 -x5441 -x5444 -x5447 -x5450 -x5453 -x5456 -x5459 -x5462 -x5465 -x5468 -x5471 -x5474 -x5477 -x5480 -x5483 -x5486
1783.36	v -x5489 -x5492 x5495 -x5498 -x5501 -x5504 -x5507 -x5510 -x5513 -x5516 -x5433 -x5436 -x5439 -x5442 -x5445 -x5448 -x5451
1783.36	v -x5454 -x5457 -x5460 -x5463 -x5466 -x5469 -x5472 -x5475 -x5478 -x5481 -x5484 -x5487 -x5490 -x5493 -x5496 -x5499 -x5502
1783.36	v x5505 -x5508 -x5511 -x5514 -x5517 -x5520 -x5523 -x5526 -x5529 -x5532 x5535 -x5538 -x5541 -x5544 -x5547 -x5550 -x5553 -x5556
1783.36	v -x5559 -x5562 -x5565 -x5568 -x5571 -x5574 -x5577 -x5580 -x5583 -x5586 -x5589 -x5592 -x5595 -x5598 -x5518 -x5521 -x5524
1783.36	v -x5527 -x5530 -x5533 -x5536 -x5539 x5542 -x5545 -x5548 -x5551 -x5554 -x5557 -x5560 -x5563 -x5566 -x5569 -x5572 -x5575
1783.36	v -x5578 -x5581 -x5584 -x5587 -x5590 -x5593 -x5596 -x5599 -x5519 -x5522 -x5525 -x5528 -x5531 -x5534 -x5537 -x5540 -x5543
1783.36	v -x5546 -x5549 x5552 -x5555 -x5558 -x5561 -x5564 -x5567 -x5570 -x5573 -x5576 -x5579 -x5582 -x5585 -x5588 -x5591 -x5594
1783.36	v -x5597 -x5600 -x5601 -x5605 -x5609 -x5613 -x5617 -x5621 -x5625 -x5629 -x5633 -x5637 -x5641 -x5645 -x5649 x5653 -x5657
1783.36	v -x5661 -x5665 -x5669 -x5673 -x5677 -x5681 -x5685 -x5689 -x5693 -x5697 -x5701 -x5705 -x5709 -x5602 -x5606 -x5610 -x5614
1783.36	v -x5618 -x5622 -x5626 -x5630 -x5634 -x5638 -x5642 -x5646 -x5650 -x5654 -x5658 -x5662 -x5666 -x5670 x5674 -x5678 -x5682
1783.36	v -x5686 -x5690 -x5694 -x5698 -x5702 -x5706 -x5710 -x5603 -x5607 -x5611 -x5615 -x5619 -x5623 -x5627 -x5631 -x5635 -x5639
1783.36	v -x5643 -x5647 -x5651 -x5655 -x5659 -x5663 -x5667 -x5671 -x5675 -x5679 x5683 -x5687 -x5691 -x5695 -x5699 -x5703 -x5707
1783.36	v -x5711 -x5713 -x5716 -x5719 -x5722 -x5725 -x5728 -x5731 -x5734 -x5737 -x5740 -x5743 -x5746 -x5749 x5752 -x5755 -x5758
1783.36	v -x5761 -x5764 -x5767 -x5770 -x5773 -x5776 -x5779 -x5782 -x5785 -x5788 -x5791 -x5794 -x5714 -x5717 -x5720 -x5723 -x5726
1783.36	v -x5729 -x5732 -x5735 -x5738 -x5741 -x5744 -x5747 -x5750 -x5753 -x5756 -x5759 x5762 -x5765 -x5768 -x5771 -x5774 -x5777
1783.36	v -x5780 -x5783 -x5786 -x5789 -x5792 -x5795 -x5715 -x5718 -x5721 -x5724 -x5727 -x5730 -x5733 -x5736 -x5739 -x5742 -x5745
1783.36	v -x5748 -x5751 -x5754 -x5757 -x5760 -x5763 -x5766 -x5769 -x5772 x5775 -x5778 -x5781 -x5784 -x5787 -x5790 -x5793 -x5796
1783.36	v -x5798 -x5802 -x5806 -x5810 -x5814 -x5818 -x5822 x5826 -x5830 -x5834 -x5838 -x5842 -x5846 -x5850 -x5854 -x5858 -x5862
1783.36	v -x5866 -x5870 -x5874 -x5878 -x5882 -x5886 -x5890 -x5894 -x5898 -x5902 -x5906 -x5800 -x5804 -x5808 -x5812 -x5816 -x5820
1783.36	v -x5824 -x5828 -x5832 -x5836 -x5840 -x5844 x5848 -x5852 -x5856 -x5860 -x5864 -x5868 -x5872 -x5876 -x5880 -x5884 -x5888
1783.36	v -x5892 -x5896 -x5900 -x5904 -x5908 -x5797 -x5801 -x5805 -x5809 -x5813 -x5817 -x5821 -x5825 -x5829 -x5833 -x5837 -x5841
1783.36	v -x5845 -x5849 -x5853 x5857 -x5861 -x5865 -x5869 -x5873 -x5877 -x5881 -x5885 -x5889 -x5893 -x5897 -x5901 -x5905 -x5909
1783.36	v -x5913 -x5917 -x5921 -x5925 -x5929 x5933 -x5937 -x5941 -x5945 -x5949 -x5953 -x5957 -x5961 -x5965 -x5969 -x5973 -x5977
1783.36	v -x5981 -x5985 -x5989 -x5993 -x5997 -x6001 -x6005 -x6009 -x6013 -x6017 -x5910 -x5914 -x5918 -x5922 -x5926 -x5930 -x5934
1783.36	v -x5938 -x5942 -x5946 -x5950 x5954 -x5958 -x5962 -x5966 -x5970 -x5974 -x5978 -x5982 -x5986 -x5990 -x5994 -x5998 -x6002
1783.36	v -x6006 -x6010 -x6014 -x6018 -x5911 -x5915 -x5919 -x5923 -x5927 -x5931 -x5935 -x5939 -x5943 -x5947 -x5951 -x5955 -x5959
1783.36	v -x5963 x5967 -x5971 -x5975 -x5979 -x5983 -x5987 -x5991 -x5995 -x5999 -x6003 -x6007 -x6011 -x6015 -x6019 -x6021 -x6025
1783.36	v -x6029 -x6033 -x6037 -x6041 -x6045 -x6049 -x6053 -x6057 -x6061 -x6065 -x6069 x6073 -x6077 -x6081 -x6085 -x6089 -x6093
1783.36	v -x6097 -x6101 -x6105 -x6109 -x6113 -x6117 -x6121 -x6125 -x6129 -x6022 -x6026 -x6030 -x6034 -x6038 -x6042 -x6046 -x6050
1783.36	v -x6054 -x6058 -x6062 -x6066 -x6070 -x6074 -x6078 -x6082 -x6086 -x6090 x6094 -x6098 -x6102 -x6106 -x6110 -x6114 -x6118
1783.36	v -x6122 -x6126 -x6130 -x6023 -x6027 -x6031 -x6035 -x6039 -x6043 -x6047 -x6051 -x6055 -x6059 -x6063 -x6067 -x6071 -x6075
1783.36	v -x6079 -x6083 -x6087 -x6091 -x6095 -x6099 -x6103 -x6107 x6111 -x6115 -x6119 -x6123 -x6127 -x6131 -x6135 -x6138 -x6141
1783.36	v -x6144 -x6147 -x6150 -x6153 -x6156 x6159 -x6162 -x6165 -x6168 -x6171 -x6174 -x6177 -x6180 -x6183 -x6186 -x6189 -x6192
1783.36	v -x6195 -x6198 -x6201 -x6204 -x6207 -x6210 -x6213 -x6216 -x6134 -x6137 -x6140 -x6143 -x6146 -x6149 -x6152 -x6155 -x6158
1783.36	v -x6161 -x6164 x6167 -x6170 -x6173 -x6176 -x6179 -x6182 -x6185 -x6188 -x6191 -x6194 -x6197 -x6200 -x6203 -x6206 -x6209
1783.36	v -x6212 -x6215 -x6133 -x6136 -x6139 -x6142 -x6145 -x6148 -x6151 -x6154 -x6157 -x6160 -x6163 -x6166 -x6169 -x6172 -x6175
1783.36	v -x6178 x6181 -x6184 -x6187 -x6190 -x6193 -x6196 -x6199 -x6202 -x6205 -x6208 -x6211 -x6214 -x6218 -x6221 -x6224 -x6227
1783.36	v -x6230 x6233 -x6236 -x6239 -x6242 -x6245 -x6248 -x6251 -x6254 -x6257 -x6260 -x6263 -x6266 -x6269 -x6272 -x6275 -x6278
1783.36	v -x6281 -x6284 -x6287 -x6290 -x6293 -x6296 -x6299 -x6219 -x6222 -x6225 -x6228 -x6231 -x6234 -x6237 x6240 -x6243 -x6246
1783.36	v -x6249 -x6252 -x6255 -x6258 -x6261 -x6264 -x6267 -x6270 -x6273 -x6276 -x6279 -x6282 -x6285 -x6288 -x6291 -x6294 -x6297
1783.36	v -x6300 -x6217 -x6220 -x6223 -x6226 -x6229 -x6232 -x6235 -x6238 -x6241 -x6244 x6247 -x6250 -x6253 -x6256 -x6259 -x6262
1783.36	v -x6265 -x6268 -x6271 -x6274 -x6277 -x6280 -x6283 -x6286 -x6289 -x6292 -x6295 -x6298 -x6302 -x6305 -x6308 x6311 -x6314
1783.36	v -x6317 -x6320 -x6323 -x6326 -x6329 -x6332 -x6335 -x6338 -x6341 -x6344 -x6347 -x6350 -x6353 -x6356 -x6359 -x6362 -x6365
1783.36	v -x6368 -x6371 -x6374 -x6377 -x6380 -x6383 -x6303 -x6306 -x6309 -x6312 -x6315 x6318 -x6321 -x6324 -x6327 -x6330 -x6333
1783.36	v -x6336 -x6339 -x6342 -x6345 -x6348 -x6351 -x6354 -x6357 -x6360 -x6363 -x6366 -x6369 -x6372 -x6375 -x6378 -x6381 -x6384
1783.36	v -x6301 -x6304 -x6307 -x6310 -x6313 -x6316 -x6319 -x6322 -x6325 -x6328 -x6331 x6334 -x6337 -x6340 -x6343 -x6346 -x6349
1783.36	v -x6352 -x6355 -x6358 -x6361 -x6364 -x6367 -x6370 -x6373 -x6376 -x6379 -x6382 -x6385 -x6388 -x6391 -x6394 -x6397 -x6400
1783.36	v -x6403 -x6406 -x6409 -x6412 -x6415 -x6418 -x6421 -x6424 -x6427 -x6430 -x6433 -x6436 -x6439 -x6442 -x6445 x6448 -x6451
1783.36	v -x6454 -x6457 -x6460 -x6463 -x6466 -x6387 -x6390 -x6393 -x6396 -x6399 -x6402 -x6405 -x6408 -x6411 -x6414 -x6417 -x6420
1783.36	v -x6423 -x6426 -x6429 -x6432 -x6435 -x6438 -x6441 -x6444 -x6447 -x6450 -x6453 x6456 -x6459 -x6462 -x6465 -x6468 -x6386
1783.36	v -x6389 -x6392 -x6395 -x6398 -x6401 -x6404 -x6407 -x6410 -x6413 -x6416 -x6419 -x6422 -x6425 -x6428 -x6431 -x6434 -x6437
1783.36	v -x6440 -x6443 -x6446 -x6449 -x6452 -x6455 -x6458 x6461 -x6464 -x6467 -x6469 -x6472 -x6475 -x6478 -x6481 -x6484 -x6487
1783.36	v -x6490 -x6493 -x6496 -x6499 -x6502 -x6505 x6508 -x6511 -x6514 -x6517 -x6520 -x6523 -x6526 -x6529 -x6532 -x6535 -x6538
1783.36	v -x6541 -x6544 -x6547 -x6550 -x6470 -x6473 -x6476 -x6479 -x6482 -x6485 -x6488 -x6491 -x6494 -x6497 -x6500 -x6503 -x6506
1783.36	v -x6509 -x6512 x6515 -x6518 -x6521 -x6524 -x6527 -x6530 -x6533 -x6536 -x6539 -x6542 -x6545 -x6548 -x6551 -x6471 -x6474
1783.36	v -x6477 -x6480 -x6483 -x6486 -x6489 -x6492 -x6495 -x6498 -x6501 -x6504 -x6507 -x6510 -x6513 -x6516 -x6519 -x6522 x6525
1783.36	v -x6528 -x6531 -x6534 -x6537 -x6540 -x6543 -x6546 -x6549 -x6552 -x6554 -x6557 -x6560 -x6563 -x6566 -x6569 -x6572 -x6575
1783.36	v -x6578 -x6581 -x6584 -x6587 -x6590 -x6593 -x6596 -x6599 -x6602 -x6605 -x6608 x6611 -x6614 -x6617 -x6620 -x6623 -x6626
1783.36	v -x6629 -x6632 -x6635 -x6555 -x6558 -x6561 -x6564 -x6567 -x6570 -x6573 -x6576 -x6579 -x6582 -x6585 -x6588 -x6591 -x6594
1783.36	v -x6597 -x6600 -x6603 -x6606 -x6609 -x6612 -x6615 x6618 -x6621 -x6624 -x6627 -x6630 -x6633 -x6636 -x6553 -x6556 -x6559
1783.36	v -x6562 -x6565 -x6568 -x6571 -x6574 -x6577 -x6580 -x6583 -x6586 -x6589 -x6592 -x6595 -x6598 -x6601 -x6604 -x6607 -x6610
1783.36	v -x6613 -x6616 x6619 -x6622 -x6625 -x6628 -x6631 -x6634 -x6638 -x6641 -x6644 -x6647 -x6650 x6653 -x6656 -x6659 -x6662 -x6665
1783.36	v -x6668 -x6671 -x6674 -x6677 -x6680 -x6683 -x6686 -x6689 -x6692 -x6695 -x6698 -x6701 -x6704 -x6707 -x6710 -x6713 -x6716
1783.36	v -x6719 -x6639 -x6642 -x6645 -x6648 -x6651 -x6654 -x6657 x6660 -x6663 -x6666 -x6669 -x6672 -x6675 -x6678 -x6681 -x6684
1783.36	v -x6687 -x6690 -x6693 -x6696 -x6699 -x6702 -x6705 -x6708 -x6711 -x6714 -x6717 -x6720 -x6637 -x6640 -x6643 -x6646 -x6649
1783.36	v -x6652 -x6655 -x6658 -x6661 x6664 -x6667 -x6670 -x6673 -x6676 -x6679 -x6682 -x6685 -x6688 -x6691 -x6694 -x6697 -x6700
1783.36	v -x6703 -x6706 -x6709 -x6712 -x6715 -x6718 -x6722 -x6725 -x6728 -x6731 -x6734 -x6737 -x6740 -x6743 -x6746 -x6749 -x6752
1783.36	v -x6755 x6758 -x6761 -x6764 -x6767 -x6770 -x6773 -x6776 -x6779 -x6782 -x6785 -x6788 -x6791 -x6794 -x6797 -x6800 -x6803
1783.36	v -x6723 -x6726 -x6729 -x6732 -x6735 -x6738 -x6741 -x6744 -x6747 -x6750 -x6753 -x6756 -x6759 -x6762 x6765 -x6768 -x6771
1783.36	v -x6774 -x6777 -x6780 -x6783 -x6786 -x6789 -x6792 -x6795 -x6798 -x6801 -x6804 -x6721 -x6724 -x6727 -x6730 -x6733 -x6736
1783.36	v -x6739 -x6742 -x6745 -x6748 -x6751 -x6754 -x6757 -x6760 -x6763 -x6766 x6769 -x6772 -x6775 -x6778 -x6781 -x6784 -x6787
1783.36	v -x6790 -x6793 -x6796 -x6799 -x6802 -x6806 -x6809 -x6812 -x6815 -x6818 -x6821 -x6824 -x6827 -x6830 -x6833 -x6836 -x6839
1783.36	v -x6842 -x6845 -x6848 -x6851 -x6854 x6857 -x6860 -x6863 -x6866 -x6869 -x6872 -x6875 -x6878 -x6881 -x6884 -x6887 -x6807
1783.36	v -x6810 -x6813 -x6816 -x6819 -x6822 -x6825 -x6828 -x6831 -x6834 -x6837 -x6840 -x6843 -x6846 -x6849 -x6852 -x6855 -x6858
1783.36	v -x6861 x6864 -x6867 -x6870 -x6873 -x6876 -x6879 -x6882 -x6885 -x6888 -x6805 -x6808 -x6811 -x6814 -x6817 -x6820 -x6823
1783.36	v -x6826 -x6829 -x6832 -x6835 -x6838 -x6841 -x6844 -x6847 -x6850 -x6853 -x6856 -x6859 -x6862 -x6865 -x6868 -x6871 -x6874
1783.36	v -x6877 -x6880 x6883 -x6886 -x6890 -x6893 -x6896 -x6899 -x6902 -x6905 -x6908 -x6911 -x6914 -x6917 x6920 -x6923 -x6926 -x6929
1783.36	v -x6932 -x6935 -x6938 -x6941 -x6944 -x6947 -x6950 -x6953 -x6956 -x6959 -x6962 -x6965 -x6968 -x6971 -x6891 -x6894 -x6897
1783.36	v -x6900 -x6903 -x6906 -x6909 -x6912 -x6915 -x6918 -x6921 -x6924 -x6927 -x6930 x6933 -x6936 -x6939 -x6942 -x6945 -x6948
1783.36	v -x6951 -x6954 -x6957 -x6960 -x6963 -x6966 -x6969 -x6972 -x6889 -x6892 -x6895 -x6898 -x6901 -x6904 -x6907 -x6910 -x6913
1783.36	v -x6916 -x6919 -x6922 -x6925 -x6928 -x6931 -x6934 -x6937 -x6940 -x6943 -x6946 x6949 -x6952 -x6955 -x6958 -x6961 -x6964
1783.36	v -x6967 -x6970 -x6973 -x6976 -x6979 -x6982 -x6985 -x6988 -x6991 -x6994 -x6997 -x7000 -x7003 -x7006 -x7009 -x7012 -x7015
1783.36	v -x7018 -x7021 -x7024 -x7027 -x7030 x7033 -x7036 -x7039 -x7042 -x7045 -x7048 -x7051 -x7054 -x6975 -x6978 -x6981 -x6984
1783.36	v -x6987 -x6990 -x6993 -x6996 -x6999 -x7002 -x7005 -x7008 -x7011 -x7014 -x7017 -x7020 -x7023 -x7026 -x7029 -x7032 -x7035
1783.36	v -x7038 x7041 -x7044 -x7047 -x7050 -x7053 -x7056 -x6974 -x6977 -x6980 -x6983 -x6986 -x6989 -x6992 -x6995 -x6998 -x7001
1783.36	v -x7004 -x7007 -x7010 -x7013 -x7016 -x7019 -x7022 -x7025 -x7028 -x7031 -x7034 -x7037 -x7040 x7043 -x7046 -x7049 -x7052
1783.36	v -x7055 -x7057 -x7060 -x7063 -x7066 -x7069 -x7072 -x7075 -x7078 -x7081 -x7084 -x7087 -x7090 -x7093 x7096 -x7099 -x7102
1783.36	v -x7105 -x7108 -x7111 -x7114 -x7117 -x7120 -x7123 -x7126 -x7129 -x7132 -x7135 -x7138 -x7059 -x7062 -x7065 -x7068 -x7071
1783.36	v -x7074 -x7077 -x7080 -x7083 -x7086 -x7089 -x7092 -x7095 -x7098 -x7101 x7104 -x7107 -x7110 -x7113 -x7116 -x7119 -x7122
1783.36	v -x7125 -x7128 -x7131 -x7134 -x7137 -x7140 -x7058 -x7061 -x7064 -x7067 -x7070 -x7073 -x7076 -x7079 -x7082 -x7085 -x7088
1783.36	v -x7091 -x7094 -x7097 -x7100 -x7103 -x7106 -x7109 x7112 -x7115 -x7118 -x7121 -x7124 -x7127 -x7130 -x7133 -x7136 -x7139
1783.36	v -x7141 -x7144 -x7147 -x7150 -x7153 -x7156 x7159 -x7162 -x7165 -x7168 -x7171 -x7174 -x7177 -x7180 -x7183 -x7186 -x7189
1783.36	v -x7192 -x7195 -x7198 -x7201 -x7204 -x7207 -x7210 -x7213 -x7216 -x7219 -x7222 -x7143 -x7146 -x7149 -x7152 -x7155 -x7158
1783.36	v -x7161 -x7164 x7167 -x7170 -x7173 -x7176 -x7179 -x7182 -x7185 -x7188 -x7191 -x7194 -x7197 -x7200 -x7203 -x7206 -x7209
1783.36	v -x7212 -x7215 -x7218 -x7221 -x7224 -x7142 -x7145 -x7148 -x7151 -x7154 -x7157 -x7160 -x7163 -x7166 x7169 -x7172 -x7175
1783.36	v -x7178 -x7181 -x7184 -x7187 -x7190 -x7193 -x7196 -x7199 -x7202 -x7205 -x7208 -x7211 -x7214 -x7217 -x7220 -x7223 -x7225
1783.36	v x7228 -x7231 -x7234 -x7237 -x7240 -x7243 -x7246 -x7249 -x7252 -x7255 -x7258 -x7261 -x7264 -x7267 -x7270 -x7273 -x7276
1783.36	v -x7279 -x7282 -x7285 -x7288 -x7291 -x7294 -x7297 -x7300 -x7303 -x7306 -x7227 -x7230 -x7233 -x7236 -x7239 -x7242 x7245
1783.36	v -x7248 -x7251 -x7254 -x7257 -x7260 -x7263 -x7266 -x7269 -x7272 -x7275 -x7278 -x7281 -x7284 -x7287 -x7290 -x7293 -x7296
1783.36	v -x7299 -x7302 -x7305 -x7308 -x7226 -x7229 -x7232 -x7235 -x7238 -x7241 -x7244 -x7247 -x7250 x7253 -x7256 -x7259 -x7262
1783.36	v -x7265 -x7268 -x7271 -x7274 -x7277 -x7280 -x7283 -x7286 -x7289 -x7292 -x7295 -x7298 -x7301 -x7304 -x7307 -x7310 -x7313
1783.36	v -x7316 -x7319 -x7322 -x7325 -x7328 -x7331 x7334 -x7337 -x7340 -x7343 -x7346 -x7349 -x7352 -x7355 -x7358 -x7361 -x7364
1783.36	v -x7367 -x7370 -x7373 -x7376 -x7379 -x7382 -x7385 -x7388 -x7391 -x7311 -x7314 -x7317 -x7320 -x7323 -x7326 -x7329 -x7332
1783.36	v -x7335 -x7338 x7341 -x7344 -x7347 -x7350 -x7353 -x7356 -x7359 -x7362 -x7365 -x7368 -x7371 -x7374 -x7377 -x7380 -x7383
1783.36	v -x7386 -x7389 -x7392 -x7309 -x7312 -x7315 -x7318 -x7321 -x7324 -x7327 -x7330 -x7333 -x7336 -x7339 -x7342 -x7345 -x7348
1783.36	v -x7351 x7354 -x7357 -x7360 -x7363 -x7366 -x7369 -x7372 -x7375 -x7378 -x7381 -x7384 -x7387 -x7390 -x7395 -x7398 -x7401
1783.36	v -x7404 x7407 -x7410 -x7413 -x7416 -x7419 -x7422 -x7425 -x7428 -x7431 -x7434 -x7437 -x7440 -x7443 -x7446 -x7449 -x7452
1783.36	v -x7455 -x7458 -x7461 -x7464 -x7467 -x7470 -x7473 -x7476 -x7394 -x7397 -x7400 -x7403 -x7406 -x7409 -x7412 x7415 -x7418
1783.36	v -x7421 -x7424 -x7427 -x7430 -x7433 -x7436 -x7439 -x7442 -x7445 -x7448 -x7451 -x7454 -x7457 -x7460 -x7463 -x7466 -x7469
1783.36	v -x7472 -x7475 -x7393 -x7396 -x7399 -x7402 -x7405 -x7408 -x7411 -x7414 -x7417 x7420 -x7423 -x7426 -x7429 -x7432 -x7435
1783.36	v -x7438 -x7441 -x7444 -x7447 -x7450 -x7453 -x7456 -x7459 -x7462 -x7465 -x7468 -x7471 -x7474 -x7477 -x7479 -x7481 -x7483
1783.36	v -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 x7513 -x7515 -x7517
1783.36	v -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496
1783.36	v -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 x7520 -x7522 -x7524 -x7526 -x7528 -x7530
1783.36	v -x7532 -x7535 -x7538 -x7541 -x7544 -x7547 x7550 -x7553 -x7556 -x7559 -x7562 -x7565 -x7568 -x7571 -x7574 -x7577 -x7580
1783.36	v -x7583 -x7586 -x7589 -x7592 -x7595 -x7598 -x7601 -x7604 -x7607 -x7610 -x7613 -x7616 -x7534 -x7537 -x7540 -x7543 -x7546
1783.36	v -x7549 -x7552 x7555 -x7558 -x7561 -x7564 -x7567 -x7570 -x7573 -x7576 -x7579 -x7582 -x7585 -x7588 -x7591 -x7594 -x7597
1783.36	v -x7600 -x7603 -x7606 -x7609 -x7612 -x7615 -x7533 -x7536 -x7539 -x7542 -x7545 -x7548 -x7551 -x7554 -x7557 x7560 -x7563
1783.36	v -x7566 -x7569 -x7572 -x7575 -x7578 -x7581 -x7584 -x7587 -x7590 -x7593 -x7596 -x7599 -x7602 -x7605 -x7608 -x7611 -x7614
1783.36	v -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 x7641 -x7643 -x7645 -x7647 -x7649
1783.36	v -x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628
1783.36	v -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 x7648 -x7650 -x7652 -x7654 -x7656 -x7658 -x7660 -x7662
1783.36	v -x7664 -x7666 -x7668 -x7670 -x7672 -x7675 -x7678 -x7681 -x7684 -x7687 -x7690 -x7693 -x7696 x7699 -x7702 -x7705 -x7708
1783.36	v -x7711 -x7714 -x7717 -x7720 -x7723 -x7726 -x7729 -x7732 -x7735 -x7738 -x7741 -x7744 -x7747 -x7750 -x7753 -x7756 -x7674
1783.36	v -x7677 -x7680 -x7683 -x7686 -x7689 -x7692 -x7695 -x7698 -x7701 x7704 -x7707 -x7710 -x7713 -x7716 -x7719 -x7722 -x7725
1783.36	v -x7728 -x7731 -x7734 -x7737 -x7740 -x7743 -x7746 -x7749 -x7752 -x7755 -x7673 -x7676 -x7679 -x7682 -x7685 -x7688 -x7691
1783.36	v -x7694 -x7697 -x7700 -x7703 -x7706 -x7709 x7712 -x7715 -x7718 -x7721 -x7724 -x7727 -x7730 -x7733 -x7736 -x7739 -x7742
1783.36	v -x7745 -x7748 -x7751 -x7754 -x7758 -x7762 x7766 -x7770 -x7774 -x7778 -x7782 -x7786 -x7790 -x7794 -x7798 -x7802 -x7806
1783.36	v -x7810 -x7814 -x7818 -x7822 -x7826 -x7830 -x7834 -x7838 -x7842 -x7846 -x7850 -x7854 -x7858 -x7862 -x7866 -x7760 -x7764
1783.36	v -x7768 -x7772 -x7776 -x7780 -x7784 x7788 -x7792 -x7796 -x7800 -x7804 -x7808 -x7812 -x7816 -x7820 -x7824 -x7828 -x7832
1783.36	v -x7836 -x7840 -x7844 -x7848 -x7852 -x7856 -x7860 -x7864 -x7868 -x7757 -x7761 -x7765 -x7769 -x7773 -x7777 -x7781 -x7785
1783.36	v -x7789 x7793 -x7797 -x7801 -x7805 -x7809 -x7813 -x7817 -x7821 -x7825 -x7829 -x7833 -x7837 -x7841 -x7845 -x7849 -x7853
1783.36	v -x7857 -x7861 -x7865 -x7869 -x7873 -x7877 -x7881 -x7885 -x7889 -x7893 -x7897 -x7901 -x7905 -x7909 x7913 -x7917 -x7921
1783.36	v -x7925 -x7929 -x7933 -x7937 -x7941 -x7945 -x7949 -x7953 -x7957 -x7961 -x7965 -x7969 -x7973 -x7977 -x7870 -x7874 -x7878
1783.36	v -x7882 -x7886 -x7890 -x7894 -x7898 -x7902 -x7906 -x7910 -x7914 -x7918 -x7922 -x7926 -x7930 x7934 -x7938 -x7942 -x7946
1783.36	v -x7950 -x7954 -x7958 -x7962 -x7966 -x7970 -x7974 -x7978 -x7871 -x7875 -x7879 -x7883 -x7887 -x7891 -x7895 -x7899 -x7903
1783.36	v -x7907 -x7911 -x7915 -x7919 -x7923 -x7927 -x7931 -x7935 -x7939 x7943 -x7947 -x7951 -x7955 -x7959 -x7963 -x7967 -x7971
1783.36	v -x7975 -x7979 -x7982 -x7986 -x7990 -x7994 -x7998 -x8002 -x8006 -x8010 -x8014 -x8018 -x8022 -x8026 -x8030 -x8034 x8038
1783.36	v -x8042 -x8046 -x8050 -x8054 -x8058 -x8062 -x8066 -x8070 -x8074 -x8078 -x8082 -x8086 -x8090 -x7984 -x7988 -x7992 -x7996
1783.36	v -x8000 -x8004 -x8008 -x8012 -x8016 -x8020 -x8024 -x8028 -x8032 -x8036 -x8040 -x8044 -x8048 -x8052 -x8056 x8060 -x8064
1783.36	v -x8068 -x8072 -x8076 -x8080 -x8084 -x8088 -x8092 -x7981 -x7985 -x7989 -x7993 -x7997 -x8001 -x8005 -x8009 -x8013 -x8017
1783.36	v -x8021 -x8025 -x8029 -x8033 -x8037 -x8041 -x8045 -x8049 -x8053 -x8057 -x8061 x8065 -x8069 -x8073 -x8077 -x8081 -x8085
1783.36	v -x8089 -x8093 -x8097 -x8101 -x8105 -x8109 x8113 -x8117 -x8121 -x8125 -x8129 -x8133 -x8137 -x8141 -x8145 -x8149 -x8153
1783.36	v -x8157 -x8161 -x8165 -x8169 -x8173 -x8177 -x8181 -x8185 -x8189 -x8193 -x8197 -x8201 -x8094 -x8098 -x8102 -x8106 -x8110
1783.36	v -x8114 -x8118 -x8122 -x8126 -x8130 -x8134 x8138 -x8142 -x8146 -x8150 -x8154 -x8158 -x8162 -x8166 -x8170 -x8174 -x8178
1783.36	v -x8182 -x8186 -x8190 -x8194 -x8198 -x8202 -x8095 -x8099 -x8103 -x8107 -x8111 -x8115 -x8119 -x8123 -x8127 -x8131 -x8135
1783.36	v -x8139 -x8143 x8147 -x8151 -x8155 -x8159 -x8163 -x8167 -x8171 -x8175 -x8179 -x8183 -x8187 -x8191 -x8195 -x8199 -x8203
1783.36	v x8205 -x8209 -x8213 -x8217 -x8221 -x8225 -x8229 -x8233 -x8237 -x8241 -x8245 -x8249 -x8253 -x8257 -x8261 -x8265 -x8269
1783.36	v -x8273 -x8277 -x8281 -x8285 -x8289 -x8293 -x8297 -x8301 -x8305 -x8309 -x8313 -x8207 -x8211 -x8215 -x8219 -x8223 -x8227
1783.36	v x8231 -x8235 -x8239 -x8243 -x8247 -x8251 -x8255 -x8259 -x8263 -x8267 -x8271 -x8275 -x8279 -x8283 -x8287 -x8291 -x8295
1783.36	v -x8299 -x8303 -x8307 -x8311 -x8315 -x8206 -x8210 -x8214 -x8218 -x8222 -x8226 -x8230 x8234 -x8238 -x8242 -x8246 -x8250
1783.36	v -x8254 -x8258 -x8262 -x8266 -x8270 -x8274 -x8278 -x8282 -x8286 -x8290 -x8294 -x8298 -x8302 -x8306 -x8310 -x8314 -x8318
1783.36	v -x8321 x8324 -x8327 -x8330 -x8333 -x8336 -x8339 -x8342 -x8345 -x8348 -x8351 -x8354 -x8357 -x8360 -x8363 -x8366 -x8369
1783.36	v -x8372 -x8375 -x8378 -x8381 -x8384 -x8387 -x8390 -x8393 -x8396 -x8399 -x8319 -x8322 -x8325 -x8328 x8331 -x8334 -x8337
1783.36	v -x8340 -x8343 -x8346 -x8349 -x8352 -x8355 -x8358 -x8361 -x8364 -x8367 -x8370 -x8373 -x8376 -x8379 -x8382 -x8385 -x8388
1783.36	v -x8391 -x8394 -x8397 -x8400 -x8317 -x8320 -x8323 -x8326 -x8329 -x8332 -x8335 -x8338 -x8341 x8344 -x8347 -x8350 -x8353
1783.36	v -x8356 -x8359 -x8362 -x8365 -x8368 -x8371 -x8374 -x8377 -x8380 -x8383 -x8386 -x8389 -x8392 -x8395 -x8398 -x8401 -x8405
1783.36	v -x8409 -x8413 -x8417 -x8421 -x8425 -x8429 -x8433 -x8437 -x8441 -x8445 x8449 -x8453 -x8457 -x8461 -x8465 -x8469 -x8473
1783.36	v -x8477 -x8481 -x8485 -x8489 -x8493 -x8497 -x8501 -x8505 -x8509 -x8403 -x8407 -x8411 -x8415 -x8419 -x8423 -x8427 -x8431
1783.36	v -x8435 -x8439 -x8443 -x8447 -x8451 -x8455 -x8459 -x8463 -x8467 -x8471 -x8475 x8479 -x8483 -x8487 -x8491 -x8495 -x8499
1783.36	v -x8503 -x8507 -x8511 -x8402 -x8406 -x8410 -x8414 -x8418 -x8422 -x8426 -x8430 -x8434 -x8438 -x8442 -x8446 -x8450 -x8454
1783.36	v -x8458 -x8462 -x8466 -x8470 -x8474 -x8478 -x8482 x8486 -x8490 -x8494 -x8498 -x8502 -x8506 -x8510 -x8514 -x8517 -x8520
1783.36	v -x8523 -x8526 -x8529 -x8532 -x8535 -x8538 x8541 -x8544 -x8547 -x8550 -x8553 -x8556 -x8559 -x8562 -x8565 -x8568 -x8571
1783.36	v -x8574 -x8577 -x8580 -x8583 -x8586 -x8589 -x8592 -x8595 -x8515 -x8518 -x8521 -x8524 -x8527 -x8530 -x8533 -x8536 -x8539
1783.36	v -x8542 -x8545 x8548 -x8551 -x8554 -x8557 -x8560 -x8563 -x8566 -x8569 -x8572 -x8575 -x8578 -x8581 -x8584 -x8587 -x8590
1783.36	v -x8593 -x8596 -x8513 -x8516 -x8519 -x8522 -x8525 -x8528 -x8531 -x8534 -x8537 -x8540 -x8543 -x8546 -x8549 -x8552 -x8555
1783.36	v -x8558 x8561 -x8564 -x8567 -x8570 -x8573 -x8576 -x8579 -x8582 -x8585 -x8588 -x8591 -x8594 -x8599 -x8602 x8605 -x8608 -x8611
1783.36	v -x8614 -x8617 -x8620 -x8623 -x8626 -x8629 -x8632 -x8635 -x8638 -x8641 -x8644 -x8647 -x8650 -x8653 -x8656 -x8659 -x8662
1783.36	v -x8665 -x8668 -x8671 -x8674 -x8677 -x8680 -x8598 -x8601 -x8604 x8607 -x8610 -x8613 -x8616 -x8619 -x8622 -x8625 -x8628
1783.36	v -x8631 -x8634 -x8637 -x8640 -x8643 -x8646 -x8649 -x8652 -x8655 -x8658 -x8661 -x8664 -x8667 -x8670 -x8673 -x8676 -x8679
1783.36	v -x8597 -x8600 -x8603 -x8606 -x8609 -x8612 x8615 -x8618 -x8621 -x8624 -x8627 -x8630 -x8633 -x8636 -x8639 -x8642 -x8645
1783.36	v -x8648 -x8651 -x8654 -x8657 -x8660 -x8663 -x8666 -x8669 -x8672 -x8675 -x8678 -x8683 -x8688 -x8693 -x8698 -x8703 -x8708
1783.36	v -x8713 -x8718 x8723 -x8728 -x8733 -x8738 -x8743 -x8748 -x8753 -x8758 -x8763 -x8768 -x8773 -x8778 -x8783 -x8788 -x8793
1783.36	v -x8798 -x8803 -x8808 -x8813 -x8818 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739
1783.36	v -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8682
1783.36	v -x8687 -x8692 -x8697 -x8702 -x8707 -x8712 -x8717 -x8722 -x8727 -x8732 -x8737 -x8742 -x8747 -x8752 -x8757 -x8762 -x8767
1783.36	v -x8772 -x8777 -x8782 -x8787 x8792 -x8797 -x8802 -x8807 -x8812 -x8817 -x8823 x8828 -x8833 -x8838 -x8843 -x8848 -x8853 -x8858
1783.36	v -x8863 -x8868 -x8873 -x8878 -x8883 -x8888 -x8893 -x8898 -x8903 -x8908 -x8913 -x8918 -x8923 -x8928 -x8933 -x8938 -x8943
1783.36	v -x8948 -x8953 -x8958 -x8822 -x8827 -x8832 -x8837 -x8842 -x8847 -x8852 -x8857 -x8862 -x8867 -x8872 -x8877 x8882 -x8887
1783.36	v -x8892 -x8897 -x8902 -x8907 -x8912 -x8917 -x8922 -x8927 -x8932 -x8937 -x8942 -x8947 -x8952 -x8957 -x8824 -x8829 -x8834
1783.36	v -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8899 x8904 -x8909 -x8914 -x8919
1783.36	v -x8924 -x8929 -x8934 -x8939 -x8944 -x8949 -x8954 -x8959 -x8963 -x8967 -x8971 -x8975 -x8979 -x8983 -x8987 -x8991 -x8995
1783.36	v -x8999 x9003 -x9007 -x9011 -x9015 -x9019 -x9023 -x9027 -x9031 -x9035 -x9039 -x9043 -x9047 -x9051 -x9055 -x9059 -x9063
1783.36	v -x9067 -x9071 -x8964 -x8968 -x8972 -x8976 -x8980 -x8984 -x8988 -x8992 -x8996 -x9000 -x9004 -x9008 -x9012 -x9016 -x9020
1783.36	v x9024 -x9028 -x9032 -x9036 -x9040 -x9044 -x9048 -x9052 -x9056 -x9060 -x9064 -x9068 -x9072 -x8961 -x8965 -x8969 -x8973
1783.36	v -x8977 -x8981 -x8985 -x8989 -x8993 -x8997 -x9001 -x9005 -x9009 -x9013 -x9017 -x9021 -x9025 x9029 -x9033 -x9037 -x9041
1783.36	v -x9045 -x9049 -x9053 -x9057 -x9061 -x9065 -x9069 -x9073 -x9076 -x9079 -x9082 x9085 -x9088 -x9091 -x9094 -x9097 -x9100
1783.36	v -x9103 -x9106 -x9109 -x9112 -x9115 -x9118 -x9121 -x9124 -x9127 -x9130 -x9133 -x9136 -x9139 -x9142 -x9145 -x9148 -x9151
1783.36	v -x9154 -x9074 -x9077 -x9080 -x9083 -x9086 -x9089 -x9092 -x9095 x9098 -x9101 -x9104 -x9107 -x9110 -x9113 -x9116 -x9119
1783.36	v -x9122 -x9125 -x9128 -x9131 -x9134 -x9137 -x9140 -x9143 -x9146 -x9149 -x9152 -x9155 -x9075 -x9078 -x9081 -x9084 -x9087
1783.36	v -x9090 -x9093 -x9096 -x9099 -x9102 -x9105 x9108 -x9111 -x9114 -x9117 -x9120 -x9123 -x9126 -x9129 -x9132 -x9135 -x9138
1783.36	v -x9141 -x9144 -x9147 -x9150 -x9153 -x9156 -x9158 -x9161 -x9164 -x9167 -x9170 -x9173 -x9176 -x9179 x9182 -x9185 -x9188
1783.36	v -x9191 -x9194 -x9197 -x9200 -x9203 -x9206 -x9209 -x9212 -x9215 -x9218 -x9221 -x9224 -x9227 -x9230 -x9233 -x9236 -x9239
1783.36	v -x9159 -x9162 -x9165 -x9168 -x9171 -x9174 -x9177 -x9180 -x9183 -x9186 -x9189 x9192 -x9195 -x9198 -x9201 -x9204 -x9207
1783.36	v -x9210 -x9213 -x9216 -x9219 -x9222 -x9225 -x9228 -x9231 -x9234 -x9237 -x9240 -x9157 -x9160 -x9163 -x9166 -x9169 -x9172
1783.36	v -x9175 -x9178 -x9181 -x9184 -x9187 -x9190 -x9193 -x9196 -x9199 x9202 -x9205 -x9208 -x9211 -x9214 -x9217 -x9220 -x9223
1783.36	v -x9226 -x9229 -x9232 -x9235 -x9238 -x9243 -x9247 x9251 -x9255 -x9259 -x9263 -x9267 -x9271 -x9275 -x9279 -x9283 -x9287
1783.36	v -x9291 -x9295 -x9299 -x9303 -x9307 -x9311 -x9315 -x9319 -x9323 -x9327 -x9331 -x9335 -x9339 -x9343 -x9347 -x9351 -x9244
1783.36	v -x9248 -x9252 -x9256 -x9260 -x9264 -x9268 -x9272 x9276 -x9280 -x9284 -x9288 -x9292 -x9296 -x9300 -x9304 -x9308 -x9312
1783.36	v -x9316 -x9320 -x9324 -x9328 -x9332 -x9336 -x9340 -x9344 -x9348 -x9352 -x9241 -x9245 -x9249 -x9253 -x9257 -x9261 -x9265
1783.36	v -x9269 -x9273 -x9277 -x9281 x9285 -x9289 -x9293 -x9297 -x9301 -x9305 -x9309 -x9313 -x9317 -x9321 -x9325 -x9329 -x9333
1783.36	v -x9337 -x9341 -x9345 -x9349 -x9354 -x9357 -x9360 -x9363 -x9366 -x9369 -x9372 -x9375 -x9378 -x9381 -x9384 -x9387 -x9390
1783.36	v -x9393 -x9396 -x9399 -x9402 x9405 -x9408 -x9411 -x9414 -x9417 -x9420 -x9423 -x9426 -x9429 -x9432 -x9435 -x9355 -x9358
1783.36	v -x9361 -x9364 -x9367 -x9370 -x9373 -x9376 -x9379 -x9382 -x9385 -x9388 -x9391 -x9394 -x9397 -x9400 -x9403 -x9406 -x9409
1783.36	v x9412 -x9415 -x9418 -x9421 -x9424 -x9427 -x9430 -x9433 -x9436 -x9353 -x9356 -x9359 -x9362 -x9365 -x9368 -x9371 -x9374
1783.36	v -x9377 -x9380 -x9383 -x9386 -x9389 -x9392 -x9395 -x9398 -x9401 -x9404 -x9407 -x9410 -x9413 -x9416 -x9419 -x9422 x9425
1783.36	v -x9428 -x9431 -x9434 -x9437 -x9441 -x9445 -x9449 x9453 -x9457 -x9461 -x9465 -x9469 -x9473 -x9477 -x9481 -x9485 -x9489
1783.36	v -x9493 -x9497 -x9501 -x9505 -x9509 -x9513 -x9517 -x9521 -x9525 -x9529 -x9533 -x9537 -x9541 -x9545 -x9438 -x9442 -x9446
1783.36	v -x9450 -x9454 -x9458 -x9462 -x9466 -x9470 -x9474 -x9478 x9482 -x9486 -x9490 -x9494 -x9498 -x9502 -x9506 -x9510 -x9514
1783.36	v -x9518 -x9522 -x9526 -x9530 -x9534 -x9538 -x9542 -x9546 -x9439 -x9443 -x9447 -x9451 -x9455 -x9459 -x9463 -x9467 -x9471
1783.36	v -x9475 -x9479 -x9483 -x9487 -x9491 -x9495 -x9499 -x9503 -x9507 -x9511 -x9515 -x9519 -x9523 -x9527 -x9531 -x9535 -x9539
1783.36	v x9543 -x9547 -x9549 -x9553 -x9557 -x9561 -x9565 -x9569 -x9573 -x9577 -x9581 -x9585 -x9589 -x9593 -x9597 -x9601 x9605 -x9609
1783.36	v -x9613 -x9617 -x9621 -x9625 -x9629 -x9633 -x9637 -x9641 -x9645 -x9649 -x9653 -x9657 -x9550 -x9554 -x9558 -x9562 -x9566
1783.36	v -x9570 -x9574 -x9578 -x9582 -x9586 -x9590 -x9594 -x9598 -x9602 -x9606 -x9610 -x9614 -x9618 -x9622 -x9626 -x9630 x9634
1783.36	v -x9638 -x9642 -x9646 -x9650 -x9654 -x9658 -x9551 -x9555 -x9559 -x9563 -x9567 -x9571 -x9575 -x9579 -x9583 -x9587 -x9591
1783.36	v -x9595 -x9599 -x9603 -x9607 -x9611 -x9615 -x9619 -x9623 -x9627 -x9631 -x9635 x9639 -x9643 -x9647 -x9651 -x9655 -x9659
1783.36	v -x9661 -x9665 -x9669 -x9673 -x9677 -x9681 -x9685 -x9689 -x9693 -x9697 -x9701 -x9705 -x9709 -x9713 -x9717 x9721 -x9725
1783.36	v -x9729 -x9733 -x9737 -x9741 -x9745 -x9749 -x9753 -x9757 -x9761 -x9765 -x9769 -x9662 -x9666 -x9670 -x9674 -x9678 -x9682
1783.36	v -x9686 -x9690 -x9694 -x9698 -x9702 -x9706 -x9710 -x9714 -x9718 -x9722 -x9726 -x9730 -x9734 -x9738 x9742 -x9746 -x9750
1783.36	v -x9754 -x9758 -x9762 -x9766 -x9770 -x9663 -x9667 -x9671 -x9675 -x9679 -x9683 -x9687 -x9691 -x9695 -x9699 -x9703 -x9707
1783.36	v -x9711 -x9715 -x9719 -x9723 -x9727 -x9731 -x9735 -x9739 -x9743 -x9747 x9751 -x9755 -x9759 -x9763 -x9767 -x9771 -x9773
1783.36	v -x9777 -x9781 -x9785 -x9789 -x9793 -x9797 -x9801 -x9805 -x9809 -x9813 -x9817 -x9821 -x9825 x9829 -x9833 -x9837 -x9841
1783.36	v -x9845 -x9849 -x9853 -x9857 -x9861 -x9865 -x9869 -x9873 -x9877 -x9881 -x9775 -x9779 -x9783 -x9787 -x9791 -x9795 -x9799
1783.36	v -x9803 -x9807 -x9811 -x9815 -x9819 -x9823 -x9827 -x9831 -x9835 -x9839 -x9843 -x9847 x9851 -x9855 -x9859 -x9863 -x9867
1783.36	v -x9871 -x9875 -x9879 -x9883 -x9774 -x9778 -x9782 -x9786 -x9790 -x9794 -x9798 -x9802 -x9806 -x9810 -x9814 -x9818 -x9822
1783.36	v -x9826 -x9830 -x9834 -x9838 -x9842 -x9846 -x9850 -x9854 -x9858 -x9862 x9866 -x9870 -x9874 -x9878 -x9882 -x9885 -x9888
1783.36	v -x9891 -x9894 -x9897 -x9900 -x9903 -x9906 -x9909 -x9912 -x9915 x9918 -x9921 -x9924 -x9927 -x9930 -x9933 -x9936 -x9939
1783.36	v -x9942 -x9945 -x9948 -x9951 -x9954 -x9957 -x9960 -x9963 -x9966 -x9887 -x9890 -x9893 -x9896 -x9899 -x9902 -x9905 -x9908
1783.36	v -x9911 -x9914 -x9917 -x9920 -x9923 x9926 -x9929 -x9932 -x9935 -x9938 -x9941 -x9944 -x9947 -x9950 -x9953 -x9956 -x9959
1783.36	v -x9962 -x9965 -x9968 -x9886 -x9889 -x9892 -x9895 -x9898 -x9901 -x9904 -x9907 -x9910 -x9913 -x9916 -x9919 -x9922 -x9925
1783.36	v -x9928 x9931 -x9934 -x9937 -x9940 -x9943 -x9946 -x9949 -x9952 -x9955 -x9958 -x9961 -x9964 -x9967 -x9969 -x9972 -x9975
1783.36	v -x9978 -x9981 -x9984 -x9987 -x9990 -x9993 -x9996 -x9999 -x10002 -x10005 -x10008 -x10011 x10014 -x10017 -x10020 -x10023
1783.36	v -x10026 -x10029 -x10032 -x10035 -x10038 -x10041 -x10044 -x10047 -x10050 -x9971 -x9974 -x9977 -x9980 -x9983 -x9986 -x9989
1783.36	v -x9992 -x9995 -x9998 -x10001 -x10004 -x10007 -x10010 -x10013 -x10016 -x10019 x10022 -x10025 -x10028 -x10031 -x10034
1783.36	v -x10037 -x10040 -x10043 -x10046 -x10049 -x10052 -x9970 -x9973 -x9976 -x9979 -x9982 -x9985 -x9988 -x9991 -x9994 -x9997
1783.36	v -x10000 -x10003 -x10006 -x10009 -x10012 -x10015 -x10018 -x10021 -x10024 -x10027 x10030 -x10033 -x10036 -x10039 -x10042
1783.36	v -x10045 -x10048 -x10051 -x10053 -x10057 x10061 -x10065 -x10069 -x10073 -x10077 -x10081 -x10085 -x10089 -x10093 -x10097
1783.36	v -x10101 -x10105 -x10109 -x10113 -x10117 -x10121 -x10125 -x10129 -x10133 -x10137 -x10141 -x10145 -x10149 -x10153 -x10157
1783.36	v -x10161 -x10054 -x10058 -x10062 -x10066 -x10070 -x10074 x10078 -x10082 -x10086 -x10090 -x10094 -x10098 -x10102 -x10106
1783.36	v -x10110 -x10114 -x10118 -x10122 -x10126 -x10130 -x10134 -x10138 -x10142 -x10146 -x10150 -x10154 -x10158 -x10162 -x10055
1783.36	v -x10059 -x10063 -x10067 -x10071 -x10075 -x10079 -x10083 -x10087 -x10091 -x10095 -x10099 -x10103 -x10107 -x10111 -x10115
1783.36	v -x10119 -x10123 -x10127 -x10131 x10135 -x10139 -x10143 -x10147 -x10151 -x10155 -x10159 -x10163 -x10167 -x10170 -x10173
1783.36	v -x10176 -x10179 -x10182 -x10185 -x10188 -x10191 -x10194 -x10197 -x10200 x10203 -x10206 -x10209 -x10212 -x10215 -x10218
1783.36	v -x10221 -x10224 -x10227 -x10230 -x10233 -x10236 -x10239 -x10242 -x10245 -x10248 -x10166 -x10169 -x10172 -x10175 -x10178
1783.36	v -x10181 -x10184 -x10187 -x10190 -x10193 -x10196 -x10199 -x10202 -x10205 -x10208 x10211 -x10214 -x10217 -x10220 -x10223
1783.36	v -x10226 -x10229 -x10232 -x10235 -x10238 -x10241 -x10244 -x10247 -x10165 -x10168 -x10171 -x10174 -x10177 -x10180 -x10183
1783.36	v -x10186 -x10189 -x10192 -x10195 -x10198 -x10201 -x10204 -x10207 -x10210 -x10213 -x10216 -x10219 -x10222 -x10225 x10228
1783.36	v -x10231 -x10234 -x10237 -x10240 -x10243 -x10246 -x10250 -x10253 -x10256 -x10259 -x10262 -x10265 -x10268 x10271 -x10274
1783.36	v -x10277 -x10280 -x10283 -x10286 -x10289 -x10292 -x10295 -x10298 -x10301 -x10304 -x10307 -x10310 -x10313 -x10316 -x10319
1783.36	v -x10322 -x10325 -x10328 -x10331 -x10251 -x10254 -x10257 -x10260 -x10263 -x10266 -x10269 -x10272 x10275 -x10278 -x10281
1783.36	v -x10284 -x10287 -x10290 -x10293 -x10296 -x10299 -x10302 -x10305 -x10308 -x10311 -x10314 -x10317 -x10320 -x10323 -x10326
1783.36	v -x10329 -x10332 -x10249 -x10252 -x10255 -x10258 -x10261 -x10264 -x10267 -x10270 -x10273 -x10276 x10279 -x10282 -x10285
1783.36	v -x10288 -x10291 -x10294 -x10297 -x10300 -x10303 -x10306 -x10309 -x10312 -x10315 -x10318 -x10321 -x10324 -x10327 -x10330
1783.36	v -x10334 -x10337 -x10340 -x10343 -x10346 -x10349 -x10352 -x10355 -x10358 -x10361 -x10364 -x10367 -x10370 -x10373 x10376
1783.36	v -x10379 -x10382 -x10385 -x10388 -x10391 -x10394 -x10397 -x10400 -x10403 -x10406 -x10409 -x10412 -x10415 -x10335 -x10338
1783.36	v -x10341 -x10344 -x10347 -x10350 -x10353 -x10356 -x10359 -x10362 -x10365 -x10368 -x10371 -x10374 -x10377 x10380 -x10383
1783.36	v -x10386 -x10389 -x10392 -x10395 -x10398 -x10401 -x10404 -x10407 -x10410 -x10413 -x10416 -x10333 -x10336 -x10339 -x10342
1783.36	v -x10345 -x10348 -x10351 -x10354 -x10357 -x10360 -x10363 -x10366 -x10369 -x10372 -x10375 -x10378 -x10381 -x10384 x10387
1783.36	v -x10390 -x10393 -x10396 -x10399 -x10402 -x10405 -x10408 -x10411 -x10414 -x10417 -x10421 -x10425 -x10429 -x10433 -x10437
1783.36	v -x10441 -x10445 -x10449 -x10453 -x10457 -x10461 -x10465 -x10469 -x10473 -x10477 -x10481 x10485 -x10489 -x10493 -x10497
1783.36	v -x10501 -x10505 -x10509 -x10513 -x10517 -x10521 -x10525 -x10418 -x10422 -x10426 -x10430 -x10434 -x10438 -x10442 -x10446
1783.36	v -x10450 -x10454 -x10458 -x10462 -x10466 -x10470 -x10474 -x10478 -x10482 -x10486 -x10490 -x10494 -x10498 -x10502 x10506
1783.36	v -x10510 -x10514 -x10518 -x10522 -x10526 -x10419 -x10423 -x10427 -x10431 -x10435 -x10439 -x10443 -x10447 -x10451 -x10455
1783.36	v -x10459 -x10463 -x10467 -x10471 -x10475 -x10479 -x10483 -x10487 -x10491 -x10495 -x10499 -x10503 -x10507 -x10511 x10515
1783.36	v -x10519 -x10523 -x10527 -x10530 x10532 -x10534 -x10536 -x10538 -x10540 -x10542 -x10544 -x10546 -x10548 -x10550 -x10552
1783.36	v -x10554 -x10556 -x10558 -x10560 -x10562 -x10564 -x10566 -x10568 -x10570 -x10572 -x10574 -x10576 -x10578 -x10580 -x10582
1783.36	v -x10584 -x10529 -x10531 -x10533 -x10535 x10537 -x10539 -x10541 -x10543 -x10545 -x10547 -x10549 -x10551 -x10553 -x10555
1783.36	v -x10557 -x10559 -x10561 -x10563 -x10565 -x10567 -x10569 -x10571 -x10573 -x10575 -x10577 -x10579 -x10581 -x10583 -x10586
1783.36	v -x10588 -x10590 -x10592 -x10594 -x10596 -x10598 -x10600 -x10602 -x10604 -x10606 -x10608 -x10610 -x10612 -x10614 -x10616
1783.36	v -x10618 x10620 -x10622 -x10624 -x10626 -x10628 -x10630 -x10632 -x10634 -x10636 -x10638 -x10640 -x10585 -x10587 -x10589
1783.36	v -x10591 -x10593 -x10595 -x10597 -x10599 -x10601 -x10603 -x10605 -x10607 -x10609 -x10611 -x10613 -x10615 -x10617 -x10619
1783.36	v -x10621 -x10623 x10625 -x10627 -x10629 -x10631 -x10633 -x10635 -x10637 -x10639 -x10641 -x10644 -x10647 -x10650 -x10653
1783.36	v -x10656 -x10659 -x10662 -x10665 -x10668 -x10671 -x10674 x10677 -x10680 -x10683 -x10686 -x10689 -x10692 -x10695 -x10698
1783.36	v -x10701 -x10704 -x10707 -x10710 -x10713 -x10716 -x10719 -x10722 -x10642 -x10645 -x10648 -x10651 -x10654 -x10657 -x10660
1783.36	v -x10663 -x10666 -x10669 -x10672 -x10675 -x10678 x10681 -x10684 -x10687 -x10690 -x10693 -x10696 -x10699 -x10702 -x10705
1783.36	v -x10708 -x10711 -x10714 -x10717 -x10720 -x10723 -x10643 -x10646 -x10649 -x10652 -x10655 -x10658 -x10661 -x10664 -x10667
1783.36	v -x10670 -x10673 -x10676 -x10679 -x10682 -x10685 -x10688 x10691 -x10694 -x10697 -x10700 -x10703 -x10706 -x10709 -x10712
1783.36	v -x10715 -x10718 -x10721 -x10724 -x5799 -x7759 -x7983 -x5803 -x7763 -x7987 -x5807 -x7767 -x7991 -x5811 -x7771 -x7995 -x5815
1783.36	v x7775 -x7999 -x5819 -x7779 -x8003 -x5823 -x7783 -x8007 -x5827 -x7787 -x8011 -x5831 -x7791 -x8015 x5835 -x7795 -x8019 -x5839
1783.36	v -x7799 -x8023 -x5843 -x7803 -x8027 -x5847 -x7807 -x8031 -x5851 -x7811 -x8035 -x5855 -x7815 -x8039 -x5859 -x7819 -x8043
1783.36	v -x5863 -x7823 x8047 -x5867 -x7827 -x8051 -x5871 -x7831 -x8055 -x5875 -x7835 -x8059 -x5879 -x7839 -x8063 -x5883 -x7843
1783.36	v -x8067 -x5887 -x7847 -x8071 -x5891 -x7851 -x8075 -x5895 -x7855 -x8079 -x5899 -x7859 -x8083 -x5903 -x7863 -x8087 -x5907
1783.36	v -x7867 -x8091 -x2300 -x2412 -x3448 -x4176 -x5100 -x5212 -x5324 -x5604 -x8208 -x8404 -x9440 -x9552 -x9664 -x10056 -x10420
1783.36	v -x2304 -x2416 -x3452 -x4180 -x5104 -x5216 -x5328 -x5608 -x8212 -x8408 -x9444 -x9556 -x9668 -x10060 -x10424 -x2308 -x2420
1783.36	v -x3456 -x4184 -x5108 -x5220 -x5332 -x5612 x8216 -x8412 -x9448 -x9560 -x9672 -x10064 -x10428 -x2312 -x2424 -x3460 -x4188
1783.36	v -x5112 -x5224 -x5336 -x5616 -x8220 -x8416 -x9452 -x9564 -x9676 x10068 -x10432 -x2316 x2428 -x3464 -x4192 -x5116 -x5228
1783.36	v -x5340 -x5620 -x8224 -x8420 -x9456 -x9568 -x9680 -x10072 -x10436 -x2320 -x2432 -x3468 -x4196 -x5120 -x5232 -x5344 -x5624
1783.36	v -x8228 -x8424 -x9460 -x9572 -x9684 -x10076 -x10440 -x2324 -x2436 -x3472 -x4200 -x5124 -x5236 -x5348 -x5628 -x8232 -x8428
1783.36	v -x9464 -x9576 -x9688 -x10080 -x10444 -x2328 -x2440 -x3476 -x4204 -x5128 -x5240 -x5352 -x5632 -x8236 -x8432 -x9468 -x9580
1783.36	v -x9692 -x10084 -x10448 -x2332 -x2444 -x3480 -x4208 -x5132 x5244 -x5356 -x5636 -x8240 -x8436 x9472 -x9584 -x9696 -x10088
1783.36	v -x10452 -x2336 -x2448 -x3484 -x4212 x5136 -x5248 -x5360 -x5640 -x8244 -x8440 -x9476 -x9588 -x9700 -x10092 -x10456 -x2340
1783.36	v -x2452 -x3488 -x4216 -x5140 -x5252 -x5364 -x5644 -x8248 -x8444 -x9480 -x9592 -x9704 -x10096 -x10460 -x2344 -x2456 -x3492
1783.36	v -x4220 -x5144 -x5256 -x5368 -x5648 -x8252 -x8448 -x9484 -x9596 -x9708 -x10100 -x10464 -x2348 -x2460 -x3496 -x4224 -x5148
1783.36	v -x5260 -x5372 -x5652 -x8256 -x8452 -x9488 -x9600 -x9712 -x10104 -x10468 -x2352 -x2464 -x3500 -x4228 -x5152 -x5264 -x5376
1783.36	v -x5656 -x8260 -x8456 -x9492 -x9604 -x9716 -x10108 -x10472 -x2356 -x2468 -x3504 -x4232 -x5156 -x5268 -x5380 -x5660 -x8264
1783.36	v x8460 -x9496 -x9608 -x9720 -x10112 -x10476 -x2360 -x2472 -x3508 -x4236 -x5160 -x5272 -x5384 x5664 -x8268 -x8464 -x9500
1783.36	v -x9612 -x9724 -x10116 -x10480 x2364 -x2476 x3512 -x4240 -x5164 -x5276 x5388 -x5668 -x8272 -x8468 -x9504 -x9616 -x9728
1783.36	v -x10120 -x10484 -x2368 -x2480 -x3516 x4244 -x5168 -x5280 -x5392 -x5672 -x8276 -x8472 -x9508 x9620 x9732 -x10124 -x10488
1783.36	v -x2372 -x2484 -x3520 -x4248 -x5172 -x5284 -x5396 -x5676 -x8280 -x8476 -x9512 -x9624 -x9736 -x10128 -x10492 -x2376 -x2488
1783.36	v -x3524 -x4252 -x5176 -x5288 -x5400 -x5680 -x8284 -x8480 -x9516 -x9628 -x9740 -x10132 x10496 -x2380 -x2492 -x3528 -x4256
1783.36	v -x5180 -x5292 -x5404 -x5684 -x8288 -x8484 -x9520 -x9632 -x9744 -x10136 -x10500 -x2384 -x2496 -x3532 -x4260 -x5184 -x5296
1783.36	v -x5408 -x5688 -x8292 -x8488 -x9524 -x9636 -x9748 -x10140 -x10504 -x2388 -x2500 -x3536 -x4264 -x5188 -x5300 -x5412 -x5692
1783.36	v -x8296 -x8492 -x9528 -x9640 -x9752 -x10144 -x10508 -x2392 -x2504 -x3540 -x4268 -x5192 -x5304 -x5416 -x5696 -x8300 -x8496
1783.36	v -x9532 -x9644 -x9756 -x10148 -x10512 -x2396 -x2508 -x3544 -x4272 -x5196 -x5308 -x5420 -x5700 -x8304 -x8500 -x9536 -x9648
1783.36	v -x9760 -x10152 -x10516 -x2400 -x2512 -x3548 -x4276 -x5200 -x5312 -x5424 -x5704 -x8308 -x8504 -x9540 -x9652 -x9764 -x10156
1783.36	v -x10520 -x2404 -x2516 -x3552 -x4280 -x5204 -x5316 -x5428 -x5708 -x8312 -x8508 -x9544 -x9656 -x9768 -x10160 -x10524 -x2408
1783.36	v -x2520 -x3556 -x4284 -x5208 -x5320 -x5432 -x5712 -x8316 -x8512 -x9548 -x9660 -x9772 -x10164 -x10528 -x284 -x648 -x3084
1783.36	v -x4988 -x9776 -x288 -x652 -x3088 -x4992 -x9780 -x292 -x656 -x3092 -x4996 -x9784 -x296 -x660 -x3096 -x5000 -x9788 -x300
1783.36	v -x664 -x3100 -x5004 -x9792 x304 -x668 -x3104 -x5008 -x9796 -x308 -x672 -x3108 -x5012 -x9800 -x312 -x676 -x3112 -x5016 -x9804
1783.36	v -x316 -x680 -x3116 x5020 -x9808 -x320 -x684 -x3120 -x5024 -x9812 -x324 -x688 -x3124 -x5028 -x9816 -x328 x692 -x3128 -x5032
1783.36	v -x9820 -x332 -x696 -x3132 -x5036 -x9824 -x336 -x700 -x3136 -x5040 -x9828 -x340 -x704 x3140 -x5044 -x9832 -x344 -x708 -x3144
1783.36	v -x5048 -x9836 -x348 -x712 -x3148 -x5052 -x9840 -x352 -x716 -x3152 -x5056 x9844 -x356 -x720 -x3156 -x5060 -x9848 -x360 -x724
1783.36	v -x3160 -x5064 -x9852 -x364 -x728 -x3164 -x5068 -x9856 -x368 -x732 -x3168 -x5072 -x9860 -x372 -x736 -x3172 -x5076 -x9864
1783.36	v -x376 -x740 -x3176 -x5080 -x9868 -x380 -x744 -x3180 -x5084 -x9872 -x384 -x748 -x3184 -x5088 -x9876 -x388 -x752 -x3188 -x5092
1783.36	v -x9880 -x392 -x756 -x3192 -x5096 -x9884 -x2 -x6 -x10 -x14 -x18 -x22 x26 -x30 -x34 -x38 -x42 -x46 -x50 -x54 -x58 -x62 -x66 -x70
1783.36	v -x74 -x78 -x82 -x86 -x90 -x94 -x98 -x102 -x106 -x110 -x757 -x762 -x767 -x772 -x777 -x782 -x787 x792 -x797 -x802 -x807 -x812
1783.36	v -x817 -x822 -x827 -x832 -x837 -x842 -x847 -x852 -x857 -x862 -x867 -x872 -x877 -x882 -x887 -x892 -x761 -x766 -x771 -x776 -x781
1783.36	v -x786 -x791 -x796 -x801 -x806 -x811 x816 -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x881 -x886
1783.36	v -x891 -x896 -x897 -x902 -x907 -x912 x917 -x922 -x927 -x932 -x937 -x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987
1783.36	v -x992 -x997 -x1002 -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x901 -x906 -x911 -x916 -x921 -x926 -x931 -x936 -x941 -x946
1783.36	v -x951 x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 -x1011 -x1016 -x1021 -x1026 -x1031 -x1036 -x1908
1783.36	v -x1912 -x1916 -x1920 -x1924 -x1928 -x1932 -x1936 -x1940 -x1944 -x1948 x1952 -x1956 -x1960 -x1964 -x1968 -x1972 -x1976
1783.36	v -x1980 -x1984 -x1988 -x1992 -x1996 -x2000 -x2004 -x2008 -x2012 -x2016 -x2020 -x2024 -x2028 -x2032 -x2036 -x2040 x2044
1783.36	v -x2048 -x2052 -x2056 -x2060 -x2064 -x2068 -x2072 -x2076 -x2080 -x2084 -x2088 -x2092 -x2096 -x2100 -x2104 -x2108 -x2112
1783.36	v -x2116 -x2120 -x2124 -x2128 -x2607 -x2612 -x2617 -x2622 -x2627 -x2632 -x2637 -x2642 -x2647 -x2652 -x2657 x2662 -x2667
1783.36	v -x2672 -x2677 -x2682 -x2687 -x2692 -x2697 -x2702 -x2707 -x2712 -x2717 -x2722 -x2727 -x2732 -x2737 -x2742 -x2609 -x2614
1783.36	v -x2619 -x2624 -x2629 -x2634 -x2639 -x2644 -x2649 -x2654 -x2659 -x2664 -x2669 -x2674 x2679 -x2684 -x2689 -x2694 -x2699
1783.36	v -x2704 -x2709 -x2714 -x2719 -x2724 -x2729 -x2734 -x2739 -x2744 -x3644 -x3648 -x3652 -x3656 -x3660 -x3664 -x3668 -x3672
1783.36	v -x3676 -x3680 x3684 -x3688 -x3692 -x3696 -x3700 -x3704 -x3708 -x3712 -x3716 -x3720 -x3724 -x3728 -x3732 -x3736 -x3740
1783.36	v -x3744 -x3748 -x3752 -x3838 -x3842 -x3846 -x3850 -x3854 -x3858 -x3862 -x3866 -x3870 -x3874 -x3878 -x3882 -x3886 -x3890
1783.36	v -x3894 -x3898 -x3902 -x3906 x3910 -x3914 -x3918 -x3922 -x3926 -x3930 -x3934 -x3938 -x3942 -x3946 -x4035 -x4040 -x4045
1783.36	v -x4050 x4055 -x4060 -x4065 -x4070 -x4075 -x4080 -x4085 -x4090 -x4095 -x4100 -x4105 -x4110 -x4115 -x4120 -x4125 -x4130
1783.36	v -x4135 -x4140 -x4145 -x4150 -x4155 -x4160 -x4165 -x4170 -x4037 -x4042 -x4047 -x4052 -x4057 -x4062 -x4067 x4072 -x4077
1783.36	v -x4082 -x4087 -x4092 -x4097 -x4102 -x4107 -x4112 -x4117 -x4122 -x4127 -x4132 -x4137 -x4142 -x4147 -x4152 -x4157 -x4162
1783.36	v -x4167 -x4172 -x4455 -x4460 -x4465 -x4470 -x4475 -x4480 -x4485 -x4490 -x4495 -x4500 -x4505 -x4510 -x4515 x4520 -x4525
1783.36	v -x4530 -x4535 -x4540 -x4545 -x4550 -x4555 -x4560 -x4565 -x4570 -x4575 -x4580 -x4585 -x4590 -x4457 -x4462 -x4467 -x4472
1783.36	v -x4477 -x4482 -x4487 -x4492 -x4497 -x4502 -x4507 -x4512 -x4517 -x4522 -x4527 -x4532 x4537 -x4542 -x4547 -x4552 -x4557
1783.36	v -x4562 -x4567 -x4572 -x4577 -x4582 -x4587 -x4592 -x4678 -x4682 -x4686 -x4690 x4694 -x4698 -x4702 -x4706 -x4710 -x4714
1783.36	v -x4718 -x4722 -x4726 -x4730 -x4734 -x4738 -x4742 -x4746 -x4750 -x4754 -x4758 -x4762 -x4766 -x4770 -x4774 -x4778 -x4782
1783.36	v -x4786 -x4790 -x4794 -x4798 -x4802 -x4806 -x4810 -x4814 -x4818 -x4822 -x4826 -x4830 -x4834 x4838 -x4842 -x4846 -x4850
1783.36	v -x4854 -x4858 -x4862 -x4866 -x4870 -x4874 -x4878 -x4882 -x4886 -x4890 -x4894 -x4898 -x5912 -x5916 -x5920 -x5924 -x5928
1783.36	v -x5932 -x5936 -x5940 -x5944 -x5948 x5952 -x5956 -x5960 -x5964 -x5968 -x5972 -x5976 -x5980 -x5984 -x5988 -x5992 -x5996
1783.36	v -x6000 -x6004 -x6008 -x6012 -x6016 -x6020 -x6024 -x6028 -x6032 -x6036 -x6040 -x6044 -x6048 -x6052 -x6056 -x6060 -x6064
1783.36	v -x6068 -x6072 -x6076 -x6080 -x6084 -x6088 x6092 -x6096 -x6100 -x6104 -x6108 -x6112 -x6116 -x6120 -x6124 -x6128 -x6132
1783.36	v -x7872 -x7876 -x7880 -x7884 -x7888 -x7892 -x7896 -x7900 -x7904 -x7908 -x7912 -x7916 -x7920 -x7924 -x7928 x7932 -x7936
1783.36	v -x7940 -x7944 -x7948 -x7952 -x7956 -x7960 -x7964 -x7968 -x7972 -x7976 -x7980 -x8096 -x8100 -x8104 -x8108 -x8112 -x8116
1783.36	v -x8120 -x8124 -x8128 -x8132 x8136 -x8140 -x8144 -x8148 -x8152 -x8156 -x8160 -x8164 -x8168 -x8172 -x8176 -x8180 -x8184
1783.36	v -x8188 -x8192 -x8196 -x8200 -x8204 -x8681 -x8686 -x8691 -x8696 -x8701 -x8706 -x8711 -x8716 -x8721 -x8726 x8731 -x8736
1783.36	v -x8741 -x8746 -x8751 -x8756 -x8761 -x8766 -x8771 -x8776 -x8781 -x8786 -x8791 -x8796 -x8801 -x8806 -x8811 -x8816 -x8685
1783.36	v -x8690 -x8695 -x8700 -x8705 -x8710 -x8715 -x8720 -x8725 -x8730 -x8735 -x8740 -x8745 -x8750 -x8755 -x8760 x8765 -x8770
1783.36	v -x8775 -x8780 -x8785 -x8790 -x8795 -x8800 -x8805 -x8810 -x8815 -x8820 -x8821 -x8826 -x8831 -x8836 x8841 -x8846 -x8851
1783.36	v -x8856 -x8861 -x8866 -x8871 -x8876 -x8881 -x8886 -x8891 -x8896 -x8901 -x8906 -x8911 -x8916 -x8921 -x8926 -x8931 -x8936
1783.36	v -x8941 -x8946 -x8951 -x8956 -x8825 -x8830 -x8835 -x8840 -x8845 -x8850 -x8855 x8860 -x8865 -x8870 -x8875 -x8880 -x8885
1783.36	v -x8890 -x8895 -x8900 -x8905 -x8910 -x8915 -x8920 -x8925 -x8930 -x8935 -x8940 -x8945 -x8950 -x8955 -x8960 -x8962 -x8966
1783.36	v -x8970 -x8974 -x8978 -x8982 -x8986 -x8990 -x8994 -x8998 -x9002 -x9006 x9010 -x9014 -x9018 -x9022 -x9026 -x9030 -x9034
1783.36	v -x9038 -x9042 -x9046 -x9050 -x9054 -x9058 -x9062 -x9066 -x9070 -x9242 -x9246 -x9250 -x9254 -x9258 x9262 -x9266 -x9270
1783.36	v -x9274 -x9278 -x9282 -x9286 -x9290 -x9294 -x9298 -x9302 -x9306 -x9310 -x9314 -x9318 -x9322 -x9326 -x9330 -x9334 -x9338
1783.36	v -x9342 -x9346 -x9350

Verifier Data (download as text)

OK	8008

Watcher Data (download as text)

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/node36/watcher-36680-1149373042 -o ROOT/results/node36/solver-36680-1149373042 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node36/36680-1149373042/instance-36680-1149373042.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 7311
/proc/meminfo: memFree=1754056/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=2572 CPUtime=0
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 202970294 2633728 240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1963643 0 0 4096 0 0 0 0 17 0 0 0
/proc/7311/statm: 643 240 193 16 0 84 0

[startup+10.0031 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 7311
/proc/meminfo: memFree=1745688/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=11208 CPUtime=9.99
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 2362 0 0 0 996 3 0 0 25 0 1 0 202970294 11476992 2333 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 2802 2333 206 16 0 2243 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 11208

[startup+20.0097 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1746208/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=10556 CPUtime=19.99
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 2362 0 0 0 1784 215 0 0 25 0 1 0 202970294 10809344 2173 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 2639 2173 206 16 0 2080 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 10556

[startup+30.0155 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1746272/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=10556 CPUtime=30
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 2362 0 0 0 2615 385 0 0 25 0 1 0 202970294 10809344 2173 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 2639 2173 206 16 0 2080 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 10556

[startup+40.0213 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1746272/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=10556 CPUtime=40
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 2362 0 0 0 3453 547 0 0 25 0 1 0 202970294 10809344 2173 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 2639 2173 206 16 0 2080 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 10556

[startup+50.0271 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1746336/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=10556 CPUtime=50
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 2362 0 0 0 4294 706 0 0 25 0 1 0 202970294 10809344 2173 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522701 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 2639 2173 206 16 0 2080 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 10556

[startup+60.0329 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1744352/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=12788 CPUtime=60
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 2903 0 0 0 5216 784 0 0 25 0 1 0 202970294 13094912 2714 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 3197 2714 206 16 0 2638 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 12788

[startup+70.0388 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1711520/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=45608 CPUtime=70.01
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 11107 0 0 0 6212 789 0 0 25 0 1 0 202970294 46702592 10918 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 11402 10918 206 16 0 10843 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 45608

[startup+80.0446 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1598688/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=158176 CPUtime=80.01
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 39259 0 0 0 7200 801 0 0 25 0 1 0 202970294 161972224 39070 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 39544 39070 206 16 0 38985 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 158176

[startup+90.0504 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1616352/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=140140 CPUtime=90.01
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 51195 0 0 0 8094 907 0 0 25 0 1 0 202970294 143503360 34567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 35035 34567 206 16 0 34476 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 140140

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1616352/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=140140 CPUtime=100.01
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 51195 0 0 0 8949 1052 0 0 25 0 1 0 202970294 143503360 34567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 35035 34567 206 16 0 34476 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 140140

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 7311
/proc/meminfo: memFree=1616352/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=140140 CPUtime=110.02
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 51195 0 0 0 9811 1191 0 0 25 0 1 0 202970294 143503360 34567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 35035 34567 206 16 0 34476 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 140140

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1616352/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=140140 CPUtime=120.02
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 51195 0 0 0 10805 1197 0 0 25 0 1 0 202970294 143503360 34567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 35035 34567 206 16 0 34476 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 140140

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1616352/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=140140 CPUtime=130.02
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 51195 0 0 0 11805 1197 0 0 25 0 1 0 202970294 143503360 34567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 35035 34567 206 16 0 34476 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 140140

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1583712/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=173060 CPUtime=140.03
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 59422 0 0 0 12801 1202 0 0 25 0 1 0 202970294 177213440 42794 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 43265 42794 206 16 0 42706 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 173060

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1534176/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=222576 CPUtime=150.03
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 71789 0 0 0 13794 1209 0 0 25 0 1 0 202970294 227917824 55161 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 55644 55161 206 16 0 55085 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 222576

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1485216/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=271452 CPUtime=160.03
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 84003 0 0 0 14788 1215 0 0 25 0 1 0 202970294 277966848 67375 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 67863 67375 206 16 0 67304 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 271452

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1485216/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=271452 CPUtime=170.03
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 84003 0 0 0 15787 1216 0 0 25 0 1 0 202970294 277966848 67375 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557416 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 67863 67375 206 16 0 67304 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 271452

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1495840/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=260564 CPUtime=180.03
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 84003 0 0 0 16786 1217 0 0 25 0 1 0 202970294 266817536 64671 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 65141 64671 206 16 0 64582 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 260564

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1485792/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=270808 CPUtime=190.04
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 86556 0 0 0 17784 1220 0 0 25 0 1 0 202970294 277307392 67224 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517803 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 67702 67224 206 16 0 67143 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 270808

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1485024/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=271604 CPUtime=200.03
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 86754 0 0 0 18782 1221 0 0 25 0 1 0 202970294 278122496 67422 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 67901 67422 206 16 0 67342 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 271604

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7311
/proc/meminfo: memFree=1499616/2055920 swapFree=4181452/4192956

################
# More data... #
################

/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1590.4
Current children cumulated vsize (Kb) 293152

[startup+1600.95 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1600.4
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 157398 2642 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1600.4
Current children cumulated vsize (Kb) 293152

[startup+1610.95 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1610.41
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 158353 2688 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1610.41
Current children cumulated vsize (Kb) 293152

[startup+1620.96 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1620.41
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 159292 2749 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1620.41
Current children cumulated vsize (Kb) 293152

[startup+1630.96 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1630.41
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 160290 2751 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1630.41
Current children cumulated vsize (Kb) 293152

[startup+1640.97 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1640.41
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 161289 2752 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1640.41
Current children cumulated vsize (Kb) 293152

[startup+1650.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1650.42
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 162287 2755 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1650.42
Current children cumulated vsize (Kb) 293152

[startup+1660.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1660.42
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 163202 2840 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (Kb) 293152

[startup+1670.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1670.42
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 164184 2858 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1670.42
Current children cumulated vsize (Kb) 293152

[startup+1680.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1680.42
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 165183 2859 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1680.42
Current children cumulated vsize (Kb) 293152

[startup+1691 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1690.42
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112727 0 0 0 166183 2859 0 0 25 0 1 0 202970294 300187648 72819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72819 206 16 0 72729 0
Current children cumulated CPU time (s) 1690.42
Current children cumulated vsize (Kb) 293152

[startup+1701 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1700.43
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112728 0 0 0 167183 2860 0 0 25 0 1 0 202970294 300187648 72820 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72820 206 16 0 72729 0
Current children cumulated CPU time (s) 1700.43
Current children cumulated vsize (Kb) 293152

[startup+1711.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1463008/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=293152 CPUtime=1710.43
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 112728 0 0 0 168183 2860 0 0 25 0 1 0 202970294 300187648 72820 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 73288 72820 206 16 0 72729 0
Current children cumulated CPU time (s) 1710.43
Current children cumulated vsize (Kb) 293152

[startup+1721.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1459296/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=297096 CPUtime=1720.43
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 113695 0 0 0 169181 2862 0 0 25 0 1 0 202970294 304226304 73787 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74274 73787 206 16 0 73715 0
Current children cumulated CPU time (s) 1720.43
Current children cumulated vsize (Kb) 297096

[startup+1731.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1459296/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=297096 CPUtime=1730.44
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 113695 0 0 0 170181 2863 0 0 25 0 1 0 202970294 304226304 73787 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74274 73787 206 16 0 73715 0
Current children cumulated CPU time (s) 1730.44
Current children cumulated vsize (Kb) 297096

[startup+1741.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1458848/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=297556 CPUtime=1740.44
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 113809 0 0 0 171180 2864 0 0 25 0 1 0 202970294 304697344 73901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74389 73901 206 16 0 73830 0
Current children cumulated CPU time (s) 1740.44
Current children cumulated vsize (Kb) 297556

[startup+1751.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1458848/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=297556 CPUtime=1750.44
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 113809 0 0 0 172180 2864 0 0 25 0 1 0 202970294 304697344 73901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532937 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74389 73901 206 16 0 73830 0
Current children cumulated CPU time (s) 1750.44
Current children cumulated vsize (Kb) 297556

[startup+1761.04 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1458016/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=298384 CPUtime=1760.45
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 114016 0 0 0 173179 2866 0 0 25 0 1 0 202970294 305545216 74108 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74596 74108 206 16 0 74037 0
Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 298384

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1457184/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=299216 CPUtime=1770.44
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 114228 0 0 0 174178 2866 0 0 25 0 1 0 202970294 306397184 74320 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74804 74320 206 16 0 74245 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 299216

[startup+1781.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1458592/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=297568 CPUtime=1780.45
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 114228 0 0 0 175092 2953 0 0 25 0 1 0 202970294 304709632 73922 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74392 73922 206 16 0 73833 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 297568

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1458592/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=297568 CPUtime=1781.46
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 114228 0 0 0 175193 2953 0 0 25 0 1 0 202970294 304709632 73922 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74392 73922 206 16 0 73833 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 297568

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 7313
/proc/meminfo: memFree=1458592/2055920 swapFree=4181452/4192956
[pid=7311] ppid=7309 vsize=297568 CPUtime=1782.46
/proc/7311/stat : 7311 (Pueblo) R 7309 7311 7265 0 -1 4194304 114228 0 0 0 175293 2953 0 0 25 0 1 0 202970294 304709632 73922 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/7311/statm: 74392 73922 206 16 0 73833 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 297568

Child status: 10
Real time (s): 1783.42
CPU time (s): 1782.82
CPU user time (s): 1753.24
CPU system time (s): 29.5795
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (Kb): 305948

Launcher Data (download as text)

Begin job on node36 on Sat Jun  3 22:17:22 UTC 2006


FILE ID= 36680-1149373042

PBS_JOBID= 312298

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node36/36680-1149373042/instance-36680-1149373042.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node36/watcher-36680-1149373042 -o ROOT/results/node36/solver-36680-1149373042 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node36/36680-1149373042/instance-36680-1149373042.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  2b9af9044591fd3eb9f5def12c800cff

RANDOM SEED= 276209751


/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.284
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.284
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:       1754392 kB
Buffers:         24048 kB
Cached:         211380 kB
SwapCached:       3320 kB
Active:          50396 kB
Inactive:       193828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754392 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            43356 kB
Committed_AS:   326052 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Sat Jun  3 22:47:05 UTC 2006