Trace number 1724178

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
satake 2009-03-22UNSAT 412.275 206.841

General information on the benchmark

Namesimon-s03-fifo8-300.cnf
MD5SUMbc88ff447c824a634465ac9483a47d5c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.2557
Satisfiable
(Un)Satisfiability was proved
Number of variables194762
Number of clauses530713
Sum of the clauses size1200865
Maximum clause length11
Minimum clause length1
Number of clauses of size 14539
Number of clauses of size 2407666
Number of clauses of size 3101726
Number of clauses of size 413487
Number of clauses of size 51199
Number of clauses of size over 52096

Solver Data 

412.23/206.83	c Benchmark name    : HOME/instance-1724178-1240693129.cnf
412.23/206.83	c Thread Num        :            3
412.23/206.83	c restarts          :           15
412.23/206.83	c conflicts         :        84007
412.23/206.83	c decisions         :       281434           (     1364 / sec      )
412.23/206.83	c propagations      :    146847690           (   711523 / sec      )
412.23/206.83	c inspects          :    402607226           (  1950757 / sec      )
412.23/206.83	c conflict literals :      1453318           (    36.95 % deleted  )
412.23/206.83	c cpu time          :       206.39           
412.23/206.83	s UNSATISFIABLE

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-1724178-1240693129/watcher-1724178-1240693129 -o /tmp/evaluation-result-1724178-1240693129/solver-1724178-1240693129 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724178-1240693129.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.66 0.95 1.02 3/64 2912
/proc/meminfo: memFree=1821592/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=5120 CPUtime=0
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 669 0 0 0 0 0 0 0 18 0 4 0 97341948 5242880 655 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 1280 661 66 163 0 1115 0
[pid=2912/tid=2913] ppid=2910 vsize=5120 CPUtime=0
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97341948 5242880 678 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=5120 CPUtime=0
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 611 0 0 0 0 0 0 0 19 0 4 0 97341948 5242880 686 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=5120 CPUtime=0
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 97341948 5242880 695 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.0770141 s]
/proc/loadavg: 0.66 0.95 1.02 3/64 2912
/proc/meminfo: memFree=1821592/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=67448 CPUtime=0.14
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 10317 0 0 0 6 8 0 0 18 0 4 0 97341948 69066752 10302 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 16862 10304 65 163 0 16697 0
[pid=2912/tid=2913] ppid=2910 vsize=67448 CPUtime=0
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97341948 69066752 10309 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=67448 CPUtime=0.07
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 5169 0 0 0 3 4 0 0 18 0 4 0 97341948 69066752 10310 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=67448 CPUtime=0.06
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 5066 0 0 0 3 3 0 0 18 0 4 0 97341948 69066752 10312 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 67448

[startup+0.101014 s]
/proc/loadavg: 0.66 0.95 1.02 3/64 2912
/proc/meminfo: memFree=1821592/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=71740 CPUtime=0.18
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 12956 0 0 0 9 9 0 0 18 0 4 0 97341948 73461760 12942 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 17935 12944 65 163 0 17770 0
[pid=2912/tid=2913] ppid=2910 vsize=71740 CPUtime=0
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97341948 73461760 12946 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=71740 CPUtime=0.08
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 6441 0 0 0 4 4 0 0 18 0 4 0 97341948 73461760 12948 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=71740 CPUtime=0.09
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 6432 0 0 0 4 5 0 0 18 0 4 0 97341948 73461760 12950 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 71740

[startup+0.30104 s]
/proc/loadavg: 0.66 0.95 1.02 3/64 2912
/proc/meminfo: memFree=1821592/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=84224 CPUtime=0.57
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 17621 0 0 0 45 12 0 0 18 0 4 0 97341948 86245376 17606 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 21056 17606 65 163 0 20891 0
[pid=2912/tid=2913] ppid=2910 vsize=84224 CPUtime=0
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97341948 86245376 17606 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=84224 CPUtime=0.29
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 8780 0 0 0 23 6 0 0 16 0 4 0 97341948 86245376 17606 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=84224 CPUtime=0.28
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 8751 0 0 0 22 6 0 0 17 0 4 0 97341948 86245376 17607 1992294400 134512640 135180984 4294956208 18446744073709551615 134535254 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 84224

