Trace number 3310347

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 198.972 25.3211

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.9041
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

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

[startup+0.0700149 s]
/proc/loadavg: 6.95 7.07 7.02 1/170 12687
/proc/meminfo: memFree=12573344/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.10101 s]
/proc/loadavg: 6.95 7.07 7.02 1/170 12687
/proc/meminfo: memFree=12573344/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300972 s]
/proc/loadavg: 6.95 7.07 7.02 1/170 12687
/proc/meminfo: memFree=12573344/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 23 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.7009 s]
/proc/loadavg: 6.95 7.07 7.02 1/170 12687
/proc/meminfo: memFree=12573344/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 23 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50073 s]
/proc/loadavg: 6.95 7.07 7.02 6/176 12698
/proc/meminfo: memFree=12148968/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 23 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=82148 CPUtime=1.49 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 11908 0 0 0 147 2 0 0 25 0 1 0 493882207 84119552 11105 33554432000 4194304 4587354 140736773165856 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 20537 11105 306 96 0 17099 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=1.48 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 146 2 0 0 20 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=1.48 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 146 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=61132 CPUtime=1.48 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4194304 33605 0 0 0 143 5 0 0 20 0 1 0 493882207 62599168 9119 33554432000 4194304 4331988 140735990279936 18446744073709551615 4261508 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 15283 9119 129 34 0 13725 0
[pid=12692] ppid=12687 vsize=321924 CPUtime=2.84 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 68463 1258 0 0 273 11 0 0 25 0 5 0 493882207 329650176 52522 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 80481 52522 146 40 0 79025 0
Current children cumulated CPU time (s) 8.77
Current children cumulated vsize (KiB) 1086948

[startup+3.10044 s]
/proc/loadavg: 6.95 7.07 7.02 9/180 12702
/proc/meminfo: memFree=12059904/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=3.08 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 302 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4357555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=3.08 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 306 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=3.08 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 306 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=67584 CPUtime=3.09 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 95516 0 0 0 295 14 0 0 25 0 1 0 493882207 69206016 10253 33554432000 4194304 4331988 140735990279936 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 16896 10253 150 34 0 15338 0
[pid=12692] ppid=12687 vsize=417460 CPUtime=9.24 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 95684 1258 0 0 907 17 0 0 25 0 5 0 493882207 427479040 76403 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 104365 76403 159 40 0 102909 0
[pid=12692/tid=12699] ppid=12687 vsize=417460 CPUtime=2.04 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 13058 1258 0 0 202 2 0 0 21 0 5 0 493882310 427479040 76403 33554432000 4194304 4356188 140733983913776 18446744073709551615 4248450 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=417460 CPUtime=2.05 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 13400 1258 0 0 203 2 0 0 25 0 5 0 493882310 427479040 76403 33554432000 4194304 4356188 140733983913776 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=417460 CPUtime=2.05 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 13534 1258 0 0 202 3 0 0 19 0 5 0 493882310 427479040 76403 33554432000 4194304 4356188 140733983913776 18446744073709551615 4248448 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=417460 CPUtime=2.03 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 5072 1258 0 0 203 0 0 0 25 0 5 0 493882310 427479040 76403 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.57
Current children cumulated vsize (KiB) 1295604

[startup+6.30087 s]
/proc/loadavg: 7.03 7.09 7.03 9/180 12702
/proc/meminfo: memFree=11897688/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=6.29 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 623 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=6.28 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 626 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=6.28 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 626 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524734 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=115984 CPUtime=6.29 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 121978 0 0 0 610 19 0 0 25 0 1 0 493882207 118767616 22471 33554432000 4194304 4331988 140735990279936 18446744073709551615 4271412 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 28996 22471 151 34 0 27438 0
[pid=12692] ppid=12687 vsize=388156 CPUtime=22.02 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 96554 1258 0 0 2185 17 0 0 25 0 5 0 493882207 397471744 69081 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 97039 69081 163 40 0 95583 0
[pid=12692/tid=12699] ppid=12687 vsize=388156 CPUtime=5.24 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 13090 1258 0 0 522 2 0 0 25 0 5 0 493882310 397471744 69081 33554432000 4194304 4356188 140733983913776 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=388156 CPUtime=5.25 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 13792 1258 0 0 523 2 0 0 25 0 5 0 493882310 397471744 69081 33554432000 4194304 4356188 140733983913776 18446744073709551615 4332125 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=388156 CPUtime=5.25 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 13662 1258 0 0 522 3 0 0 25 0 5 0 493882310 397471744 69081 33554432000 4194304 4356188 140733983913776 18446744073709551615 4338768 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=388156 CPUtime=5.22 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 5390 1258 0 0 521 1 0 0 25 0 5 0 493882310 397471744 69081 33554432000 4194304 4356188 140733983913776 18446744073709551615 4236760 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.16
Current children cumulated vsize (KiB) 1314700

