Trace number 1543661

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.25 638.174

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
MD5SUMf01a357506e46fa7e7841ae96b5e63ce
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.364944
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543661-1238494192/watcher-1543661-1238494192 -o /tmp/evaluation-result-1543661-1238494192/solver-1543661-1238494192 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543661-1238494192.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: 2.35 2.27 2.07 3/64 25881
/proc/meminfo: memFree=1061888/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=1288 CPUtime=0
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 4 0 1122085023 1318912 148 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 322 149 65 163 0 157 0
[pid=25881/tid=25882] ppid=25879 vsize=1288 CPUtime=0
/proc/25881/task/25882/stat : 25882 (satake) S 25879 25881 25452 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122085024 1318912 149 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=1288 CPUtime=0
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 75 0 0 0 0 0 0 0 19 0 4 0 1122085024 1318912 150 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25884] ppid=25879 vsize=1288 CPUtime=0
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122085024 1318912 150 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.103987 s]
/proc/loadavg: 2.35 2.27 2.07 3/64 25881
/proc/meminfo: memFree=1061888/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=2816 CPUtime=0.17
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 415 0 0 0 12 5 0 0 18 0 4 0 1122085023 2883584 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 704 332 70 163 0 539 0
[pid=25881/tid=25882] ppid=25879 vsize=2816 CPUtime=0.02
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 19 0 0 0 1 1 0 0 17 0 4 0 1122085024 2883584 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=2816 CPUtime=0.06
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 157 0 0 0 5 1 0 0 17 0 4 0 1122085024 2883584 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134528857 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=2816 CPUtime=0.06
/proc/25881/task/25884/stat : 25884 (satake) S 25879 25881 25452 0 -1 4194368 156 0 0 0 5 1 0 0 17 0 4 0 1122085024 2883584 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2816

[startup+0.202005 s]
/proc/loadavg: 2.35 2.27 2.07 3/64 25881
/proc/meminfo: memFree=1061888/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=3088 CPUtime=0.33
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 479 0 0 0 23 10 0 0 18 0 4 0 1122085023 3162112 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 772 396 70 163 0 607 0
[pid=25881/tid=25882] ppid=25879 vsize=3088 CPUtime=0.06
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 42 0 0 0 2 4 0 0 16 0 4 0 1122085024 3162112 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134706431 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=3088 CPUtime=0.13
/proc/25881/task/25883/stat : 25883 (satake) S 25879 25881 25452 0 -1 4194368 178 0 0 0 10 3 0 0 17 0 4 0 1122085024 3162112 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=3088 CPUtime=0.12
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 176 0 0 0 10 2 0 0 17 0 4 0 1122085024 3162112 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 3088

[startup+0.302023 s]
/proc/loadavg: 2.35 2.27 2.07 3/64 25881
/proc/meminfo: memFree=1061888/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=3352 CPUtime=0.5
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 536 0 0 0 34 16 0 0 18 0 4 0 1122085023 3432448 453 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 838 453 70 163 0 673 0
[pid=25881/tid=25882] ppid=25879 vsize=3352 CPUtime=0.09
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 57 0 0 0 2 7 0 0 17 0 4 0 1122085024 3432448 453 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=3352 CPUtime=0.19
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 201 0 0 0 15 4 0 0 16 0 4 0 1122085024 3432448 453 1992294400 134512640 135180984 4294956208 18446744073709551615 134528711 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=3352 CPUtime=0.2
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 195 0 0 0 15 5 0 0 17 0 4 0 1122085024 3432448 453 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 3352

[startup+0.705478 s]
/proc/loadavg: 2.35 2.27 2.07 3/64 25881
/proc/meminfo: memFree=1061888/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=3748 CPUtime=1.21
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 679 0 0 0 79 42 0 0 18 0 4 0 1122085023 3837952 596 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 937 596 70 163 0 772 0
[pid=25881/tid=25882] ppid=25879 vsize=3748 CPUtime=0.23
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 106 0 0 0 5 18 0 0 17 0 4 0 1122085024 3837952 596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=3748 CPUtime=0.47
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 249 0 0 0 36 11 0 0 17 0 4 0 1122085024 3837952 596 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25884] ppid=25879 vsize=3748 CPUtime=0.48
/proc/25881/task/25884/stat : 25884 (satake) S 25879 25881 25452 0 -1 4194368 241 0 0 0 36 12 0 0 15 0 4 0 1122085024 3837952 596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 3748

