Trace number 1717082

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.19 601.849

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-26.cnf
MD5SUM0cf155110f71a43081221b427d368ee8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables21734
Number of clauses79766
Sum of the clauses size211276
Maximum clause length225
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 236916
Number of clauses of size 338055
Number of clauses of size 43077
Number of clauses of size 5748
Number of clauses of size over 5969

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-1717082-1240623931/watcher-1717082-1240623931 -o /tmp/evaluation-result-1717082-1240623931/solver-1717082-1240623931 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1717082-1240623931.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.92 0.99 1.15 3/65 19332
/proc/meminfo: memFree=1768816/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=4988 CPUtime=0
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 562 0 0 0 0 0 0 0 18 0 4 0 90426250 5107712 547 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 1247 550 65 163 0 1082 0
[pid=19332/tid=19333] ppid=19330 vsize=4988 CPUtime=0
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90426250 5107712 557 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=4988 CPUtime=0
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 485 0 0 0 0 0 0 0 19 0 4 0 90426250 5107712 560 1992294400 134512640 135180984 4294956208 18446744073709551615 134522560 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=4988 CPUtime=0
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 90426250 5107712 562 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.047325 s]
/proc/loadavg: 0.92 0.99 1.15 3/65 19332
/proc/meminfo: memFree=1768816/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=15412 CPUtime=0.14
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 3151 0 0 0 13 1 0 0 18 0 4 0 90426250 15781888 2793 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 3853 2793 66 163 0 3688 0
[pid=19332/tid=19333] ppid=19330 vsize=15412 CPUtime=0
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 90426250 15781888 2793 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=16992 CPUtime=0.07
/proc/19332/task/19334/stat : 19334 (satake) D 19330 19332 19139 0 -1 4194368 1548 0 0 0 7 0 0 0 18 0 4 0 90426250 17399808 2975 1992294400 134512640 135180984 4294956208 18446744073709551615 134702225 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=15252 CPUtime=0.09
/proc/19332/task/19335/stat : 19335 (satake) S 19330 19332 19139 0 -1 4194368 1566 0 0 0 9 0 0 0 18 0 4 0 90426250 15618048 2922 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 15412

[startup+0.17313 s]
/proc/loadavg: 0.92 0.99 1.15 3/65 19332
/proc/meminfo: memFree=1768816/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=16408 CPUtime=0.33
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 3691 0 0 0 30 3 0 0 18 0 4 0 90426250 16801792 2990 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 4102 2990 70 163 0 3937 0
[pid=19332/tid=19333] ppid=19330 vsize=16408 CPUtime=0
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 391 0 0 0 0 0 0 0 15 0 4 0 90426250 16801792 2990 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19332/tid=19334] ppid=19330 vsize=16408 CPUtime=0.15
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 1615 0 0 0 14 1 0 0 18 0 4 0 90426250 16801792 2990 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=16408 CPUtime=0.15
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 1602 0 0 0 15 0 0 0 17 0 4 0 90426250 16801792 2990 1992294400 134512640 135180984 4294956208 18446744073709551615 134519896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 16408

[startup+0.30115 s]
/proc/loadavg: 0.92 0.99 1.15 3/65 19332
/proc/meminfo: memFree=1768816/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=16408 CPUtime=0.58
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 3726 0 0 0 52 6 0 0 18 0 4 0 90426250 16801792 3025 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 4102 3025 70 163 0 3937 0
[pid=19332/tid=19333] ppid=19330 vsize=16408 CPUtime=0.02
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 393 0 0 0 0 2 0 0 16 0 4 0 90426250 16801792 3025 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=16408 CPUtime=0.27
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 1632 0 0 0 25 2 0 0 19 0 4 0 90426250 16801792 3025 1992294400 134512640 135180984 4294956208 18446744073709551615 134528963 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=16408 CPUtime=0.27
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 1618 0 0 0 26 1 0 0 18 0 4 0 90426250 16801792 3025 1992294400 134512640 135180984 4294956208 18446744073709551615 134518735 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 16408

