Trace number 3290679

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 587SAT 8.43272 2.28861

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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290679-1304097383/watcher-3290679-1304097383 -o /tmp/evaluation-result-3290679-1304097383/solver-3290679-1304097383 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3290679-1304097383.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: 8.03 7.97 7.60 5/181 1730
/proc/meminfo: memFree=25541884/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=8724 CPUtime=0 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) R 1728 1730 1454 0 -1 4202496 237 1251 0 0 0 0 0 0 25 0 1 0 502153809 8933376 166 33554432000 4194304 4417332 140735645266192 18446744073709551615 228095144941 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1730/statm: 2181 168 135 55 0 67 0

[startup+0.0288311 s]
/proc/loadavg: 8.03 7.97 7.60 5/181 1730
/proc/meminfo: memFree=25541884/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=13604 CPUtime=0.02 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) R 1728 1730 1454 0 -1 4202496 1608 1251 0 0 2 0 0 0 25 0 1 0 502153809 13930496 1409 33554432000 4194304 4417332 140735645266192 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/1730/statm: 3401 1409 148 55 0 1287 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13604

[startup+0.100817 s]
/proc/loadavg: 8.03 7.97 7.60 5/181 1730
/proc/meminfo: memFree=25541884/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=27784 CPUtime=0.09 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) R 1728 1730 1454 0 -1 4202496 5169 1251 0 0 9 0 0 0 25 0 1 0 502153809 28450816 4970 33554432000 4194304 4417332 140735645266192 18446744073709551615 4236012 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/1730/statm: 6946 4970 148 55 0 4832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27784

[startup+0.30074 s]
/proc/loadavg: 8.03 7.97 7.60 5/181 1730
/proc/meminfo: memFree=25541884/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=85872 CPUtime=0.59 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) S 1728 1730 1454 0 -1 4202496 11074 1251 0 0 58 1 0 0 25 0 5 0 502153809 87932928 9251 33554432000 4194304 4417332 140735645266192 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1730/statm: 21468 9251 175 55 0 19354 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 85872

[startup+0.700666 s]
/proc/loadavg: 8.03 7.97 7.60 5/181 1730
/proc/meminfo: memFree=25541884/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=91416 CPUtime=2.19 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) S 1728 1730 1454 0 -1 4202496 12606 1251 0 0 218 1 0 0 25 0 5 0 502153809 93609984 10664 33554432000 4194304 4417332 140735645266192 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1730/statm: 22854 10664 176 55 0 20740 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 91416

[startup+1.50052 s]
/proc/loadavg: 8.03 7.97 7.60 9/186 1740
/proc/meminfo: memFree=25495352/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=168560 CPUtime=5.38 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) S 1728 1730 1454 0 -1 4202496 16838 1251 0 0 536 2 0 0 25 0 5 0 502153809 172605440 13578 33554432000 4194304 4417332 140735645266192 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1730/statm: 42140 13578 181 55 0 40026 0
[pid=1730/tid=1737] ppid=1728 vsize=168560 CPUtime=1.29 cores=0,2,4,6
/proc/1730/task/1737/stat : 1737 (plingeling) R 1728 1730 1454 0 -1 4202560 1520 1251 0 0 129 0 0 0 25 0 5 0 502153829 172605440 13578 33554432000 4194304 4417332 140735645266192 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1730/tid=1738] ppid=1728 vsize=168560 CPUtime=1.29 cores=0,2,4,6
/proc/1730/task/1738/stat : 1738 (plingeling) R 1728 1730 1454 0 -1 4202560 1857 1251 0 0 129 0 0 0 25 0 5 0 502153829 172605440 13578 33554432000 4194304 4417332 140735645266192 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1730/tid=1739] ppid=1728 vsize=168560 CPUtime=1.29 cores=0,2,4,6
/proc/1730/task/1739/stat : 1739 (plingeling) R 1728 1730 1454 0 -1 4202560 1976 1251 0 0 129 0 0 0 25 0 5 0 502153829 172605440 13578 33554432000 4194304 4417332 140735645266192 18446744073709551615 4236239 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1730/tid=1740] ppid=1728 vsize=168560 CPUtime=1.29 cores=0,2,4,6
/proc/1730/task/1740/stat : 1740 (plingeling) R 1728 1730 1454 0 -1 4202560 2208 1251 0 0 129 0 0 0 25 0 5 0 502153829 172605440 13578 33554432000 4194304 4417332 140735645266192 18446744073709551615 4357806 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 168560

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

