Trace number 2076533

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
pcs-restart 0.3.2SAT 22.1256 22.2267

DiagnosticValue
ASSIGNMENTS944

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-2.xml
MD5SUM4edeb52ba8c5e270795a490c2e727147
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.68759
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1359
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 315935217
0.00/0.02	c Constructing HOME/instance-2076533-1247714221.xml  with 53200 constraints
0.67/0.79	c Solving 944 backtracks 8 restarts
21.99/22.15	s SATISFIABLE
21.99/22.15	c V0=459, V1=243, V2=154, V3=957, V4=65, V5=121, V6=1223, V7=778, V8=379, V9=0, V10=595, V11=718, V12=881, V13=1170, V14=643, V15=1077, V16=1006, V17=537, V18=302, V19=755, V20=589, V21=214, V22=548, V23=130, V24=759, V25=1222, V26=483, V27=0, V28=459, V29=930, V30=985, V31=864, V32=302, V33=821, V34=240, V35=1075, V36=50, V37=679, V38=205, V39=381, V40=96, V41=1223, V42=829, V43=0, V44=957, V45=918, V46=433, V47=482, V48=637, V49=1135, V50=537, V51=376, V52=1117, V53=139, V54=599, V55=210, V56=721, V57=374, V58=298, V59=1033, V60=389, V61=256, V62=291, V63=207, V64=1041, V65=785, V66=1127, V67=555, V68=1267, V69=637, V70=585, V71=871, V72=465, V73=989, V74=829, V75=86, V76=510, V77=760, V78=14, V79=120, V80=50, V81=160, V82=1077, V83=393, V84=820, V85=1121, V86=954, V87=0, V88=103, V89=243, V90=482, V91=755, V92=305, V93=80, V94=136, V95=442, V96=632, V97=574, V98=580, V99=31, V100=969, V101=358, V102=71, V103=1082, V104=622, V105=1246, V106=721, V107=443, V108=593, V109=267, V110=199, V111=871, V112=537, V113=1113, V114=0, V115=158, V116=914, V117=509, V118=1168, V119=803, V120=1158, V121=0, V122=717, V123=1026, V124=1319, V125=13, V126=81, V127=298, V128=352, V129=226, V130=200, V131=1211, V132=465, V133=988, V134=274, V135=802, V136=159, V137=881, V138=66, V139=591, V140=395, V141=0, V142=939, V143=414, V144=1222, V145=300, V146=1029, V147=1285, V148=357, V149=150, V150=1341, V151=210, V152=1203, V153=493, V154=886, V155=125, V156=1303, V157=73, V158=2, V159=23, V160=482, V161=0, V162=50, V163=651, V164=574, V165=980, V166=130, V167=282, V168=705, V169=1135, V170=83, V171=973, V172=391, V173=1054, V174=917, V175=352, V176=211, V177=240, V178=1223, V179=802, V180=558, V181=482, V182=1203, V183=852, V184=1159, V185=136, V186=599, V187=1285, V188=638, V189=1035, V190=803, V191=43, V192=432, V193=352, V194=207, V195=9, V196=736, V197=589, V198=680, V199=267, V200=699, V201=335, V202=911, V203=296, V204=770, V205=71, V206=411, V207=716, V208=687, V209=785, V210=1301, V211=211, V212=0, V213=1148, V214=973, V215=31, V216=493, V217=545, V218=118, V219=623, V220=634, V221=1004, V222=217, V223=1275, V224=831, V225=0, V226=1042, V227=1196, V228=17, V229=103, V230=961, V231=1075, V232=65, V233=513, V234=760, V235=1320, V236=305, V237=599, V238=136, V239=1129, V240=718, V241=0, V242=118, V243=759, V244=648, V245=1042, V246=217, V247=1333, V248=771, V249=1348, V250=894, V251=416, V252=799, V253=1105, V254=292, V255=1293, V256=509, V257=1196, V258=494, V259=335, V260=70, V261=324, V262=233, V263=1162, V264=1271, V265=1185, V266=0, V267=391, V268=374, V269=1127, V270=939, V271=162, V272=852, V273=466, V274=595, V275=716, V276=156, V277=1022, V278=866, V279=626, V280=831, V281=432, V282=520, V283=1305, V284=1033, V285=918, V286=0, V287=1276, V288=158, V289=1185, V290=493, V291=690, V292=99, V293=760, V294=58, V295=591, V296=302, V297=336, V298=177, V299=1087, V300=298, V301=394, V302=1016, V303=246, V304=637, V305=812, V306=176, V307=1162, V308=103, V309=0, V310=136, V311=935, V312=448, V313=443, V314=40, V315=267, V316=509, V317=705, V318=548, V319=664, V320=83, V321=1307, V322=1226, V323=733, V324=917, V325=871, V326=626, V327=1006, V328=1166, V329=267, V330=0, V331=448, V332=125, V333=43, V334=504, V335=292, V336=70, V337=50, V338=820, V339=200, V340=0, V341=914, V342=821, V343=75, V344=1333, V345=690, V346=494, V347=564, V348=1246, V349=186, V350=1159, V351=395, V352=954, V353=1004, V354=1087, V355=302, V356=103, V357=25, V358=632, V359=732, V360=975, V361=37, V362=726, V363=828, V364=73, V365=342, V366=1059, V367=0, V368=651, V369=433, V370=1307, V371=1, V372=1130, V373=1347, V374=558, V375=899, V376=282, V377=1168, V378=152, V379=1223, V380=865, V381=0, V382=520, V383=596, V384=772, V385=761, V386=466, V387=342, V388=96, V389=160, V390=1127, V391=393, V392=638, V393=1022, V394=1276, V395=687, V396=935, V397=268, V398=760, V399=214, 
21.99/22.15	v 459 243 154 957 65 121 1223 778 379 0 595 718 881 1170 643 1077 1006 537 302 755 589 214 548 130 759 1222 483 0 459 930 985 864 302 821 240 1075 50 679 205 381 96 1223 829 0 957 918 433 482 637 1135 537 376 1117 139 599 210 721 374 298 1033 389 256 291 207 1041 785 1127 555 1267 637 585 871 465 989 829 86 510 760 14 120 50 160 1077 393 820 1121 954 0 103 243 482 755 305 80 136 442 632 574 580 31 969 358 71 1082 622 1246 721 443 593 267 199 871 537 1113 0 158 914 509 1168 803 1158 0 717 1026 1319 13 81 298 352 226 200 1211 465 988 274 802 159 881 66 591 395 0 939 414 1222 300 1029 1285 357 150 1341 210 1203 493 886 125 1303 73 2 23 482 0 50 651 574 980 130 282 705 1135 83 973 391 1054 917 352 211 240 1223 802 558 482 1203 852 1159 136 599 1285 638 1035 803 43 432 352 207 9 736 589 680 267 699 335 911 296 770 71 411 716 687 785 1301 211 0 1148 973 31 493 545 118 623 634 1004 217 1275 831 0 1042 1196 17 103 961 1075 65 513 760 1320 305 599 136 1129 718 0 118 759 648 1042 217 1333 771 1348 894 416 799 1105 292 1293 509 1196 494 335 70 324 233 1162 1271 1185 0 391 374 1127 939 162 852 466 595 716 156 1022 866 626 831 432 520 1305 1033 918 0 1276 158 1185 493 690 99 760 58 591 302 336 177 1087 298 394 1016 246 637 812 176 1162 103 0 136 935 448 443 40 267 509 705 548 664 83 1307 1226 733 917 871 626 1006 1166 267 0 448 125 43 504 292 70 50 820 200 0 914 821 75 1333 690 494 564 1246 186 1159 395 954 1004 1087 302 103 25 632 732 975 37 726 828 73 342 1059 0 651 433 1307 1 1130 1347 558 899 282 1168 152 1223 865 0 520 596 772 761 466 342 96 160 1127 393 638 1022 1276 687 935 268 760 214 
22.09/22.22	d ASSIGNMENTS 944

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-2076533-1247714221/watcher-2076533-1247714221 -o /tmp/evaluation-result-2076533-1247714221/solver-2076533-1247714221 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 315935217 HOME/instance-2076533-1247714221.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.11 2.09 4/81 6605
/proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=18576 CPUtime=0
/proc/6605/stat : 6605 (runsolver) R 6603 6605 5643 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58488455 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 253307186471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6605/statm: 4644 284 249 26 0 2626 0