[startup+0.701186 s]
/proc/loadavg: 0.92 0.99 1.15 3/65 19332
/proc/meminfo: memFree=1768816/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=16676 CPUtime=1.36
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 3841 0 0 0 113 23 0 0 18 0 4 0 90426250 17076224 3140 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 4169 3140 70 163 0 4004 0
[pid=19332/tid=19333] ppid=19330 vsize=16676 CPUtime=0.12
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 417 0 0 0 2 10 0 0 16 0 4 0 90426250 17076224 3140 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=16676 CPUtime=0.62
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 1682 0 0 0 56 6 0 0 17 0 4 0 90426250 17076224 3140 1992294400 134512640 135180984 4294956208 18446744073709551615 134532420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=16676 CPUtime=0.59
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 1659 0 0 0 54 5 0 0 17 0 4 0 90426250 17076224 3140 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 16676

[startup+1.50128 s]
/proc/loadavg: 0.92 0.99 1.15 4/69 19336
/proc/meminfo: memFree=1755856/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=17336 CPUtime=2.92
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 4132 0 0 0 244 48 0 0 18 0 4 0 90426250 17752064 3431 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 4334 3431 70 163 0 4169 0
[pid=19332/tid=19333] ppid=19330 vsize=17336 CPUtime=0.25
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 455 0 0 0 4 21 0 0 16 0 4 0 90426250 17752064 3431 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19332/tid=19334] ppid=19330 vsize=17336 CPUtime=1.35
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 1797 0 0 0 121 14 0 0 17 0 4 0 90426250 17752064 3431 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=17336 CPUtime=1.31
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 1797 0 0 0 119 12 0 0 17 0 4 0 90426250 17752064 3431 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 17336

[startup+3.10127 s]
/proc/loadavg: 0.92 0.99 1.15 3/69 19336
/proc/meminfo: memFree=1754064/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=20872 CPUtime=6.09
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 4885 0 0 0 530 79 0 0 18 0 4 0 90426250 21372928 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 5218 4184 70 163 0 5053 0
[pid=19332/tid=19333] ppid=19330 vsize=20872 CPUtime=0.42
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 507 0 0 0 7 35 0 0 16 0 4 0 90426250 21372928 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19332/tid=19334] ppid=19330 vsize=20872 CPUtime=2.85
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 2107 0 0 0 263 22 0 0 17 0 4 0 90426250 21372928 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=20872 CPUtime=2.8
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 2188 0 0 0 259 21 0 0 17 0 4 0 90426250 21372928 4184 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 20872

[startup+6.30264 s]
/proc/loadavg: 1.01 1.00 1.16 3/69 19336
/proc/meminfo: memFree=1747344/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=26908 CPUtime=12.47
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 6424 0 0 0 1132 115 0 0 18 0 4 0 90426250 27553792 5723 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 6727 5723 70 163 0 6562 0
[pid=19332/tid=19333] ppid=19330 vsize=26908 CPUtime=0.63
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 571 0 0 0 12 51 0 0 16 0 4 0 90426250 27553792 5723 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19332/tid=19334] ppid=19330 vsize=26908 CPUtime=5.94
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 2786 0 0 0 563 31 0 0 17 0 4 0 90426250 27553792 5723 1992294400 134512640 135180984 4294956208 18446744073709551615 134518266 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=26908 CPUtime=5.88
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 2984 0 0 0 556 32 0 0 17 0 4 0 90426250 27553792 5723 1992294400 134512640 135180984 4294956208 18446744073709551615 134525321 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 26908

[startup+12.7024 s]
/proc/loadavg: 1.09 1.02 1.16 3/69 19336
/proc/meminfo: memFree=1734736/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=39148 CPUtime=25.2
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 9421 0 0 0 2343 177 0 0 18 0 4 0 90426250 40087552 8720 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 9787 8720 70 163 0 9622 0
[pid=19332/tid=19333] ppid=19330 vsize=39148 CPUtime=0.97
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 700 0 0 0 20 77 0 0 16 0 4 0 90426250 40087552 8720 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=39148 CPUtime=12.12
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 4388 0 0 0 1161 51 0 0 16 0 4 0 90426250 40087552 8720 1992294400 134512640 135180984 4294956208 18446744073709551615 134524655 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=39148 CPUtime=12.09
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 4250 0 0 0 1161 48 0 0 16 0 4 0 90426250 40087552 8720 1992294400 134512640 135180984 4294956208 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 39148

