Trace number 1722481

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 321.212 321.302

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
MD5SUM8aa38136187abb1238dedfc85e88a72c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.64075
Satisfiable
(Un)Satisfiability was proved
Number of variables4242
Number of clauses503783
Sum of the clauses size1505427
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26480
Number of clauses of size 3497272
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data

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

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


[startup+0 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 14397
/proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=5648 CPUtime=0
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 238 0 0 0 0 0 0 0 18 0 1 120000 95627037 5783552 223 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 1412 224 70 173 0 1237 0

[startup+0.03721 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 14397
/proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=7408 CPUtime=0.03
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 716 0 0 0 3 0 0 0 18 0 1 120000 95627037 7585792 701 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 1852 701 70 173 0 1677 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7408

[startup+0.101215 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 14397
/proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=10960 CPUtime=0.1
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 1704 0 0 0 9 1 0 0 18 0 1 120000 95627037 11223040 1591 1992294400 134512640 135224549 4294956224 18446744073709551615 134749214 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 2740 1591 70 173 0 2565 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10960

[startup+0.301229 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 14397
/proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=23168 CPUtime=0.29
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 4663 0 0 0 27 2 0 0 19 0 1 120000 95627037 23724032 4421 1992294400 134512640 135224549 4294956224 18446744073709551615 134632646 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 5792 4427 70 173 0 5617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23168

[startup+0.701257 s]
/proc/loadavg: 0.95 0.98 0.99 3/64 14397
/proc/meminfo: memFree=1770928/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=36584 CPUtime=0.69
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 8920 0 0 0 65 4 0 0 22 0 1 120000 95627037 37462016 8420 1992294400 134512640 135224549 4294956224 18446744073709551615 134570723 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 9146 8420 74 173 0 8971 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36584

[startup+1.50132 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1737512/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=36584 CPUtime=1.49
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 8920 0 0 0 145 4 0 0 25 0 1 120000 95627037 37462016 8420 1992294400 134512640 135224549 4294956224 18446744073709551615 134570670 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 9146 8420 74 173 0 8971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36584

[startup+3.10243 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1737320/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=36584 CPUtime=3.09
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 8920 0 0 0 305 4 0 0 25 0 1 120000 95627037 37462016 8420 1992294400 134512640 135224549 4294956224 18446744073709551615 134570469 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 9146 8420 74 173 0 8971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36584

[startup+6.30167 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1737192/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=36584 CPUtime=6.29
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 8920 0 0 0 625 4 0 0 25 0 1 120000 95627037 37462016 8420 1992294400 134512640 135224549 4294956224 18446744073709551615 134570492 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 9146 8420 74 173 0 8971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36584

[startup+12.7011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1732904/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=41492 CPUtime=12.69
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 10170 0 0 0 1264 5 0 0 25 0 1 120000 95627037 42487808 9670 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 10373 9670 89 173 0 10198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41492

[startup+25.5011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1728296/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=45488 CPUtime=25.49
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 11162 0 0 0 2543 6 0 0 25 0 1 120000 95627037 46579712 10662 1992294400 134512640 135224549 4294956224 18446744073709551615 134595683 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 11372 10662 89 173 0 11197 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45488

[startup+51.1019 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1722792/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=52108 CPUtime=51.07
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 12810 0 0 0 5100 7 0 0 25 0 1 120000 95627037 53358592 12310 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 13027 12310 89 173 0 12852 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52108

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1713384/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=60564 CPUtime=102.26
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 14912 0 0 0 10217 9 0 0 25 0 1 120000 95627037 62017536 14412 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 15141 14412 89 173 0 14966 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 60564

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1702184/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=72060 CPUtime=162.24
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 17800 0 0 0 16211 13 0 0 25 0 1 120000 95627037 73789440 17300 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 18015 17300 89 173 0 17840 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72060

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1694760/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=79176 CPUtime=222.23
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 19541 0 0 0 22208 15 0 0 25 0 1 120000 95627037 81076224 19041 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 19794 19041 89 173 0 19619 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 79176

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14398
/proc/meminfo: memFree=1689192/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=84628 CPUtime=282.21
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 20905 0 0 0 28205 16 0 0 25 0 1 120000 95627037 86659072 20405 1992294400 134512640 135224549 4294956224 18446744073709551615 134595706 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21157 20405 89 173 0 20982 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 84628

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

[startup+307.102 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=307
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 30683 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 307
Current children cumulated vsize (KiB) 87272

[startup+313.505 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=313.41
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 31324 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 313.41
Current children cumulated vsize (KiB) 87272

[startup+316.701 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=316.61
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 31644 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 316.61
Current children cumulated vsize (KiB) 87272

[startup+318.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=318.2
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 31803 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595295 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 318.2
Current children cumulated vsize (KiB) 87272

[startup+319.902 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=319.8
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 31963 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 319.8
Current children cumulated vsize (KiB) 87272

[startup+320.702 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=320.6
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 32043 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595315 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 320.6
Current children cumulated vsize (KiB) 87272

[startup+321.102 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=321.01
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 32084 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595588 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 321.01
Current children cumulated vsize (KiB) 87272

[startup+321.206 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 14398
/proc/meminfo: memFree=1686632/2055920 swapFree=4191900/4192956
[pid=14397] ppid=14395 vsize=87272 CPUtime=321.11
/proc/14397/stat : 14397 (CirCUs) R 14395 14397 14333 0 -1 4194304 21544 0 0 0 32094 17 0 0 25 0 1 120000 95627037 89366528 21044 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/14397/statm: 21818 21044 89 173 0 21643 0
Current children cumulated CPU time (s) 321.11
Current children cumulated vsize (KiB) 87272

Child status: 0
Real time (s): 321.302
CPU time (s): 321.212
CPU user time (s): 321.02
CPU system time (s): 0.19197
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 87272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.02
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21549
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= 17
involuntary context switches= 715

runsolver used 0.237963 second user time and 0.691894 second system time

The end

Launcher Data

Begin job on node34 at 2009-04-25 18:12:24
IDJOB=1722481
IDBENCH=71090
IDSOLVER=544
FILE ID=node34/1722481-1240675943
PBS_JOBID= 9186641
Free space on /tmp= 66360 MiB

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

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

MD5SUM BENCH= 8aa38136187abb1238dedfc85e88a72c
RANDOM SEED=1698575886

node34.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.214
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.214
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:       1771408 kB
Buffers:         22568 kB
Cached:         194784 kB
SwapCached:        384 kB
Active:          74536 kB
Inactive:       156172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771408 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            9816 kB
Writeback:           0 kB
Mapped:          21768 kB
Slab:            39868 kB
Committed_AS:   344112 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node34 at 2009-04-25 18:17:45