Trace number 3290633

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
Plingeling 587SAT 58.3141 15.0485

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

58.20/15.04	s SATISFIABLE
58.20/15.04	v -1 2 3 -4 5 -6 7
58.20/15.04	v -8 9 10 -11 -12 -13 -14 15
58.20/15.04	v 16 17 -18 -19 -20 -21 -22 23
58.20/15.04	v -24 -25 -26 -27 28 29 -30 31
58.20/15.04	v -32 -33 -34 -35 36 -37 38 -39
58.20/15.04	v 40 -41 42 43 -44 -45 -46 -47
58.20/15.04	v 48 49 50 -51 -52 -53 -54 -55
58.20/15.04	v -56 57 -58 -59 -60 -61 -62 -63
58.20/15.04	v -64 -65 -66 -67 -68 69 -70 -71
58.20/15.04	v -72 73 -74 -75 -76 -77 -78 -79
58.20/15.04	v -80 -81 -82 -83 -84 85 -86 -87
58.20/15.04	v -88 -89 -90 91 92 -93 -94 -95
58.20/15.04	v -96 -97 -98 -99 -100 -101 -102 -103
58.20/15.04	v -104 -105 106 107 -108 109 -110 -111
58.20/15.04	v -112 113 -114 -115 -116 -117 -118 119
58.20/15.04	v -120 -121 -122 -123 -124 -125 -126 -127
58.20/15.04	v -128 -129 -130 -131 132 -133 -134 -135
58.20/15.04	v -136 -137 -138 -139 -140 -141 -142 -143
58.20/15.04	v -144 -145 146 -147 -148 -149 -150 -151
58.20/15.04	v -152 -153 -154 -155 -156 -157 -158 -159
58.20/15.04	v -160 161 -162 -163 -164 -165 -166 -167
58.20/15.04	v -168 169 -170 -171 172 -173 -174 175
58.20/15.04	v -176 177 -178 179 -180 -181 -182 183
58.20/15.04	v -184 185 -186 -187 -188 189 -190 191
58.20/15.04	v 192 -193 -194 195 196 -197 198 -199
58.20/15.04	v -200 -201 -202 203 204 205 206 -207
58.20/15.04	v -208 -209 210 -211 212 -213 -214 215
58.20/15.04	v 216 217 218 -219 -220 -221 -222 223
58.20/15.04	v -224 -225 226 227 -228 229 -230 -231
58.20/15.04	v -232 -233 234 235 236 237 -238 239
58.20/15.04	v -240 241 -242 243 -244 245 246 247
58.20/15.04	v 248 -249 250 251 -252 -253 -254 255
58.20/15.04	v -256 257 258 259 -260 -261 -262 -263
58.20/15.04	v -264 -265 266 267 -268 269 270 271
58.20/15.04	v 272 -273 -274 -275 276 -277 -278 279
58.20/15.04	v -280 -281 -282 -283 -284 285 286 287
58.20/15.04	v -288 289 -290 291 292 293 294 -295
58.20/15.04	v 296 297 -298 299 300 301 -302 -303
58.20/15.04	v -304 -305 -306 -307 -308 -309 -310 311
58.20/15.04	v 312 313 314 315 316 -317 -318 -319
58.20/15.04	v -320 -321 322 323 -324 -325 -326 327
58.20/15.04	v 328 -329 -330 -331 -332 -333 -334 -335
58.20/15.04	v 336 -337 338 339 -340 341 342 -343
58.20/15.04	v -344 -345 -346 -347 348 349 350 351
58.20/15.04	v -352 -353 -354 -355 -356 -357 -358 -359
58.20/15.04	v -360 -361 362 363 364 -365 -366 -367
58.20/15.04	v -368 -369 -370 -371 -372 -373 -374 -375
58.20/15.04	v -376 -377 -378 -379 -380 -381 -382 -383
58.20/15.04	v -384 -385 386 387 388 389 -390 -391
58.20/15.04	v -392 -393 -394 -395 -396 -397 -398 -399
58.20/15.04	v -400 -401 -402 -403 -404 -405 406 -407
58.20/15.04	v -408 -409 -410 -411 -412 -413 -414 -415
58.20/15.04	v -416 -417 -418 -419 -420 -421 -422 423
58.20/15.04	v -424 -425 -426 -427 -428 -429 -430 -431
58.20/15.04	v -432 -433 -434 -435 -436 -437 -438 -439
58.20/15.04	v -440 -441 -442 -443 -444 445 446 -447
58.20/15.04	v -448 -449 -450 -451 -452 -453 -454 -455
58.20/15.04	v -456 -457 458 -459 -460 -461 -462 -463
58.20/15.04	v -464 -465 -466 -467 -468 -469 -470 -471
58.20/15.04	v -472 -473 -474 -475 -476 -477 -478 479
58.20/15.04	v 480 481 -482 -483 -484 -485 -486 -487
58.20/15.04	v -488 -489 -490 -491 -492 -493 -494 -495
58.20/15.04	v -496 -497 498 -499 -500 -501 -502 -503
58.20/15.04	v -504 -505 -506 -507 -508 -509 -510 -511
58.20/15.04	v -512 -513 -514 -515 -516 -517 -518 519
58.20/15.04	v 520 -521 -522 -523 -524 -525 -526 -527
58.20/15.04	v -528 -529 -530 -531 -532 -533 -534 -535
58.20/15.04	v -536 -537 -538 -539 -540 541 -542 -543
58.20/15.04	v -544 -545 -546 -547 -548 -549 -550 -551
58.20/15.04	v -552 -553 554 555 556 -557 -558 -559
58.20/15.04	v -560 -561 -562 -563 -564 -565 -566 -567
58.20/15.04	v -568 -569 -570 571 -572 -573 -574 -575
58.20/15.04	v -576 -577 -578 -579 -580 -581 -582 -583
58.20/15.04	v -584 -585 -586 -587 -588 -589 -590 -591
58.20/15.04	v -592 -593 -594 -595 -596 -597 -598 599
58.20/15.04	v -600 -601 -602 -603 -604 -605 -606 -607
58.20/15.04	v -608 -609 -610 611 -612 -613 -614 -615
58.20/15.04	v -616 -617 -618 -619 -620 -621 -622 -623
58.20/15.04	v -624 -625 -626 -627 -628 -629 -630 -631
58.20/15.04	v -632 633 -634 -635 -636 -637 -638 -639
58.20/15.04	v -640 -641 -642 -643 -644 -645 -646 -647
58.20/15.04	v -648 -649 -650 -651 -652 -653 654 -655
58.20/15.04	v -656 -657 -658 -659 -660 -661 -662 -663
58.20/15.04	v -664 -665 -666 -667 -668 -669 -670 -671
58.20/15.04	v -672 673 -674 -675 -676 -677 -678 -679
58.20/15.04	v -680 -681 -682 -683 -684 -685 -686 -687
58.20/15.04	v -688 -689 -690 -691 -692 -693 694 -695
58.20/15.04	v -696 -697 -698 -699 -700 -701 -702 -703
58.20/15.04	v -704 -705 -706 -707 -708 709 710 -711
58.20/15.04	v -712 -713 -714 -715 -716 -717 -718 -719
58.20/15.04	v -720 -721 -722 -723 -724 -725 -726 -727
58.20/15.04	v -728 729 730 731 732 -733 -734 -735
58.20/15.04	v -736 -737 -738 -739 -740 -741 -742 -743
58.20/15.04	v 744 745 -746 -747 -748 -749 -750 -751
58.20/15.04	v -752 -753 -754 -755 -756 -757 -758 -759
58.20/15.04	v -760 -761 -762 -763 -764 -765 -766 -767
58.20/15.04	v 768 769 770 -771 -772 -773 -774 -775
58.20/15.04	v -776 -777 -778 -779 -780 -781 -782 -783
58.20/15.04	v 784 785 786 787 -788 -789 -790 -791
58.20/15.04	v -792 -793 -794 -795 -796 -797 -798 799
58.20/15.04	v -800 -801 -802 -803 -804 -805 -806 -807
58.20/15.04	v -808 -809 -810 -811 -812 -813 -814 -815
58.20/15.04	v -816 -817 -818 819 820 821 822 823
58.20/15.04	v -824 -825 -826 -827 -828 -829 -830 -831
58.20/15.04	v -832 -833 -834 -835 -836 -837 -838 -839
58.20/15.04	v -840 -841 -842 -843 -844 845 846 -847
58.20/15.04	v -848 -849 -850 -851 -852 -853 -854 -855
58.20/15.04	v -856 -857 -858 859 860 861 862 863
58.20/15.04	v -864 -865 -866 -867 -868 -869 -870 -871
58.20/15.04	v -872 -873 -874 875 876 -877 -878 -879
58.20/15.04	v -880 -881 -882 -883 -884 -885 -886 -887
58.20/15.04	v -888 -889 -890 -891 -892 -893 -894 -895
58.20/15.04	v -896 -897 -898 -899 -900 901 902 903
58.20/15.04	v -904 -905 -906 -907 -908 -909 -910 -911
58.20/15.04	v -912 913 914 915 -916 -917 -918 -919
58.20/15.04	v -920 -921 -922 -923 -924 -925 -926 -927
58.20/15.04	v -928 -929 -930 -931 932 933 934 935
58.20/15.04	v 936 937 -938 -939 -940 -941 -942 -943
58.20/15.04	v -944 -945 -946 -947 -948 -949 -950 951
58.20/15.04	v 952 953 954 955 -956 -957 -958 -959
58.20/15.04	v -960 -961 -962 -963 -964 -965 -966 -967
58.20/15.04	v -968 -969 -970 -971 -972 973 974 975
58.20/15.04	v -976 -977 -978 -979 -980 -981 -982 -983
58.20/15.04	v -984 -985 -986 -987 -988 -989 -990 -991
58.20/15.04	v -992 -993 -994 -995 996 -997 -998 -999
58.20/15.04	v -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
58.20/15.04	v -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015
58.20/15.04	v -1016 1017 -1018 -1019 -1020 -1021 -1022 -1023
58.20/15.04	v -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031
58.20/15.04	v -1032 -1033 1034 1035 -1036 -1037 -1038 -1039
58.20/15.04	v -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047
58.20/15.04	v -1048 -1049 -1050 1051 1052 1053 1054 1055
58.20/15.04	v -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063
58.20/15.04	v -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071
58.20/15.04	v -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079
58.20/15.04	v -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087
58.20/15.04	v -1088 1089 1090 1091 1092 -1093 -1094 -1095
58.20/15.04	v -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103
58.20/15.04	v -1104 -1105 -1106 -1107 -1108 1109 -1110 -1111
58.20/15.04	v -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119
58.20/15.04	v -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
58.20/15.04	v -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135
58.20/15.04	v -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143
58.20/15.04	v -1144 -1145 -1146 -1147 1148 1149 -1150 -1151
58.20/15.04	v -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159
58.20/15.04	v -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167
58.20/15.04	v -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175
58.20/15.04	v -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183
58.20/15.04	v 1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191
58.20/15.04	v -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199
58.20/15.04	v -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207
58.20/15.04	v -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215
58.20/15.04	v -1216 -1217 -1218 -1219 -1220 -1221 1222 1223
58.20/15.04	v -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231
58.20/15.04	v -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239
58.20/15.04	v -1240 -1241 -1242 -1243 1244 -1245 -1246 -1247
58.20/15.04	v -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255
58.20/15.04	v -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263
58.20/15.04	v -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271
58.20/15.04	v -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279
58.20/15.04	v -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287
58.20/15.04	v -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295
58.20/15.04	v -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303
58.20/15.04	v -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311
58.20/15.04	v -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319
58.20/15.04	v -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327
58.20/15.04	v -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335
58.20/15.04	v 1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343
58.20/15.04	v -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351
58.20/15.04	v -1352 -1353 -1354 -1355 -1356 1357 -1358 -1359
58.20/15.04	v -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367
58.20/15.04	v -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375
58.20/15.04	v 1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383
58.20/15.04	v -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391
58.20/15.04	v -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399
58.20/15.04	v -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407
58.20/15.04	v -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415
58.20/15.04	v -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423
58.20/15.04	v -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431
58.20/15.04	v -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439
58.20/15.04	v -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447
58.20/15.04	v -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455
58.20/15.04	v -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463
58.20/15.04	v -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471
58.20/15.04	v -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479
58.20/15.04	v -1480 -1481 -1482 -1483 1484 -1485 -1486 -1487
58.20/15.04	v -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495
58.20/15.04	v -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503
58.20/15.04	v -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511
58.20/15.04	v -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519
58.20/15.04	v -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527
58.20/15.04	v -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535
58.20/15.04	v -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543
58.20/15.04	v -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551
58.20/15.04	v -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559
58.20/15.04	v -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567
58.20/15.04	v -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575
58.20/15.04	v -1576 -1577 -1578 -1579 1580 -1581 -1582 -1583
58.20/15.04	v -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591
58.20/15.04	v -1592 -1593 -1594 -1595 -1596 1597 -1598 -1599
58.20/15.04	v -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607
58.20/15.04	v -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615
58.20/15.04	v -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623
58.20/15.04	v -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631
58.20/15.04	v -1632 -1633 -1634 -1635 -1636 1637 -1638 -1639
58.20/15.04	v -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647
58.20/15.04	v -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655
58.20/15.04	v -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663
58.20/15.04	v -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671
58.20/15.04	v -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679
58.20/15.04	v -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687
58.20/15.04	v -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695
58.20/15.04	v -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703
58.20/15.04	v -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711
58.20/15.04	v -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719
58.20/15.04	v -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727
58.20/15.04	v -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735
58.20/15.04	v 1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743
58.20/15.04	v -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751
58.20/15.04	v -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759
58.20/15.04	v -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767
58.20/15.04	v -1768 -1769 -1770 -1771 -1772 -1773 -1774 1775
58.20/15.04	v 1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783
58.20/15.04	v -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791
58.20/15.04	v -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799
58.20/15.04	v -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807
58.20/15.04	v -1808 -1809 -1810 1811 -1812 -1813 -1814 -1815
58.20/15.04	v -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823
58.20/15.04	v -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831
58.20/15.04	v -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839
58.20/15.04	v -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847
58.20/15.04	v -1848 1849 1850 -1851 -1852 -1853 -1854 -1855
58.20/15.04	v -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863
58.20/15.04	v -1864 -1865 -1866 -1867 -1868 -1869 -1870 1871
58.20/15.04	v -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879
58.20/15.04	v -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887
58.20/15.04	v -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895
58.20/15.04	v -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903
58.20/15.04	v -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911
58.20/15.04	v -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919
58.20/15.04	v -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927
58.20/15.04	v -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935
58.20/15.04	v -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943
58.20/15.04	v -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951
58.20/15.04	v -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959
58.20/15.04	v -1960 -1961 -1962 1963 -1964 -1965 -1966 -1967
58.20/15.04	v -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975
58.20/15.04	v -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983
58.20/15.04	v 1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991
58.20/15.04	v -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999
58.20/15.04	v -2000 -2001 -2002 2003 -2004 -2005 -2006 -2007
58.20/15.04	v -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015
58.20/15.04	v -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023
58.20/15.04	v -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031
58.20/15.04	v -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039
58.20/15.04	v -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047
58.20/15.04	v -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055
58.20/15.04	v -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063
58.20/15.04	v -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071
58.20/15.04	v -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079
58.20/15.04	v -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087
58.20/15.04	v -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095
58.20/15.04	v -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103
58.20/15.04	v -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111
58.20/15.04	v -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119
58.20/15.04	v -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127
58.20/15.04	v -2128 -2129 -2130 -2131 -2132 -2133 -2134 2135
58.20/15.04	v -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143
58.20/15.04	v -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151
58.20/15.04	v -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159
58.20/15.04	v -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167
58.20/15.04	v -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175
58.20/15.04	v -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183
58.20/15.04	v -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191
58.20/15.04	v -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199
58.20/15.04	v -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207
58.20/15.04	v -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215
58.20/15.04	v -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223
58.20/15.04	v -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231
58.20/15.04	v -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239
58.20/15.04	v -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247
58.20/15.04	v -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255
58.20/15.04	v -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263
58.20/15.04	v -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271
58.20/15.04	v -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279
58.20/15.04	v -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287
58.20/15.04	v -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295
58.20/15.04	v -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303
58.20/15.04	v -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311
58.20/15.04	v -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319
58.20/15.04	v -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327
58.20/15.04	v -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335
58.20/15.04	v -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343
58.20/15.04	v -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351
58.20/15.04	v -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359
58.20/15.04	v -2360 2361 -2362 -2363 -2364 -2365 -2366 -2367
58.20/15.04	v -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375
58.20/15.04	v -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383
58.20/15.04	v -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391
58.20/15.04	v -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399
58.20/15.04	v -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407
58.20/15.04	v -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415
58.20/15.04	v -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423
58.20/15.04	v -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431
58.20/15.04	v -2432 -2433 -2434 -2435 -2436 2437 -2438 -2439
58.20/15.04	v -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447
58.20/15.04	v -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455
58.20/15.04	v -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463
58.20/15.04	v -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471
58.20/15.04	v -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479
58.20/15.04	v -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487
58.20/15.04	v -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495
58.20/15.04	v -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503
58.20/15.04	v -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511
58.20/15.04	v -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519
58.20/15.04	v -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527
58.20/15.04	v -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535
58.20/15.04	v -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543
58.20/15.04	v -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551
58.20/15.04	v -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559
58.20/15.04	v -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567
58.20/15.04	v -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575
58.20/15.04	v -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583
58.20/15.04	v -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591
58.20/15.04	v -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599
58.20/15.04	v -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607
58.20/15.04	v -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615
58.20/15.04	v -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623
58.20/15.04	v -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631
58.20/15.04	v -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639
58.20/15.04	v -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647
58.20/15.04	v -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655
58.20/15.04	v -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663
58.20/15.04	v -2664 -2665 -2666 -2667 -2668 2669 -2670 -2671
58.20/15.04	v -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679
58.20/15.04	v -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687
58.20/15.04	v -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695
58.20/15.04	v -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703
58.20/15.04	v -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711
58.20/15.04	v -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719
58.20/15.04	v -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727
58.20/15.04	v -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735
58.20/15.04	v -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743
58.20/15.04	v -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751
58.20/15.04	v -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759
58.20/15.04	v -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767
58.20/15.04	v -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775
58.20/15.04	v -2776 -2777 -2778 -2779 -2780 -2781 2782 -2783
58.20/15.04	v -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791
58.20/15.04	v -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799
58.20/15.04	v -2800 2801 -2802 -2803 -2804 -2805 -2806 -2807
58.20/15.04	v -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815
58.20/15.04	v -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823
58.20/15.04	v -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831
58.20/15.04	v -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839
58.20/15.04	v -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847
58.20/15.04	v -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855
58.20/15.04	v -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863
58.20/15.04	v -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871
58.20/15.04	v -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879
58.20/15.04	v -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887
58.20/15.04	v -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895
58.20/15.04	v -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903
58.20/15.04	v -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911
58.20/15.04	v -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919
58.20/15.04	v -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927
58.20/15.04	v -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935
58.20/15.04	v -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943
58.20/15.04	v -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951
58.20/15.04	v -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959
58.20/15.04	v -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967
58.20/15.04	v -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975
58.20/15.04	v -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983
58.20/15.04	v -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991
58.20/15.04	v -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999
58.20/15.04	v -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007
58.20/15.04	v -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015
58.20/15.04	v -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023
58.20/15.04	v -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031
58.20/15.04	v -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039
58.20/15.04	v -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047
58.20/15.04	v -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055
58.20/15.04	v -3056 -3057 -3058 -3059 -3060 -3061 -3062 3063
58.20/15.04	v -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071
58.20/15.04	v -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079
58.20/15.04	v -3080 -3081 -3082 -3083 3084 -3085 -3086 -3087
58.20/15.04	v -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095
58.20/15.04	v -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103
58.20/15.04	v -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111
58.20/15.04	v -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119
58.20/15.04	v 3120 3121 -3122 -3123 -3124 -3125 -3126 -3127
58.20/15.04	v -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135
58.20/15.04	v -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143
58.20/15.04	v -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151
58.20/15.04	v -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159
58.20/15.04	v -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167
58.20/15.04	v -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175
58.20/15.04	v -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183
58.20/15.04	v -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191
58.20/15.04	v -3192 -3193 -3194 -3195 -3196 -3197 3198 -3199
58.20/15.04	v -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207
58.20/15.04	v -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215
58.20/15.04	v -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223
58.20/15.04	v -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231
58.20/15.04	v -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239
58.20/15.04	v -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247
58.20/15.04	v -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255
58.20/15.04	v -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263
58.20/15.04	v -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271
58.20/15.04	v -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279
58.20/15.04	v -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287
58.20/15.04	v -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295
58.20/15.04	v -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303
58.20/15.04	v -3304 -3305 -3306 -3307 -3308 -3309 3310 -3311
58.20/15.04	v -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319
58.20/15.04	v -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327
58.20/15.04	v -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335
58.20/15.04	v -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343
58.20/15.04	v -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351
58.20/15.04	v -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359
58.20/15.04	v -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367
58.20/15.04	v -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375
58.20/15.04	v -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383
58.20/15.04	v -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391
58.20/15.04	v -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399
58.20/15.04	v -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407
58.20/15.04	v -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415
58.20/15.04	v -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423
58.20/15.04	v -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431
58.20/15.04	v -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439
58.20/15.04	v -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447
58.20/15.04	v -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455
58.20/15.04	v -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463
58.20/15.04	v -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471
58.20/15.04	v -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479
58.20/15.04	v -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487
58.20/15.04	v -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495
58.20/15.04	v -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503
58.20/15.04	v -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511
58.20/15.04	v -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519
58.20/15.04	v -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527
58.20/15.04	v -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535
58.20/15.04	v -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543
58.20/15.04	v -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551
58.20/15.04	v -3552 -3553 -3554 -3555 -3556 -3557 -3558 3559
58.20/15.04	v -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567
58.20/15.04	v -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575
58.20/15.04	v -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583
58.20/15.04	v -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591
58.20/15.04	v -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599
58.20/15.04	v -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607
58.20/15.04	v -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615
58.20/15.04	v -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623
58.20/15.04	v -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631
58.20/15.04	v -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639
58.20/15.04	v -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647
58.20/15.04	v -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655
58.20/15.04	v -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663
58.20/15.04	v -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671
58.20/15.04	v -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679
58.20/15.04	v -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687
58.20/15.04	v -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695
58.20/15.04	v -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703
58.20/15.04	v -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711
58.20/15.04	v -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719
58.20/15.04	v -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727
58.20/15.04	v -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735
58.20/15.04	v -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743
58.20/15.04	v -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751
58.20/15.04	v -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759
58.20/15.04	v -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767
58.20/15.04	v -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775
58.20/15.04	v -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783
58.20/15.04	v -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791
58.20/15.04	v -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799
58.20/15.04	v -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807
58.20/15.04	v -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815
58.20/15.04	v -3816 -3817 -3818 -3819 -3820 -3821 3822 -3823
58.20/15.04	v -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831
58.20/15.04	v -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839
58.20/15.04	v -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847
58.20/15.04	v -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855
58.20/15.04	v -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863
58.20/15.04	v -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871
58.20/15.04	v -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879
58.20/15.04	v -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887
58.20/15.04	v -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895
58.20/15.04	v -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903
58.20/15.04	v -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911
58.20/15.04	v -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919
58.20/15.04	v -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927
58.20/15.04	v -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935
58.20/15.04	v -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943
58.20/15.04	v -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951
58.20/15.04	v -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959
58.20/15.04	v -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967
58.20/15.04	v -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975
58.20/15.04	v -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983
58.20/15.04	v -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991
58.20/15.04	v -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999
58.20/15.04	v -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007
58.20/15.04	v -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015
58.20/15.04	v -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023
58.20/15.04	v -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031
58.20/15.04	v -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039
58.20/15.04	v -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047
58.20/15.04	v -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055
58.20/15.04	v -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063
58.20/15.04	v -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071
58.20/15.04	v -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079
58.20/15.04	v -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087
58.20/15.04	v -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095
58.20/15.04	v -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103
58.20/15.04	v -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111
58.20/15.04	v -4112 -4113 4114 -4115 -4116 -4117 -4118 -4119
58.20/15.04	v -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127
58.20/15.04	v -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135
58.20/15.04	v -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143
58.20/15.04	v -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151
58.20/15.04	v -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159
58.20/15.04	v -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167
58.20/15.04	v -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175
58.20/15.04	v -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183
58.20/15.04	v -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191
58.20/15.04	v -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199
58.20/15.04	v -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207
58.20/15.04	v -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215
58.20/15.04	v -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223
58.20/15.04	v -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231
58.20/15.04	v -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239
58.20/15.04	v -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247
58.20/15.04	v -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255
58.20/15.04	v -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263
58.20/15.04	v 4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271
58.20/15.04	v -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279
58.20/15.04	v -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287
58.20/15.04	v -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295
58.20/15.04	v -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303
58.20/15.04	v -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311
58.20/15.04	v -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319
58.20/15.04	v 4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327
58.20/15.04	v -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335
58.20/15.04	v -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343
58.20/15.04	v -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351
58.20/15.04	v -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359
58.20/15.04	v -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367
58.20/15.04	v -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375
58.20/15.04	v 4376 4377 -4378 -4379 -4380 -4381 -4382 -4383
58.20/15.04	v -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391
58.20/15.04	v -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399
58.20/15.04	v -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407
58.20/15.04	v -4408 -4409 -4410 -4411 -4412 -4413 4414 -4415
58.20/15.04	v -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423
58.20/15.04	v -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431
58.20/15.04	v -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439
58.20/15.04	v -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447
58.20/15.04	v -4448 -4449 -4450 -4451 4452 4453 -4454 -4455
58.20/15.04	v -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463
58.20/15.04	v -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471
58.20/15.04	v -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479
58.20/15.04	v -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487
58.20/15.04	v -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495
58.20/15.04	v -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503
58.20/15.04	v -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511
58.20/15.04	v -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519
58.20/15.04	v -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527
58.20/15.04	v 4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535
58.20/15.04	v -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543
58.20/15.04	v -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551
58.20/15.04	v -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559
58.20/15.04	v -4560 -4561 -4562 -4563 -4564 -4565 4566 -4567
58.20/15.04	v -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575
58.20/15.04	v -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583
58.20/15.04	v -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591
58.20/15.04	v -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599
58.20/15.04	v -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607
58.20/15.04	v -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615
58.20/15.04	v -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623
58.20/15.04	v -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631
58.20/15.04	v -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639
58.20/15.04	v -4640 -4641 4642 4643 -4644 -4645 -4646 -4647
58.20/15.04	v -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655
58.20/15.04	v -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663
58.20/15.04	v -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671
58.20/15.04	v -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679
58.20/15.04	v -4680 -4681 4682 4683 4684 -4685 -4686 -4687
58.20/15.04	v -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695
58.20/15.04	v -4696 -4697 -4698 -4699 4700 4701 -4702 -4703
58.20/15.04	v -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711
58.20/15.04	v -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719
58.20/15.04	v -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727
58.20/15.04	v -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735
58.20/15.04	v -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743
58.20/15.04	v -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751
58.20/15.04	v -4752 -4753 -4754 -4755 -4756 -4757 -4758 4759
58.20/15.04	v 4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767
58.20/15.04	v -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775
58.20/15.04	v 4776 4777 -4778 -4779 -4780 -4781 -4782 -4783
58.20/15.04	v -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791
58.20/15.04	v -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799
58.20/15.04	v -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807
58.20/15.04	v -4808 -4809 -4810 -4811 -4812 -4813 -4814 4815
58.20/15.04	v 4816 4817 -4818 -4819 -4820 -4821 -4822 -4823
58.20/15.04	v -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831
58.20/15.04	v -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839
58.20/15.04	v -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847
58.20/15.04	v -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855
58.20/15.04	v -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863
58.20/15.04	v -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871
58.20/15.04	v -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879
58.20/15.04	v -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887
58.20/15.04	v -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895
58.20/15.04	v -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903
58.20/15.04	v -4904 -4905 -4906 -4907 -4908 -4909 4910 -4911
58.20/15.04	v -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919
58.20/15.04	v -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927
58.20/15.04	v -4928 -4929 -4930 4931 -4932 -4933 -4934 -4935
58.20/15.04	v -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943
58.20/15.04	v -4944 -4945 -4946 -4947 4948 4949 -4950 -4951
58.20/15.04	v -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959
58.20/15.04	v -4960 -4961 -4962 -4963 -4964 -4965 4966 4967
58.20/15.04	v 4968 4969 -4970 -4971 -4972 -4973 -4974 -4975
58.20/15.04	v -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983
58.20/15.04	v -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991
58.20/15.04	v -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999
58.20/15.04	v -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007
58.20/15.04	v -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015
58.20/15.04	v -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023
58.20/15.04	v -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031
58.20/15.04	v -5032 -5033 -5034 -5035 -5036 -5037 5038 5039
58.20/15.04	v -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047
58.20/15.04	v -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055
58.20/15.04	v -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063
58.20/15.04	v -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071
58.20/15.04	v -5072 -5073 -5074 -5075 -5076 5077 -5078 -5079
58.20/15.04	v -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087
58.20/15.04	v -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095
58.20/15.04	v -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103
58.20/15.04	v -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111
58.20/15.04	v -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119
58.20/15.04	v -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127
58.20/15.04	v -5128 -5129 -5130 -5131 -5132 5133 -5134 -5135
58.20/15.04	v -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143
58.20/15.04	v -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151
58.20/15.04	v 5152 5153 -5154 -5155 -5156 -5157 -5158 -5159
58.20/15.04	v -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167
58.20/15.04	v -5168 -5169 -5170 5171 5172 -5173 -5174 -5175
58.20/15.04	v -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183
58.20/15.04	v -5184 -5185 -5186 -5187 -5188 -5189 -5190 5191
58.20/15.04	v -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199
58.20/15.04	v -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207
58.20/15.04	v -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215
58.20/15.04	v -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223
58.20/15.04	v -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231
58.20/15.04	v -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239
58.20/15.04	v -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247
58.20/15.04	v -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255
58.20/15.04	v -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263
58.20/15.04	v -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271
58.20/15.04	v -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279
58.20/15.04	v -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287
58.20/15.04	v -5288 -5289 5290 -5291 -5292 -5293 -5294 -5295
58.20/15.04	v -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303
58.20/15.04	v -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311
58.20/15.04	v -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319
58.20/15.04	v -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327
58.20/15.04	v -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335
58.20/15.04	v -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343
58.20/15.04	v -5344 -5345 -5346 -5347 5348 5349 -5350 -5351
58.20/15.04	v -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359
58.20/15.04	v -5360 -5361 -5362 -5363 -5364 -5365 5366 -5367
58.20/15.04	v -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375
58.20/15.04	v -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383
58.20/15.04	v -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391
58.20/15.04	v -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399
58.20/15.04	v -5400 -5401 -5402 -5403 5404 5405 5406 -5407
58.20/15.04	v -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415
58.20/15.04	v -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423
58.20/15.04	v -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431
58.20/15.04	v -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439
58.20/15.04	v -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447
58.20/15.04	v -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455
58.20/15.04	v -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463
58.20/15.04	v -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471
58.20/15.04	v -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479
58.20/15.04	v -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487
58.20/15.04	v -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495
58.20/15.04	v -5496 -5497 -5498 5499 -5500 -5501 -5502 -5503
58.20/15.04	v -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511
58.20/15.04	v -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519
58.20/15.04	v 5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527
58.20/15.04	v -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535
58.20/15.04	v -5536 5537 5538 -5539 -5540 -5541 -5542 -5543
58.20/15.04	v -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551
58.20/15.04	v -5552 -5553 -5554 -5555 5556 5557 5558 -5559
58.20/15.04	v -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567
58.20/15.04	v -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575
58.20/15.04	v -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583
58.20/15.04	v -5584 -5585 -5586 -5587 -5588 -5589 -5590 5591
58.20/15.04	v 5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599
58.20/15.04	v -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607
58.20/15.04	v -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615
58.20/15.04	v -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623
58.20/15.04	v -5624 -5625 -5626 -5627 -5628 5629 5630 5631
58.20/15.04	v 5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639
58.20/15.04	v -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647
58.20/15.04	v -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655
58.20/15.04	v -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663
58.20/15.04	v -5664 -5665 -5666 -5667 -5668 -5669 5670 -5671
58.20/15.04	v -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679
58.20/15.04	v -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687
58.20/15.04	v -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695
58.20/15.04	v -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703
58.20/15.04	v -5704 5705 5706 -5707 -5708 -5709 -5710 -5711
58.20/15.04	v -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719
58.20/15.04	v -5720 -5721 -5722 -5723 5724 -5725 -5726 -5727
58.20/15.04	v -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735
58.20/15.04	v -5736 -5737 -5738 -5739 -5740 -5741 -5742 5743
58.20/15.04	v 5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751
58.20/15.04	v -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759
58.20/15.04	v -5760 -5761 -5762 -5763 -5764 5765 -5766 -5767
58.20/15.04	v -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775
58.20/15.04	v -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783
58.20/15.04	v -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791
58.20/15.04	v -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799
58.20/15.04	v -5800 -5801 -5802 5803 -5804 -5805 -5806 -5807
58.20/15.04	v -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815
58.20/15.04	v -5816 -5817 -5818 -5819 5820 5821 5822 -5823
58.20/15.04	v -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831
58.20/15.04	v -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839
58.20/15.04	v -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847
58.20/15.04	v -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855
58.20/15.04	v -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863
58.20/15.04	v -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871
58.20/15.04	v -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879
58.20/15.04	v -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887
58.20/15.04	v -5888 -5889 -5890 5891 -5892 -5893 -5894 -5895
58.20/15.04	v -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903
58.20/15.04	v -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911
58.20/15.04	v -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919
58.20/15.04	v -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927
58.20/15.04	v -5928 5929 -5930 -5931 -5932 -5933 -5934 -5935
58.20/15.04	v -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943
58.20/15.04	v -5944 -5945 -5946 -5947 5948 -5949 -5950 -5951
58.20/15.04	v -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959
58.20/15.04	v -5960 -5961 -5962 -5963 -5964 -5965 -5966 5967
58.20/15.04	v -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975
58.20/15.04	v -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983
58.20/15.04	v -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991
58.20/15.04	v -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999
58.20/15.04	v -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007
58.20/15.04	v -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015
58.20/15.04	v -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023
58.20/15.04	v -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031
58.20/15.04	v -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039
58.20/15.04	v -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047
58.20/15.04	v -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055
58.20/15.04	v -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063
58.20/15.04	v -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071
58.20/15.04	v -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079
58.20/15.04	v -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087
58.20/15.04	v -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095
58.20/15.04	v -6096 -6097 -6098 -6099 -6100 -6101 -6102 6103
58.20/15.04	v 6104 6105 -6106 -6107 -6108 -6109 -6110 -6111
58.20/15.04	v -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119
58.20/15.04	v 6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127
58.20/15.04	v -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135
58.20/15.04	v -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143
58.20/15.04	v -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151
58.20/15.04	v -6152 -6153 -6154 -6155 -6156 -6157 6158 6159
58.20/15.04	v -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167
58.20/15.04	v -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175
58.20/15.04	v -6176 6177 6178 6179 6180 6181 -6182 -6183
58.20/15.04	v -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191
58.20/15.04	v -6192 -6193 -6194 -6195 6196 6197 6198 6199
58.20/15.04	v -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207
58.20/15.04	v -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215
58.20/15.04	v -6216 6217 6218 6219 -6220 -6221 -6222 -6223
58.20/15.04	v -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231
58.20/15.04	v -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239
58.20/15.04	v -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247
58.20/15.04	v -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255
58.20/15.04	v -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263
58.20/15.04	v -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271
58.20/15.04	v -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279
58.20/15.04	v -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287
58.20/15.04	v -6288 -6289 -6290 -6291 -6292 -6293 -6294 6295
58.20/15.04	v -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303
58.20/15.04	v -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311
58.20/15.04	v -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319
58.20/15.04	v -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327
58.20/15.04	v -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335
58.20/15.04	v -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343
58.20/15.04	v -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351
58.20/15.04	v -6352 -6353 -6354 6355 6356 -6357 -6358 -6359
58.20/15.04	v -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367
58.20/15.04	v -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375
58.20/15.04	v -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383
58.20/15.04	v -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391
58.20/15.04	v -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399
58.20/15.04	v -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407
58.20/15.04	v -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415
58.20/15.04	v -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423
58.20/15.04	v -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431
58.20/15.04	v -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439
58.20/15.04	v -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447
58.20/15.04	v -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455
58.20/15.04	v -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463
58.20/15.04	v -6464 -6465 -6466 -6467 -6468 -6469 6470 -6471
58.20/15.04	v -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479
58.20/15.04	v -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487
58.20/15.04	v 6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495
58.20/15.04	v -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503
58.20/15.04	v -6504 -6505 -6506 6507 6508 -6509 -6510 -6511
58.20/15.04	v -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519
58.20/15.04	v -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527
58.20/15.04	v -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535
58.20/15.04	v -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543
58.20/15.04	v 6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551
58.20/15.04	v -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559
58.20/15.04	v -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567
58.20/15.04	v -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575
58.20/15.04	v -6576 -6577 6578 6579 6580 -6581 -6582 -6583
58.20/15.04	v -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591
58.20/15.04	v -6592 -6593 -6594 -6595 -6596 6597 6598 -6599
58.20/15.04	v -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607
58.20/15.04	v -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615
58.20/15.04	v 6616 6617 6618 -6619 -6620 -6621 -6622 -6623
58.20/15.04	v -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631
58.20/15.04	v -6632 -6633 -6634 -6635 -6636 -6637 -6638 6639
58.20/15.04	v -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647
58.20/15.04	v -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655
58.20/15.04	v -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663
58.20/15.04	v -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671
58.20/15.04	v -6672 -6673 -6674 -6675 -6676 6677 -6678 -6679
58.20/15.04	v -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687
58.20/15.04	v -6688 -6689 -6690 -6691 -6692 -6693 6694 6695
58.20/15.04	v 6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703
58.20/15.04	v -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711
58.20/15.04	v -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719
58.20/15.04	v -6720 -6721 -6722 -6723 -6724 -6725 -6726 6727
58.20/15.04	v 6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735
58.20/15.04	v -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743
58.20/15.04	v -6744 -6745 6746 6747 -6748 -6749 -6750 -6751
58.20/15.04	v -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759
58.20/15.04	v -6760 -6761 -6762 -6763 -6764 6765 6766 -6767
58.20/15.04	v -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775
58.20/15.04	v -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783
58.20/15.04	v -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791
58.20/15.04	v -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799
58.20/15.04	v -6800 -6801 -6802 -6803 -6804 -6805 -6806 -6807
58.20/15.04	v -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815
58.20/15.04	v -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823
58.20/15.04	v -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831
58.20/15.04	v -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839
58.20/15.04	v -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847
58.20/15.04	v -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855
58.20/15.04	v -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863
58.20/15.04	v -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871
58.20/15.04	v -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879
58.20/15.04	v -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887
58.20/15.04	v -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895
58.20/15.04	v -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903
58.20/15.04	v -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911
58.20/15.04	v -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919
58.20/15.04	v -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927
58.20/15.04	v -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935
58.20/15.04	v -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943
58.20/15.04	v -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951
58.20/15.04	v -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959
58.20/15.04	v -6960 -6961 6962 -6963 -6964 -6965 -6966 -6967
58.20/15.04	v -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975
58.20/15.04	v -6976 -6977 -6978 -6979 -6980 -6981 -6982 6983
58.20/15.04	v -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991
58.20/15.04	v -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999
58.20/15.04	v 7000 7001 -7002 -7003 -7004 -7005 -7006 -7007
58.20/15.04	v -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015
58.20/15.04	v -7016 -7017 -7018 7019 7020 7021 -7022 -7023
58.20/15.04	v -7024 -7025 -7026 -7027 -7028 -7029 -7030 7031
58.20/15.04	v 7032 7033 -7034 -7035 -7036 -7037 -7038 -7039
58.20/15.04	v -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047
58.20/15.04	v -7048 -7049 7050 7051 7052 -7053 -7054 -7055
58.20/15.04	v -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063
58.20/15.04	v -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071
58.20/15.04	v -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079
58.20/15.04	v -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087
58.20/15.04	v -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095
58.20/15.04	v -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103
58.20/15.04	v -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111
58.20/15.04	v -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119
58.20/15.04	v -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127
58.20/15.04	v -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135
58.20/15.04	v -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143
58.20/15.04	v -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151
58.20/15.04	v -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159
58.20/15.04	v -7160 -7161 -7162 -7163 7164 7165 7166 7167
58.20/15.04	v 7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175
58.20/15.04	v -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183
58.20/15.04	v -7184 -7185 7186 7187 7188 -7189 -7190 -7191
58.20/15.04	v -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199
58.20/15.04	v -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207
58.20/15.04	v -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215
58.20/15.04	v -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223
58.20/15.04	v -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231
58.20/15.04	v -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239
58.20/15.04	v -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247
58.20/15.04	v -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255
58.20/15.04	v -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263
58.20/15.04	v 7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271
58.20/15.04	v -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279
58.20/15.04	v -7280 7281 7282 -7283 -7284 -7285 -7286 -7287
58.20/15.04	v -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295
58.20/15.04	v -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303
58.20/15.04	v -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311
58.20/15.04	v -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319
58.20/15.04	v -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327
58.20/15.04	v -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335
58.20/15.04	v -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343
58.20/15.04	v -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351
58.20/15.04	v -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359
58.20/15.04	v -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367
58.20/15.04	v -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375
58.20/15.04	v -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383
58.20/15.04	v -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391
58.20/15.04	v -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399
58.20/15.04	v -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407
58.20/15.04	v -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415
58.20/15.04	v -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423
58.20/15.04	v -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431
58.20/15.04	v -7432 -7433 -7434 7435 -7436 -7437 -7438 -7439
58.20/15.04	v -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447
58.20/15.04	v -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455
58.20/15.04	v -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463
58.20/15.04	v -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471
58.20/15.04	v -7472 -7473 -7474 7475 -7476 -7477 -7478 -7479
58.20/15.04	v -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487
58.20/15.04	v -7488 -7489 -7490 -7491 -7492 -7493 7494 -7495
58.20/15.04	v -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503
58.20/15.04	v -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511
58.20/15.04	v -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519
58.20/15.04	v -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527
58.20/15.04	v -7528 -7529 -7530 -7531 -7532 -7533 7534 -7535
58.20/15.04	v -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543
58.20/15.04	v -7544 -7545 -7546 -7547 -7548 -7549 -7550 7551
58.20/15.04	v 7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559
58.20/15.04	v -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567
58.20/15.04	v 7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575
58.20/15.04	v -7576 -7577 -7578 -7579 -7580 -7581 7582 -7583
58.20/15.04	v -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591
58.20/15.04	v -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599
58.20/15.04	v -7600 -7601 -7602 -7603 -7604 -7605 7606 -7607
58.20/15.04	v -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615
58.20/15.04	v -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623
58.20/15.04	v -7624 -7625 7626 -7627 -7628 -7629 -7630 -7631
58.20/15.04	v -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639
58.20/15.04	v -7640 -7641 -7642 7643 -7644 -7645 -7646 -7647
58.20/15.04	v -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655
58.20/15.04	v -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663
58.20/15.04	v -7664 7665 -7666 -7667 -7668 -7669 -7670 -7671
58.20/15.04	v -7672 -7673 -7674 -7675 -7676 -7677 7678 -7679
58.20/15.04	v -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687
58.20/15.04	v -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695
58.20/15.04	v -7696 -7697 -7698 7699 -7700 -7701 -7702 -7703
58.20/15.04	v -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711
58.20/15.04	v -7712 -7713 -7714 -7715 -7716 -7717 7718 -7719
58.20/15.04	v -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727
58.20/15.04	v -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735
58.20/15.04	v -7736 -7737 -7738 7739 -7740 -7741 -7742 -7743
58.20/15.04	v -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751
58.20/15.04	v -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759
58.20/15.04	v -7760 7761 -7762 -7763 -7764 -7765 -7766 -7767
58.20/15.04	v -7768 -7769 -7770 -7771 -7772 -7773 7774 -7775
58.20/15.04	v -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783
58.20/15.04	v -7784 -7785 -7786 -7787 -7788 -7789 -7790 7791
58.20/15.04	v -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799
58.20/15.04	v -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807
58.20/15.04	v -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815
58.20/15.04	v -7816 -7817 -7818 7819 -7820 -7821 -7822 -7823
58.20/15.04	v -7824 -7825 -7826 -7827 -7828 -7829 -7830 7831
58.20/15.04	v -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839
58.20/15.04	v -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847
58.20/15.04	v -7848 -7849 -7850 -7851 -7852 7853 -7854 -7855
58.20/15.04	v -7856 -7857 -7858 -7859 -7860 -7861 -7862 -7863
58.20/15.04	v -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871
58.20/15.04	v -7872 -7873 7874 -7875 -7876 -7877 -7878 -7879
58.20/15.04	v -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887
58.20/15.04	v -7888 -7889 -7890 -7891 -7892 7893 -7894 -7895
58.20/15.04	v -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903
58.20/15.04	v -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911
58.20/15.04	v -7912 -7913 7914 -7915 -7916 -7917 -7918 -7919
58.20/15.04	v -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927
58.20/15.04	v -7928 7929 -7930 -7931 -7932 -7933 -7934 -7935
58.20/15.04	v -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943
58.20/15.04	v -7944 -7945 -7946 -7947 -7948 7949 -7950 -7951
58.20/15.04	v -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959
58.20/15.04	v -7960 -7961 -7962 -7963 7964 -7965 -7966 -7967
58.20/15.04	v -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975
58.20/15.04	v -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983
58.20/15.04	v -7984 -7985 -7986 -7987 7988 -7989 -7990 -7991
58.20/15.04	v -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999
58.20/15.04	v -8000 -8001 -8002 -8003 8004 -8005 -8006 -8007
58.20/15.04	v -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015
58.20/15.04	v -8016 -8017 -8018 8019 -8020 -8021 -8022 -8023
58.20/15.04	v -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031
58.20/15.04	v -8032 -8033 -8034 -8035 -8036 -8037 -8038 8039
58.20/15.04	v -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047
58.20/15.04	v -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055
58.20/15.04	v -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063
58.20/15.04	v -8064 8065 -8066 -8067 -8068 -8069 -8070 -8071
58.20/15.04	v -8072 -8073 -8074 -8075 -8076 -8077 -8078 8079
58.20/15.04	v -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087
58.20/15.04	v -8088 -8089 -8090 -8091 -8092 -8093 -8094 8095
58.20/15.04	v -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103
58.20/15.04	v -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111
58.20/15.04	v -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119
58.20/15.04	v -8120 8121 -8122 -8123 -8124 -8125 -8126 -8127
58.20/15.04	v -8128 -8129 -8130 -8131 -8132 8133 -8134 -8135
58.20/15.04	v -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143
58.20/15.04	v -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151
58.20/15.04	v 8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159
58.20/15.04	v -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167
58.20/15.04	v -8168 -8169 -8170 8171 -8172 -8173 -8174 -8175
58.20/15.04	v -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183
58.20/15.04	v -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191
58.20/15.04	v -8192 8193 -8194 -8195 -8196 -8197 -8198 -8199
58.20/15.04	v -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207
58.20/15.04	v -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215
58.20/15.04	v 8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223
58.20/15.04	v -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231
58.20/15.04	v -8232 -8233 -8234 -8235 -8236 8237 -8238 -8239
58.20/15.04	v -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247
58.20/15.04	v -8248 -8249 -8250 -8251 -8252 -8253 8254 -8255
58.20/15.04	v -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263
58.20/15.04	v -8264 -8265 -8266 -8267 -8268 -8269 -8270 8271
58.20/15.04	v -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279
58.20/15.04	v -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287
58.20/15.04	v -8288 -8289 -8290 -8291 -8292 8293 -8294 -8295
58.20/15.04	v -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303
58.20/15.04	v -8304 -8305 8306 -8307 -8308 -8309 -8310 -8311
58.20/15.04	v -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319
58.20/15.04	v -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327
58.20/15.04	v -8328 -8329 -8330 8331 -8332 -8333 -8334 -8335
58.20/15.04	v -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343
58.20/15.04	v -8344 -8345 -8346 -8347 8348 -8349 -8350 -8351
58.20/15.04	v -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359
58.20/15.04	v -8360 -8361 -8362 -8363 -8364 8365 -8366 -8367
58.20/15.04	v -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375
58.20/15.04	v -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383
58.20/15.04	v -8384 -8385 -8386 -8387 8388 -8389 -8390 -8391
58.20/15.04	v -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399
58.20/15.04	v 8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407
58.20/15.04	v -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415
58.20/15.04	v -8416 -8417 -8418 -8419 -8420 -8421 -8422 8423
58.20/15.04	v -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431
58.20/15.04	v -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439
58.20/15.04	v 8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447
58.20/15.04	v -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455
58.20/15.04	v -8456 -8457 -8458 -8459 -8460 -8461 8462 -8463
58.20/15.04	v -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471
58.20/15.04	v -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479
58.20/15.04	v -8480 -8481 -8482 8483 -8484 -8485 -8486 -8487
58.20/15.04	v -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495
58.20/15.04	v -8496 -8497 8498 -8499 -8500 -8501 -8502 -8503
58.20/15.04	v -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511
58.20/15.04	v -8512 8513 -8514 -8515 -8516 -8517 -8518 -8519
58.20/15.04	v -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527
58.20/15.04	v -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535
58.20/15.04	v -8536 -8537 -8538 -8539 -8540 8541 -8542 -8543
58.20/15.04	v -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551
58.20/15.04	v -8552 8553 -8554 -8555 -8556 -8557 -8558 -8559
58.20/15.04	v -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567
58.20/15.04	v -8568 -8569 -8570 -8571 -8572 -8573 -8574 8575
58.20/15.04	v -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583
58.20/15.04	v -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591
58.20/15.04	v -8592 -8593 -8594 -8595 8596 -8597 -8598 -8599
58.20/15.04	v -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607
58.20/15.04	v -8608 -8609 -8610 -8611 -8612 -8613 -8614 8615
58.20/15.04	v -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623
58.20/15.04	v -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631
58.20/15.04	v -8632 -8633 -8634 -8635 8636 -8637 -8638 -8639
58.20/15.04	v -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647
58.20/15.04	v -8648 -8649 -8650 -8651 8652 -8653 -8654 -8655
58.20/15.04	v -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663
58.20/15.04	v -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671
58.20/15.04	v -8672 -8673 8674 -8675 -8676 -8677 -8678 -8679
58.20/15.04	v -8680 -8681 -8682 -8683 -8684 -8685 -8686 8687
58.20/15.04	v -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695
58.20/15.04	v -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703
58.20/15.04	v -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711
58.20/15.04	v 8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719
58.20/15.04	v -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727
58.20/15.04	v -8728 8729 -8730 -8731 -8732 -8733 -8734 -8735
58.20/15.04	v -8736 -8737 -8738 -8739 -8740 8741 -8742 -8743
58.20/15.04	v -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751
58.20/15.04	v -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759
58.20/15.04	v -8760 -8761 -8762 -8763 -8764 8765 -8766 -8767
58.20/15.04	v -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775
58.20/15.04	v -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783
58.20/15.04	v -8784 -8785 -8786 -8787 8788 -8789 -8790 -8791
58.20/15.04	v -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799
58.20/15.04	v -8800 -8801 -8802 -8803 -8804 8805 -8806 -8807
58.20/15.04	v -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815
58.20/15.04	v -8816 -8817 8818 -8819 -8820 -8821 -8822 -8823
58.20/15.04	v -8824 -8825 -8826 -8827 -8828 -8829 -8830 -8831
58.20/15.04	v -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839
58.20/15.04	v -8840 -8841 -8842 -8843 -8844 8845 -8846 -8847
58.20/15.04	v -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855
58.20/15.04	v -8856 8857 -8858 -8859 -8860 -8861 -8862 -8863
58.20/15.04	v -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871
58.20/15.04	v -8872 -8873 -8874 -8875 -8876 -8877 -8878 8879
58.20/15.04	v -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887
58.20/15.04	v -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895
58.20/15.04	v -8896 8897 -8898 -8899 -8900 -8901 -8902 -8903
58.20/15.04	v -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911
58.20/15.04	v -8912 -8913 -8914 -8915 -8916 8917 -8918 -8919
58.20/15.04	v -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927
58.20/15.04	v -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935
58.20/15.04	v -8936 -8937 8938 -8939 -8940 -8941 -8942 -8943
58.20/15.04	v -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951
58.20/15.04	v -8952 -8953 -8954 -8955 -8956 -8957 -8958 8959
58.20/15.04	v -8960 -8961 -8962 -8963 -8964 -8965 -8966 -8967
58.20/15.04	v -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975
58.20/15.04	v -8976 8977 -8978 -8979 -8980 -8981 -8982 -8983
58.20/15.04	v -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991
58.20/15.04	v -8992 -8993 -8994 -8995 -8996 8997 -8998 -8999
58.20/15.04	v -9000 -9001 -9002 -9003 -9004 -9005 -9006 -9007
58.20/15.04	v -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015
58.20/15.04	v -9016 9017 9018 9019 9020 9021 9022 9023
58.20/15.04	v 9024 9025 -9026 -9027 -9028 -9029 -9030 -9031
58.20/15.04	v -9032 -9033 -9034 -9035 9036 9037 9038 9039
58.20/15.04	v 9040 9041 9042 9043 9044
58.20/15.04	v 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290633-1304097375/watcher-3290633-1304097375 -o /tmp/evaluation-result-3290633-1304097375/solver-3290633-1304097375 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3290633-1304097375.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.08 4.59 6.01 5/181 20055
/proc/meminfo: memFree=30307260/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=9652 CPUtime=0 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) R 20053 20055 19972 0 -1 4202496 490 1261 0 0 0 0 0 0 25 0 1 0 521337944 9883648 420 33554432000 4194304 4417332 140734918057456 18446744073709551615 253640859392 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/20055/statm: 2413 420 147 55 0 299 0

