Trace number 1736531

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CircUs 2009-03-23SAT 0.084986 0.085708

General information on the benchmark

NameCRAFTED/parity-games/
instance_n4_i4_pp.cnf
MD5SUMd35b54498d8d9672e60bf7e3ce33352b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.022995
Satisfiable
(Un)Satisfiability was proved
Number of variables1572
Number of clauses9007
Sum of the clauses size28496
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22356
Number of clauses of size 33596
Number of clauses of size 42300
Number of clauses of size 5752
Number of clauses of size over 53

Solver Data 

0.00/0.05	c CirCUs release 2.0 (compiled 25-Mar-09 at 4:46 PM)
0.00/0.05	c Eliminate time :       0.04 
0.05/0.08	c CNF read time  :       0.01 
0.05/0.08	c CNF solve time :       0.08 
0.05/0.08	c Memory usage :    2.35156 MB
0.05/0.08	c Restart : 2
0.05/0.08	c Decisions : random(12), heuristic(964), history(0/0)
0.05/0.08	c Implications : 60363
0.05/0.08	c Forced Restart : 0
0.05/0.08	c Polarity Change : 2
0.05/0.08	c Learned clasues  : 457 out of 457
0.05/0.08	c Learned literals : 7066 out of 7066
0.05/0.08	c Number of first UIP : 184 out of 457
0.05/0.08	c Number of simplify : 1
0.05/0.08	c Number of continuous distill : 1
0.05/0.08	c Average depth of OTS : 7
0.05/0.08	c Average depth of additional conflict : 36
0.05/0.08	c Saved conflict clasues : 0
0.05/0.08	c Saved conflict literals : 0
0.05/0.08	c Additional conflict clauses : 14
0.05/0.08	c Additional conflict literals : 224
0.05/0.08	c Additional conflict analysis : 42
0.05/0.08	s SATISFIABLE
0.05/0.08	v -1  2 -3 -4 -5  6 -7  8  9  10 
0.05/0.08	v -11  12 -13  14  15 -16  17 -18  19  20 
0.05/0.08	v -21  22 -23 -24  25 -26  27  28  29 -30 
0.05/0.08	v -31 -32  33  34 -35 -36 -37 -38 -39  40 
0.05/0.08	v  41 -42  43 -44 -45 -46 -47  48 -49 -50 
0.05/0.08	v  51  52  53 -54 -55 -56 -57 -58  59  60 
0.05/0.08	v -61 -62 -63  64 -65 -66 -67  68 -69 -70 
0.05/0.08	v -71 -72 -73  74 -75 -76 -77 -78  79  80 
0.05/0.08	v -81 -82 -83  84 -85 -86 -87 -88  89  90 
0.05/0.08	v -91 -92  93 -94 -95 -96  97 -98 -99 -100 
0.05/0.08	v -101 -102  103 -104 -105 -106 -107 -108  109 -110 
0.05/0.08	v  111  112  113 -114 -115 -116 -117  118  119  120 
0.05/0.08	v -121  122  123 -124 -125 -126  127 -128 -129 -130 
0.05/0.08	v  131  132  133 -134  135  136 -137 -138 -139 -140 
0.05/0.08	v -141 -142  143  144  145 -146  147  148 -149 -150 
0.05/0.08	v  151 -152 -153  154 -155 -156  157  158  159  160 
0.05/0.08	v -161 -162  163 -164 -165 -166 -167 -168  169  170 
0.05/0.08	v  171 -172 -173 -174 -175 -176 -177 -178 -179 -180 
0.05/0.08	v  181 -182 -183  184  185 -186  187 -188  189 -190 
0.05/0.08	v -191 -192 -193  194 -195 -196  197  198  199 -200 
0.05/0.08	v -201 -202 -203  204  205  206 -207 -208 -209 -210 
0.05/0.08	v -211  212  213 -214  215 -216 -217 -218 -219 -220 
0.05/0.08	v -221 -222 -223 -224 -225  226  227 -228 -229  230 
0.05/0.08	v  231 -232  233 -234 -235 -236  237 -238 -239 -240 
0.05/0.08	v -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 
0.05/0.08	v  251 -252 -253 -254  255 -256  257  258 -259 -260 
0.05/0.08	v  261 -262 -263  264 -265 -266 -267  268 -269 -270 
0.05/0.08	v -271 -272 -273 -274  275 -276 -277 -278  279 -280 
0.05/0.08	v  281 -282  283  284 -285 -286  287 -288 -289 -290 
0.05/0.08	v -291  292  293 -294  295 -296 -297  298  299 -300 
0.05/0.08	v -301 -302 -303 -304  305 -306 -307 -308 -309 -310 
0.05/0.08	v  311 -312  313 -314 -315  316  317 -318 -319 -320 
0.05/0.08	v -321 -322 -323  324 -325 -326  327  328 -329  330 
0.05/0.08	v -331  332  333  334  335 -336  337  338 -339  340 
0.05/0.08	v  341  342  343  344  345  346  347  348  349  350 
0.05/0.08	v -351 -352  353 -354 -355 -356 -357  358 -359 -360 
0.05/0.08	v -361 -362 -363 -364 -365 -366 -367 -368  369  370 
0.05/0.08	v -371  372 -373  374 -375  376 -377  378  379 -380 
0.05/0.08	v  381 -382 -383 -384 -385 -386 -387 -388 -389 -390 
0.05/0.08	v -391 -392 -393 -394 -395  396  397  398  399 -400 
0.05/0.08	v  401 -402  403  404 -405 -406 -407 -408  409 -410 
0.05/0.08	v -411  412 -413 -414 -415 -416  417  418 -419  420 
0.05/0.08	v  421  422  423  424  425  426  427  428 -429 -430 
0.05/0.08	v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 
0.05/0.08	v -441 -442 -443 -444 -445 -446  447 -448  449 -450 
0.05/0.08	v -451 -452 -453 -454  455  456  457 -458 -459  460 
0.05/0.08	v -461 -462 -463  464 -465  466  467 -468  469  470 
0.05/0.08	v  471 -472 -473 -474 -475  476 -477 -478 -479 -480 
0.05/0.08	v  481  482 -483 -484 -485 -486  487  488  489 -490 
0.05/0.08	v  491  492  493 -494  495 -496 -497 -498 -499 -500 
0.05/0.08	v -501 -502 -503  504 -505 -506 -507 -508 -509  510 
0.05/0.08	v -511  512  513 -514 -515  516  517  518 -519 -520 
0.05/0.08	v -521 -522 -523 -524  525 -526 -527 -528 -529 -530 
0.05/0.08	v -531 -532  533 -534 -535 -536  537 -538 -539  540 
0.05/0.08	v -541 -542 -543  544 -545 -546  547  548  549  550 
0.05/0.08	v  551  552 -553 -554  555 -556 -557  558  559 -560 
0.05/0.08	v -561 -562 -563 -564 -565  566 -567 -568 -569 -570 
0.05/0.08	v  571 -572 -573  574  575  576  577 -578  579  580 
0.05/0.08	v -581 -582  583 -584 -585 -586 -587 -588 -589 -590 
0.05/0.08	v  591  592  593 -594 -595 -596 -597 -598 -599 -600 
0.05/0.08	v  601  602 -603  604 -605  606  607  608  609  610 
0.05/0.08	v  611  612  613  614  615  616 -617  618  619 -620 
0.05/0.08	v  621 -622  623  624  625 -626 -627 -628  629 -630 
0.05/0.08	v -631  632 -633 -634  635 -636  637  638  639 -640 
0.05/0.08	v -641  642 -643  644 -645 -646 -647  648 -649 -650 
0.05/0.08	v  651  652  653  654  655  656  657  658  659 -660 
0.05/0.08	v  661  662 -663 -664  665 -666 -667 -668  669  670 
0.05/0.08	v -671 -672 -673  674 -675 -676 -677 -678 -679 -680 
0.05/0.08	v -681 -682  683  684  685 -686  687 -688  689 -690 
0.05/0.08	v  691  692  693  694  695  696 -697  698 -699  700 
0.05/0.08	v  701 -702 -703  704  705 -706 -707 -708  709  710 
0.05/0.08	v  711  712 -713 -714 -715 -716 -717  718  719  720 
0.05/0.08	v -721 -722 -723  724 -725 -726 -727 -728 -729  730 
0.05/0.08	v  731  732  733  734  735 -736  737  738  739  740 
0.05/0.08	v  741  742 -743  744  745  746  747  748 -749  750 
0.05/0.08	v -751  752  753 -754 -755 -756 -757 -758 -759  760 
0.05/0.08	v -761  762 -763 -764  765 -766  767 -768  769  770 
0.05/0.08	v  771 -772  773  774  775 -776  777  778 -779  780 
0.05/0.08	v -781  782 -783 -784  785 -786  787 -788 -789  790 
0.05/0.08	v  791 -792 -793  794  795  796  797  798  799 -800 
0.05/0.08	v -801  802 -803 -804 -805  806  807  808  809  810 
0.05/0.08	v -811 -812  813 -814 -815  816  817 -818 -819  820 
0.05/0.08	v -821 -822  823  824 -825 -826 -827  828  829  830 
0.05/0.08	v -831  832  833  834  835  836 -837 -838  839  840 
0.05/0.08	v -841  842 -843  844  845  846  847  848 -849  850 
0.05/0.08	v -851 -852  853 -854 -855  856 -857 -858  859 -860 
0.05/0.08	v -861 -862  863  864  865 -866  867  868  869  870 
0.05/0.08	v  871  872  873  874  875 -876 -877 -878 -879 -880 
0.05/0.08	v  881 -882 -883 -884 -885 -886  887  888  889  890 
0.05/0.08	v  891  892  893 -894  895 -896  897 -898 -899 -900 
0.05/0.08	v -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 
0.05/0.08	v -911 -912 -913  914  915 -916  917  918  919  920 
0.05/0.08	v -921 -922  923 -924 -925 -926 -927 -928 -929 -930 
0.05/0.08	v -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 
0.05/0.08	v -941 -942 -943 -944 -945 -946  947 -948 -949 -950 
0.05/0.08	v  951 -952 -953 -954 -955  956 -957  958  959 -960 
0.05/0.08	v -961  962 -963 -964 -965 -966 -967  968 -969 -970 
0.05/0.08	v -971 -972 -973 -974  975  976  977  978 -979  980 
0.05/0.08	v -981 -982 -983 -984 -985 -986 -987 -988 -989  990 
0.05/0.08	v  991 -992  993 -994 -995 -996 -997 -998 -999 -1000 
0.05/0.08	v -1001 -1002 -1003 -1004  1005 -1006  1007  1008 -1009  1010 
0.05/0.08	v -1011  1012 -1013 -1014  1015 -1016 -1017  1018 -1019 -1020 
0.05/0.08	v  1021 -1022 -1023  1024 -1025 -1026 -1027 -1028  1029  1030 
0.05/0.08	v  1031 -1032  1033 -1034 -1035 -1036 -1037 -1038  1039 -1040 
0.05/0.08	v -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 
0.05/0.08	v  1051  1052 -1053  1054 -1055  1056 -1057 -1058  1059 -1060 
0.05/0.08	v -1061 -1062 -1063 -1064  1065  1066  1067 -1068  1069  1070 
0.05/0.08	v -1071  1072 -1073  1074  1075 -1076 -1077  1078  1079  1080 
0.05/0.08	v -1081  1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 
0.05/0.08	v  1091  1092  1093 -1094  1095  1096  1097  1098 -1099 -1100 
0.05/0.08	v  1101  1102 -1103  1104 -1105 -1106 -1107 -1108 -1109 -1110 
0.05/0.08	v -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 
0.05/0.08	v -1121 -1122  1123 -1124  1125  1126  1127  1128 -1129 -1130 
0.05/0.08	v  1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 
0.05/0.08	v -1141 -1142 -1143  1144 -1145 -1146 -1147 -1148 -1149 -1150 
0.05/0.08	v -1151  1152 -1153 -1154  1155 -1156  1157  1158  1159  1160 
0.05/0.08	v  1161 -1162 -1163  1164 -1165 -1166 -1167 -1168 -1169  1170 
0.05/0.08	v -1171 -1172  1173  1174 -1175  1176 -1177 -1178 -1179 -1180 
0.05/0.08	v -1181 -1182 -1183 -1184 -1185  1186  1187 -1188 -1189 -1190 
0.05/0.08	v -1191  1192 -1193  1194  1195 -1196 -1197  1198  1199 -1200 
0.05/0.08	v  1201 -1202  1203  1204  1205  1206 -1207 -1208  1209 -1210 
0.05/0.08	v  1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 
0.05/0.08	v -1221 -1222  1223 -1224 -1225  1226  1227 -1228  1229  1230 
0.05/0.08	v  1231  1232  1233 -1234  1235  1236  1237  1238 -1239 -1240 
0.05/0.08	v -1241 -1242 -1243 -1244  1245  1246 -1247 -1248 -1249 -1250 
0.05/0.08	v -1251 -1252 -1253 -1254 -1255  1256 -1257  1258  1259  1260 
0.05/0.08	v  1261  1262 -1263 -1264 -1265 -1266 -1267 -1268  1269  1270 
0.05/0.08	v  1271 -1272  1273  1274  1275 -1276  1277 -1278  1279 -1280 
0.05/0.08	v -1281 -1282 -1283 -1284  1285  1286 -1287 -1288  1289  1290 
0.05/0.08	v  1291  1292  1293  1294  1295 -1296 -1297 -1298 -1299 -1300 
0.05/0.08	v -1301 -1302 -1303  1304 -1305 -1306 -1307 -1308 -1309 -1310 
0.05/0.08	v  1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 
0.05/0.08	v -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 
0.05/0.08	v -1331 -1332 -1333  1334 -1335 -1336 -1337 -1338 -1339 -1340 
0.05/0.08	v -1341 -1342 -1343 -1344 -1345 -1346 -1347  1348 -1349  1350 
0.05/0.08	v  1351 -1352 -1353  1354 -1355 -1356  1357 -1358 -1359 -1360 
0.05/0.08	v -1361 -1362  1363 -1364 -1365  1366 -1367 -1368 -1369 -1370 
0.05/0.08	v  1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378  1379 -1380 
0.05/0.08	v  1381  1382 -1383 -1384  1385  1386  1387 -1388 -1389 -1390 
0.05/0.08	v -1391 -1392  1393  1394  1395  1396  1397  1398  1399 -1400 
0.05/0.08	v -1401 -1402  1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 
0.05/0.08	v -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 
0.05/0.08	v -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 
0.05/0.08	v  1431 -1432 -1433 -1434 -1435  1436  1437 -1438 -1439 -1440 
0.05/0.08	v -1441 -1442  1443 -1444 -1445  1446 -1447 -1448  1449 -1450 
0.05/0.08	v  1451  1452  1453  1454  1455 -1456 -1457 -1458  1459 -1460 
0.05/0.08	v -1461 -1462 -1463  1464 -1465  1466  1467 -1468  1469 -1470 
0.05/0.08	v -1471 -1472 -1473 -1474 -1475  1476  1477 -1478  1479 -1480 
0.05/0.08	v  1481  1482  1483  1484  1485 -1486 -1487  1488  1489 -1490 
0.05/0.08	v -1491 -1492 -1493  1494 -1495  1496 -1497  1498  1499 -1500 
0.05/0.08	v -1501 -1502 -1503 -1504 -1505  1506 -1507  1508  1509 -1510 
0.05/0.08	v -1511 -1512 -1513  1514 -1515 -1516  1517 -1518  1519 -1520 
0.05/0.08	v -1521 -1522 -1523  1524 -1525 -1526 -1527 -1528  1529 -1530 
0.05/0.08	v -1531 -1532 -1533 -1534 -1535  1536  1537 -1538  1539 -1540 
0.05/0.08	v -1541 -1542 -1543 -1544 -1545 -1546  1547 -1548  1549 -1550 
0.05/0.08	v -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558  1559 -1560 
0.05/0.08	v -1561 -1562 -1563 -1564 -1565 -1566  1567 -1568 -1569 -1570 
0.05/0.08	v -1571 -1572 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-1736531-1240811952/watcher-1736531-1240811952 -o /tmp/evaluation-result-1736531-1240811952/solver-1736531-1240811952 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1736531-1240811952.cnf -t 1200 

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


