Trace number 3371217

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)SAT 24.5443 6.431

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3371217-1305429208/watcher-3371217-1305429208 -o /tmp/evaluation-result-3371217-1305429208/solver-3371217-1305429208 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371217-1305429208.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11859
/proc/meminfo: memFree=21397368/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=9808 CPUtime=0 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) R 11857 11859 4856 0 -1 4202496 552 1252 0 0 0 0 0 0 25 0 1 0 654518973 10043392 475 33554432000 4194304 4417452 140733295479120 18446744073709551615 232335892224 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/11859/statm: 2452 475 148 55 0 338 0

[startup+0.050632 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11859
/proc/meminfo: memFree=21397368/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=17544 CPUtime=0.04 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) R 11857 11859 4856 0 -1 4202496 2607 1252 0 0 4 0 0 0 25 0 1 0 654518973 17965056 2410 33554432000 4194304 4417452 140733295479120 18446744073709551615 232335511008 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/11859/statm: 4386 2410 149 55 0 2272 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17544

[startup+0.100624 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11859
/proc/meminfo: memFree=21397368/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=27784 CPUtime=0.08 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) R 11857 11859 4856 0 -1 4202496 5167 1252 0 0 8 0 0 0 25 0 1 0 654518973 28450816 4970 33554432000 4194304 4417452 140733295479120 18446744073709551615 4320811 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/11859/statm: 6946 4970 149 55 0 4832 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27784

[startup+0.300522 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11859
/proc/meminfo: memFree=21397368/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=216604 CPUtime=0.48 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) S 11857 11859 4856 0 -1 4202496 10839 1252 0 0 47 1 0 0 25 0 5 0 654518973 221802496 9182 33554432000 4194304 4417452 140733295479120 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11859/statm: 54151 9182 173 55 0 52037 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 216604

[startup+0.700453 s]
/proc/loadavg: 0.94 1.44 1.76 5/288 11859
/proc/meminfo: memFree=21397368/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=218256 CPUtime=1.88 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) S 11857 11859 4856 0 -1 4202496 11982 1252 0 0 186 2 0 0 25 0 5 0 654518973 223494144 9612 33554432000 4194304 4417452 140733295479120 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11859/statm: 54564 9612 175 55 0 52450 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 218256

[startup+1.50031 s]
/proc/loadavg: 1.50 1.55 1.80 9/293 11869
/proc/meminfo: memFree=21337588/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=234212 CPUtime=5.06 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) S 11857 11859 4856 0 -1 4202496 16573 1252 0 0 503 3 0 0 25 0 5 0 654518973 239833088 13604 33554432000 4194304 4417452 140733295479120 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11859/statm: 58553 13604 178 55 0 56439 0
[pid=11859/tid=11866] ppid=11857 vsize=234212 CPUtime=1.28 cores=0,2,4,6
/proc/11859/task/11866/stat : 11866 (plingeling) R 11857 11859 4856 0 -1 4202560 1565 1252 0 0 128 0 0 0 19 0 5 0 654518993 239833088 13604 33554432000 4194304 4417452 140733295479120 18446744073709551615 4278200 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11859/tid=11867] ppid=11857 vsize=234212 CPUtime=1.29 cores=0,2,4,6
/proc/11859/task/11867/stat : 11867 (plingeling) R 11857 11859 4856 0 -1 4202560 1598 1252 0 0 129 0 0 0 25 0 5 0 654518993 239833088 13604 33554432000 4194304 4417452 140733295479120 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11859/tid=11868] ppid=11857 vsize=234212 CPUtime=0.99 cores=0,2,4,6
/proc/11859/task/11868/stat : 11868 (plingeling) R 11857 11859 4856 0 -1 4202560 1530 1252 0 0 99 0 0 0 25 0 5 0 654518993 239833088 13604 33554432000 4194304 4417452 140733295479120 18446744073709551615 4339852 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11859/tid=11869] ppid=11857 vsize=234212 CPUtime=1.27 cores=0,2,4,6
/proc/11859/task/11869/stat : 11869 (plingeling) R 11857 11859 4856 0 -1 4202560 2605 1252 0 0 127 0 0 0 25 0 5 0 654518993 239833088 13604 33554432000 4194304 4417452 140733295479120 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 234212

[startup+3.10103 s]
/proc/loadavg: 1.50 1.55 1.80 9/293 11869
/proc/meminfo: memFree=21290964/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=242776 CPUtime=11.46 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) S 11857 11859 4856 0 -1 4202496 20476 1252 0 0 1142 4 0 0 25 0 5 0 654518973 248602624 15806 33554432000 4194304 4417452 140733295479120 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11859/statm: 60694 15806 180 55 0 58580 0
[pid=11859/tid=11866] ppid=11857 vsize=242776 CPUtime=2.89 cores=0,2,4,6
/proc/11859/task/11866/stat : 11866 (plingeling) R 11857 11859 4856 0 -1 4202560 2342 1252 0 0 288 1 0 0 23 0 5 0 654518993 248602624 15806 33554432000 4194304 4417452 140733295479120 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11859/tid=11867] ppid=11857 vsize=242776 CPUtime=2.89 cores=0,2,4,6
/proc/11859/task/11867/stat : 11867 (plingeling) R 11857 11859 4856 0 -1 4202560 2427 1252 0 0 289 0 0 0 25 0 5 0 654518993 248602624 15806 33554432000 4194304 4417452 140733295479120 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11859/tid=11868] ppid=11857 vsize=242776 CPUtime=2.6 cores=0,2,4,6
/proc/11859/task/11868/stat : 11868 (plingeling) R 11857 11859 4856 0 -1 4202560 1532 1252 0 0 260 0 0 0 25 0 5 0 654518993 248602624 15806 33554432000 4194304 4417452 140733295479120 18446744073709551615 4366447 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11859/tid=11869] ppid=11857 vsize=242776 CPUtime=2.86 cores=0,2,4,6
/proc/11859/task/11869/stat : 11869 (plingeling) R 11857 11859 4856 0 -1 4202560 4900 1252 0 0 286 0 0 0 25 0 5 0 654518993 248602624 15806 33554432000 4194304 4417452 140733295479120 18446744073709551615 4236852 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 242776

