Trace number 1806657

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
SatElite + ReVivAl 0.23 2009-03-18SAT 31.8582 31.8776

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
MD5SUM8074a7bc3c1695dbe8e033b31e3d3feb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.8458
Satisfiable
(Un)Satisfiability was proved
Number of variables2420
Number of clauses51668
Sum of the clauses size133444
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 232492
Number of clauses of size 313968
Number of clauses of size 42628
Number of clauses of size 52460
Number of clauses of size over 5120

Solver Data 

0.00/0.00	c revival is preprocessing the formula...#ITERATIONS 6
2.19/2.30	#LEARNT CLAUSES 8
2.28/2.34	done !
2.28/2.34	c Now, SatElite...
2.28/2.34	c Parsing...
2.33/2.40	c ==============================================================================
2.33/2.40	c |           |     ORIGINAL     |              LEARNT              |          |
2.33/2.40	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
2.33/2.40	c ==============================================================================
2.33/2.40	c |         0 |   50676   131312 |   15202       0        0     nan |  0.000 % |
2.33/2.62	c |         0 |   50668   131336 |      --       0       --      -- |     --   | -8/24
2.33/2.62	c ==============================================================================
2.33/2.62	c Result  :   #vars: 2360   #clauses: 50668   #literals: 131336
2.33/2.62	c CPU time:   0.276957 s
2.33/2.62	c ==============================================================================
2.33/2.70	c SatElite is done !
2.33/2.70	c Calling MINISAT
2.33/2.70	This is MiniSat 2.0 beta
2.33/2.70	WARNING: for repeatability, setting FPU to use double precision
2.33/2.70	============================[ Problem Statistics ]=============================
2.33/2.70	|                                                                             |
2.33/2.70	|  Number of variables:  2360                                                 |
2.33/2.70	|  Number of clauses:    50668                                                |
2.33/2.73	|  Parsing time:         0.02         s                                       |
2.33/2.73	============================[ Search Statistics ]==============================
2.33/2.73	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.33/2.73	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.33/2.73	===============================================================================
2.33/2.73	|         0 |    2360    50668   131336 |    16889        0    nan |  0.000 % |
2.33/2.73	|       100 |    2360    50668   131336 |    18578      100     37 |  0.000 % |
2.33/2.74	|       250 |    2360    50668   131336 |    20436      250     31 |  0.000 % |
2.33/2.76	|       475 |    2360    50668   131336 |    22479      475     29 |  0.000 % |
2.33/2.77	|       812 |    2360    50668   131336 |    24727      812     28 |  0.000 % |
2.33/2.79	|      1318 |    2360    50668   131336 |    27200     1318     25 |  0.000 % |
2.69/2.83	|      2077 |    2360    50668   131336 |    29920     2077     27 |  0.000 % |
2.69/2.88	|      3217 |    2360    50668   131336 |    32912     3217     26 |  0.000 % |
2.69/2.98	|      4925 |    2360    50668   131336 |    36203     4925     27 |  0.000 % |
2.69/3.16	|      7487 |    2360    50668   131336 |    39824     7487     29 |  0.000 % |
3.38/3.48	|     11337 |    2360    50668   131336 |    43806    11337     35 |  0.000 % |
3.97/4.09	|     17104 |    2360    50668   131336 |    48187    17104     39 |  0.000 % |
5.17/5.26	|     25754 |    2360    50668   131336 |    53005    25754     42 |  0.000 % |
8.27/8.37	|     38729 |    2360    50668   131336 |    58306    38729     55 |  0.000 % |
15.07/15.14	|     58191 |    2360    50668   131336 |    64137    58191     72 |  0.000 % |
26.76/26.88	|     87387 |    2360    50668   131336 |    70550    48085    101 |  0.000 % |
31.76/31.86	===============================================================================
31.76/31.86	restarts              : 16
31.76/31.86	conflicts             : 98198          (3376 /sec)
31.76/31.86	decisions             : 493207         (1.36 % random) (16957 /sec)
31.76/31.86	propagations          : 8809357        (302877 /sec)
31.76/31.86	conflict literals     : 9624188        (14.49 % deleted)
31.76/31.86	Memory used           : 32.27 MB
31.76/31.86	CPU time              : 29.0856 s
31.76/31.86	
31.76/31.86	SATISFIABLE
31.76/31.87	c SatElite Model extension...
31.76/31.87	s SATISFIABLE
31.76/31.87	v -1 2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 416 -417 418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 697 -698 -699 -700 -701 -702 -703 -704 -705 -706 707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 882 -883 -884 -885 -886 -887 -888 -889 -890 891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 1885 -1886 -1887 -1888 -1889 -1890 1891 -1892 -1893 -1894 1895 -1896 -1897 1898 -1899 -1900 1901 -1902 -1903 -1904 -1905 -1906 1907 -1908 -1909 -1910 1911 -1912 1913 -1914 -1915 -1916 1917 -1918 -1919 -1920 -1921 -1922 -1923 1924 -1925 1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 1934 -1935 -1936 -1937 1938 -1939 -1940 -1941 -1942 -1943 1944 -1945 -1946 -1947 1948 -1949 -1950 1951 -1952 -1953 -1954 -1955 1956 -1957 -1958 -1959 1960 -1961 -1962 -1963 -1964 1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 1974 1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 1984 -1985 -1986 1987 -1988 -1989 -1990 1991 -1992 -1993 -1994 -1995 1996 -1997 -1998 -1999 -2000 -2001 -2002 2003 -2004 2005 -2006 -2007 -2008 2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 2018 -2019 -2020 -2021 -2022 2023 -2024 -2025 2026 -2027 -2028 2029 -2030 -2031 -2032 -2033 -2034 2035 -2036 -2037 -2038 2039 -2040 -2041 -2042 2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 2051 -2052 -2053 -2054 -2055 2056 -2057 -2058 -2059 2060 -2061 -2062 2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 2071 -2072 2073 -2074 -2075 -2076 -2077 -2078 -2079 2080 -2081 -2082 -2083 -2084 -2085 2086 -2087 -2088 -2089 -2090 2091 -2092 -2093 -2094 2095 -2096 -2097 -2098 2099 -2100 2101 -2102 -2103 -2104 -2105 2106 -2107 -2108 -2109 -2110 2111 -2112 -2113 -2114 -2115 2116 -2117 -2118 -2119 -2120 -2121 -2122 2123 -2124 -2125 -2126 2127 -2128 -2129 -2130 -2131 -2132 -2133 2134 -2135 -2136 -2137 -2138 2139 2140 -2141 -2142 -2143 -2144 2145 -2146 -2147 -2148 -2149 -2150 2151 -2152 -2153 -2154 2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 2164 -2165 -2166 2167 -2168 -2169 2170 -2171 -2172 -2173 -2174 2175 -2176 -2177 -2178 -2179 -2180 -2181 2182 -2183 2184 -2185 -2186 -2187 -2188 -2189 2190 -2191 -2192 -2193 -2194 -2195 2196 -2197 -2198 -2199 2200 -2201 -2202 -2203 2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 2212 -2213 2214 -2215 -2216 -2217 -2218 2219 -2220 -2221 -2222 2223 -2224 -2225 -2226 -2227 -2228 -2229 2230 -2231 -2232 2233 -2234 -2235 -2236 -2237 2238 -2239 -2240 -2241 -2242 -2243 2244 -2245 -2246 -2247 -2248 2249 -2250 -2251 -2252 2253 -2254 -2255 -2256 -2257 2258 -2259 -2260 -2261 2262 -2263 -2264 -2265 -2266 -2267 -2268 2269 -2270 -2271 -2272 2273 -2274 -2275 -2276 2277 -2278 -2279 -2280 -2281 -2282 -2283 2284 -2285 2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 2295 -2296 -2297 2298 -2299 -2300 -2301 -2302 2303 -2304 -2305 -2306 -2307 -2308 2309 -2310 -2311 -2312 -2313 -2314 2315 -2316 -2317 2318 -2319 -2320 -2321 -2322 -2323 2324 -2325 -2326 -2327 2328 -2329 -2330 -2331 -2332 -2333 2334 -2335 -2336 -2337 -2338 2339 -2340 -2341 -2342 -2343 2344 2345 -2346 -2347 -2348 -2349 2350 -2351 -2352 -2353 -2354 -2355 -2356 2357 -2358 2359 -2360 -2361 -2362 -2363 2364 -2365 -2366 -2367 -2368 -2369 2370 -2371 -2372 -2373 -2374 -2375 2376 -2377 -2378 2379 -2380 -2381 -2382 -2383 2384 -2385 -2386 -2387 -2388 -2389 -2390 2391 -2392 -2393 -2394 2395 -2396 -2397 2398 -2399 -2400 -2401 -2402 2403 -2404 2405 -2406 -2407 -2408 -2409 -2410 -2411 2412 -2413 -2414 2415 -2416 -2417 2418 -2419 -2420 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-1806657-1242151523/watcher-1806657-1242151523 -o /tmp/evaluation-result-1806657-1242151523/solver-1806657-1242151523 -C 1200 -W 1800 -M 1800 HOME/run.sh HOME/instance-1806657-1242151523.cnf HOME 

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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21599
/proc/meminfo: memFree=1333760/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=0
/proc/21599/stat : 21599 (run.sh) R 21597 21599 21272 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 243180763 5488640 236 1992294400 4194304 4889804 548682068784 18446744073709551615 272836913823 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/21599/statm: 1340 236 195 169 0 51 0
[pid=21600] ppid=21599 vsize=2124 CPUtime=0
/proc/21600/stat : 21600 (revival) R 21599 21599 21272 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 243180763 2174976 252 1992294400 134512640 134537284 4294956368 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21600/statm: 531 259 81 6 0 169 0