[startup+1.50244 s]
/proc/loadavg: 2.35 2.27 2.07 3/68 25885
/proc/meminfo: memFree=1059360/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=4296 CPUtime=2.61
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 831 0 0 0 169 92 0 0 18 0 4 0 1122085023 4399104 748 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 1074 748 70 163 0 909 0
[pid=25881/tid=25882] ppid=25879 vsize=4296 CPUtime=0.57
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 211 0 0 0 13 44 0 0 17 0 4 0 1122085024 4399104 748 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=4296 CPUtime=0.99
/proc/25881/task/25883/stat : 25883 (satake) S 25879 25881 25452 0 -1 4194368 279 0 0 0 77 22 0 0 17 0 4 0 1122085024 4399104 748 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=4296 CPUtime=1.03
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 258 0 0 0 78 25 0 0 16 0 4 0 1122085024 4399104 748 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 4296

[startup+3.10239 s]
/proc/loadavg: 2.35 2.27 2.07 4/68 25885
/proc/meminfo: memFree=1058464/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=5580 CPUtime=5.45
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 1140 0 0 0 352 193 0 0 18 0 4 0 1122085023 5713920 1057 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 1395 1057 70 163 0 1230 0
[pid=25881/tid=25882] ppid=25879 vsize=5580 CPUtime=1.21
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 419 0 0 0 26 95 0 0 16 0 4 0 1122085024 5713920 1057 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=5580 CPUtime=2.07
/proc/25881/task/25883/stat : 25883 (satake) S 25879 25881 25452 0 -1 4194368 321 0 0 0 160 47 0 0 15 0 4 0 1122085024 5713920 1057 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=5580 CPUtime=2.14
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 317 0 0 0 164 50 0 0 15 0 4 0 1122085024 5713920 1057 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 5580

[startup+6.30115 s]
/proc/loadavg: 2.32 2.26 2.07 3/68 25885
/proc/meminfo: memFree=1056032/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=7884 CPUtime=11.16
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 1723 0 0 0 709 407 0 0 18 0 4 0 1122085023 8073216 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 1971 1640 70 163 0 1806 0
[pid=25881/tid=25882] ppid=25879 vsize=7884 CPUtime=2.52
/proc/25881/task/25882/stat : 25882 (satake) S 25879 25881 25452 0 -1 4194368 834 0 0 0 56 196 0 0 16 0 4 0 1122085024 8073216 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=7884 CPUtime=4.27
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 413 0 0 0 325 102 0 0 16 0 4 0 1122085024 8073216 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=7884 CPUtime=4.34
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 393 0 0 0 327 107 0 0 16 0 4 0 1122085024 8073216 1640 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 7884

[startup+12.7015 s]
/proc/loadavg: 2.30 2.26 2.07 4/68 25885
/proc/meminfo: memFree=1051936/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=12956 CPUtime=22.71
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 2671 0 0 0 1435 836 0 0 18 0 4 0 1122085023 13266944 2588 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 3239 2588 70 163 0 3074 0
[pid=25881/tid=25882] ppid=25879 vsize=12956 CPUtime=5.15
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 1605 0 0 0 111 404 0 0 16 0 4 0 1122085024 13266944 2588 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=12956 CPUtime=8.76
/proc/25881/task/25883/stat : 25883 (satake) S 25879 25881 25452 0 -1 4194368 505 0 0 0 665 211 0 0 15 0 4 0 1122085024 13266944 2588 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=12956 CPUtime=8.78
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 478 0 0 0 658 220 0 0 16 0 4 0 1122085024 13266944 2588 1992294400 134512640 135180984 4294956208 18446744073709551615 134528219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.71
Current children cumulated vsize (KiB) 12956

[startup+25.503 s]
/proc/loadavg: 2.38 2.28 2.08 3/68 25885
/proc/meminfo: memFree=1044384/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=21332 CPUtime=46.12
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 4497 0 0 0 2925 1687 0 0 18 0 4 0 1122085023 21843968 4414 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 5333 4414 70 163 0 5168 0
[pid=25881/tid=25882] ppid=25879 vsize=21332 CPUtime=10.36
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 3013 0 0 0 221 815 0 0 16 0 4 0 1122085024 21843968 4414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=21332 CPUtime=17.79
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 716 0 0 0 1346 433 0 0 15 0 4 0 1122085024 21843968 4414 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=21332 CPUtime=17.95
/proc/25881/task/25884/stat : 25884 (satake) S 25879 25881 25452 0 -1 4194368 685 0 0 0 1357 438 0 0 16 0 4 0 1122085024 21843968 4414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.12
Current children cumulated vsize (KiB) 21332

