Trace number 3310343

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 439.29 55.2184

General information on the benchmark

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

Solver Data 

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

[startup+0.0152231 s]
/proc/loadavg: 6.84 6.98 6.99 1/170 32705
/proc/meminfo: memFree=32053488/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 6 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100199 s]
/proc/loadavg: 6.84 6.98 6.99 1/170 32705
/proc/meminfo: memFree=32053488/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 6 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30016 s]
/proc/loadavg: 6.84 6.98 6.99 1/170 32705
/proc/meminfo: memFree=32053488/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 24 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.701052 s]
/proc/loadavg: 6.84 6.98 6.99 1/170 32705
/proc/meminfo: memFree=32053488/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 24 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.5009 s]
/proc/loadavg: 6.84 6.98 6.99 9/180 32720
/proc/meminfo: memFree=31812228/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 24 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=80912 CPUtime=1.49 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 8559 0 0 0 148 1 0 0 25 0 1 0 493855204 82853888 8151 33554432000 4194304 4587354 140734994899472 18446744073709551615 4238525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 20228 8151 306 96 0 16790 0
[pid=32707] ppid=32705 vsize=46524 CPUtime=1.48 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 10229 0 0 0 147 1 0 0 20 0 1 0 493855204 47640576 8876 33554432000 4194304 4785740 140735742955312 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 11631 8876 319 145 0 8676 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=1.48 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 147 1 0 0 20 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=40536 CPUtime=1.49 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 51165 0 0 0 142 7 0 0 20 0 1 0 493855204 41508864 5829 33554432000 4194304 4331988 140734288601328 18446744073709551615 270338050999 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 10134 5829 150 34 0 8576 0
[pid=32710] ppid=32705 vsize=267964 CPUtime=4.29 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 50015 1253 0 0 423 6 0 0 20 0 5 0 493855204 274395136 39029 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 66991 39029 157 40 0 65535 0
[pid=32710/tid=32717] ppid=32705 vsize=267964 CPUtime=0.93 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 4793 1253 0 0 92 1 0 0 23 0 5 0 493855260 274395136 39029 33554432000 4194304 4356188 140735500429040 18446744073709551615 4322459 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=267964 CPUtime=0.93 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 4960 1253 0 0 93 0 0 0 23 0 5 0 493855260 274395136 39029 33554432000 4194304 4356188 140735500429040 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=267964 CPUtime=0.92 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 5226 1253 0 0 92 0 0 0 23 0 5 0 493855260 274395136 39029 33554432000 4194304 4356188 140735500429040 18446744073709551615 4322024 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=267964 CPUtime=0.93 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 821 1253 0 0 93 0 0 0 19 0 5 0 493855260 274395136 39029 33554432000 4194304 4356188 140735500429040 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 944824

[startup+3.10058 s]
/proc/loadavg: 6.84 6.98 6.99 9/180 32720
/proc/meminfo: memFree=31669868/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 16 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=131184 CPUtime=3.09 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 27676 0 0 0 305 4 0 0 25 0 1 0 493855204 134332416 20201 33554432000 4194304 4587354 140734994899472 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 32796 20201 316 96 0 29358 0
[pid=32707] ppid=32705 vsize=46524 CPUtime=3.08 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 10229 0 0 0 307 1 0 0 25 0 1 0 493855204 47640576 8876 33554432000 4194304 4785740 140735742955312 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 11631 8876 319 145 0 8676 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=3.08 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 307 1 0 0 25 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524580 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=71932 CPUtime=3.08 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 66477 0 0 0 299 9 0 0 25 0 1 0 493855204 73658368 13583 33554432000 4194304 4331988 140734288601328 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 17983 13583 151 34 0 16425 0
[pid=32710] ppid=32705 vsize=263960 CPUtime=10.68 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 57243 1253 0 0 1060 8 0 0 20 0 5 0 493855204 270295040 38065 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 65990 38065 162 40 0 64534 0
[pid=32710/tid=32717] ppid=32705 vsize=263960 CPUtime=2.51 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 7103 1253 0 0 250 1 0 0 25 0 5 0 493855260 270295040 38065 33554432000 4194304 4356188 140735500429040 18446744073709551615 4250885 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=263960 CPUtime=2.53 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 7253 1253 0 0 253 0 0 0 25 0 5 0 493855260 270295040 38065 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=263960 CPUtime=2.53 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 7588 1253 0 0 252 1 0 0 25 0 5 0 493855260 270295040 38065 33554432000 4194304 4356188 140735500429040 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=263960 CPUtime=2.53 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 1084 1253 0 0 253 0 0 0 22 0 5 0 493855260 270295040 38065 33554432000 4194304 4356188 140735500429040 18446744073709551615 4298380 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.01
Current children cumulated vsize (KiB) 1022488

