Trace number 1543477

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.1 601.429

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
MD5SUMb4ec0c2df22218bd519db808f39dee11
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark86.9768
Satisfiable
(Un)Satisfiability was proved
Number of variables5999
Number of clauses25200
Sum of the clauses size75600
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 325200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-1543477-1238492789/watcher-1543477-1238492789 -o /tmp/evaluation-result-1543477-1238492789/solver-1543477-1238492789 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543477-1238492789.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.99 1.00 1.12 2/64 15021
/proc/meminfo: memFree=1510408/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=2420 CPUtime=0
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 4 0 1121941189 2478080 388 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 605 388 65 163 0 440 0
[pid=15021/tid=15022] ppid=15019 vsize=2420 CPUtime=0
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121941189 2478080 389 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=2420 CPUtime=0
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 314 0 0 0 0 0 0 0 20 0 4 0 1121941189 2478080 389 1992294400 134512640 135180984 4294956208 18446744073709551615 134519885 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=2420 CPUtime=0
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 1121941189 2478080 390 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.060745 s]
/proc/loadavg: 0.99 1.00 1.12 2/64 15021
/proc/meminfo: memFree=1510408/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=6520 CPUtime=0.1
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 1183 0 0 0 10 0 0 0 18 0 4 0 1121941189 6676480 946 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 1630 946 68 163 0 1465 0
[pid=15021/tid=15022] ppid=15019 vsize=6520 CPUtime=0
/proc/15021/task/15022/stat : 15022 (satake) R 15019 15021 8759 0 -1 4194368 10 0 0 0 0 0 0 0 18 0 4 0 1121941189 6676480 946 1992294400 134512640 135180984 4294956208 18446744073709551615 134673465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=6520 CPUtime=0.05
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 517 0 0 0 5 0 0 0 16 0 4 0 1121941189 6676480 947 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=6520 CPUtime=0.04
/proc/15021/task/15024/stat : 15024 (satake) S 15019 15021 8759 0 -1 4194368 574 0 0 0 4 0 0 0 16 0 4 0 1121941189 6676480 947 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6520

[startup+0.114756 s]
/proc/loadavg: 0.99 1.00 1.12 2/64 15021
/proc/meminfo: memFree=1510408/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=6652 CPUtime=0.2
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 1337 0 0 0 19 1 0 0 18 0 4 0 1121941189 6811648 1100 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 1663 1100 70 163 0 1498 0
[pid=15021/tid=15022] ppid=15019 vsize=6652 CPUtime=0
/proc/15021/task/15022/stat : 15022 (satake) R 15019 15021 8759 0 -1 4194368 113 0 0 0 0 0 0 0 17 0 4 0 1121941189 6811648 1100 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=6652 CPUtime=0.09
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 540 0 0 0 9 0 0 0 16 0 4 0 1121941189 6811648 1100 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=6652 CPUtime=0.09
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 601 0 0 0 9 0 0 0 17 0 4 0 1121941189 6811648 1100 1992294400 134512640 135180984 4294956208 18446744073709551615 134520911 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 6652

[startup+0.301777 s]
/proc/loadavg: 0.99 1.00 1.12 2/64 15021
/proc/meminfo: memFree=1510408/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=7048 CPUtime=0.58
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 1505 0 0 0 54 4 0 0 18 0 4 0 1121941189 7217152 1268 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 1762 1268 70 163 0 1597 0
[pid=15021/tid=15022] ppid=15019 vsize=7048 CPUtime=0.01
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 116 0 0 0 0 1 0 0 16 0 4 0 1121941189 7217152 1268 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=7048 CPUtime=0.28
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 618 0 0 0 27 1 0 0 17 0 4 0 1121941189 7217152 1268 1992294400 134512640 135180984 4294956208 18446744073709551615 134528462 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=7048 CPUtime=0.27
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 688 0 0 0 26 1 0 0 17 0 4 0 1121941189 7217152 1268 1992294400 134512640 135180984 4294956208 18446744073709551615 134532436 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 7048