[startup+0.701086 s]
/proc/loadavg: 0.66 0.95 1.02 3/64 2912
/proc/meminfo: memFree=1821592/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=98596 CPUtime=1.37
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 20791 0 0 0 122 15 0 0 18 0 4 0 97341948 100962304 20776 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 24649 20776 65 163 0 24484 0
[pid=2912/tid=2913] ppid=2910 vsize=98596 CPUtime=0
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97341948 100962304 20776 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=98596 CPUtime=0.69
/proc/2912/task/2914/stat : 2914 (satake) S 2910 2912 2817 0 -1 4194368 10374 0 0 0 61 8 0 0 16 0 4 0 97341948 100962304 20776 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=98596 CPUtime=0.68
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 10327 0 0 0 61 7 0 0 17 0 4 0 97341948 100962304 20776 1992294400 134512640 135180984 4294956208 18446744073709551615 134673384 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 98596

[startup+1.50118 s]
/proc/loadavg: 0.66 0.95 1.02 3/68 2916
/proc/meminfo: memFree=1731960/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=97660 CPUtime=2.95
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 25454 0 0 0 273 22 0 0 18 0 4 0 97341948 100003840 20855 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 24415 20855 70 163 0 24250 0
[pid=2912/tid=2913] ppid=2910 vsize=97660 CPUtime=0.06
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 2955 0 0 0 4 2 0 0 15 0 4 0 97341948 100003840 20855 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=97660 CPUtime=1.46
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 11257 0 0 0 136 10 0 0 17 0 4 0 97341948 100003840 20855 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=97660 CPUtime=1.41
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 11159 0 0 0 132 9 0 0 17 0 4 0 97341948 100003840 20855 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 97660

[startup+3.10137 s]
/proc/loadavg: 0.77 0.97 1.03 3/68 2916
/proc/meminfo: memFree=1737784/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=97928 CPUtime=6.14
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 25561 0 0 0 583 31 0 0 18 0 4 0 97341948 100278272 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 24482 20962 70 163 0 24317 0
[pid=2912/tid=2913] ppid=2910 vsize=97928 CPUtime=0.11
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 2963 0 0 0 6 5 0 0 15 0 4 0 97341948 100278272 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=97928 CPUtime=3.03
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 11292 0 0 0 291 12 0 0 17 0 4 0 97341948 100278272 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=97928 CPUtime=2.97
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 11223 0 0 0 285 12 0 0 23 0 4 0 97341948 100278272 20962 1992294400 134512640 135180984 4294956208 18446744073709551615 134523740 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 97928

[startup+6.30275 s]
/proc/loadavg: 0.77 0.97 1.03 3/68 2916
/proc/meminfo: memFree=1737272/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=98328 CPUtime=12.52
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 25671 0 0 0 1199 53 0 0 18 0 4 0 97341948 100687872 21072 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 24582 21072 70 163 0 24417 0
[pid=2912/tid=2913] ppid=2910 vsize=98328 CPUtime=0.24
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 2980 0 0 0 10 14 0 0 15 0 4 0 97341948 100687872 21072 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=98328 CPUtime=6.16
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 11318 0 0 0 598 18 0 0 17 0 4 0 97341948 100687872 21072 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=98328 CPUtime=6.1
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 11290 0 0 0 590 20 0 0 21 0 4 0 97341948 100687872 21072 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 98328

[startup+12.7015 s]
/proc/loadavg: 0.95 1.00 1.04 3/68 2916
/proc/meminfo: memFree=1735928/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=99324 CPUtime=25.27
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 26011 0 0 0 2416 111 0 0 18 0 4 0 97341948 101707776 21412 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 24831 21412 70 163 0 24666 0
[pid=2912/tid=2913] ppid=2910 vsize=99324 CPUtime=0.57
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 3059 0 0 0 18 39 0 0 15 0 4 0 97341948 101707776 21412 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=99324 CPUtime=12.36
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 11413 0 0 0 1202 34 0 0 17 0 4 0 97341948 101707776 21412 1992294400 134512640 135180984 4294956208 18446744073709551615 134524861 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=99324 CPUtime=12.32
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 11456 0 0 0 1195 37 0 0 19 0 4 0 97341948 101707776 21412 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 99324

