Trace number 1722040

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.27 601.474

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
MD5SUM03a36a0e1b9af8e7c30a29a92e02302e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.47777
Satisfiable
(Un)Satisfiability was proved
Number of variables4466
Number of clauses542457
Sum of the clauses size1621186
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26774
Number of clauses of size 3535652
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1722040-1240672099/watcher-1722040-1240672099 -o /tmp/evaluation-result-1722040-1240672099/solver-1722040-1240672099 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1722040-1240672099.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.08 0.99 0.98 3/65 21742
/proc/meminfo: memFree=1668920/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=3592 CPUtime=0
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 698 0 0 0 0 0 0 0 18 0 4 0 95243085 3678208 683 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 898 689 65 163 0 733 0
[pid=21742/tid=21743] ppid=21740 vsize=3592 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 95243085 3678208 707 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=3592 CPUtime=0
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 114 0 0 0 0 0 0 0 19 0 4 0 95243085 3678208 707 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21742/tid=21745] ppid=21740 vsize=3592 CPUtime=0
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 518 0 0 0 0 0 0 0 20 0 4 0 95243085 3678208 707 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0954869 s]
/proc/loadavg: 1.08 0.99 0.98 3/65 21742
/proc/meminfo: memFree=1668920/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=28048 CPUtime=0.17
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 6498 0 0 0 12 5 0 0 18 0 4 0 95243085 28721152 6475 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 7012 6476 65 163 0 6847 0
[pid=21742/tid=21743] ppid=21740 vsize=28048 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 95243085 28721152 6476 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=28048 CPUtime=0.07
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 3209 0 0 0 5 2 0 0 16 0 4 0 95243085 28721152 6476 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=28048 CPUtime=0.09
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 3201 0 0 0 7 2 0 0 16 0 4 0 95243085 28721152 6477 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 28048

[startup+0.102481 s]
/proc/loadavg: 1.08 0.99 0.98 3/65 21742
/proc/meminfo: memFree=1668920/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=28576 CPUtime=0.19
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 6682 0 0 0 14 5 0 0 18 0 4 0 95243085 29261824 6659 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 7144 6660 65 163 0 6979 0
[pid=21742/tid=21743] ppid=21740 vsize=28576 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 95243085 29261824 6660 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=28576 CPUtime=0.09
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 3299 0 0 0 6 3 0 0 17 0 4 0 95243085 29261824 6661 1992294400 134512640 135180984 4294956208 18446744073709551615 134513741 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=28576 CPUtime=0.09
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 3295 0 0 0 7 2 0 0 16 0 4 0 95243085 29261824 6661 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28576

[startup+0.307521 s]
/proc/loadavg: 1.08 0.99 0.98 3/65 21742
/proc/meminfo: memFree=1668920/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=51520 CPUtime=0.59
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 11876 0 0 0 51 8 0 0 18 0 4 0 95243085 52756480 11853 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 12880 11854 65 163 0 12715 0
[pid=21742/tid=21743] ppid=21740 vsize=51520 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 95243085 52756480 11854 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=51520 CPUtime=0.29
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 5963 0 0 0 25 4 0 0 15 0 4 0 95243085 52756480 11854 1992294400 134512640 135180984 4294956208 18446744073709551615 134513749 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=51520 CPUtime=0.29
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 5825 0 0 0 26 3 0 0 17 0 4 0 95243085 52756480 11855 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 51520

[startup+0.701557 s]
/proc/loadavg: 1.08 0.99 0.98 3/65 21742
/proc/meminfo: memFree=1668920/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=47304 CPUtime=1.37
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 15687 0 0 0 127 10 0 0 18 0 4 0 95243085 48439296 11086 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 11826 11086 70 163 0 11661 0
[pid=21742/tid=21743] ppid=21740 vsize=47304 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 0 0 0 0 16 0 4 0 95243085 48439296 11086 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=47304 CPUtime=0.68
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 7691 0 0 0 63 5 0 0 17 0 4 0 95243085 48439296 11086 1992294400 134512640 135180984 4294956208 18446744073709551615 134528206 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=47304 CPUtime=0.68
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 7827 0 0 0 63 5 0 0 17 0 4 0 95243085 48439296 11086 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 47304

[startup+1.50165 s]
/proc/loadavg: 1.15 1.00 0.99 3/69 21746
/proc/meminfo: memFree=1623704/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=50444 CPUtime=2.97
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 16299 0 0 0 286 11 0 0 18 0 4 0 95243085 51654656 11698 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 12611 11698 70 163 0 12446 0
[pid=21742/tid=21743] ppid=21740 vsize=50444 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 0 0 0 0 16 0 4 0 95243085 51654656 11698 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=50444 CPUtime=1.48
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 8017 0 0 0 143 5 0 0 16 0 4 0 95243085 51654656 11698 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=50444 CPUtime=1.48
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 8113 0 0 0 143 5 0 0 17 0 4 0 95243085 51654656 11698 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 50444