[startup+1.90045 s]
/proc/loadavg: 8.03 7.97 7.60 9/186 1740
/proc/meminfo: memFree=25495352/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=166428 CPUtime=6.98 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) S 1728 1730 1454 0 -1 4202496 17410 1251 0 0 696 2 0 0 25 0 5 0 502153809 170422272 13045 33554432000 4194304 4417332 140735645266192 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1730/statm: 41607 13045 181 55 0 39493 0
[pid=1730/tid=1737] ppid=1728 vsize=166428 CPUtime=1.69 cores=0,2,4,6
/proc/1730/task/1737/stat : 1737 (plingeling) R 1728 1730 1454 0 -1 4202560 1761 1251 0 0 169 0 0 0 25 0 5 0 502153829 170422272 13045 33554432000 4194304 4417332 140735645266192 18446744073709551615 4320544 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1730/tid=1738] ppid=1728 vsize=166428 CPUtime=1.69 cores=0,2,4,6
/proc/1730/task/1738/stat : 1738 (plingeling) R 1728 1730 1454 0 -1 4202560 1857 1251 0 0 169 0 0 0 25 0 5 0 502153829 170422272 13045 33554432000 4194304 4417332 140735645266192 18446744073709551615 4269682 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1730/tid=1739] ppid=1728 vsize=166428 CPUtime=1.69 cores=0,2,4,6
/proc/1730/task/1739/stat : 1739 (plingeling) R 1728 1730 1454 0 -1 4202560 1976 1251 0 0 169 0 0 0 25 0 5 0 502153829 170422272 13045 33554432000 4194304 4417332 140735645266192 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1730/tid=1740] ppid=1728 vsize=166428 CPUtime=1.69 cores=0,2,4,6
/proc/1730/task/1740/stat : 1740 (plingeling) R 1728 1730 1454 0 -1 4202560 2539 1251 0 0 169 0 0 0 25 0 5 0 502153829 170422272 13045 33554432000 4194304 4417332 140735645266192 18446744073709551615 4236800 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 166428

[startup+2.10041 s]
/proc/loadavg: 8.03 7.97 7.60 9/186 1740
/proc/meminfo: memFree=25484508/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=173628 CPUtime=7.79 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) S 1728 1730 1454 0 -1 4202496 19236 1251 0 0 777 2 0 0 25 0 5 0 502153809 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1730/statm: 43407 14871 181 55 0 41293 0
[pid=1730/tid=1737] ppid=1728 vsize=173628 CPUtime=1.9 cores=0,2,4,6
/proc/1730/task/1737/stat : 1737 (plingeling) R 1728 1730 1454 0 -1 4202560 2472 1251 0 0 190 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1730/tid=1738] ppid=1728 vsize=173628 CPUtime=1.89 cores=0,2,4,6
/proc/1730/task/1738/stat : 1738 (plingeling) R 1728 1730 1454 0 -1 4202560 2569 1251 0 0 189 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4333259 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1730/tid=1739] ppid=1728 vsize=173628 CPUtime=1.9 cores=0,2,4,6
/proc/1730/task/1739/stat : 1739 (plingeling) R 1728 1730 1454 0 -1 4202560 2002 1251 0 0 190 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4250080 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1730/tid=1740] ppid=1728 vsize=173628 CPUtime=1.89 cores=0,2,4,6
/proc/1730/task/1740/stat : 1740 (plingeling) R 1728 1730 1454 0 -1 4202560 2916 1251 0 0 189 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4357108 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 173628

[startup+2.20639 s]
/proc/loadavg: 8.03 7.97 7.60 9/186 1740
/proc/meminfo: memFree=25484508/32951124 swapFree=67111524/67111528
[pid=1730] ppid=1728 vsize=173628 CPUtime=8.2 cores=0,2,4,6
/proc/1730/stat : 1730 (plingeling) S 1728 1730 1454 0 -1 4202496 19236 1251 0 0 818 2 0 0 25 0 5 0 502153809 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1730/statm: 43407 14871 181 55 0 41293 0
[pid=1730/tid=1737] ppid=1728 vsize=173628 CPUtime=2 cores=0,2,4,6
/proc/1730/task/1737/stat : 1737 (plingeling) R 1728 1730 1454 0 -1 4202560 2472 1251 0 0 200 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1730/tid=1738] ppid=1728 vsize=173628 CPUtime=1.99 cores=0,2,4,6
/proc/1730/task/1738/stat : 1738 (plingeling) R 1728 1730 1454 0 -1 4202560 2569 1251 0 0 199 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1730/tid=1739] ppid=1728 vsize=173628 CPUtime=2 cores=0,2,4,6
/proc/1730/task/1739/stat : 1739 (plingeling) R 1728 1730 1454 0 -1 4202560 2002 1251 0 0 200 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1730/tid=1740] ppid=1728 vsize=173628 CPUtime=2 cores=0,2,4,6
/proc/1730/task/1740/stat : 1740 (plingeling) R 1728 1730 1454 0 -1 4202560 2916 1251 0 0 200 0 0 0 25 0 5 0 502153829 177795072 14871 33554432000 4194304 4417332 140735645266192 18446744073709551615 4364504 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 173628

Child status: 10
Real time (s): 2.28861
CPU time (s): 8.43272
CPU user time (s): 8.40072
CPU system time (s): 0.031995
CPU usage (%): 368.464
Max. virtual memory (cumulated for all children) (KiB): 173628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.40072
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20791
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= 27
involuntary context switches= 51

runsolver used 0.007998 second user time and 0.012998 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 19:16:23
IDJOB=3290679
IDBENCH=83445
IDSOLVER=1605
FILE ID=node142/3290679-1304097383
RUNJOBID= node142-1304095973-1472
PBS_JOBID= 13170602
Free space on /tmp= 71312 MiB

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

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=2094074747

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25542048 kB
Buffers:       1679260 kB
Cached:        5040480 kB
SwapCached:          4 kB
Active:         957372 kB
Inactive:      5910868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25542048 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:      148508 kB
Mapped:          15284 kB
Slab:           477924 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   330444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71312 MiB
End job on node142 at 2011-04-29 19:16:26