[startup+25.5029 s]
/proc/loadavg: 1.12 1.04 1.05 3/68 2916
/proc/meminfo: memFree=1733176/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=102424 CPUtime=50.77
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 26714 0 0 0 4858 219 0 0 18 0 4 0 97341948 104882176 22115 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 25606 22115 70 163 0 25441 0
[pid=2912/tid=2913] ppid=2910 vsize=102424 CPUtime=1.2
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 3228 0 0 0 33 87 0 0 15 0 4 0 97341948 104882176 22115 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=102424 CPUtime=24.83
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 11655 0 0 0 2418 65 0 0 17 0 4 0 97341948 104882176 22115 1992294400 134512640 135180984 4294956208 18446744073709551615 134518656 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=102424 CPUtime=24.73
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 11748 0 0 0 2407 66 0 0 18 0 4 0 97341948 104882176 22115 1992294400 134512640 135180984 4294956208 18446744073709551615 134518626 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 102424

[startup+51.1029 s]
/proc/loadavg: 1.42 1.11 1.07 3/68 2916
/proc/meminfo: memFree=1727736/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=107376 CPUtime=101.81
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 28079 0 0 0 9782 399 0 0 18 0 4 0 97341948 109953024 23480 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 26844 23480 70 163 0 26679 0
[pid=2912/tid=2913] ppid=2910 vsize=107376 CPUtime=2.28
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 3578 0 0 0 59 169 0 0 15 0 4 0 97341948 109953024 23480 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=107376 CPUtime=49.76
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 12135 0 0 0 4864 112 0 0 19 0 4 0 97341948 109953024 23480 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2912/tid=2915] ppid=2910 vsize=107376 CPUtime=49.75
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 12283 0 0 0 4858 117 0 0 25 0 4 0 97341948 109953024 23480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528956 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 107376

[startup+102.307 s]
/proc/loadavg: 1.83 1.28 1.13 3/68 2916
/proc/meminfo: memFree=1718584/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=116500 CPUtime=203.94
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 30320 0 0 0 19706 688 0 0 18 0 4 0 97341948 119296000 25721 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 29125 25721 70 163 0 28960 0
[pid=2912/tid=2913] ppid=2910 vsize=116500 CPUtime=3.98
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4161 0 0 0 97 301 0 0 15 0 4 0 97341948 119296000 25721 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=116500 CPUtime=100.05
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 12971 0 0 0 9812 193 0 0 17 0 4 0 97341948 119296000 25721 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=116500 CPUtime=99.88
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 13105 0 0 0 9795 193 0 0 25 0 4 0 97341948 119296000 25721 1992294400 134512640 135180984 4294956208 18446744073709551615 134518847 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 116500

[startup+162.303 s]
/proc/loadavg: 1.97 1.42 1.19 3/68 2922
/proc/meminfo: memFree=1710392/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=124908 CPUtime=323.63
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 32321 0 0 0 31429 934 0 0 18 0 4 0 97341948 127905792 27722 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 31227 27722 70 163 0 31062 0
[pid=2912/tid=2913] ppid=2910 vsize=124908 CPUtime=5.49
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4660 0 0 0 133 416 0 0 15 0 4 0 97341948 127905792 27722 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=124908 CPUtime=159.18
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 13698 0 0 0 15660 258 0 0 25 0 4 0 97341948 127905792 27722 1992294400 134512640 135180984 4294956208 18446744073709551615 134528267 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=124908 CPUtime=158.94
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 13880 0 0 0 15635 259 0 0 25 0 4 0 97341948 127905792 27722 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 124908

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

[startup+179.103 s]
/proc/loadavg: 1.98 1.45 1.20 3/68 2922
/proc/meminfo: memFree=1708536/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=126128 CPUtime=357.14
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 32797 0 0 0 34715 999 0 0 18 0 4 0 97341948 129155072 28198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 31532 28198 70 163 0 31367 0
[pid=2912/tid=2913] ppid=2910 vsize=126128 CPUtime=5.87
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4768 0 0 0 143 444 0 0 15 0 4 0 97341948 129155072 28198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=126128 CPUtime=175.75
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 13864 0 0 0 17298 277 0 0 25 0 4 0 97341948 129155072 28198 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=126128 CPUtime=175.49
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14082 0 0 0 17273 276 0 0 25 0 4 0 97341948 129155072 28198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528244 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 357.14
Current children cumulated vsize (KiB) 126128

