Trace number 1733640

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.12 602.431

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
MD5SUMa4aa05bad2a3138b013cb1793208898f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.93249
Satisfiable
(Un)Satisfiability was proved
Number of variables479
Number of clauses123509
Sum of the clauses size724108
Maximum clause length13
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21999
Number of clauses of size 30
Number of clauses of size 41026
Number of clauses of size 56642
Number of clauses of size over 5113778

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-1733640-1240790848/watcher-1733640-1240790848 -o /tmp/evaluation-result-1733640-1240790848/solver-1733640-1240790848 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1733640-1240790848.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.72 0.93 1.06 3/64 27865
/proc/meminfo: memFree=1477864/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=5120 CPUtime=0
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 677 0 0 0 0 0 0 0 18 0 4 0 107118280 5242880 662 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 1280 668 65 163 0 1115 0
[pid=27865/tid=27866] ppid=27863 vsize=5120 CPUtime=0
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107118280 5242880 686 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=5120 CPUtime=0
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 619 0 0 0 0 0 0 0 20 0 4 0 107118280 5242880 694 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=5120 CPUtime=0
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 107118280 5242880 702 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0523199 s]
/proc/loadavg: 0.72 0.93 1.06 3/64 27865
/proc/meminfo: memFree=1477864/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=20360 CPUtime=0.31
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 4681 0 0 0 28 3 0 0 18 0 4 0 107118280 20848640 4666 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 5090 4672 66 163 0 4925 0
[pid=27865/tid=27866] ppid=27863 vsize=20360 CPUtime=0
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=20360 CPUtime=0.32
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 2275 0 0 0 31 1 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134520787 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=20360 CPUtime=0.31
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 2322 0 0 0 30 1 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134520815 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 20360

[startup+0.378725 s]
/proc/loadavg: 0.72 0.93 1.06 3/64 27865
/proc/meminfo: memFree=1477864/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=20360 CPUtime=0.74
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 4687 0 0 0 71 3 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 5090 4672 66 163 0 4925 0
[pid=27865/tid=27866] ppid=27863 vsize=20360 CPUtime=0
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=20360 CPUtime=0.37
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 2275 0 0 0 36 1 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=20360 CPUtime=0.36
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 2322 0 0 0 35 1 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134520873 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 20360

[startup+0.401726 s]
/proc/loadavg: 0.72 0.93 1.06 3/64 27865
/proc/meminfo: memFree=1477864/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=20360 CPUtime=0.79
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 4687 0 0 0 76 3 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 5090 4672 66 163 0 4925 0
[pid=27865/tid=27866] ppid=27863 vsize=20360 CPUtime=0
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=20360 CPUtime=0.39
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 2275 0 0 0 38 1 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=20360 CPUtime=0.38
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 2322 0 0 0 37 1 0 0 18 0 4 0 107118280 20848640 4672 1992294400 134512640 135180984 4294956208 18446744073709551615 134520798 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 20360

[startup+0.704773 s]
/proc/loadavg: 0.72 0.93 1.06 3/64 27865
/proc/meminfo: memFree=1477864/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=14868 CPUtime=1.37
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 4882 0 0 0 122 15 0 0 18 0 4 0 107118280 15224832 3141 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 3717 3141 70 163 0 3552 0
[pid=27865/tid=27866] ppid=27863 vsize=14868 CPUtime=0.06
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 14 0 0 0 1 5 0 0 15 0 4 0 107118280 15224832 3141 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=14868 CPUtime=0.65
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 2360 0 0 0 61 4 0 0 15 0 4 0 107118280 15224832 3141 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=14868 CPUtime=0.63
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 2425 0 0 0 59 4 0 0 15 0 4 0 107118280 15224832 3141 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 14868

