Trace number 455192

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.4SAT-100 1782.76 1783.33

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
MD5SUM68d7f052f18638860d9232a7f3ed2053
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-139
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

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

Verifier Data (download as text)

OK	-100

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node47/watcher-455192-1178038800 -o ROOT/results/node47/solver-455192-1178038800 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 12518
/proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=2552 CPUtime=0
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 158725365 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 638 228 193 16 0 77 0

[startup+0.044853 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 12518
/proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=3352 CPUtime=0.03
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 472 0 0 0 3 0 0 0 18 0 1 0 158725365 3432448 443 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546743 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 838 443 199 16 0 277 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3352

[startup+0.101857 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 12518
/proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=4016 CPUtime=0.09
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 631 0 0 0 9 0 0 0 18 0 1 0 158725365 4112384 602 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10985175 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 1004 602 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301879 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 12518
/proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=7316 CPUtime=0.29
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 1436 0 0 0 28 1 0 0 19 0 1 0 158725365 7491584 1407 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 1829 1407 203 16 0 1268 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7316

[startup+0.701922 s]
/proc/loadavg: 0.85 0.94 0.97 3/77 12518
/proc/meminfo: memFree=1776256/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=8608 CPUtime=0.69
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 1772 0 0 0 66 3 0 0 23 0 1 0 158725365 8814592 1711 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 2152 1711 205 16 0 1591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8608

[startup+1.50201 s]
/proc/loadavg: 0.85 0.94 0.97 2/78 12519
/proc/meminfo: memFree=1770104/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=8608 CPUtime=1.49
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 1772 0 0 0 145 4 0 0 25 0 1 0 158725365 8814592 1711 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 2152 1711 205 16 0 1591 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8608

[startup+3.10118 s]
/proc/loadavg: 0.85 0.94 0.97 2/78 12519
/proc/meminfo: memFree=1769336/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=10148 CPUtime=3.08
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 2153 0 0 0 304 4 0 0 25 0 1 0 158725365 10391552 2092 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 2537 2092 205 16 0 1976 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10148

[startup+6.30153 s]
/proc/loadavg: 0.86 0.94 0.97 2/78 12519
/proc/meminfo: memFree=1765496/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=13816 CPUtime=6.29
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 3064 0 0 0 624 5 0 0 25 0 1 0 158725365 14147584 3003 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 3454 3003 205 16 0 2893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13816

[startup+12.7012 s]
/proc/loadavg: 0.87 0.94 0.97 2/78 12519
/proc/meminfo: memFree=1761080/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=18740 CPUtime=12.68
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 4302 0 0 0 1262 6 0 0 25 0 1 0 158725365 19189760 4241 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 4685 4242 205 16 0 4124 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18740

[startup+25.5016 s]
/proc/loadavg: 0.90 0.94 0.97 2/78 12519
/proc/meminfo: memFree=1736504/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=42460 CPUtime=25.48
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 10224 0 0 0 2538 10 0 0 25 0 1 0 158725365 43479040 10163 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 10615 10163 205 16 0 10054 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42460

[startup+51.1014 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 12519
/proc/meminfo: memFree=1715000/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=63668 CPUtime=51.07
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 15522 0 0 0 5094 13 0 0 25 0 1 0 158725365 65196032 15461 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 15917 15461 205 16 0 15356 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63668

[startup+102.306 s]
/proc/loadavg: 0.97 0.95 0.97 2/84 12689
/proc/meminfo: memFree=1698880/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=78376 CPUtime=102.18
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 19178 0 0 0 10200 18 0 0 25 0 1 0 158725365 80257024 19117 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 19594 19117 205 16 0 19033 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 78376

[startup+162.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 12717
/proc/meminfo: memFree=1691128/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=87284 CPUtime=162.14
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 21421 0 0 0 16192 22 0 0 25 0 1 0 158725365 89378816 21360 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 21821 21360 205 16 0 21260 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 87284

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 12717
/proc/meminfo: memFree=1685624/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=92796 CPUtime=222.13
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 22802 0 0 0 22186 27 0 0 25 0 1 0 158725365 95023104 22740 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 23199 22740 205 16 0 22638 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 92796

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 12717
/proc/meminfo: memFree=1684600/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=93812 CPUtime=282.12
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 23065 0 0 0 28181 31 0 0 25 0 1 0 158725365 96063488 23003 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 23453 23003 205 16 0 22892 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 93812

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 12717
/proc/meminfo: memFree=1677752/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=100696 CPUtime=342.1
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 24752 0 0 0 34173 37 0 0 25 0 1 0 158725365 103112704 24690 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 25174 24690 205 16 0 24613 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 100696

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 12717
/proc/meminfo: memFree=1677816/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=100648 CPUtime=402.08
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 24753 0 0 0 40168 40 0 0 25 0 1 0 158725365 103063552 24691 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 25162 24691 205 16 0 24601 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 100648

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 12717
/proc/meminfo: memFree=1677752/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=100648 CPUtime=462.07
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 24753 0 0 0 46163 44 0 0 25 0 1 0 158725365 103063552 24691 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 25162 24691 205 16 0 24601 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 100648

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 12717
/proc/meminfo: memFree=1669944/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=108616 CPUtime=522.06
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 26785 0 0 0 52158 48 0 0 25 0 1 0 158725365 111222784 26690 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 27154 26690 205 16 0 26593 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 108616

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 12717
/proc/meminfo: memFree=1667064/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=111432 CPUtime=582.04
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 27490 0 0 0 58153 51 0 0 25 0 1 0 158725365 114106368 27395 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 27858 27395 205 16 0 27297 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 111432

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 12719
/proc/meminfo: memFree=1665400/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=113160 CPUtime=642.03
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 27904 0 0 0 64147 56 0 0 25 0 1 0 158725365 115875840 27809 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 28290 27809 205 16 0 27729 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 113160


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

/proc/meminfo: memFree=1665336/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=113076 CPUtime=821.98
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 27907 0 0 0 82133 65 0 0 25 0 1 0 158725365 115789824 27811 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 28269 27811 205 16 0 27708 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 113076

[startup+882.301 s]
/proc/loadavg: 1.02 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1658616/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=120016 CPUtime=881.96
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29580 0 0 0 88128 68 0 0 25 0 1 0 158725365 122896384 29484 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30004 29484 205 16 0 29443 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 120016

[startup+942.302 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1658616/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=119864 CPUtime=941.95
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29581 0 0 0 94124 71 0 0 25 0 1 0 158725365 122740736 29471 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 29966 29471 205 16 0 29405 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 119864

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1658616/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=119864 CPUtime=1001.93
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29581 0 0 0 100118 75 0 0 25 0 1 0 158725365 122740736 29471 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 29966 29471 205 16 0 29405 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 119864

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1657208/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=121408 CPUtime=1061.91
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 29944 0 0 0 106114 77 0 0 25 0 1 0 158725365 124321792 29834 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30352 29834 205 16 0 29791 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 121408

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1656824/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=121784 CPUtime=1121.9
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30044 0 0 0 112110 80 0 0 25 0 1 0 158725365 124706816 29934 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30446 29934 205 16 0 29885 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 121784

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1656824/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=121784 CPUtime=1181.89
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30044 0 0 0 118105 84 0 0 25 0 1 0 158725365 124706816 29934 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30446 29934 205 16 0 29885 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 121784

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1656952/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=121412 CPUtime=1241.87
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 124101 86 0 0 25 0 1 0 158725365 124325888 29859 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528775 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30353 29859 205 16 0 29792 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 121412

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1657080/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=121256 CPUtime=1301.86
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 130097 89 0 0 25 0 1 0 158725365 124166144 29820 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30314 29820 205 16 0 29753 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 121256

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1657080/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=121256 CPUtime=1361.84
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 136092 92 0 0 25 0 1 0 158725365 124166144 29820 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30314 29820 205 16 0 29753 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 121256

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1657144/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=121256 CPUtime=1421.83
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30045 0 0 0 142088 95 0 0 25 0 1 0 158725365 124166144 29820 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 30314 29820 205 16 0 29753 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 121256

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1654904/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=124004 CPUtime=1481.8
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 30718 0 0 0 148082 98 0 0 25 0 1 0 158725365 126980096 30493 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 31001 30493 205 16 0 30440 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 124004

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1648824/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=129792 CPUtime=1541.79
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32155 0 0 0 154077 102 0 0 25 0 1 0 158725365 132907008 31930 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 32448 31930 205 16 0 31887 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 129792

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1648824/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=129792 CPUtime=1601.78
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32156 0 0 0 160072 106 0 0 25 0 1 0 158725365 132907008 31931 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 32448 31931 205 16 0 31887 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 129792

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1648760/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=129672 CPUtime=1661.76
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32160 0 0 0 166067 109 0 0 25 0 1 0 158725365 132784128 31927 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 32418 31927 205 16 0 31857 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 129672

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1648696/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=129888 CPUtime=1721.75
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 172063 112 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 32472 31967 205 16 0 31911 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 129888

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1648632/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=129888 CPUtime=1781.73
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 178059 114 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 32472 31967 205 16 0 31911 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 129888

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1648632/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=129888 CPUtime=1782.53
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 178139 114 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 32472 31967 205 16 0 31911 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (KiB) 129888

[startup+1783.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 12719
/proc/meminfo: memFree=1648632/2055920 swapFree=4157776/4192956
[pid=12518] ppid=12516 vsize=129888 CPUtime=1782.73
/proc/12518/stat : 12518 (Pueblo) R 12516 12518 11808 0 -1 4194304 32561 0 0 0 178159 114 0 0 25 0 1 0 158725365 133005312 31967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528832 0 0 4096 0 0 0 0 17 1 0 0
/proc/12518/statm: 32472 31967 205 16 0 31911 0
Current children cumulated CPU time (s) 1782.73
Current children cumulated vsize (KiB) 129888

Child status: 10
Real time (s): 1783.33
CPU time (s): 1782.76
CPU user time (s): 1781.6
CPU system time (s): 1.16282
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 129888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.6
system time used= 1.16282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 37202

runsolver used 1.35179 second user time and 4.12837 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue May  1 17:00:00 UTC 2007

IDJOB= 455192
IDBENCH= 48247
IDSOLVER= 165
FILE ID= node47/455192-1178038800

PBS_JOBID= 4728425

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb
COMMAND LINE= Pueblo /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-455192-1178038800 -o ROOT/results/node47/conversion-455192-1178038800 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-455192-1178038800 -o ROOT/results/node47/solver-455192-1178038800 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/455192-1178038800/instance-455192-1178038800.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  68d7f052f18638860d9232a7f3ed2053

RANDOM SEED= 298385979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.221
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.221
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:       1776728 kB
Buffers:         75972 kB
Cached:         120084 kB
SwapCached:       3524 kB
Active:         118244 kB
Inactive:       102668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776728 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            3064 kB
Writeback:           0 kB
Mapped:          30512 kB
Slab:            43792 kB
Committed_AS:  5411572 kB
PageTables:       1780 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node47 on Tue May  1 17:29:44 UTC 2007