Trace number 3275471

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
ppfolio parSAT 52.0261 6.55875

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
MD5SUM4177e06821060b0db9493e3e34514fae
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.27374
Satisfiable
(Un)Satisfiability was proved
Number of variables6384
Number of clauses23817
Sum of the clauses size59934
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 211517
Number of clauses of size 312300
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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

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-3275471-1304167486/watcher-3275471-1304167486 -o /tmp/evaluation-result-3275471-1304167486/solver-3275471-1304167486 -C 40000 -W 5100 -M 31000 ppfolio HOME/instance-3275471-1304167486.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.50 7.94 7.96 1/170 9658
/proc/meminfo: memFree=30567188/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) S 9656 9658 8907 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 2826088480819 0 0 17 0 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0

[startup+0.0890899 s]
/proc/loadavg: 7.50 7.94 7.96 1/170 9658
/proc/meminfo: memFree=30567188/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) R 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.101084 s]
/proc/loadavg: 7.50 7.94 7.96 1/170 9658
/proc/meminfo: memFree=30567188/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) R 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.301052 s]
/proc/loadavg: 7.50 7.94 7.96 1/170 9658
/proc/meminfo: memFree=30567188/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) R 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 23 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700978 s]
/proc/loadavg: 7.50 7.94 7.96 1/170 9658
/proc/meminfo: memFree=30567188/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) S 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 21 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 5442477558425714687 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50084 s]
/proc/loadavg: 7.50 7.94 7.96 9/180 9673
/proc/meminfo: memFree=30524964/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) S 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 5442477558425714687 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
[pid=9659] ppid=9658 vsize=1286260 CPUtime=1.49 cores=0
/proc/9659/stat : 9659 (cryptominisat) R 9658 9658 8907 0 -1 4202496 4283 0 0 0 149 0 0 0 20 0 1 0 528349354 1317130240 2181 33554432000 4194304 4587354 140737172392192 18446744073709551615 4238671 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9659/statm: 321565 2181 331 96 0 318127 0
[pid=9660] ppid=9658 vsize=18812 CPUtime=1.49 cores=1
/proc/9660/stat : 9660 (clasp) R 9658 9658 8907 0 -1 4202496 2335 0 0 0 149 0 0 0 20 0 1 0 528349354 19263488 2019 33554432000 4194304 4785740 140733417571152 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9660/statm: 4703 2019 341 145 0 1748 0
[pid=9661] ppid=9658 vsize=453712 CPUtime=1.48 cores=2
/proc/9661/stat : 9661 (TNM) R 9658 9658 8907 0 -1 4202496 1085 0 0 0 148 0 0 0 20 0 1 0 528349354 464601088 982 33554432000 134512640 134534564 4293593248 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9661/statm: 113428 982 95 6 0 112094 0
[pid=9662] ppid=9658 vsize=25192 CPUtime=1.49 cores=3
/proc/9662/stat : 9662 (march_hi) R 9658 9658 8907 0 -1 4202496 9135 0 0 0 148 1 0 0 20 0 1 0 528349354 25796608 3845 33554432000 4194304 4331988 140734806239824 18446744073709551615 4292628 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9662/statm: 6298 3845 173 34 0 4740 0
[pid=9663] ppid=9658 vsize=133752 CPUtime=5.88 cores=4-7
/proc/9663/stat : 9663 (plingeling) S 9658 9658 8907 0 -1 4202496 7378 1250 0 0 587 1 0 0 19 0 5 0 528349354 136962048 5511 33554432000 4194304 4356188 140735766463584 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/9663/statm: 33438 5511 164 40 0 31982 0
[pid=9663/tid=9670] ppid=9658 vsize=133752 CPUtime=1.46 cores=4-7
/proc/9663/task/9670/stat : 9670 (plingeling) R 9658 9658 8907 0 -1 4202560 1568 1250 0 0 146 0 0 0 20 0 5 0 528349357 136962048 5511 33554432000 4194304 4356188 140735766463584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9663/tid=9671] ppid=9658 vsize=133752 CPUtime=1.46 cores=4-7
/proc/9663/task/9671/stat : 9671 (plingeling) R 9658 9658 8907 0 -1 4202560 1454 1250 0 0 146 0 0 0 23 0 5 0 528349357 136962048 5511 33554432000 4194304 4356188 140735766463584 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9663/tid=9672] ppid=9658 vsize=133752 CPUtime=1.45 cores=4-7
/proc/9663/task/9672/stat : 9672 (plingeling) R 9658 9658 8907 0 -1 4202560 1531 1250 0 0 145 0 0 0 25 0 5 0 528349357 136962048 5511 33554432000 4194304 4356188 140735766463584 18446744073709551615 4336526 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9663/tid=9673] ppid=9658 vsize=133752 CPUtime=1.46 cores=4-7
/proc/9663/task/9673/stat : 9673 (plingeling) R 9658 9658 8907 0 -1 4202560 949 1250 0 0 146 0 0 0 25 0 5 0 528349357 136962048 5511 33554432000 4194304 4356188 140735766463584 18446744073709551615 4324107 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 1936052