[startup+12.7007 s]
/proc/loadavg: 7.11 7.10 7.03 9/180 12702
/proc/meminfo: memFree=11853088/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=12.69 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 1263 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=12.68 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 1266 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=12.68 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 1266 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524677 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=175408 CPUtime=12.69 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 134726 0 0 0 1245 24 0 0 25 0 1 0 493882207 179617792 35219 33554432000 4194304 4331988 140735990279936 18446744073709551615 212039316165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 43852 35219 151 34 0 42294 0
[pid=12692] ppid=12687 vsize=377664 CPUtime=47.59 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 119205 1258 0 0 4739 20 0 0 25 0 5 0 493882207 386727936 66458 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 94416 66458 163 40 0 92960 0
[pid=12692/tid=12699] ppid=12687 vsize=377664 CPUtime=11.64 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 21968 1258 0 0 1161 3 0 0 25 0 5 0 493882310 386727936 66458 33554432000 4194304 4356188 140733983913776 18446744073709551615 4286832 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=377664 CPUtime=11.64 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 26484 1258 0 0 1161 3 0 0 25 0 5 0 493882310 386727936 66458 33554432000 4194304 4356188 140733983913776 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=377664 CPUtime=11.65 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 13790 1258 0 0 1162 3 0 0 25 0 5 0 493882310 386727936 66458 33554432000 4194304 4356188 140733983913776 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=377664 CPUtime=11.58 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 6343 1258 0 0 1157 1 0 0 25 0 5 0 493882310 386727936 66458 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 98.33
Current children cumulated vsize (KiB) 1363632

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

[startup+19.1006 s]
/proc/loadavg: 7.18 7.12 7.04 9/180 12703
/proc/meminfo: memFree=11876028/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=19.09 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 1903 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=19.08 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 1906 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=19.08 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 1906 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524677 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=243808 CPUtime=19.09 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 148446 0 0 0 1881 28 0 0 25 0 1 0 493882207 249659392 48939 33554432000 4194304 4331988 140735990279936 18446744073709551615 212039316165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 60952 48939 151 34 0 59394 0
[pid=12692] ppid=12687 vsize=330580 CPUtime=73.14 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 132333 1258 0 0 7292 22 0 0 25 0 5 0 493882207 338513920 54687 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 82645 54687 163 40 0 81189 0
[pid=12692/tid=12699] ppid=12687 vsize=330580 CPUtime=18.04 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 26310 1258 0 0 1800 4 0 0 25 0 5 0 493882310 338513920 54687 33554432000 4194304 4356188 140733983913776 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=330580 CPUtime=18.04 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 26918 1258 0 0 1801 3 0 0 25 0 5 0 493882310 338513920 54687 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=330580 CPUtime=18.06 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 21982 1258 0 0 1801 5 0 0 25 0 5 0 493882310 338513920 54687 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=330580 CPUtime=17.95 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 6503 1258 0 0 1794 1 0 0 25 0 5 0 493882310 338513920 54687 33554432000 4194304 4356188 140733983913776 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 149.48
Current children cumulated vsize (KiB) 1384948

[startup+22.301 s]
/proc/loadavg: 7.24 7.13 7.04 10/180 12703
/proc/meminfo: memFree=11848624/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=22.29 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 2223 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=22.28 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 2226 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=22.28 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 2226 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524580 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=264796 CPUtime=22.29 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 154989 0 0 0 2198 31 0 0 25 0 1 0 493882207 271151104 55482 33554432000 4194304 4331988 140735990279936 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 66199 55482 151 34 0 64641 0
[pid=12692] ppid=12687 vsize=332044 CPUtime=85.93 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 132796 1258 0 0 8571 22 0 0 25 0 5 0 493882207 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 83011 55053 163 40 0 81555 0
[pid=12692/tid=12699] ppid=12687 vsize=332044 CPUtime=21.24 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 26566 1258 0 0 2120 4 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=332044 CPUtime=21.24 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 26918 1258 0 0 2121 3 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=332044 CPUtime=21.26 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 22189 1258 0 0 2121 5 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4244409 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=332044 CPUtime=21.13 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 6503 1258 0 0 2112 1 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 175.07
Current children cumulated vsize (KiB) 1407400

