Trace number 1580000

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-22? (TO) 1200.18 601.48

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-15-5p0.cnf
MD5SUMb21b299f860c56270b509900cff82599
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark565.218
Satisfiable
(Un)Satisfiability was proved
Number of variables162926
Number of clauses821689
Sum of the clauses size1954581
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2618514
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/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-1580000-1238913596/watcher-1580000-1238913596 -o /tmp/evaluation-result-1580000-1238913596/solver-1580000-1238913596 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1580000-1238913596.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: 1.00 1.02 1.00 2/64 9404
/proc/meminfo: memFree=1532528/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=5120 CPUtime=0
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 752 0 0 0 0 0 0 0 18 0 4 0 335561117 5242880 737 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 1280 745 65 163 0 1115 0
[pid=9404/tid=9405] ppid=9402 vsize=5120 CPUtime=0
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 335561117 5242880 764 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=5120 CPUtime=0
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 699 0 0 0 0 0 0 0 20 0 4 0 335561117 5242880 775 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=5120 CPUtime=0
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 335561117 5242880 783 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.0507919 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 9404
/proc/meminfo: memFree=1532528/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=36784 CPUtime=0.08
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 8719 0 0 0 1 7 0 0 18 0 4 0 335561117 37666816 8689 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 9196 8689 65 163 0 9031 0
[pid=9404/tid=9405] ppid=9402 vsize=36784 CPUtime=0
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 335561117 37666816 8689 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=36784 CPUtime=0.04
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 4588 0 0 0 1 3 0 0 18 0 4 0 335561117 37666816 8689 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=36784 CPUtime=0.03
/proc/9404/task/9407/stat : 9407 (satake) D 9402 9404 8687 0 -1 4194368 4041 0 0 0 0 3 0 0 16 0 4 0 335561117 37666816 8689 1992294400 134512640 135180984 4294956208 18446744073709551615 134522312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36784

