Trace number 1736781

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.053991 0.0557851

General information on the benchmark

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

[startup+0.016094 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 32407
/proc/meminfo: memFree=1476928/2055920 swapFree=4181412/4192956
[pid=32407] ppid=32405 vsize=2008 CPUtime=0.01
/proc/32407/stat : 32407 (CirCUs) R 32405 32407 31744 0 -1 4194304 304 0 0 0 1 0 0 0 20 0 1 120000 109351363 2056192 288 1992294400 134512640 135224549 4294956208 18446744073709551615 134572216 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32407/statm: 502 288 76 173 0 327 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2008

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

[startup+0.016094 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 32407
/proc/meminfo: memFree=1476928/2055920 swapFree=4181412/4192956
[pid=32407] ppid=32405 vsize=2008 CPUtime=0.01
/proc/32407/stat : 32407 (CirCUs) R 32405 32407 31744 0 -1 4194304 304 0 0 0 1 0 0 0 20 0 1 120000 109351363 2056192 288 1992294400 134512640 135224549 4294956208 18446744073709551615 134572216 0 0 4096 8192 0 0 0 17 1 0 0
/proc/32407/statm: 502 288 76 173 0 327 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2008

Child status: 0
Real time (s): 0.0557851
CPU time (s): 0.053991
CPU user time (s): 0.051992
CPU system time (s): 0.001999
CPU usage (%): 96.784
Max. virtual memory (cumulated for all children) (KiB): 2008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.051992
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367
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= 1

runsolver used 0.003999 second user time and 0.007998 second system time

The end

Launcher Data 

Begin job on node80 at 2009-04-27 08:20:24
IDJOB=1736781
IDBENCH=71632
IDSOLVER=544
FILE ID=node80/1736781-1240813224
PBS_JOBID= 9187401
Free space on /tmp= 66080 MiB

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

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

MD5SUM BENCH= 91bf0f1cf73f97e8e8862cc30d68727a
RANDOM SEED=1472828907

node80.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.270
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.270
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:       1477472 kB
Buffers:         55708 kB
Cached:         445956 kB
SwapCached:       5412 kB
Active:         226536 kB
Inactive:       282984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1477472 kB
SwapTotal:     4192956 kB
SwapFree:      4181412 kB
Dirty:            1204 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            54892 kB
Committed_AS:   452960 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= 66080 MiB
End job on node80 at 2009-04-27 08:20:24