[startup+191.901 s]
/proc/loadavg: 1.98 1.47 1.21 3/68 2922
/proc/meminfo: memFree=1707448/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=127944 CPUtime=382.68
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33076 0 0 0 37241 1027 0 0 18 0 4 0 97341948 131014656 28477 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 31986 28477 70 163 0 31821 0
[pid=2912/tid=2913] ppid=2910 vsize=127944 CPUtime=6.06
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4821 0 0 0 149 457 0 0 15 0 4 0 97341948 131014656 28477 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2912/tid=2914] ppid=2910 vsize=127944 CPUtime=188.45
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 13958 0 0 0 18561 284 0 0 25 0 4 0 97341948 131014656 28477 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=127944 CPUtime=188.15
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14214 0 0 0 18530 285 0 0 25 0 4 0 97341948 131014656 28477 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 382.68
Current children cumulated vsize (KiB) 127944

[startup+198.301 s]
/proc/loadavg: 1.98 1.48 1.21 3/68 2922
/proc/meminfo: memFree=1706936/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=128208 CPUtime=395.45
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33206 0 0 0 38508 1037 0 0 18 0 4 0 97341948 131284992 28607 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 32052 28607 70 163 0 31887 0
[pid=2912/tid=2913] ppid=2910 vsize=128208 CPUtime=6.14
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4842 0 0 0 152 462 0 0 15 0 4 0 97341948 131284992 28607 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=128208 CPUtime=194.81
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 14018 0 0 0 19194 287 0 0 25 0 4 0 97341948 131284992 28607 1992294400 134512640 135180984 4294956208 18446744073709551615 134525207 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=128208 CPUtime=194.48
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14263 0 0 0 19161 287 0 0 25 0 4 0 97341948 131284992 28607 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 395.45
Current children cumulated vsize (KiB) 128208

[startup+201.502 s]
/proc/loadavg: 1.98 1.48 1.21 3/68 2922
/proc/meminfo: memFree=1706744/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=128340 CPUtime=401.84
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33248 0 0 0 39142 1042 0 0 18 0 4 0 97341948 131420160 28649 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 32085 28649 70 163 0 31920 0
[pid=2912/tid=2913] ppid=2910 vsize=128340 CPUtime=6.16
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4854 0 0 0 152 464 0 0 15 0 4 0 97341948 131420160 28649 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=128340 CPUtime=198
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 14030 0 0 0 19512 288 0 0 25 0 4 0 97341948 131420160 28649 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=128340 CPUtime=197.66
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14281 0 0 0 19477 289 0 0 25 0 4 0 97341948 131420160 28649 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.84
Current children cumulated vsize (KiB) 128340

[startup+204.703 s]
/proc/loadavg: 1.98 1.49 1.22 3/68 2922
/proc/meminfo: memFree=1706552/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=128340 CPUtime=408.23
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33291 0 0 0 39775 1048 0 0 18 0 4 0 97341948 131420160 28692 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 32085 28692 70 163 0 31920 0
[pid=2912/tid=2913] ppid=2910 vsize=128340 CPUtime=6.2
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4869 0 0 0 153 467 0 0 15 0 4 0 97341948 131420160 28692 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=128340 CPUtime=201.17
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 14047 0 0 0 19828 289 0 0 25 0 4 0 97341948 131420160 28692 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=128340 CPUtime=200.83
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14292 0 0 0 19792 291 0 0 25 0 4 0 97341948 131420160 28692 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 128340

[startup+205.502 s]
/proc/loadavg: 1.98 1.49 1.22 3/68 2922
/proc/meminfo: memFree=1706552/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=128472 CPUtime=409.82
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33301 0 0 0 39933 1049 0 0 18 0 4 0 97341948 131555328 28702 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 32118 28702 70 163 0 31953 0
[pid=2912/tid=2913] ppid=2910 vsize=128472 CPUtime=6.21
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4872 0 0 0 153 468 0 0 15 0 4 0 97341948 131555328 28702 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=128472 CPUtime=201.97
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 14049 0 0 0 19907 290 0 0 25 0 4 0 97341948 131555328 28702 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=128472 CPUtime=201.62
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14297 0 0 0 19871 291 0 0 25 0 4 0 97341948 131555328 28702 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 409.82
Current children cumulated vsize (KiB) 128472

