Trace number 1724022

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.09 602.665

General information on the benchmark

Namemizh-sha0-36-2.cnf
MD5SUM82bf685774b76ba263c886940c3aa94d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark145.388
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210239
Sum of the clauses size628391
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286996
Number of clauses of size 338042
Number of clauses of size 485024
Number of clauses of size 50
Number of clauses of size over 50

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-1724022-1240691435/watcher-1724022-1240691435 -o /tmp/evaluation-result-1724022-1240691435/solver-1724022-1240691435 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724022-1240691435.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.00 1.00 3/64 12664
/proc/meminfo: memFree=1725836/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=3592 CPUtime=0
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 695 0 0 0 0 0 0 0 18 0 4 0 97172616 3678208 680 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 1410 685 65 163 0 1245 0
[pid=12664/tid=12665] ppid=12662 vsize=5640 CPUtime=0
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97172616 5775360 702 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=5640 CPUtime=0
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 87 0 0 0 0 0 0 0 19 0 4 0 97172616 5775360 712 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=5640 CPUtime=0
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 559 0 0 0 0 0 0 0 20 0 4 0 97172616 5775360 721 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0863399 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12664
/proc/meminfo: memFree=1725836/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=20912 CPUtime=0.16
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 4386 0 0 0 14 2 0 0 18 0 4 0 97172616 21413888 4356 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 5228 4356 65 163 0 5063 0
[pid=12664/tid=12665] ppid=12662 vsize=20912 CPUtime=0
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97172616 21413888 4356 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=20912 CPUtime=0.07
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 2172 0 0 0 6 1 0 0 17 0 4 0 97172616 21413888 4356 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=20912 CPUtime=0.08
/proc/12664/task/12667/stat : 12667 (satake) D 12662 12664 12050 0 -1 4194368 2124 0 0 0 7 1 0 0 17 0 4 0 97172616 21413888 4356 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 20912