[startup+1.50188 s]
/proc/loadavg: 0.72 0.93 1.06 3/68 27869
/proc/meminfo: memFree=1464904/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=15396 CPUtime=2.79
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 5102 0 0 0 217 62 0 0 18 0 4 0 107118280 15765504 3361 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 3849 3361 70 163 0 3684 0
[pid=27865/tid=27866] ppid=27863 vsize=15396 CPUtime=0.34
/proc/27865/task/27866/stat : 27866 (satake) R 27863 27865 27828 0 -1 4194368 52 0 0 0 7 27 0 0 16 0 4 0 107118280 15765504 3361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=15396 CPUtime=1.24
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 2449 0 0 0 107 17 0 0 16 0 4 0 107118280 15765504 3361 1992294400 134512640 135180984 4294956208 18446744073709551615 134519020 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=15396 CPUtime=1.19
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 2518 0 0 0 103 16 0 0 16 0 4 0 107118280 15765504 3361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 15396

[startup+3.10109 s]
/proc/loadavg: 0.72 0.93 1.06 3/68 27869
/proc/meminfo: memFree=1463048/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=17548 CPUtime=5.79
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 5781 0 0 0 441 138 0 0 18 0 4 0 107118280 17969152 4040 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 4387 4040 70 163 0 4222 0
[pid=27865/tid=27866] ppid=27863 vsize=17548 CPUtime=0.79
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 244 0 0 0 14 65 0 0 15 0 4 0 107118280 17969152 4040 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=17548 CPUtime=2.48
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 2685 0 0 0 212 36 0 0 16 0 4 0 107118280 17969152 4040 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=17548 CPUtime=2.5
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 2769 0 0 0 214 36 0 0 17 0 4 0 107118280 17969152 4040 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 17548

[startup+6.30151 s]
/proc/loadavg: 0.82 0.95 1.07 3/68 27869
/proc/meminfo: memFree=1457608/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=23992 CPUtime=12.01
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 6995 0 0 0 964 237 0 0 18 0 4 0 107118280 24567808 5254 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 5998 5254 70 163 0 5833 0
[pid=27865/tid=27866] ppid=27863 vsize=23992 CPUtime=1.4
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 500 0 0 0 27 113 0 0 16 0 4 0 107118280 24567808 5254 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=23992 CPUtime=5.29
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 3175 0 0 0 467 62 0 0 16 0 4 0 107118280 24567808 5254 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=23992 CPUtime=5.3
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 3237 0 0 0 469 61 0 0 16 0 4 0 107118280 24567808 5254 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 23992

[startup+12.7025 s]
/proc/loadavg: 0.99 0.99 1.08 3/68 27869
/proc/meminfo: memFree=1450120/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=30040 CPUtime=24.6
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 8764 0 0 0 2070 390 0 0 18 0 4 0 107118280 30760960 7023 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 7510 7023 70 163 0 7345 0
[pid=27865/tid=27866] ppid=27863 vsize=30040 CPUtime=2.29
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 891 0 0 0 44 185 0 0 16 0 4 0 107118280 30760960 7023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=30040 CPUtime=11.06
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 3828 0 0 0 1000 106 0 0 16 0 4 0 107118280 30760960 7023 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=30040 CPUtime=11.24
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 3962 0 0 0 1026 98 0 0 16 0 4 0 107118280 30760960 7023 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 30040

[startup+25.5062 s]
/proc/loadavg: 1.21 1.03 1.09 3/68 27869
/proc/meminfo: memFree=1439880/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=40300 CPUtime=50.1
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 11232 0 0 0 4464 546 0 0 18 0 4 0 107118280 41267200 9491 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 10075 9491 70 163 0 9910 0
[pid=27865/tid=27866] ppid=27863 vsize=40300 CPUtime=3.19
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 1248 0 0 0 61 258 0 0 15 0 4 0 107118280 41267200 9491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=40300 CPUtime=23.43
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 4934 0 0 0 2197 146 0 0 16 0 4 0 107118280 41267200 9491 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=40300 CPUtime=23.46
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 4967 0 0 0 2205 141 0 0 17 0 4 0 107118280 41267200 9491 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 40300

