Trace number 210772

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.3UNSAT 961.025 962.095

General information on the benchmark

NamepseudoSeries/uclid/
ooo-tag10.xml
MD5SUM9bfcd5765948ddcdd6e9fe77a1650d3d
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.3834
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables9071
Number of constraints25913
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25913
Global constraints used (with number of constraints)

Solver Data (download as text)

0.10	c This is CSPtoSAT+minisat version 0.3
0.10	c (c) 2006 roussel@cril.univ-artois.fr
0.10	
0.10	c This solver internally uses a modified version of MiniSat2 version 061112
0.10	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.10	
0.10	c parsing...
2.04	c ...done
2.04	c #SATvar=18143 #SATclauses=18140 #CSPpredicates=25913
962.06	c SAT problem is solved
962.06	restarts              : 21
962.06	conflicts             : 726536         (756 /sec)
962.06	decisions             : 19564784       (0.96 % random) (20368 /sec)
962.06	propagations          : 581645813      (605525 /sec)
962.06	conflict literals     : 10581419       (15.87 % deleted)
962.06	Memory used           : 46.01 MB
962.06	CPU time              : 960.565 s
962.06	
962.06	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node43/watcher-210772-1168062835 -o ROOT/results/node43/solver-210772-1168062835 -C 1800 -M 900 /tmp/evaluation/210772-1168062835/CSPtoSAT+minisat /tmp/evaluation/210772-1168062835/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.91 1.95 1.91 3/73 3850
/proc/meminfo: memFree=1370136/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=380 CPUtime=0
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 154682979 389120 26 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 4731179 0 0 4096 0 0 0 0 17 1 0 0
/proc/3849/statm: 95 26 21 52 0 18 0

[startup+0.103076 s]
/proc/loadavg: 1.91 1.95 1.91 3/73 3850
/proc/meminfo: memFree=1370136/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=7484 CPUtime=0.09
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 945 0 0 0 9 0 0 0 19 0 1 0 154682979 7663616 913 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 4158439351 0 0 4096 0 0 0 0 17 1 0 0
/proc/3849/statm: 1871 913 691 52 0 239 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7484

[startup+0.511142 s]
/proc/loadavg: 1.91 1.95 1.91 3/73 3850
/proc/meminfo: memFree=1370136/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=11056 CPUtime=0.49
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 1837 0 0 0 49 0 0 0 24 0 1 0 154682979 11321344 1805 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134651791 0 0 4096 0 0 0 0 17 1 0 0
/proc/3849/statm: 2764 1805 705 52 0 1132 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11056

[startup+1.33228 s]
/proc/loadavg: 1.91 1.95 1.91 3/73 3850
/proc/meminfo: memFree=1363672/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=13452 CPUtime=1.31
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 2444 0 0 0 130 1 0 0 25 0 1 0 154682979 13774848 2412 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 4156265231 0 0 4096 0 0 0 0 17 1 0 0
/proc/3849/statm: 3363 2412 705 52 0 1731 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 13452

[startup+2.96955 s]
/proc/loadavg: 2.00 1.97 1.92 3/73 3850
/proc/meminfo: memFree=1360920/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=15420 CPUtime=2.93
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 2976 0 0 0 292 1 0 0 25 0 1 0 154682979 15790080 2918 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 1 0 0
/proc/3849/statm: 3855 2918 721 52 0 2223 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 15420

[startup+6.25409 s]
/proc/loadavg: 2.00 1.97 1.92 2/68 3858
/proc/meminfo: memFree=1364032/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=15552 CPUtime=6.2
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 3023 0 0 0 619 1 0 0 25 0 1 0 154682979 15925248 2965 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134630247 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 3888 2965 721 52 0 2256 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 15552

[startup+12.7102 s]
/proc/loadavg: 1.85 1.94 1.91 3/73 3887
/proc/meminfo: memFree=1326872/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=15684 CPUtime=12.66
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 3074 0 0 0 1250 16 0 0 25 0 1 0 154682979 16060416 3016 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134665716 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 3921 3016 721 52 0 2289 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 15684

[startup+25.5303 s]
/proc/loadavg: 1.87 1.94 1.91 3/73 3887
/proc/meminfo: memFree=1290528/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=15972 CPUtime=25.46
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 3140 0 0 0 2530 16 0 0 25 0 1 0 154682979 16355328 3082 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134562940 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 3993 3082 721 52 0 2361 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 15972

[startup+51.1816 s]
/proc/loadavg: 1.91 1.94 1.91 3/73 3887
/proc/meminfo: memFree=1289696/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=16392 CPUtime=51.09
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 3234 0 0 0 5093 16 0 0 25 0 1 0 154682979 16785408 3176 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134600139 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 4098 3176 721 52 0 2466 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16392

[startup+102.477 s]
/proc/loadavg: 1.96 1.95 1.91 3/73 3887
/proc/meminfo: memFree=1288864/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=16836 CPUtime=102.33
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 3350 0 0 0 10217 16 0 0 25 0 1 0 154682979 17240064 3292 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134538352 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 4209 3292 721 52 0 2577 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 16836

[startup+162.494 s]
/proc/loadavg: 1.98 1.95 1.91 3/73 3887
/proc/meminfo: memFree=1286752/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=18584 CPUtime=162.28
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 3762 0 0 0 16211 17 0 0 25 0 1 0 154682979 19030016 3704 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134600117 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 4646 3704 721 52 0 3014 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 18584