[startup+25.502 s]
/proc/loadavg: 1.29 1.07 1.17 3/69 19336
/proc/meminfo: memFree=1713360/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=59844 CPUtime=50.65
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 14606 0 0 0 4772 293 0 0 18 0 4 0 90426250 61280256 13905 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 14961 13905 70 163 0 14796 0
[pid=19332/tid=19333] ppid=19330 vsize=59844 CPUtime=1.62
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 929 0 0 0 35 127 0 0 16 0 4 0 90426250 61280256 13905 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=59844 CPUtime=24.56
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 6944 0 0 0 2372 84 0 0 17 0 4 0 90426250 61280256 13905 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=59844 CPUtime=24.45
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 6650 0 0 0 2364 81 0 0 17 0 4 0 90426250 61280256 13905 1992294400 134512640 135180984 4294956208 18446744073709551615 134524757 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 59844

[startup+51.1019 s]
/proc/loadavg: 1.53 1.14 1.20 3/69 19336
/proc/meminfo: memFree=1689744/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=83432 CPUtime=101.69
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 20478 0 0 0 9705 464 0 0 18 0 4 0 90426250 85434368 19777 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 20858 19777 70 163 0 20693 0
[pid=19332/tid=19333] ppid=19330 vsize=83432 CPUtime=2.55
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 1243 0 0 0 53 202 0 0 16 0 4 0 90426250 85434368 19777 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19332/tid=19334] ppid=19330 vsize=83432 CPUtime=49.57
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 9921 0 0 0 4824 133 0 0 18 0 4 0 90426250 85434368 19777 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=83432 CPUtime=49.54
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 9231 0 0 0 4826 128 0 0 18 0 4 0 90426250 85434368 19777 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 83432

[startup+102.307 s]
/proc/loadavg: 1.79 1.27 1.23 3/69 19336
/proc/meminfo: memFree=1681168/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=92300 CPUtime=203.68
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 22514 0 0 0 19551 817 0 0 18 0 4 0 90426250 94515200 21813 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 23075 21813 70 163 0 22910 0
[pid=19332/tid=19333] ppid=19330 vsize=92300 CPUtime=4.65
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 1337 0 0 0 100 365 0 0 16 0 4 0 90426250 94515200 21813 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=92300 CPUtime=99.36
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 10429 0 0 0 9700 236 0 0 17 0 4 0 90426250 94515200 21813 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=92300 CPUtime=99.65
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 10665 0 0 0 9750 215 0 0 17 0 4 0 90426250 94515200 21813 1992294400 134512640 135180984 4294956208 18446744073709551615 134524660 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.68
Current children cumulated vsize (KiB) 92300

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.28 3/69 19336
/proc/meminfo: memFree=1648464/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=125008 CPUtime=323.36
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 30751 0 0 0 31295 1041 0 0 18 0 4 0 90426250 128008192 30050 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 31252 30050 70 163 0 31087 0
[pid=19332/tid=19333] ppid=19330 vsize=125008 CPUtime=5.86
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 1576 0 0 0 127 459 0 0 16 0 4 0 90426250 128008192 30050 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=125008 CPUtime=158.5
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 12750 0 0 0 15549 301 0 0 25 0 4 0 90426250 128008192 30050 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=125008 CPUtime=158.98
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 16342 0 0 0 15618 280 0 0 19 0 4 0 90426250 128008192 30050 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.36
Current children cumulated vsize (KiB) 125008

[startup+222.301 s]
/proc/loadavg: 2.01 1.52 1.33 3/69 19336
/proc/meminfo: memFree=1638992/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=134364 CPUtime=443
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 33016 0 0 0 42972 1328 0 0 18 0 4 0 90426250 137588736 32315 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 33591 32315 70 163 0 33426 0
[pid=19332/tid=19333] ppid=19330 vsize=134364 CPUtime=7.57
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 1793 0 0 0 164 593 0 0 16 0 4 0 90426250 137588736 32315 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=134364 CPUtime=217.43
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 14036 0 0 0 21369 374 0 0 20 0 4 0 90426250 137588736 32315 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=134364 CPUtime=217.97
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 17104 0 0 0 21437 360 0 0 25 0 4 0 90426250 137588736 32315 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443
Current children cumulated vsize (KiB) 134364