[startup+51.1016 s]
/proc/loadavg: 1.48 1.11 1.12 3/68 27869
/proc/meminfo: memFree=1426824/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=55236 CPUtime=101.08
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 14541 0 0 0 9341 767 0 0 18 0 4 0 107118280 56561664 12800 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 13809 12800 70 163 0 13644 0
[pid=27865/tid=27866] ppid=27863 vsize=55236 CPUtime=4.46
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 1790 0 0 0 87 359 0 0 16 0 4 0 107118280 56561664 12800 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=55236 CPUtime=48.26
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 6478 0 0 0 4624 202 0 0 17 0 4 0 107118280 56561664 12800 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=55236 CPUtime=48.36
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 6190 0 0 0 4630 206 0 0 17 0 4 0 107118280 56561664 12800 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.08
Current children cumulated vsize (KiB) 55236

[startup+102.301 s]
/proc/loadavg: 1.85 1.26 1.17 3/68 27869
/proc/meminfo: memFree=1420616/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=61416 CPUtime=203
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 16110 0 0 0 19082 1218 0 0 18 0 4 0 107118280 62889984 14369 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 15354 14369 70 163 0 15189 0
[pid=27865/tid=27866] ppid=27863 vsize=61416 CPUtime=7.14
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 2168 0 0 0 148 566 0 0 15 0 4 0 107118280 62889984 14369 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=61416 CPUtime=97.98
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 6979 0 0 0 9477 321 0 0 17 0 4 0 107118280 62889984 14369 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=61416 CPUtime=97.84
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 6880 0 0 0 9455 329 0 0 18 0 4 0 107118280 62889984 14369 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203
Current children cumulated vsize (KiB) 61416

[startup+162.308 s]
/proc/loadavg: 1.94 1.39 1.21 3/68 27869
/proc/meminfo: memFree=1407240/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=75228 CPUtime=322.51
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 19366 0 0 0 30619 1632 0 0 18 0 4 0 107118280 77033472 17625 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 18807 17625 70 163 0 18642 0
[pid=27865/tid=27866] ppid=27863 vsize=75228 CPUtime=9.47
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 2766 0 0 0 196 751 0 0 16 0 4 0 107118280 77033472 17625 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=75228 CPUtime=156.64
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 8476 0 0 0 15231 433 0 0 17 0 4 0 107118280 77033472 17625 1992294400 134512640 135180984 4294956208 18446744073709551615 134520907 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=75228 CPUtime=156.37
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 8041 0 0 0 15190 447 0 0 16 0 4 0 107118280 77033472 17625 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 322.51
Current children cumulated vsize (KiB) 75228

[startup+222.301 s]
/proc/loadavg: 1.98 1.50 1.26 3/68 27869
/proc/meminfo: memFree=1403144/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=79124 CPUtime=442.18
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 20360 0 0 0 42397 1821 0 0 18 0 4 0 107118280 81022976 18619 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 19781 18619 70 163 0 19616 0
[pid=27865/tid=27866] ppid=27863 vsize=79124 CPUtime=10.55
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 2943 0 0 0 218 837 0 0 16 0 4 0 107118280 81022976 18619 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=79124 CPUtime=215.9
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 9021 0 0 0 21104 486 0 0 20 0 4 0 107118280 81022976 18619 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=79124 CPUtime=215.69
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 8313 0 0 0 21073 496 0 0 17 0 4 0 107118280 81022976 18619 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.18
Current children cumulated vsize (KiB) 79124

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.30 3/68 27869
/proc/meminfo: memFree=1396040/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=86032 CPUtime=561.87
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 22139 0 0 0 54191 1996 0 0 18 0 4 0 107118280 88096768 20398 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 21508 20398 70 163 0 21343 0
[pid=27865/tid=27866] ppid=27863 vsize=86032 CPUtime=11.56
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 3121 0 0 0 239 917 0 0 15 0 4 0 107118280 88096768 20398 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=86032 CPUtime=275.18
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 9939 0 0 0 26989 529 0 0 17 0 4 0 107118280 88096768 20398 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=86032 CPUtime=275.1
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 8996 0 0 0 26962 548 0 0 21 0 4 0 107118280 88096768 20398 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.87
Current children cumulated vsize (KiB) 86032