[startup+0.701822 s]
/proc/loadavg: 0.99 1.00 1.12 2/64 15021
/proc/meminfo: memFree=1510408/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=8864 CPUtime=1.37
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 1866 0 0 0 129 8 0 0 18 0 4 0 1121941189 9076736 1629 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 2216 1629 70 163 0 2051 0
[pid=15021/tid=15022] ppid=15019 vsize=8864 CPUtime=0.03
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 121 0 0 0 1 2 0 0 16 0 4 0 1121941189 9076736 1629 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=8864 CPUtime=0.66
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 794 0 0 0 64 2 0 0 17 0 4 0 1121941189 9076736 1629 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=8864 CPUtime=0.65
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 868 0 0 0 63 2 0 0 19 0 4 0 1121941189 9076736 1629 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 8864

[startup+1.50191 s]
/proc/loadavg: 0.99 1.00 1.12 3/68 15025
/proc/meminfo: memFree=1503016/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=11604 CPUtime=2.95
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 2577 0 0 0 280 15 0 0 18 0 4 0 1121941189 11882496 2340 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 2901 2340 70 163 0 2736 0
[pid=15021/tid=15022] ppid=15019 vsize=11604 CPUtime=0.07
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 131 0 0 0 1 6 0 0 16 0 4 0 1121941189 11882496 2340 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=11604 CPUtime=1.45
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 1145 0 0 0 140 5 0 0 19 0 4 0 1121941189 11882496 2340 1992294400 134512640 135180984 4294956208 18446744073709551615 134527284 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=11604 CPUtime=1.41
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 1218 0 0 0 138 3 0 0 18 0 4 0 1121941189 11882496 2340 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 11604

[startup+3.1021 s]
/proc/loadavg: 0.99 1.00 1.12 3/68 15025
/proc/meminfo: memFree=1498984/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=16964 CPUtime=6.16
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 3939 0 0 0 588 28 0 0 18 0 4 0 1121941189 17371136 3702 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 4241 3702 70 163 0 4076 0
[pid=15021/tid=15022] ppid=15019 vsize=16964 CPUtime=0.13
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 152 0 0 0 3 10 0 0 15 0 4 0 1121941189 17371136 3702 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=16964 CPUtime=3.02
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 1822 0 0 0 293 9 0 0 16 0 4 0 1121941189 17371136 3702 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=16964 CPUtime=2.98
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 1882 0 0 0 291 7 0 0 20 0 4 0 1121941189 17371136 3702 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 16964

[startup+6.30147 s]
/proc/loadavg: 1.07 1.02 1.13 3/68 15025
/proc/meminfo: memFree=1489064/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=25712 CPUtime=12.52
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 6173 0 0 0 1205 47 0 0 18 0 4 0 1121941189 26329088 5936 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 6428 5936 70 163 0 6263 0
[pid=15021/tid=15022] ppid=15019 vsize=25712 CPUtime=0.25
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 181 0 0 0 6 19 0 0 16 0 4 0 1121941189 26329088 5936 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=25712 CPUtime=6.15
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 2935 0 0 0 600 15 0 0 17 0 4 0 1121941189 26329088 5936 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15021/tid=15024] ppid=15019 vsize=25712 CPUtime=6.11
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 2974 0 0 0 598 13 0 0 21 0 4 0 1121941189 26329088 5936 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 25712

[startup+12.7022 s]
/proc/loadavg: 1.15 1.03 1.13 3/68 15025
/proc/meminfo: memFree=1477112/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=35516 CPUtime=25.28
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 8562 0 0 0 2449 79 0 0 18 0 4 0 1121941189 36368384 8325 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 8879 8325 70 163 0 8714 0
[pid=15021/tid=15022] ppid=15019 vsize=35516 CPUtime=0.43
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 226 0 0 0 12 31 0 0 15 0 4 0 1121941189 36368384 8325 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=35516 CPUtime=12.44
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 4063 0 0 0 1220 24 0 0 17 0 4 0 1121941189 36368384 8325 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=35516 CPUtime=12.4
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 4190 0 0 0 1217 23 0 0 17 0 4 0 1121941189 36368384 8325 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 35516

