Trace number 2067314

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.2? (MO) 733.878 740.852

General information on the benchmark

Namecsp/pseudo/fpga/
normalized-fpga-40-39.xml
MD5SUM955b84cc7f376fd02a2d68e4f3da3bab
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.0574
Satisfiable
(Un)Satisfiability was proved
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 

0.00/0.02	c has operations which may create big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 762974947
0.00/0.02	c Constructing HOME/instance-2067314-1247705399.xml  with 38220 constraints
0.57/0.64	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067314-1247705399/watcher-2067314-1247705399 -o /tmp/evaluation-result-2067314-1247705399/solver-2067314-1247705399 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 762974947 HOME/instance-2067314-1247705399.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: 1.86 2.00 2.04 4/82 14180
/proc/meminfo: memFree=966408/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=5356 CPUtime=0
/proc/14180/stat : 14180 (pcssolve) R 14178 14180 12604 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57606288 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266134416031 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14180/statm: 1339 241 200 169 0 50 0
[pid=14181] ppid=14180 vsize=3676 CPUtime=0
/proc/14181/stat : 14181 (fgrep) R 14180 14180 12604 0 -1 4194304 147 0 0 0 0 0 0 0 22 0 1 0 57606289 3764224 114 996147200 4194304 4274172 548682068976 18446744073709551615 4243284 0 0 4096 0 0 0 0 17 1 0 0
/proc/14181/statm: 919 114 86 19 0 43 0
[pid=14182] ppid=14180 vsize=5356 CPUtime=0
/proc/14182/stat : 14182 (pcssolve) R 14180 14180 12604 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57606289 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266134416031 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14182/statm: 1339 241 200 169 0 50 0

[startup+0.0586199 s]
/proc/loadavg: 1.86 2.00 2.04 4/82 14180
/proc/meminfo: memFree=966408/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=5396 CPUtime=0.03
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1039 826 0 0 3 0 0 0 24 0 1 0 57606288 5525504 648 996147200 134512640 135215973 4294956304 18446744073709551615 134798530 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 1349 648 385 171 0 274 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5396

[startup+0.101622 s]
/proc/loadavg: 1.86 2.00 2.04 4/82 14180
/proc/meminfo: memFree=966408/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=6448 CPUtime=0.07
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1331 826 0 0 7 0 0 0 24 0 1 0 57606288 6602752 853 996147200 134512640 135215973 4294956304 18446744073709551615 134762865 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 1612 853 385 171 0 537 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6448

[startup+0.301651 s]
/proc/loadavg: 1.86 2.00 2.04 4/82 14180
/proc/meminfo: memFree=966408/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=13024 CPUtime=0.28
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 2964 826 0 0 27 1 0 0 25 0 1 0 57606288 13336576 1892 996147200 134512640 135215973 4294956304 18446744073709551615 4159198340 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 3256 1892 385 171 0 2181 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13024

[startup+0.701694 s]
/proc/loadavg: 1.86 2.00 2.04 4/82 14180
/proc/meminfo: memFree=966408/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=24748 CPUtime=0.67
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 7729 826 0 0 64 3 0 0 25 0 1 0 57606288 25341952 4919 996147200 134512640 135215973 4294956304 18446744073709551615 135097099 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 6187 4919 406 171 0 5112 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 24748

[startup+1.50178 s]
/proc/loadavg: 1.86 2.00 2.04 3/83 14186
/proc/meminfo: memFree=940608/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=45168 CPUtime=1.46
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 15054 826 0 0 140 6 0 0 25 0 1 0 57606288 46252032 9015 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 11292 9015 406 171 0 10217 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45168

[startup+3.10196 s]
/proc/loadavg: 1.86 2.00 2.04 3/83 14186
/proc/meminfo: memFree=930112/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=66008 CPUtime=3.05
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 23262 826 0 0 295 10 0 0 25 0 1 0 57606288 67592192 13286 996147200 134512640 135215973 4294956304 18446744073709551615 4158960485 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 16502 13286 409 171 0 15427 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 66008

