Trace number 1775068

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 467.025 467.187

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
MD5SUM03a36a0e1b9af8e7c30a29a92e02302e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.58391
Satisfiable
(Un)Satisfiability was proved
Number of variables4466
Number of clauses542457
Sum of the clauses size1621186
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26774
Number of clauses of size 3535652
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

9.79/9.86	c CirCUs release 2.0 (compiled 25-Mar-09 at 4:46 PM)
9.79/9.86	c Eliminate time :       9.24 
466.83/467.10	c CNF read time  :       0.56 
466.83/467.10	c CNF solve time :     466.79 
466.83/467.10	c Memory usage :    101.605 MB
466.83/467.10	c Restart : 1113
466.83/467.10	c Decisions : random(10920), heuristic(905569), history(0/0)
466.83/467.10	c Implications : 75863835
466.83/467.10	c Forced Restart : 0
466.83/467.10	c Polarity Change : 3607
466.83/467.10	c Learned clasues  : 96093 out of 825073
466.83/467.10	c Learned literals : 13578172 out of 113959563
466.83/467.10	c Number of first UIP : 112912 out of 825073
466.83/467.10	c Number of simplify : 0
466.83/467.10	c Number of continuous distill : 4955
466.83/467.10	c Average depth of OTS : 8
466.83/467.10	c Average depth of additional conflict : 13
466.83/467.10	c Saved conflict clasues : 1909
466.83/467.10	c Saved conflict literals : 337998
466.83/467.10	c Additional conflict clauses : 20588
466.83/467.10	c Additional conflict literals : 2209110
466.83/467.10	c Additional conflict analysis : 27234
466.83/467.10	s SATISFIABLE
466.83/467.10	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 
466.83/467.10	v -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 
466.83/467.10	v -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 
466.83/467.10	v  31 -32 -33  34 -35 -36 -37 -38 -39 -40 
466.83/467.10	v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 
466.83/467.10	v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 
466.83/467.10	v -61 -62  63 -64 -65 -66 -67 -68 -69 -70 
466.83/467.10	v -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 
466.83/467.10	v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 
466.83/467.10	v -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 
466.83/467.10	v -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 
466.83/467.10	v -111 -112 -113 -114 -115 -116 -117 -118  119 -120 
466.83/467.10	v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 
466.83/467.10	v -131 -132 -133 -134 -135 -136  137  138 -139 -140 
466.83/467.10	v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 
466.83/467.10	v -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 
466.83/467.10	v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 
466.83/467.10	v -171 -172 -173 -174 -175 -176 -177 -178  179 -180 
466.83/467.10	v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 
466.83/467.10	v -191 -192 -193 -194  195 -196  197 -198 -199 -200 
466.83/467.10	v -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 
466.83/467.10	v -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 
466.83/467.10	v -221 -222 -223  224 -225 -226 -227 -228 -229 -230 
466.83/467.10	v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 
466.83/467.10	v -241 -242 -243 -244  245  246  247 -248 -249 -250 
466.83/467.10	v -251  252 -253  254 -255 -256 -257 -258 -259 -260 
466.83/467.10	v -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 
466.83/467.10	v -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 
466.83/467.10	v -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 
466.83/467.10	v -291 -292 -293 -294 -295 -296 -297 -298 -299  300 
466.83/467.10	v -301  302 -303 -304 -305 -306 -307 -308 -309 -310 
466.83/467.10	v -311 -312 -313 -314 -315 -316 -317  318 -319 -320 
466.83/467.10	v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 
466.83/467.10	v -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 
466.83/467.10	v -341 -342 -343 -344 -345  346 -347 -348 -349 -350 
466.83/467.10	v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 
466.83/467.10	v -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 
466.83/467.10	v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 
466.83/467.10	v -381 -382 -383 -384 -385 -386  387 -388 -389 -390 
466.83/467.10	v -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 
466.83/467.10	v -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 
466.83/467.10	v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 
466.83/467.10	v  421  422 -423 -424 -425 -426 -427 -428 -429 -430 
466.83/467.10	v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 
466.83/467.10	v -441 -442 -443 -444 -445  446 -447 -448 -449 -450 
466.83/467.10	v -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 
466.83/467.10	v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 
466.83/467.10	v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 
466.83/467.10	v -481 -482 -483 -484 -485 -486 -487 -488 -489  490 
466.83/467.10	v -491 -492 -493 -494 -495 -496 -497  498 -499 -500 
466.83/467.10	v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 
466.83/467.10	v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 
466.83/467.10	v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 
466.83/467.10	v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 
466.83/467.10	v -541 -542 -543 -544 -545 -546 -547 -548  549 -550 
466.83/467.10	v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 
466.83/467.10	v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 
466.83/467.10	v -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 
466.83/467.10	v -581 -582 -583 -584  585 -586 -587 -588 -589 -590 
466.83/467.10	v -591 -592 -593 -594 -595 -596 -597 -598  599 -600 
466.83/467.10	v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 
466.83/467.10	v -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 
466.83/467.10	v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 
466.83/467.10	v -631 -632 -633 -634 -635  636  637 -638 -639 -640 
466.83/467.10	v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 
466.83/467.10	v -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 
466.93/467.10	v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 
466.93/467.10	v  671 -672 -673 -674 -675 -676 -677 -678 -679 -680 
466.93/467.10	v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 
466.93/467.10	v -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 
466.93/467.10	v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 
466.93/467.10	v -711 -712  713 -714 -715 -716 -717 -718 -719 -720 
466.93/467.10	v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 
466.93/467.10	v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 
466.93/467.10	v -741 -742 -743  744 -745 -746  747 -748 -749 -750 
466.93/467.10	v -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 
466.93/467.10	v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 
466.93/467.10	v -771 -772 -773 -774  775  776 -777  778 -779 -780 
466.93/467.10	v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 
466.93/467.10	v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 
466.93/467.10	v -801 -802 -803 -804 -805  806  807 -808  809 -810 
466.93/467.10	v -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 
466.93/467.10	v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 
466.93/467.10	v -831  832 -833 -834 -835 -836  837  838 -839  840 
466.93/467.10	v -841 -842 -843 -844 -845 -846 -847 -848 -849  850 
466.93/467.10	v  851 -852 -853 -854 -855 -856 -857 -858 -859 -860 
466.93/467.10	v -861 -862  863 -864 -865 -866 -867  868  869 -870 
466.93/467.10	v  871 -872 -873 -874 -875 -876 -877 -878 -879 -880 
466.93/467.10	v  881  882 -883 -884 -885 -886 -887 -888 -889 -890 
466.93/467.10	v -891  892 -893  894 -895 -896 -897 -898  899  900 
466.93/467.10	v -901  902 -903 -904 -905 -906 -907  908 -909  910 
466.93/467.10	v -911  912  913 -914 -915 -916 -917 -918 -919 -920 
466.93/467.10	v -921 -922  923 -924  925 -926 -927 -928 -929  930 
466.93/467.10	v  931 -932  933 -934 -935 -936  937 -938  939 -940 
466.93/467.10	v  941 -942  943  944 -945 -946 -947 -948 -949 -950 
466.93/467.10	v -951 -952 -953  954 -955  956 -957  958  959  960 
466.93/467.10	v  961  962 -963  964  965 -966  967  968 -969  970 
466.93/467.10	v -971  972 -973  974  975 -976 -977 -978 -979 -980 
466.93/467.10	v -981 -982 -983 -984  985 -986  987 -988  989  990 
466.93/467.10	v  991  992  993 -994  995  996 -997  998  999 -1000 
466.93/467.10	v  1001 -1002  1003 -1004  1005  1006 -1007 -1008 -1009 -1010 
466.93/467.10	v -1011 -1012  1013 -1014  1015  1016 -1017  1018 -1019  1020 
466.93/467.10	v  1021  1022  1023  1024 -1025  1026  1027 -1028  1029  1030 
466.93/467.10	v  1031  1032 -1033  1034 -1035  1036  1037 -1038 -1039 -1040 
466.93/467.10	v -1041 -1042 -1043  1044 -1045  1046  1047 -1048  1049 -1050 
466.93/467.10	v  1051  1052  1053  1054  1055 -1056  1057  1058  1059  1060 
466.93/467.10	v  1061  1062  1063 -1064  1065 -1066  1067  1068 -1069 -1070 
466.93/467.10	v -1071 -1072 -1073 -1074  1075 -1076  1077  1078 -1079  1080 
466.93/467.10	v -1081  1082  1083  1084  1085  1086 -1087  1088  1089  1090 
466.93/467.10	v  1091  1092  1093  1094 -1095  1096 -1097  1098  1099  1100 
466.93/467.10	v -1101 -1102 -1103 -1104 -1105  1106 -1107  1108  1109 -1110 
466.93/467.10	v  1111 -1112  1113  1114  1115  1116  1117 -1118  1119  1120 
466.93/467.10	v  1121  1122  1123  1124  1125 -1126  1127 -1128  1129  1130 
466.93/467.10	v  1131 -1132 -1133  1134  1135 -1136  1137 -1138  1139  1140 
466.93/467.10	v -1141  1142 -1143  1144  1145  1146  1147  1148 -1149  1150 
466.93/467.10	v  1151  1152  1153  1154  1155  1156 -1157  1158  1159  1160 
466.93/467.10	v  1161  1162 -1163 -1164  1165  1166 -1167  1168 -1169  1170 
466.93/467.10	v  1171 -1172  1173 -1174  1175  1176  1177  1178  1179 -1180 
466.93/467.10	v  1181  1182  1183  1184  1185  1186  1187 -1188  1189  1190 
466.93/467.10	v  1191  1192  1193 -1194 -1195  1196  1197 -1198  1199 -1200 
466.93/467.10	v  1201  1202  1203  1204 -1205  1206  1207  1208  1209  1210 
466.93/467.10	v  1211  1212  1213  1214  1215  1216  1217  1218 -1219  1220 
466.93/467.10	v  1221  1222  1223  1224 -1225 -1226  1227  1228 -1229  1230 
466.93/467.10	v -1231  1232  1233  1234  1235 -1236  1237  1238  1239  1240 
466.93/467.10	v  1241  1242  1243  1244  1245  1246  1247  1248  1249 -1250 
466.93/467.10	v  1251  1252  1253  1254  1255 -1256 -1257  1258  1259 -1260 
466.93/467.10	v  1261  1262  1263  1264  1265  1266 -1267  1268  1269  1270 
466.93/467.10	v  1271  1272  1273  1274  1275  1276  1277  1278  1279  1280 
466.93/467.10	v -1281  1282  1283  1284  1285  1286 -1287 -1288  1289  1290 
466.93/467.10	v -1291  1292  1293  1294  1295  1296  1297  1298  1299  1300 
466.93/467.10	v  1301  1302  1303  1304  1305  1306  1307  1308  1309  1310 
466.93/467.10	v  1311  1312  1313  1314  1315  1316  1317 -1318 -1319  1320 
466.93/467.10	v  1321 -1322  1323  1324  1325  1326  1327  1328  1329  1330 
466.93/467.10	v  1331  1332  1333  1334  1335  1336  1337  1338  1339  1340 
466.93/467.10	v  1341  1342  1343  1344  1345  1346  1347  1348  1349  1350 
466.93/467.10	v  1351  1352 -1353  1354  1355  1356  1357  1358  1359  1360 
466.93/467.10	v  1361  1362  1363  1364  1365  1366  1367  1368 -1369 -1370 
466.93/467.10	v -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 
466.93/467.10	v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 
466.93/467.10	v -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 
466.93/467.10	v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 
466.93/467.10	v -1411 -1412 -1413 -1414 -1415 -1416  1417 -1418 -1419 -1420 
466.93/467.10	v -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 
466.93/467.10	v -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 
466.93/467.10	v -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 
466.93/467.10	v -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 
466.93/467.10	v -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 
466.93/467.10	v -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 
466.93/467.10	v -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 
466.93/467.10	v -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498  1499  1500 
466.93/467.10	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 
466.93/467.10	v -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 
466.93/467.10	v -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 
466.93/467.10	v -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 
466.93/467.10	v -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 
466.93/467.10	v -1551 -1552 -1553 -1554 -1555  1556  1557  1558 -1559 -1560 
466.93/467.10	v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 
466.93/467.10	v -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578  1579  1580 
466.93/467.10	v  1581  1582  1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 
466.93/467.10	v  1591  1592 -1593 -1594 -1595 -1596 -1597  1598 -1599 -1600 
466.93/467.10	v -1601 -1602 -1603  1604 -1605 -1606 -1607 -1608 -1609 -1610 
466.93/467.10	v -1611 -1612 -1613  1614  1615 -1616 -1617 -1618 -1619 -1620 
466.93/467.10	v -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 
466.93/467.10	v -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 
466.93/467.10	v -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 
466.93/467.10	v -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659  1660 
466.93/467.10	v  1661  1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 
466.93/467.10	v -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 
466.93/467.10	v -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 
466.93/467.10	v -1691 -1692  1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 
466.93/467.10	v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 
466.93/467.10	v -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 
466.93/467.10	v -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 
466.93/467.10	v -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 
466.93/467.10	v -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 
466.93/467.10	v -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 
466.93/467.10	v -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 
466.93/467.10	v -1771 -1772 -1773 -1774  1775  1776 -1777 -1778 -1779 -1780 
466.93/467.10	v -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 
466.93/467.10	v -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 
466.93/467.10	v -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 
466.93/467.10	v -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 
466.93/467.10	v -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 
466.93/467.10	v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 
466.93/467.10	v -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 
466.93/467.10	v -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 
466.93/467.10	v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 
466.93/467.10	v -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 
466.93/467.10	v -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 
466.93/467.10	v -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 
466.93/467.10	v -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 
466.93/467.10	v -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 
466.93/467.10	v -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 
466.93/467.10	v -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 
466.93/467.10	v -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 
466.93/467.10	v -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 
466.93/467.10	v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 
466.93/467.10	v -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 
466.93/467.10	v -1981 -1982  1983  1984 -1985 -1986 -1987 -1988 -1989 -1990 
466.93/467.10	v -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 
466.93/467.10	v -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 
466.93/467.10	v -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018  2019 -2020 
466.93/467.10	v -2021 -2022 -2023 -2024  2025  2026  2027 -2028 -2029 -2030 
466.93/467.10	v -2031 -2032 -2033 -2034 -2035 -2036 -2037  2038  2039 -2040 
466.93/467.10	v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 
466.93/467.10	v -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 
466.93/467.10	v -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 
466.93/467.10	v -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 
466.93/467.10	v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 
466.93/467.10	v -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 
466.93/467.10	v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 
466.93/467.10	v -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 
466.93/467.10	v -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 
466.93/467.10	v -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 
466.93/467.10	v -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 
466.93/467.10	v -2151 -2152 -2153  2154  2155  2156  2157 -2158 -2159 -2160 
466.93/467.10	v -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 
466.93/467.10	v -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 
466.93/467.10	v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 
466.93/467.10	v -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 
466.93/467.10	v -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 
466.93/467.10	v -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 
466.93/467.10	v  2221  2222 -2223  2224  2225 -2226 -2227 -2228 -2229 -2230 
466.93/467.10	v -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238  2239  2240 
466.93/467.10	v  2241  2242  2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 
466.93/467.10	v -2251 -2252  2253 -2254 -2255  2256  2257 -2258 -2259 -2260 
466.93/467.10	v -2261 -2262 -2263  2264 -2265 -2266 -2267  2268 -2269 -2270 
466.93/467.10	v -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279  2280 
466.93/467.10	v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 
466.93/467.10	v -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 
466.93/467.10	v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 
466.93/467.10	v -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319  2320 
466.93/467.10	v -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 
466.93/467.10	v -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 
466.93/467.10	v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 
466.93/467.10	v -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 
466.93/467.10	v -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 
466.93/467.10	v -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 
466.93/467.10	v -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 
466.93/467.10	v -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 
466.93/467.10	v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 
466.93/467.10	v -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 
466.93/467.10	v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 
466.93/467.10	v -2431 -2432 -2433 -2434 -2435 -2436 -2437  2438  2439 -2440 
466.93/467.10	v  2441  2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 
466.93/467.10	v -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 
466.93/467.10	v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 
466.93/467.10	v -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 
466.93/467.10	v -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 
466.93/467.10	v -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 
466.93/467.10	v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 
466.93/467.10	v -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 
466.93/467.10	v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 
466.93/467.10	v -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 
466.93/467.10	v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 
466.93/467.10	v -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 
466.93/467.10	v -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 
466.93/467.10	v -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 
466.93/467.10	v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 
466.93/467.10	v -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 
466.93/467.10	v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 
466.93/467.10	v -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 
466.93/467.10	v -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 
466.93/467.10	v -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 
466.93/467.10	v -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 
466.93/467.10	v -2651 -2652  2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 
466.93/467.10	v -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 
466.93/467.10	v -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 
466.93/467.10	v -2681 -2682 -2683 -2684  2685  2686  2687  2688 -2689 -2690 
466.93/467.10	v -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 
466.93/467.10	v -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 
466.93/467.10	v -2711 -2712 -2713 -2714  2715  2716  2717  2718 -2719 -2720 
466.93/467.10	v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 
466.93/467.10	v -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 
466.93/467.10	v -2741 -2742 -2743 -2744  2745  2746  2747  2748 -2749 -2750 
466.93/467.10	v -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 
466.93/467.10	v -2761 -2762 -2763 -2764 -2765 -2766  2767 -2768 -2769 -2770 
466.93/467.10	v -2771 -2772 -2773 -2774  2775  2776  2777  2778 -2779 -2780 
466.93/467.10	v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 
466.93/467.10	v -2791 -2792 -2793 -2794 -2795 -2796  2797 -2798 -2799 -2800 
466.93/467.10	v -2801 -2802 -2803 -2804  2805  2806  2807  2808 -2809 -2810 
466.93/467.10	v -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 
466.93/467.10	v -2821 -2822 -2823 -2824 -2825 -2826  2827 -2828 -2829 -2830 
466.93/467.10	v -2831 -2832 -2833 -2834  2835  2836  2837  2838 -2839 -2840 
466.93/467.10	v -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848  2849  2850 
466.93/467.10	v -2851 -2852 -2853 -2854 -2855 -2856  2857 -2858 -2859 -2860 
466.93/467.10	v -2861 -2862 -2863 -2864  2865  2866  2867  2868 -2869 -2870 
466.93/467.10	v -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878  2879  2880 
466.93/467.10	v -2881 -2882 -2883 -2884 -2885 -2886  2887 -2888 -2889 -2890 
466.93/467.10	v -2891 -2892 -2893 -2894  2895  2896  2897  2898 -2899 -2900 
466.93/467.10	v -2901 -2902 -2903 -2904 -2905  2906  2907  2908  2909  2910 
466.93/467.10	v -2911 -2912 -2913 -2914 -2915 -2916  2917 -2918 -2919 -2920 
466.93/467.10	v -2921 -2922 -2923 -2924  2925  2926  2927  2928  2929  2930 
466.93/467.10	v  2931  2932  2933 -2934 -2935  2936  2937  2938  2939  2940 
466.93/467.10	v  2941  2942 -2943 -2944 -2945 -2946  2947  2948 -2949 -2950 
466.93/467.10	v -2951 -2952 -2953  2954  2955  2956  2957  2958  2959  2960 
466.93/467.10	v  2961  2962  2963  2964  2965  2966  2967  2968  2969  2970 
466.93/467.10	v  2971  2972 -2973 -2974 -2975 -2976  2977  2978 -2979 -2980 
466.93/467.10	v -2981 -2982 -2983  2984  2985  2986  2987  2988  2989  2990 
466.93/467.10	v  2991  2992  2993  2994  2995  2996  2997  2998  2999  3000 
466.93/467.10	v  3001  3002 -3003 -3004 -3005 -3006  3007  3008 -3009  3010 
466.93/467.10	v  3011  3012 -3013  3014  3015  3016  3017  3018  3019  3020 
466.93/467.10	v  3021  3022  3023  3024  3025  3026  3027  3028  3029  3030 
466.93/467.10	v  3031  3032 -3033 -3034 -3035 -3036  3037  3038 -3039  3040 
466.93/467.10	v  3041  3042  3043  3044  3045  3046  3047  3048  3049  3050 
466.93/467.10	v  3051  3052  3053  3054  3055  3056  3057  3058  3059  3060 
466.93/467.10	v  3061  3062 -3063 -3064 -3065 -3066  3067  3068 -3069  3070 
466.93/467.10	v  3071  3072  3073  3074  3075  3076  3077  3078  3079  3080 
466.93/467.10	v  3081  3082  3083  3084  3085  3086  3087  3088  3089  3090 
466.93/467.10	v  3091  3092 -3093 -3094 -3095 -3096  3097  3098 -3099  3100 
466.93/467.10	v  3101  3102  3103  3104  3105  3106  3107  3108  3109  3110 
466.93/467.10	v  3111  3112  3113  3114  3115  3116  3117  3118  3119  3120 
466.93/467.10	v  3121  3122 -3123 -3124  3125  3126  3127  3128 -3129  3130 
466.93/467.10	v  3131  3132  3133  3134  3135  3136  3137  3138  3139  3140 
466.93/467.10	v  3141  3142  3143  3144  3145  3146  3147  3148  3149  3150 
466.93/467.10	v  3151  3152 -3153 -3154  3155  3156  3157  3158 -3159  3160 
466.93/467.10	v  3161  3162  3163  3164  3165  3166  3167  3168  3169  3170 
466.93/467.10	v  3171  3172  3173  3174  3175  3176  3177  3178  3179  3180 
466.93/467.10	v  3181  3182 -3183 -3184  3185  3186  3187  3188 -3189  3190 
466.93/467.10	v  3191  3192  3193  3194  3195  3196  3197  3198  3199  3200 
466.93/467.10	v  3201  3202  3203  3204  3205  3206  3207  3208  3209  3210 
466.93/467.10	v  3211  3212 -3213 -3214  3215  3216  3217  3218 -3219  3220 
466.93/467.10	v  3221  3222  3223  3224  3225  3226  3227  3228  3229  3230 
466.93/467.10	v  3231  3232  3233  3234  3235  3236  3237  3238  3239  3240 
466.93/467.10	v  3241  3242 -3243 -3244  3245  3246  3247  3248 -3249  3250 
466.93/467.10	v  3251  3252  3253  3254  3255  3256  3257  3258  3259  3260 
466.93/467.10	v  3261  3262  3263  3264  3265  3266  3267  3268  3269  3270 
466.93/467.10	v  3271  3272 -3273 -3274  3275  3276  3277  3278 -3279  3280 
466.93/467.10	v  3281  3282  3283  3284  3285  3286  3287  3288  3289  3290 
466.93/467.10	v  3291  3292  3293  3294  3295  3296  3297  3298  3299  3300 
466.93/467.10	v  3301  3302 -3303 -3304  3305  3306  3307  3308 -3309  3310 
466.93/467.10	v  3311  3312  3313  3314  3315  3316  3317  3318  3319  3320 
466.93/467.10	v  3321  3322  3323  3324  3325  3326  3327  3328  3329  3330 
466.93/467.10	v  3331  3332  3333  3334  3335  3336  3337  3338 -3339  3340 
466.93/467.10	v  3341  3342  3343  3344  3345  3346  3347 -3348 -3349 -3350 
466.93/467.10	v -3351 -3352 -3353 -3354 -3355 -3356 -3357  3358  3359 -3360 
466.93/467.10	v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 
466.93/467.10	v -3371 -3372 -3373 -3374  3375  3376  3377 -3378 -3379 -3380 
466.93/467.10	v -3381 -3382 -3383 -3384 -3385 -3386 -3387  3388  3389 -3390 
466.93/467.10	v -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 
466.93/467.10	v -3401 -3402 -3403 -3404  3405  3406  3407 -3408 -3409 -3410 
466.93/467.10	v -3411 -3412 -3413 -3414 -3415 -3416 -3417  3418  3419 -3420 
466.93/467.10	v -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 
466.93/467.10	v -3431 -3432 -3433 -3434  3435  3436  3437 -3438 -3439 -3440 
466.93/467.10	v -3441 -3442 -3443 -3444 -3445 -3446 -3447  3448  3449 -3450 
466.93/467.10	v -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 
466.93/467.10	v -3461 -3462 -3463 -3464  3465  3466  3467 -3468 -3469 -3470 
466.93/467.10	v -3471 -3472 -3473 -3474 -3475 -3476 -3477  3478  3479 -3480 
466.93/467.10	v -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 
466.93/467.10	v -3491 -3492 -3493 -3494  3495  3496  3497 -3498 -3499 -3500 
466.93/467.10	v -3501 -3502 -3503  3504  3505  3506  3507  3508  3509 -3510 
466.93/467.10	v -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 
466.93/467.10	v -3521 -3522 -3523 -3524  3525  3526  3527 -3528 -3529 -3530 
466.93/467.10	v -3531 -3532 -3533  3534  3535  3536  3537  3538  3539 -3540 
466.93/467.10	v -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 
466.93/467.10	v -3551 -3552 -3553 -3554  3555  3556  3557 -3558 -3559 -3560 
466.93/467.10	v -3561 -3562 -3563  3564  3565  3566  3567  3568  3569 -3570 
466.93/467.10	v  3571  3572 -3573  3574  3575 -3576 -3577 -3578 -3579 -3580 
466.93/467.10	v -3581 -3582 -3583 -3584  3585  3586  3587 -3588  3589  3590 
466.93/467.10	v  3591  3592  3593  3594  3595  3596  3597  3598  3599 -3600 
466.93/467.10	v  3601  3602  3603  3604  3605  3606  3607 -3608 -3609 -3610 
466.93/467.10	v -3611 -3612 -3613  3614  3615  3616  3617  3618  3619  3620 
466.93/467.10	v  3621  3622  3623  3624  3625  3626  3627  3628  3629  3630 
466.93/467.10	v  3631  3632  3633  3634  3635  3636  3637 -3638 -3639 -3640 
466.93/467.10	v -3641 -3642 -3643  3644  3645  3646  3647  3648  3649  3650 
466.93/467.10	v  3651  3652  3653  3654  3655  3656  3657  3658  3659  3660 
466.93/467.10	v  3661  3662  3663  3664  3665  3666  3667 -3668 -3669  3670 
466.93/467.10	v -3671 -3672 -3673  3674  3675  3676  3677  3678  3679  3680 
466.93/467.10	v  3681  3682  3683  3684  3685  3686  3687  3688  3689  3690 
466.93/467.10	v  3691  3692  3693  3694  3695  3696  3697 -3698 -3699  3700 
466.93/467.10	v -3701 -3702 -3703  3704  3705  3706  3707  3708  3709  3710 
466.93/467.10	v  3711  3712  3713  3714  3715  3716  3717  3718  3719  3720 
466.93/467.10	v  3721  3722  3723  3724  3725  3726  3727 -3728 -3729  3730 
466.93/467.10	v -3731 -3732 -3733  3734  3735  3736  3737  3738  3739  3740 
466.93/467.10	v  3741  3742  3743  3744  3745  3746  3747  3748  3749  3750 
466.93/467.10	v  3751  3752  3753  3754  3755  3756  3757 -3758 -3759  3760 
466.93/467.10	v -3761 -3762 -3763  3764  3765  3766  3767  3768  3769  3770 
466.93/467.10	v  3771  3772  3773  3774  3775  3776  3777  3778  3779  3780 
466.93/467.10	v  3781  3782  3783  3784  3785  3786  3787  3788  3789  3790 
466.93/467.10	v  3791  3792 -3793  3794  3795  3796  3797  3798  3799  3800 
466.93/467.10	v  3801  3802  3803  3804  3805  3806  3807  3808  3809  3810 
466.93/467.10	v  3811  3812  3813  3814  3815  3816  3817  3818  3819  3820 
466.93/467.10	v  3821  3822 -3823  3824  3825  3826  3827  3828  3829  3830 
466.93/467.10	v  3831  3832  3833  3834  3835  3836  3837  3838  3839  3840 
466.93/467.10	v  3841  3842  3843  3844  3845  3846  3847  3848  3849  3850 
466.93/467.10	v  3851  3852 -3853  3854  3855  3856  3857  3858  3859  3860 
466.93/467.10	v  3861  3862  3863  3864  3865  3866  3867  3868  3869  3870 
466.93/467.10	v  3871  3872  3873  3874  3875  3876  3877  3878  3879  3880 
466.93/467.10	v  3881  3882 -3883  3884  3885  3886  3887  3888  3889  3890 
466.93/467.10	v  3891  3892  3893  3894  3895  3896  3897  3898  3899  3900 
466.93/467.10	v  3901  3902  3903  3904  3905  3906  3907  3908  3909  3910 
466.93/467.10	v  3911  3912 -3913  3914  3915  3916  3917  3918  3919  3920 
466.93/467.10	v  3921  3922  3923  3924  3925  3926  3927  3928  3929  3930 
466.93/467.10	v  3931  3932  3933  3934  3935  3936  3937  3938  3939  3940 
466.93/467.10	v  3941  3942 -3943  3944  3945  3946  3947  3948  3949  3950 
466.93/467.10	v  3951  3952  3953  3954  3955  3956  3957  3958  3959  3960 
466.93/467.10	v  3961  3962  3963  3964  3965  3966  3967  3968  3969  3970 
466.93/467.18	v  3971  3972 -3973  3974  3975  3976  3977  3978  3979  3980 
466.93/467.18	v  3981  3982  3983  3984  3985  3986  3987  3988  3989  3990 
466.93/467.18	v  3991  3992  3993  3994  3995  3996  3997  3998  3999  4000 
466.93/467.18	v  4001  4002  4003  4004 -4005 -4006 -4007 -4008 -4009 -4010 
466.93/467.18	v -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 
466.93/467.18	v -4021 -4022 -4023 -4024 -4025  4026 -4027 -4028  4029 -4030 
466.93/467.18	v -4031  4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 
466.93/467.18	v  4041 -4042 -4043 -4044 -4045 -4046  4047  4048  4049  4050 
466.93/467.18	v  4051  4052  4053  4054  4055  4056  4057  4058  4059 -4060 
466.93/467.18	v  4061  4062  4063  4064  4065  4066  4067  4068  4069 -4070 
466.93/467.18	v  4071 -4072  4073  4074  4075  4076  4077 -4078  4079  4080 
466.93/467.18	v -4081  4082  4083 -4084 -4085  4086  4087  4088  4089 -4090 
466.93/467.18	v -4091 -4092 -4093 -4094  4095 -4096 -4097 -4098 -4099 -4100 
466.93/467.18	v -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109  4110 
466.93/467.18	v  4111 -4112  4113  4114  4115  4116  4117  4118  4119  4120 
466.93/467.18	v  4121  4122 -4123  4124  4125  4126  4127  4128  4129  4130 
466.93/467.18	v  4131  4132 -4133 -4134  4135 -4136  4137  4138 -4139 -4140 
466.93/467.18	v -4141 -4142 -4143 -4144 -4145  4146 -4147 -4148 -4149 -4150 
466.93/467.18	v -4151  4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 
466.93/467.18	v -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 
466.93/467.18	v -4171 -4172  4173  4174 -4175 -4176  4177 -4178 -4179  4180 
466.93/467.18	v -4181 -4182 -4183 -4184 -4185 -4186 -4187  4188 -4189 -4190 
466.93/467.18	v -4191 -4192 -4193  4194  4195 -4196 -4197  4198 -4199  4200 
466.93/467.18	v  4201  4202  4203 -4204  4205  4206 -4207  4208  4209 -4210 
466.93/467.18	v -4211  4212  4213  4214  4215  4216 -4217 -4218  4219 -4220 
466.93/467.18	v  4221  4222  4223 -4224 -4225  4226  4227 -4228 -4229  4230 
466.93/467.18	v -4231 -4232 -4233  4234 -4235  4236  4237 -4238  4239  4240 
466.93/467.18	v -4241  4242  4243  4244  4245  4246  4247  4248 -4249  4250 
466.93/467.18	v  4251 -4252 -4253  4254  4255  4256  4257  4258 -4259 -4260 
466.93/467.18	v  4261 -4262  4263  4264  4265 -4266 -4267 -4268  4269 -4270 
466.93/467.18	v -4271  4272 -4273 -4274 -4275  4276 -4277  4278  4279 -4280 
466.93/467.18	v -4281  4282 -4283  4284  4285  4286 -4287 -4288 -4289 -4290 
466.93/467.18	v -4291 -4292  4293 -4294 -4295 -4296  4297 -4298  4299  4300 
466.93/467.18	v  4301  4302  4303  4304  4305  4306  4307  4308  4309  4310 
466.93/467.18	v  4311  4312  4313  4314  4315  4316  4317  4318  4319  4320 
466.93/467.18	v  4321 -4322 -4323  4324 -4325  4326  4327  4328 -4329  4330 
466.93/467.18	v -4331  4332  4333 -4334  4335 -4336 -4337  4338  4339  4340 
466.93/467.18	v  4341 -4342 -4343 -4344  4345 -4346 -4347  4348 -4349 -4350 
466.93/467.18	v -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 
466.93/467.18	v -4361  4362  4363 -4364  4365  4366 -4367  4368  4369  4370 
466.93/467.18	v  4371  4372  4373  4374  4375 -4376  4377  4378  4379  4380 
466.93/467.18	v  4381  4382  4383  4384 -4385  4386  4387 -4388  4389  4390 
466.93/467.18	v  4391  4392  4393  4394  4395  4396 -4397  4398  4399 -4400 
466.93/467.18	v  4401  4402  4403  4404  4405 -4406 -4407  4408 -4409  4410 
466.93/467.18	v  4411  4412 -4413  4414 -4415  4416  4417 -4418 -4419  4420 
466.93/467.18	v -4421 -4422  4423 -4424  4425  4426 -4427 -4428  4429 -4430 
466.93/467.18	v  4431  4432  4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 
466.93/467.18	v  4441 -4442 -4443 -4444 -4445  4446  4447 -4448 -4449  4450 
466.93/467.18	v -4451  4452  4453  4454 -4455  4456 -4457  4458  4459 -4460 
466.93/467.18	v -4461  4462 -4463 -4464  4465  4466 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-1775068-1241325046/watcher-1775068-1241325046 -o /tmp/evaluation-result-1775068-1241325046/solver-1775068-1241325046 -C 10000 -W 12000 -M 1800 HOME/CirCUs HOME/instance-1775068-1241325046.cnf -t 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 22312
/proc/meminfo: memFree=1302392/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=5964 CPUtime=0
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 237 0 0 0 0 0 0 0 18 0 1 1000000 160528998 6107136 222 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 1491 223 70 173 0 1316 0