[startup+3.10054 s]
/proc/loadavg: 7.50 7.94 7.96 9/180 9673
/proc/meminfo: memFree=30510332/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) S 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 5442477558425714687 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
[pid=9659] ppid=9658 vsize=1289848 CPUtime=3.08 cores=0
/proc/9659/stat : 9659 (cryptominisat) R 9658 9658 8907 0 -1 4202496 7037 0 0 0 308 0 0 0 25 0 1 0 528349354 1320804352 3090 33554432000 4194304 4587354 140737172392192 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9659/statm: 322462 3090 337 96 0 319024 0
[pid=9660] ppid=9658 vsize=19964 CPUtime=3.09 cores=1
/proc/9660/stat : 9660 (clasp) R 9658 9658 8907 0 -1 4202496 2623 0 0 0 309 0 0 0 25 0 1 0 528349354 20443136 2307 33554432000 4194304 4785740 140733417571152 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9660/statm: 4991 2307 341 145 0 2036 0
[pid=9661] ppid=9658 vsize=453712 CPUtime=3.08 cores=2
/proc/9661/stat : 9661 (TNM) R 9658 9658 8907 0 -1 4202496 1085 0 0 0 308 0 0 0 25 0 1 0 528349354 464601088 982 33554432000 134512640 134534564 4293593248 18446744073709551615 134530606 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9661/statm: 113428 982 95 6 0 112094 0
[pid=9662] ppid=9658 vsize=26400 CPUtime=3.09 cores=3
/proc/9662/stat : 9662 (march_hi) R 9658 9658 8907 0 -1 4202496 9438 0 0 0 308 1 0 0 25 0 1 0 528349354 27033600 4148 33554432000 4194304 4331988 140734806239824 18446744073709551615 4265328 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9662/statm: 6600 4148 173 34 0 5042 0
[pid=9663] ppid=9658 vsize=136136 CPUtime=12.27 cores=4-7
/proc/9663/stat : 9663 (plingeling) S 9658 9658 8907 0 -1 4202496 8742 1250 0 0 1226 1 0 0 19 0 5 0 528349354 139403264 6107 33554432000 4194304 4356188 140735766463584 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/9663/statm: 34034 6107 164 40 0 32578 0
[pid=9663/tid=9670] ppid=9658 vsize=136136 CPUtime=3.06 cores=4-7
/proc/9663/task/9670/stat : 9670 (plingeling) R 9658 9658 8907 0 -1 4202560 1780 1250 0 0 306 0 0 0 25 0 5 0 528349357 139403264 6107 33554432000 4194304 4356188 140735766463584 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9663/tid=9671] ppid=9658 vsize=136136 CPUtime=3.06 cores=4-7
/proc/9663/task/9671/stat : 9671 (plingeling) R 9658 9658 8907 0 -1 4202560 2094 1250 0 0 306 0 0 0 25 0 5 0 528349357 139403264 6107 33554432000 4194304 4356188 140735766463584 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9663/tid=9672] ppid=9658 vsize=136136 CPUtime=3.05 cores=4-7
/proc/9663/task/9672/stat : 9672 (plingeling) R 9658 9658 8907 0 -1 4202560 2043 1250 0 0 305 0 0 0 25 0 5 0 528349357 139403264 6107 33554432000 4194304 4356188 140735766463584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9663/tid=9673] ppid=9658 vsize=136136 CPUtime=3.06 cores=4-7
/proc/9663/task/9673/stat : 9673 (plingeling) R 9658 9658 8907 0 -1 4202560 949 1250 0 0 306 0 0 0 25 0 5 0 528349357 139403264 6107 33554432000 4194304 4356188 140735766463584 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.61
Current children cumulated vsize (KiB) 1944384