[startup+51.1028 s]
/proc/loadavg: 2.51 2.32 2.10 3/68 25885
/proc/meminfo: memFree=1030496/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=38364 CPUtime=92.99
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 8020 0 0 0 5863 3436 0 0 18 0 4 0 1122085023 39284736 7937 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 9591 7937 70 163 0 9426 0
[pid=25881/tid=25882] ppid=25879 vsize=38364 CPUtime=21.05
/proc/25881/task/25882/stat : 25882 (satake) S 25879 25881 25452 0 -1 4194368 5355 0 0 0 445 1660 0 0 16 0 4 0 1122085024 39284736 7937 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=38364 CPUtime=35.91
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 1392 0 0 0 2710 881 0 0 17 0 4 0 1122085024 39284736 7937 1992294400 134512640 135180984 4294956208 18446744073709551615 134538182 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=38364 CPUtime=36
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 1190 0 0 0 2707 893 0 0 16 0 4 0 1122085024 39284736 7937 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.99
Current children cumulated vsize (KiB) 38364

[startup+102.301 s]
/proc/loadavg: 2.46 2.33 2.11 4/68 25885
/proc/meminfo: memFree=1003168/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=69832 CPUtime=187.75
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 14721 0 0 0 11997 6778 0 0 18 0 4 0 1122085023 71507968 14638 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 17458 14638 70 163 0 17293 0
[pid=25881/tid=25882] ppid=25879 vsize=69832 CPUtime=41.58
/proc/25881/task/25882/stat : 25882 (satake) S 25879 25881 25452 0 -1 4194368 9690 0 0 0 877 3281 0 0 16 0 4 0 1122085024 71507968 14638 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=69832 CPUtime=73.06
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 2493 0 0 0 5568 1738 0 0 16 0 4 0 1122085024 71507968 14638 1992294400 134512640 135180984 4294956208 18446744073709551615 134520719 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=69832 CPUtime=73.1
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 2455 0 0 0 5551 1759 0 0 16 0 4 0 1122085024 71507968 14638 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 187.75
Current children cumulated vsize (KiB) 69832

[startup+162.305 s]
/proc/loadavg: 2.50 2.36 2.13 4/68 25885
/proc/meminfo: memFree=972832/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=106600 CPUtime=299.31
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 22370 0 0 0 19286 10645 0 0 18 0 4 0 1122085023 109158400 22287 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 26650 22287 70 163 0 26485 0
[pid=25881/tid=25882] ppid=25879 vsize=106600 CPUtime=65.25
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 14585 0 0 0 1371 5154 0 0 16 0 4 0 1122085024 109158400 22287 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=106600 CPUtime=117.3
/proc/25881/task/25883/stat : 25883 (satake) S 25879 25881 25452 0 -1 4194368 3710 0 0 0 8985 2745 0 0 16 0 4 0 1122085024 109158400 22287 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=106600 CPUtime=116.74
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 3992 0 0 0 8929 2745 0 0 16 0 4 0 1122085024 109158400 22287 1992294400 134512640 135180984 4294956208 18446744073709551615 134528608 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 299.31
Current children cumulated vsize (KiB) 106600

[startup+222.306 s]
/proc/loadavg: 2.50 2.39 2.16 3/68 25885
/proc/meminfo: memFree=942560/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=145424 CPUtime=411.74
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 29812 0 0 0 26763 14411 0 0 18 0 4 0 1122085023 148914176 29729 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 36356 29729 70 163 0 36191 0
[pid=25881/tid=25882] ppid=25879 vsize=145424 CPUtime=88.25
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 19372 0 0 0 1852 6973 0 0 16 0 4 0 1122085024 148914176 29729 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=145424 CPUtime=162.26
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 4965 0 0 0 12503 3723 0 0 15 0 4 0 1122085024 148914176 29729 1992294400 134512640 135180984 4294956208 18446744073709551615 134528532 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=145424 CPUtime=161.22
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 5392 0 0 0 12407 3715 0 0 16 0 4 0 1122085024 148914176 29729 1992294400 134512640 135180984 4294956208 18446744073709551615 134522875 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 411.74
Current children cumulated vsize (KiB) 145424