[startup+0.102334 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 9404
/proc/meminfo: memFree=1532528/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=61488 CPUtime=0.18
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 13806 0 0 0 8 10 0 0 18 0 4 0 335561117 62963712 13769 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 15372 13771 65 163 0 15207 0
[pid=9404/tid=9405] ppid=9402 vsize=61488 CPUtime=0
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 335561117 62963712 13772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=61488 CPUtime=0.09
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 7242 0 0 0 4 5 0 0 17 0 4 0 335561117 62963712 13774 1992294400 134512640 135180984 4294956208 18446744073709551615 134681017 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=61488 CPUtime=0.08
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 6481 0 0 0 3 5 0 0 17 0 4 0 335561117 62963712 13776 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 61488

[startup+0.301354 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 9404
/proc/meminfo: memFree=1532528/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=93940 CPUtime=0.57
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 18085 0 0 0 42 15 0 0 18 0 4 0 335561117 96194560 18048 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 23485 18048 65 163 0 23320 0
[pid=9404/tid=9405] ppid=9402 vsize=93940 CPUtime=0
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 335561117 96194560 18048 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=93940 CPUtime=0.28
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 9163 0 0 0 21 7 0 0 16 0 4 0 335561117 96194560 18048 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=93940 CPUtime=0.28
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 8833 0 0 0 20 8 0 0 16 0 4 0 335561117 96194560 18049 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 93940

[startup+0.701589 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 9404
/proc/meminfo: memFree=1532528/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=113716 CPUtime=1.36
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 22988 0 0 0 117 19 0 0 18 0 4 0 335561117 116445184 22951 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 28429 22952 65 163 0 28264 0
[pid=9404/tid=9405] ppid=9402 vsize=113716 CPUtime=0
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 335561117 116445184 22953 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=113716 CPUtime=0.68
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 11759 0 0 0 59 9 0 0 16 0 4 0 335561117 116445184 22953 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=113716 CPUtime=0.67
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 11141 0 0 0 57 10 0 0 16 0 4 0 335561117 116445184 22954 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 113716

[startup+1.50149 s]
/proc/loadavg: 1.00 1.02 1.00 3/68 9408
/proc/meminfo: memFree=1418128/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=113132 CPUtime=2.93
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 30754 0 0 0 264 29 0 0 18 0 4 0 335561117 115847168 23261 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 28283 23261 70 163 0 28118 0
[pid=9404/tid=9405] ppid=9402 vsize=113132 CPUtime=0.05
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1661 0 0 0 5 0 0 0 16 0 4 0 335561117 115847168 23261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=113132 CPUtime=1.43
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 14710 0 0 0 130 13 0 0 17 0 4 0 335561117 115847168 23261 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=113132 CPUtime=1.43
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 14300 0 0 0 128 15 0 0 17 0 4 0 335561117 115847168 23261 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 113132

[startup+3.10167 s]
/proc/loadavg: 1.08 1.03 1.01 3/68 9408
/proc/meminfo: memFree=1438864/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=113132 CPUtime=6.12
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 30843 0 0 0 577 35 0 0 18 0 4 0 335561117 115847168 23350 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 28283 23350 70 163 0 28118 0
[pid=9404/tid=9405] ppid=9402 vsize=113132 CPUtime=0.08
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1663 0 0 0 5 3 0 0 16 0 4 0 335561117 115847168 23350 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=113132 CPUtime=3.01
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 14734 0 0 0 287 14 0 0 19 0 4 0 335561117 115847168 23350 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=113132 CPUtime=3.02
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 14363 0 0 0 284 18 0 0 17 0 4 0 335561117 115847168 23350 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 113132

[startup+6.30302 s]
/proc/loadavg: 1.08 1.03 1.01 4/68 9408
/proc/meminfo: memFree=1438608/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=113408 CPUtime=12.5
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 30914 0 0 0 1200 50 0 0 18 0 4 0 335561117 116129792 23421 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 28352 23421 70 163 0 28187 0
[pid=9404/tid=9405] ppid=9402 vsize=113408 CPUtime=0.16
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1667 0 0 0 7 9 0 0 16 0 4 0 335561117 116129792 23421 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=113408 CPUtime=6.15
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 14781 0 0 0 596 19 0 0 16 0 4 0 335561117 116129792 23421 1992294400 134512640 135180984 4294956208 18446744073709551615 134523789 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=113408 CPUtime=6.17
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 14383 0 0 0 596 21 0 0 17 0 4 0 335561117 116129792 23421 1992294400 134512640 135180984 4294956208 18446744073709551615 134521074 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 113408

[startup+12.7027 s]
/proc/loadavg: 1.22 1.06 1.02 3/68 9408
/proc/meminfo: memFree=1436816/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=115904 CPUtime=25.27
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 31477 0 0 0 2451 76 0 0 18 0 4 0 335561117 118685696 23984 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 28976 23984 70 163 0 28811 0
[pid=9404/tid=9405] ppid=9402 vsize=115904 CPUtime=0.3
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1672 0 0 0 11 19 0 0 16 0 4 0 335561117 118685696 23984 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=115904 CPUtime=12.45
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 15122 0 0 0 1217 28 0 0 20 0 4 0 335561117 118685696 23984 1992294400 134512640 135180984 4294956208 18446744073709551615 134518266 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=115904 CPUtime=12.5
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 14600 0 0 0 1222 28 0 0 17 0 4 0 335561117 118685696 23984 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 115904

[startup+25.5011 s]
/proc/loadavg: 1.34 1.09 1.02 3/68 9408
/proc/meminfo: memFree=1429840/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=122704 CPUtime=50.8
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 33201 0 0 0 4963 117 0 0 18 0 4 0 335561117 125648896 25708 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 30676 25708 70 163 0 30511 0
[pid=9404/tid=9405] ppid=9402 vsize=122704 CPUtime=0.51
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1685 0 0 0 15 36 0 0 15 0 4 0 335561117 125648896 25708 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=122704 CPUtime=25.09
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 16127 0 0 0 2469 40 0 0 20 0 4 0 335561117 125648896 25708 1992294400 134512640 135180984 4294956208 18446744073709551615 134528993 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=122704 CPUtime=25.17
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 15306 0 0 0 2477 40 0 0 17 0 4 0 335561117 125648896 25708 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 122704

[startup+51.102 s]
/proc/loadavg: 1.56 1.16 1.05 3/68 9408
/proc/meminfo: memFree=1415184/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=138124 CPUtime=101.88
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 36907 0 0 0 10012 176 0 0 18 0 4 0 335561117 141438976 29414 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 34531 29414 70 163 0 34366 0
[pid=9404/tid=9405] ppid=9402 vsize=138124 CPUtime=0.82
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1705 0 0 0 22 60 0 0 15 0 4 0 335561117 141438976 29414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=138124 CPUtime=50.45
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 17976 0 0 0 4988 57 0 0 19 0 4 0 335561117 141438976 29414 1992294400 134512640 135180984 4294956208 18446744073709551615 134524749 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=138124 CPUtime=50.59
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 17143 0 0 0 5001 58 0 0 23 0 4 0 335561117 141438976 29414 1992294400 134512640 135180984 4294956208 18446744073709551615 134526206 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 138124

[startup+102.306 s]
/proc/loadavg: 1.82 1.30 1.10 3/68 9408
/proc/meminfo: memFree=1387088/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=165584 CPUtime=204.05
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 43839 0 0 0 20144 261 0 0 18 0 4 0 335561117 169558016 36346 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 41396 36346 70 163 0 41231 0
[pid=9404/tid=9405] ppid=9402 vsize=165584 CPUtime=1.28
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1738 0 0 0 35 93 0 0 16 0 4 0 335561117 169558016 36346 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=165584 CPUtime=101.23
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 21717 0 0 0 10040 83 0 0 20 0 4 0 335561117 169558016 36346 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=165584 CPUtime=101.53
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 20301 0 0 0 10068 85 0 0 25 0 4 0 335561117 169558016 36346 1992294400 134512640 135180984 4294956208 18446744073709551615 134524611 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 165584

[startup+162.301 s]
/proc/loadavg: 1.93 1.43 1.15 3/68 9410
/proc/meminfo: memFree=1351888/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=200824 CPUtime=323.78
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 52693 0 0 0 32052 326 0 0 18 0 4 0 335561117 205643776 45200 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 50206 45200 70 163 0 50041 0
[pid=9404/tid=9405] ppid=9402 vsize=200824 CPUtime=1.58
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1774 0 0 0 42 116 0 0 16 0 4 0 335561117 205643776 45200 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=200824 CPUtime=160.82
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 26160 0 0 0 15983 99 0 0 25 0 4 0 335561117 205643776 45200 1992294400 134512640 135180984 4294956208 18446744073709551615 134525414 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=200824 CPUtime=161.35
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 24676 0 0 0 16026 109 0 0 25 0 4 0 335561117 205643776 45200 1992294400 134512640 135180984 4294956208 18446744073709551615 134524757 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.78
Current children cumulated vsize (KiB) 200824

[startup+222.302 s]
/proc/loadavg: 1.97 1.53 1.20 3/68 9410
/proc/meminfo: memFree=1316752/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=235776 CPUtime=443.52
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 61415 0 0 0 43974 378 0 0 18 0 4 0 335561117 241434624 53922 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 58944 53922 70 163 0 58779 0
[pid=9404/tid=9405] ppid=9402 vsize=235776 CPUtime=1.85
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1802 0 0 0 50 135 0 0 16 0 4 0 335561117 241434624 53922 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9404/tid=9406] ppid=9402 vsize=235776 CPUtime=220.45
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 30365 0 0 0 21930 115 0 0 25 0 4 0 335561117 241434624 53922 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=235776 CPUtime=221.2
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 29165 0 0 0 21993 127 0 0 25 0 4 0 335561117 241434624 53922 1992294400 134512640 135180984 4294956208 18446744073709551615 134524746 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (KiB) 235776

[startup+282.302 s]
/proc/loadavg: 1.99 1.61 1.25 3/68 9410
/proc/meminfo: memFree=1283856/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=269216 CPUtime=563.26
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 69688 0 0 0 55903 423 0 0 18 0 4 0 335561117 275677184 62195 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 67304 62195 70 163 0 67139 0
[pid=9404/tid=9405] ppid=9402 vsize=269216 CPUtime=2.05
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1822 0 0 0 55 150 0 0 16 0 4 0 335561117 275677184 62195 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9404/tid=9406] ppid=9402 vsize=269216 CPUtime=280.11
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 34565 0 0 0 27881 130 0 0 25 0 4 0 335561117 275677184 62195 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9404/tid=9407] ppid=9402 vsize=269216 CPUtime=281.08
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 33218 0 0 0 27966 142 0 0 25 0 4 0 335561117 275677184 62195 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.26
Current children cumulated vsize (KiB) 269216