[startup+6.30096 s]
/proc/loadavg: 7.62 7.96 7.97 9/180 9673
/proc/meminfo: memFree=30493220/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) S 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 5442477558425714687 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
[pid=9659] ppid=9658 vsize=1292536 CPUtime=6.29 cores=0
/proc/9659/stat : 9659 (cryptominisat) R 9658 9658 8907 0 -1 4202496 10287 0 0 0 628 1 0 0 25 0 1 0 528349354 1323556864 4139 33554432000 4194304 4587354 140737172392192 18446744073709551615 4236606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9659/statm: 323134 4139 337 96 0 319696 0
[pid=9660] ppid=9658 vsize=22028 CPUtime=6.29 cores=1
/proc/9660/stat : 9660 (clasp) R 9658 9658 8907 0 -1 4202496 3133 0 0 0 629 0 0 0 25 0 1 0 528349354 22556672 2817 33554432000 4194304 4785740 140733417571152 18446744073709551615 4552525 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9660/statm: 5507 2817 341 145 0 2552 0
[pid=9661] ppid=9658 vsize=453712 CPUtime=6.28 cores=2
/proc/9661/stat : 9661 (TNM) R 9658 9658 8907 0 -1 4202496 1085 0 0 0 628 0 0 0 25 0 1 0 528349354 464601088 982 33554432000 134512640 134534564 4293593248 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9661/statm: 113428 982 95 6 0 112094 0
[pid=9662] ppid=9658 vsize=27680 CPUtime=6.28 cores=3
/proc/9662/stat : 9662 (march_hi) R 9658 9658 8907 0 -1 4202496 9789 0 0 0 627 1 0 0 25 0 1 0 528349354 28344320 4499 33554432000 4194304 4331988 140734806239824 18446744073709551615 4229436 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9662/statm: 6920 4499 173 34 0 5362 0
[pid=9663] ppid=9658 vsize=147912 CPUtime=25.05 cores=4-7
/proc/9663/stat : 9663 (plingeling) S 9658 9658 8907 0 -1 4202496 12710 1250 0 0 2504 1 0 0 19 0 5 0 528349354 151461888 9051 33554432000 4194304 4356188 140735766463584 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/9663/statm: 36978 9051 164 40 0 35522 0
[pid=9663/tid=9670] ppid=9658 vsize=147912 CPUtime=6.26 cores=4-7
/proc/9663/task/9670/stat : 9670 (plingeling) R 9658 9658 8907 0 -1 4202560 2804 1250 0 0 626 0 0 0 25 0 5 0 528349357 151461888 9051 33554432000 4194304 4356188 140735766463584 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9663/tid=9671] ppid=9658 vsize=147912 CPUtime=6.26 cores=4-7
/proc/9663/task/9671/stat : 9671 (plingeling) R 9658 9658 8907 0 -1 4202560 3438 1250 0 0 626 0 0 0 25 0 5 0 528349357 151461888 9051 33554432000 4194304 4356188 140735766463584 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9663/tid=9672] ppid=9658 vsize=147912 CPUtime=6.23 cores=4-7
/proc/9663/task/9672/stat : 9672 (plingeling) R 9658 9658 8907 0 -1 4202560 2799 1250 0 0 623 0 0 0 25 0 5 0 528349357 151461888 9051 33554432000 4194304 4356188 140735766463584 18446744073709551615 4280801 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9663/tid=9673] ppid=9658 vsize=147912 CPUtime=6.26 cores=4-7
/proc/9663/task/9673/stat : 9673 (plingeling) R 9658 9658 8907 0 -1 4202560 1793 1250 0 0 626 0 0 0 25 0 5 0 528349357 151461888 9051 33554432000 4194304 4356188 140735766463584 18446744073709551615 4279701 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.19
Current children cumulated vsize (KiB) 1962192

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