[startup+3.10183 s]
/proc/loadavg: 1.15 1.00 0.99 3/69 21746
/proc/meminfo: memFree=1620440/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=53744 CPUtime=6.17
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 17280 0 0 0 605 12 0 0 18 0 4 0 95243085 55033856 12679 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 13436 12679 70 163 0 13271 0
[pid=21742/tid=21743] ppid=21740 vsize=53744 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) R 21740 21742 21335 0 -1 4194368 86 0 0 0 0 0 0 0 16 0 4 0 95243085 55033856 12679 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=53744 CPUtime=3.07
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 8570 0 0 0 302 5 0 0 18 0 4 0 95243085 55033856 12679 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=53744 CPUtime=3.07
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 8541 0 0 0 302 5 0 0 18 0 4 0 95243085 55033856 12679 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 53744

[startup+6.30119 s]
/proc/loadavg: 1.15 1.00 0.99 3/69 21746
/proc/meminfo: memFree=1613400/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=59420 CPUtime=12.55
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 18884 0 0 0 1241 14 0 0 18 0 4 0 95243085 60846080 14283 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 14855 14283 70 163 0 14690 0
[pid=21742/tid=21743] ppid=21740 vsize=59420 CPUtime=0
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 0 0 0 0 16 0 4 0 95243085 60846080 14283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=59420 CPUtime=6.26
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 9360 0 0 0 619 7 0 0 18 0 4 0 95243085 60846080 14283 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=59420 CPUtime=6.27
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 9355 0 0 0 621 6 0 0 18 0 4 0 95243085 60846080 14283 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 59420

[startup+12.7019 s]
/proc/loadavg: 1.28 1.04 1.00 3/69 21746
/proc/meminfo: memFree=1603032/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=69608 CPUtime=25.31
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 21275 0 0 0 2514 17 0 0 18 0 4 0 95243085 71278592 16674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 17402 16674 70 163 0 17237 0
[pid=21742/tid=21743] ppid=21740 vsize=69608 CPUtime=0.01
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 0 1 0 0 16 0 4 0 95243085 71278592 16674 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=69608 CPUtime=12.62
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 10443 0 0 0 1254 8 0 0 25 0 4 0 95243085 71278592 16674 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=69608 CPUtime=12.66
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 10663 0 0 0 1259 7 0 0 25 0 4 0 95243085 71278592 16674 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 69608

[startup+25.5024 s]
/proc/loadavg: 1.39 1.07 1.01 3/69 21746
/proc/meminfo: memFree=1585112/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=86920 CPUtime=50.86
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 25651 0 0 0 5064 22 0 0 18 0 4 0 95243085 89006080 21050 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 21730 21050 70 163 0 21565 0
[pid=21742/tid=21743] ppid=21740 vsize=86920 CPUtime=0.01
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 0 1 0 0 16 0 4 0 95243085 89006080 21050 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=86920 CPUtime=25.36
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 12911 0 0 0 2526 10 0 0 18 0 4 0 95243085 89006080 21050 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=86920 CPUtime=25.46
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 12571 0 0 0 2537 9 0 0 17 0 4 0 95243085 89006080 21050 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 86920

[startup+51.1023 s]
/proc/loadavg: 1.60 1.14 1.03 3/69 21746
/proc/meminfo: memFree=1554776/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=118460 CPUtime=101.95
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 33302 0 0 0 10162 33 0 0 18 0 4 0 95243085 121303040 28701 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 29615 28701 70 163 0 29450 0
[pid=21742/tid=21743] ppid=21740 vsize=118460 CPUtime=0.03
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 1 2 0 0 16 0 4 0 95243085 121303040 28701 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=118460 CPUtime=50.85
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 16820 0 0 0 5070 15 0 0 21 0 4 0 95243085 121303040 28701 1992294400 134512640 135180984 4294956208 18446744073709551615 134518247 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=118460 CPUtime=51.04
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 16313 0 0 0 5090 14 0 0 25 0 4 0 95243085 121303040 28701 1992294400 134512640 135180984 4294956208 18446744073709551615 134526441 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 118460

[startup+102.306 s]
/proc/loadavg: 1.84 1.28 1.09 3/69 21746
/proc/meminfo: memFree=1506200/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=166656 CPUtime=204.13
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 45244 0 0 0 20365 48 0 0 18 0 4 0 95243085 170655744 40643 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 41664 40643 70 163 0 41499 0
[pid=21742/tid=21743] ppid=21740 vsize=166656 CPUtime=0.05
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 1 4 0 0 16 0 4 0 95243085 170655744 40643 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=166656 CPUtime=101.84
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 22533 0 0 0 10162 22 0 0 18 0 4 0 95243085 170655744 40643 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=166656 CPUtime=102.21
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 22542 0 0 0 10201 20 0 0 25 0 4 0 95243085 170655744 40643 1992294400 134512640 135180984 4294956208 18446744073709551615 134523775 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 166656