[startup+342.301 s]
/proc/loadavg: 1.99 1.68 1.30 3/68 9410
/proc/meminfo: memFree=1244880/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=307600 CPUtime=683
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 79336 0 0 0 67838 462 0 0 18 0 4 0 335561117 314982400 71843 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 76900 71843 70 163 0 76735 0
[pid=9404/tid=9405] ppid=9402 vsize=307600 CPUtime=2.22
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1847 0 0 0 59 163 0 0 16 0 4 0 335561117 314982400 71843 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=307600 CPUtime=339.91
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 38903 0 0 0 33849 142 0 0 25 0 4 0 335561117 314982400 71843 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9404/tid=9407] ppid=9402 vsize=307600 CPUtime=340.85
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 38503 0 0 0 33929 156 0 0 17 0 4 0 335561117 314982400 71843 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683
Current children cumulated vsize (KiB) 307600

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/68 9410
/proc/meminfo: memFree=1215056/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=338296 CPUtime=802.74
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 86862 0 0 0 79768 506 0 0 18 0 4 0 335561117 346415104 79369 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 84574 79369 70 163 0 84409 0
[pid=9404/tid=9405] ppid=9402 vsize=338296 CPUtime=2.42
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1872 0 0 0 64 178 0 0 16 0 4 0 335561117 346415104 79369 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9404/tid=9406] ppid=9402 vsize=338296 CPUtime=399.79
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 42671 0 0 0 39823 156 0 0 23 0 4 0 335561117 346415104 79369 1992294400 134512640 135180984 4294956208 18446744073709551615 134528438 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9404/tid=9407] ppid=9402 vsize=338296 CPUtime=400.51
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 42236 0 0 0 39881 170 0 0 25 0 4 0 335561117 346415104 79369 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.74
Current children cumulated vsize (KiB) 338296

