Trace number 1732840

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.16 601.829

General information on the benchmark

NameCRAFTED/ramseycube/
Q32inK11.cnf
MD5SUM594c254e77c66d387919761f50e63b6d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark88.5185
Satisfiable
(Un)Satisfiability was proved
Number of variables55
Number of clauses139590
Sum of the clauses size1667160
Maximum clause length12
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 4990
Number of clauses of size 50
Number of clauses of size over 5138600

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-1732840-1240783749/watcher-1732840-1240783749 -o /tmp/evaluation-result-1732840-1240783749/solver-1732840-1240783749 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732840-1240783749.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.91 1.83 1.45 3/64 31181
/proc/meminfo: memFree=1626000/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=5120 CPUtime=0
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 700 0 0 0 0 0 0 0 20 0 4 0 106401107 5242880 685 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 1280 691 65 163 0 1115 0
[pid=31181/tid=31182] ppid=31179 vsize=5120 CPUtime=0
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 106401107 5242880 711 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=5120 CPUtime=0
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 645 0 0 0 0 0 0 0 21 0 4 0 106401107 5242880 720 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=5120 CPUtime=0
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 106401107 5242880 729 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.00908499 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 31181
/proc/meminfo: memFree=1626000/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=7176 CPUtime=0
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 1482 0 0 0 0 0 0 0 20 0 4 0 106401107 7348224 1467 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 1794 1467 65 163 0 1629 0
[pid=31181/tid=31182] ppid=31179 vsize=7176 CPUtime=0
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 106401107 7348224 1467 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=7176 CPUtime=0
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 1046 0 0 0 0 0 0 0 18 0 4 0 106401107 7348224 1467 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=12828 CPUtime=0.01
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 1367 0 0 0 1 0 0 0 18 0 4 0 106401107 13135872 2863 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7176