[startup+0.043037 s]
/proc/loadavg: 4.08 4.59 6.01 5/181 20055
/proc/meminfo: memFree=30307260/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=16020 CPUtime=0.03 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) R 20053 20055 19972 0 -1 4202496 2135 1261 0 0 3 0 0 0 25 0 1 0 521337944 16404480 2029 33554432000 4194304 4417332 140734918057456 18446744073709551615 4231387 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/20055/statm: 4005 2029 148 55 0 1891 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16020

[startup+0.10103 s]
/proc/loadavg: 4.08 4.59 6.01 5/181 20055
/proc/meminfo: memFree=30307260/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=30172 CPUtime=0.09 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) R 20053 20055 19972 0 -1 4202496 5681 1261 0 0 9 0 0 0 25 0 1 0 521337944 30896128 5551 33554432000 4194304 4417332 140734918057456 18446744073709551615 253640859392 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/20055/statm: 7543 5551 148 55 0 5429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30172

[startup+0.300987 s]
/proc/loadavg: 4.08 4.59 6.01 5/181 20055
/proc/meminfo: memFree=30307260/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=79324 CPUtime=0.29 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) R 20053 20055 19972 0 -1 4202496 17969 1261 0 0 28 1 0 0 25 0 1 0 521337944 81227776 17839 33554432000 4194304 4417332 140734918057456 18446744073709551615 253640859392 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/20055/statm: 19831 17839 148 55 0 17717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79324