[startup+0.07795 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 22312
/proc/meminfo: memFree=1302392/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=10096 CPUtime=0.06
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 1389 0 0 0 6 0 0 0 18 0 1 1000000 160528998 10338304 1276 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 2524 1277 70 173 0 2349 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10096

[startup+0.101952 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 22312
/proc/meminfo: memFree=1302392/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=11284 CPUtime=0.09
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 1715 0 0 0 9 0 0 0 18 0 1 1000000 160528998 11554816 1602 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 2821 1602 70 173 0 2646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11284

[startup+0.301981 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 22312
/proc/meminfo: memFree=1302392/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=23484 CPUtime=0.29
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 4702 0 0 0 27 2 0 0 19 0 1 1000000 160528998 24047616 4460 1992294400 134512640 135224549 4294956224 18446744073709551615 134632646 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 5871 4466 70 173 0 5696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23484

[startup+0.701037 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 22312
/proc/meminfo: memFree=1302392/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=41180 CPUtime=0.69
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 10074 0 0 0 64 5 0 0 23 0 1 1000000 160528998 42168320 9061 1992294400 134512640 135224549 4294956224 18446744073709551615 134570670 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 10295 9061 74 173 0 10120 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41180

[startup+1.50215 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 22313
/proc/meminfo: memFree=1266288/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=41180 CPUtime=1.49
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 10074 0 0 0 144 5 0 0 25 0 1 1000000 160528998 42168320 9061 1992294400 134512640 135224549 4294956224 18446744073709551615 134570469 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 10295 9061 74 173 0 10120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41180

[startup+3.10138 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 22313
/proc/meminfo: memFree=1266160/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=41180 CPUtime=3.09
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 10074 0 0 0 304 5 0 0 25 0 1 1000000 160528998 42168320 9061 1992294400 134512640 135224549 4294956224 18446744073709551615 134571491 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 10295 9061 74 173 0 10120 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41180

[startup+6.30183 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 22313
/proc/meminfo: memFree=1266032/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=41180 CPUtime=6.29
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 10074 0 0 0 624 5 0 0 25 0 1 1000000 160528998 42168320 9061 1992294400 134512640 135224549 4294956224 18446744073709551615 134570469 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 10295 9061 74 173 0 10120 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41180

[startup+12.7017 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 22313
/proc/meminfo: memFree=1262448/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=45412 CPUtime=12.68
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 11152 0 0 0 1262 6 0 0 25 0 1 1000000 160528998 46501888 10139 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 11353 10139 90 173 0 11178 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45412

[startup+25.5015 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 22313
/proc/meminfo: memFree=1259056/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=48184 CPUtime=25.48
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 11862 0 0 0 2541 7 0 0 25 0 1 1000000 160528998 49340416 10849 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 12046 10849 90 173 0 11871 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48184

[startup+51.1012 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 22313
/proc/meminfo: memFree=1253360/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=54060 CPUtime=51.06
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 13302 0 0 0 5098 8 0 0 25 0 1 1000000 160528998 55357440 12289 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 13515 12289 90 173 0 13340 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54060

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 22313
/proc/meminfo: memFree=1242672/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=64824 CPUtime=102.25
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 15973 0 0 0 10215 10 0 0 25 0 1 1000000 160528998 66379776 14960 1992294400 134512640 135224549 4294956224 18446744073709551615 134618685 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 16206 14960 90 173 0 16031 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 64824

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 22313
/proc/meminfo: memFree=1234416/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=72880 CPUtime=162.22
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 18024 0 0 0 16210 12 0 0 25 0 1 1000000 160528998 74629120 17011 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 18220 17011 90 173 0 18045 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 72880

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1224880/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=82392 CPUtime=222.21
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 20417 0 0 0 22206 15 0 0 25 0 1 1000000 160528998 84369408 19404 1992294400 134512640 135224549 4294956224 18446744073709551615 134595383 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 20598 19404 90 173 0 20423 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 82392

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1220464/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=87012 CPUtime=282.19
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 21495 0 0 0 28203 16 0 0 25 0 1 1000000 160528998 89100288 20482 1992294400 134512640 135224549 4294956224 18446744073709551615 134595383 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 21753 20482 90 173 0 21578 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 87012

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1212656/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=95064 CPUtime=342.17
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 23497 0 0 0 34199 18 0 0 25 0 1 1000000 160528998 97345536 22484 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 23766 22484 90 173 0 23591 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 95064

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1206896/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=101268 CPUtime=402.15
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 25066 0 0 0 40195 20 0 0 25 0 1 1000000 160528998 103698432 24053 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 25317 24053 90 173 0 25142 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 101268

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1203760/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=103644 CPUtime=462.13
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 25668 0 0 0 46192 21 0 0 25 0 1 1000000 160528998 106131456 24655 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 25911 24655 90 173 0 25736 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 103644

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

[startup+463.903 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1203760/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=103644 CPUtime=463.73
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 25668 0 0 0 46352 21 0 0 25 0 1 1000000 160528998 106131456 24655 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 25911 24655 90 173 0 25736 0
Current children cumulated CPU time (s) 463.73
Current children cumulated vsize (KiB) 103644

[startup+465.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1203760/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=103644 CPUtime=465.33
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 25668 0 0 0 46512 21 0 0 25 0 1 1000000 160528998 106131456 24655 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 25911 24655 90 173 0 25736 0
Current children cumulated CPU time (s) 465.33
Current children cumulated vsize (KiB) 103644

[startup+466.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1203760/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=103644 CPUtime=466.14
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 25668 0 0 0 46593 21 0 0 25 0 1 1000000 160528998 106131456 24655 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 25911 24655 90 173 0 25736 0
Current children cumulated CPU time (s) 466.14
Current children cumulated vsize (KiB) 103644

[startup+466.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1203760/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=103776 CPUtime=466.53
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 25711 0 0 0 46632 21 0 0 25 0 1 1000000 160528998 106266624 24698 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 25944 24698 90 173 0 25769 0
Current children cumulated CPU time (s) 466.53
Current children cumulated vsize (KiB) 103776

[startup+467.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22313
/proc/meminfo: memFree=1203760/2055920 swapFree=4180508/4192956
[pid=22312] ppid=22310 vsize=104040 CPUtime=466.93
/proc/22312/stat : 22312 (CirCUs) R 22310 22312 22275 0 -1 4194304 25768 0 0 0 46672 21 0 0 16 0 1 1000000 160528998 106536960 24754 1992294400 134512640 135224549 4294956224 18446744073709551615 134749310 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22312/statm: 26010 24754 92 173 0 25835 0
Current children cumulated CPU time (s) 466.93
Current children cumulated vsize (KiB) 104040

Child status: 0
Real time (s): 467.187
CPU time (s): 467.025
CPU user time (s): 466.792
CPU system time (s): 0.232964
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 104040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.792
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25769
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= 18
involuntary context switches= 1313

runsolver used 0.332949 second user time and 0.979851 second system time

The end

Launcher Data 

Begin job on node49 at 2009-05-03 06:30:46
IDJOB=1775068
IDBENCH=71081
IDSOLVER=614
FILE ID=node49/1775068-1241325046
PBS_JOBID= 9225376
Free space on /tmp= 66524 MiB

SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_21_SAT.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775068-1241325046/watcher-1775068-1241325046 -o /tmp/evaluation-result-1775068-1241325046/solver-1775068-1241325046 -C 10000 -W 12000 -M 1800  HOME/CirCUs HOME/instance-1775068-1241325046.cnf -t 10000

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

MD5SUM BENCH= 03a36a0e1b9af8e7c30a29a92e02302e
RANDOM SEED=1206964885

node49.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.241
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.241
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1302808 kB
Buffers:         86520 kB
Cached:         567928 kB
SwapCached:       5560 kB
Active:          97592 kB
Inactive:       564928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1302808 kB
SwapTotal:     4192956 kB
SwapFree:      4180508 kB
Dirty:           10332 kB
Writeback:           0 kB
Mapped:          13704 kB
Slab:            76432 kB
Committed_AS:   694952 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66524 MiB
End job on node49 at 2009-05-03 06:38:33