[startup+342.307 s]
/proc/loadavg: 2.05 1.68 1.35 3/68 27869
/proc/meminfo: memFree=1393992/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=88992 CPUtime=681.43
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 22650 0 0 0 65823 2320 0 0 18 0 4 0 107118280 91127808 20909 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 22248 20909 70 163 0 22083 0
[pid=27865/tid=27866] ppid=27863 vsize=88992 CPUtime=13.51
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 3413 0 0 0 282 1069 0 0 16 0 4 0 107118280 91127808 20909 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=88992 CPUtime=333.95
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 9971 0 0 0 32768 627 0 0 25 0 4 0 107118280 91127808 20909 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=88992 CPUtime=333.96
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 9183 0 0 0 32773 623 0 0 25 0 4 0 107118280 91127808 20909 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 681.43
Current children cumulated vsize (KiB) 88992

[startup+402.302 s]
/proc/loadavg: 2.02 1.73 1.39 4/68 27869
/proc/meminfo: memFree=1387272/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=96296 CPUtime=801.12
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 24346 0 0 0 77624 2488 0 0 18 0 4 0 107118280 98607104 22605 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 24074 22605 70 163 0 23909 0
[pid=27865/tid=27866] ppid=27863 vsize=96296 CPUtime=14.49
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 3742 0 0 0 303 1146 0 0 16 0 4 0 107118280 98607104 22605 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=96296 CPUtime=393.26
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 10672 0 0 0 38656 670 0 0 17 0 4 0 107118280 98607104 22605 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=96296 CPUtime=393.36
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 9849 0 0 0 38665 671 0 0 18 0 4 0 107118280 98607104 22605 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 801.12
Current children cumulated vsize (KiB) 96296

[startup+462.302 s]
/proc/loadavg: 2.00 1.78 1.42 3/68 27869
/proc/meminfo: memFree=1384648/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=99768 CPUtime=920.65
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 24988 0 0 0 89189 2876 0 0 18 0 4 0 107118280 102162432 23247 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 24942 23247 70 163 0 24777 0
[pid=27865/tid=27866] ppid=27863 vsize=99768 CPUtime=16.74
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 4088 0 0 0 348 1326 0 0 16 0 4 0 107118280 102162432 23247 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=99768 CPUtime=452.05
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 10904 0 0 0 44436 769 0 0 18 0 4 0 107118280 102162432 23247 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27865/tid=27868] ppid=27863 vsize=99768 CPUtime=451.84
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 9913 0 0 0 44404 780 0 0 17 0 4 0 107118280 102162432 23247 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 920.65
Current children cumulated vsize (KiB) 99768

[startup+522.301 s]
/proc/loadavg: 2.00 1.82 1.46 3/68 27869
/proc/meminfo: memFree=1382984/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=101764 CPUtime=1040.33
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 25418 0 0 0 100919 3114 0 0 18 0 4 0 107118280 104206336 23677 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 25441 23677 70 163 0 25276 0
[pid=27865/tid=27866] ppid=27863 vsize=101764 CPUtime=18.1
/proc/27865/task/27866/stat : 27866 (satake) R 27863 27865 27828 0 -1 4194368 4344 0 0 0 375 1435 0 0 16 0 4 0 107118280 104206336 23677 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=101764 CPUtime=511.28
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 10934 0 0 0 50290 838 0 0 17 0 4 0 107118280 104206336 23677 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=101764 CPUtime=510.93
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 10057 0 0 0 50253 840 0 0 19 0 4 0 107118280 104206336 23677 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1040.33
Current children cumulated vsize (KiB) 101764