[startup+282.303 s]
/proc/loadavg: 2.48 2.41 2.18 4/68 25885
/proc/meminfo: memFree=913568/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=177060 CPUtime=524.68
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 37084 0 0 0 34349 18119 0 0 18 0 4 0 1122085023 181309440 37001 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 44265 37001 70 163 0 44100 0
[pid=25881/tid=25882] ppid=25879 vsize=177060 CPUtime=110.9
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 23864 0 0 0 2336 8754 0 0 16 0 4 0 1122085024 181309440 37001 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=177060 CPUtime=207.25
/proc/25881/task/25883/stat : 25883 (satake) S 25879 25881 25452 0 -1 4194368 6402 0 0 0 16039 4686 0 0 15 0 4 0 1122085024 181309440 37001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25881/tid=25884] ppid=25879 vsize=177060 CPUtime=206.51
/proc/25881/task/25884/stat : 25884 (satake) S 25879 25881 25452 0 -1 4194368 6735 0 0 0 15973 4678 0 0 16 0 4 0 1122085024 181309440 37001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 524.68
Current children cumulated vsize (KiB) 177060

[startup+342.302 s]
/proc/loadavg: 2.49 2.42 2.19 4/68 25885
/proc/meminfo: memFree=884896/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=211900 CPUtime=637.96
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 44191 0 0 0 42031 21765 0 0 18 0 4 0 1122085023 216985600 44108 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 52975 44108 70 163 0 52810 0
[pid=25881/tid=25882] ppid=25879 vsize=211900 CPUtime=133.02
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 28136 0 0 0 2796 10506 0 0 15 0 4 0 1122085024 216985600 44108 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=211900 CPUtime=253.05
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 7755 0 0 0 19661 5644 0 0 15 0 4 0 1122085024 216985600 44108 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25884] ppid=25879 vsize=211900 CPUtime=251.87
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 8217 0 0 0 19573 5614 0 0 16 0 4 0 1122085024 216985600 44108 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.96
Current children cumulated vsize (KiB) 211900

[startup+402.302 s]
/proc/loadavg: 2.53 2.45 2.21 3/68 25885
/proc/meminfo: memFree=857376/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=243700 CPUtime=751.46
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 51178 0 0 0 49747 25399 0 0 18 0 4 0 1122085023 249548800 51095 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 60925 51095 70 163 0 60760 0
[pid=25881/tid=25882] ppid=25879 vsize=243700 CPUtime=155.16
/proc/25881/task/25882/stat : 25882 (satake) S 25879 25881 25452 0 -1 4194368 32300 0 0 0 3261 12255 0 0 15 0 4 0 1122085024 249548800 51095 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=243700 CPUtime=298.75
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 9069 0 0 0 23279 6596 0 0 16 0 4 0 1122085024 249548800 51095 1992294400 134512640 135180984 4294956208 18446744073709551615 134528562 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=243700 CPUtime=297.54
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 9726 0 0 0 23207 6547 0 0 16 0 4 0 1122085024 249548800 51095 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 751.46
Current children cumulated vsize (KiB) 243700

[startup+462.302 s]
/proc/loadavg: 2.52 2.46 2.23 4/68 25885
/proc/meminfo: memFree=828640/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=280380 CPUtime=865.14
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 58261 0 0 0 57532 28982 0 0 18 0 4 0 1122085023 287109120 58178 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 70095 58178 70 163 0 69930 0
[pid=25881/tid=25882] ppid=25879 vsize=280380 CPUtime=177.04
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 36511 0 0 0 3726 13978 0 0 15 0 4 0 1122085024 287109120 58178 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=280380 CPUtime=344.63
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 10497 0 0 0 26934 7529 0 0 15 0 4 0 1122085024 287109120 58178 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=280380 CPUtime=343.46
/proc/25881/task/25884/stat : 25884 (satake) S 25879 25881 25452 0 -1 4194368 11170 0 0 0 26871 7475 0 0 16 0 4 0 1122085024 287109120 58178 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 865.14
Current children cumulated vsize (KiB) 280380

[startup+522.301 s]
/proc/loadavg: 2.50 2.47 2.25 3/68 25885
/proc/meminfo: memFree=801760/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=318660 CPUtime=979.5
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 65036 0 0 0 65509 32441 0 0 18 0 4 0 1122085023 326307840 64953 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 79665 64953 70 163 0 79500 0
[pid=25881/tid=25882] ppid=25879 vsize=318660 CPUtime=198.42
/proc/25881/task/25882/stat : 25882 (satake) S 25879 25881 25452 0 -1 4194368 40471 0 0 0 4188 15654 0 0 15 0 4 0 1122085024 326307840 64953 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=25881/tid=25883] ppid=25879 vsize=318660 CPUtime=391.06
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 11963 0 0 0 30687 8419 0 0 16 0 4 0 1122085024 326307840 64953 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=318660 CPUtime=390.01
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 12519 0 0 0 30633 8368 0 0 16 0 4 0 1122085024 326307840 64953 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 979.5
Current children cumulated vsize (KiB) 318660