[startup+0 s]
/proc/loadavg: 1.99 1.85 1.45 3/64 32624
/proc/meminfo: memFree=1599936/2055920 swapFree=4179608/4192956
[pid=32624] ppid=32622 vsize=1484 CPUtime=0
/proc/32624/stat : 32624 (CirCUs) R 32622 32624 32433 0 -1 4194304 186 0 0 0 0 0 0 0 20 0 1 120000 109221372 1519616 171 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32624/statm: 371 172 70 173 0 196 0

[startup+0.06079 s]
/proc/loadavg: 1.99 1.85 1.45 3/64 32624
/proc/meminfo: memFree=1599936/2055920 swapFree=4179608/4192956
[pid=32624] ppid=32622 vsize=2404 CPUtime=0.05
/proc/32624/stat : 32624 (CirCUs) R 32622 32624 32433 0 -1 4194304 448 0 0 0 5 0 0 0 20 0 1 120000 109221372 2461696 432 1992294400 134512640 135224549 4294956208 18446744073709551615 134595437 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32624/statm: 601 432 93 173 0 426 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2404

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

[startup+0.06079 s]
/proc/loadavg: 1.99 1.85 1.45 3/64 32624
/proc/meminfo: memFree=1599936/2055920 swapFree=4179608/4192956
[pid=32624] ppid=32622 vsize=2404 CPUtime=0.05
/proc/32624/stat : 32624 (CirCUs) R 32622 32624 32433 0 -1 4194304 448 0 0 0 5 0 0 0 20 0 1 120000 109221372 2461696 432 1992294400 134512640 135224549 4294956208 18446744073709551615 134595437 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32624/statm: 601 432 93 173 0 426 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2404