[startup+25.5016 s]
/proc/loadavg: 1.34 1.08 1.15 3/68 15025
/proc/meminfo: memFree=1470520/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=41656 CPUtime=50.82
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 10222 0 0 0 4958 124 0 0 18 0 4 0 1121941189 42655744 9985 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 10414 9985 70 163 0 10249 0
[pid=15021/tid=15022] ppid=15019 vsize=41656 CPUtime=0.68
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 295 0 0 0 17 51 0 0 16 0 4 0 1121941189 42655744 9985 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=41656 CPUtime=25.1
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 4870 0 0 0 2474 36 0 0 17 0 4 0 1121941189 42655744 9985 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=41656 CPUtime=25.02
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 4974 0 0 0 2466 36 0 0 25 0 4 0 1121941189 42655744 9985 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 41656

[startup+51.1016 s]
/proc/loadavg: 1.56 1.15 1.17 3/68 15025
/proc/meminfo: memFree=1460216/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=51692 CPUtime=101.9
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 12808 0 0 0 10001 189 0 0 18 0 4 0 1121941189 52932608 12571 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 12923 12571 70 163 0 12758 0
[pid=15021/tid=15022] ppid=15019 vsize=51692 CPUtime=1.03
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 368 0 0 0 24 79 0 0 16 0 4 0 1121941189 52932608 12571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=51692 CPUtime=50.45
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 6141 0 0 0 4992 53 0 0 18 0 4 0 1121941189 52932608 12571 1992294400 134512640 135180984 4294956208 18446744073709551615 134528403 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15021/tid=15024] ppid=15019 vsize=51692 CPUtime=50.38
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 6216 0 0 0 4983 55 0 0 25 0 4 0 1121941189 52932608 12571 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 51692

[startup+102.305 s]
/proc/loadavg: 1.81 1.28 1.21 3/68 15025
/proc/meminfo: memFree=1452088/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=59908 CPUtime=204.06
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 14810 0 0 0 20109 297 0 0 18 0 4 0 1121941189 61345792 14573 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 14977 14573 70 163 0 14812 0
[pid=15021/tid=15022] ppid=15019 vsize=59908 CPUtime=1.69
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 534 0 0 0 40 129 0 0 16 0 4 0 1121941189 61345792 14573 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=59908 CPUtime=101.16
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 7025 0 0 0 10035 81 0 0 22 0 4 0 1121941189 61345792 14573 1992294400 134512640 135180984 4294956208 18446744073709551615 134519943 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=59908 CPUtime=101.18
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 7168 0 0 0 10032 86 0 0 25 0 4 0 1121941189 61345792 14573 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 59908

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.26 3/68 15025
/proc/meminfo: memFree=1444344/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=68128 CPUtime=323.8
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 16749 0 0 0 32010 370 0 0 18 0 4 0 1121941189 69763072 16512 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 17032 16512 70 163 0 16867 0
[pid=15021/tid=15022] ppid=15019 vsize=68128 CPUtime=2.08
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 605 0 0 0 50 158 0 0 16 0 4 0 1121941189 69763072 16512 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=68128 CPUtime=160.95
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 8111 0 0 0 15992 103 0 0 25 0 4 0 1121941189 69763072 16512 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=68128 CPUtime=160.75
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 7950 0 0 0 15967 108 0 0 25 0 4 0 1121941189 69763072 16512 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.8
Current children cumulated vsize (KiB) 68128

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.30 3/68 15025
/proc/meminfo: memFree=1440056/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=73168 CPUtime=443.53
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 17814 0 0 0 43891 462 0 0 18 0 4 0 1121941189 74924032 17577 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 18292 17577 70 163 0 18127 0
[pid=15021/tid=15022] ppid=15019 vsize=73168 CPUtime=2.66
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 667 0 0 0 65 201 0 0 16 0 4 0 1121941189 74924032 17577 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=73168 CPUtime=220.64
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 8231 0 0 0 21939 125 0 0 21 0 4 0 1121941189 74924032 17577 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=73168 CPUtime=220.21
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 8833 0 0 0 21885 136 0 0 25 0 4 0 1121941189 74924032 17577 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.53
Current children cumulated vsize (KiB) 73168

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.34 3/68 15025
/proc/meminfo: memFree=1434424/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=78452 CPUtime=563.26
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 19332 0 0 0 55793 533 0 0 18 0 4 0 1121941189 80334848 19095 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 19613 19095 70 163 0 19448 0
[pid=15021/tid=15022] ppid=15019 vsize=78452 CPUtime=3.05
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 751 0 0 0 74 231 0 0 16 0 4 0 1121941189 80334848 19095 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=78452 CPUtime=280.43
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 8596 0 0 0 27898 145 0 0 17 0 4 0 1121941189 80334848 19095 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=78452 CPUtime=279.77
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 9902 0 0 0 27821 156 0 0 25 0 4 0 1121941189 80334848 19095 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.26
Current children cumulated vsize (KiB) 78452

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.38 3/68 15025
/proc/meminfo: memFree=1428536/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=83476 CPUtime=683
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 20665 0 0 0 67694 606 0 0 18 0 4 0 1121941189 85479424 20428 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 20869 20428 70 163 0 20704 0
[pid=15021/tid=15022] ppid=15019 vsize=83476 CPUtime=3.47
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 753 0 0 0 84 263 0 0 16 0 4 0 1121941189 85479424 20428 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=83476 CPUtime=340.21
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 9483 0 0 0 33855 166 0 0 21 0 4 0 1121941189 85479424 20428 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=83476 CPUtime=339.3
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 10346 0 0 0 33754 176 0 0 22 0 4 0 1121941189 85479424 20428 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683
Current children cumulated vsize (KiB) 83476