[startup+162.303 s]
/proc/loadavg: 1.94 1.41 1.14 3/69 21746
/proc/meminfo: memFree=1467544/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=206040 CPUtime=323.86
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 54954 0 0 0 32323 63 0 0 18 0 4 0 95243085 210984960 50353 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 51510 50353 70 163 0 51345 0
[pid=21742/tid=21743] ppid=21740 vsize=206040 CPUtime=0.08
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 2 6 0 0 16 0 4 0 95243085 210984960 50353 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=206040 CPUtime=161.59
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 27312 0 0 0 16131 28 0 0 25 0 4 0 95243085 210984960 50353 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=206040 CPUtime=162.18
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 27473 0 0 0 16190 28 0 0 21 0 4 0 95243085 210984960 50353 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.86
Current children cumulated vsize (KiB) 206040

[startup+222.303 s]
/proc/loadavg: 1.98 1.52 1.19 3/69 21746
/proc/meminfo: memFree=1427864/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=246404 CPUtime=443.61
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 64766 0 0 0 44284 77 0 0 18 0 4 0 95243085 252317696 60165 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 61601 60165 70 163 0 61436 0
[pid=21742/tid=21743] ppid=21740 vsize=246404 CPUtime=0.1
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 3 7 0 0 16 0 4 0 95243085 252317696 60165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=246404 CPUtime=221.34
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 32047 0 0 0 22101 33 0 0 25 0 4 0 95243085 252317696 60165 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=246404 CPUtime=222.16
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 32550 0 0 0 22180 36 0 0 25 0 4 0 95243085 252317696 60165 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.61
Current children cumulated vsize (KiB) 246404

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.24 3/69 21746
/proc/meminfo: memFree=1399512/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=275328 CPUtime=563.35
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 71902 0 0 0 56247 88 0 0 18 0 4 0 95243085 281935872 67301 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 68832 67301 70 163 0 68667 0
[pid=21742/tid=21743] ppid=21740 vsize=275328 CPUtime=0.1
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 3 7 0 0 16 0 4 0 95243085 281935872 67301 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=275328 CPUtime=281.09
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 35865 0 0 0 28070 39 0 0 25 0 4 0 95243085 281935872 67301 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=275328 CPUtime=282.14
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 35868 0 0 0 28173 41 0 0 18 0 4 0 95243085 281935872 67301 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.35
Current children cumulated vsize (KiB) 275328

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/69 21746
/proc/meminfo: memFree=1369880/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=305024 CPUtime=683.09
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 79252 0 0 0 68211 98 0 0 18 0 4 0 95243085 312344576 74651 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 76256 74651 70 163 0 76091 0
[pid=21742/tid=21743] ppid=21740 vsize=305024 CPUtime=0.11
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 3 8 0 0 16 0 4 0 95243085 312344576 74651 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=305024 CPUtime=340.85
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 39490 0 0 0 34041 44 0 0 25 0 4 0 95243085 312344576 74651 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=305024 CPUtime=342.12
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 39593 0 0 0 34167 45 0 0 25 0 4 0 95243085 312344576 74651 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 683.09
Current children cumulated vsize (KiB) 305024

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/69 21746
/proc/meminfo: memFree=1342680/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=333212 CPUtime=802.84
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 86153 0 0 0 80175 109 0 0 18 0 4 0 95243085 341209088 81552 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 83303 81552 70 163 0 83138 0
[pid=21742/tid=21743] ppid=21740 vsize=333212 CPUtime=0.12
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 3 9 0 0 16 0 4 0 95243085 341209088 81552 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=333212 CPUtime=400.6
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 42870 0 0 0 40011 49 0 0 25 0 4 0 95243085 341209088 81552 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=333212 CPUtime=402.1
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 43114 0 0 0 40160 50 0 0 25 0 4 0 95243085 341209088 81552 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.84
Current children cumulated vsize (KiB) 333212

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.37 3/69 21746
/proc/meminfo: memFree=1314264/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=362448 CPUtime=922.59
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 93112 0 0 0 92138 121 0 0 18 0 4 0 95243085 371146752 88511 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 90612 88511 70 163 0 90447 0
[pid=21742/tid=21743] ppid=21740 vsize=362448 CPUtime=0.13
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 3 10 0 0 16 0 4 0 95243085 371146752 88511 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=362448 CPUtime=460.35
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 45737 0 0 0 45982 53 0 0 25 0 4 0 95243085 371146752 88511 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=362448 CPUtime=462.08
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 47206 0 0 0 46151 57 0 0 25 0 4 0 95243085 371146752 88511 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.59
Current children cumulated vsize (KiB) 362448