[startup+6.50096 s]
/proc/loadavg: 7.62 7.96 7.97 6/177 9673
/proc/meminfo: memFree=30484192/32951124 swapFree=67110188/67111528
[pid=9658] ppid=9656 vsize=18324 CPUtime=0 cores=0-7
/proc/9658/stat : 9658 (ppfolio) S 9656 9658 8907 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 528349354 18763776 390 33554432000 4194304 4287625 140735862124512 18446744073709551615 222921797135 0 0 4096 65536 5442477558425714687 0 0 17 4 0 0 0
/proc/9658/statm: 4581 390 341 23 0 91 0
[pid=9659] ppid=9658 vsize=1295432 CPUtime=6.49 cores=0
/proc/9659/stat : 9659 (cryptominisat) R 9658 9658 8907 0 -1 4202496 11093 0 0 0 648 1 0 0 25 0 1 0 528349354 1326522368 4943 33554432000 4194304 4587354 140737172392192 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9659/statm: 323858 4943 337 96 0 320420 0
[pid=9660] ppid=9658 vsize=22180 CPUtime=6.49 cores=1
/proc/9660/stat : 9660 (clasp) R 9658 9658 8907 0 -1 4202496 3149 0 0 0 649 0 0 0 25 0 1 0 528349354 22712320 2833 33554432000 4194304 4785740 140733417571152 18446744073709551615 4550444 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9660/statm: 5545 2833 341 145 0 2590 0
[pid=9661] ppid=9658 vsize=453712 CPUtime=6.48 cores=2
/proc/9661/stat : 9661 (TNM) R 9658 9658 8907 0 -1 4202496 1085 0 0 0 648 0 0 0 25 0 1 0 528349354 464601088 982 33554432000 134512640 134534564 4293593248 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9661/statm: 113428 982 95 6 0 112094 0
[pid=9662] ppid=9658 vsize=27680 CPUtime=6.49 cores=3
/proc/9662/stat : 9662 (march_hi) R 9658 9658 8907 0 -1 4202496 9865 0 0 0 648 1 0 0 25 0 1 0 528349354 28344320 4575 33554432000 4194304 4331988 140734806239824 18446744073709551615 4297321 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9662/statm: 6920 4575 173 34 0 5362 0
[pid=9663] ppid=9658 vsize=147912 CPUtime=25.75 cores=4-7
/proc/9663/stat : 9663 (plingeling) S 9658 9658 8907 0 -1 4202496 12711 1250 0 0 2574 1 0 0 18 0 2 0 528349354 151461888 9052 33554432000 4194304 4356188 140735766463584 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/9663/statm: 36978 9052 165 40 0 35522 0
[pid=9663/tid=9671] ppid=9658 vsize=147912 CPUtime=6.46 cores=4-7
/proc/9663/task/9671/stat : 9671 (plingeling) R 9658 9658 8907 0 -1 4202560 3438 1250 0 0 646 0 0 0 25 0 2 0 528349357 151461888 9052 33554432000 4194304 4356188 140735766463584 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.7
Current children cumulated vsize (KiB) 1965240

Child status: 0
Real time (s): 6.55875
CPU time (s): 52.0261
CPU user time (s): 51.9491
CPU system time (s): 0.076988
CPU usage (%): 793.232
Max. virtual memory (cumulated for all children) (KiB): 1965240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.9491
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40139
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= 1160
involuntary context switches= 385

runsolver used 0.011998 second user time and 0.032994 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-30 14:44:46
IDJOB=3275471
IDBENCH=83188
IDSOLVER=1638
FILE ID=node109/3275471-1304167486
RUNJOBID= node109-1304161229-8921
PBS_JOBID= 13170931
Free space on /tmp= 73028 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_150_42_s.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3275471-1304167486/watcher-3275471-1304167486 -o /tmp/evaluation-result-3275471-1304167486/solver-3275471-1304167486 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3275471-1304167486.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 4177e06821060b0db9493e3e34514fae
RANDOM SEED=570594886

node109.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.809
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.61
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.809
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	: 5332.75
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.809
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.74
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.809
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.75
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.809
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.82
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.809
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.809
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.82
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30567468 kB
Buffers:        791096 kB
Cached:        1136472 kB
SwapCached:        712 kB
Active:         173244 kB
Inactive:      1817552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30567468 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:           10196 kB
Writeback:           0 kB
AnonPages:       62724 kB
Mapped:          14680 kB
Slab:           325740 kB
PageTables:       4472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186752 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= 73020 MiB
End job on node109 at 2011-04-30 14:44:53