[startup+462.301 s]
/proc/loadavg: 1.99 1.78 1.38 3/68 9410
/proc/meminfo: memFree=1184016/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=368344 CPUtime=922.48
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 94537 0 0 0 91700 548 0 0 18 0 4 0 335561117 377184256 87044 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 92086 87044 70 163 0 91921 0
[pid=9404/tid=9405] ppid=9402 vsize=368344 CPUtime=2.59
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1888 0 0 0 68 191 0 0 15 0 4 0 335561117 377184256 87044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9404/tid=9406] ppid=9402 vsize=368344 CPUtime=459.69
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 46396 0 0 0 45799 170 0 0 17 0 4 0 335561117 377184256 87044 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9404/tid=9407] ppid=9402 vsize=368344 CPUtime=460.19
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 46170 0 0 0 45832 187 0 0 18 0 4 0 335561117 377184256 87044 1992294400 134512640 135180984 4294956208 18446744073709551615 134519095 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.48
Current children cumulated vsize (KiB) 368344

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 9410
/proc/meminfo: memFree=1152016/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=401144 CPUtime=1042.23
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 102574 0 0 0 103644 579 0 0 18 0 4 0 335561117 410771456 95081 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 100286 95081 70 163 0 100121 0
[pid=9404/tid=9405] ppid=9402 vsize=401144 CPUtime=2.7
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1904 0 0 0 71 199 0 0 16 0 4 0 335561117 410771456 95081 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=401144 CPUtime=519.62
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 50053 0 0 0 51781 181 0 0 25 0 4 0 335561117 410771456 95081 1992294400 134512640 135180984 4294956208 18446744073709551615 134525152 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9404/tid=9407] ppid=9402 vsize=401144 CPUtime=519.89
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 50534 0 0 0 51791 198 0 0 25 0 4 0 335561117 410771456 95081 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.23
Current children cumulated vsize (KiB) 401144