[startup+23.9007 s]
/proc/loadavg: 7.24 7.13 7.04 9/180 12703
/proc/meminfo: memFree=11839200/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=23.89 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 2383 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=23.88 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 2386 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=23.88 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 2386 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524580 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=275884 CPUtime=23.89 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 158420 0 0 0 2357 32 0 0 25 0 1 0 493882207 282505216 58913 33554432000 4194304 4331988 140735990279936 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 68971 58913 151 34 0 67413 0
[pid=12692] ppid=12687 vsize=332044 CPUtime=92.32 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 132796 1258 0 0 9210 22 0 0 25 0 5 0 493882207 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 83011 55053 163 40 0 81555 0
[pid=12692/tid=12699] ppid=12687 vsize=332044 CPUtime=22.84 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 26566 1258 0 0 2280 4 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=332044 CPUtime=22.84 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 26918 1258 0 0 2281 3 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331326 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=332044 CPUtime=22.86 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 22189 1258 0 0 2281 5 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=332044 CPUtime=22.72 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 6503 1258 0 0 2271 1 0 0 25 0 5 0 493882310 340013056 55053 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 187.86
Current children cumulated vsize (KiB) 1418488

[startup+24.7006 s]
/proc/loadavg: 7.24 7.13 7.04 9/180 12703
/proc/meminfo: memFree=11829952/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=24.69 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 2463 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=24.68 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 2466 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=24.68 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 2466 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=281560 CPUtime=24.69 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 160171 0 0 0 2436 33 0 0 25 0 1 0 493882207 288317440 60664 33554432000 4194304 4331988 140735990279936 18446744073709551615 212039316513 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 70390 60664 151 34 0 68832 0
[pid=12692] ppid=12687 vsize=332968 CPUtime=95.51 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 133027 1258 0 0 9529 22 0 0 25 0 5 0 493882207 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 83242 55284 163 40 0 81786 0
[pid=12692/tid=12699] ppid=12687 vsize=332968 CPUtime=23.65 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 26797 1258 0 0 2360 5 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=332968 CPUtime=23.64 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 26918 1258 0 0 2361 3 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=332968 CPUtime=23.66 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 22189 1258 0 0 2361 5 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=332968 CPUtime=23.52 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 6503 1258 0 0 2351 1 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 194.25
Current children cumulated vsize (KiB) 1425088

[startup+25.1005 s]
/proc/loadavg: 7.24 7.13 7.04 9/180 12703
/proc/meminfo: memFree=11829952/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=25.09 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 2503 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388368 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=25.08 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 2506 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=25.08 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 2506 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524546 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=284068 CPUtime=25.08 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 160992 0 0 0 2475 33 0 0 25 0 1 0 493882207 290885632 61485 33554432000 4194304 4331988 140735990279936 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 71017 61485 151 34 0 69459 0
[pid=12692] ppid=12687 vsize=332968 CPUtime=97.11 cores=4-7
/proc/12692/stat : 12692 (plingeling) S 12687 12687 12375 0 -1 4202496 133027 1258 0 0 9689 22 0 0 25 0 5 0 493882207 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12692/statm: 83242 55284 163 40 0 81786 0
[pid=12692/tid=12699] ppid=12687 vsize=332968 CPUtime=24.05 cores=4-7
/proc/12692/task/12699/stat : 12699 (plingeling) R 12687 12687 12375 0 -1 4202560 26797 1258 0 0 2400 5 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4279731 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12692/tid=12700] ppid=12687 vsize=332968 CPUtime=24.04 cores=4-7
/proc/12692/task/12700/stat : 12700 (plingeling) R 12687 12687 12375 0 -1 4202560 26918 1258 0 0 2401 3 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12692/tid=12701] ppid=12687 vsize=332968 CPUtime=24.06 cores=4-7
/proc/12692/task/12701/stat : 12701 (plingeling) R 12687 12687 12375 0 -1 4202560 22189 1258 0 0 2401 5 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12692/tid=12702] ppid=12687 vsize=332968 CPUtime=23.92 cores=4-7
/proc/12692/task/12702/stat : 12702 (plingeling) R 12687 12687 12375 0 -1 4202560 6503 1258 0 0 2391 1 0 0 25 0 5 0 493882310 340959232 55284 33554432000 4194304 4356188 140733983913776 18446744073709551615 4331122 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 197.44
Current children cumulated vsize (KiB) 1427596