[startup+6.30094 s]
/proc/loadavg: 6.93 7.00 6.99 9/180 32720
/proc/meminfo: memFree=31680904/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 16 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=143344 CPUtime=6.29 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 30737 0 0 0 625 4 0 0 25 0 1 0 493855204 146784256 23118 33554432000 4194304 4587354 140734994899472 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 35836 23118 317 96 0 32398 0
[pid=32707] ppid=32705 vsize=46524 CPUtime=6.29 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 10229 0 0 0 628 1 0 0 25 0 1 0 493855204 47640576 8876 33554432000 4194304 4785740 140735742955312 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 11631 8876 319 145 0 8676 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=6.28 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 626 2 0 0 25 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=109176 CPUtime=6.28 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 75417 0 0 0 617 11 0 0 25 0 1 0 493855204 111796224 22523 33554432000 4194304 4331988 140734288601328 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 27294 22523 151 34 0 25736 0
[pid=32710] ppid=32705 vsize=228868 CPUtime=23.47 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 60157 1253 0 0 2338 9 0 0 20 0 5 0 493855204 234360832 29260 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 57217 29260 162 40 0 55761 0
[pid=32710/tid=32717] ppid=32705 vsize=228868 CPUtime=5.7 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 7433 1253 0 0 568 2 0 0 25 0 5 0 493855260 234360832 29260 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=228868 CPUtime=5.73 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 8333 1253 0 0 572 1 0 0 25 0 5 0 493855260 234360832 29260 33554432000 4194304 4356188 140735500429040 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=228868 CPUtime=5.73 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 8402 1253 0 0 572 1 0 0 25 0 5 0 493855260 234360832 29260 33554432000 4194304 4356188 140735500429040 18446744073709551615 4258653 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=228868 CPUtime=5.73 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 1774 1253 0 0 573 0 0 0 25 0 5 0 493855260 234360832 29260 33554432000 4194304 4356188 140735500429040 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (KiB) 1036800

[startup+12.7007 s]
/proc/loadavg: 7.02 7.02 7.00 9/180 32721
/proc/meminfo: memFree=31572936/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=142456 CPUtime=12.69 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 33775 0 0 0 1264 5 0 0 25 0 1 0 493855204 145874944 23236 33554432000 4194304 4587354 140734994899472 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 35614 23236 337 96 0 32176 0
[pid=32707] ppid=32705 vsize=67308 CPUtime=12.69 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 15819 0 0 0 1267 2 0 0 25 0 1 0 493855204 68923392 13888 33554432000 4194304 4785740 140735742955312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 16827 13888 341 145 0 13872 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=12.68 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 1266 2 0 0 25 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=209268 CPUtime=12.69 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 95256 0 0 0 1252 17 0 0 25 0 1 0 493855204 214290432 42362 33554432000 4194304 4331988 140734288601328 18446744073709551615 270338044613 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 52317 42362 151 34 0 50759 0
[pid=32710] ppid=32705 vsize=249916 CPUtime=49.03 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 81435 1253 0 0 4892 11 0 0 20 0 5 0 493855204 255913984 34522 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 62479 34522 162 40 0 61023 0
[pid=32710/tid=32717] ppid=32705 vsize=249916 CPUtime=12.06 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 12002 1253 0 0 1204 2 0 0 25 0 5 0 493855260 255913984 34522 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=249916 CPUtime=12.13 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 15778 1253 0 0 1211 2 0 0 25 0 5 0 493855260 255913984 34522 33554432000 4194304 4356188 140735500429040 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=249916 CPUtime=12.13 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 17196 1253 0 0 1211 2 0 0 25 0 5 0 493855260 255913984 34522 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=249916 CPUtime=12.13 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 2244 1253 0 0 1213 0 0 0 25 0 5 0 493855260 255913984 34522 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (KiB) 1177836