[startup+582.302 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 9410
/proc/meminfo: memFree=1124880/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=426804 CPUtime=1161.97
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 109305 0 0 0 115587 610 0 0 18 0 4 0 335561117 437047296 101812 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 106701 101812 70 163 0 106536 0
[pid=9404/tid=9405] ppid=9402 vsize=426804 CPUtime=2.84
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1918 0 0 0 75 209 0 0 16 0 4 0 335561117 437047296 101812 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=9404/tid=9406] ppid=9402 vsize=426804 CPUtime=579.53
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 53408 0 0 0 57762 191 0 0 25 0 4 0 335561117 437047296 101812 1992294400 134512640 135180984 4294956208 18446744073709551615 134525462 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9404/tid=9407] ppid=9402 vsize=426804 CPUtime=579.58
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 53896 0 0 0 57749 209 0 0 25 0 4 0 335561117 437047296 101812 1992294400 134512640 135180984 4294956208 18446744073709551615 134526240 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.97
Current children cumulated vsize (KiB) 426804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 9410
/proc/meminfo: memFree=1113872/2055920 swapFree=4181692/4192956
[pid=9404] ppid=9402 vsize=438788 CPUtime=1200.09
/proc/9404/stat : 9404 (satake) S 9402 9404 8687 0 -1 4194304 111983 0 0 0 119389 620 0 0 18 0 4 0 335561117 449318912 104490 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9404/statm: 109697 104490 70 163 0 109532 0
[pid=9404/tid=9405] ppid=9402 vsize=438788 CPUtime=2.88
/proc/9404/task/9405/stat : 9405 (satake) S 9402 9404 8687 0 -1 4194368 1921 0 0 0 76 212 0 0 16 0 4 0 335561117 449318912 104490 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=9404/tid=9406] ppid=9402 vsize=438788 CPUtime=598.61
/proc/9404/task/9406/stat : 9406 (satake) R 9402 9404 8687 0 -1 4194368 54677 0 0 0 59667 194 0 0 25 0 4 0 335561117 449318912 104490 1992294400 134512640 135180984 4294956208 18446744073709551615 134522609 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9404/tid=9407] ppid=9402 vsize=438788 CPUtime=598.59
/proc/9404/task/9407/stat : 9407 (satake) R 9402 9404 8687 0 -1 4194368 55302 0 0 0 59646 213 0 0 18 0 4 0 335561117 449318912 104490 1992294400 134512640 135180984 4294956208 18446744073709551615 134525174 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 438788

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.48
CPU time (s): 1200.18
CPU user time (s): 1193.91
CPU system time (s): 6.27405
CPU usage (%): 199.538
Max. virtual memory (cumulated for all children) (KiB): 438788

deleting IPC queue 5013504
deleting IPC queue 5046273
deleting IPC queue 5079042
deleting IPC queue 5111811
deleting IPC queue 5144580
deleting IPC queue 5177349
deleting IPC queue 5210118
deleting IPC queue 5242887
deleting IPC queue 5275656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.91
system time used= 6.27405
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111983
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= 409045
involuntary context switches= 413473

runsolver used 0.557915 second user time and 1.63875 second system time

The end

Launcher Data 

Begin job on node42 at 2009-04-05 08:39:57
IDJOB=1580000
IDBENCH=71008
IDSOLVER=553
FILE ID=node42/1580000-1238913596
PBS_JOBID= 9101336
Free space on /tmp= 66544 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1580000-1238913596/watcher-1580000-1238913596 -o /tmp/evaluation-result-1580000-1238913596/solver-1580000-1238913596 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1580000-1238913596.cnf 3 1200

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

MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED=644704092

node42.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.211
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.211
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:       1533008 kB
Buffers:         64728 kB
Cached:         368688 kB
SwapCached:       5184 kB
Active:         197604 kB
Inactive:       244372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1533008 kB
SwapTotal:     4192956 kB
SwapFree:      4181692 kB
Dirty:           15660 kB
Writeback:           0 kB
Mapped:          14288 kB
Slab:            67008 kB
Committed_AS:  1379096 kB
PageTables:       1408 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= 66540 MiB
End job on node42 at 2009-04-05 08:50:01