Trace number 1543360

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.09 601.422

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
MD5SUM5bdd8d21d4edc82016dc7031e101a675
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.8655
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses16000
Sum of the clauses size80000
Maximum clause length5
Minimum clause length5
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 516000
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-1543360-1238490533/watcher-1543360-1238490533 -o /tmp/evaluation-result-1543360-1238490533/solver-1543360-1238490533 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543360-1238490533.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.83 1.82 1.45 3/64 13368
/proc/meminfo: memFree=1566568/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=2932 CPUtime=0
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 4 0 1121720300 3002368 350 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 733 351 65 163 0 568 0
[pid=13368/tid=13369] ppid=13366 vsize=2932 CPUtime=0
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121720300 3002368 352 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=2932 CPUtime=0
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 147 0 0 0 0 0 0 0 19 0 4 0 1121720300 3002368 352 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=2932 CPUtime=0
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 130 0 0 0 0 0 0 0 19 0 4 0 1121720300 3002368 353 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.090959 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 13368
/proc/meminfo: memFree=1566568/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=4284 CPUtime=0.16
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 906 0 0 0 15 1 0 0 18 0 4 0 1121720300 4386816 703 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 1071 703 70 163 0 906 0
[pid=13368/tid=13369] ppid=13366 vsize=4284 CPUtime=0
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 21 0 0 0 0 0 0 0 16 0 4 0 1121720300 4386816 703 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=4284 CPUtime=0.07
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 402 0 0 0 7 0 0 0 16 0 4 0 1121720300 4386816 703 1992294400 134512640 135180984 4294956208 18446744073709551615 134524811 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=4284 CPUtime=0.07
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 400 0 0 0 7 0 0 0 17 0 4 0 1121720300 4386816 703 1992294400 134512640 135180984 4294956208 18446744073709551615 134525462 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 4284