[startup+0.102779 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12664
/proc/meminfo: memFree=1725836/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=22816 CPUtime=0.19
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 4817 0 0 0 17 2 0 0 18 0 4 0 97172616 23363584 4787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 5704 4787 65 163 0 5539 0
[pid=12664/tid=12665] ppid=12662 vsize=22816 CPUtime=0
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 97172616 23363584 4788 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=22816 CPUtime=0.09
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 2409 0 0 0 8 1 0 0 16 0 4 0 97172616 23363584 4789 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=22816 CPUtime=0.09
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 2320 0 0 0 8 1 0 0 17 0 4 0 97172616 23363584 4789 1992294400 134512640 135180984 4294956208 18446744073709551615 134522598 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22816

[startup+0.302455 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12664
/proc/meminfo: memFree=1725836/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=31484 CPUtime=0.58
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 8667 0 0 0 52 6 0 0 18 0 4 0 97172616 32239616 6573 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 7871 6573 70 163 0 7706 0
[pid=12664/tid=12665] ppid=12662 vsize=31484 CPUtime=0.01
/proc/12664/task/12665/stat : 12665 (satake) R 12662 12664 12050 0 -1 4194368 881 0 0 0 1 0 0 0 17 0 4 0 97172616 32239616 6573 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12666] ppid=12662 vsize=31484 CPUtime=0.26
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 3975 0 0 0 24 2 0 0 16 0 4 0 97172616 32239616 6573 1992294400 134512640 135180984 4294956208 18446744073709551615 134518582 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=31484 CPUtime=0.28
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 3728 0 0 0 26 2 0 0 17 0 4 0 97172616 32239616 6573 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 31484

[startup+0.702495 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12664
/proc/meminfo: memFree=1725836/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=32640 CPUtime=1.36
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 8810 0 0 0 120 16 0 0 18 0 4 0 97172616 33423360 6716 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 8160 6716 70 163 0 7995 0
[pid=12664/tid=12665] ppid=12662 vsize=32640 CPUtime=0.08
/proc/12664/task/12665/stat : 12665 (satake) R 12662 12664 12050 0 -1 4194368 898 0 0 0 2 6 0 0 17 0 4 0 97172616 33423360 6716 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12666] ppid=12662 vsize=32640 CPUtime=0.62
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 4043 0 0 0 57 5 0 0 16 0 4 0 97172616 33423360 6716 1992294400 134512640 135180984 4294956208 18446744073709551615 134519020 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=32640 CPUtime=0.65
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 3786 0 0 0 60 5 0 0 16 0 4 0 97172616 33423360 6716 1992294400 134512640 135180984 4294956208 18446744073709551615 134519907 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 32640

[startup+1.50158 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 12668
/proc/meminfo: memFree=1698732/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=32948 CPUtime=2.9
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 9036 0 0 0 250 40 0 0 18 0 4 0 97172616 33738752 6942 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 8237 6942 70 163 0 8072 0
[pid=12664/tid=12665] ppid=12662 vsize=32948 CPUtime=0.22
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 934 0 0 0 4 18 0 0 16 0 4 0 97172616 33738752 6942 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=32948 CPUtime=1.33
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 4129 0 0 0 123 10 0 0 17 0 4 0 97172616 33738752 6942 1992294400 134512640 135180984 4294956208 18446744073709551615 134518735 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=32948 CPUtime=1.33
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 3890 0 0 0 122 11 0 0 16 0 4 0 97172616 33738752 6942 1992294400 134512640 135180984 4294956208 18446744073709551615 134532632 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 32948

[startup+3.10174 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 12668
/proc/meminfo: memFree=1697196/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=34652 CPUtime=5.98
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 9425 0 0 0 509 89 0 0 18 0 4 0 97172616 35483648 7331 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 8663 7331 70 163 0 8498 0
[pid=12664/tid=12665] ppid=12662 vsize=34652 CPUtime=0.5
/proc/12664/task/12665/stat : 12665 (satake) R 12662 12664 12050 0 -1 4194368 1028 0 0 0 10 40 0 0 15 0 4 0 97172616 35483648 7331 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=34652 CPUtime=2.72
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 4295 0 0 0 249 23 0 0 17 0 4 0 97172616 35483648 7331 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=34652 CPUtime=2.72
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 4019 0 0 0 248 24 0 0 16 0 4 0 97172616 35483648 7331 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 34652

[startup+6.30592 s]
/proc/loadavg: 1.24 1.05 1.02 3/68 12668
/proc/meminfo: memFree=1694444/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=37720 CPUtime=12.15
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 10142 0 0 0 1022 193 0 0 18 0 4 0 97172616 38625280 8048 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 9430 8048 70 163 0 9265 0
[pid=12664/tid=12665] ppid=12662 vsize=37720 CPUtime=1.09
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 1202 0 0 0 23 86 0 0 16 0 4 0 97172616 38625280 8048 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=37720 CPUtime=5.44
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 4616 0 0 0 490 54 0 0 15 0 4 0 97172616 38625280 8048 1992294400 134512640 135180984 4294956208 18446744073709551615 134522989 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=37720 CPUtime=5.61
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 4241 0 0 0 509 52 0 0 16 0 4 0 97172616 38625280 8048 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 37720

[startup+12.7077 s]
/proc/loadavg: 1.46 1.10 1.03 3/68 12668
/proc/meminfo: memFree=1687540/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=45036 CPUtime=23.94
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 11751 0 0 0 1895 499 0 0 18 0 4 0 97172616 46116864 9657 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 11259 9657 70 163 0 11094 0
[pid=12664/tid=12665] ppid=12662 vsize=45036 CPUtime=3.01
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 1707 0 0 0 63 238 0 0 16 0 4 0 97172616 46116864 9657 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=45036 CPUtime=10.47
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 5145 0 0 0 912 135 0 0 16 0 4 0 97172616 46116864 9657 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=45036 CPUtime=10.44
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 4816 0 0 0 919 125 0 0 16 0 4 0 97172616 46116864 9657 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.94
Current children cumulated vsize (KiB) 45036

[startup+25.5029 s]
/proc/loadavg: 1.58 1.14 1.05 4/68 12668
/proc/meminfo: memFree=1676724/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=55120 CPUtime=48.89
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 14382 0 0 0 3969 920 0 0 18 0 4 0 97172616 56442880 12288 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 13780 12288 70 163 0 13615 0
[pid=12664/tid=12665] ppid=12662 vsize=55120 CPUtime=5.43
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 2438 0 0 0 115 428 0 0 15 0 4 0 97172616 56442880 12288 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=55120 CPUtime=21.68
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 6078 0 0 0 1918 250 0 0 16 0 4 0 97172616 56442880 12288 1992294400 134512640 135180984 4294956208 18446744073709551615 134518634 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=55120 CPUtime=21.75
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 5783 0 0 0 1935 240 0 0 16 0 4 0 97172616 56442880 12288 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.89
Current children cumulated vsize (KiB) 55120

[startup+51.1027 s]
/proc/loadavg: 1.78 1.23 1.08 3/68 12668
/proc/meminfo: memFree=1662644/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=70036 CPUtime=99.61
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 17932 0 0 0 8565 1396 0 0 18 0 4 0 97172616 71716864 15838 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 17509 15838 70 163 0 17344 0
[pid=12664/tid=12665] ppid=12662 vsize=70036 CPUtime=8.23
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 3129 0 0 0 177 646 0 0 15 0 4 0 97172616 71716864 15838 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=70036 CPUtime=45.63
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 7492 0 0 0 4181 382 0 0 19 0 4 0 97172616 71716864 15838 1992294400 134512640 135180984 4294956208 18446744073709551615 134520030 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=70036 CPUtime=45.74
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 7228 0 0 0 4207 367 0 0 17 0 4 0 97172616 71716864 15838 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.61
Current children cumulated vsize (KiB) 70036

[startup+102.307 s]
/proc/loadavg: 1.90 1.34 1.12 3/68 12668
/proc/meminfo: memFree=1625780/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=105072 CPUtime=201.76
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 27029 0 0 0 18536 1640 0 0 18 0 4 0 97172616 107593728 24935 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 26268 24935 70 163 0 26103 0
[pid=12664/tid=12665] ppid=12662 vsize=105072 CPUtime=9.6
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 3581 0 0 0 208 752 0 0 15 0 4 0 97172616 107593728 24935 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=105072 CPUtime=95.91
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 11279 0 0 0 9132 459 0 0 18 0 4 0 97172616 107593728 24935 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=105072 CPUtime=96.24
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 12086 0 0 0 9196 428 0 0 17 0 4 0 97172616 107593728 24935 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.76
Current children cumulated vsize (KiB) 105072

[startup+162.302 s]
/proc/loadavg: 1.96 1.46 1.17 3/68 12668
/proc/meminfo: memFree=1591604/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=140528 CPUtime=321.41
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 35628 0 0 0 30220 1921 0 0 18 0 4 0 97172616 143900672 33534 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 35132 33534 70 163 0 34967 0
[pid=12664/tid=12665] ppid=12662 vsize=140528 CPUtime=11.18
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 4123 0 0 0 240 878 0 0 15 0 4 0 97172616 143900672 33534 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12664/tid=12666] ppid=12662 vsize=140528 CPUtime=154.85
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 14890 0 0 0 14950 535 0 0 17 0 4 0 97172616 143900672 33534 1992294400 134512640 135180984 4294956208 18446744073709551615 134524493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=140528 CPUtime=155.35
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 16532 0 0 0 15029 506 0 0 18 0 4 0 97172616 143900672 33534 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 321.41
Current children cumulated vsize (KiB) 140528

[startup+222.302 s]
/proc/loadavg: 1.98 1.55 1.22 3/68 12668
/proc/meminfo: memFree=1559924/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=171500 CPUtime=441.12
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 43505 0 0 0 42029 2083 0 0 18 0 4 0 97172616 175616000 41411 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 42875 41411 70 163 0 42710 0
[pid=12664/tid=12665] ppid=12662 vsize=171500 CPUtime=12.08
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 4468 0 0 0 259 949 0 0 15 0 4 0 97172616 175616000 41411 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=171500 CPUtime=214.24
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 18578 0 0 0 20843 581 0 0 25 0 4 0 97172616 175616000 41411 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=171500 CPUtime=214.78
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 20376 0 0 0 20926 552 0 0 25 0 4 0 97172616 175616000 41411 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.12
Current children cumulated vsize (KiB) 171500

[startup+282.302 s]
/proc/loadavg: 1.99 1.63 1.27 3/68 12668
/proc/meminfo: memFree=1530868/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=201064 CPUtime=560.86
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 50813 0 0 0 53942 2144 0 0 18 0 4 0 97172616 205889536 48719 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 50266 48719 70 163 0 50101 0
[pid=12664/tid=12665] ppid=12662 vsize=201064 CPUtime=12.36
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 4566 0 0 0 265 971 0 0 15 0 4 0 97172616 205889536 48719 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12664/tid=12666] ppid=12662 vsize=201064 CPUtime=273.87
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 22280 0 0 0 26784 603 0 0 25 0 4 0 97172616 205889536 48719 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=201064 CPUtime=274.62
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 23884 0 0 0 26893 569 0 0 25 0 4 0 97172616 205889536 48719 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.86
Current children cumulated vsize (KiB) 201064

[startup+342.303 s]
/proc/loadavg: 1.99 1.70 1.31 4/68 12668
/proc/meminfo: memFree=1502132/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=229764 CPUtime=680.57
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 57907 0 0 0 65782 2275 0 0 18 0 4 0 97172616 235278336 55813 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 57441 55813 70 163 0 57276 0
[pid=12664/tid=12665] ppid=12662 vsize=229764 CPUtime=13.06
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 4829 0 0 0 282 1024 0 0 15 0 4 0 97172616 235278336 55813 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12664/tid=12666] ppid=12662 vsize=229764 CPUtime=333.37
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 25783 0 0 0 32695 642 0 0 25 0 4 0 97172616 235278336 55813 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=229764 CPUtime=334.13
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 27212 0 0 0 32805 608 0 0 25 0 4 0 97172616 235278336 55813 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 680.57
Current children cumulated vsize (KiB) 229764

