Trace number 1729206

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.14 601.626

General information on the benchmark

Namecrafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
MD5SUM8bbab1b2b788407ca952856a1e2edded
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.968851
Satisfiable
(Un)Satisfiability was proved
Number of variables4667
Number of clauses18492
Sum of the clauses size55356
Maximum clause length3
Minimum clause length1
Number of clauses of size 160
Number of clauses of size 20
Number of clauses of size 318432
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:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1729206-1240746525/watcher-1729206-1240746525 -o /tmp/evaluation-result-1729206-1240746525/solver-1729206-1240746525 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729206-1240746525.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 0.97 0.99 3/64 24859
/proc/meminfo: memFree=1723448/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=2108 CPUtime=0
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 4 0 102685991 2158592 342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 527 342 65 163 0 362 0
[pid=24859/tid=24860] ppid=24857 vsize=2240 CPUtime=0
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 102685991 2293760 343 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=2240 CPUtime=0
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 271 0 0 0 0 0 0 0 19 0 4 0 102685991 2293760 343 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=2240 CPUtime=0
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 102685991 2293760 344 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0593641 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24859
/proc/meminfo: memFree=1723448/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=6108 CPUtime=0.1
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 1048 0 0 0 10 0 0 0 18 0 4 0 102685991 6254592 865 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 1527 865 70 163 0 1362 0
[pid=24859/tid=24860] ppid=24857 vsize=6108 CPUtime=0
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 91 0 0 0 0 0 0 0 16 0 4 0 102685991 6254592 865 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=6108 CPUtime=0.05
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 441 0 0 0 5 0 0 0 20 0 4 0 102685991 6254592 865 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=6108 CPUtime=0.04
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 433 0 0 0 4 0 0 0 18 0 4 0 102685991 6254592 865 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6108