[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.41 3/68 15025
/proc/meminfo: memFree=1425912/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=86812 CPUtime=802.73
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 21334 0 0 0 79611 662 0 0 18 0 4 0 1121941189 88895488 21097 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 21703 21097 70 163 0 21538 0
[pid=15021/tid=15022] ppid=15019 vsize=86812 CPUtime=3.8
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 772 0 0 0 91 289 0 0 16 0 4 0 1121941189 88895488 21097 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=86812 CPUtime=400.01
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 9535 0 0 0 39820 181 0 0 25 0 4 0 1121941189 88895488 21097 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=86812 CPUtime=398.9
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 10944 0 0 0 39699 191 0 0 25 0 4 0 1121941189 88895488 21097 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.73
Current children cumulated vsize (KiB) 86812

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.45 3/68 15025
/proc/meminfo: memFree=1420600/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=92260 CPUtime=922.47
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 22667 0 0 0 91537 710 0 0 18 0 4 0 1121941189 94474240 22430 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 23065 22430 70 163 0 22900 0
[pid=15021/tid=15022] ppid=15019 vsize=92260 CPUtime=4.07
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 774 0 0 0 97 310 0 0 16 0 4 0 1121941189 94474240 22430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=92260 CPUtime=459.86
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 10018 0 0 0 45793 193 0 0 25 0 4 0 1121941189 94474240 22430 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=92260 CPUtime=458.51
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 11792 0 0 0 45646 205 0 0 25 0 4 0 1121941189 94474240 22430 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.47
Current children cumulated vsize (KiB) 92260

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.48 3/68 15025
/proc/meminfo: memFree=1414904/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=97872 CPUtime=1042.2
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 24078 0 0 0 103435 785 0 0 18 0 4 0 1121941189 100220928 23841 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 24468 23841 70 163 0 24303 0
[pid=15021/tid=15022] ppid=15019 vsize=97872 CPUtime=4.54
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 795 0 0 0 109 345 0 0 16 0 4 0 1121941189 100220928 23841 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=97872 CPUtime=519.6
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 10883 0 0 0 51743 217 0 0 25 0 4 0 1121941189 100220928 23841 1992294400 134512640 135180984 4294956208 18446744073709551615 134528398 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=97872 CPUtime=518.05
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 12317 0 0 0 51582 223 0 0 25 0 4 0 1121941189 100220928 23841 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.2
Current children cumulated vsize (KiB) 97872

[startup+582.302 s]
/proc/loadavg: 2.05 1.86 1.51 3/68 15025
/proc/meminfo: memFree=1414136/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=98896 CPUtime=1161.94
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 24280 0 0 0 115368 826 0 0 18 0 4 0 1121941189 101269504 24043 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 24724 24043 70 163 0 24559 0
[pid=15021/tid=15022] ppid=15019 vsize=98896 CPUtime=4.82
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 840 0 0 0 117 365 0 0 16 0 4 0 1121941189 101269504 24043 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15021/tid=15023] ppid=15019 vsize=98896 CPUtime=579.42
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 11040 0 0 0 57714 228 0 0 25 0 4 0 1121941189 101269504 24043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=98896 CPUtime=577.69
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 12317 0 0 0 57536 233 0 0 25 0 4 0 1121941189 101269504 24043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.94
Current children cumulated vsize (KiB) 98896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.402 s]
/proc/loadavg: 2.04 1.87 1.52 3/68 15025
/proc/meminfo: memFree=1413752/2055920 swapFree=4178500/4192956
[pid=15021] ppid=15019 vsize=98896 CPUtime=1200.07
/proc/15021/stat : 15021 (satake) S 15019 15021 8759 0 -1 4194304 24380 0 0 0 119167 840 0 0 18 0 4 0 1121941189 101269504 24143 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15021/statm: 24724 24143 70 163 0 24559 0
[pid=15021/tid=15022] ppid=15019 vsize=98896 CPUtime=4.9
/proc/15021/task/15022/stat : 15022 (satake) S 15019 15021 8759 0 -1 4194368 858 0 0 0 119 371 0 0 15 0 4 0 1121941189 101269504 24143 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15021/tid=15023] ppid=15019 vsize=98896 CPUtime=598.48
/proc/15021/task/15023/stat : 15023 (satake) R 15019 15021 8759 0 -1 4194368 11040 0 0 0 59616 232 0 0 17 0 4 0 1121941189 101269504 24143 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15021/tid=15024] ppid=15019 vsize=98896 CPUtime=596.66
/proc/15021/task/15024/stat : 15024 (satake) R 15019 15021 8759 0 -1 4194368 12399 0 0 0 59430 236 0 0 25 0 4 0 1121941189 101269504 24143 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 98896

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.429
CPU time (s): 1200.1
CPU user time (s): 1191.68
CPU system time (s): 8.41772
CPU usage (%): 199.542
Max. virtual memory (cumulated for all children) (KiB): 98896

