Trace number 2083066

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 0.3.2UNSAT 392.891 396.29

DiagnosticValue
ASSIGNMENTS6377

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-1.xml
MD5SUMd8c3423564a2d6b9b1f50261d186e818
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark31.9481
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
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.07	c Seed is 1318590481
0.00/0.07	c Constructing HOME/instance-2083066-1247722238.xml  with 206868 constraints
3.64/3.70	c Solving 6377 backtracks 13 restarts
392.78/396.27	s UNSATISFIABLE
392.78/396.27	d ASSIGNMENTS 6377

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083066-1247722238/watcher-2083066-1247722238 -o /tmp/evaluation-result-2083066-1247722238/solver-2083066-1247722238 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1318590481 HOME/instance-2083066-1247722238.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.00 2.00 2.00 4/72 12779
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=18576 CPUtime=0
/proc/12779/stat : 12779 (runsolver) R 12777 12779 12002 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59287600 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12779/statm: 4644 284 249 26 0 2626 0

[startup+0.018679 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12779
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=5356 CPUtime=0
/proc/12779/stat : 12779 (pcssolve) S 12777 12779 12002 0 -1 4194304 339 317 0 0 0 0 0 0 21 0 1 0 59287600 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12779/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10187 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12779
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=6644 CPUtime=0.07
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1342 662 0 0 6 0 1 0 18 0 1 0 59287600 6803456 932 996147200 134512640 135215973 4294956304 18446744073709551615 4159347457 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 1661 932 386 171 0 586 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6644

[startup+0.301978 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12779
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=12332 CPUtime=0.27
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 3091 662 0 0 25 1 1 0 19 0 1 0 59287600 12627968 2039 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 3083 2039 386 171 0 2008 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12332

[startup+0.701973 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12779
/proc/meminfo: memFree=1170408/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=22288 CPUtime=0.68
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 6339 662 0 0 64 3 1 0 23 0 1 0 59287600 22822912 3965 996147200 134512640 135215973 4294956304 18446744073709551615 4159729217 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 5572 3965 386 171 0 4497 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22288

[startup+1.50295 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 12784
/proc/meminfo: memFree=1149728/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=40548 CPUtime=1.46
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 12503 662 0 0 139 6 1 0 25 0 1 0 59287600 41521152 7711 996147200 134512640 135215973 4294956304 18446744073709551615 134740074 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 10137 7711 386 171 0 9062 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40548

[startup+3.10123 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12784
/proc/meminfo: memFree=1128480/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=76536 CPUtime=3.05
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 24646 662 0 0 293 11 1 0 25 0 1 0 59287600 78372864 15027 996147200 134512640 135215973 4294956304 18446744073709551615 4159786949 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 19134 15027 386 171 0 18059 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 76536

[startup+6.30281 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 12784
/proc/meminfo: memFree=1081184/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=98748 CPUtime=6.23
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 35246 662 0 0 605 17 1 0 25 0 1 0 59287600 101117952 22340 996147200 134512640 135215973 4294956304 18446744073709551615 134597394 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 24687 22340 410 171 0 23612 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 98748

[startup+12.702 s]
/proc/loadavg: 2.16 2.03 2.01 4/73 12784
/proc/meminfo: memFree=1077344/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=103092 CPUtime=12.57
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 36722 662 0 0 1238 18 1 0 25 0 1 0 59287600 105566208 23190 996147200 134512640 135215973 4294956304 18446744073709551615 134532981 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 25773 23190 410 171 0 24698 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 103092

[startup+25.5013 s]
/proc/loadavg: 2.12 2.03 2.01 3/73 12784
/proc/meminfo: memFree=1064224/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=116584 CPUtime=25.26
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 40621 662 0 0 2506 19 1 0 25 0 1 0 59287600 119382016 26256 996147200 134512640 135215973 4294956304 18446744073709551615 134591384 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 29146 26256 410 171 0 28071 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 116584

[startup+51.102 s]
/proc/loadavg: 2.08 2.03 2.01 4/73 12784
/proc/meminfo: memFree=1060384/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=117376 CPUtime=50.64
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 48805 662 0 0 5041 22 1 0 25 0 1 0 59287600 120193024 26784 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 29344 26784 413 171 0 28269 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 117376

[startup+102.306 s]
/proc/loadavg: 2.08 2.04 2.01 3/73 12784
/proc/meminfo: memFree=1050592/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=122656 CPUtime=101.4
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 226053 662 0 0 10062 77 1 0 25 0 1 0 59287600 125599744 28118 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 30664 28118 413 171 0 29589 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 122656

[startup+162.301 s]
/proc/loadavg: 2.11 2.05 2.01 4/73 12784
/proc/meminfo: memFree=1038496/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=127272 CPUtime=160.88
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 325177 662 0 0 15979 108 1 0 25 0 1 0 59287600 130326528 29280 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 31818 29280 413 171 0 30743 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 127272

[startup+222.301 s]
/proc/loadavg: 2.11 2.07 2.02 4/73 12784
/proc/meminfo: memFree=1026336/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=134916 CPUtime=220.37
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 525094 662 0 0 21864 172 1 0 25 0 1 0 59287600 138153984 31185 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 33729 31185 413 171 0 32654 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 134916

[startup+282.302 s]
/proc/loadavg: 2.11 2.08 2.02 4/73 12784
/proc/meminfo: memFree=1020448/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=138636 CPUtime=279.87
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 669596 662 0 0 27768 218 1 0 25 0 1 0 59287600 141963264 32137 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 34659 32137 413 171 0 33584 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 138636

[startup+342.302 s]
/proc/loadavg: 2.26 2.13 2.04 4/73 12784
/proc/meminfo: memFree=1007520/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=145896 CPUtime=339.34
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 870802 662 0 0 33655 278 1 0 25 0 1 0 59287600 149397504 33939 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 36474 33939 413 171 0 35399 0
Current children cumulated CPU time (s) 339.34
Current children cumulated vsize (KiB) 145896

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

[startup+358.302 s]
/proc/loadavg: 2.20 2.12 2.04 4/73 12784
/proc/meminfo: memFree=1003552/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=149988 CPUtime=355.21
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 936227 662 0 0 35222 298 1 0 25 0 1 0 59287600 153587712 34984 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 37497 34984 413 171 0 36422 0
Current children cumulated CPU time (s) 355.21
Current children cumulated vsize (KiB) 149988

[startup+371.101 s]
/proc/loadavg: 2.16 2.11 2.03 4/73 12784
/proc/meminfo: memFree=1002400/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=150912 CPUtime=367.89
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1007623 662 0 0 36469 319 1 0 25 0 1 0 59287600 154533888 35214 996147200 134512640 135215973 4294956304 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 37728 35214 413 171 0 36653 0
Current children cumulated CPU time (s) 367.89
Current children cumulated vsize (KiB) 150912

[startup+383.906 s]
/proc/loadavg: 2.13 2.11 2.03 3/73 12784
/proc/meminfo: memFree=1001120/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=151572 CPUtime=380.59
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1076870 662 0 0 37717 341 1 0 25 0 1 0 59287600 155209728 35383 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 37893 35383 413 171 0 36818 0
Current children cumulated CPU time (s) 380.59
Current children cumulated vsize (KiB) 151572

[startup+390.302 s]
/proc/loadavg: 2.12 2.11 2.03 3/73 12784
/proc/meminfo: memFree=1001120/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=152100 CPUtime=386.94
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1112323 662 0 0 38342 351 1 0 25 0 1 0 59287600 155750400 35514 996147200 134512640 135215973 4294956304 18446744073709551615 134584195 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 38025 35514 413 171 0 36950 0
Current children cumulated CPU time (s) 386.94
Current children cumulated vsize (KiB) 152100

[startup+393.501 s]
/proc/loadavg: 2.11 2.11 2.03 3/73 12784
/proc/meminfo: memFree=1000480/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=152492 CPUtime=390.11
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1141464 662 0 0 38650 360 1 0 25 0 1 0 59287600 156151808 35597 996147200 134512640 135215973 4294956304 18446744073709551615 134590075 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 38123 35597 413 171 0 37048 0
Current children cumulated CPU time (s) 390.11
Current children cumulated vsize (KiB) 152492

[startup+395.101 s]
/proc/loadavg: 2.11 2.11 2.03 3/73 12784
/proc/meminfo: memFree=1000416/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=152624 CPUtime=391.69
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1153506 662 0 0 38805 363 1 0 25 0 1 0 59287600 156286976 35633 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 38156 35633 413 171 0 37081 0
Current children cumulated CPU time (s) 391.69
Current children cumulated vsize (KiB) 152624

[startup+395.902 s]
/proc/loadavg: 2.18 2.12 2.04 4/73 12784
/proc/meminfo: memFree=999904/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=152624 CPUtime=392.5
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1159090 662 0 0 38883 366 1 0 25 0 1 0 59287600 156286976 35649 996147200 134512640 135215973 4294956304 18446744073709551615 134591693 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 38156 35649 413 171 0 37081 0
Current children cumulated CPU time (s) 392.5
Current children cumulated vsize (KiB) 152624

[startup+396.102 s]
/proc/loadavg: 2.18 2.12 2.04 4/73 12784
/proc/meminfo: memFree=999904/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=152624 CPUtime=392.68
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1159614 662 0 0 38901 366 1 0 25 0 1 0 59287600 156286976 35651 996147200 134512640 135215973 4294956304 18446744073709551615 134641958 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 38156 35651 413 171 0 37081 0
Current children cumulated CPU time (s) 392.68
Current children cumulated vsize (KiB) 152624

[startup+396.202 s]
/proc/loadavg: 2.18 2.12 2.04 4/73 12784
/proc/meminfo: memFree=999904/2055920 swapFree=4192812/4192956
[pid=12779] ppid=12777 vsize=144428 CPUtime=392.78
/proc/12779/stat : 12779 (pcs.big) R 12777 12779 12002 0 -1 4194304 1159614 662 0 0 38911 366 1 0 25 0 1 0 59287600 147894272 33985 996147200 134512640 135215973 4294956304 18446744073709551615 5160407 0 0 4096 0 0 0 0 17 1 0 0
/proc/12779/statm: 36107 33985 413 171 0 35032 0
Current children cumulated CPU time (s) 392.78
Current children cumulated vsize (KiB) 144428

Child status: 0
Real time (s): 396.29
CPU time (s): 392.891
CPU user time (s): 389.194
CPU system time (s): 3.69744
CPU usage (%): 99.1423
Max. virtual memory (cumulated for all children) (KiB): 153056

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

runsolver used 0.430934 second user time and 1.21481 second system time

The end

Launcher Data 

Begin job on node45 at 2009-07-16 07:30:38
IDJOB=2083066
IDBENCH=57695
IDSOLVER=733
FILE ID=node45/2083066-1247722238
PBS_JOBID= 9521445
Free space on /tmp= 66372 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp15/normalized-fapp15-3000-1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083066-1247722238/watcher-2083066-1247722238 -o /tmp/evaluation-result-2083066-1247722238/solver-2083066-1247722238 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1318590481 HOME/instance-2083066-1247722238.xml

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

MD5SUM BENCH= d8c3423564a2d6b9b1f50261d186e818
RANDOM SEED=1318590481

node45.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.281
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.281
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:       1170888 kB
Buffers:         84052 kB
Cached:         584116 kB
SwapCached:          0 kB
Active:         233520 kB
Inactive:       559648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1170888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6364 kB
Writeback:           0 kB
Mapped:         136560 kB
Slab:            76880 kB
Committed_AS:   621416 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= 66372 MiB
End job on node45 at 2009-07-16 07:37:15