[startup+402.303 s]
/proc/loadavg: 1.99 1.75 1.35 3/68 12668
/proc/meminfo: memFree=1476404/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=255256 CPUtime=800.32
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 64363 0 0 0 77673 2359 0 0 18 0 4 0 97172616 261382144 62269 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 63814 62269 70 163 0 63649 0
[pid=12664/tid=12665] ppid=12662 vsize=255256 CPUtime=13.5
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 4998 0 0 0 293 1057 0 0 15 0 4 0 97172616 261382144 62269 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12664/tid=12666] ppid=12662 vsize=255256 CPUtime=393.13
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 28782 0 0 0 38643 670 0 0 22 0 4 0 97172616 261382144 62269 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=255256 CPUtime=393.67
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 30500 0 0 0 38736 631 0 0 20 0 4 0 97172616 261382144 62269 1992294400 134512640 135180984 4294956208 18446744073709551615 134525284 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 800.32
Current children cumulated vsize (KiB) 255256

[startup+462.303 s]
/proc/loadavg: 1.99 1.79 1.39 3/68 12668
/proc/meminfo: memFree=1451636/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=279988 CPUtime=920.04
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 70498 0 0 0 89516 2488 0 0 18 0 4 0 97172616 286707712 68404 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 69997 68404 70 163 0 69832 0
[pid=12664/tid=12665] ppid=12662 vsize=279988 CPUtime=14.19
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 5250 0 0 0 309 1110 0 0 15 0 4 0 97172616 286707712 68404 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=12664/tid=12666] ppid=12662 vsize=279988 CPUtime=452.75
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 31759 0 0 0 44566 709 0 0 25 0 4 0 97172616 286707712 68404 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=279988 CPUtime=453.07
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 33406 0 0 0 44639 668 0 0 25 0 4 0 97172616 286707712 68404 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 920.04
Current children cumulated vsize (KiB) 279988