deleting IPC queue 851968
deleting IPC queue 884737
deleting IPC queue 917506
deleting IPC queue 950275
deleting IPC queue 983044
deleting IPC queue 1015813
deleting IPC queue 1048582
deleting IPC queue 1081351
deleting IPC queue 1114120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1191.68
system time used= 8.41772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24380
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= 670324
involuntary context switches= 673341

runsolver used 0.598908 second user time and 1.59776 second system time

The end

Launcher Data 

Begin job on node62 at 2009-03-31 11:46:29
IDJOB=1543477
IDBENCH=70318
IDSOLVER=553
FILE ID=node62/1543477-1238492789
PBS_JOBID= 9061855
Free space on /tmp= 66352 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543477-1238492789/watcher-1543477-1238492789 -o /tmp/evaluation-result-1543477-1238492789/solver-1543477-1238492789 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543477-1238492789.cnf 3 1200

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

MD5SUM BENCH= b4ec0c2df22218bd519db808f39dee11
RANDOM SEED=1990850910

node62.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.232
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.232
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:       1510888 kB
Buffers:         97780 kB
Cached:         348844 kB
SwapCached:       7616 kB
Active:         201288 kB
Inactive:       254612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1510888 kB
SwapTotal:     4192956 kB
SwapFree:      4178500 kB
Dirty:            1192 kB
Writeback:           0 kB
Mapped:          15044 kB
Slab:            74968 kB
Committed_AS:  2841008 kB
PageTables:       1460 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= 66348 MiB
End job on node62 at 2009-03-31 11:56:32