[startup+0.369122 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 31181
/proc/meminfo: memFree=1626000/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=22220 CPUtime=0.7
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 7422 0 0 0 59 11 0 0 20 0 4 0 106401107 22753280 4959 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 5555 4959 70 163 0 5390 0
[pid=31181/tid=31182] ppid=31179 vsize=22220 CPUtime=0.03
/proc/31181/task/31182/stat : 31182 (satake) R 31179 31181 30988 0 -1 4194368 11 0 0 0 0 3 0 0 15 0 4 0 106401107 22753280 4959 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=22220 CPUtime=0.33
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 3731 0 0 0 30 3 0 0 17 0 4 0 106401107 22753280 4959 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=22220 CPUtime=0.31
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 3597 0 0 0 28 3 0 0 17 0 4 0 106401107 22753280 4959 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 22220

[startup+0.40113 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 31181
/proc/meminfo: memFree=1626000/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=22356 CPUtime=0.77
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 7442 0 0 0 63 14 0 0 20 0 4 0 106401107 22892544 4979 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 5589 4979 70 163 0 5424 0
[pid=31181/tid=31182] ppid=31179 vsize=22356 CPUtime=0.04
/proc/31181/task/31182/stat : 31182 (satake) R 31179 31181 30988 0 -1 4194368 13 0 0 0 0 4 0 0 15 0 4 0 106401107 22892544 4979 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=22356 CPUtime=0.36
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 3737 0 0 0 32 4 0 0 16 0 4 0 106401107 22892544 4979 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=22356 CPUtime=0.34
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 3609 0 0 0 30 4 0 0 17 0 4 0 106401107 22892544 4979 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 22356

[startup+0.701307 s]
/proc/loadavg: 1.91 1.83 1.45 3/64 31181
/proc/meminfo: memFree=1626000/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=23080 CPUtime=1.33
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 7627 0 0 0 99 34 0 0 20 0 4 0 106401107 23633920 5164 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 5770 5164 70 163 0 5605 0
[pid=31181/tid=31182] ppid=31179 vsize=23080 CPUtime=0.18
/proc/31181/task/31182/stat : 31182 (satake) R 31179 31181 30988 0 -1 4194368 42 0 0 0 2 16 0 0 15 0 4 0 106401107 23633920 5164 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=23080 CPUtime=0.57
/proc/31181/task/31183/stat : 31183 (satake) S 31179 31181 30988 0 -1 4194368 3775 0 0 0 49 8 0 0 16 0 4 0 106401107 23633920 5164 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=23080 CPUtime=0.54
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 3727 0 0 0 46 8 0 0 17 0 4 0 106401107 23633920 5164 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 23080

[startup+1.5014 s]
/proc/loadavg: 1.91 1.83 1.45 3/68 31185
/proc/meminfo: memFree=1604464/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=24428 CPUtime=2.88
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 7986 0 0 0 210 78 0 0 20 0 4 0 106401107 25014272 5523 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 6107 5523 70 163 0 5942 0
[pid=31181/tid=31182] ppid=31179 vsize=24428 CPUtime=0.45
/proc/31181/task/31182/stat : 31182 (satake) R 31179 31181 30988 0 -1 4194368 107 0 0 0 7 38 0 0 16 0 4 0 106401107 25014272 5523 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=24428 CPUtime=1.2
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 3921 0 0 0 100 20 0 0 17 0 4 0 106401107 25014272 5523 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=24428 CPUtime=1.21
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 3875 0 0 0 102 19 0 0 17 0 4 0 106401107 25014272 5523 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 24428

[startup+3.10261 s]
/proc/loadavg: 1.91 1.83 1.45 3/68 31185
/proc/meminfo: memFree=1602736/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=26136 CPUtime=5.97
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 8383 0 0 0 443 154 0 0 20 0 4 0 106401107 26763264 5920 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 6534 5920 70 163 0 6369 0
[pid=31181/tid=31182] ppid=31179 vsize=26136 CPUtime=0.9
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 257 0 0 0 16 74 0 0 15 0 4 0 106401107 26763264 5920 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=26136 CPUtime=2.51
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 4051 0 0 0 210 41 0 0 17 0 4 0 106401107 26763264 5920 1992294400 134512640 135180984 4294956208 18446744073709551615 134531534 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=26136 CPUtime=2.55
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 3992 0 0 0 216 39 0 0 15 0 4 0 106401107 26763264 5920 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 26136

[startup+6.3018 s]
/proc/loadavg: 1.92 1.84 1.45 3/68 31185
/proc/meminfo: memFree=1599920/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=28780 CPUtime=12.28
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 9064 0 0 0 978 250 0 0 20 0 4 0 106401107 29470720 6601 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 7195 6601 70 163 0 7030 0
[pid=31181/tid=31182] ppid=31179 vsize=28780 CPUtime=1.46
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 493 0 0 0 29 117 0 0 15 0 4 0 106401107 29470720 6601 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=28780 CPUtime=5.37
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 4311 0 0 0 472 65 0 0 17 0 4 0 106401107 29470720 6601 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31184] ppid=31179 vsize=28780 CPUtime=5.42
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 4177 0 0 0 476 66 0 0 17 0 4 0 106401107 29470720 6601 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 28780

[startup+12.7025 s]
/proc/loadavg: 1.93 1.84 1.45 3/68 31185
/proc/meminfo: memFree=1596400/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=32928 CPUtime=24.98
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 9869 0 0 0 2119 379 0 0 20 0 4 0 106401107 33718272 7406 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 8232 7407 70 163 0 8067 0
[pid=31181/tid=31182] ppid=31179 vsize=32928 CPUtime=2.23
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 737 0 0 0 47 176 0 0 15 0 4 0 106401107 33718272 7407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=32928 CPUtime=11.36
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 4633 0 0 0 1036 100 0 0 18 0 4 0 106401107 33718272 7407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=32928 CPUtime=11.37
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 4417 0 0 0 1035 102 0 0 16 0 4 0 106401107 33718272 7407 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 32928

[startup+25.506 s]
/proc/loadavg: 1.94 1.85 1.46 3/68 31185
/proc/meminfo: memFree=1591472/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=38380 CPUtime=50.47
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 11104 0 0 0 4490 557 0 0 20 0 4 0 106401107 39301120 8641 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 9595 8641 70 163 0 9430 0
[pid=31181/tid=31182] ppid=31179 vsize=38380 CPUtime=3.25
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 1097 0 0 0 66 259 0 0 15 0 4 0 106401107 39301120 8641 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=38380 CPUtime=23.62
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 4951 0 0 0 2214 148 0 0 19 0 4 0 106401107 39301120 8641 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31184] ppid=31179 vsize=38380 CPUtime=23.58
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 4973 0 0 0 2209 149 0 0 16 0 4 0 106401107 39301120 8641 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 38380