[startup+0.101957 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 13368
/proc/meminfo: memFree=1566568/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=4284 CPUtime=0.18
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 923 0 0 0 17 1 0 0 18 0 4 0 1121720300 4386816 720 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 1071 720 70 163 0 906 0
[pid=13368/tid=13369] ppid=13366 vsize=4284 CPUtime=0
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 21 0 0 0 0 0 0 0 16 0 4 0 1121720300 4386816 720 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=4284 CPUtime=0.08
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 409 0 0 0 8 0 0 0 17 0 4 0 1121720300 4386816 720 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=4284 CPUtime=0.08
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 410 0 0 0 8 0 0 0 17 0 4 0 1121720300 4386816 720 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 4284

[startup+0.301982 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 13368
/proc/meminfo: memFree=1566568/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=4812 CPUtime=0.57
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 1200 0 0 0 53 4 0 0 18 0 4 0 1121720300 4927488 997 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 1203 997 70 163 0 1038 0
[pid=13368/tid=13369] ppid=13366 vsize=4812 CPUtime=0.01
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 22 0 0 0 0 1 0 0 16 0 4 0 1121720300 4927488 997 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=4812 CPUtime=0.27
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 542 0 0 0 26 1 0 0 17 0 4 0 1121720300 4927488 997 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=4812 CPUtime=0.28
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 553 0 0 0 27 1 0 0 17 0 4 0 1121720300 4927488 997 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 4812

[startup+0.70103 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 13368
/proc/meminfo: memFree=1566568/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=6904 CPUtime=1.37
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 1736 0 0 0 128 9 0 0 18 0 4 0 1121720300 7069696 1533 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 1726 1533 70 163 0 1561 0
[pid=13368/tid=13369] ppid=13366 vsize=6904 CPUtime=0.03
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 26 0 0 0 0 3 0 0 16 0 4 0 1121720300 7069696 1533 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=6904 CPUtime=0.66
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 805 0 0 0 63 3 0 0 17 0 4 0 1121720300 7069696 1533 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=6904 CPUtime=0.66
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 822 0 0 0 64 2 0 0 17 0 4 0 1121720300 7069696 1533 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) 6904

[startup+1.50113 s]
/proc/loadavg: 1.83 1.82 1.45 3/68 13372
/proc/meminfo: memFree=1559176/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=10800 CPUtime=2.96
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 2632 0 0 0 280 16 0 0 18 0 4 0 1121720300 11059200 2429 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 2700 2429 70 163 0 2535 0
[pid=13368/tid=13369] ppid=13366 vsize=10800 CPUtime=0.07
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 35 0 0 0 1 6 0 0 16 0 4 0 1121720300 11059200 2429 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=10800 CPUtime=1.44
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 1247 0 0 0 139 5 0 0 16 0 4 0 1121720300 11059200 2429 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=10800 CPUtime=1.43
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 1267 0 0 0 139 4 0 0 17 0 4 0 1121720300 11059200 2429 1992294400 134512640 135180984 4294956208 18446744073709551615 134528722 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10800

[startup+3.10232 s]
/proc/loadavg: 1.83 1.82 1.45 3/68 13372
/proc/meminfo: memFree=1554440/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=16848 CPUtime=6.15
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 4067 0 0 0 588 27 0 0 18 0 4 0 1121720300 17252352 3864 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 4212 3864 70 163 0 4047 0
[pid=13368/tid=13369] ppid=13366 vsize=16848 CPUtime=0.14
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 54 0 0 0 3 11 0 0 16 0 4 0 1121720300 17252352 3864 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=16848 CPUtime=3.01
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 1967 0 0 0 293 8 0 0 17 0 4 0 1121720300 17252352 3864 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=16848 CPUtime=2.99
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 1963 0 0 0 292 7 0 0 17 0 4 0 1121720300 17252352 3864 1992294400 134512640 135180984 4294956208 18446744073709551615 134524335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 16848

[startup+6.30169 s]
/proc/loadavg: 1.85 1.82 1.45 3/68 13372
/proc/meminfo: memFree=1549632/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=19060 CPUtime=12.53
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 4565 0 0 0 1211 42 0 0 18 0 4 0 1121720300 19517440 4362 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 4765 4362 70 163 0 4600 0
[pid=13368/tid=13369] ppid=13366 vsize=19060 CPUtime=0.22
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 61 0 0 0 5 17 0 0 16 0 4 0 1121720300 19517440 4362 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=19060 CPUtime=6.16
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 2258 0 0 0 604 12 0 0 22 0 4 0 1121720300 19517440 4362 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13368/tid=13371] ppid=13366 vsize=19060 CPUtime=6.13
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 2163 0 0 0 602 11 0 0 18 0 4 0 1121720300 19517440 4362 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 19060

[startup+12.7025 s]
/proc/loadavg: 1.86 1.83 1.45 3/68 13372
/proc/meminfo: memFree=1544968/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=23616 CPUtime=25.29
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 5803 0 0 0 2463 66 0 0 18 0 4 0 1121720300 24182784 5600 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 5904 5600 70 163 0 5739 0
[pid=13368/tid=13369] ppid=13366 vsize=23616 CPUtime=0.37
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 81 0 0 0 8 29 0 0 16 0 4 0 1121720300 24182784 5600 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=23616 CPUtime=12.46
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 2866 0 0 0 1228 18 0 0 16 0 4 0 1121720300 24182784 5600 1992294400 134512640 135180984 4294956208 18446744073709551615 134520907 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=23616 CPUtime=12.45
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 2773 0 0 0 1227 18 0 0 17 0 4 0 1121720300 24182784 5600 1992294400 134512640 135180984 4294956208 18446744073709551615 134519334 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 23616

[startup+25.502 s]
/proc/loadavg: 1.89 1.83 1.46 3/68 13372
/proc/meminfo: memFree=1541448/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=26024 CPUtime=50.83
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 6462 0 0 0 4982 101 0 0 18 0 4 0 1121720300 26648576 6259 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 6506 6259 70 163 0 6341 0
[pid=13368/tid=13369] ppid=13366 vsize=26024 CPUtime=0.6
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 91 0 0 0 15 45 0 0 16 0 4 0 1121720300 26648576 6259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=26024 CPUtime=25.1
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 3180 0 0 0 2482 28 0 0 20 0 4 0 1121720300 26648576 6259 1992294400 134512640 135180984 4294956208 18446744073709551615 134522790 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=26024 CPUtime=25.11
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 3108 0 0 0 2484 27 0 0 17 0 4 0 1121720300 26648576 6259 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 26024

[startup+51.102 s]
/proc/loadavg: 1.93 1.85 1.47 3/68 13372
/proc/meminfo: memFree=1537736/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=30052 CPUtime=101.92
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 7431 0 0 0 10034 158 0 0 18 0 4 0 1121720300 30773248 7228 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 7513 7228 70 163 0 7348 0
[pid=13368/tid=13369] ppid=13366 vsize=30052 CPUtime=0.95
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 106 0 0 0 23 72 0 0 16 0 4 0 1121720300 30773248 7229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=30052 CPUtime=50.42
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 3680 0 0 0 5000 42 0 0 25 0 4 0 1121720300 30773248 7229 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=30052 CPUtime=50.52
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 3563 0 0 0 5009 43 0 0 18 0 4 0 1121720300 30773248 7229 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 30052

[startup+102.305 s]
/proc/loadavg: 1.97 1.87 1.50 3/68 13372
/proc/meminfo: memFree=1530504/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=37088 CPUtime=204.08
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 9218 0 0 0 20158 250 0 0 18 0 4 0 1121720300 37978112 9015 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 9272 9015 70 163 0 9107 0
[pid=13368/tid=13369] ppid=13366 vsize=37088 CPUtime=1.48
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 137 0 0 0 37 111 0 0 16 0 4 0 1121720300 37978112 9015 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=37088 CPUtime=101.14
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 4683 0 0 0 10047 67 0 0 25 0 4 0 1121720300 37978112 9015 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=37088 CPUtime=101.44
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 4315 0 0 0 10074 70 0 0 17 0 4 0 1121720300 37978112 9015 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 37088

[startup+162.301 s]
/proc/loadavg: 1.99 1.89 1.53 4/68 13372
/proc/meminfo: memFree=1525896/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=41644 CPUtime=323.8
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 10340 0 0 0 32044 336 0 0 18 0 4 0 1121720300 42643456 10137 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 10411 10137 70 163 0 10246 0
[pid=13368/tid=13369] ppid=13366 vsize=41644 CPUtime=2.01
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 153 0 0 0 50 151 0 0 16 0 4 0 1121720300 42643456 10137 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=41644 CPUtime=160.63
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 5289 0 0 0 15975 88 0 0 18 0 4 0 1121720300 42643456 10137 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=41644 CPUtime=161.14
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 4815 0 0 0 16018 96 0 0 17 0 4 0 1121720300 42643456 10137 1992294400 134512640 135180984 4294956208 18446744073709551615 134528532 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.8
Current children cumulated vsize (KiB) 41644

[startup+222.301 s]
/proc/loadavg: 1.99 1.91 1.55 3/68 13372
/proc/meminfo: memFree=1522760/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=44648 CPUtime=443.54
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 11108 0 0 0 43955 399 0 0 18 0 4 0 1121720300 45719552 10905 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 11162 10905 70 163 0 10997 0
[pid=13368/tid=13369] ppid=13366 vsize=44648 CPUtime=2.4
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 162 0 0 0 59 181 0 0 16 0 4 0 1121720300 45719552 10905 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=44648 CPUtime=220.21
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 5775 0 0 0 21917 104 0 0 21 0 4 0 1121720300 45719552 10905 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=44648 CPUtime=220.91
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 5088 0 0 0 21978 113 0 0 18 0 4 0 1121720300 45719552 10905 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.54
Current children cumulated vsize (KiB) 44648

[startup+282.301 s]
/proc/loadavg: 1.99 1.92 1.58 3/68 13372
/proc/meminfo: memFree=1518984/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=49008 CPUtime=563.28
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 12059 0 0 0 55854 474 0 0 18 0 4 0 1121720300 50184192 11856 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 12252 11856 70 163 0 12087 0
[pid=13368/tid=13369] ppid=13366 vsize=49008 CPUtime=2.86
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 195 0 0 0 70 216 0 0 16 0 4 0 1121720300 50184192 11856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=49008 CPUtime=279.75
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 6289 0 0 0 27851 124 0 0 18 0 4 0 1121720300 50184192 11856 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=49008 CPUtime=280.65
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 5492 0 0 0 27932 133 0 0 18 0 4 0 1121720300 50184192 11856 1992294400 134512640 135180984 4294956208 18446744073709551615 134528862 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.28
Current children cumulated vsize (KiB) 49008

[startup+342.301 s]
/proc/loadavg: 1.99 1.93 1.60 3/68 13372
/proc/meminfo: memFree=1517896/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=50560 CPUtime=683.01
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 12329 0 0 0 67765 536 0 0 18 0 4 0 1121720300 51773440 12126 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 12640 12126 70 163 0 12475 0
[pid=13368/tid=13369] ppid=13366 vsize=50560 CPUtime=3.23
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 197 0 0 0 80 243 0 0 16 0 4 0 1121720300 51773440 12126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=50560 CPUtime=339.33
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 6424 0 0 0 33791 142 0 0 25 0 4 0 1121720300 51773440 12126 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=50560 CPUtime=340.43
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 5625 0 0 0 33893 150 0 0 17 0 4 0 1121720300 51773440 12126 1992294400 134512640 135180984 4294956208 18446744073709551615 134528219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 683.01
Current children cumulated vsize (KiB) 50560

[startup+402.302 s]
/proc/loadavg: 1.99 1.94 1.62 3/68 13372
/proc/meminfo: memFree=1517000/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=51220 CPUtime=802.75
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 12561 0 0 0 79676 599 0 0 18 0 4 0 1121720300 52449280 12358 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 12805 12358 70 163 0 12640 0
[pid=13368/tid=13369] ppid=13366 vsize=51220 CPUtime=3.62
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 202 0 0 0 90 272 0 0 16 0 4 0 1121720300 52449280 12358 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=51220 CPUtime=398.91
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 6581 0 0 0 39732 159 0 0 18 0 4 0 1121720300 52449280 12358 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=51220 CPUtime=400.21
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 5695 0 0 0 39854 167 0 0 20 0 4 0 1121720300 52449280 12358 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.75
Current children cumulated vsize (KiB) 51220

[startup+462.302 s]
/proc/loadavg: 1.99 1.95 1.64 3/68 13372
/proc/meminfo: memFree=1511368/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=56192 CPUtime=922.47
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 13964 0 0 0 91577 670 0 0 18 0 4 0 1121720300 57540608 13761 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 14048 13761 70 163 0 13883 0
[pid=13368/tid=13369] ppid=13366 vsize=56192 CPUtime=4.05
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 219 0 0 0 101 304 0 0 16 0 4 0 1121720300 57540608 13761 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=56192 CPUtime=458.45
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 7320 0 0 0 45667 178 0 0 25 0 4 0 1121720300 57540608 13761 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=56192 CPUtime=459.95
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 6342 0 0 0 45808 187 0 0 18 0 4 0 1121720300 57540608 13761 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.47
Current children cumulated vsize (KiB) 56192

[startup+522.302 s]
/proc/loadavg: 1.99 1.95 1.66 3/68 13372
/proc/meminfo: memFree=1510408/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=57752 CPUtime=1042.21
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 14199 0 0 0 103490 731 0 0 18 0 4 0 1121720300 59138048 13996 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 14438 13996 70 163 0 14273 0
[pid=13368/tid=13369] ppid=13366 vsize=57752 CPUtime=4.38
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 222 0 0 0 108 330 0 0 15 0 4 0 1121720300 59138048 13996 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=57752 CPUtime=518.05
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 7435 0 0 0 51609 196 0 0 17 0 4 0 1121720300 59138048 13996 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=57752 CPUtime=519.75
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 6459 0 0 0 51771 204 0 0 20 0 4 0 1121720300 59138048 13996 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.21
Current children cumulated vsize (KiB) 57752

[startup+582.302 s]
/proc/loadavg: 1.99 1.96 1.68 3/68 13372
/proc/meminfo: memFree=1508872/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=59352 CPUtime=1161.94
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 14588 0 0 0 115410 784 0 0 18 0 4 0 1121720300 60776448 14385 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 14838 14385 70 163 0 14673 0
[pid=13368/tid=13369] ppid=13366 vsize=59352 CPUtime=4.72
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 229 0 0 0 117 355 0 0 16 0 4 0 1121720300 60776448 14385 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13368/tid=13370] ppid=13366 vsize=59352 CPUtime=577.65
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 7817 0 0 0 57554 211 0 0 20 0 4 0 1121720300 60776448 14385 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=59352 CPUtime=579.56
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 6459 0 0 0 57738 218 0 0 20 0 4 0 1121720300 60776448 14385 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.94
Current children cumulated vsize (KiB) 59352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 1.99 1.96 1.69 3/68 13372
/proc/meminfo: memFree=1508360/2055920 swapFree=4178472/4192956
[pid=13368] ppid=13366 vsize=59352 CPUtime=1200.06
/proc/13368/stat : 13368 (satake) S 13366 13368 13069 0 -1 4194304 14718 0 0 0 119203 803 0 0 18 0 4 0 1121720300 60776448 14515 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13368/statm: 14838 14515 70 163 0 14673 0
[pid=13368/tid=13369] ppid=13366 vsize=59352 CPUtime=4.83
/proc/13368/task/13369/stat : 13369 (satake) S 13366 13368 13069 0 -1 4194368 230 0 0 0 120 363 0 0 16 0 4 0 1121720300 60776448 14515 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13368/tid=13370] ppid=13366 vsize=59352 CPUtime=596.62
/proc/13368/task/13370/stat : 13370 (satake) R 13366 13368 13069 0 -1 4194368 7819 0 0 0 59446 216 0 0 25 0 4 0 1121720300 60776448 14515 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13368/tid=13371] ppid=13366 vsize=59352 CPUtime=598.59
/proc/13368/task/13371/stat : 13371 (satake) R 13366 13368 13069 0 -1 4194368 6586 0 0 0 59636 223 0 0 18 0 4 0 1121720300 60776448 14515 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 59352

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.422
CPU time (s): 1200.09
CPU user time (s): 1192.05
CPU system time (s): 8.04378
CPU usage (%): 199.543
Max. virtual memory (cumulated for all children) (KiB): 59352

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 196614

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1192.05
system time used= 8.04378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14718
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= 630124
involuntary context switches= 631269

runsolver used 0.553915 second user time and 1.64275 second system time

The end

Launcher Data 

Begin job on node1 at 2009-03-31 11:08:53
IDJOB=1543360
IDBENCH=70201
IDSOLVER=553
FILE ID=node1/1543360-1238490533
PBS_JOBID= 9061876
Free space on /tmp= 66132 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S315403000-060.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543360-1238490533/watcher-1543360-1238490533 -o /tmp/evaluation-result-1543360-1238490533/solver-1543360-1238490533 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543360-1238490533.cnf 3 1200

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

MD5SUM BENCH= 5bdd8d21d4edc82016dc7031e101a675
RANDOM SEED=1223506264

node1.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.229
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.229
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:       1567048 kB
Buffers:         89744 kB
Cached:         300424 kB
SwapCached:       8380 kB
Active:         178792 kB
Inactive:       221392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567048 kB
SwapTotal:     4192956 kB
SwapFree:      4178472 kB
Dirty:            1132 kB
Writeback:           0 kB
Mapped:          15760 kB
Slab:            74676 kB
Committed_AS:  3012684 kB
PageTables:       1440 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= 66132 MiB
End job on node1 at 2009-03-31 11:18:57