[startup+0.100723 s]
/proc/loadavg: 2.01 2.11 2.09 4/81 6605
/proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=6520 CPUtime=0.07
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 1290 665 0 0 7 0 0 0 21 0 1 0 58488455 6676480 847 996147200 134512640 135215973 4294956304 18446744073709551615 4159732983 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 1630 847 388 171 0 555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6520

[startup+0.202731 s]
/proc/loadavg: 2.01 2.11 2.09 4/81 6605
/proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=8676 CPUtime=0.17
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 2003 665 0 0 17 0 0 0 22 0 1 0 58488455 8884224 1351 996147200 134512640 135215973 4294956304 18446744073709551615 4159151520 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 2169 1351 388 171 0 1094 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8676

[startup+0.302739 s]
/proc/loadavg: 2.01 2.11 2.09 4/81 6605
/proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=12184 CPUtime=0.27
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 3034 665 0 0 26 1 0 0 23 0 1 0 58488455 12476416 1933 996147200 134512640 135215973 4294956304 18446744073709551615 10460886 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 3046 1933 388 171 0 1971 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12184

[startup+0.70277 s]
/proc/loadavg: 2.01 2.11 2.09 4/81 6605
/proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=20624 CPUtime=0.67
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 5932 665 0 0 65 2 0 0 25 0 1 0 58488455 21118976 3838 996147200 134512640 135215973 4294956304 18446744073709551615 134846619 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 5156 3838 388 171 0 4081 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20624