[startup+51.1019 s]
/proc/loadavg: 1.96 1.86 1.47 3/68 31185
/proc/meminfo: memFree=1586032/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=44780 CPUtime=101.49
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 12515 0 0 0 9353 796 0 0 20 0 4 0 106401107 45854720 10052 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 11195 10052 70 163 0 11030 0
[pid=31181/tid=31182] ppid=31179 vsize=44780 CPUtime=4.63
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 1621 0 0 0 95 368 0 0 15 0 4 0 106401107 45854720 10052 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=44780 CPUtime=48.48
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 5410 0 0 0 4633 215 0 0 22 0 4 0 106401107 45854720 10052 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=44780 CPUtime=48.37
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 5401 0 0 0 4625 212 0 0 17 0 4 0 106401107 45854720 10052 1992294400 134512640 135180984 4294956208 18446744073709551615 134519885 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 44780

[startup+102.302 s]
/proc/loadavg: 1.98 1.88 1.50 3/68 31185
/proc/meminfo: memFree=1577264/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=56032 CPUtime=203.63
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 14674 0 0 0 19232 1131 0 0 20 0 4 0 106401107 57376768 12203 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 14008 12203 70 163 0 13843 0
[pid=31181/tid=31182] ppid=31179 vsize=56032 CPUtime=6.53
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 2373 0 0 0 136 517 0 0 15 0 4 0 106401107 57376768 12203 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=56032 CPUtime=98.62
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 6053 0 0 0 9556 306 0 0 25 0 4 0 106401107 57376768 12203 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31184] ppid=31179 vsize=56032 CPUtime=98.44
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 6165 0 0 0 9538 306 0 0 25 0 4 0 106401107 57376768 12203 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.63
Current children cumulated vsize (KiB) 56032

[startup+162.301 s]
/proc/loadavg: 1.99 1.90 1.53 3/68 31185
/proc/meminfo: memFree=1571760/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=61764 CPUtime=323.34
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 16033 0 0 0 30942 1392 0 0 20 0 4 0 106401107 63246336 13562 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 15441 13562 70 163 0 15276 0
[pid=31181/tid=31182] ppid=31179 vsize=61764 CPUtime=8.01
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 2930 0 0 0 162 639 0 0 15 0 4 0 106401107 63246336 13562 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=61764 CPUtime=157.72
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 6482 0 0 0 15396 376 0 0 25 0 4 0 106401107 63246336 13562 1992294400 134512640 135180984 4294956208 18446744073709551615 134528420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=61764 CPUtime=157.59
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 6538 0 0 0 15383 376 0 0 19 0 4 0 106401107 63246336 13562 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.34
Current children cumulated vsize (KiB) 61764

[startup+222.301 s]
/proc/loadavg: 1.99 1.91 1.55 3/68 31185
/proc/meminfo: memFree=1565872/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=68408 CPUtime=443.06
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 17518 0 0 0 42695 1611 0 0 20 0 4 0 106401107 70049792 15047 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 17102 15047 70 163 0 16937 0
[pid=31181/tid=31182] ppid=31179 vsize=68408 CPUtime=9.31
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 3324 0 0 0 191 740 0 0 15 0 4 0 106401107 70049792 15047 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=68408 CPUtime=217.04
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 7087 0 0 0 21268 436 0 0 19 0 4 0 106401107 70049792 15047 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=68408 CPUtime=216.69
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 7024 0 0 0 21236 433 0 0 25 0 4 0 106401107 70049792 15047 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.06
Current children cumulated vsize (KiB) 68408