[startup+0.700883 s]
/proc/loadavg: 4.08 4.59 6.01 5/181 20055
/proc/meminfo: memFree=30307260/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=156540 CPUtime=1.07 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 35232 1261 0 0 103 4 0 0 25 0 5 0 521337944 160296960 26915 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 39135 26915 172 55 0 37021 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 156540

[startup+1.50074 s]
/proc/loadavg: 4.08 4.59 6.01 10/186 20065
/proc/meminfo: memFree=30194760/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=158020 CPUtime=4.26 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 36495 1261 0 0 422 4 0 0 25 0 5 0 521337944 161812480 27315 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 39505 27315 175 55 0 37391 0
[pid=20055/tid=20062] ppid=20053 vsize=158020 CPUtime=0.93 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 364 1261 0 0 93 0 0 0 25 0 5 0 521338001 161812480 27315 33554432000 4194304 4417332 140734918057456 18446744073709551615 4307359 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=158020 CPUtime=0.92 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 452 1261 0 0 92 0 0 0 25 0 5 0 521338001 161812480 27315 33554432000 4194304 4417332 140734918057456 18446744073709551615 4310626 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=158020 CPUtime=0.91 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 228 1261 0 0 91 0 0 0 25 0 5 0 521338001 161812480 27315 33554432000 4194304 4417332 140734918057456 18446744073709551615 4309302 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=158020 CPUtime=0.92 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 1086 1261 0 0 92 0 0 0 25 0 5 0 521338001 161812480 27315 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 158020