[startup+25.5011 s]
/proc/loadavg: 7.24 7.06 7.02 9/180 32721
/proc/meminfo: memFree=31338968/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=142600 CPUtime=25.49 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 43568 0 0 0 2543 6 0 0 25 0 1 0 493855204 146022400 23988 33554432000 4194304 4587354 140734994899472 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0

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

/proc/32710/statm: 71941 43985 163 40 0 70485 0
[pid=32710/tid=32717] ppid=32705 vsize=287764 CPUtime=50.26 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 30124 1253 0 0 5022 4 0 0 25 0 5 0 493855260 294670336 43985 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=287764 CPUtime=50.53 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 29348 1253 0 0 5050 3 0 0 25 0 5 0 493855260 294670336 43985 33554432000 4194304 4356188 140735500429040 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=287764 CPUtime=50.53 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 38832 1253 0 0 5048 5 0 0 25 0 5 0 493855260 294670336 43985 33554432000 4194304 4356188 140735500429040 18446744073709551615 4225514 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=287764 CPUtime=50.53 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 22336 1253 0 0 5050 3 0 0 25 0 5 0 493855260 294670336 43985 33554432000 4194304 4356188 140735500429040 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 406.77
Current children cumulated vsize (KiB) 1895868

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

[startup+52.7007 s]
/proc/loadavg: 7.54 7.15 7.04 9/180 32722
/proc/meminfo: memFree=30906824/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=190020 CPUtime=52.7 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 58087 0 0 0 5261 9 0 0 25 0 1 0 493855204 194580480 25299 33554432000 4194304 4587354 140734994899472 18446744073709551615 4238525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 47505 25299 337 96 0 44067 0
[pid=32707] ppid=32705 vsize=128080 CPUtime=52.69 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 30501 0 0 0 5264 5 0 0 25 0 1 0 493855204 131153920 28570 33554432000 4194304 4785740 140735742955312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 32020 28570 341 145 0 29065 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=52.68 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 5266 2 0 0 25 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524677 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=779652 CPUtime=52.69 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 227361 0 0 0 5224 45 0 0 25 0 1 0 493855204 798363648 174467 33554432000 4194304 4331988 140734288601328 18446744073709551615 270338044613 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 194913 174467 151 34 0 193355 0
[pid=32710] ppid=32705 vsize=306660 CPUtime=208.83 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 159590 1253 0 0 20862 21 0 0 20 0 5 0 493855204 314019840 48709 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 76665 48709 163 40 0 75209 0
[pid=32710/tid=32717] ppid=32705 vsize=306660 CPUtime=51.85 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 30124 1253 0 0 5181 4 0 0 25 0 5 0 493855260 314019840 48709 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=306660 CPUtime=52.14 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 33833 1253 0 0 5210 4 0 0 25 0 5 0 493855260 314019840 48709 33554432000 4194304 4356188 140735500429040 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=306660 CPUtime=52.14 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 39082 1253 0 0 5209 5 0 0 25 0 5 0 493855260 314019840 48709 33554432000 4194304 4356188 140735500429040 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=306660 CPUtime=52.14 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 22336 1253 0 0 5211 3 0 0 25 0 5 0 493855260 314019840 48709 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 419.59
Current children cumulated vsize (KiB) 1913300

[startup+54.3014 s]
/proc/loadavg: 7.54 7.15 7.04 9/180 32722
/proc/meminfo: memFree=30906576/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=190020 CPUtime=54.29 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 58093 0 0 0 5420 9 0 0 25 0 1 0 493855204 194580480 25305 33554432000 4194304 4587354 140734994899472 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 47505 25305 337 96 0 44067 0
[pid=32707] ppid=32705 vsize=128080 CPUtime=54.28 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 30505 0 0 0 5423 5 0 0 25 0 1 0 493855204 131153920 28574 33554432000 4194304 4785740 140735742955312 18446744073709551615 4549029 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 32020 28574 341 145 0 29065 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=54.28 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 5426 2 0 0 25 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524541 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=797736 CPUtime=54.29 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 232943 0 0 0 5382 47 0 0 25 0 1 0 493855204 816881664 180049 33554432000 4194304 4331988 140734288601328 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 199434 180049 151 34 0 197876 0
[pid=32710] ppid=32705 vsize=307708 CPUtime=215.22 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 163948 1253 0 0 21500 22 0 0 20 0 5 0 493855204 315092992 48971 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 76927 48971 163 40 0 75471 0
[pid=32710/tid=32717] ppid=32705 vsize=307708 CPUtime=53.43 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 34482 1253 0 0 5339 4 0 0 25 0 5 0 493855260 315092992 48971 33554432000 4194304 4356188 140735500429040 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=307708 CPUtime=53.73 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 33833 1253 0 0 5369 4 0 0 25 0 5 0 493855260 315092992 48971 33554432000 4194304 4356188 140735500429040 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=307708 CPUtime=53.73 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 39082 1253 0 0 5368 5 0 0 25 0 5 0 493855260 315092992 48971 33554432000 4194304 4356188 140735500429040 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=307708 CPUtime=53.73 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 22336 1253 0 0 5370 3 0 0 25 0 5 0 493855260 315092992 48971 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 432.36
Current children cumulated vsize (KiB) 1932432