[startup+0.101738 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24859
/proc/meminfo: memFree=1723448/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=6108 CPUtime=0.18
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 1059 0 0 0 17 1 0 0 18 0 4 0 102685991 6254592 876 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 1527 876 70 163 0 1362 0
[pid=24859/tid=24860] ppid=24857 vsize=6108 CPUtime=0
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 91 0 0 0 0 0 0 0 16 0 4 0 102685991 6254592 876 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=6108 CPUtime=0.08
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 445 0 0 0 8 0 0 0 20 0 4 0 102685991 6254592 876 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=6108 CPUtime=0.08
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 440 0 0 0 8 0 0 0 18 0 4 0 102685991 6254592 876 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6108

[startup+0.30276 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24859
/proc/meminfo: memFree=1723448/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=6240 CPUtime=0.58
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 1089 0 0 0 51 7 0 0 18 0 4 0 102685991 6389760 906 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 1560 906 70 163 0 1395 0
[pid=24859/tid=24860] ppid=24857 vsize=6240 CPUtime=0.03
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 94 0 0 0 0 3 0 0 15 0 4 0 102685991 6389760 906 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=6240 CPUtime=0.27
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 463 0 0 0 25 2 0 0 16 0 4 0 102685991 6389760 906 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=6240 CPUtime=0.26
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 449 0 0 0 25 1 0 0 16 0 4 0 102685991 6389760 906 1992294400 134512640 135180984 4294956208 18446744073709551615 134528524 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 6240

[startup+0.702798 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 24859
/proc/meminfo: memFree=1723448/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=6372 CPUtime=1.38
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 1149 0 0 0 126 12 0 0 18 0 4 0 102685991 6524928 966 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 1593 966 70 163 0 1428 0
[pid=24859/tid=24860] ppid=24857 vsize=6372 CPUtime=0.05
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 102 0 0 0 0 5 0 0 16 0 4 0 102685991 6524928 966 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=6372 CPUtime=0.66
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 484 0 0 0 63 3 0 0 19 0 4 0 102685991 6524928 966 1992294400 134512640 135180984 4294956208 18446744073709551615 134526127 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=6372 CPUtime=0.65
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 480 0 0 0 62 3 0 0 19 0 4 0 102685991 6524928 966 1992294400 134512640 135180984 4294956208 18446744073709551615 134522603 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 6372

[startup+1.50288 s]
/proc/loadavg: 1.07 0.99 1.00 3/68 24863
/proc/meminfo: memFree=1719640/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=6504 CPUtime=2.97
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 1238 0 0 0 277 20 0 0 18 0 4 0 102685991 6660096 1055 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 1626 1055 70 163 0 1461 0
[pid=24859/tid=24860] ppid=24857 vsize=6504 CPUtime=0.1
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 118 0 0 0 1 9 0 0 15 0 4 0 102685991 6660096 1055 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=6504 CPUtime=1.42
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 527 0 0 0 136 6 0 0 17 0 4 0 102685991 6660096 1055 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=6504 CPUtime=1.43
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 510 0 0 0 138 5 0 0 18 0 4 0 102685991 6660096 1055 1992294400 134512640 135180984 4294956208 18446744073709551615 134523687 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 6504

[startup+3.10286 s]
/proc/loadavg: 1.07 0.99 1.00 3/68 24863
/proc/meminfo: memFree=1719000/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=8200 CPUtime=6.16
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 1499 0 0 0 571 45 0 0 18 0 4 0 102685991 8396800 1316 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 2050 1316 70 163 0 1885 0
[pid=24859/tid=24860] ppid=24857 vsize=8200 CPUtime=0.24
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 164 0 0 0 4 20 0 0 16 0 4 0 102685991 8396800 1316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=8200 CPUtime=2.97
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 635 0 0 0 285 12 0 0 16 0 4 0 102685991 8396800 1316 1992294400 134512640 135180984 4294956208 18446744073709551615 134532451 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=8200 CPUtime=2.92
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 617 0 0 0 280 12 0 0 21 0 4 0 102685991 8396800 1316 1992294400 134512640 135180984 4294956208 18446744073709551615 134526101 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 8200

[startup+6.30119 s]
/proc/loadavg: 1.15 1.00 1.01 3/68 24863
/proc/meminfo: memFree=1716760/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=9256 CPUtime=12.52
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 1934 0 0 0 1171 81 0 0 18 0 4 0 102685991 9478144 1751 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 2314 1751 70 163 0 2149 0
[pid=24859/tid=24860] ppid=24857 vsize=9256 CPUtime=0.45
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 247 0 0 0 10 35 0 0 16 0 4 0 102685991 9478144 1751 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=9256 CPUtime=6.04
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 812 0 0 0 582 22 0 0 17 0 4 0 102685991 9478144 1751 1992294400 134512640 135180984 4294956208 18446744073709551615 134522980 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=9256 CPUtime=6.01
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 792 0 0 0 578 23 0 0 25 0 4 0 102685991 9478144 1751 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 9256

[startup+12.7019 s]
/proc/loadavg: 1.22 1.02 1.01 3/68 24863
/proc/meminfo: memFree=1713816/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=11736 CPUtime=25.28
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 2602 0 0 0 2407 121 0 0 18 0 4 0 102685991 12017664 2419 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 2934 2419 70 163 0 2769 0
[pid=24859/tid=24860] ppid=24857 vsize=11736 CPUtime=0.66
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 337 0 0 0 14 52 0 0 16 0 4 0 102685991 12017664 2419 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=11736 CPUtime=12.32
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 1089 0 0 0 1197 35 0 0 17 0 4 0 102685991 12017664 2419 1992294400 134512640 135180984 4294956208 18446744073709551615 134523873 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=11736 CPUtime=12.27
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 1093 0 0 0 1194 33 0 0 19 0 4 0 102685991 12017664 2419 1992294400 134512640 135180984 4294956208 18446744073709551615 134525304 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 11736

[startup+25.5012 s]
/proc/loadavg: 1.34 1.05 1.02 3/68 24863
/proc/meminfo: memFree=1711640/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=14392 CPUtime=50.78
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 3116 0 0 0 4836 242 0 0 18 0 4 0 102685991 14737408 2933 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 3598 2933 70 163 0 3433 0
[pid=24859/tid=24860] ppid=24857 vsize=14392 CPUtime=1.33
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 497 0 0 0 26 107 0 0 16 0 4 0 102685991 14737408 2933 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=14392 CPUtime=24.8
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 1328 0 0 0 2414 66 0 0 18 0 4 0 102685991 14737408 2933 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=14392 CPUtime=24.63
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 1208 0 0 0 2395 68 0 0 25 0 4 0 102685991 14737408 2933 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 14392

[startup+51.1018 s]
/proc/loadavg: 1.60 1.14 1.05 3/68 24863
/proc/meminfo: memFree=1707800/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=18452 CPUtime=101.86
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 4075 0 0 0 9834 352 0 0 18 0 4 0 102685991 18894848 3892 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 4613 3892 70 163 0 4448 0
[pid=24859/tid=24860] ppid=24857 vsize=18452 CPUtime=2.02
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 587 0 0 0 43 159 0 0 16 0 4 0 102685991 18894848 3892 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=18452 CPUtime=49.97
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 1739 0 0 0 4901 96 0 0 17 0 4 0 102685991 18894848 3892 1992294400 134512640 135180984 4294956208 18446744073709551615 134529004 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=18452 CPUtime=49.85
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 1666 0 0 0 4889 96 0 0 25 0 4 0 102685991 18894848 3892 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 18452

[startup+102.306 s]
/proc/loadavg: 1.87 1.29 1.10 3/68 24863
/proc/meminfo: memFree=1703640/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=22744 CPUtime=203.94
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 5098 0 0 0 19604 790 0 0 18 0 4 0 102685991 23289856 4915 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 5686 4915 70 163 0 5521 0
[pid=24859/tid=24860] ppid=24857 vsize=22744 CPUtime=4.58
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 1118 0 0 0 102 356 0 0 16 0 4 0 102685991 23289856 4915 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=22744 CPUtime=99.7
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 2119 0 0 0 9754 216 0 0 17 0 4 0 102685991 23289856 4915 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=22744 CPUtime=99.63
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 1778 0 0 0 9746 217 0 0 19 0 4 0 102685991 23289856 4915 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 22744

[startup+162.302 s]
/proc/loadavg: 1.95 1.41 1.16 4/68 24863
/proc/meminfo: memFree=1695896/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=30288 CPUtime=323.63
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 7000 0 0 0 31348 1015 0 0 18 0 4 0 102685991 31014912 6817 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 7572 6817 70 163 0 7407 0
[pid=24859/tid=24860] ppid=24857 vsize=30288 CPUtime=5.91
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 1352 0 0 0 131 460 0 0 16 0 4 0 102685991 31014912 6817 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=30288 CPUtime=158.92
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 3026 0 0 0 15618 274 0 0 22 0 4 0 102685991 31014912 6817 1992294400 134512640 135180984 4294956208 18446744073709551615 134528644 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=30288 CPUtime=158.78
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 2539 0 0 0 15598 280 0 0 25 0 4 0 102685991 31014912 6817 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 30288

[startup+222.303 s]
/proc/loadavg: 1.98 1.52 1.21 3/68 24863
/proc/meminfo: memFree=1691224/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=35068 CPUtime=443.32
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 8158 0 0 0 43088 1244 0 0 18 0 4 0 102685991 35909632 7975 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 8767 7975 70 163 0 8602 0
[pid=24859/tid=24860] ppid=24857 vsize=35068 CPUtime=7.25
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 1553 0 0 0 160 565 0 0 16 0 4 0 102685991 35909632 7975 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=35068 CPUtime=218.06
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 3495 0 0 0 21464 342 0 0 18 0 4 0 102685991 35909632 7975 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=35068 CPUtime=217.99
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 3027 0 0 0 21463 336 0 0 25 0 4 0 102685991 35909632 7975 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.32
Current children cumulated vsize (KiB) 35068

[startup+282.303 s]
/proc/loadavg: 1.99 1.60 1.25 3/68 24863
/proc/meminfo: memFree=1687192/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=39004 CPUtime=563.04
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 9206 0 0 0 54874 1430 0 0 18 0 4 0 102685991 39940096 9023 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 9751 9023 70 163 0 9586 0
[pid=24859/tid=24860] ppid=24857 vsize=39004 CPUtime=8.34
/proc/24859/task/24860/stat : 24860 (satake) R 24857 24859 24482 0 -1 4194368 1738 0 0 0 184 650 0 0 15 0 4 0 102685991 39940096 9023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=39004 CPUtime=277.43
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 4054 0 0 0 27354 389 0 0 18 0 4 0 102685991 39940096 9023 1992294400 134512640 135180984 4294956208 18446744073709551615 134529658 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=39004 CPUtime=277.25
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 3331 0 0 0 27335 390 0 0 25 0 4 0 102685991 39940096 9023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.04
Current children cumulated vsize (KiB) 39004

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.30 3/68 24863
/proc/meminfo: memFree=1682520/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=43700 CPUtime=682.73
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 10299 0 0 0 66666 1607 0 0 18 0 4 0 102685991 44748800 10116 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 10925 10116 70 163 0 10760 0
[pid=24859/tid=24860] ppid=24857 vsize=43700 CPUtime=9.38
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 1911 0 0 0 206 732 0 0 16 0 4 0 102685991 44748800 10116 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=43700 CPUtime=336.84
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 4483 0 0 0 33250 434 0 0 24 0 4 0 102685991 44748800 10116 1992294400 134512640 135180984 4294956208 18446744073709551615 134528532 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=43700 CPUtime=336.5
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 3822 0 0 0 33210 440 0 0 25 0 4 0 102685991 44748800 10116 1992294400 134512640 135180984 4294956208 18446744073709551615 134522972 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (KiB) 43700

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.34 3/68 24863
/proc/meminfo: memFree=1679832/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=47288 CPUtime=802.45
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 11005 0 0 0 78478 1767 0 0 18 0 4 0 102685991 48422912 10822 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 11822 10822 70 163 0 11657 0
[pid=24859/tid=24860] ppid=24857 vsize=47288 CPUtime=10.35
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 2046 0 0 0 229 806 0 0 16 0 4 0 102685991 48422912 10822 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=47288 CPUtime=396.2
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 4703 0 0 0 39145 475 0 0 25 0 4 0 102685991 48422912 10822 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=47288 CPUtime=395.88
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 4173 0 0 0 39103 485 0 0 25 0 4 0 102685991 48422912 10822 1992294400 134512640 135180984 4294956208 18446744073709551615 134518607 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.45
Current children cumulated vsize (KiB) 47288

[startup+462.302 s]
/proc/loadavg: 1.99 1.78 1.38 3/68 24863
/proc/meminfo: memFree=1677912/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=49352 CPUtime=922.15
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 11484 0 0 0 90250 1965 0 0 18 0 4 0 102685991 50536448 11301 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 12338 11301 70 163 0 12173 0
[pid=24859/tid=24860] ppid=24857 vsize=49352 CPUtime=11.58
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 2223 0 0 0 258 900 0 0 16 0 4 0 102685991 50536448 11301 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=49352 CPUtime=455.37
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 5005 0 0 0 45007 530 0 0 25 0 4 0 102685991 50536448 11301 1992294400 134512640 135180984 4294956208 18446744073709551615 134522714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=49352 CPUtime=455.17
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 4173 0 0 0 44983 534 0 0 25 0 4 0 102685991 50536448 11301 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.15
Current children cumulated vsize (KiB) 49352

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 24863
/proc/meminfo: memFree=1674904/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=51992 CPUtime=1041.88
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 12189 0 0 0 102078 2110 0 0 18 0 4 0 102685991 53239808 12006 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 12998 12006 70 163 0 12833 0
[pid=24859/tid=24860] ppid=24857 vsize=51992 CPUtime=12.41
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 2311 0 0 0 277 964 0 0 16 0 4 0 102685991 53239808 12006 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24859/tid=24861] ppid=24857 vsize=51992 CPUtime=514.86
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 5619 0 0 0 50917 569 0 0 17 0 4 0 102685991 53239808 12006 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24859/tid=24862] ppid=24857 vsize=51992 CPUtime=514.59
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 4176 0 0 0 50883 576 0 0 25 0 4 0 102685991 53239808 12006 1992294400 134512640 135180984 4294956208 18446744073709551615 134532622 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.88
Current children cumulated vsize (KiB) 51992

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 24863
/proc/meminfo: memFree=1673560/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=53108 CPUtime=1161.6
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 12528 0 0 0 113869 2291 0 0 18 0 4 0 102685991 54382592 12345 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 13277 12345 70 163 0 13112 0
[pid=24859/tid=24860] ppid=24857 vsize=53108 CPUtime=13.51
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 2470 0 0 0 302 1049 0 0 15 0 4 0 102685991 54382592 12345 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=53108 CPUtime=574.22
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 5681 0 0 0 56808 614 0 0 17 0 4 0 102685991 54382592 12345 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=53108 CPUtime=573.85
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 4294 0 0 0 56758 627 0 0 25 0 4 0 102685991 54382592 12345 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (KiB) 53108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 1.99 1.85 1.46 3/68 24863
/proc/meminfo: memFree=1673240/2055920 swapFree=4180888/4192956
[pid=24859] ppid=24857 vsize=53428 CPUtime=1200.11
/proc/24859/stat : 24859 (satake) S 24857 24859 24482 0 -1 4194304 12590 0 0 0 117654 2357 0 0 18 0 4 0 102685991 54710272 12407 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24859/statm: 13357 12407 70 163 0 13192 0
[pid=24859/tid=24860] ppid=24857 vsize=53428 CPUtime=13.91
/proc/24859/task/24860/stat : 24860 (satake) S 24857 24859 24482 0 -1 4194368 2531 0 0 0 312 1079 0 0 16 0 4 0 102685991 54710272 12407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24859/tid=24861] ppid=24857 vsize=53428 CPUtime=593.26
/proc/24859/task/24861/stat : 24861 (satake) R 24857 24859 24482 0 -1 4194368 5682 0 0 0 58696 630 0 0 17 0 4 0 102685991 54710272 12407 1992294400 134512640 135180984 4294956208 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24859/tid=24862] ppid=24857 vsize=53428 CPUtime=592.92
/proc/24859/task/24862/stat : 24862 (satake) R 24857 24859 24482 0 -1 4194368 4294 0 0 0 58645 647 0 0 25 0 4 0 102685991 54710272 12407 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 53428

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.626
CPU time (s): 1200.14
CPU user time (s): 1176.56
CPU system time (s): 23.5844
CPU usage (%): 199.483
Max. virtual memory (cumulated for all children) (KiB): 53428