[startup+282.301 s]
/proc/loadavg: 1.99 1.93 1.58 3/68 31185
/proc/meminfo: memFree=1561648/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=72840 CPUtime=562.78
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 18573 0 0 0 54485 1793 0 0 20 0 4 0 106401107 74588160 16102 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 18210 16102 70 163 0 18045 0
[pid=31181/tid=31182] ppid=31179 vsize=72840 CPUtime=10.32
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 3604 0 0 0 211 821 0 0 15 0 4 0 106401107 74588160 16102 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=72840 CPUtime=276.32
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 7592 0 0 0 27146 486 0 0 20 0 4 0 106401107 74588160 16102 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=72840 CPUtime=276.1
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 7294 0 0 0 27126 484 0 0 25 0 4 0 106401107 74588160 16102 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.78
Current children cumulated vsize (KiB) 72840

[startup+342.305 s]
/proc/loadavg: 1.99 1.94 1.60 3/68 31185
/proc/meminfo: memFree=1557744/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=78240 CPUtime=682.52
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 19531 0 0 0 66295 1957 0 0 20 0 4 0 106401107 80117760 17060 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 19560 17060 70 163 0 19395 0
[pid=31181/tid=31182] ppid=31179 vsize=78240 CPUtime=11.32
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 3901 0 0 0 232 900 0 0 15 0 4 0 106401107 80117760 17060 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=78240 CPUtime=335.82
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 7940 0 0 0 33053 529 0 0 25 0 4 0 106401107 80117760 17060 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31184] ppid=31179 vsize=78240 CPUtime=335.36
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 7607 0 0 0 33009 527 0 0 25 0 4 0 106401107 80117760 17060 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.52
Current children cumulated vsize (KiB) 78240

[startup+402.302 s]
/proc/loadavg: 2.04 1.96 1.63 3/68 31185
/proc/meminfo: memFree=1554480/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=82636 CPUtime=802.25
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 20361 0 0 0 78130 2095 0 0 20 0 4 0 106401107 84619264 17890 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 20659 17890 70 163 0 20494 0
[pid=31181/tid=31182] ppid=31179 vsize=82636 CPUtime=12.09
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 4145 0 0 0 248 961 0 0 15 0 4 0 106401107 84619264 17890 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=82636 CPUtime=395.34
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 8233 0 0 0 38968 566 0 0 25 0 4 0 106401107 84619264 17890 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31184] ppid=31179 vsize=82636 CPUtime=394.79
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 7900 0 0 0 38912 567 0 0 25 0 4 0 106401107 84619264 17890 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.25
Current children cumulated vsize (KiB) 82636

[startup+462.302 s]
/proc/loadavg: 2.01 1.97 1.65 3/68 31185
/proc/meminfo: memFree=1551344/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=85192 CPUtime=921.98
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 21132 0 0 0 89969 2229 0 0 20 0 4 0 106401107 87236608 18661 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 21298 18661 70 163 0 21133 0
[pid=31181/tid=31182] ppid=31179 vsize=85192 CPUtime=12.91
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 4381 0 0 0 263 1028 0 0 15 0 4 0 106401107 87236608 18661 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=85192 CPUtime=454.89
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 8523 0 0 0 44889 600 0 0 25 0 4 0 106401107 87236608 18661 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=85192 CPUtime=454.16
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 8145 0 0 0 44816 600 0 0 25 0 4 0 106401107 87236608 18661 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.98
Current children cumulated vsize (KiB) 85192