[startup+54.7013 s]
/proc/loadavg: 7.54 7.15 7.04 9/180 32722
/proc/meminfo: memFree=30906576/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=190020 CPUtime=54.69 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 58220 0 0 0 5460 9 0 0 25 0 1 0 493855204 194580480 25432 33554432000 4194304 4587354 140734994899472 18446744073709551615 4239308 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 47505 25432 337 96 0 44067 0
[pid=32707] ppid=32705 vsize=128080 CPUtime=54.68 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 30505 0 0 0 5463 5 0 0 25 0 1 0 493855204 131153920 28574 33554432000 4194304 4785740 140735742955312 18446744073709551615 4553366 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 32020 28574 341 145 0 29065 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=54.68 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 5466 2 0 0 25 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=801828 CPUtime=54.69 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 234256 0 0 0 5422 47 0 0 25 0 1 0 493855204 821071872 181362 33554432000 4194304 4331988 140734288601328 18446744073709551615 270338044613 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 200457 181362 151 34 0 198899 0
[pid=32710] ppid=32705 vsize=291324 CPUtime=216.81 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 163948 1253 0 0 21659 22 0 0 20 0 5 0 493855204 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 72831 44875 163 40 0 71375 0
[pid=32710/tid=32717] ppid=32705 vsize=291324 CPUtime=53.83 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 34482 1253 0 0 5379 4 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=291324 CPUtime=54.13 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 33833 1253 0 0 5409 4 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=291324 CPUtime=54.13 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 39082 1253 0 0 5408 5 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=291324 CPUtime=54.13 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 22336 1253 0 0 5410 3 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4279731 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 435.55
Current children cumulated vsize (KiB) 1920140

[startup+55.1013 s]
/proc/loadavg: 7.54 7.15 7.04 9/180 32722
/proc/meminfo: memFree=30890332/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=0 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 522 0 0 0 0 0 0 0 15 0 1 0 493855204 18763776 390 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 7213948433252483071 0 0 17 4 0 0 0
/proc/32705/statm: 4581 390 341 23 0 91 0
[pid=32706] ppid=32705 vsize=190020 CPUtime=55.09 cores=0
/proc/32706/stat : 32706 (cryptominisat) R 32705 32705 32399 0 -1 4202496 58345 0 0 0 5500 9 0 0 25 0 1 0 493855204 194580480 25552 33554432000 4194304 4587354 140734994899472 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32706/statm: 47505 25552 337 96 0 44067 0
[pid=32707] ppid=32705 vsize=128080 CPUtime=55.08 cores=1
/proc/32707/stat : 32707 (clasp) R 32705 32705 32399 0 -1 4202496 30505 0 0 0 5503 5 0 0 25 0 1 0 493855204 131153920 28574 33554432000 4194304 4785740 140735742955312 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32707/statm: 32020 28574 341 145 0 29065 0
[pid=32708] ppid=32705 vsize=490564 CPUtime=55.08 cores=2
/proc/32708/stat : 32708 (TNM) R 32705 32705 32399 0 -1 4202496 11102 0 0 0 5506 2 0 0 25 0 1 0 493855204 502337536 10999 33554432000 134512640 134534564 4293347392 18446744073709551615 134524734 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32708/statm: 122641 10999 91 6 0 121307 0
[pid=32709] ppid=32705 vsize=806316 CPUtime=55.09 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4202496 235640 0 0 0 5462 47 0 0 25 0 1 0 493855204 825667584 182746 33554432000 4194304 4331988 140734288601328 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32709/statm: 201579 182746 151 34 0 200021 0
[pid=32710] ppid=32705 vsize=291324 CPUtime=218.41 cores=4-7
/proc/32710/stat : 32710 (plingeling) S 32705 32705 32399 0 -1 4202496 163948 1253 0 0 21819 22 0 0 20 0 5 0 493855204 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 270350186469 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/32710/statm: 72831 44875 163 40 0 71375 0
[pid=32710/tid=32717] ppid=32705 vsize=291324 CPUtime=54.23 cores=4-7
/proc/32710/task/32717/stat : 32717 (plingeling) R 32705 32705 32399 0 -1 4202560 34482 1253 0 0 5419 4 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32710/tid=32718] ppid=32705 vsize=291324 CPUtime=54.53 cores=4-7
/proc/32710/task/32718/stat : 32718 (plingeling) R 32705 32705 32399 0 -1 4202560 33833 1253 0 0 5449 4 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32710/tid=32719] ppid=32705 vsize=291324 CPUtime=54.53 cores=4-7
/proc/32710/task/32719/stat : 32719 (plingeling) R 32705 32705 32399 0 -1 4202560 39082 1253 0 0 5448 5 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32710/tid=32720] ppid=32705 vsize=291324 CPUtime=54.53 cores=4-7
/proc/32710/task/32720/stat : 32720 (plingeling) R 32705 32705 32399 0 -1 4202560 22336 1253 0 0 5450 3 0 0 25 0 5 0 493855260 298315776 44875 33554432000 4194304 4356188 140735500429040 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 438.75
Current children cumulated vsize (KiB) 1924628

