Trace number 210323

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, and are wall clock time (not CPU 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
CSPtoSAT+minisat 0.3? (MO) 925.76 926.317

General information on the benchmark

NamepseudoSeries/fpga/
fpga-40-39.xml
MD5SUM3c6eda633dfc3b4def9c6c240c8051dd
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2340
Number of constraints1678
Maximum constraint arity40
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1678
Global constraints used (with number of constraints)

Solver Data (download as text)

0.01	c This is CSPtoSAT+minisat version 0.3
0.01	c (c) 2006 roussel@cril.univ-artois.fr
0.01	
0.01	c This solver internally uses a modified version of MiniSat2 version 061112
0.01	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.01	
0.01	c parsing...
0.43	c ...done
0.43	c #SATvar=4682 #SATclauses=4680 #CSPpredicates=1678

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node41/watcher-210323-1168062625 -o ROOT/results/node41/solver-210323-1168062625 -C 1800 -M 900 /tmp/evaluation/210323-1168062625/CSPtoSAT+minisat /tmp/evaluation/210323-1168062625/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 1.92 1.97 1.83 5/73 3724
/proc/meminfo: memFree=1611304/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=6696 CPUtime=0
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 434 0 0 0 0 0 0 0 18 0 1 0 154661946 6856704 413 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 1932152 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 1674 414 374 52 0 30 0

[startup+0.103684 s]
/proc/loadavg: 1.92 1.97 1.83 5/73 3724
/proc/meminfo: memFree=1611304/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=8032 CPUtime=0.09
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 1088 0 0 0 9 0 0 0 18 0 1 0 154661946 8224768 1056 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 4159319087 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 2008 1056 703 52 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8032

[startup+0.51172 s]
/proc/loadavg: 1.92 1.97 1.83 5/73 3724
/proc/meminfo: memFree=1611304/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=9316 CPUtime=0.5
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 1485 0 0 0 50 0 0 0 22 0 1 0 154661946 9539584 1427 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671266 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 2329 1427 720 52 0 697 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9316

[startup+1.33279 s]
/proc/loadavg: 1.92 1.97 1.83 3/73 3724
/proc/meminfo: memFree=1605480/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=13148 CPUtime=1.3
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 2439 0 0 0 129 1 0 0 25 0 1 0 154661946 13463552 2381 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671220 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 3287 2381 720 52 0 1655 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 13148

[startup+2.96993 s]
/proc/loadavg: 1.92 1.97 1.83 3/73 3724
/proc/meminfo: memFree=1601000/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=18960 CPUtime=2.93
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 3896 0 0 0 292 1 0 0 25 0 1 0 154661946 19415040 3838 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 2397819 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 4740 3838 720 52 0 3108 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 18960

[startup+6.25922 s]
/proc/loadavg: 1.93 1.97 1.83 3/73 3724
/proc/meminfo: memFree=1590504/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=28728 CPUtime=6.22
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 6347 0 0 0 620 2 0 0 25 0 1 0 154661946 29417472 6289 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 7182 6289 720 52 0 5550 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 28728

[startup+12.7178 s]
/proc/loadavg: 1.93 1.97 1.84 3/73 3724
/proc/meminfo: memFree=1573800/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=44748 CPUtime=12.67
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 10338 0 0 0 1263 4 0 0 25 0 1 0 154661946 45821952 10280 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 11187 10280 720 52 0 9555 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 44748

[startup+25.5349 s]
/proc/loadavg: 1.79 1.94 1.83 3/73 3762
/proc/meminfo: memFree=1632936/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=71824 CPUtime=25.48
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 17120 0 0 0 2540 8 0 0 25 0 1 0 154661946 73547776 17062 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 17956 17062 720 52 0 16324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71824

[startup+51.1601 s]
/proc/loadavg: 1.58 1.88 1.81 2/65 3813
/proc/meminfo: memFree=1600360/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=117420 CPUtime=51.09
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 28497 0 0 0 5095 14 0 0 25 0 1 0 154661946 120238080 28439 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671292 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 29355 28439 720 52 0 27723 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117420

[startup+102.381 s]
/proc/loadavg: 1.25 1.74 1.76 2/65 3813
/proc/meminfo: memFree=1529072/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=189372 CPUtime=102.28
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 46462 0 0 0 10204 24 0 0 25 0 1 0 154661946 193916928 46404 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134668051 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 47343 46404 720 52 0 45711 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 189372

[startup+162.413 s]
/proc/loadavg: 1.09 1.60 1.71 2/65 3813
/proc/meminfo: memFree=1459376/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=258172 CPUtime=162.28
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 63637 0 0 0 16191 37 0 0 25 0 1 0 154661946 264368128 63579 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 64543 63579 720 52 0 62911 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 258172

[startup+222.444 s]
/proc/loadavg: 1.03 1.49 1.67 2/65 3813
/proc/meminfo: memFree=1395952/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=321864 CPUtime=222.29
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 79517 0 0 0 22183 46 0 0 25 0 1 0 154661946 329588736 79459 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 80466 79459 720 52 0 78834 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 321864

[startup+282.475 s]
/proc/loadavg: 1.01 1.40 1.62 2/65 3813
/proc/meminfo: memFree=1337584/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=380324 CPUtime=282.28
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 94121 0 0 0 28172 56 0 0 25 0 1 0 154661946 389451776 94063 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 95081 94063 720 52 0 93449 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 380324

[startup+342.504 s]
/proc/loadavg: 1.00 1.32 1.58 2/65 3813
/proc/meminfo: memFree=1286576/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=431692 CPUtime=342.26
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 106956 0 0 0 34161 65 0 0 25 0 1 0 154661946 442052608 106898 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 107923 106898 720 52 0 106291 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 431692

[startup+402.537 s]
/proc/loadavg: 1.00 1.26 1.54 2/65 3813
/proc/meminfo: memFree=1230832/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=486696 CPUtime=402.28
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 120648 0 0 0 40153 75 0 0 25 0 1 0 154661946 498376704 120590 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 121674 120590 720 52 0 120042 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 486696

[startup+462.572 s]
/proc/loadavg: 1.00 1.21 1.50 2/65 3813
/proc/meminfo: memFree=1181104/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=536700 CPUtime=462.27
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 133143 0 0 0 46143 84 0 0 25 0 1 0 154661946 549580800 133085 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 134175 133085 720 52 0 132543 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 536700

[startup+522.599 s]
/proc/loadavg: 1.00 1.17 1.47 2/65 3813
/proc/meminfo: memFree=1132144/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=585784 CPUtime=522.25
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 145379 0 0 0 52132 93 0 0 25 0 1 0 154661946 599842816 145321 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 146446 145321 720 52 0 144814 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 585784

[startup+582.629 s]
/proc/loadavg: 1.00 1.14 1.44 2/65 3813
/proc/meminfo: memFree=1088368/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=628892 CPUtime=582.25
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 156154 0 0 0 58124 101 0 0 25 0 1 0 154661946 643985408 156096 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671220 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 157223 156096 720 52 0 155591 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 628892

[startup+642.671 s]
/proc/loadavg: 1.00 1.11 1.41 2/71 3879
/proc/meminfo: memFree=1043712/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=672324 CPUtime=642.26
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 166974 0 0 0 64113 113 0 0 25 0 1 0 154661946 688459776 166916 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 168081 166916 720 52 0 166449 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 672324

[startup+702.734 s]
/proc/loadavg: 1.00 1.09 1.38 2/71 3971
/proc/meminfo: memFree=999936/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=716184 CPUtime=702.29
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 177909 0 0 0 70099 130 0 0 25 0 1 0 154661946 733372416 177851 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671252 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 179046 177851 720 52 0 177414 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 716184

[startup+762.775 s]
/proc/loadavg: 1.00 1.07 1.35 2/65 4011
/proc/meminfo: memFree=952752/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=764752 CPUtime=762.3
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 190003 0 0 0 76087 143 0 0 25 0 1 0 154661946 783106048 189945 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134667972 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 191188 189945 720 52 0 189556 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 764752

[startup+822.814 s]
/proc/loadavg: 1.00 1.05 1.33 2/65 4011
/proc/meminfo: memFree=911344/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=805564 CPUtime=822.31
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 200180 0 0 0 82080 151 0 0 25 0 1 0 154661946 824897536 200122 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134667984 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 201391 200122 720 52 0 199759 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 805564

[startup+882.844 s]
/proc/loadavg: 1.00 1.04 1.30 2/65 4011
/proc/meminfo: memFree=849392/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=867868 CPUtime=882.3
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 215726 0 0 0 88067 163 0 0 25 0 1 0 154661946 888696832 215668 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134668054 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 216967 215668 720 52 0 215335 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 867868



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+926.175 s]
/proc/loadavg: 1.00 1.03 1.29 2/65 4011
/proc/meminfo: memFree=795184/2055920 swapFree=4192812/4192956
[pid=3723] ppid=3721 vsize=921652 CPUtime=925.61
/proc/3723/stat : 3723 (CSPtoSAT+minisa) R 3721 3723 3486 0 -1 4194304 229151 0 0 0 92388 173 0 0 25 0 1 0 154661946 943771648 229093 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3723/statm: 230413 229093 720 52 0 228781 0
Current children cumulated CPU time (s) 925.61
Current children cumulated vsize (KiB) 921652

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 926.317
CPU time (s): 925.76
CPU user time (s): 923.887
CPU system time (s): 1.87371
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 921652

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

runsolver used 0.821875 s user time and 2.47662 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Sat Jan  6 05:50:27 UTC 2007


IDJOB= 210323
IDBENCH= 4610
FILE ID= node41/210323-1168062625

PBS_JOBID= 3475567

Free space on /tmp= 66529 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-40-39.xml
COMMAND LINE= /tmp/evaluation/210323-1168062625/CSPtoSAT+minisat /tmp/evaluation/210323-1168062625/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-210323-1168062625 -o ROOT/results/node41/solver-210323-1168062625 -C 1800 -M 900  /tmp/evaluation/210323-1168062625/CSPtoSAT+minisat /tmp/evaluation/210323-1168062625/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  3c6eda633dfc3b4def9c6c240c8051dd

RANDOM SEED= 758131883

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.234
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.234
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:       1611720 kB
Buffers:         29828 kB
Cached:         226056 kB
SwapCached:          0 kB
Active:         135516 kB
Inactive:       233004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1611720 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2208 kB
Writeback:           0 kB
Mapped:         126296 kB
Slab:            60932 kB
Committed_AS:  2554468 kB
PageTables:       2008 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= 66531 MiB



End job on node41 on Sat Jan  6 06:05:54 UTC 2007