[startup+25.3065 s]
/proc/loadavg: 7.30 7.15 7.05 9/180 12703
/proc/meminfo: memFree=11819288/32951124 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=18324 CPUtime=0 cores=0-7
/proc/12687/stat : 12687 (ppfolio) S 12685 12687 12375 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493882206 18763776 390 33554432000 4194304 4287625 140737410584928 18446744073709551615 212039675407 0 0 4096 65536 4600998907139325951 0 0 17 6 0 0 0
/proc/12687/statm: 4581 390 341 23 0 91 0
[pid=12688] ppid=12687 vsize=188816 CPUtime=25.29 cores=0
/proc/12688/stat : 12688 (cryptominisat) R 12687 12687 12375 0 -1 4202496 44377 0 0 0 2523 6 0 0 25 0 1 0 493882207 193347584 35869 33554432000 4194304 4587354 140736773165856 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12688/statm: 47204 35869 316 96 0 43766 0
[pid=12689] ppid=12687 vsize=78352 CPUtime=25.29 cores=1
/proc/12689/stat : 12689 (clasp) R 12687 12687 12375 0 -1 4202496 18910 0 0 0 2527 2 0 0 25 0 1 0 493882207 80232448 16017 33554432000 4194304 4785740 140734933739600 18446744073709551615 4495651 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12689/statm: 19588 16017 319 145 0 16633 0
[pid=12690] ppid=12687 vsize=525068 CPUtime=25.29 cores=2
/proc/12690/stat : 12690 (TNM) R 12687 12687 12375 0 -1 4202496 20486 0 0 0 2527 2 0 0 25 0 1 0 493882207 537669632 20383 33554432000 134512640 134534564 4292877504 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12690/statm: 131267 20383 91 6 0 129933 0
[pid=12691] ppid=12687 vsize=285784 CPUtime=25.3 cores=3
/proc/12691/stat : 12691 (march_hi) R 12687 12687 12375 0 -1 4202496 161497 0 0 0 2496 34 0 0 25 0 1 0 493882207 292642816 61990 33554432000 4194304 4331988 140735990279936 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12691/statm: 71446 61990 151 34 0 69888 0
[pid=12692] ppid=12687 vsize=191760 CPUtime=97.7 cores=4-7
/proc/12692/stat : 12692 (plingeling) R 12687 12687 12375 0 -1 4202496 133028 1258 0 0 9747 23 0 0 17 0 1 0 493882207 196362240 19322 33554432000 4194304 4356188 140733983913776 18446744073709551615 212039698567 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12692/statm: 47940 19322 164 40 0 46484 0
Current children cumulated CPU time (s) 198.87
Current children cumulated vsize (KiB) 1288104

Child status: 0
Real time (s): 25.3211
CPU time (s): 198.972
CPU user time (s): 198.235
CPU system time (s): 0.736887
CPU usage (%): 785.793
Max. virtual memory (cumulated for all children) (KiB): 1428520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.235
system time used= 0.736887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380121
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= 341
involuntary context switches= 944

runsolver used 0.038994 second user time and 0.107983 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-28 20:17:39
IDJOB=3310347
IDBENCH=83450
IDSOLVER=1638
FILE ID=node146/3310347-1304014659
RUNJOBID= node146-1304009324-12389
PBS_JOBID= 13168852
Free space on /tmp= 72976 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3310347-1304014659/watcher-3310347-1304014659 -o /tmp/evaluation-result-3310347-1304014659/solver-3310347-1304014659 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3310347-1304014659.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=236927628

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12573748 kB
Buffers:       2087920 kB
Cached:       17689908 kB
SwapCached:          0 kB
Active:       10138936 kB
Inactive:      9702624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12573748 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           31644 kB
Writeback:           0 kB
AnonPages:       63144 kB
Mapped:          14516 kB
Slab:           471088 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   180876 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= 72964 MiB
End job on node146 at 2011-04-28 20:18:05