[startup+522.303 s]
/proc/loadavg: 1.99 1.81 1.40 3/69 21746
/proc/meminfo: memFree=1293336/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=384896 CPUtime=1042.33
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 98384 0 0 0 104104 129 0 0 18 0 4 0 95243085 394133504 93783 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 96224 93783 70 163 0 96059 0
[pid=21742/tid=21743] ppid=21740 vsize=384896 CPUtime=0.15
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 4 11 0 0 16 0 4 0 95243085 394133504 93783 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=384896 CPUtime=520.1
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 48011 0 0 0 51954 56 0 0 25 0 4 0 95243085 394133504 93783 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=384896 CPUtime=522.06
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 50204 0 0 0 52145 61 0 0 25 0 4 0 95243085 394133504 93783 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.33
Current children cumulated vsize (KiB) 384896

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/69 21746
/proc/meminfo: memFree=1273240/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=404584 CPUtime=1162.06
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 103354 0 0 0 116068 138 0 0 18 0 4 0 95243085 414294016 98753 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 101146 98753 70 163 0 100981 0
[pid=21742/tid=21743] ppid=21740 vsize=404584 CPUtime=0.16
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 4 12 0 0 16 0 4 0 95243085 414294016 98753 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21742/tid=21744] ppid=21740 vsize=404584 CPUtime=579.85
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 50181 0 0 0 57925 60 0 0 18 0 4 0 95243085 414294016 98753 1992294400 134512640 135180984 4294956208 18446744073709551615 134524833 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=404584 CPUtime=582.04
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 53004 0 0 0 58138 66 0 0 25 0 4 0 95243085 414294016 98753 1992294400 134512640 135180984 4294956208 18446744073709551615 134523647 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1162.06
Current children cumulated vsize (KiB) 404584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 1.99 1.85 1.45 3/69 21746
/proc/meminfo: memFree=1266008/2055920 swapFree=4179360/4192956
[pid=21742] ppid=21740 vsize=412108 CPUtime=1200.19
/proc/21742/stat : 21742 (satake) S 21740 21742 21335 0 -1 4194304 105111 0 0 0 119877 142 0 0 18 0 4 0 95243085 421998592 100510 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21742/statm: 103027 100510 70 163 0 102862 0
[pid=21742/tid=21743] ppid=21740 vsize=412108 CPUtime=0.16
/proc/21742/task/21743/stat : 21743 (satake) S 21740 21742 21335 0 -1 4194368 86 0 0 0 4 12 0 0 15 0 4 0 95243085 421998592 100510 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21742/tid=21744] ppid=21740 vsize=412108 CPUtime=598.88
/proc/21742/task/21744/stat : 21744 (satake) R 21740 21742 21335 0 -1 4194368 51078 0 0 0 59827 61 0 0 25 0 4 0 95243085 421998592 100510 1992294400 134512640 135180984 4294956208 18446744073709551615 134528425 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21742/tid=21745] ppid=21740 vsize=412108 CPUtime=601.14
/proc/21742/task/21745/stat : 21745 (satake) R 21740 21742 21335 0 -1 4194368 53864 0 0 0 60046 68 0 0 25 0 4 0 95243085 421998592 100510 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 412108

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.474
CPU time (s): 1200.27
CPU user time (s): 1198.79
CPU system time (s): 1.48477
CPU usage (%): 199.556
Max. virtual memory (cumulated for all children) (KiB): 412108

deleting IPC queue 1179648
deleting IPC queue 1212417
deleting IPC queue 1245186
deleting IPC queue 1277955
deleting IPC queue 1310724
deleting IPC queue 1343493
deleting IPC queue 1376262
deleting IPC queue 1409031
deleting IPC queue 1441800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.79
system time used= 1.48477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105111
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= 17457
involuntary context switches= 25361

runsolver used 0.506922 second user time and 1.68974 second system time

The end

Launcher Data 

Begin job on node32 at 2009-04-25 17:08:19
IDJOB=1722040
IDBENCH=71081
IDSOLVER=553
FILE ID=node32/1722040-1240672099
PBS_JOBID= 9186551
Free space on /tmp= 66376 MiB

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

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

MD5SUM BENCH= 03a36a0e1b9af8e7c30a29a92e02302e
RANDOM SEED=47598609

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:       1669400 kB
Buffers:         47088 kB
Cached:         285948 kB
SwapCached:       7236 kB
Active:         123700 kB
Inactive:       219340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1669400 kB
SwapTotal:     4192956 kB
SwapFree:      4179360 kB
Dirty:           10088 kB
Writeback:           0 kB
Mapped:          14272 kB
Slab:            29148 kB
Committed_AS:   316504 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= 66376 MiB
End job on node32 at 2009-04-25 17:18:23