[startup+1.50186 s]
/proc/loadavg: 2.01 2.11 2.09 3/82 6610
/proc/meminfo: memFree=1335696/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=40840 CPUtime=1.46
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 12775 665 0 0 141 5 0 0 25 0 1 0 58488455 41820160 8370 996147200 134512640 135215973 4294956304 18446744073709551615 134648469 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 10210 8370 406 171 0 9135 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40840

[startup+3.10199 s]
/proc/loadavg: 2.01 2.11 2.09 3/82 6610
/proc/meminfo: memFree=1328912/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=40968 CPUtime=3.06
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 14416 665 0 0 300 6 0 0 25 0 1 0 58488455 41951232 8815 996147200 134512640 135215973 4294956304 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 10242 8815 406 171 0 9167 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40968

[startup+6.30128 s]
/proc/loadavg: 2.01 2.11 2.09 3/82 6610
/proc/meminfo: memFree=1320528/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=51316 CPUtime=6.25
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 23035 665 0 0 614 11 0 0 25 0 1 0 58488455 52547584 10847 996147200 134512640 135215973 4294956304 18446744073709551615 134908221 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 12829 10847 406 171 0 11754 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 51316

[startup+12.7019 s]
/proc/loadavg: 2.01 2.11 2.09 3/82 6610
/proc/meminfo: memFree=1319704/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=51440 CPUtime=12.62
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 35316 665 0 0 1248 14 0 0 25 0 1 0 58488455 52674560 11030 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 12860 11030 406 171 0 11785 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 51440

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

[startup+12.8019 s]
/proc/loadavg: 2.01 2.11 2.09 3/82 6610
/proc/meminfo: memFree=1319704/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=51440 CPUtime=12.72
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 35409 665 0 0 1258 14 0 0 25 0 1 0 58488455 52674560 11031 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 12860 11031 406 171 0 11785 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 51440