[startup+3.10044 s]
/proc/loadavg: 4.08 4.59 6.01 9/186 20065
/proc/meminfo: memFree=30185212/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=209368 CPUtime=10.66 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 53275 1261 0 0 1058 8 0 0 25 0 5 0 521337944 214392832 40163 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 52342 40163 181 55 0 50228 0
[pid=20055/tid=20062] ppid=20053 vsize=209368 CPUtime=2.52 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 5531 1261 0 0 252 0 0 0 25 0 5 0 521338001 214392832 40163 33554432000 4194304 4417332 140734918057456 18446744073709551615 4239414 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=209368 CPUtime=2.52 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 5266 1261 0 0 251 1 0 0 25 0 5 0 521338001 214392832 40163 33554432000 4194304 4417332 140734918057456 18446744073709551615 4331690 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=209368 CPUtime=2.51 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 4512 1261 0 0 250 1 0 0 25 0 5 0 521338001 214392832 40163 33554432000 4194304 4417332 140734918057456 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=209368 CPUtime=2.52 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 3601 1261 0 0 252 0 0 0 25 0 5 0 521338001 214392832 40163 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.66
Current children cumulated vsize (KiB) 209368

[startup+6.30086 s]
/proc/loadavg: 4.39 4.65 6.02 9/186 20065
/proc/meminfo: memFree=30159920/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=190372 CPUtime=23.45 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 63789 1261 0 0 2335 10 0 0 25 0 5 0 521337944 194940928 35382 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 47593 35382 181 55 0 45479 0
[pid=20055/tid=20062] ppid=20053 vsize=190372 CPUtime=5.72 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 7976 1261 0 0 571 1 0 0 25 0 5 0 521338001 194940928 35382 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364919 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=190372 CPUtime=5.72 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 8131 1261 0 0 570 2 0 0 25 0 5 0 521338001 194940928 35382 33554432000 4194304 4417332 140734918057456 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=190372 CPUtime=5.69 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 4619 1261 0 0 568 1 0 0 25 0 5 0 521338001 194940928 35382 33554432000 4194304 4417332 140734918057456 18446744073709551615 4278280 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=190372 CPUtime=5.72 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 8698 1261 0 0 571 1 0 0 25 0 5 0 521338001 194940928 35382 33554432000 4194304 4417332 140734918057456 18446744073709551615 4250507 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.45
Current children cumulated vsize (KiB) 190372