[startup+0.0234749 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21599
/proc/meminfo: memFree=1333760/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=0
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 243180763 5488640 237 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 237 196 169 0 51 0
[pid=21600] ppid=21599 vsize=3764 CPUtime=0.01
/proc/21600/stat : 21600 (revival) R 21599 21599 21272 0 -1 4194304 853 0 0 0 1 0 0 0 19 0 1 50000 243180763 3854336 618 1992294400 134512640 134537284 4294956368 18446744073709551615 134523601 0 0 4096 8192 0 0 0 17 0 0 0
/proc/21600/statm: 941 618 85 6 0 579 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9124

[startup+0.101447 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21599
/proc/meminfo: memFree=1333760/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=0
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 243180763 5488640 237 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 237 196 169 0 51 0
[pid=21600] ppid=21599 vsize=3896 CPUtime=0.09
/proc/21600/stat : 21600 (revival) R 21599 21599 21272 0 -1 4194304 877 0 0 0 9 0 0 0 19 0 1 50000 243180763 3989504 642 1992294400 134512640 134537284 4294956368 18446744073709551615 134524049 0 0 4096 8192 0 0 0 17 0 0 0
/proc/21600/statm: 974 642 85 6 0 612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9256

[startup+0.301476 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21599
/proc/meminfo: memFree=1333760/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=0
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 243180763 5488640 237 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 237 196 169 0 51 0
[pid=21600] ppid=21599 vsize=4028 CPUtime=0.29
/proc/21600/stat : 21600 (revival) R 21599 21599 21272 0 -1 4194304 908 0 0 0 29 0 0 0 21 0 1 50000 243180763 4124672 673 1992294400 134512640 134537284 4294956368 18446744073709551615 134524284 0 0 4096 8192 0 0 0 17 0 0 0
/proc/21600/statm: 1007 673 85 6 0 645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9388

[startup+0.701533 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21599
/proc/meminfo: memFree=1333760/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=0
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 243180763 5488640 237 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 237 196 169 0 51 0
[pid=21600] ppid=21599 vsize=4292 CPUtime=0.69
/proc/21600/stat : 21600 (revival) R 21599 21599 21272 0 -1 4194304 974 0 0 0 69 0 0 0 25 0 1 50000 243180763 4395008 739 1992294400 134512640 134537284 4294956368 18446744073709551615 12654203 0 0 4096 8192 0 0 0 17 0 0 0
/proc/21600/statm: 1073 739 85 6 0 711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9652

[startup+1.50265 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21601
/proc/meminfo: memFree=1330672/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=0
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 243180763 5488640 237 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 237 196 169 0 51 0
[pid=21600] ppid=21599 vsize=4820 CPUtime=1.49
/proc/21600/stat : 21600 (revival) R 21599 21599 21272 0 -1 4194304 1102 0 0 0 149 0 0 0 25 0 1 50000 243180763 4935680 867 1992294400 134512640 134537284 4294956368 18446744073709551615 134523580 0 0 4096 8192 0 0 0 17 0 0 0
/proc/21600/statm: 1205 867 85 6 0 843 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10180

[startup+3.10189 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21601
/proc/meminfo: memFree=1329840/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 5360

[startup+6.30236 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1322480/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=11456 CPUtime=3.59
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 2689 0 0 0 358 1 0 0 25 0 1 0 243181034 11730944 2673 1992294400 134512640 135212939 4294956240 18446744073709551615 134526736 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 2864 2673 77 170 0 2692 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16816

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1312432/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=20908 CPUtime=9.98
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 5047 0 0 0 996 2 0 0 25 0 1 0 243181034 21409792 5031 1992294400 134512640 135212939 4294956240 18446744073709551615 134527011 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 5227 5031 77 170 0 5055 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 26268

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1306032/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=26704 CPUtime=22.77
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 6473 0 0 0 2273 4 0 0 25 0 1 0 243181034 27344896 6457 1992294400 134512640 135212939 4294956240 18446744073709551615 134536433 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 6676 6457 77 170 0 6504 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 32064

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

[startup+28.7016 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1303472/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=29608 CPUtime=25.97
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 7214 0 0 0 2592 5 0 0 25 0 1 0 243181034 30318592 7198 1992294400 134512640 135212939 4294956240 18446744073709551615 134526723 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 7402 7198 77 170 0 7230 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 34968

[startup+30.3019 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1302192/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=31460 CPUtime=27.57
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 7657 0 0 0 2752 5 0 0 25 0 1 0 243181034 32215040 7641 1992294400 134512640 135212939 4294956240 18446744073709551615 134529389 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 7865 7641 77 170 0 7693 0
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (KiB) 36820

[startup+31.102 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1300848/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=32384 CPUtime=28.37
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 7903 0 0 0 2832 5 0 0 25 0 1 0 243181034 33161216 7887 1992294400 134512640 135212939 4294956240 18446744073709551615 134526848 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 8096 7887 77 170 0 7924 0
Current children cumulated CPU time (s) 31.06
Current children cumulated vsize (KiB) 37744

[startup+31.5011 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1300848/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=32780 CPUtime=28.77
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 8013 0 0 0 2872 5 0 0 25 0 1 0 243181034 33566720 7997 1992294400 134512640 135212939 4294956240 18446744073709551615 134526848 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 8195 7997 77 170 0 8023 0
Current children cumulated CPU time (s) 31.46
Current children cumulated vsize (KiB) 38140

[startup+31.7021 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1300848/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=32912 CPUtime=28.97
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 8042 0 0 0 2892 5 0 0 25 0 1 0 243181034 33701888 8026 1992294400 134512640 135212939 4294956240 18446744073709551615 134526848 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 8228 8026 77 170 0 8056 0
Current children cumulated CPU time (s) 31.66
Current children cumulated vsize (KiB) 38272

[startup+31.8021 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21603
/proc/meminfo: memFree=1299760/2055920 swapFree=4145924/4192956
[pid=21599] ppid=21597 vsize=5360 CPUtime=2.69
/proc/21599/stat : 21599 (run.sh) S 21597 21599 21272 0 -1 4194304 341 2200 0 0 0 0 267 2 16 0 1 0 243180763 5488640 241 1992294400 4194304 4889804 548682068784 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21599/statm: 1340 241 197 169 0 51 0
[pid=21603] ppid=21599 vsize=33044 CPUtime=29.07
/proc/21603/stat : 21603 (minisat) R 21599 21599 21272 0 -1 4194304 8060 0 0 0 2902 5 0 0 25 0 1 0 243181034 33837056 8044 1992294400 134512640 135212939 4294956240 18446744073709551615 134526848 0 0 4096 3 0 0 0 17 0 0 0
/proc/21603/statm: 8261 8044 77 170 0 8089 0
Current children cumulated CPU time (s) 31.76
Current children cumulated vsize (KiB) 38404

Child status: 10
Real time (s): 31.8776
CPU time (s): 31.8582
CPU user time (s): 31.7702
CPU system time (s): 0.087986
CPU usage (%): 99.9391
Max. virtual memory (cumulated for all children) (KiB): 38404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.7702
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10861
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= 13
involuntary context switches= 100

runsolver used 0.035994 second user time and 0.092985 second system time

The end

Launcher Data 

Begin job on node39 at 2009-05-12 20:05:23
IDJOB=1806657
IDBENCH=70920
IDSOLVER=647
FILE ID=node39/1806657-1242151523
PBS_JOBID= 9289682
Free space on /tmp= 66332 MiB

SOLVER NAME= SatElite + ReVivAl 0.23 2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/explicit/em_8_4_5_exp.cnf
COMMAND LINE= HOME/run.sh BENCHNAME TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1806657-1242151523/watcher-1806657-1242151523 -o /tmp/evaluation-result-1806657-1242151523/solver-1806657-1242151523 -C 1200 -W 1800 -M 1800  HOME/run.sh HOME/instance-1806657-1242151523.cnf HOME

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

MD5SUM BENCH= 8074a7bc3c1695dbe8e033b31e3d3feb
RANDOM SEED=528381279

node39.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.281
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.281
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:       1334312 kB
Buffers:         81912 kB
Cached:         521700 kB
SwapCached:      41096 kB
Active:         219240 kB
Inactive:       427804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1334312 kB
SwapTotal:     4192956 kB
SwapFree:      4145924 kB
Dirty:            2208 kB
Writeback:           0 kB
Mapped:          14532 kB
Slab:            60716 kB
Committed_AS:   953724 kB
PageTables:       1384 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= 66328 MiB
End job on node39 at 2009-05-12 20:05:55