[startup+6.30231 s]
/proc/loadavg: 1.87 2.00 2.04 3/83 14186
/proc/meminfo: memFree=913408/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=66272 CPUtime=6.23
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 27602 826 0 0 611 12 0 0 25 0 1 0 57606288 67862528 13522 996147200 134512640 135215973 4294956304 18446744073709551615 134609908 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 16568 13522 409 171 0 15493 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 66272

[startup+12.702 s]
/proc/loadavg: 1.88 2.00 2.04 3/83 14186
/proc/meminfo: memFree=913280/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=66536 CPUtime=12.56
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 30898 826 0 0 1243 13 0 0 25 0 1 0 57606288 68132864 13588 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 16634 13588 409 171 0 15559 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 66536

[startup+25.5014 s]
/proc/loadavg: 1.91 2.00 2.04 3/83 14186
/proc/meminfo: memFree=904064/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=76336 CPUtime=25.23
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 143539 826 0 0 2478 45 0 0 25 0 1 0 57606288 78168064 16072 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 19084 16072 409 171 0 18009 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 76336

[startup+51.1013 s]
/proc/loadavg: 1.94 2.00 2.04 3/83 14186
/proc/meminfo: memFree=876544/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=104308 CPUtime=50.6
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 202698 826 0 0 4994 66 0 0 25 0 1 0 57606288 106811392 22977 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 26077 22977 409 171 0 25002 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 104308

[startup+102.307 s]
/proc/loadavg: 1.97 2.00 2.03 3/83 14188
/proc/meminfo: memFree=763392/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=215740 CPUtime=101.32
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 866857 826 0 0 9856 276 0 0 25 0 1 0 57606288 220917760 51063 996147200 134512640 135215973 4294956304 18446744073709551615 134648425 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 53935 51063 409 171 0 52860 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 215740

[startup+162.302 s]
/proc/loadavg: 1.99 2.00 2.03 3/83 14188
/proc/meminfo: memFree=645760/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=336092 CPUtime=160.75
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1293493 826 0 0 15662 413 0 0 25 0 1 0 57606288 344158208 80382 996147200 134512640 135215973 4294956304 18446744073709551615 134533336 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 84023 80382 409 171 0 82948 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 336092

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.02 3/83 14188
/proc/meminfo: memFree=634816/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=346656 CPUtime=220.18
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1358820 826 0 0 21578 440 0 0 25 0 1 0 57606288 354975744 83085 996147200 134512640 135215973 4294956304 18446744073709551615 4158960484 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 86664 83085 409 171 0 85589 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 346656

[startup+282.302 s]
/proc/loadavg: 1.99 2.00 2.02 3/83 14188
/proc/meminfo: memFree=619840/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=361448 CPUtime=279.63
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1443152 826 0 0 27486 477 0 0 25 0 1 0 57606288 370122752 86819 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 90362 86819 409 171 0 89287 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 361448

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.01 3/83 14188
/proc/meminfo: memFree=603584/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=377432 CPUtime=339.06
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1539012 826 0 0 33386 520 0 0 25 0 1 0 57606288 386490368 90833 996147200 134512640 135215973 4294956304 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 94358 90833 409 171 0 93283 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 377432

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 14188
/proc/meminfo: memFree=586944/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=394064 CPUtime=398.51
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1638188 826 0 0 39288 563 0 0 25 0 1 0 57606288 403521536 95009 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 98516 95009 409 171 0 97441 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 394064