[startup+12.7007 s]
/proc/loadavg: 4.68 4.70 6.03 10/186 20065
/proc/meminfo: memFree=30157224/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=248364 CPUtime=49.01 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 86517 1261 0 0 4888 13 0 0 25 0 5 0 521337944 254324736 33529 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 62091 33529 181 55 0 59977 0
[pid=20055/tid=20062] ppid=20053 vsize=248364 CPUtime=12.12 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 12941 1261 0 0 1211 1 0 0 25 0 5 0 521338001 254324736 33529 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=248364 CPUtime=12.11 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 13114 1261 0 0 1209 2 0 0 25 0 5 0 521338001 254324736 33529 33554432000 4194304 4417332 140734918057456 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=248364 CPUtime=12.06 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 10638 1261 0 0 1204 2 0 0 25 0 5 0 521338001 254324736 33529 33554432000 4194304 4417332 140734918057456 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=248364 CPUtime=12.12 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 15459 1261 0 0 1210 2 0 0 25 0 5 0 521338001 254324736 33529 33554432000 4194304 4417332 140734918057456 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.01
Current children cumulated vsize (KiB) 248364

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

[startup+14.3064 s]
/proc/loadavg: 4.95 4.76 6.04 9/186 20065
/proc/meminfo: memFree=30143092/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=249004 CPUtime=55.42 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 89777 1261 0 0 5529 13 0 0 25 0 5 0 521337944 254980096 33689 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 62251 33689 181 55 0 60137 0
[pid=20055/tid=20062] ppid=20053 vsize=249004 CPUtime=13.72 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 13414 1261 0 0 1371 1 0 0 25 0 5 0 521338001 254980096 33689 33554432000 4194304 4417332 140734918057456 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=249004 CPUtime=13.72 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 13388 1261 0 0 1370 2 0 0 25 0 5 0 521338001 254980096 33689 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=249004 CPUtime=13.65 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 11047 1261 0 0 1363 2 0 0 25 0 5 0 521338001 254980096 33689 33554432000 4194304 4417332 140734918057456 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=249004 CPUtime=13.72 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 17563 1261 0 0 1370 2 0 0 25 0 5 0 521338001 254980096 33689 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364656 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (KiB) 249004