[startup+19.2015 s]
/proc/loadavg: 2.01 2.10 2.09 3/82 6610
/proc/meminfo: memFree=1319512/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=51812 CPUtime=19.09
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 55135 665 0 0 1888 21 0 0 25 0 1 0 58488455 53055488 11115 996147200 134512640 135215973 4294956304 18446744073709551615 134904465 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 12953 11115 406 171 0 11878 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 51812

[startup+20.8016 s]
/proc/loadavg: 2.01 2.10 2.09 3/82 6610
/proc/meminfo: memFree=1319448/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=51812 CPUtime=20.69
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 58549 665 0 0 2047 22 0 0 25 0 1 0 58488455 53055488 11125 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 12953 11125 406 171 0 11878 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 51812

[startup+21.6017 s]
/proc/loadavg: 2.00 2.10 2.09 3/82 6610
/proc/meminfo: memFree=1319448/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=51812 CPUtime=21.49
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 58963 665 0 0 2126 23 0 0 25 0 1 0 58488455 53055488 11125 996147200 134512640 135215973 4294956304 18446744073709551615 134902263 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 12953 11125 406 171 0 11878 0
Current children cumulated CPU time (s) 21.49
Current children cumulated vsize (KiB) 51812

[startup+22.0017 s]
/proc/loadavg: 2.00 2.10 2.09 3/82 6610
/proc/meminfo: memFree=1319256/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=51812 CPUtime=21.89
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 60385 665 0 0 2166 23 0 0 25 0 1 0 58488455 53055488 11167 996147200 134512640 135215973 4294956304 18446744073709551615 135096571 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 12953 11167 406 171 0 11878 0
Current children cumulated CPU time (s) 21.89
Current children cumulated vsize (KiB) 51812

[startup+22.2017 s]
/proc/loadavg: 2.00 2.10 2.09 3/82 6610
/proc/meminfo: memFree=1319256/2055920 swapFree=4192812/4192956
[pid=6605] ppid=6603 vsize=27584 CPUtime=22.09
/proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 60706 665 0 0 2185 24 0 0 25 0 1 0 58488455 28246016 5973 996147200 134512640 135215973 4294956304 18446744073709551615 10457203 0 0 4096 0 0 0 0 17 0 0 0
/proc/6605/statm: 6896 5973 406 171 0 5821 0
Current children cumulated CPU time (s) 22.09
Current children cumulated vsize (KiB) 27584

Child status: 0
Real time (s): 22.2267
CPU time (s): 22.1256
CPU user time (s): 21.8787
CPU system time (s): 0.246962
CPU usage (%): 99.5452
Max. virtual memory (cumulated for all children) (KiB): 51944

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

runsolver used 0.029995 second user time and 0.06099 second system time

The end

Launcher Data 

Begin job on node25 at 2009-07-16 05:17:01
IDJOB=2076533
IDBENCH=56450
IDSOLVER=734
FILE ID=node25/2076533-1247714221
PBS_JOBID= 9521476
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-2.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076533-1247714221/watcher-2076533-1247714221 -o /tmp/evaluation-result-2076533-1247714221/solver-2076533-1247714221 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 315935217 HOME/instance-2076533-1247714221.xml

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

MD5SUM BENCH= 4edeb52ba8c5e270795a490c2e727147
RANDOM SEED=315935217

node25.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.231
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.231
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:       1363320 kB
Buffers:         80644 kB
Cached:         483212 kB
SwapCached:          0 kB
Active:         135860 kB
Inactive:       480676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1363320 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3020 kB
Writeback:           0 kB
Mapped:          73096 kB
Slab:            61040 kB
Committed_AS:   504320 kB
PageTables:       2016 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= 66308 MiB
End job on node25 at 2009-07-16 05:17:23