[startup+522.301 s]
/proc/loadavg: 2.14 2.00 1.68 3/68 31185
/proc/meminfo: memFree=1549424/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=87524 CPUtime=1041.53
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 21612 0 0 0 101533 2620 0 0 20 0 4 0 106401107 89624576 19141 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 21881 19141 70 163 0 21716 0
[pid=31181/tid=31182] ppid=31179 vsize=87524 CPUtime=15.18
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 4679 0 0 0 309 1209 0 0 15 0 4 0 106401107 89624576 19141 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31181/tid=31183] ppid=31179 vsize=87524 CPUtime=513.64
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 8597 0 0 0 50659 705 0 0 19 0 4 0 106401107 89624576 19141 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31184] ppid=31179 vsize=87524 CPUtime=512.68
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 8253 0 0 0 50564 704 0 0 19 0 4 0 106401107 89624576 19141 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.53
Current children cumulated vsize (KiB) 87524

[startup+582.301 s]
/proc/loadavg: 2.10 2.01 1.70 3/68 31185
/proc/meminfo: memFree=1547184/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=91256 CPUtime=1161.21
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 22157 0 0 0 113080 3041 0 0 20 0 4 0 106401107 93446144 19686 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 22814 19686 70 163 0 22649 0
[pid=31181/tid=31182] ppid=31179 vsize=91256 CPUtime=17.66
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 5033 0 0 0 361 1405 0 0 15 0 4 0 106401107 93446144 19686 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=91256 CPUtime=572.17
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 8642 0 0 0 56402 815 0 0 25 0 4 0 106401107 93446144 19686 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31181/tid=31184] ppid=31179 vsize=91256 CPUtime=571.37
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 8399 0 0 0 56316 821 0 0 20 0 4 0 106401107 93446144 19686 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.21
Current children cumulated vsize (KiB) 91256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.801 s]
/proc/loadavg: 2.07 2.01 1.71 3/68 31185
/proc/meminfo: memFree=1546608/2055920 swapFree=4179608/4192956
[pid=31181] ppid=31179 vsize=91900 CPUtime=1200.13
/proc/31181/stat : 31181 (satake) S 31179 31181 30988 0 -1 4194304 22285 0 0 0 116872 3141 0 0 20 0 4 0 106401107 94105600 19814 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31181/statm: 22975 19814 70 163 0 22810 0
[pid=31181/tid=31182] ppid=31179 vsize=91900 CPUtime=18.27
/proc/31181/task/31182/stat : 31182 (satake) S 31179 31181 30988 0 -1 4194368 5117 0 0 0 374 1453 0 0 15 0 4 0 106401107 94105600 19814 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31181/tid=31183] ppid=31179 vsize=91900 CPUtime=591.35
/proc/31181/task/31183/stat : 31183 (satake) R 31179 31181 30988 0 -1 4194368 8676 0 0 0 58296 839 0 0 25 0 4 0 106401107 94105600 19814 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31181/tid=31184] ppid=31179 vsize=91900 CPUtime=590.49
/proc/31181/task/31184/stat : 31184 (satake) R 31179 31181 30988 0 -1 4194368 8409 0 0 0 58201 848 0 0 21 0 4 0 106401107 94105600 19814 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 91900

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.829
CPU time (s): 1200.16
CPU user time (s): 1168.74
CPU system time (s): 31.4262
CPU usage (%): 199.419
Max. virtual memory (cumulated for all children) (KiB): 91900

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1168.74
system time used= 31.4262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22285
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= 2845650
involuntary context switches= 2817447

runsolver used 0.577912 second user time and 1.63675 second system time

The end

Launcher Data 

Begin job on node63 at 2009-04-27 00:09:09
IDJOB=1732840
IDBENCH=71128
IDSOLVER=553
FILE ID=node63/1732840-1240783749
PBS_JOBID= 9187278
Free space on /tmp= 66340 MiB

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

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

MD5SUM BENCH= 594c254e77c66d387919761f50e63b6d
RANDOM SEED=1716549470

node63.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.236
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.236
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:       1626416 kB
Buffers:         51432 kB
Cached:         303236 kB
SwapCached:       6480 kB
Active:         156096 kB
Inactive:       207776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1626416 kB
SwapTotal:     4192956 kB
SwapFree:      4179608 kB
Dirty:            5640 kB
Writeback:           0 kB
Mapped:          14864 kB
Slab:            51428 kB
Committed_AS:   595288 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66340 MiB
End job on node63 at 2009-04-27 00:19:13