[startup+282.302 s]
/proc/loadavg: 2.00 1.61 1.37 3/69 19336
/proc/meminfo: memFree=1634064/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=139140 CPUtime=562.66
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 34243 0 0 0 54696 1570 0 0 18 0 4 0 90426250 142479360 33542 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 34785 33542 70 163 0 34620 0
[pid=19332/tid=19333] ppid=19330 vsize=139140 CPUtime=9.02
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 1979 0 0 0 196 706 0 0 16 0 4 0 90426250 142479360 33542 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19332/tid=19334] ppid=19330 vsize=139140 CPUtime=276.52
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 15067 0 0 0 27205 447 0 0 17 0 4 0 90426250 142479360 33542 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=139140 CPUtime=277.11
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 17114 0 0 0 27294 417 0 0 18 0 4 0 90426250 142479360 33542 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.66
Current children cumulated vsize (KiB) 139140

[startup+342.301 s]
/proc/loadavg: 2.04 1.69 1.41 3/69 19336
/proc/meminfo: memFree=1628304/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=144788 CPUtime=682.34
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 35686 0 0 0 66458 1776 0 0 18 0 4 0 90426250 148262912 34985 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 36197 34985 70 163 0 36032 0
[pid=19332/tid=19333] ppid=19330 vsize=144788 CPUtime=10.21
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 2053 0 0 0 223 798 0 0 16 0 4 0 90426250 148262912 34985 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=144788 CPUtime=335.87
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 16435 0 0 0 33085 502 0 0 19 0 4 0 90426250 148262912 34985 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=144788 CPUtime=336.22
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 17115 0 0 0 33148 474 0 0 25 0 4 0 90426250 148262912 34985 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.34
Current children cumulated vsize (KiB) 144788

[startup+402.302 s]
/proc/loadavg: 2.07 1.76 1.45 3/69 19336
/proc/meminfo: memFree=1601424/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=171900 CPUtime=802.08
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 42456 0 0 0 78348 1860 0 0 18 0 4 0 90426250 176025600 41755 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 42975 41755 70 163 0 42810 0
[pid=19332/tid=19333] ppid=19330 vsize=171900 CPUtime=10.68
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 2154 0 0 0 235 833 0 0 15 0 4 0 90426250 176025600 41755 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19332/tid=19334] ppid=19330 vsize=171900 CPUtime=395.6
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 19802 0 0 0 39033 527 0 0 25 0 4 0 90426250 176025600 41755 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=171900 CPUtime=395.76
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 20417 0 0 0 39078 498 0 0 25 0 4 0 90426250 176025600 41755 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.08
Current children cumulated vsize (KiB) 171900

[startup+462.302 s]
/proc/loadavg: 2.15 1.83 1.49 3/69 19336
/proc/meminfo: memFree=1591312/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=181480 CPUtime=921.75
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 44899 0 0 0 90125 2050 0 0 18 0 4 0 90426250 185835520 44198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 45370 44198 70 163 0 45205 0
[pid=19332/tid=19333] ppid=19330 vsize=181480 CPUtime=11.79
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 2170 0 0 0 258 921 0 0 16 0 4 0 90426250 185835520 44198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=181480 CPUtime=454.89
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 19818 0 0 0 44912 577 0 0 18 0 4 0 90426250 185835520 44198 1992294400 134512640 135180984 4294956208 18446744073709551615 134522872 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=181480 CPUtime=455.06
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 22828 0 0 0 44954 552 0 0 25 0 4 0 90426250 185835520 44198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.75
Current children cumulated vsize (KiB) 181480