[startup+6.30046 s]
/proc/loadavg: 1.50 1.55 1.80 10/293 11869
/proc/meminfo: memFree=21299280/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=251888 CPUtime=24.22 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) S 11857 11859 4856 0 -1 4202496 27858 1252 0 0 2417 5 0 0 25 0 5 0 654518973 257933312 18057 33554432000 4194304 4417452 140733295479120 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11859/statm: 62972 18057 180 55 0 60858 0
[pid=11859/tid=11866] ppid=11857 vsize=251888 CPUtime=6.09 cores=0,2,4,6
/proc/11859/task/11866/stat : 11866 (plingeling) R 11857 11859 4856 0 -1 4202560 3018 1252 0 0 608 1 0 0 25 0 5 0 654518993 257933312 18057 33554432000 4194304 4417452 140733295479120 18446744073709551615 4239411 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11859/tid=11867] ppid=11857 vsize=251888 CPUtime=6.09 cores=0,2,4,6
/proc/11859/task/11867/stat : 11867 (plingeling) R 11857 11859 4856 0 -1 4202560 3150 1252 0 0 609 0 0 0 25 0 5 0 654518993 257933312 18057 33554432000 4194304 4417452 140733295479120 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11859/tid=11868] ppid=11857 vsize=251888 CPUtime=5.8 cores=0,2,4,6
/proc/11859/task/11868/stat : 11868 (plingeling) R 11857 11859 4856 0 -1 4202560 3018 1252 0 0 580 0 0 0 25 0 5 0 654518993 257933312 18057 33554432000 4194304 4417452 140733295479120 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11859/tid=11869] ppid=11857 vsize=251888 CPUtime=6.03 cores=0,2,4,6
/proc/11859/task/11869/stat : 11869 (plingeling) R 11857 11859 4856 0 -1 4202560 9397 1252 0 0 602 1 0 0 25 0 5 0 654518993 257933312 18057 33554432000 4194304 4417452 140733295479120 18446744073709551615 4357291 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (KiB) 251888

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

[startup+6.40047 s]
/proc/loadavg: 1.50 1.55 1.80 10/293 11869
/proc/meminfo: memFree=21299280/32951124 swapFree=66457188/67111528
[pid=11859] ppid=11857 vsize=251884 CPUtime=24.49 cores=0,2,4,6
/proc/11859/stat : 11859 (plingeling) S 11857 11859 4856 0 -1 4202496 27861 1252 0 0 2444 5 0 0 25 0 3 0 654518973 257929216 18059 33554432000 4194304 4417452 140733295479120 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11859/statm: 62971 18059 181 55 0 60857 0
[pid=11859/tid=11866] ppid=11857 vsize=251884 CPUtime=6.19 cores=0,2,4,6
/proc/11859/task/11866/stat : 11866 (plingeling) R 11857 11859 4856 0 -1 4202560 3020 1252 0 0 618 1 0 0 25 0 3 0 654518993 257929216 18059 33554432000 4194304 4417452 140733295479120 18446744073709551615 4341405 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11859/tid=11867] ppid=11857 vsize=251884 CPUtime=6.19 cores=0,2,4,6
/proc/11859/task/11867/stat : 11867 (plingeling) R 11857 11859 4856 0 -1 4202560 3150 1252 0 0 619 0 0 0 25 0 3 0 654518993 257929216 18059 33554432000 4194304 4417452 140733295479120 18446744073709551615 4253455 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.49
Current children cumulated vsize (KiB) 251884

Child status: 10
Real time (s): 6.431
CPU time (s): 24.5443
CPU user time (s): 24.4843
CPU system time (s): 0.05999
CPU usage (%): 381.656
Max. virtual memory (cumulated for all children) (KiB): 251888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.4843
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29131
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= 92
involuntary context switches= 386

runsolver used 0.024996 second user time and 0.048992 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 05:13:28
IDJOB=3371217
IDBENCH=83445
IDSOLVER=1848
FILE ID=node132/3371217-1305429208
RUNJOBID= node132-1305429206-11794
PBS_JOBID= 13324569
Free space on /tmp= 73356 MiB

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

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1257328816

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21397648 kB
Buffers:        286880 kB
Cached:        5607584 kB
SwapCached:       6904 kB
Active:        4926836 kB
Inactive:      6322508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21397648 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           14976 kB
Writeback:           0 kB
AnonPages:     5352792 kB
Mapped:          19232 kB
Slab:           217888 kB
PageTables:      24416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34908124 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73356 MiB
End job on node132 at 2011-05-15 05:13:35