Child status: 0
Real time (s): 0.085708
CPU time (s): 0.084986
CPU user time (s): 0.081987
CPU system time (s): 0.002999
CPU usage (%): 99.1576
Max. virtual memory (cumulated for all children) (KiB): 2404

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

runsolver used 0.003999 second user time and 0.006998 second system time

The end

Launcher Data 

Begin job on node63 at 2009-04-27 07:59:12
IDJOB=1736531
IDBENCH=71627
IDSOLVER=544
FILE ID=node63/1736531-1240811952
PBS_JOBID= 9187448
Free space on /tmp= 66408 MiB

SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n4_i4_pp.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1736531-1240811952/watcher-1736531-1240811952 -o /tmp/evaluation-result-1736531-1240811952/solver-1736531-1240811952 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/CirCUs HOME/instance-1736531-1240811952.cnf -t 1200

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

MD5SUM BENCH= d35b54498d8d9672e60bf7e3ce33352b
RANDOM SEED=1064920194

node63.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.236
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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1600416 kB
Buffers:         60652 kB
Cached:         318020 kB
SwapCached:       6480 kB
Active:         176708 kB
Inactive:       211144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600416 kB
SwapTotal:     4192956 kB
SwapFree:      4179608 kB
Dirty:            1240 kB
Writeback:           0 kB
Mapped:          14864 kB
Slab:            53444 kB
Committed_AS:   608348 kB
PageTables:       1452 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= 66408 MiB
End job on node63 at 2009-04-27 07:59:12