[startup+206.301 s]
/proc/loadavg: 1.98 1.49 1.22 3/68 2922
/proc/meminfo: memFree=1706552/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=128472 CPUtime=411.42
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33304 0 0 0 40092 1050 0 0 18 0 4 0 97341948 131555328 28705 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2912/statm: 32118 28705 70 163 0 31953 0
[pid=2912/tid=2913] ppid=2910 vsize=128472 CPUtime=6.22
/proc/2912/task/2913/stat : 2913 (satake) S 2910 2912 2817 0 -1 4194368 4872 0 0 0 154 468 0 0 15 0 4 0 97341948 131555328 28705 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2912/tid=2914] ppid=2910 vsize=128472 CPUtime=202.77
/proc/2912/task/2914/stat : 2914 (satake) R 2910 2912 2817 0 -1 4194368 14049 0 0 0 19987 290 0 0 25 0 4 0 97341948 131555328 28705 1992294400 134512640 135180984 4294956208 18446744073709551615 134532425 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2912/tid=2915] ppid=2910 vsize=128472 CPUtime=202.42
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14300 0 0 0 19951 291 0 0 25 0 4 0 97341948 131555328 28705 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 411.42
Current children cumulated vsize (KiB) 128472

[startup+206.701 s]
/proc/loadavg: 1.98 1.50 1.22 2/66 2922
/proc/meminfo: memFree=1730168/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=97352 CPUtime=412.13
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33313 0 0 0 40153 1060 0 0 15 0 2 0 97341948 99688448 22705 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2912/statm: 24338 22705 79 163 0 24173 0
[pid=2912/tid=2915] ppid=2910 vsize=97352 CPUtime=202.81
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14300 0 0 0 19985 296 0 0 17 0 2 0 97341948 99688448 22705 1992294400 134512640 135180984 4294956208 18446744073709551615 134666427 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 412.13
Current children cumulated vsize (KiB) 97352

[startup+206.805 s]
/proc/loadavg: 1.98 1.50 1.22 2/66 2922
/proc/meminfo: memFree=1730168/2055920 swapFree=4192812/4192956
[pid=2912] ppid=2910 vsize=97352 CPUtime=412.23
/proc/2912/stat : 2912 (satake) S 2910 2912 2817 0 -1 4194304 33313 0 0 0 40163 1060 0 0 15 0 2 0 97341948 99688448 22705 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2912/statm: 24338 22705 79 163 0 24173 0
[pid=2912/tid=2915] ppid=2910 vsize=97352 CPUtime=202.91
/proc/2912/task/2915/stat : 2915 (satake) R 2910 2912 2817 0 -1 4194368 14300 0 0 0 19995 296 0 0 17 0 2 0 97341948 99688448 22705 1992294400 134512640 135180984 4294956208 18446744073709551615 134666416 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 412.23
Current children cumulated vsize (KiB) 97352

Child status: 3
Real time (s): 206.841
CPU time (s): 412.275
CPU user time (s): 401.651
CPU system time (s): 10.6244
CPU usage (%): 199.32
Max. virtual memory (cumulated for all children) (KiB): 128472


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 401.651
system time used= 10.6244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33313
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= 939359
involuntary context switches= 932925

runsolver used 0.182972 second user time and 0.581911 second system time

The end

Launcher Data 

Begin job on node75 at 2009-04-25 22:58:51
IDJOB=1724178
IDBENCH=71758
IDSOLVER=553
FILE ID=node75/1724178-1240693129
PBS_JOBID= 9186754
Free space on /tmp= 66424 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/simon-s03-fifo8-300.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724178-1240693129/watcher-1724178-1240693129 -o /tmp/evaluation-result-1724178-1240693129/solver-1724178-1240693129 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724178-1240693129.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= bc88ff447c824a634465ac9483a47d5c
RANDOM SEED=970219799

node75.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1822072 kB
Buffers:         21156 kB
Cached:         137216 kB
SwapCached:          0 kB
Active:          37236 kB
Inactive:       135044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10020 kB
Writeback:           0 kB
Mapped:          23652 kB
Slab:            47460 kB
Committed_AS:   234892 kB
PageTables:       1416 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= 66420 MiB
End job on node75 at 2009-04-25 23:02:18