[startup+14.7003 s]
/proc/loadavg: 4.95 4.76 6.04 9/186 20065
/proc/meminfo: memFree=30143092/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=251532 CPUtime=57 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 91403 1261 0 0 5686 14 0 0 25 0 5 0 521337944 257568768 34321 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 62883 34321 181 55 0 60769 0
[pid=20055/tid=20062] ppid=20053 vsize=251532 CPUtime=14.12 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 14079 1261 0 0 1411 1 0 0 25 0 5 0 521338001 257568768 34321 33554432000 4194304 4417332 140734918057456 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=251532 CPUtime=14.11 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 13388 1261 0 0 1409 2 0 0 25 0 5 0 521338001 257568768 34321 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364482 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=251532 CPUtime=14.04 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 11192 1261 0 0 1402 2 0 0 25 0 5 0 521338001 257568768 34321 33554432000 4194304 4417332 140734918057456 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=251532 CPUtime=14.12 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 18379 1261 0 0 1410 2 0 0 25 0 5 0 521338001 257568768 34321 33554432000 4194304 4417332 140734918057456 18446744073709551615 4358020 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57
Current children cumulated vsize (KiB) 251532

[startup+14.9003 s]
/proc/loadavg: 4.95 4.76 6.04 9/186 20065
/proc/meminfo: memFree=30143092/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=252524 CPUtime=57.8 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 91651 1261 0 0 5766 14 0 0 25 0 5 0 521337944 258584576 34569 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 63131 34569 181 55 0 61017 0
[pid=20055/tid=20062] ppid=20053 vsize=252524 CPUtime=14.32 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 14079 1261 0 0 1431 1 0 0 25 0 5 0 521338001 258584576 34569 33554432000 4194304 4417332 140734918057456 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=252524 CPUtime=14.31 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 13406 1261 0 0 1429 2 0 0 25 0 5 0 521338001 258584576 34569 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364498 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=252524 CPUtime=14.24 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 11321 1261 0 0 1422 2 0 0 25 0 5 0 521338001 258584576 34569 33554432000 4194304 4417332 140734918057456 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=252524 CPUtime=14.32 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 18480 1261 0 0 1430 2 0 0 25 0 5 0 521338001 258584576 34569 33554432000 4194304 4417332 140734918057456 18446744073709551615 4354410 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57.8
Current children cumulated vsize (KiB) 252524