[startup+522.302 s]
/proc/loadavg: 2.03 1.84 1.43 3/68 12668
/proc/meminfo: memFree=1428340/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=302872 CPUtime=1039.77
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 76341 0 0 0 101399 2578 0 0 18 0 4 0 97172616 310140928 74247 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 75718 74247 70 163 0 75553 0
[pid=12664/tid=12665] ppid=12662 vsize=302872 CPUtime=14.67
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 5425 0 0 0 318 1149 0 0 15 0 4 0 97172616 310140928 74247 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=302872 CPUtime=512.46
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 34791 0 0 0 50510 736 0 0 25 0 4 0 97172616 310140928 74247 1992294400 134512640 135180984 4294956208 18446744073709551615 134519901 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=302872 CPUtime=512.64
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 36042 0 0 0 50571 693 0 0 25 0 4 0 97172616 310140928 74247 1992294400 134512640 135180984 4294956208 18446744073709551615 134528775 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.77
Current children cumulated vsize (KiB) 302872

[startup+582.302 s]
/proc/loadavg: 2.01 1.87 1.46 3/68 12670
/proc/meminfo: memFree=1404148/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=327044 CPUtime=1159.5
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 82325 0 0 0 113308 2642 0 0 18 0 4 0 97172616 334893056 80231 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 81761 80231 70 163 0 81596 0
[pid=12664/tid=12665] ppid=12662 vsize=327044 CPUtime=15.01
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 5566 0 0 0 326 1175 0 0 15 0 4 0 97172616 334893056 80231 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=327044 CPUtime=572.04
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 37944 0 0 0 56448 756 0 0 25 0 4 0 97172616 334893056 80231 1992294400 134512640 135180984 4294956208 18446744073709551615 134523615 0 0 4096 0 0 0 0 -1 1 0 0
[pid=12664/tid=12667] ppid=12662 vsize=327044 CPUtime=572.44
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 38732 0 0 0 56534 710 0 0 25 0 4 0 97172616 334893056 80231 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.5
Current children cumulated vsize (KiB) 327044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.601 s]
/proc/loadavg: 2.00 1.87 1.47 3/68 12670
/proc/meminfo: memFree=1396404/2055920 swapFree=4192952/4192956
[pid=12664] ppid=12662 vsize=334572 CPUtime=1200.02
/proc/12664/stat : 12664 (satake) S 12662 12664 12050 0 -1 4194304 84198 0 0 0 117338 2664 0 0 18 0 4 0 97172616 342601728 82104 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12664/statm: 83643 82104 70 163 0 83478 0
[pid=12664/tid=12665] ppid=12662 vsize=334572 CPUtime=15.12
/proc/12664/task/12665/stat : 12665 (satake) S 12662 12664 12050 0 -1 4194368 5601 0 0 0 328 1184 0 0 15 0 4 0 97172616 342601728 82104 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=12664/tid=12666] ppid=12662 vsize=334572 CPUtime=592.22
/proc/12664/task/12666/stat : 12666 (satake) R 12662 12664 12050 0 -1 4194368 38846 0 0 0 58457 765 0 0 25 0 4 0 97172616 342601728 82104 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12664/tid=12667] ppid=12662 vsize=334572 CPUtime=592.67
/proc/12664/task/12667/stat : 12667 (satake) R 12662 12664 12050 0 -1 4194368 39668 0 0 0 58552 715 0 0 20 0 4 0 97172616 342601728 82104 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 334572

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): 602.665
CPU time (s): 1200.09
CPU user time (s): 1173.4
CPU system time (s): 26.6989
CPU usage (%): 199.131
Max. virtual memory (cumulated for all children) (KiB): 334572

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1173.4
system time used= 26.6989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84198
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= 1999473
involuntary context switches= 1951501

runsolver used 0.576912 second user time and 1.65275 second system time

The end

Launcher Data 

Begin job on node90 at 2009-04-25 22:30:36
IDJOB=1724022
IDBENCH=71748
IDSOLVER=553
FILE ID=node90/1724022-1240691435
PBS_JOBID= 9186682
Free space on /tmp= 66520 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/mizh-sha0-36-2.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724022-1240691435/watcher-1724022-1240691435 -o /tmp/evaluation-result-1724022-1240691435/solver-1724022-1240691435 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724022-1240691435.cnf 3 1200

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

MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED=654057023

node90.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.238
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.238
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:       1726252 kB
Buffers:         32684 kB
Cached:         211500 kB
SwapCached:          4 kB
Active:          67044 kB
Inactive:       194468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726252 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            4876 kB
Writeback:           0 kB
Mapped:          24036 kB
Slab:            54116 kB
Committed_AS:   238816 kB
PageTables:       1432 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= 66520 MiB
End job on node90 at 2009-04-25 22:40:40