0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-1720316-1240654746.cnf
0.00/0.00 c found header 'p cnf 6228 484871'
0.69/0.72 c finished parsing
0.69/0.72 c
0.69/0.72 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.69/0.72 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.69/0.72 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.69/0.72 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.69/0.72 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.69/0.72 c --random=1 --spread=2000 --seed=0 --skip=25
0.69/0.72 c
0.69/0.72 c sizeof vars[0] = 16 alignment = 0 0 MB
0.69/0.72 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.69/0.72 c sizeof occs[0] = 8 alignment = 0 0 MB
0.69/0.72 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.69/0.72 c
0.69/0.72 c starting search after 0.7 seconds
0.69/0.72 c no decision limit
0.69/0.74 c
0.69/0.74 c original/binary fixed eliminated learned agility
0.69/0.74 c seconds variables equivalent conflicts height MB
0.69/0.74 c
0.69/0.74 c * 0.7 482127 6208 20 0 0 0 0 0.0 0 37
4.09/4.18 c s 4.2 465377 6171 34 0 23 0 0 0.0 0 35
4.09/4.18 c l 4.2 465377 6171 34 0 23 0 460670 0.0 0 35
4.09/4.19 c R 4.2 465377 6171 34 0 23 100 100 87.8 2 35
4.09/4.19 c R 4.2 465377 6171 34 0 23 200 200 91.0 3 35
4.19/4.21 c R 4.2 465377 6171 34 0 23 800 800 101.5 9 35
4.19/4.27 c B 4.3 465377 6171 34 0 23 1000 1000 102.2 9 35
4.30/4.35 c B 4.4 465378 6171 34 0 23 2001 2000 121.9 9 36
4.30/4.38 c R 4.4 465378 6171 34 0 23 2403 2402 137.6 8 36
4.69/4.79 c B 4.8 465380 6170 35 0 23 8002 8000 150.7 12 38
4.79/4.89 c R 4.9 465385 6170 35 0 23 10326 10324 151.6 11 38
5.59/5.66 c R 5.7 465387 6170 35 0 23 19947 19944 191.5 5 41
5.99/6.01 c B 6.0 465390 6169 36 0 23 24004 24000 212.2 9 42
9.79/9.87 c R 9.9 466630 6121 68 16 23 59826 59822 218.2 17 50
10.09/10.17 c B 10.2 466633 6121 68 16 23 64011 64007 218.8 11 50
15.69/15.72 c R 15.7 467236 6120 68 17 23 111082 111078 275.8 16 58
23.18/23.23 c B 23.2 468429 6120 68 17 23 160023 160015 268.0 17 64
33.77/33.87 c R 33.9 470034 6120 68 17 23 226389 226377 283.9 19 73
73.16/73.23 c B 73.2 480496 6120 68 17 23 384041 383996 285.9 9 98
96.25/96.30 c
96.25/96.30 c original/binary fixed eliminated learned agility
96.25/96.30 c seconds variables equivalent conflicts height MB
96.25/96.30 c
96.25/96.30 c + 96.3 488742 6119 69 17 23 460670 506737 306.3 6 110
100.96/101.03 c R 101.0 489947 6119 69 17 23 482603 482539 313.9 9 113
135.04/135.12 c + 135.1 502832 6114 70 21 23 575835 557410 340.3 8 120
148.03/148.15 c s 148.1 497458 6110 70 21 27 604142 534018 339.0 3 95
148.03/148.15 c - 148.1 497458 6110 70 21 27 604142 551836 339.0 3 95
196.21/196.35 c + 196.3 499908 6110 70 21 27 712595 607019 329.1 12 123
266.49/266.60 c + 266.5 507473 6110 70 21 27 890740 667720 340.4 10 134
268.99/269.13 c B 269.0 507634 6110 70 21 27 896104 612456 339.5 6 135
327.66/327.84 c R 327.7 517346 6110 70 21 27 1046221 667899 364.8 8 145
363.74/363.90 c + 363.8 524907 6109 71 21 27 1113425 734492 362.6 10 148
515.68/515.93 c 1 515.7 553487 6109 71 21 27 1373708 736083 363.0 6 163
515.68/515.93 c
515.68/515.98 s SATISFIABLE
515.68/515.98 v 1 2 3 -4 5 6 7
515.68/515.98 v -8 -9 10 -11 -12 -13 -14 -15
515.68/515.98 v -16 -17 -18 -19 20 -21 22 -23
515.68/515.98 v -24 25 26 27 -28 -29 30 31
515.68/515.98 v -32 33 -34 35 -36 -37 -38 39
515.68/515.98 v -40 -41 42 -43 -44 -45 -46 -47
515.68/515.98 v -48 -49 -50 -51 52 -53 54 -55
515.68/515.98 v -56 57 58 59 -60 -61 62 63
515.68/515.98 v -64 -65 -66 67 -68 -69 -70 71
515.68/515.98 v -72 73 -74 -75 -76 77 78 -79
515.68/515.98 v -80 -81 -82 -83 -84 85 -86 -87
515.68/515.98 v -88 89 90 -91 -92 -93 -94 95
515.68/515.98 v -96 -97 -98 -99 100 101 102 103
515.68/515.98 v -104 -105 106 107 -108 109 110 -111
515.68/515.98 v -112 -113 -114 -115 -116 117 -118 -119
515.68/515.98 v -120 121 122 123 -124 -125 126 -127
515.68/515.98 v -128 129 130 -131 -132 -133 -134 135
515.68/515.98 v -136 137 -138 -139 -140 141 -142 143
515.68/515.98 v -144 -145 146 147 -148 149 150 -151
515.68/515.98 v -152 153 154 155 -156 -157 158 159
515.68/515.98 v -160 161 162 -163 -164 -165 -166 -167
515.68/515.98 v -168 -169 170 171 -172 173 174 -175
515.68/515.98 v -176 -177 -178 179 -180 -181 -182 -183
515.68/515.98 v 184 185 186 187 -188 -189 190 191
515.68/515.98 v -192 193 194 -195 -196 -197 -198 -199
515.68/515.98 v -200 -201 202 203 -204 -205 -206 207
515.68/515.98 v -208 -209 210 -211 -212 213 214 -215
515.68/515.98 v -216 217 218 219 -220 221 -222 -223
515.68/515.98 v -224 225 -226 227 -228 -229 -230 -231
515.68/515.98 v 232 233 234 -235 -236 -237 -238 -239
515.68/515.98 v -240 241 -242 -243 -244 245 246 247
515.68/515.98 v -248 -249 250 -251 -252 253 254 -255
515.68/515.98 v -256 -257 -258 -259 -260 -261 262 263
515.68/515.98 v -264 -265 -266 267 -268 -269 270 -271
515.68/515.98 v -272 273 274 -275 -276 -277 -278 279
515.68/515.98 v -280 -281 282 -283 -284 285 -286 287
515.68/515.98 v -288 -289 290 291 -292 293 294 -295
515.68/515.98 v -296 297 298 299 -300 -301 302 -303
515.68/515.98 v -304 305 -306 -307 -308 -309 310 311
515.68/515.98 v -312 313 314 -315 -316 -317 -318 319
515.68/515.98 v -320 -321 -322 -323 324 -325 326 327
515.68/515.98 v -328 -329 -330 -331 -332 333 334 -335
515.68/515.98 v -336 -337 -338 339 -340 341 -342 -343
515.68/515.98 v -344 345 -346 347 -348 -349 350 351
515.68/515.98 v -352 353 354 -355 -356 357 358 359
515.68/515.98 v -360 361 -362 -363 -364 365 -366 367
515.68/515.98 v -368 -369 -370 -371 372 373 374 -375
515.68/515.98 v -376 -377 -378 379 -380 -381 382 -383
515.68/515.98 v -384 385 -386 387 -388 -389 390 391
515.68/515.98 v -392 393 394 -395 -396 397 -398 399
515.68/515.98 v -400 -401 -402 -403 404 405 -406 -407
515.68/515.98 v -408 -409 -410 -411 -412 413 414 -415
515.68/515.98 v -416 417 -418 419 -420 -421 -422 -423
515.68/515.98 v 424 425 426 427 -428 -429 -430 -431
515.68/515.98 v -432 433 434 -435 -436 437 438 439
515.68/515.98 v -440 -441 442 -443 -444 445 -446 -447
515.68/515.98 v -448 -449 450 451 -452 453 454 -455
515.68/515.98 v -456 457 -458 459 -460 -461 -462 -463
515.68/515.98 v 464 465 -466 -467 -468 -469 -470 -471
515.68/515.98 v -472 473 474 -475 -476 477 -478 -479
515.68/515.98 v -480 -481 -482 483 -484 485 486 487
515.68/515.98 v -488 -489 490 -491 -492 493 494 -495
515.68/515.98 v -496 497 -498 -499 -500 -501 -502 -503
515.68/515.98 v -504 505 506 507 -508 509 -510 511
515.68/515.98 v -512 -513 -514 -515 516 517 518 -519
515.68/515.98 v -520 521 -522 -523 -524 -525 -526 527
515.68/515.98 v -528 -529 530 -531 -532 -533 -534 -535
515.68/515.98 v 536 537 538 -539 -540 -541 -542 543
515.68/515.98 v -544 -545 -546 -547 548 -549 550 551
515.68/515.98 v -552 -553 -554 -555 -556 557 558 -559
515.68/515.98 v -560 561 -562 563 -564 -565 -566 -567
515.68/515.98 v 568 569 570 571 -572 -573 -574 -575
515.68/515.98 v -576 577 578 -579 -580 581 -582 -583
515.68/515.98 v -584 -585 -586 587 -588 589 590 591
515.68/515.98 v -592 -593 594 -595 -596 597 598 -599
515.68/515.98 v -600 -601 602 603 -604 -605 -606 -607
515.68/515.98 v -608 -609 -610 611 -612 613 -614 615
515.68/515.98 v -616 -617 -618 -619 620 621 622 -623
515.68/515.98 v -624 -625 626 627 -628 -629 -630 -631
515.68/515.98 v -632 633 -634 635 -636 -637 -638 -639
515.68/515.98 v 640 641 642 -643 -644 645 -646 -647
515.68/515.98 v -648 -649 650 651 -652 653 654 655
515.68/515.98 v -656 -657 658 -659 -660 -661 -662 -663
515.68/515.98 v 664 665 666 -667 -668 -669 670 671
515.68/515.98 v -672 -673 -674 -675 -676 -677 -678 679
515.68/515.98 v -680 681 -682 683 -684 -685 -686 -687
515.68/515.98 v 688 689 690 -691 -692 693 694 695
515.68/515.98 v -696 -697 -698 -699 700 701 702 -703
515.68/515.98 v -704 705 706 707 -708 709 -710 711
515.68/515.98 v -712 -713 -714 -715 716 717 -718 -719
515.68/515.98 v -720 -721 -722 -723 -724 725 726 -727
515.68/515.98 v -728 -729 -730 731 -732 733 -734 735
515.68/515.98 v -736 -737 -738 -739 740 741 -742 -743
515.68/515.98 v -744 -745 -746 -747 -748 749 750 -751
515.68/515.98 v -752 753 -754 -755 -756 -757 -758 -759
515.68/515.98 v -760 -761 762 -763 -764 -765 -766 -767
515.68/515.98 v 768 769 770 771 -772 -773 774 775
515.68/515.98 v -776 -777 -778 -779 -780 781 -782 783
515.68/515.98 v -784 -785 -786 -787 788 789 790 -791
515.68/515.98 v -792 -793 -794 -795 796 797 798 799
515.68/515.98 v -800 801 -802 803 -804 -805 -806 -807
515.68/515.98 v 808 -809 810 811 -812 -813 -814 -815
515.68/515.98 v -816 817 818 819 -820 821 -822 823
515.68/515.98 v -824 -825 -826 -827 828 829 -830 -831
515.68/515.98 v -832 -833 -834 -835 -836 837 838 -839
515.68/515.98 v -840 841 842 843 -844 -845 846 -847
515.68/515.98 v -848 -849 -850 -851 852 -853 854 855
515.68/515.98 v -856 -857 -858 -859 -860 861 862 -863
515.68/515.98 v -864 865 -866 867 -868 -869 -870 -871
515.68/515.98 v 872 873 -874 -875 -876 -877 -878 -879
515.68/515.98 v -880 881 882 -883 -884 -885 886 887
515.68/515.98 v -888 -889 -890 891 -892 893 894 895
515.68/515.98 v -896 -897 898 -899 -900 901 902 -903
515.68/515.98 v -904 905 -906 -907 -908 -909 -910 -911
515.68/515.98 v -912 -913 -914 -915 916 -917 918 -919
515.68/515.98 v -920 921 -922 923 -924 925 926 -927
515.68/515.98 v -928 929 -930 -931 -932 -933 -934 -935
515.68/515.98 v -936 -937 938 -939 -940 941 -942 943
515.68/515.98 v -944 945 946 -947 -948 949 -950 -951
515.68/515.98 v -952 -953 -954 955 -956 957 958 959
515.68/515.98 v -960 -961 -962 -963 964 965 966 -967
515.68/515.98 v -968 -969 -970 971 -972 973 -974 975
515.68/515.98 v -976 -977 -978 -979 980 981 -982 -983
515.68/515.98 v -984 -985 -986 -987 -988 989 990 -991
515.68/515.98 v -992 993 -994 995 -996 -997 -998 -999
515.68/515.98 v 1000 1001 1002 1003 -1004 -1005 -1006 -1007
515.68/515.98 v -1008 1009 1010 -1011 -1012 -1013 1014 1015
515.68/515.98 v -1016 -1017 -1018 1019 -1020 1021 1022 1023
515.68/515.98 v -1024 -1025 1026 -1027 -1028 1029 1030 -1031
515.68/515.98 v -1032 1033 1034 1035 -1036 -1037 -1038 -1039
515.68/515.98 v -1040 -1041 -1042 -1043 1044 -1045 1046 1047
515.68/515.98 v -1048 1049 -1050 1051 -1052 1053 1054 -1055
515.68/515.98 v -1056 1057 -1058 -1059 -1060 -1061 -1062 -1063
515.68/515.98 v -1064 -1065 1066 1067 -1068 1069 -1070 1071
515.68/515.98 v -1072 1073 1074 -1075 -1076 1077 -1078 -1079
515.68/515.98 v -1080 -1081 1082 -1083 -1084 -1085 1086 1087
515.68/515.98 v -1088 -1089 -1090 -1091 1092 1093 1094 -1095
515.68/515.98 v -1096 1097 -1098 -1099 -1100 -1101 -1102 -1103
515.68/515.98 v -1104 -1105 -1106 -1107 1108 -1109 1110 -1111
515.68/515.98 v -1112 1113 -1114 1115 -1116 1117 1118 -1119
515.68/515.98 v -1120 1121 -1122 -1123 -1124 -1125 -1126 -1127
515.68/515.98 v -1128 -1129 -1130 1131 -1132 -1133 1134 1135
515.68/515.98 v -1136 1137 -1138 1139 -1140 1141 1142 -1143
515.68/515.98 v -1144 -1145 -1146 1147 -1148 -1149 1150 -1151
515.68/515.98 v -1152 1153 -1154 1155 -1156 1157 1158 1159
515.68/515.98 v -1160 -1161 -1162 -1163 -1164 1165 1166 -1167
515.68/515.98 v -1168 -1169 -1170 -1171 1172 -1173 1174 -1175
515.68/515.98 v -1176 1177 1178 -1179 -1180 -1181 -1182 -1183
515.68/515.98 v 1184 -1185 1186 -1187 -1188 1189 -1190 1191
515.68/515.98 v -1192 -1193 -1194 -1195 -1196 1197 1198 1199
515.68/515.98 v -1200 1201 1202 -1203 -1204 1205 -1206 -1207
515.68/515.98 v -1208 -1209 -1210 -1211 -1212 -1213 1214 -1215
515.68/515.98 v -1216 1217 -1218 1219 -1220 -1221 -1222 -1223
515.68/515.98 v 1224 1225 -1226 -1227 -1228 -1229 -1230 -1231
515.68/515.98 v -1232 -1233 1234 1235 -1236 1237 -1238 1239
515.68/515.98 v -1240 -1241 -1242 -1243 1244 -1245 -1246 1247
515.68/515.98 v -1248 -1249 1250 -1251 -1252 1253 1254 -1255
515.68/515.98 v -1256 -1257 1258 -1259 -1260 1261 -1262 1263
515.68/515.98 v -1264 1265 1266 1267 -1268 -1269 -1270 -1271
515.68/515.98 v -1272 1273 1274 -1275 -1276 -1277 1278 -1279
515.68/515.98 v -1280 1281 -1282 1283 -1284 -1285 -1286 1287
515.68/515.98 v -1288 1289 -1290 -1291 -1292 -1293 -1294 -1295
515.68/515.98 v 1296 1297 -1298 -1299 -1300 -1301 -1302 1303
515.68/515.98 v -1304 1305 1306 1307 -1308 -1309 -1310 -1311
515.68/515.98 v 1312 1313 1314 -1315 -1316 1317 -1318 -1319
515.68/515.98 v -1320 -1321 1322 -1323 -1324 -1325 1326 1327
515.68/515.98 v -1328 -1329 -1330 -1331 1332 1333 1334 -1335
515.68/515.98 v -1336 -1337 -1338 1339 -1340 -1341 1342 -1343
515.68/515.98 v -1344 1345 -1346 1347 -1348 1349 1350 1351
515.68/515.98 v -1352 -1353 -1354 -1355 -1356 1357 1358 -1359
515.68/515.98 v -1360 -1361 1362 -1363 -1364 1365 -1366 1367
515.68/515.98 v -1368 1369 1370 1371 -1372 -1373 -1374 -1375
515.68/515.98 v -1376 1377 1378 -1379 -1380 -1381 1382 1383
515.68/515.98 v -1384 -1385 -1386 -1387 1388 -1389 -1390 1391
515.68/515.98 v -1392 1393 -1394 -1395 -1396 1397 1398 -1399
515.68/515.98 v -1400 1401 1402 1403 -1404 -1405 -1406 -1407
515.68/515.98 v 1408 -1409 1410 -1411 -1412 1413 -1414 -1415
515.68/515.98 v -1416 1417 1418 -1419 -1420 -1421 1422 1423
515.68/515.98 v -1424 -1425 -1426 -1427 -1428 -1429 1430 -1431
515.68/515.98 v -1432 1433 -1434 1435 -1436 1437 1438 -1439
515.68/515.98 v -1440 -1441 -1442 -1443 1444 -1445 1446 -1447
515.68/515.98 v -1448 1449 -1450 1451 -1452 -1453 -1454 -1455
515.68/515.98 v -1456 1457 -1458 -1459 -1460 1461 1462 -1463
515.68/515.98 v -1464 -1465 1466 -1467 -1468 1469 -1470 1471
515.68/515.98 v -1472 -1473 -1474 1475 -1476 1477 -1478 -1479
515.68/515.98 v -1480 1481 1482 -1483 -1484 -1485 1486 1487
515.68/515.98 v -1488 -1489 -1490 -1491 1492 -1493 -1494 1495
515.68/515.98 v -1496 1497 -1498 -1499 -1500 1501 1502 -1503
515.68/515.98 v -1504 -1505 -1506 1507 -1508 1509 1510 1511
515.68/515.98 v -1512 -1513 1514 -1515 -1516 -1517 1518 1519
515.68/515.98 v -1520 1521 1522 -1523 -1524 -1525 -1526 1527
515.68/515.98 v -1528 1529 1530 1531 -1532 -1533 -1534 -1535
515.68/515.98 v 1536 1537 -1538 1539 -1540 1541 1542 -1543
515.68/515.98 v -1544 1545 1546 1547 -1548 -1549 -1550 -1551
515.68/515.98 v 1552 -1553 1554 -1555 -1556 1557 -1558 -1559
515.68/515.98 v -1560 1561 1562 -1563 -1564 -1565 -1566 1567
515.68/515.98 v -1568 1569 1570 1571 -1572 -1573 1574 -1575
515.68/515.98 v -1576 -1577 1578 1579 -1580 1581 1582 -1583
515.68/515.98 v -1584 -1585 -1586 -1587 -1588 1589 -1590 -1591
515.68/515.98 v -1592 -1593 -1594 -1595 1596 1597 -1598 1599
515.68/515.98 v -1600 1601 1602 -1603 -1604 -1605 -1606 -1607
515.68/515.98 v -1608 -1609 1610 1611 -1612 1613 1614 1615
515.68/515.98 v -1616 -1617 -1618 -1619 1620 1621 1622 -1623
515.68/515.98 v -1624 -1625 1626 -1627 -1628 1629 -1630 -1631
515.68/515.98 v -1632 -1633 -1634 -1635 1636 1637 1638 1639
515.68/515.98 v -1640 1641 1642 -1643 -1644 -1645 1646 1647
515.68/515.98 v -1648 -1649 -1650 -1651 -1652 -1653 1654 -1655
515.68/515.98 v -1656 1657 -1658 1659 -1660 1661 1662 -1663
515.68/515.98 v -1664 -1665 -1666 -1667 -1668 1669 1670 1671
515.68/515.98 v -1672 -1673 1674 -1675 -1676 1677 -1678 1679
515.68/515.98 v -1680 1681 1682 -1683 -1684 -1685 -1686 -1687
515.68/515.98 v -1688 -1689 1690 1691 -1692 -1693 -1694 -1695
515.68/515.98 v 1696 1697 -1698 1699 -1700 -1701 -1702 1703
515.68/515.98 v -1704 -1705 1706 -1707 -1708 1709 -1710 1711
515.68/515.98 v -1712 1713 1714 1715 -1716 1717 -1718 -1719
515.68/515.98 v -1720 1721 1722 -1723 -1724 -1725 1726 -1727
515.68/515.98 v -1728 1729 -1730 1731 -1732 -1733 -1734 -1735
515.68/515.98 v -1736 1737 1738 1739 -1740 1741 1742 -1743
515.68/515.98 v -1744 -1745 -1746 -1747 -1748 -1749 1750 1751
515.68/515.98 v -1752 1753 1754 1755 -1756 -1757 -1758 -1759
515.68/515.98 v 1760 1761 1762 -1763 -1764 -1765 1766 -1767
515.68/515.98 v -1768 1769 -1770 1771 -1772 1773 1774 1775
515.68/515.98 v -1776 1777 -1778 -1779 -1780 1781 1782 -1783
515.68/515.98 v -1784 -1785 -1786 1787 -1788 1789 -1790 -1791
515.68/515.98 v -1792 -1793 -1794 -1795 -1796 -1797 1798 1799
515.68/515.98 v -1800 1801 1802 -1803 -1804 1805 1806 1807
515.68/515.98 v -1808 -1809 -1810 -1811 1812 -1813 1814 -1815
515.68/515.98 v -1816 1817 -1818 1819 -1820 1821 1822 -1823
515.68/515.98 v -1824 1825 1826 1827 -1828 -1829 -1830 -1831
515.68/515.98 v 1832 1833 -1834 1835 -1836 -1837 1838 1839
515.68/515.98 v -1840 1841 1842 -1843 -1844 -1845 1846 -1847
515.68/515.98 v -1848 1849 -1850 -1851 -1852 -1853 -1854 -1855
515.68/515.98 v 1856 1857 1858 1859 -1860 1861 1862 -1863
515.68/515.98 v -1864 -1865 1866 -1867 -1868 1869 -1870 1871
515.68/515.98 v -1872 -1873 -1874 -1875 -1876 -1877 1878 1879
515.68/515.98 v -1880 1881 1882 -1883 -1884 -1885 -1886 1887
515.68/515.98 v -1888 1889 -1890 -1891 -1892 -1893 -1894 -1895
515.68/515.98 v -1896 -1897 1898 1899 -1900 1901 1902 -1903
515.68/515.98 v -1904 -1905 -1906 -1907 -1908 -1909 1910 1911
515.68/515.98 v -1912 1913 -1914 -1915 -1916 1917 -1918 1919
515.68/515.98 v -1920 1921 1922 -1923 -1924 -1925 -1926 -1927
515.68/515.98 v 1928 1929 1930 1931 -1932 1933 -1934 1935
515.68/515.98 v -1936 -1937 1938 -1939 -1940 1941 1942 -1943
515.68/515.98 v -1944 1945 1946 1947 -1948 -1949 -1950 -1951
515.68/515.98 v 1952 -1953 1954 -1955 -1956 1957 -1958 1959
515.68/515.98 v -1960 1961 1962 -1963 -1964 -1965 -1966 -1967
515.68/515.98 v -1968 -1969 1970 1971 -1972 1973 -1974 -1975
515.68/515.98 v -1976 1977 -1978 1979 -1980 1981 1982 -1983
515.68/515.98 v -1984 1985 -1986 -1987 -1988 -1989 -1990 1991
515.68/515.98 v -1992 -1993 -1994 -1995 -1996 -1997 1998 1999
515.68/515.98 v -2000 2001 2002 -2003 -2004 -2005 2006 -2007
515.68/515.98 v -2008 -2009 -2010 2011 -2012 -2013 -2014 -2015
515.68/515.98 v -2016 2017 2018 2019 -2020 -2021 2022 2023
515.68/515.98 v -2024 2025 2026 -2027 -2028 -2029 2030 -2031
515.68/515.98 v -2032 2033 -2034 2035 -2036 2037 2038 2039
515.68/515.98 v -2040 -2041 2042 2043 -2044 2045 2046 -2047
515.68/515.98 v -2048 -2049 -2050 2051 -2052 2053 -2054 -2055
515.68/515.98 v -2056 2057 -2058 2059 -2060 -2061 2062 -2063
515.68/515.98 v -2064 2065 2066 -2067 -2068 -2069 -2070 -2071
515.68/515.98 v 2072 2073 2074 2075 -2076 2077 -2078 2079
515.68/515.98 v -2080 -2081 2082 -2083 -2084 2085 2086 -2087
515.68/515.98 v -2088 2089 -2090 -2091 -2092 -2093 -2094 2095
515.68/515.98 v -2096 -2097 -2098 -2099 -2100 -2101 2102 2103
515.68/515.98 v -2104 2105 2106 -2107 -2108 2109 -2110 2111
515.68/515.98 v -2112 -2113 2114 -2115 -2116 2117 -2118 -2119
515.68/515.98 v -2120 2121 2122 2123 -2124 -2125 -2126 -2127
515.68/515.98 v 2128 2129 2130 -2131 -2132 2133 -2134 2135
515.68/515.98 v -2136 -2137 2138 -2139 -2140 2141 2142 2143
515.68/515.98 v -2144 -2145 -2146 -2147 2148 2149 2150 -2151
515.68/515.98 v -2152 -2153 2154 -2155 -2156 2157 -2158 2159
515.68/515.98 v -2160 -2161 -2162 -2163 -2164 2165 2166 2167
515.68/515.98 v -2168 -2169 2170 2171 -2172 2173 2174 -2175
515.68/515.98 v -2176 2177 -2178 2179 -2180 -2181 2182 -2183
515.68/515.98 v -2184 2185 -2186 -2187 -2188 2189 2190 2191
515.68/515.98 v -2192 -2193 -2194 -2195 2196 2197 2198 -2199
515.68/515.98 v -2200 -2201 -2202 -2203 -2204 -2205 2206 2207
515.68/515.98 v -2208 2209 2210 -2211 -2212 2213 -2214 -2215
515.68/515.98 v -2216 2217 2218 2219 -2220 -2221 -2222 -2223
515.68/515.98 v 2224 -2225 -2226 2227 -2228 -2229 2230 -2231
515.68/515.98 v -2232 2233 2234 -2235 -2236 -2237 -2238 -2239
515.68/515.98 v -2240 2241 2242 2243 -2244 -2245 -2246 -2247
515.68/515.98 v 2248 -2249 2250 -2251 -2252 2253 -2254 2255
515.68/515.98 v -2256 2257 2258 -2259 -2260 -2261 2262 -2263
515.68/515.98 v -2264 -2265 -2266 2267 -2268 2269 2270 2271
515.68/515.98 v -2272 -2273 -2274 -2275 2276 2277 2278 -2279
515.68/515.98 v -2280 2281 -2282 2283 -2284 -2285 2286 -2287
515.68/515.98 v -2288 2289 2290 2291 -2292 -2293 -2294 -2295
515.68/515.98 v 2296 2297 2298 -2299 -2300 -2301 2302 2303
515.68/515.98 v -2304 2305 2306 -2307 -2308 2309 2310 2311
515.68/515.98 v -2312 -2313 -2314 -2315 2316 -2317 -2318 2319
515.68/515.98 v -2320 -2321 -2322 -2323 -2324 2325 2326 -2327
515.68/515.98 v -2328 2329 2330 2331 -2332 -2333 -2334 -2335
515.68/515.98 v 2336 -2337 2338 -2339 -2340 2341 -2342 2343
515.68/515.98 v -2344 2345 2346 -2347 -2348 2349 -2350 -2351
515.68/515.98 v -2352 2353 2354 2355 -2356 -2357 2358 2359
515.68/515.98 v -2360 -2361 -2362 2363 -2364 -2365 2366 -2367
515.68/515.98 v -2368 2369 2370 -2371 -2372 2373 2374 2375
515.68/515.98 v -2376 -2377 2378 2379 -2380 -2381 -2382 2383
515.68/515.98 v -2384 -2385 -2386 -2387 -2388 2389 2390 -2391
515.68/515.98 v -2392 -2393 -2394 2395 -2396 -2397 -2398 -2399
515.68/515.98 v -2400 -2401 2402 2403 -2404 2405 -2406 -2407
515.68/515.98 v -2408 2409 2410 -2411 -2412 2413 -2414 2415
515.68/515.98 v -2416 -2417 2418 -2419 -2420 -2421 2422 2423
515.68/515.98 v -2424 2425 -2426 -2427 -2428 -2429 -2430 -2431
515.68/515.98 v 2432 -2433 -2434 2435 -2436 -2437 -2438 -2439
515.68/515.98 v -2440 2441 2442 2443 -2444 2445 -2446 -2447
515.68/515.98 v -2448 2449 2450 -2451 -2452 -2453 -2454 -2455
515.68/515.98 v -2456 2457 2458 2459 -2460 -2461 -2462 -2463
515.68/515.98 v 2464 -2465 2466 -2467 -2468 2469 -2470 2471
515.68/515.98 v -2472 2473 2474 -2475 -2476 2477 2478 2479
515.68/515.98 v -2480 -2481 -2482 -2483 2484 -2485 2486 -2487
515.68/515.98 v -2488 2489 -2490 2491 -2492 2493 2494 -2495
515.68/515.98 v -2496 -2497 -2498 2499 -2500 -2501 -2502 -2503
515.68/515.98 v -2504 -2505 2506 2507 -2508 2509 -2510 -2511
515.68/515.98 v -2512 2513 2514 -2515 -2516 -2517 2518 -2519
515.68/515.98 v -2520 2521 -2522 2523 -2524 -2525 -2526 2527
515.68/515.98 v -2528 -2529 -2530 -2531 -2532 2533 2534 -2535
515.68/515.98 v -2536 -2537 2538 -2539 -2540 2541 -2542 2543
515.68/515.98 v -2544 2545 2546 2547 -2548 -2549 -2550 -2551
515.68/515.98 v 2552 2553 2554 -2555 -2556 -2557 2558 2559
515.68/515.98 v -2560 2561 -2562 2563 -2564 -2565 -2566 -2567
515.68/515.98 v -2568 -2569 -2570 2571 -2572 2573 2574 -2575
515.68/515.98 v -2576 -2577 2578 2579 -2580 2581 -2582 -2583
515.68/515.98 v -2584 2585 2586 2587 -2588 -2589 -2590 2591
515.68/515.98 v -2592 2593 2594 -2595 -2596 -2597 2598 -2599
515.68/515.98 v -2600 2601 -2602 2603 -2604 -2605 -2606 -2607
515.68/515.98 v 2608 -2609 -2610 -2611 -2612 2613 2614 2615
515.68/515.98 v -2616 2617 2618 -2619 -2620 2621 -2622 2623
515.68/515.98 v -2624 -2625 2626 -2627 -2628 -2629 2630 2631
515.68/515.98 v -2632 2633 -2634 -2635 -2636 2637 2638 -2639
515.68/515.98 v -2640 -2641 2642 -2643 -2644 2645 -2646 2647
515.68/515.98 v -2648 -2649 -2650 2651 -2652 -2653 -2654 -2655
515.68/515.98 v -2656 2657 2658 -2659 -2660 -2661 -2662 2663
515.68/515.98 v -2664 -2665 -2666 -2667 -2668 2669 2670 2671
515.68/515.98 v -2672 -2673 -2674 -2675 2676 2677 2678 -2679
515.68/515.98 v -2680 -2681 -2682 2683 -2684 -2685 -2686 -2687
515.68/515.98 v -2688 2689 2690 2691 -2692 -2693 -2694 -2695
515.68/515.98 v 2696 2697 2698 -2699 -2700 -2701 2702 -2703
515.68/515.98 v -2704 2705 -2706 2707 -2708 2709 2710 2711
515.68/515.98 v -2712 -2713 -2714 -2715 2716 2717 2718 -2719
515.68/515.98 v -2720 -2721 -2722 2723 -2724 -2725 -2726 -2727
515.68/515.98 v -2728 2729 2730 2731 -2732 -2733 -2734 -2735
515.68/515.98 v 2736 2737 2738 -2739 -2740 2741 2742 2743
515.68/515.98 v -2744 -2745 -2746 -2747 2748 -2749 -2750 -2751
515.68/515.98 v -2752 -2753 -2754 2755 -2756 2757 2758 -2759
515.68/515.98 v -2760 -2761 2762 2763 -2764 2765 -2766 -2767
515.68/515.98 v -2768 -2769 2770 -2771 -2772 -2773 -2774 2775
515.68/515.98 v -2776 2777 2778 -2779 -2780 -2781 2782 2783
515.68/515.98 v -2784 2785 -2786 2787 -2788 -2789 -2790 -2791
515.68/515.98 v -2792 -2793 -2794 2795 -2796 2797 2798 -2799
515.68/515.98 v -2800 2801 2802 2803 -2804 -2805 -2806 -2807
515.68/515.98 v 2808 -2809 -2810 -2811 -2812 -2813 -2814 2815
515.68/515.98 v -2816 2817 2818 -2819 -2820 -2821 -2822 -2823
515.68/515.98 v -2824 2825 -2826 -2827 -2828 2829 2830 2831
515.68/515.98 v -2832 2833 -2834 2835 -2836 2837 2838 -2839
515.68/515.98 v -2840 -2841 2842 -2843 -2844 -2845 -2846 2847
515.68/515.98 v -2848 -2849 -2850 -2851 2852 -2853 2854 2855
515.68/515.98 v -2856 2857 2858 2859 -2860 2861 2862 -2863
515.68/515.98 v -2864 -2865 2866 2867 -2868 2869 -2870 -2871
515.68/515.98 v -2872 2873 2874 2875 -2876 -2877 -2878 2879
515.68/515.98 v -2880 2881 2882 -2883 -2884 -2885 2886 2887
515.68/515.98 v -2888 2889 -2890 -2891 -2892 -2893 2894 -2895
515.68/515.98 v -2896 -2897 -2898 2899 -2900 2901 2902 -2903
515.68/515.98 v -2904 -2905 -2906 -2907 -2908 2909 -2910 -2911
515.68/515.98 v -2912 2913 2914 2915 -2916 2917 -2918 2919
515.68/515.98 v -2920 2921 2922 -2923 -2924 -2925 2926 -2927
515.68/515.98 v -2928 2929 -2930 2931 -2932 -2933 -2934 -2935
515.68/515.98 v 2936 -2937 2938 2939 -2940 2941 -2942 -2943
515.68/515.98 v -2944 2945 2946 -2947 -2948 -2949 2950 -2951
515.68/515.98 v -2952 2953 -2954 2955 -2956 -2957 2958 2959
515.68/515.98 v -2960 2961 -2962 -2963 -2964 2965 2966 -2967
515.68/515.98 v -2968 2969 2970 2971 -2972 2973 -2974 2975
515.68/515.98 v -2976 -2977 -2978 -2979 -2980 2981 -2982 -2983
515.68/515.98 v -2984 2985 2986 -2987 -2988 -2989 2990 -2991
515.68/515.98 v -2992 2993 -2994 2995 -2996 -2997 -2998 -2999
515.68/515.98 v 3000 -3001 -3002 -3003 -3004 3005 3006 3007
515.68/515.98 v -3008 3009 3010 -3011 -3012 -3013 3014 -3015
515.68/515.98 v -3016 -3017 -3018 3019 -3020 -3021 -3022 -3023
515.68/515.98 v 3024 -3025 3026 3027 -3028 3029 3030 3031
515.68/515.98 v -3032 3033 3034 -3035 -3036 -3037 3038 -3039
515.68/515.98 v -3040 3041 -3042 3043 -3044 -3045 -3046 -3047
515.68/515.98 v 3048 -3049 3050 3051 -3052 3053 -3054 -3055
515.68/515.98 v -3056 3057 3058 -3059 -3060 -3061 -3062 -3063
515.68/515.98 v 3064 -3065 -3066 -3067 -3068 3069 3070 3071
515.68/515.98 v -3072 3073 3074 -3075 -3076 -3077 -3078 -3079
515.68/515.98 v 3080 -3081 3082 3083 -3084 3085 3086 3087
515.68/515.98 v -3088 -3089 -3090 3091 -3092 -3093 3094 -3095
515.68/515.98 v -3096 3097 3098 -3099 -3100 -3101 3102 -3103
515.68/515.98 v -3104 3105 -3106 3107 -3108 -3109 3110 3111
515.68/515.98 v -3112 3113 -3114 -3115 -3116 3117 3118 -3119
515.68/515.98 v -3120 -3121 -3122 -3123 3124 -3125 -3126 -3127
515.68/515.98 v -3128 3129 3130 3131 -3132 3133 3134 -3135
515.68/515.98 v -3136 -3137 3138 3139 -3140 3141 3142 3143
515.68/515.98 v -3144 -3145 -3146 3147 -3148 -3149 3150 -3151
515.68/515.98 v -3152 3153 3154 -3155 -3156 -3157 3158 3159
515.68/515.98 v -3160 3161 -3162 -3163 -3164 -3165 3166 -3167
515.68/515.98 v -3168 3169 -3170 3171 -3172 3173 3174 -3175
515.68/515.98 v -3176 -3177 -3178 -3179 -3180 3181 3182 3183
515.68/515.98 v -3184 -3185 -3186 -3187 3188 3189 3190 -3191
515.68/515.98 v -3192 3193 3194 3195 -3196 3197 -3198 3199
515.68/515.98 v -3200 -3201 -3202 -3203 -3204 3205 -3206 -3207
515.68/515.98 v -3208 3209 3210 -3211 -3212 -3213 -3214 -3215
515.68/515.98 v 3216 -3217 3218 3219 -3220 3221 3222 3223
515.68/515.98 v -3224 -3225 -3226 3227 -3228 -3229 3230 -3231
515.68/515.98 v -3232 3233 3234 -3235 -3236 -3237 3238 3239
515.68/515.98 v -3240 3241 3242 3243 -3244 -3245 -3246 3247
515.68/515.98 v -3248 -3249 3250 -3251 -3252 3253 3254 -3255
515.68/515.98 v -3256 -3257 -3258 -3259 -3260 3261 -3262 -3263
515.68/515.98 v -3264 3265 3266 3267 -3268 3269 -3270 3271
515.68/515.98 v -3272 3273 3274 -3275 -3276 -3277 3278 3279
515.68/515.98 v -3280 3281 3282 3283 -3284 -3285 -3286 3287
515.68/515.98 v -3288 -3289 3290 -3291 -3292 -3293 -3294 -3295
515.68/515.98 v 3296 3297 3298 -3299 -3300 -3301 -3302 -3303
515.68/515.98 v -3304 3305 -3306 -3307 -3308 -3309 3310 -3311
515.68/515.98 v -3312 3313 -3314 3315 -3316 3317 3318 -3319
515.68/515.98 v -3320 -3321 -3322 -3323 -3324 3325 -3326 -3327
515.68/515.98 v -3328 3329 3330 3331 -3332 3333 -3334 3335
515.68/515.98 v -3336 3337 3338 -3339 -3340 -3341 3342 3343
515.68/515.98 v -3344 3345 -3346 -3347 -3348 -3349 3350 -3351
515.68/515.98 v -3352 -3353 -3354 3355 -3356 -3357 -3358 -3359
515.68/515.98 v 3360 3361 3362 -3363 -3364 3365 3366 3367
515.68/515.98 v -3368 3369 -3370 3371 -3372 -3373 3374 3375
515.68/515.98 v -3376 3377 -3378 -3379 -3380 3381 3382 -3383
515.68/515.98 v -3384 3385 3386 3387 -3388 3389 -3390 3391
515.68/515.98 v -3392 -3393 -3394 -3395 3396 -3397 -3398 -3399
515.68/515.98 v -3400 3401 3402 -3403 -3404 -3405 3406 -3407
515.68/515.98 v -3408 -3409 -3410 3411 -3412 -3413 3414 3415
515.68/515.98 v -3416 3417 -3418 -3419 -3420 3421 3422 -3423
515.68/515.98 v -3424 -3425 -3426 -3427 -3428 3429 3430 3431
515.68/515.98 v -3432 -3433 -3434 -3435 3436 3437 3438 -3439
515.68/515.98 v -3440 -3441 3442 3443 -3444 3445 3446 3447
515.68/515.98 v -3448 -3449 -3450 3451 -3452 -3453 3454 -3455
515.68/515.98 v -3456 -3457 -3458 -3459 3460 3461 3462 -3463
515.68/515.98 v -3464 -3465 3466 3467 -3468 3469 -3470 -3471
515.68/515.98 v -3472 -3473 3474 -3475 -3476 -3477 -3478 3479
515.68/515.98 v -3480 -3481 -3482 -3483 3484 3485 3486 -3487
515.68/515.98 v -3488 -3489 -3490 -3491 -3492 3493 3494 3495
515.68/515.98 v -3496 -3497 -3498 -3499 3500 -3501 3502 -3503
515.68/515.98 v -3504 -3505 -3506 3507 -3508 3509 3510 -3511
515.68/515.98 v -3512 -3513 3514 3515 -3516 3517 3518 3519
515.68/515.98 v -3520 3521 -3522 3523 -3524 -3525 3526 -3527
515.68/515.98 v -3528 -3529 -3530 3531 -3532 3533 3534 -3535
515.68/515.98 v -3536 3537 3538 3539 -3540 3541 -3542 3543
515.68/515.98 v -3544 -3545 3546 3547 -3548 3549 -3550 -3551
515.68/515.98 v -3552 3553 3554 -3555 -3556 -3557 -3558 -3559
515.68/515.98 v -3560 3561 3562 3563 -3564 -3565 -3566 -3567
515.68/515.98 v 3568 -3569 3570 -3571 -3572 -3573 -3574 3575
515.68/515.98 v -3576 3577 3578 -3579 -3580 -3581 3582 3583
515.68/515.98 v -3584 3585 -3586 -3587 -3588 -3589 -3590 -3591
515.68/515.98 v 3592 -3593 -3594 -3595 -3596 3597 3598 -3599
515.68/515.98 v -3600 -3601 3602 -3603 -3604 -3605 -3606 3607
515.68/515.98 v -3608 3609 -3610 3611 -3612 3613 3614 3615
515.68/515.98 v -3616 3617 3618 -3619 -3620 -3621 3622 3623
515.68/515.98 v -3624 -3625 -3626 3627 -3628 -3629 -3630 -3631
515.68/515.98 v 3632 -3633 -3634 -3635 -3636 3637 3638 -3639
515.68/515.98 v -3640 -3641 3642 3643 -3644 -3645 -3646 3647
515.68/515.98 v -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655
515.68/515.98 v 3656 3657 3658 -3659 -3660 3661 3662 3663
515.68/515.98 v -3664 3665 -3666 3667 -3668 -3669 -3670 -3671
515.68/515.98 v 3672 -3673 -3674 -3675 -3676 3677 3678 -3679
515.68/515.98 v -3680 -3681 3682 3683 -3684 3685 -3686 -3687
515.68/515.98 v -3688 3689 -3690 3691 -3692 -3693 3694 -3695
515.68/515.98 v -3696 -3697 -3698 3699 -3700 3701 3702 -3703
515.68/515.98 v -3704 -3705 3706 3707 -3708 3709 -3710 -3711
515.68/515.98 v -3712 -3713 -3714 -3715 3716 -3717 -3718 -3719
515.68/515.98 v -3720 3721 3722 -3723 -3724 -3725 3726 -3727
515.68/515.98 v -3728 -3729 -3730 3731 -3732 3733 -3734 3735
515.68/515.98 v -3736 3737 3738 3739 -3740 3741 3742 -3743
515.68/515.98 v -3744 -3745 3746 -3747 -3748 -3749 -3750 3751
515.68/515.98 v -3752 -3753 3754 3755 -3756 3757 -3758 -3759
515.68/515.98 v -3760 3761 3762 -3763 -3764 -3765 3766 -3767
515.68/515.98 v -3768 -3769 -3770 3771 -3772 3773 -3774 3775
515.68/515.98 v -3776 3777 3778 3779 -3780 3781 3782 -3783
515.68/515.98 v -3784 -3785 3786 -3787 -3788 -3789 -3790 3791
515.68/515.98 v -3792 3793 -3794 3795 -3796 3797 3798 3799
515.68/515.98 v -3800 3801 3802 -3803 -3804 -3805 3806 3807
515.68/515.98 v -3808 3809 3810 3811 -3812 -3813 -3814 -3815
515.68/515.98 v 3816 -3817 -3818 -3819 -3820 3821 3822 -3823
515.68/515.98 v -3824 -3825 3826 3827 -3828 3829 -3830 -3831
515.68/515.98 v -3832 -3833 -3834 -3835 -3836 -3837 3838 -3839
515.68/515.98 v -3840 3841 3842 -3843 -3844 -3845 3846 3847
515.68/515.98 v -3848 3849 3850 3851 -3852 -3853 -3854 -3855
515.68/515.98 v -3856 -3857 -3858 -3859 3860 3861 3862 -3863
515.68/515.98 v -3864 3865 -3866 3867 -3868 3869 3870 3871
515.68/515.98 v -3872 -3873 -3874 3875 -3876 -3877 -3878 -3879
515.68/515.98 v -3880 3881 3882 -3883 -3884 -3885 3886 3887
515.68/515.98 v -3888 -3889 -3890 3891 -3892 -3893 -3894 -3895
515.68/515.98 v 3896 -3897 -3898 -3899 -3900 3901 3902 -3903
515.68/515.98 v -3904 -3905 3906 3907 -3908 3909 3910 3911
515.68/515.98 v -3912 -3913 -3914 -3915 3916 -3917 -3918 -3919
515.68/515.98 v -3920 3921 3922 -3923 -3924 3925 -3926 3927
515.68/515.98 v -3928 3929 -3930 -3931 -3932 3933 3934 3935
515.68/515.98 v -3936 -3937 3938 -3939 -3940 3941 3942 -3943
515.68/515.98 v -3944 -3945 3946 3947 -3948 3949 -3950 -3951
515.68/515.98 v -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959
515.68/515.98 v 3960 3961 3962 -3963 -3964 -3965 3966 3967
515.68/515.98 v -3968 3969 -3970 -3971 -3972 -3973 -3974 -3975
515.68/515.98 v -3976 -3977 3978 -3979 -3980 -3981 -3982 3983
515.68/515.98 v -3984 3985 -3986 3987 -3988 3989 -3990 -3991
515.68/515.98 v -3992 3993 3994 3995 -3996 -3997 3998 -3999
515.68/515.98 v -4000 -4001 -4002 4003 -4004 4005 4006 4007
515.68/515.98 v -4008 -4009 4010 -4011 -4012 4013 -4014 4015
515.68/515.98 v -4016 4017 -4018 -4019 -4020 4021 4022 -4023
515.68/515.98 v -4024 4025 4026 4027 -4028 -4029 -4030 -4031
515.68/515.98 v 4032 4033 -4034 -4035 -4036 -4037 4038 4039
515.68/515.98 v -4040 4041 4042 -4043 -4044 -4045 4046 4047
515.68/515.98 v -4048 4049 4050 4051 -4052 -4053 -4054 -4055
515.68/515.98 v -4056 -4057 -4058 -4059 4060 4061 4062 -4063
515.68/515.98 v -4064 4065 4066 4067 -4068 -4069 4070 -4071
515.68/515.98 v -4072 4073 -4074 4075 -4076 4077 -4078 -4079
515.68/515.98 v -4080 4081 4082 -4083 -4084 4085 -4086 4087
515.68/515.98 v -4088 -4089 -4090 -4091 4092 -4093 -4094 4095
515.68/515.98 v -4096 -4097 4098 4099 -4100 4101 4102 -4103
515.68/515.98 v -4104 4105 -4106 4107 -4108 4109 -4110 -4111
515.68/515.98 v -4112 -4113 -4114 4115 -4116 -4117 4118 -4119
515.68/515.98 v -4120 4121 4122 -4123 -4124 -4125 -4126 -4127
515.68/515.98 v -4128 4129 -4130 -4131 -4132 -4133 4134 4135
515.68/515.98 v -4136 -4137 4138 -4139 -4140 4141 4142 -4143
515.68/515.98 v -4144 4145 -4146 4147 -4148 4149 4150 4151
515.68/515.98 v -4152 -4153 -4154 4155 -4156 -4157 -4158 -4159
515.68/515.98 v -4160 4161 4162 -4163 -4164 4165 4166 4167
515.68/515.98 v -4168 -4169 -4170 -4171 4172 4173 -4174 -4175
515.68/515.98 v -4176 -4177 4178 4179 -4180 4181 4182 -4183
515.68/515.98 v -4184 4185 -4186 4187 -4188 -4189 -4190 -4191
515.68/515.98 v 4192 -4193 -4194 4195 -4196 -4197 4198 4199
515.68/515.98 v -4200 4201 4202 -4203 -4204 4205 -4206 -4207
515.68/515.98 v -4208 -4209 4210 4211 -4212 -4213 -4214 4215
515.68/515.98 v -4216 -4217 4218 -4219 -4220 4221 4222 -4223
515.68/515.98 v -4224 -4225 -4226 4227 -4228 -4229 -4230 -4231
515.68/515.98 v -4232 -4233 -4234 -4235 4236 -4237 4238 -4239
515.68/515.98 v -4240 4241 4242 -4243 -4244 4245 -4246 4247
515.68/515.98 v -4248 4249 -4250 -4251 -4252 -4253 -4254 4255
515.68/515.98 v -4256 -4257 4258 -4259 -4260 4261 4262 -4263
515.68/515.98 v -4264 4265 -4266 -4267 -4268 -4269 4270 4271
515.68/515.98 v -4272 -4273 -4274 -4275 4276 -4277 4278 -4279
515.68/515.98 v -4280 4281 4282 -4283 -4284 -4285 -4286 4287
515.68/515.98 v -4288 -4289 -4290 -4291 -4292 -4293 4294 4295
515.68/515.98 v -4296 4297 -4298 4299 -4300 4301 4302 -4303
515.68/515.98 v -4304 -4305 -4306 -4307 4308 -4309 -4310 -4311
515.68/515.98 v -4312 4313 -4314 4315 -4316 -4317 4318 4319
515.68/515.98 v -4320 4321 4322 4323 -4324 -4325 -4326 4327
515.68/515.98 v -4328 -4329 4330 -4331 -4332 -4333 4334 4335
515.68/515.98 v -4336 4337 -4338 4339 -4340 4341 4342 4343
515.68/515.98 v -4344 -4345 -4346 -4347 -4348 4349 -4350 -4351
515.68/515.98 v -4352 -4353 4354 4355 -4356 -4357 4358 -4359
515.68/515.98 v -4360 4361 4362 4363 -4364 -4365 -4366 4367
515.68/515.98 v -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375
515.68/515.98 v 4376 -4377 4378 -4379 -4380 4381 4382 4383
515.68/515.98 v -4384 -4385 -4386 4387 -4388 -4389 -4390 -4391
515.68/515.98 v -4392 -4393 4394 4395 -4396 4397 -4398 4399
515.68/515.98 v -4400 4401 4402 4403 -4404 -4405 -4406 -4407
515.68/515.98 v 4408 -4409 4410 -4411 -4412 -4413 -4414 4415
515.68/515.98 v -4416 4417 4418 -4419 -4420 4421 4422 4423
515.68/515.98 v -4424 -4425 4426 4427 -4428 -4429 4430 -4431
515.68/515.98 v -4432 -4433 -4434 -4435 -4436 4437 -4438 -4439
515.68/515.98 v -4440 4441 4442 4443 -4444 -4445 -4446 -4447
515.68/515.98 v 4448 -4449 4450 -4451 -4452 4453 -4454 4455
515.68/515.98 v -4456 -4457 4458 4459 -4460 4461 4462 4463
515.68/515.98 v -4464 -4465 -4466 -4467 4468 -4469 4470 -4471
515.68/515.98 v -4472 -4473 -4474 4475 -4476 4477 4478 -4479
515.68/515.98 v -4480 4481 4482 4483 -4484 -4485 -4486 4487
515.68/515.98 v -4488 4489 4490 -4491 -4492 -4493 -4494 -4495
515.68/515.98 v -4496 4497 -4498 -4499 -4500 4501 4502 4503
515.68/515.98 v -4504 4505 -4506 4507 -4508 -4509 4510 4511
515.68/515.98 v -4512 -4513 4514 -4515 -4516 -4517 -4518 -4519
515.68/515.98 v -4520 4521 4522 4523 -4524 4525 -4526 4527
515.68/515.98 v -4528 -4529 4530 4531 -4532 -4533 4534 -4535
515.68/515.98 v -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543
515.68/515.98 v 4544 4545 4546 4547 -4548 -4549 -4550 4551
515.68/515.98 v -4552 -4553 4554 -4555 -4556 4557 -4558 4559
515.68/515.98 v -4560 4561 -4562 -4563 -4564 4565 4566 4567
515.68/515.98 v -4568 -4569 4570 4571 -4572 -4573 4574 -4575
515.68/515.98 v -4576 -4577 -4578 -4579 -4580 4581 -4582 -4583
515.68/515.98 v -4584 4585 4586 4587 -4588 -4589 -4590 4591
515.68/515.98 v -4592 -4593 4594 4595 -4596 -4597 -4598 -4599
515.68/515.98 v -4600 4601 -4602 -4603 -4604 4605 4606 4607
515.68/515.98 v -4608 4609 -4610 4611 -4612 4613 -4614 -4615
515.68/515.98 v -4616 -4617 4618 -4619 -4620 4621 4622 -4623
515.68/515.98 v -4624 4625 4626 4627 -4628 4629 -4630 4631
515.68/515.98 v -4632 4633 -4634 -4635 -4636 -4637 4638 -4639
515.68/515.98 v -4640 4641 4642 -4643 -4644 -4645 -4646 4647
515.68/515.98 v -4648 4649 4650 4651 -4652 -4653 -4654 -4655
515.68/515.98 v -4656 -4657 -4658 -4659 4660 -4661 -4662 4663
515.68/515.98 v -4664 4665 4666 -4667 -4668 4669 4670 4671
515.68/515.98 v -4672 4673 -4674 4675 -4676 -4677 4678 4679
515.68/515.98 v -4680 -4681 4682 -4683 -4684 -4685 -4686 -4687
515.68/515.98 v -4688 4689 4690 4691 -4692 4693 -4694 4695
515.68/515.98 v -4696 4697 -4698 -4699 -4700 -4701 4702 -4703
515.68/515.98 v -4704 4705 4706 -4707 -4708 4709 4710 4711
515.68/515.98 v -4712 -4713 -4714 4715 -4716 4717 4718 4719
515.68/515.98 v -4720 -4721 4722 -4723 -4724 -4725 -4726 -4727
515.68/515.98 v -4728 -4729 -4730 4731 -4732 4733 -4734 -4735
515.68/515.98 v -4736 4737 4738 4739 -4740 4741 -4742 4743
515.68/515.98 v -4744 -4745 4746 4747 -4748 -4749 4750 -4751
515.68/515.98 v -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759
515.68/515.98 v 4760 4761 4762 4763 -4764 4765 -4766 4767
515.68/515.98 v -4768 4769 -4770 -4771 -4772 -4773 4774 -4775
515.68/515.98 v -4776 4777 4778 -4779 -4780 -4781 -4782 4783
515.68/515.98 v -4784 4785 4786 4787 -4788 -4789 -4790 4791
515.68/515.98 v -4792 4793 4794 4795 -4796 -4797 4798 -4799
515.68/515.98 v -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807
515.68/515.98 v 4808 -4809 4810 4811 -4812 4813 -4814 -4815
515.68/515.98 v -4816 4817 4818 4819 -4820 -4821 4822 -4823
515.68/515.98 v -4824 4825 4826 -4827 -4828 -4829 -4830 4831
515.68/515.98 v -4832 4833 -4834 4835 -4836 -4837 4838 4839
515.68/515.98 v -4840 4841 4842 4843 -4844 -4845 4846 -4847
515.68/515.98 v -4848 4849 4850 -4851 -4852 -4853 -4854 -4855
515.68/515.98 v 4856 4857 -4858 -4859 -4860 4861 -4862 4863
515.68/515.98 v -4864 4865 4866 4867 -4868 -4869 -4870 -4871
515.68/515.98 v -4872 -4873 -4874 -4875 4876 -4877 -4878 4879
515.68/515.98 v -4880 4881 4882 -4883 -4884 4885 4886 4887
515.68/515.98 v -4888 -4889 4890 -4891 -4892 -4893 -4894 -4895
515.68/515.98 v -4896 -4897 -4898 4899 -4900 4901 -4902 -4903
515.68/515.98 v -4904 4905 4906 4907 -4908 -4909 4910 -4911
515.68/515.98 v -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919
515.68/515.98 v 4920 -4921 4922 4923 -4924 4925 -4926 -4927
515.68/515.98 v -4928 4929 4930 4931 -4932 -4933 -4934 4935
515.68/515.98 v -4936 4937 -4938 -4939 -4940 -4941 -4942 -4943
515.68/515.98 v 4944 -4945 -4946 -4947 -4948 4949 4950 4951
515.68/515.98 v -4952 -4953 4954 4955 -4956 4957 4958 -4959
515.68/515.98 v -4960 -4961 -4962 -4963 -4964 4965 -4966 4967
515.68/515.98 v -4968 4969 4970 4971 -4972 -4973 4974 -4975
515.68/515.98 v -4976 4977 4978 -4979 -4980 -4981 -4982 4983
515.68/515.98 v -4984 4985 -4986 4987 -4988 -4989 4990 4991
515.68/515.98 v -4992 4993 4994 4995 -4996 -4997 -4998 4999
515.68/515.98 v -5000 5001 -5002 -5003 -5004 -5005 -5006 -5007
515.68/515.98 v 5008 -5009 -5010 -5011 -5012 5013 5014 5015
515.68/515.98 v -5016 -5017 -5018 -5019 5020 -5021 5022 5023
515.68/515.98 v -5024 5025 -5026 -5027 -5028 -5029 -5030 5031
515.68/515.98 v -5032 5033 5034 5035 -5036 5037 -5038 5039
515.68/515.98 v -5040 -5041 -5042 -5043 -5044 5045 -5046 -5047
515.68/515.98 v -5048 -5049 -5050 5051 -5052 5053 5054 5055
515.68/515.98 v -5056 5057 -5058 5059 -5060 -5061 -5062 -5063
515.68/515.98 v -5064 5065 -5066 -5067 -5068 -5069 -5070 5071
515.68/515.98 v -5072 5073 5074 5075 -5076 -5077 5078 -5079
515.68/515.98 v -5080 5081 5082 -5083 -5084 -5085 -5086 -5087
515.68/515.98 v 5088 5089 -5090 -5091 -5092 5093 -5094 5095
515.68/515.98 v -5096 5097 5098 5099 -5100 -5101 5102 5103
515.68/515.98 v -5104 5105 5106 -5107 -5108 -5109 -5110 -5111
515.68/515.98 v -5112 5113 -5114 5115 -5116 5117 5118 5119
515.68/515.98 v -5120 -5121 -5122 -5123 5124 -5125 5126 5127
515.68/515.98 v -5128 5129 -5130 -5131 -5132 -5133 -5134 5135
515.68/515.98 v -5136 5137 5138 5139 -5140 -5141 -5142 -5143
515.68/515.98 v -5144 5145 -5146 5147 -5148 -5149 5150 -5151
515.68/515.98 v -5152 -5153 -5154 -5155 5156 5157 5158 5159
515.68/515.98 v -5160 5161 -5162 -5163 -5164 -5165 -5166 5167
515.68/515.98 v -5168 -5169 5170 5171 -5172 5173 5174 -5175
515.68/515.98 v -5176 5177 5178 5179 -5180 -5181 -5182 -5183
515.68/515.98 v -5184 5185 -5186 5187 -5188 -5189 5190 5191
515.68/515.98 v -5192 5193 5194 -5195 -5196 5197 5198 5199
515.68/515.98 v -5200 5201 -5202 5203 -5204 -5205 -5206 -5207
515.68/515.98 v -5208 5209 -5210 -5211 -5212 -5213 -5214 5215
515.68/515.98 v -5216 5217 5218 5219 -5220 -5221 -5222 -5223
515.68/515.98 v -5224 5225 -5226 5227 -5228 -5229 5230 -5231
515.68/515.98 v -5232 -5233 -5234 -5235 5236 5237 5238 5239
515.68/515.98 v -5240 5241 -5242 -5243 -5244 -5245 -5246 -5247
515.68/515.98 v 5248 -5249 -5250 -5251 -5252 5253 5254 -5255
515.68/515.98 v -5256 5257 5258 5259 -5260 -5261 5262 -5263
515.68/515.98 v -5264 -5265 -5266 -5267 5268 -5269 5270 5271
515.68/515.98 v -5272 5273 5274 -5275 -5276 5277 5278 5279
515.68/515.98 v -5280 5281 -5282 -5283 -5284 -5285 -5286 5287
515.68/515.98 v -5288 -5289 5290 5291 -5292 5293 5294 -5295
515.68/515.98 v -5296 5297 5298 5299 -5300 5301 -5302 -5303
515.68/515.98 v -5304 -5305 -5306 -5307 5308 -5309 -5310 -5311
515.68/515.98 v -5312 5313 5314 -5315 -5316 5317 5318 5319
515.68/515.98 v -5320 -5321 -5322 -5323 -5324 -5325 5326 -5327
515.68/515.98 v -5328 5329 -5330 -5331 -5332 -5333 -5334 5335
515.68/515.98 v -5336 5337 5338 5339 -5340 -5341 5342 5343
515.68/515.98 v -5344 5345 5346 -5347 -5348 -5349 -5350 5351
515.68/515.98 v -5352 -5353 -5354 -5355 5356 5357 5358 5359
515.68/515.98 v -5360 -5361 -5362 -5363 -5364 5365 5366 -5367
515.68/515.98 v -5368 5369 -5370 5371 -5372 -5373 -5374 5375
515.68/515.98 v -5376 5377 5378 5379 -5380 5381 -5382 5383
515.68/515.98 v -5384 -5385 -5386 -5387 -5388 5389 -5390 -5391
515.68/515.98 v -5392 -5393 -5394 5395 -5396 5397 5398 5399
515.68/515.98 v -5400 -5401 -5402 -5403 -5404 5405 -5406 5407
515.68/515.98 v -5408 -5409 5410 5411 -5412 5413 5414 -5415
515.68/515.98 v -5416 5417 5418 5419 -5420 -5421 5422 -5423
515.68/515.98 v -5424 -5425 -5426 -5427 5428 -5429 5430 5431
515.68/515.98 v -5432 5433 5434 -5435 -5436 5437 5438 5439
515.68/515.98 v -5440 -5441 -5442 -5443 -5444 -5445 5446 -5447
515.68/515.98 v -5448 5449 -5450 -5451 -5452 -5453 -5454 5455
515.68/515.98 v -5456 5457 5458 5459 -5460 -5461 5462 5463
515.68/515.98 v -5464 5465 5466 -5467 -5468 -5469 5470 -5471
515.68/515.98 v -5472 -5473 -5474 -5475 -5476 5477 5478 5479
515.68/515.98 v -5480 5481 -5482 -5483 -5484 5485 5486 -5487
515.68/515.98 v -5488 5489 -5490 5491 -5492 -5493 5494 -5495
515.68/515.98 v -5496 5497 5498 5499 -5500 -5501 5502 5503
515.68/515.98 v -5504 5505 5506 -5507 -5508 -5509 -5510 5511
515.68/515.98 v -5512 -5513 -5514 -5515 5516 5517 5518 5519
515.68/515.98 v -5520 -5521 5522 5523 -5524 5525 5526 -5527
515.68/515.98 v -5528 -5529 5530 -5531 -5532 -5533 -5534 -5535
515.68/515.98 v -5536 5537 5538 5539 -5540 5541 -5542 -5543
515.68/515.98 v -5544 -5545 -5546 -5547 -5548 5549 -5550 5551
515.68/515.98 v -5552 -5553 5554 5555 -5556 5557 5558 5559
515.68/515.98 v -5560 -5561 5562 -5563 -5564 -5565 -5566 -5567
515.68/515.98 v -5568 -5569 5570 5571 -5572 5573 5574 -5575
515.68/515.98 v -5576 5577 5578 5579 -5580 -5581 -5582 5583
515.68/515.98 v -5584 -5585 -5586 -5587 5588 5589 5590 -5591
515.68/515.98 v -5592 -5593 5594 5595 -5596 5597 5598 5599
515.68/515.98 v -5600 -5601 -5602 -5603 -5604 5605 5606 -5607
515.68/515.98 v -5608 5609 -5610 5611 -5612 -5613 -5614 5615
515.68/515.98 v -5616 -5617 -5618 -5619 5620 5621 -5622 -5623
515.68/515.98 v -5624 5625 5626 -5627 -5628 5629 -5630 5631
515.68/515.98 v -5632 -5633 5634 -5635 -5636 5637 5638 5639
515.68/515.98 v -5640 5641 -5642 -5643 -5644 -5645 -5646 -5647
515.68/515.98 v -5648 5649 -5650 5651 -5652 -5653 5654 5655
515.68/515.98 v -5656 5657 5658 5659 -5660 5661 -5662 5663
515.68/515.98 v -5664 -5665 5666 -5667 -5668 5669 -5670 -5671
515.68/515.98 v -5672 5673 5674 -5675 -5676 5677 5678 5679
515.68/515.98 v -5680 5681 -5682 5683 -5684 -5685 -5686 5687
515.68/515.98 v -5688 5689 5690 -5691 -5692 -5693 -5694 -5695
515.68/515.98 v -5696 5697 5698 5699 -5700 -5701 5702 -5703
515.68/515.98 v -5704 -5705 -5706 -5707 5708 -5709 5710 5711
515.68/515.98 v -5712 5713 5714 -5715 -5716 5717 5718 5719
515.68/515.98 v -5720 5721 -5722 5723 -5724 -5725 5726 -5727
515.68/515.98 v -5728 5729 -5730 -5731 -5732 5733 5734 -5735
515.68/515.98 v -5736 5737 5738 5739 -5740 5741 -5742 -5743
515.68/515.98 v -5744 -5745 -5746 5747 -5748 -5749 5750 -5751
515.68/515.98 v -5752 -5753 -5754 -5755 -5756 5757 5758 5759
515.68/515.98 v -5760 5761 -5762 -5763 -5764 5765 5766 -5767
515.68/515.98 v -5768 -5769 -5770 -5771 5772 5773 -5774 5775
515.68/515.98 v -5776 5777 5778 5779 -5780 -5781 5782 5783
515.68/515.98 v -5784 -5785 -5786 5787 -5788 -5789 -5790 -5791
515.68/515.98 v 5792 -5793 -5794 -5795 -5796 5797 5798 5799
515.68/515.98 v -5800 -5801 -5802 5803 -5804 -5805 -5806 -5807
515.68/515.98 v 5808 5809 5810 -5811 -5812 -5813 5814 5815
515.68/515.98 v -5816 5817 5818 5819 -5820 5821 -5822 5823
515.68/515.98 v -5824 -5825 -5826 5827 -5828 5829 5830 -5831
515.68/515.98 v -5832 -5833 -5834 -5835 -5836 5837 5838 5839
515.68/515.98 v -5840 5841 -5842 -5843 -5844 -5845 -5846 5847
515.68/515.98 v -5848 -5849 5850 -5851 -5852 -5853 -5854 -5855
515.68/515.98 v -5856 5857 5858 5859 -5860 5861 5862 -5863
515.68/515.98 v -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871
515.68/515.98 v 5872 5873 -5874 5875 -5876 5877 5878 5879
515.68/515.98 v -5880 5881 5882 -5883 -5884 -5885 5886 5887
515.68/515.98 v -5888 -5889 -5890 -5891 5892 5893 -5894 5895
515.68/515.98 v -5896 5897 5898 5899 -5900 5901 -5902 -5903
515.68/515.98 v -5904 5905 5906 -5907 -5908 -5909 -5910 -5911
515.68/515.98 v 5912 5913 -5914 5915 -5916 5917 5918 5919
515.68/515.98 v -5920 5921 5922 -5923 -5924 -5925 5926 5927
515.68/515.98 v -5928 -5929 -5930 -5931 5932 5933 -5934 5935
515.68/515.98 v -5936 5937 5938 5939 -5940 -5941 -5942 5943
515.68/515.98 v -5944 -5945 5946 -5947 -5948 5949 -5950 -5951
515.68/515.99 v -5952 -5953 -5954 -5955 -5956 5957 5958 5959
515.68/515.99 v -5960 -5961 -5962 5963 -5964 -5965 5966 -5967
515.68/515.99 v -5968 5969 -5970 -5971 -5972 -5973 -5974 -5975
515.68/515.99 v -5976 -5977 5978 5979 -5980 5981 5982 5983
515.68/515.99 v -5984 -5985 -5986 -5987 5988 5989 -5990 5991
515.68/515.99 v -5992 5993 5994 -5995 -5996 5997 -5998 -5999
515.68/515.99 v -6000 6001 6002 6003 -6004 -6005 6006 6007
515.68/515.99 v -6008 -6009 -6010 6011 -6012 -6013 -6014 -6015
515.68/515.99 v 6016 -6017 -6018 -6019 -6020 6021 6022 6023
515.68/515.99 v -6024 6025 6026 -6027 -6028 -6029 6030 6031
515.68/515.99 v -6032 -6033 -6034 -6035 6036 6037 -6038 6039
515.68/515.99 v -6040 6041 6042 6043 -6044 -6045 -6046 6047
515.68/515.99 v -6048 -6049 6050 -6051 -6052 6053 -6054 -6055
515.68/515.99 v -6056 -6057 -6058 -6059 -6060 6061 6062 6063
515.68/515.99 v -6064 -6065 -6066 -6067 6068 -6069 -6070 -6071
515.68/515.99 v -6072 -6073 6074 6075 -6076 6077 6078 6079
515.68/515.99 v -6080 -6081 -6082 -6083 6084 6085 -6086 6087
515.68/515.99 v -6088 6089 6090 -6091 -6092 -6093 -6094 6095
515.68/515.99 v -6096 6097 6098 6099 -6100 -6101 -6102 6103
515.68/515.99 v -6104 -6105 6106 -6107 -6108 6109 -6110 -6111
515.68/515.99 v -6112 -6113 -6114 -6115 -6116 -6117 6118 6119
515.68/515.99 v -6120 6121 6122 -6123 -6124 -6125 -6126 -6127
515.68/515.99 v 6128 -6129 -6130 -6131 -6132 -6133 6134 6135
515.68/515.99 v -6136 6137 6138 -6139 -6140 -6141 -6142 -6143
515.68/515.99 v 6144 6145 -6146 6147 -6148 -6149 6150 6151
515.68/515.99 v -6152 -6153 6154 -6155 -6156 -6157 -6158 6159
515.68/515.99 v -6160 6161 6162 6163 -6164 -6165 -6166 -6167
515.68/515.99 v 6168 6169 -6170 6171 -6172 6173 6174 -6175
515.68/515.99 v -6176 6177 -6178 -6179 -6180 -6181 -6182 -6183
515.68/515.99 v -6184 -6185 -6186 -6187 6188 6189 -6190 6191
515.68/515.99 v -6192 -6193 6194 -6195 -6196 -6197 -6198 6199
515.68/515.99 v -6200 6201 6202 6203 -6204 -6205 -6206 -6207
515.68/515.99 v 6208 6209 -6210 6211 -6212 -6213 6214 6215
515.68/515.99 v -6216 -6217 6218 -6219 -6220 -6221 -6222 6223
515.68/515.99 v -6224 6225 6226 6227 -6228
515.68/515.99 v 0
515.68/515.99 c
515.68/515.99 c 1373708 conflicts, 14595496 decisions, 5459 random
515.68/515.99 c 2 iterations, 2639 restarts, 0 skipped
515.68/515.99 c 5 enlarged, 247 shrunken, 13462 rescored, 379 rebiased
515.68/515.99 c 2 simplifications, 0 reductions
515.68/515.99 c
515.68/515.99 c vars: 71 fixed, 21 equiv, 27 elim, 22 merged
515.68/515.99 c elim: 1203228 resolutions, 2 phases, 0 rounds
515.68/515.99 c sbst: 70% substituted, 42.1% nots, 57.9% ands, 0.0% xors, 0.0% ites
515.68/515.99 c arty: 2.00 and 0.00 xor average arity
515.68/515.99 c prbe: 513982 probed, 37 phases, 42 rounds
515.68/515.99 c prbe: 37 failed, 2 lifted, 1 merged
515.68/515.99 c sccs: 0 non trivial, 0 fixed, 0 merged
515.68/515.99 c hash: 5 units, 21 merged
515.68/515.99 c mins: 24515649 learned, 9% deleted, 368 strong, 16 depth
515.68/515.99 c subs: 10143 forward, 14261 backward, 96298 doms
515.68/515.99 c strs: 208431 forward, 29790 backward
515.68/515.99 c doms: 96302 dominators, 69145 high, 20 low
515.68/515.99 c prps: 45077196 propagations, 0.09 megaprops
515.68/515.99 c
515.68/515.99 c 515.8 seconds, 163 MB max, 72 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1720316-1240654746/watcher-1720316-1240654746 -o /tmp/evaluation-result-1720316-1240654746/solver-1720316-1240654746 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/precosat HOME/instance-1720316-1240654746.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 1.88 1.46 3/67 3152
/proc/meminfo: memFree=1699416/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=1532 CPUtime=0
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 93500909 1568768 261 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 383 261 64 155 0 226 0
[startup+0.0365379 s]
/proc/loadavg: 2.03 1.88 1.46 3/67 3152
/proc/meminfo: memFree=1699416/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=3380 CPUtime=0.03
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 756 0 0 0 3 0 0 0 18 0 1 0 93500909 3461120 741 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 845 741 64 155 0 688 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3380
[startup+0.102543 s]
/proc/loadavg: 2.03 1.88 1.46 3/67 3152
/proc/meminfo: memFree=1699416/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=7472 CPUtime=0.09
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 1773 0 0 0 9 0 0 0 18 0 1 0 93500909 7651328 1758 1992294400 134512640 135151029 4294956224 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 1868 1759 64 155 0 1711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7472
[startup+0.30156 s]
/proc/loadavg: 2.03 1.88 1.46 3/67 3152
/proc/meminfo: memFree=1699416/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=18824 CPUtime=0.29
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 4622 0 0 0 28 1 0 0 20 0 1 0 93500909 19275776 4607 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 4706 4608 64 155 0 4549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18824
[startup+0.701596 s]
/proc/loadavg: 2.03 1.88 1.46 3/67 3152
/proc/meminfo: memFree=1699416/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=41424 CPUtime=0.69
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 10271 0 0 0 64 5 0 0 24 0 1 0 93500909 42418176 10256 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 10356 10257 64 155 0 10199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41424
[startup+1.50167 s]
/proc/loadavg: 1.94 1.86 1.46 2/68 3153
/proc/meminfo: memFree=1650448/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=56160 CPUtime=1.49
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 16169 0 0 0 142 7 0 0 25 0 1 0 93500909 57507840 13960 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 14040 13961 79 155 0 13883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56160
[startup+3.10181 s]
/proc/loadavg: 1.94 1.86 1.46 2/68 3153
/proc/meminfo: memFree=1631824/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=67512 CPUtime=3.09
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 19009 0 0 0 300 9 0 0 25 0 1 0 93500909 69132288 16800 1992294400 134512640 135151029 4294956224 18446744073709551615 134575498 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 16878 16800 79 155 0 16721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67512
[startup+6.3011 s]
/proc/loadavg: 1.87 1.85 1.46 2/68 3153
/proc/meminfo: memFree=1632144/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=67644 CPUtime=6.29
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 19018 0 0 0 620 9 0 0 25 0 1 0 93500909 69267456 16809 1992294400 134512640 135151029 4294956224 18446744073709551615 134574614 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 16911 16809 79 155 0 16754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67644
[startup+12.7017 s]
/proc/loadavg: 1.80 1.83 1.46 2/68 3153
/proc/meminfo: memFree=1632272/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=67644 CPUtime=12.69
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 19018 0 0 0 1260 9 0 0 25 0 1 0 93500909 69267456 16809 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 16911 16809 79 155 0 16754 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67644
[startup+25.5028 s]
/proc/loadavg: 1.62 1.79 1.45 2/68 3153
/proc/meminfo: memFree=1626576/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=74268 CPUtime=25.48
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 20609 0 0 0 2537 11 0 0 25 0 1 0 93500909 76050432 18400 1992294400 134512640 135151029 4294956224 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 18567 18400 79 155 0 18410 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74268
[startup+51.1021 s]
/proc/loadavg: 1.41 1.73 1.44 2/68 3153
/proc/meminfo: memFree=1606480/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=95204 CPUtime=51.07
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 25581 0 0 0 5093 14 0 0 25 0 1 0 93500909 97488896 23372 1992294400 134512640 135151029 4294956224 18446744073709551615 134574649 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 23801 23372 79 155 0 23644 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95204
[startup+102.307 s]
/proc/loadavg: 1.18 1.61 1.41 2/68 3153
/proc/meminfo: memFree=1578960/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=124352 CPUtime=102.26
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 32403 0 0 0 10206 20 0 0 25 0 1 0 93500909 127336448 30194 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 31088 30194 79 155 0 30931 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 124352
[startup+162.302 s]
/proc/loadavg: 1.06 1.50 1.38 2/68 3153
/proc/meminfo: memFree=1565456/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=135620 CPUtime=162.23
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 35761 0 0 0 16200 23 0 0 25 0 1 0 93500909 138874880 33552 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 33905 33552 79 155 0 33748 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 135620
[startup+222.302 s]
/proc/loadavg: 1.02 1.40 1.35 2/68 3153
/proc/meminfo: memFree=1557840/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=143972 CPUtime=222.21
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 37677 0 0 0 22196 25 0 0 25 0 1 0 93500909 147427328 35468 1992294400 134512640 135151029 4294956224 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 35993 35468 79 155 0 35836 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 143972
[startup+282.303 s]
/proc/loadavg: 1.01 1.33 1.33 2/68 3153
/proc/meminfo: memFree=1551056/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=151896 CPUtime=282.18
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 39391 0 0 0 28192 26 0 0 25 0 1 0 93500909 155541504 37182 1992294400 134512640 135151029 4294956224 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 37974 37182 79 155 0 37817 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 151896
[startup+342.302 s]
/proc/loadavg: 1.00 1.27 1.31 2/68 3153
/proc/meminfo: memFree=1543376/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=160508 CPUtime=342.15
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 41251 0 0 0 34187 28 0 0 25 0 1 0 93500909 164360192 39042 1992294400 134512640 135151029 4294956224 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 40127 39042 79 155 0 39970 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 160508
[startup+402.303 s]
/proc/loadavg: 1.00 1.22 1.28 2/68 3153
/proc/meminfo: memFree=1533840/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=171796 CPUtime=402.13
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 43668 0 0 0 40183 30 0 0 25 0 1 0 93500909 175919104 41459 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 42949 41459 79 155 0 42792 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 171796
[startup+462.302 s]
/proc/loadavg: 1.00 1.17 1.26 2/68 3153
/proc/meminfo: memFree=1529616/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=176616 CPUtime=462.12
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 44704 0 0 0 46180 32 0 0 25 0 1 0 93500909 180854784 42495 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44154 42495 79 155 0 43997 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 176616
Solver just ended. Dumping a history of the last processes samples
[startup+486.302 s]
/proc/loadavg: 1.00 1.16 1.26 2/68 3153
/proc/meminfo: memFree=1528784/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=177548 CPUtime=486.1
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 44887 0 0 0 48578 32 0 0 25 0 1 0 93500909 181809152 42678 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44387 42678 79 155 0 44230 0
Current children cumulated CPU time (s) 486.1
Current children cumulated vsize (KiB) 177548
[startup+499.101 s]
/proc/loadavg: 1.00 1.15 1.25 2/68 3153
/proc/meminfo: memFree=1528464/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=178008 CPUtime=498.89
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 44969 0 0 0 49857 32 0 0 25 0 1 0 93500909 182280192 42760 1992294400 134512640 135151029 4294956224 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44502 42760 79 155 0 44345 0
Current children cumulated CPU time (s) 498.89
Current children cumulated vsize (KiB) 178008
[startup+505.502 s]
/proc/loadavg: 1.00 1.15 1.25 2/68 3153
/proc/meminfo: memFree=1528272/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=178272 CPUtime=505.29
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 45016 0 0 0 50497 32 0 0 25 0 1 0 93500909 182550528 42807 1992294400 134512640 135151029 4294956224 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44568 42807 79 155 0 44411 0
Current children cumulated CPU time (s) 505.29
Current children cumulated vsize (KiB) 178272
[startup+511.901 s]
/proc/loadavg: 1.00 1.14 1.25 2/68 3153
/proc/meminfo: memFree=1528208/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=178404 CPUtime=511.69
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 45042 0 0 0 51137 32 0 0 25 0 1 0 93500909 182685696 42833 1992294400 134512640 135151029 4294956224 18446744073709551615 134542619 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44601 42833 79 155 0 44444 0
Current children cumulated CPU time (s) 511.69
Current children cumulated vsize (KiB) 178404
[startup+513.502 s]
/proc/loadavg: 1.00 1.14 1.25 2/68 3153
/proc/meminfo: memFree=1528144/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=178536 CPUtime=513.29
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 45077 0 0 0 51297 32 0 0 25 0 1 0 93500909 182820864 42868 1992294400 134512640 135151029 4294956224 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44634 42868 79 155 0 44477 0
Current children cumulated CPU time (s) 513.29
Current children cumulated vsize (KiB) 178536
[startup+515.102 s]
/proc/loadavg: 1.00 1.14 1.25 2/68 3153
/proc/meminfo: memFree=1527824/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=178948 CPUtime=514.88
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 45157 0 0 0 51456 32 0 0 25 0 1 0 93500909 183242752 42948 1992294400 134512640 135151029 4294956224 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44737 42948 79 155 0 44580 0
Current children cumulated CPU time (s) 514.88
Current children cumulated vsize (KiB) 178948
[startup+515.502 s]
/proc/loadavg: 1.00 1.14 1.25 2/68 3153
/proc/meminfo: memFree=1527824/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=178948 CPUtime=515.28
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 45189 0 0 0 51496 32 0 0 25 0 1 0 93500909 183242752 42980 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44737 42980 79 155 0 44580 0
Current children cumulated CPU time (s) 515.28
Current children cumulated vsize (KiB) 178948
[startup+515.906 s]
/proc/loadavg: 1.00 1.14 1.25 2/68 3153
/proc/meminfo: memFree=1527504/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=179212 CPUtime=515.68
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194304 45253 0 0 0 51536 32 0 0 25 0 1 0 93500909 183513088 43044 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/3152/statm: 44803 43044 79 155 0 44646 0
Current children cumulated CPU time (s) 515.68
Current children cumulated vsize (KiB) 179212
[startup+516.002 s]
/proc/loadavg: 1.00 1.14 1.25 2/68 3153
/proc/meminfo: memFree=1527504/2055920 swapFree=4192956/4192956
[pid=3152] ppid=3150 vsize=0 CPUtime=515.77
/proc/3152/stat : 3152 (precosat) R 3150 3152 2848 0 -1 4194308 45292 0 0 0 51544 33 0 0 17 0 1 0 93500909 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/3152/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 515.77
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 516.017
CPU time (s): 515.799
CPU user time (s): 515.448
CPU system time (s): 0.350946
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 179212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 515.448
system time used= 0.350946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45292
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= 33
involuntary context switches= 1835
runsolver used 0.394939 second user time and 1.49877 second system time
The end
Begin job on node68 at 2009-04-25 12:19:08
IDJOB=1720316
IDBENCH=69600
IDSOLVER=507
FILE ID=node68/1720316-1240654746
PBS_JOBID= 9186526
Free space on /tmp= 66536 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT_RACE08/cnf/vange-col-abb313GPIA-9-c.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1720316-1240654746/watcher-1720316-1240654746 -o /tmp/evaluation-result-1720316-1240654746/solver-1720316-1240654746 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/precosat HOME/instance-1720316-1240654746.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0baefedb2aaa81442743e253487854d8
RANDOM SEED=870813473
node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1699832 kB
Buffers: 39860 kB
Cached: 222144 kB
SwapCached: 0 kB
Active: 60320 kB
Inactive: 218084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699832 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 21252 kB
Writeback: 0 kB
Mapped: 26400 kB
Slab: 63252 kB
Committed_AS: 229248 kB
PageTables: 1560 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66536 MiB
End job on node68 at 2009-04-25 12:27:44