[startup+222.514 s]
/proc/loadavg: 1.99 1.96 1.91 3/73 3887
/proc/meminfo: memFree=1284512/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=20440 CPUtime=222.24
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 4221 0 0 0 22207 17 0 0 25 0 1 0 154682979 20930560 4163 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134667339 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 5110 4163 721 52 0 3478 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20440

[startup+282.527 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 3887
/proc/meminfo: memFree=1280992/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=23480 CPUtime=282.2
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 5010 0 0 0 28202 18 0 0 25 0 1 0 154682979 24043520 4952 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671588 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 5870 4952 721 52 0 4238 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 23480

[startup+342.544 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 3887
/proc/meminfo: memFree=1278624/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=25724 CPUtime=342.15
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 5554 0 0 0 34196 19 0 0 25 0 1 0 154682979 26341376 5496 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 6431 5496 721 52 0 4799 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 25724

[startup+402.558 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 3887
/proc/meminfo: memFree=1275936/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=28100 CPUtime=402.11
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 6158 0 0 0 40191 20 0 0 25 0 1 0 154682979 28774400 6100 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671228 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 7025 6100 721 52 0 5393 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 28100

[startup+462.59 s]
/proc/loadavg: 1.99 1.97 1.91 3/79 4023
/proc/meminfo: memFree=1271712/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=30872 CPUtime=462.04
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 6862 0 0 0 46175 29 0 0 25 0 1 0 154682979 31612928 6804 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671262 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 7718 6804 721 52 0 6086 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 30872

[startup+522.63 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 4085
/proc/meminfo: memFree=1270416/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=32672 CPUtime=521.99
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 7297 0 0 0 52161 38 0 0 25 0 1 0 154682979 33456128 7239 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 5172864 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 8168 7239 721 52 0 6536 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 32672

[startup+582.64 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 4085
/proc/meminfo: memFree=1266848/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=36236 CPUtime=581.94
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 8184 0 0 0 58155 39 0 0 25 0 1 0 154682979 37105664 8126 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134630829 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 9059 8126 721 52 0 7427 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 36236

[startup+642.656 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 4085
/proc/meminfo: memFree=1264928/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=38216 CPUtime=641.9
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 8660 0 0 0 64151 39 0 0 25 0 1 0 154682979 39133184 8602 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671294 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 9554 8602 721 52 0 7922 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 38216

[startup+702.671 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 4085
/proc/meminfo: memFree=1262944/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=39932 CPUtime=701.84
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 9094 0 0 0 70144 40 0 0 25 0 1 0 154682979 40890368 9036 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134533141 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 9983 9036 721 52 0 8351 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 39932

[startup+762.695 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 4085
/proc/meminfo: memFree=1260640/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=42044 CPUtime=761.82
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 9643 0 0 0 76141 41 0 0 25 0 1 0 154682979 43053056 9585 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134562946 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 10511 9585 721 52 0 8879 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 42044

[startup+822.712 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 4085
/proc/meminfo: memFree=1258400/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=44036 CPUtime=821.78
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 10137 0 0 0 82137 41 0 0 25 0 1 0 154682979 45092864 10079 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134665620 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 11009 10079 721 52 0 9377 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 44036

[startup+882.73 s]
/proc/loadavg: 2.07 1.99 1.91 3/73 4085
/proc/meminfo: memFree=1257248/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=44960 CPUtime=881.72
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 10364 0 0 0 88130 42 0 0 25 0 1 0 154682979 46039040 10306 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134533060 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 11240 10306 721 52 0 9608 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 44960

[startup+942.753 s]
/proc/loadavg: 2.02 1.99 1.91 3/73 4085
/proc/meminfo: memFree=1255648/2055920 swapFree=4192812/4192956
[pid=3849] ppid=3847 vsize=46448 CPUtime=941.69
/proc/3849/stat : 3849 (CSPtoSAT+minisa) R 3847 3849 3336 0 -1 4194304 10726 0 0 0 94126 43 0 0 25 0 1 0 154682979 47562752 10668 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 0 0 0
/proc/3849/statm: 11612 10668 721 52 0 9980 0
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (KiB) 46448

Child status: 0
Real time (s): 962.095
CPU time (s): 961.025
CPU user time (s): 960.582
CPU system time (s): 0.442932
CPU usage (%): 99.8888
Max. virtual memory (cumulated for all children) (KiB): 47108

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

runsolver used 1.02084 s user time and 2.6246 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Sat Jan  6 05:53:57 UTC 2007


IDJOB= 210772
IDBENCH= 4644
FILE ID= node43/210772-1168062835

PBS_JOBID= 3475515

Free space on /tmp= 66478 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-tag10.xml
COMMAND LINE= /tmp/evaluation/210772-1168062835/CSPtoSAT+minisat /tmp/evaluation/210772-1168062835/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-210772-1168062835 -o ROOT/results/node43/solver-210772-1168062835 -C 1800 -M 900  /tmp/evaluation/210772-1168062835/CSPtoSAT+minisat /tmp/evaluation/210772-1168062835/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  9bfcd5765948ddcdd6e9fe77a1650d3d

RANDOM SEED= 750688992

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.278
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.278
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:       1370744 kB
Buffers:         55708 kB
Cached:         521816 kB
SwapCached:          0 kB
Active:          79332 kB
Inactive:       521724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1370744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7664 kB
Writeback:           0 kB
Mapped:          37116 kB
Slab:            69648 kB
Committed_AS:  2833040 kB
PageTables:       1712 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= 66461 MiB



End job on node43 on Sat Jan  6 06:10:03 UTC 2007