[startup+582.302 s]
/proc/loadavg: 2.62 2.51 2.27 3/68 25885
/proc/meminfo: memFree=773984/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=351108 CPUtime=1093.83
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 71907 0 0 0 73488 35895 0 0 18 0 4 0 1122085023 359534592 71824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 87777 71824 70 163 0 87612 0
[pid=25881/tid=25882] ppid=25879 vsize=351108 CPUtime=219.78
/proc/25881/task/25882/stat : 25882 (satake) R 25879 25881 25452 0 -1 4194368 44422 0 0 0 4646 17332 0 0 16 0 4 0 1122085024 359534592 71824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=351108 CPUtime=437.45
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 13509 0 0 0 34434 9311 0 0 15 0 4 0 1122085024 359534592 71824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25881/tid=25884] ppid=25879 vsize=351108 CPUtime=436.57
/proc/25881/task/25884/stat : 25884 (satake) S 25879 25881 25452 0 -1 4194368 13893 0 0 0 34406 9251 0 0 15 0 4 0 1122085024 359534592 71824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1093.83
Current children cumulated vsize (KiB) 351108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+638.105 s]
/proc/loadavg: 2.54 2.51 2.28 4/68 25885
/proc/meminfo: memFree=749024/2055920 swapFree=4178880/4192956
[pid=25881] ppid=25879 vsize=378212 CPUtime=1200.18
/proc/25881/stat : 25881 (satake) S 25879 25881 25452 0 -1 4194304 78084 0 0 0 80905 39113 0 0 18 0 4 0 1122085023 387289088 78001 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25881/statm: 94553 78001 70 163 0 94388 0
[pid=25881/tid=25882] ppid=25879 vsize=378212 CPUtime=239.63
/proc/25881/task/25882/stat : 25882 (satake) S 25879 25881 25452 0 -1 4194368 48043 0 0 0 5066 18897 0 0 16 0 4 0 1122085024 387289088 78001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=25881/tid=25883] ppid=25879 vsize=378212 CPUtime=481.11
/proc/25881/task/25883/stat : 25883 (satake) R 25879 25881 25452 0 -1 4194368 14781 0 0 0 37970 10141 0 0 17 0 4 0 1122085024 387289088 78001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25881/tid=25884] ppid=25879 vsize=378212 CPUtime=479.42
/proc/25881/task/25884/stat : 25884 (satake) R 25879 25881 25452 0 -1 4194368 15177 0 0 0 37868 10074 0 0 16 0 4 0 1122085024 387289088 78001 1992294400 134512640 135180984 4294956208 18446744073709551615 134528573 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 378212

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): 638.174
CPU time (s): 1200.25
CPU user time (s): 809.061
CPU system time (s): 391.192
CPU usage (%): 188.076
Max. virtual memory (cumulated for all children) (KiB): 378212

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= 809.061
system time used= 391.192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78085
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= 15525941
involuntary context switches= 14507484

runsolver used 0.724889 second user time and 1.84472 second system time

The end

Launcher Data 

Begin job on node21 at 2009-03-31 12:09:52
IDJOB=1543661
IDBENCH=70502
IDSOLVER=553
FILE ID=node21/1543661-1238494192
PBS_JOBID= 9061879
Free space on /tmp= 66460 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/60/unif-k7-r89-v60-c5340-S1206040031-030.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543661-1238494192/watcher-1543661-1238494192 -o /tmp/evaluation-result-1543661-1238494192/solver-1543661-1238494192 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543661-1238494192.cnf 3 1200

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

MD5SUM BENCH= f01a357506e46fa7e7841ae96b5e63ce
RANDOM SEED=2008166372

node21.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.259
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.259
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:       1062368 kB
Buffers:        111288 kB
Cached:         778772 kB
SwapCached:       7880 kB
Active:         210060 kB
Inactive:       689504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1062368 kB
SwapTotal:     4192956 kB
SwapFree:      4178880 kB
Dirty:             892 kB
Writeback:           0 kB
Mapped:          15124 kB
Slab:            80012 kB
Committed_AS:  3096664 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66460 MiB
End job on node21 at 2009-03-31 12:20:32