[startup+15.0003 s]
/proc/loadavg: 4.95 4.76 6.04 9/186 20065
/proc/meminfo: memFree=30143092/32951124 swapFree=67111364/67111528
[pid=20055] ppid=20053 vsize=253496 CPUtime=58.2 cores=1,3,5,7
/proc/20055/stat : 20055 (plingeling) S 20053 20055 19972 0 -1 4202496 91894 1261 0 0 5806 14 0 0 25 0 5 0 521337944 259579904 34812 33554432000 4194304 4417332 140734918057456 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/20055/statm: 63374 34812 181 55 0 61260 0
[pid=20055/tid=20062] ppid=20053 vsize=253496 CPUtime=14.42 cores=1,3,5,7
/proc/20055/task/20062/stat : 20062 (plingeling) R 20053 20055 19972 0 -1 4202560 14079 1261 0 0 1441 1 0 0 25 0 5 0 521338001 259579904 34812 33554432000 4194304 4417332 140734918057456 18446744073709551615 4366381 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20055/tid=20063] ppid=20053 vsize=253496 CPUtime=14.41 cores=1,3,5,7
/proc/20055/task/20063/stat : 20063 (plingeling) R 20053 20055 19972 0 -1 4202560 13406 1261 0 0 1439 2 0 0 25 0 5 0 521338001 259579904 34812 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20055/tid=20064] ppid=20053 vsize=253496 CPUtime=14.34 cores=1,3,5,7
/proc/20055/task/20064/stat : 20064 (plingeling) R 20053 20055 19972 0 -1 4202560 11321 1261 0 0 1432 2 0 0 25 0 5 0 521338001 259579904 34812 33554432000 4194304 4417332 140734918057456 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20055/tid=20065] ppid=20053 vsize=253496 CPUtime=14.42 cores=1,3,5,7
/proc/20055/task/20065/stat : 20065 (plingeling) R 20053 20055 19972 0 -1 4202560 18723 1261 0 0 1440 2 0 0 25 0 5 0 521338001 259579904 34812 33554432000 4194304 4417332 140734918057456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 58.2
Current children cumulated vsize (KiB) 253496

Child status: 10
Real time (s): 15.0485
CPU time (s): 58.3141
CPU user time (s): 58.1592
CPU system time (s): 0.154976
CPU usage (%): 387.508
Max. virtual memory (cumulated for all children) (KiB): 274704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.1592
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93208
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= 125
involuntary context switches= 409

runsolver used 0.031995 second user time and 0.053991 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 19:16:16
IDJOB=3290633
IDBENCH=83443
IDSOLVER=1605
FILE ID=node106/3290633-1304097375
RUNJOBID= node106-1304097373-19991
PBS_JOBID= 13170612
Free space on /tmp= 72148 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290633-1304097375/watcher-3290633-1304097375 -o /tmp/evaluation-result-3290633-1304097375/solver-3290633-1304097375 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3290633-1304097375.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=445514203

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30307540 kB
Buffers:        252244 kB
Cached:        2082204 kB
SwapCached:         88 kB
Active:         827376 kB
Inactive:      1602616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30307540 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           13032 kB
Writeback:           0 kB
AnonPages:       95192 kB
Mapped:          15436 kB
Slab:           147220 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   280900 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72148 MiB
End job on node106 at 2011-04-29 19:16:31