[startup+55.2013 s]
/proc/loadavg: 7.54 7.15 7.04 9/180 32722
/proc/meminfo: memFree=30890332/32951124 swapFree=67111356/67111528
[pid=32705] ppid=32703 vsize=18324 CPUtime=328.93 cores=0-7
/proc/32705/stat : 32705 (ppfolio) S 32703 32705 32399 0 -1 4202496 524 234690 0 0 0 0 32857 36 15 0 1 0 493855204 18763776 391 33554432000 4194304 4287625 140735990294336 18446744073709551615 270338403855 0 0 4096 65536 4612411150640873471 0 0 17 4 0 0 0
/proc/32705/statm: 4581 391 342 23 0 91 0
[pid=32707] ppid=32705 vsize=0 CPUtime=55.18 cores=1
/proc/32707/stat : 32707 (clasp) Z 32705 32705 32399 0 -1 4203548 30505 0 0 0 5512 6 0 0 25 0 1 0 493855204 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/32707/statm: 0 0 0 0 0 0 0
[pid=32709] ppid=32705 vsize=0 CPUtime=55.18 cores=3
/proc/32709/stat : 32709 (march_hi) R 32705 32705 32399 0 -1 4203524 235914 0 0 0 5470 48 0 0 25 0 1 0 493855204 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/32709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 439.29
Current children cumulated vsize (KiB) 18324

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32705 and gives
#  childrusage.ru_utime.tv_sec=383
#  childrusage.ru_utime.tv_usec=693669
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=428934
# CPU time returned by wait4() is 384.123
# while last known CPU time is 439.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 55.2184
CPU time (s): 439.29
CPU user time (s): 438.39
CPU system time (s): 0.9
CPU usage (%): 795.55
Max. virtual memory (cumulated for all children) (KiB): 1932432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.694
system time used= 0.428934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265737
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= 600
involuntary context switches= 2013

runsolver used 0.087986 second user time and 0.225965 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-28 20:13:16
IDJOB=3310343
IDBENCH=83443
IDSOLVER=1638
FILE ID=node143/3310343-1304014395
RUNJOBID= node143-1304009290-32413
PBS_JOBID= 13168850
Free space on /tmp= 72916 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=472389385

node143.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.846
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.69
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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32053396 kB
Buffers:        121812 kB
Cached:         443884 kB
SwapCached:        168 kB
Active:         186292 kB
Inactive:       442912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32053396 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           21056 kB
Writeback:          56 kB
AnonPages:       63212 kB
Mapped:          14740 kB
Slab:           199156 kB
PageTables:       4640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185796 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= 72904 MiB
End job on node143 at 2011-04-28 20:14:11