[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.49 3/68 27869
/proc/meminfo: memFree=1376776/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=109296 CPUtime=1160.01
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 26945 0 0 0 112667 3334 0 0 18 0 4 0 107118280 111919104 25204 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 27324 25204 70 163 0 27159 0
[pid=27865/tid=27866] ppid=27863 vsize=109296 CPUtime=19.42
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 4612 0 0 0 405 1537 0 0 15 0 4 0 107118280 111919104 25204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27865/tid=27867] ppid=27863 vsize=109296 CPUtime=570.57
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 11613 0 0 0 56156 901 0 0 17 0 4 0 107118280 111919104 25204 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=109296 CPUtime=570.01
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 10637 0 0 0 56105 896 0 0 17 0 4 0 107118280 111919104 25204 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.01
Current children cumulated vsize (KiB) 109296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.402 s]
/proc/loadavg: 2.00 1.86 1.50 3/68 27869
/proc/meminfo: memFree=1376008/2055920 swapFree=4181092/4192956
[pid=27865] ppid=27863 vsize=109940 CPUtime=1200.08
/proc/27865/stat : 27865 (satake) S 27863 27865 27828 0 -1 4194304 27129 0 0 0 116501 3507 0 0 18 0 4 0 107118280 112578560 25388 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27865/statm: 27485 25388 70 163 0 27320 0
[pid=27865/tid=27866] ppid=27863 vsize=109940 CPUtime=20.4
/proc/27865/task/27866/stat : 27866 (satake) S 27863 27865 27828 0 -1 4194368 4721 0 0 0 422 1618 0 0 16 0 4 0 107118280 112578560 25388 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27865/tid=27867] ppid=27863 vsize=109940 CPUtime=590.11
/proc/27865/task/27867/stat : 27867 (satake) R 27863 27865 27828 0 -1 4194368 11668 0 0 0 58064 947 0 0 17 0 4 0 107118280 112578560 25388 1992294400 134512640 135180984 4294956208 18446744073709551615 134528398 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27865/tid=27868] ppid=27863 vsize=109940 CPUtime=589.55
/proc/27865/task/27868/stat : 27868 (satake) R 27863 27865 27828 0 -1 4194368 10657 0 0 0 58015 940 0 0 17 0 4 0 107118280 112578560 25388 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 109940

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.431
CPU time (s): 1200.12
CPU user time (s): 1165.03
CPU system time (s): 35.0897
CPU usage (%): 199.213
Max. virtual memory (cumulated for all children) (KiB): 109940

deleting IPC queue 1769472
deleting IPC queue 1802241
deleting IPC queue 1835010
deleting IPC queue 1867779
deleting IPC queue 1900548
deleting IPC queue 1933317
deleting IPC queue 1966086
deleting IPC queue 1998855
deleting IPC queue 2031624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1165.03
system time used= 35.0897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27129
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= 2616746
involuntary context switches= 2554168

runsolver used 0.581911 second user time and 1.62875 second system time

The end

Launcher Data 

Begin job on node13 at 2009-04-27 02:07:28
IDJOB=1733640
IDBENCH=71144
IDSOLVER=553
FILE ID=node13/1733640-1240790848
PBS_JOBID= 9187332
Free space on /tmp= 66232 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_10gates_u2_autoenc.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1733640-1240790848/watcher-1733640-1240790848 -o /tmp/evaluation-result-1733640-1240790848/solver-1733640-1240790848 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1733640-1240790848.cnf 3 1200

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

MD5SUM BENCH= a4aa05bad2a3138b013cb1793208898f
RANDOM SEED=1794695321

node13.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.227
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.227
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:       1478344 kB
Buffers:         70104 kB
Cached:         427160 kB
SwapCached:       5664 kB
Active:         219292 kB
Inactive:       286036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1478344 kB
SwapTotal:     4192956 kB
SwapFree:      4181092 kB
Dirty:            4328 kB
Writeback:           0 kB
Mapped:          13388 kB
Slab:            58232 kB
Committed_AS:   370304 kB
PageTables:       1460 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= 66228 MiB
End job on node13 at 2009-04-27 02:17:32