Trace number 1560311

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
CircUs 2009-03-23SAT 0.25696 0.264364

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-13.cnf
MD5SUMc24db6fd9a75d53a7bd695605d4863e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05899
Satisfiable
(Un)Satisfiability was proved
Number of variables7606
Number of clauses26317
Sum of the clauses size68415
Maximum clause length73
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 212967
Number of clauses of size 311641
Number of clauses of size 41237
Number of clauses of size 5367
Number of clauses of size over 5104

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1560311-1238756538/watcher-1560311-1238756538 -o /tmp/evaluation-result-1560311-1238756538/solver-1560311-1238756538 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1560311-1238756538.cnf -t 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 2.06 4/86 5142
/proc/meminfo: memFree=1833304/2055924 swapFree=4179644/4192956
[pid=5142] ppid=5140 vsize=2100 CPUtime=0
/proc/5142/stat : 5142 (CirCUs) R 5140 5142 4931 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 120000 501984201 2150400 282 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 0 0 0
/proc/5142/statm: 525 282 70 173 0 350 0

[startup+0.10702 s]
/proc/loadavg: 1.92 1.98 2.06 4/86 5142
/proc/meminfo: memFree=1833304/2055924 swapFree=4179644/4192956
[pid=5142] ppid=5140 vsize=5016 CPUtime=0.1
/proc/5142/stat : 5142 (CirCUs) R 5140 5142 4931 0 -1 4194304 1092 0 0 0 10 0 0 0 18 0 1 120000 501984201 5136384 1043 1992294400 134512640 135224549 4294956224 18446744073709551615 134570287 0 0 4096 8192 0 0 0 17 0 0 0
/proc/5142/statm: 1254 1043 77 173 0 1079 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5016

[startup+0.201036 s]
/proc/loadavg: 1.92 1.98 2.06 4/86 5142
/proc/meminfo: memFree=1833304/2055924 swapFree=4179644/4192956
[pid=5142] ppid=5140 vsize=5280 CPUtime=0.19
/proc/5142/stat : 5142 (CirCUs) R 5140 5142 4931 0 -1 4194304 1146 0 0 0 19 0 0 0 18 0 1 120000 501984201 5406720 1097 1992294400 134512640 135224549 4294956224 18446744073709551615 134570736 0 0 4096 8192 0 0 0 17 0 0 0
/proc/5142/statm: 1320 1097 77 173 0 1145 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5280

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

Child status: 0
Real time (s): 0.264364
CPU time (s): 0.25696
CPU user time (s): 0.252961
CPU system time (s): 0.003999
CPU usage (%): 97.1993
Max. virtual memory (cumulated for all children) (KiB): 5280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.252961
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1240
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= 2
involuntary context switches= 16

runsolver used 0.002999 second user time and 0.014997 second system time

The end

Launcher Data

Begin job on node83 at 2009-04-03 13:02:18
IDJOB=1560311
IDBENCH=70893
IDSOLVER=544
FILE ID=node83/1560311-1238756538
PBS_JOBID= 9085484
Free space on /tmp= 66560 MiB

SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-13.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1560311-1238756538/watcher-1560311-1238756538 -o /tmp/evaluation-result-1560311-1238756538/solver-1560311-1238756538 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/CirCUs HOME/instance-1560311-1238756538.cnf -t 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c24db6fd9a75d53a7bd695605d4863e5
RANDOM SEED=725075461

node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1833792 kB
Buffers:         54428 kB
Cached:          76440 kB
SwapCached:       7580 kB
Active:          17316 kB
Inactive:       132160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1833792 kB
SwapTotal:     4192956 kB
SwapFree:      4179644 kB
Dirty:            1468 kB
Writeback:           0 kB
Mapped:          26068 kB
Slab:            56712 kB
Committed_AS:  1283808 kB
PageTables:       2680 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB
End job on node83 at 2009-04-03 13:02:18