[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 14188
/proc/meminfo: memFree=568704/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=412328 CPUtime=457.93
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1744721 826 0 0 45185 608 0 0 25 0 1 0 57606288 422223872 99588 996147200 134512640 135215973 4294956304 18446744073709551615 135096031 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 103082 99588 409 171 0 102007 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 412328

[startup+522.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 14188
/proc/meminfo: memFree=550976/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=429752 CPUtime=517.37
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 1854737 826 0 0 51086 651 0 0 25 0 1 0 57606288 440066048 104002 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 107438 104002 409 171 0 106363 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 429752

[startup+582.302 s]
/proc/loadavg: 2.11 2.04 2.01 3/83 14188
/proc/meminfo: memFree=506624/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=474500 CPUtime=576.81
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 2004996 826 0 0 56972 709 0 0 25 0 1 0 57606288 485888000 115299 996147200 134512640 135215973 4294956304 18446744073709551615 134611187 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 118625 115299 409 171 0 117550 0
Current children cumulated CPU time (s) 576.81
Current children cumulated vsize (KiB) 474500

[startup+642.302 s]
/proc/loadavg: 2.04 2.03 2.00 3/83 14188
/proc/meminfo: memFree=343168/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=639052 CPUtime=636.24
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 2529177 826 0 0 62746 878 0 0 25 0 1 0 57606288 654389248 155788 996147200 134512640 135215973 4294956304 18446744073709551615 134627172 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 159763 155788 409 171 0 158688 0
Current children cumulated CPU time (s) 636.24
Current children cumulated vsize (KiB) 639052

[startup+702.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/83 14194
/proc/meminfo: memFree=166912/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=811648 CPUtime=695.67
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 3148038 826 0 0 68485 1082 0 0 25 0 1 0 57606288 831127552 200051 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 202912 200051 409 171 0 201837 0
Current children cumulated CPU time (s) 695.67
Current children cumulated vsize (KiB) 811648



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+740.701 s]
/proc/loadavg: 2.07 2.04 2.00 3/83 14194
/proc/meminfo: memFree=62208/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=921632 CPUtime=733.71
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4194304 3583599 826 0 0 72148 1223 0 0 25 0 1 0 57606288 943751168 225861 996147200 134512640 135215973 4294956304 18446744073709551615 134590615 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 230408 225861 409 171 0 229333 0
Current children cumulated CPU time (s) 733.71
Current children cumulated vsize (KiB) 921632

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

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

[startup+740.808 s]
/proc/loadavg: 2.07 2.04 2.00 3/83 14194
/proc/meminfo: memFree=62208/2055920 swapFree=4192812/4192956
[pid=14180] ppid=14178 vsize=0 CPUtime=733.81
/proc/14180/stat : 14180 (pcs.big) R 14178 14180 12604 0 -1 4195332 3583599 826 0 0 72148 1233 0 0 25 0 1 0 57606288 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/14180/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 733.81
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 740.852
CPU time (s): 733.878
CPU user time (s): 721.495
CPU system time (s): 12.3831
CPU usage (%): 99.0587
Max. virtual memory (cumulated for all children) (KiB): 921632

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

runsolver used 0.972852 second user time and 2.40563 second system time

The end

Launcher Data 

Begin job on node35 at 2009-07-16 02:49:59
IDJOB=2067314
IDBENCH=54638
IDSOLVER=733
FILE ID=node35/2067314-1247705399
PBS_JOBID= 9521240
Free space on /tmp= 66160 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/fpga/normalized-fpga-40-39.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2067314-1247705399/watcher-2067314-1247705399 -o /tmp/evaluation-result-2067314-1247705399/solver-2067314-1247705399 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 762974947 HOME/instance-2067314-1247705399.xml

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

MD5SUM BENCH= 955b84cc7f376fd02a2d68e4f3da3bab
RANDOM SEED=762974947

node35.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.213
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.213
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:        966888 kB
Buffers:         66540 kB
Cached:         902596 kB
SwapCached:          0 kB
Active:          88584 kB
Inactive:       924264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        966888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2768 kB
Writeback:           0 kB
Mapped:          64188 kB
Slab:            61224 kB
Committed_AS:   614000 kB
PageTables:       1916 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= 66156 MiB
End job on node35 at 2009-07-16 03:02:22