[startup+522.302 s]
/proc/loadavg: 2.05 1.86 1.52 3/69 19336
/proc/meminfo: memFree=1587216/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=185864 CPUtime=1041.47
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 46028 0 0 0 101969 2178 0 0 18 0 4 0 90426250 190324736 45327 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 46466 45327 70 163 0 46301 0
[pid=19332/tid=19333] ppid=19330 vsize=185864 CPUtime=12.59
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 2255 0 0 0 279 980 0 0 16 0 4 0 90426250 190324736 45327 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=185864 CPUtime=514.24
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 20859 0 0 0 50811 613 0 0 20 0 4 0 90426250 190324736 45327 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=185864 CPUtime=514.64
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 22831 0 0 0 50879 585 0 0 17 0 4 0 90426250 190324736 45327 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.47
Current children cumulated vsize (KiB) 185864

[startup+582.301 s]
/proc/loadavg: 2.02 1.88 1.55 3/69 19336
/proc/meminfo: memFree=1560400/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=213004 CPUtime=1161.21
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 52655 0 0 0 113863 2258 0 0 18 0 4 0 90426250 218116096 51954 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 53251 51954 70 163 0 53086 0
[pid=19332/tid=19333] ppid=19330 vsize=213004 CPUtime=13.03
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 2418 0 0 0 288 1015 0 0 16 0 4 0 90426250 218116096 51954 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=213004 CPUtime=573.76
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 27321 0 0 0 56737 639 0 0 25 0 4 0 90426250 218116096 51954 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=213004 CPUtime=574.39
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 22833 0 0 0 56836 603 0 0 25 0 4 0 90426250 218116096 51954 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.21
Current children cumulated vsize (KiB) 213004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.803 s]
/proc/loadavg: 2.01 1.89 1.56 3/69 19336
/proc/meminfo: memFree=1556624/2055920 swapFree=4168844/4192956
[pid=19332] ppid=19330 vsize=216280 CPUtime=1200.13
/proc/19332/stat : 19332 (satake) S 19330 19332 19139 0 -1 4194304 53539 0 0 0 117736 2277 0 0 18 0 4 0 90426250 221470720 52838 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 54070 52838 70 163 0 53905 0
[pid=19332/tid=19333] ppid=19330 vsize=216280 CPUtime=13.15
/proc/19332/task/19333/stat : 19333 (satake) S 19330 19332 19139 0 -1 4194368 2443 0 0 0 291 1024 0 0 15 0 4 0 90426250 221470720 52838 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19332/tid=19334] ppid=19330 vsize=216280 CPUtime=593.11
/proc/19332/task/19334/stat : 19334 (satake) R 19330 19332 19139 0 -1 4194368 27591 0 0 0 58667 644 0 0 25 0 4 0 90426250 221470720 52838 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=216280 CPUtime=593.85
/proc/19332/task/19335/stat : 19335 (satake) R 19330 19332 19139 0 -1 4194368 23422 0 0 0 58777 608 0 0 17 0 4 0 90426250 221470720 52838 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 216280

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.849
CPU time (s): 1200.19
CPU user time (s): 1177.38
CPU system time (s): 22.8095
CPU usage (%): 199.416
Max. virtual memory (cumulated for all children) (KiB): 216280

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= 1177.38
system time used= 22.8095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53539
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= 1784876
involuntary context switches= 1759497

runsolver used 0.562914 second user time and 1.64275 second system time

The end

Launcher Data 

Begin job on node32 at 2009-04-25 03:45:31
IDJOB=1717082
IDBENCH=20403
IDSOLVER=553
FILE ID=node32/1717082-1240623931
PBS_JOBID= 9186320
Free space on /tmp= 66384 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1717082-1240623931/watcher-1717082-1240623931 -o /tmp/evaluation-result-1717082-1240623931/solver-1717082-1240623931 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1717082-1240623931.cnf 3 1200

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

MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED=1285622608

node32.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.216
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.216
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:       1769232 kB
Buffers:         40328 kB
Cached:         184572 kB
SwapCached:      17656 kB
Active:          95564 kB
Inactive:       149664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1769232 kB
SwapTotal:     4192956 kB
SwapFree:      4168844 kB
Dirty:            2116 kB
Writeback:           0 kB
Mapped:          14180 kB
Slab:            27208 kB
Committed_AS:   292220 kB
PageTables:       1488 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= 66384 MiB
End job on node32 at 2009-04-25 03:55:35