deleting IPC queue 1769472
deleting IPC queue 1802241
deleting IPC queue 1835010
deleting IPC queue 1867779
deleting IPC queue 1900548
deleting IPC queue 1933317
deleting IPC queue 1966086
deleting IPC queue 1998855
deleting IPC queue 2031624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1176.56
system time used= 23.5844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12590
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= 2019206
involuntary context switches= 2014173

runsolver used 0.58591 second user time and 1.61675 second system time

The end

Launcher Data 

Begin job on node24 at 2009-04-26 13:48:45
IDJOB=1729206
IDBENCH=24694
IDSOLVER=553
FILE ID=node24/1729206-1240746525
PBS_JOBID= 9186993
Free space on /tmp= 66240 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1729206-1240746525/watcher-1729206-1240746525 -o /tmp/evaluation-result-1729206-1240746525/solver-1729206-1240746525 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729206-1240746525.cnf 3 1200

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

MD5SUM BENCH= 8bbab1b2b788407ca952856a1e2edded
RANDOM SEED=1753357285

node24.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:       1723928 kB
Buffers:         30480 kB
Cached:         231460 kB
SwapCached:       5912 kB
Active:          71664 kB
Inactive:       198700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723928 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:            1072 kB
Writeback:           0 kB
Mapped:          14032 kB
Slab:            47552 kB
Committed_AS:   430888 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= 66240 MiB
End job on node24 at 2009-04-26 13:58:48