Trace number 1738350

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.06 601.324

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-23-189-21-75.cnf
MD5SUM46a186d5aa9ba41a176adf24fb365342
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.195969
Satisfiable
(Un)Satisfiability was proved
Number of variables483
Number of clauses25396
Sum of the clauses size51233
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225375
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521

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-1738350-1240837216/watcher-1738350-1240837216 -o /tmp/evaluation-result-1738350-1240837216/solver-1738350-1240837216 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1738350-1240837216.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 943
/proc/meminfo: memFree=1756768/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=1580 CPUtime=0
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 240 0 0 0 0 0 0 0 18 0 4 0 111749047 1617920 225 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 395 226 65 163 0 230 0
[pid=943/tid=944] ppid=941 vsize=1580 CPUtime=0
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 111749047 1617920 227 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=1580 CPUtime=0
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 147 0 0 0 0 0 0 0 20 0 4 0 111749047 1617920 227 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=1580 CPUtime=0
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 4 0 111749047 1617920 228 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.066612 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 943
/proc/meminfo: memFree=1756768/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=4440 CPUtime=0.11
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 791 0 0 0 11 0 0 0 18 0 4 0 111749047 4546560 630 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 1110 630 70 163 0 945 0
[pid=943/tid=944] ppid=941 vsize=4440 CPUtime=0
/proc/943/task/944/stat : 944 (satake) R 941 943 511 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 4 0 111749047 4546560 630 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=4440 CPUtime=0.06
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 325 0 0 0 6 0 0 0 17 0 4 0 111749047 4546560 630 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=4440 CPUtime=0.05
/proc/943/task/946/stat : 946 (satake) S 941 943 511 0 -1 4194368 367 0 0 0 5 0 0 0 17 0 4 0 111749047 4546560 630 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 4440

[startup+0.102628 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 943
/proc/meminfo: memFree=1756768/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=4572 CPUtime=0.19
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 853 0 0 0 18 1 0 0 18 0 4 0 111749047 4681728 692 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 1143 692 70 163 0 978 0
[pid=943/tid=944] ppid=941 vsize=4572 CPUtime=0
/proc/943/task/944/stat : 944 (satake) R 941 943 511 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 4 0 111749047 4681728 692 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=4572 CPUtime=0.09
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 355 0 0 0 9 0 0 0 17 0 4 0 111749047 4681728 692 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=4572 CPUtime=0.08
/proc/943/task/946/stat : 946 (satake) S 941 943 511 0 -1 4194368 399 0 0 0 8 0 0 0 17 0 4 0 111749047 4681728 692 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4572

[startup+0.302329 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 943
/proc/meminfo: memFree=1756768/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=6388 CPUtime=0.58
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 1136 0 0 0 56 2 0 0 18 0 4 0 111749047 6541312 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 1597 975 70 163 0 1432 0
[pid=943/tid=944] ppid=941 vsize=6388 CPUtime=0
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 16 0 0 0 0 0 0 0 16 0 4 0 111749047 6541312 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=6388 CPUtime=0.28
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 502 0 0 0 28 0 0 0 17 0 4 0 111749047 6541312 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=6388 CPUtime=0.28
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 535 0 0 0 27 1 0 0 18 0 4 0 111749047 6541312 975 1992294400 134512640 135180984 4294956208 18446744073709551615 134518216 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 6388

[startup+0.702356 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 943
/proc/meminfo: memFree=1756768/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=7312 CPUtime=1.37
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 1497 0 0 0 135 2 0 0 18 0 4 0 111749047 7487488 1336 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 1828 1336 70 163 0 1663 0
[pid=943/tid=944] ppid=941 vsize=7312 CPUtime=0
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 16 0 0 0 0 0 0 0 16 0 4 0 111749047 7487488 1336 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=7312 CPUtime=0.68
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 718 0 0 0 68 0 0 0 20 0 4 0 111749047 7487488 1336 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=7312 CPUtime=0.68
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 680 0 0 0 67 1 0 0 22 0 4 0 111749047 7487488 1336 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 7312

[startup+1.50242 s]
/proc/loadavg: 0.99 0.97 0.99 3/68 947
/proc/meminfo: memFree=1750784/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=9392 CPUtime=2.97
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 1929 0 0 0 294 3 0 0 18 0 4 0 111749047 9617408 1768 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 2348 1768 70 163 0 2183 0
[pid=943/tid=944] ppid=941 vsize=9392 CPUtime=0.01
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 16 0 0 0 0 1 0 0 16 0 4 0 111749047 9617408 1768 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=9392 CPUtime=1.47
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 939 0 0 0 147 0 0 0 22 0 4 0 111749047 9617408 1768 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=9392 CPUtime=1.47
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 891 0 0 0 146 1 0 0 24 0 4 0 111749047 9617408 1768 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 9392

[startup+3.10152 s]
/proc/loadavg: 0.99 0.97 0.99 3/68 947
/proc/meminfo: memFree=1748352/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=12140 CPUtime=6.16
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 2659 0 0 0 611 5 0 0 18 0 4 0 111749047 12431360 2498 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 3035 2498 70 163 0 2870 0
[pid=943/tid=944] ppid=941 vsize=12140 CPUtime=0.02
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 16 0 0 0 0 2 0 0 16 0 4 0 111749047 12431360 2498 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=12140 CPUtime=3.07
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 1312 0 0 0 306 1 0 0 25 0 4 0 111749047 12431360 2498 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=12140 CPUtime=3.06
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 1248 0 0 0 304 2 0 0 25 0 4 0 111749047 12431360 2498 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 12140

[startup+6.30174 s]
/proc/loadavg: 1.07 0.99 0.99 3/68 947
/proc/meminfo: memFree=1744256/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=15784 CPUtime=12.56
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 3453 0 0 0 1247 9 0 0 18 0 4 0 111749047 16162816 3292 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 3946 3292 70 163 0 3781 0
[pid=943/tid=944] ppid=941 vsize=15784 CPUtime=0.02
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 17 0 0 0 0 2 0 0 16 0 4 0 111749047 16162816 3292 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=15784 CPUtime=6.26
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 1703 0 0 0 624 2 0 0 25 0 4 0 111749047 16162816 3292 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=15784 CPUtime=6.24
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 1650 0 0 0 621 3 0 0 25 0 4 0 111749047 16162816 3292 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 15784

[startup+12.7012 s]
/proc/loadavg: 1.15 1.00 1.00 3/68 947
/proc/meminfo: memFree=1738752/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=20632 CPUtime=25.32
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 4757 0 0 0 2520 12 0 0 18 0 4 0 111749047 21127168 4596 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 5158 4596 70 163 0 4993 0
[pid=943/tid=944] ppid=941 vsize=20632 CPUtime=0.03
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 18 0 0 0 0 3 0 0 16 0 4 0 111749047 21127168 4596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=20632 CPUtime=12.65
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 2278 0 0 0 1262 3 0 0 25 0 4 0 111749047 21127168 4596 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=20632 CPUtime=12.61
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 2378 0 0 0 1256 5 0 0 25 0 4 0 111749047 21127168 4596 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 20632

[startup+25.503 s]
/proc/loadavg: 1.34 1.05 1.02 3/68 947
/proc/meminfo: memFree=1729024/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=29848 CPUtime=50.86
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 7072 0 0 0 5066 20 0 0 18 0 4 0 111749047 30564352 6911 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 7462 6911 70 163 0 7297 0
[pid=943/tid=944] ppid=941 vsize=29848 CPUtime=0.06
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 26 0 0 0 1 5 0 0 16 0 4 0 111749047 30564352 6911 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=29848 CPUtime=25.44
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 3304 0 0 0 2539 5 0 0 20 0 4 0 111749047 30564352 6911 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=29848 CPUtime=25.35
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 3659 0 0 0 2526 9 0 0 18 0 4 0 111749047 30564352 6911 1992294400 134512640 135180984 4294956208 18446744073709551615 134520800 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 29848

[startup+51.1027 s]
/proc/loadavg: 1.56 1.13 1.04 3/68 953
/proc/meminfo: memFree=1725560/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=33252 CPUtime=101.94
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 7910 0 0 0 10168 26 0 0 18 0 4 0 111749047 34050048 7749 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 8313 7749 70 163 0 8148 0
[pid=943/tid=944] ppid=941 vsize=33252 CPUtime=0.08
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 27 0 0 0 1 7 0 0 16 0 4 0 111749047 34050048 7749 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=33252 CPUtime=51.01
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 3856 0 0 0 5094 7 0 0 25 0 4 0 111749047 34050048 7749 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=33252 CPUtime=50.83
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 3944 0 0 0 5072 11 0 0 25 0 4 0 111749047 34050048 7749 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 33252

[startup+102.306 s]
/proc/loadavg: 1.81 1.26 1.09 3/68 953
/proc/meminfo: memFree=1718712/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=41068 CPUtime=204.13
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 9627 0 0 0 20373 40 0 0 18 0 4 0 111749047 42053632 9466 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 10267 9466 70 163 0 10102 0
[pid=943/tid=944] ppid=941 vsize=41068 CPUtime=0.15
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 29 0 0 0 2 13 0 0 16 0 4 0 111749047 42053632 9466 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=41068 CPUtime=102.15
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 4675 0 0 0 10204 11 0 0 25 0 4 0 111749047 42053632 9466 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=41068 CPUtime=101.8
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 4840 0 0 0 10166 14 0 0 18 0 4 0 111749047 42053632 9466 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 41068

[startup+162.302 s]
/proc/loadavg: 1.93 1.39 1.14 3/68 953
/proc/meminfo: memFree=1713400/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=46556 CPUtime=323.87
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 10932 0 0 0 32334 53 0 0 18 0 4 0 111749047 47673344 10771 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 11639 10771 70 163 0 11474 0
[pid=943/tid=944] ppid=941 vsize=46556 CPUtime=0.23
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 30 0 0 0 5 18 0 0 16 0 4 0 111749047 47673344 10771 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=46556 CPUtime=162.1
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 5364 0 0 0 16195 15 0 0 25 0 4 0 111749047 47673344 10771 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=46556 CPUtime=161.53
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 5455 0 0 0 16134 19 0 0 25 0 4 0 111749047 47673344 10771 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.87
Current children cumulated vsize (KiB) 46556

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.19 3/68 953
/proc/meminfo: memFree=1708280/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=51348 CPUtime=443.62
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 12210 0 0 0 44290 72 0 0 18 0 4 0 111749047 52580352 12049 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 12837 12049 70 163 0 12672 0
[pid=943/tid=944] ppid=941 vsize=51348 CPUtime=0.33
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 31 0 0 0 7 26 0 0 16 0 4 0 111749047 52580352 12049 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=51348 CPUtime=222.02
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 5871 0 0 0 22181 21 0 0 25 0 4 0 111749047 52580352 12049 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=51348 CPUtime=221.24
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 6225 0 0 0 22100 24 0 0 25 0 4 0 111749047 52580352 12049 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.62
Current children cumulated vsize (KiB) 51348

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/68 953
/proc/meminfo: memFree=1704504/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=56384 CPUtime=563.37
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 13129 0 0 0 56256 81 0 0 18 0 4 0 111749047 57737216 12968 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 14096 12968 70 163 0 13931 0
[pid=943/tid=944] ppid=941 vsize=56384 CPUtime=0.37
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 31 0 0 0 8 29 0 0 16 0 4 0 111749047 57737216 12968 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=56384 CPUtime=281.98
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 6347 0 0 0 28174 24 0 0 25 0 4 0 111749047 57737216 12968 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=56384 CPUtime=280.99
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 6668 0 0 0 28073 26 0 0 25 0 4 0 111749047 57737216 12968 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.37
Current children cumulated vsize (KiB) 56384

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.29 3/68 953
/proc/meminfo: memFree=1701752/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=59588 CPUtime=683.11
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 13835 0 0 0 68217 94 0 0 18 0 4 0 111749047 61018112 13674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 14897 13674 70 163 0 14732 0
[pid=943/tid=944] ppid=941 vsize=59588 CPUtime=0.47
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 33 0 0 0 12 35 0 0 16 0 4 0 111749047 61018112 13674 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=59588 CPUtime=341.91
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 6590 0 0 0 34163 28 0 0 25 0 4 0 111749047 61018112 13674 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=59588 CPUtime=340.72
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 7129 0 0 0 34042 30 0 0 25 0 4 0 111749047 61018112 13674 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.11
Current children cumulated vsize (KiB) 59588

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/68 953
/proc/meminfo: memFree=1699008/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=62884 CPUtime=802.87
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 14538 0 0 0 80182 105 0 0 18 0 4 0 111749047 64393216 14377 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 15721 14377 70 163 0 15556 0
[pid=943/tid=944] ppid=941 vsize=62884 CPUtime=0.53
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 36 0 0 0 13 40 0 0 16 0 4 0 111749047 64393216 14377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=62884 CPUtime=401.85
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 6822 0 0 0 40155 30 0 0 25 0 4 0 111749047 64393216 14377 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=62884 CPUtime=400.47
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 7597 0 0 0 40013 34 0 0 25 0 4 0 111749047 64393216 14377 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.87
Current children cumulated vsize (KiB) 62884

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 953
/proc/meminfo: memFree=1695744/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=66264 CPUtime=922.61
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 15332 0 0 0 92141 120 0 0 18 0 4 0 111749047 67854336 15171 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 16566 15171 70 163 0 16401 0
[pid=943/tid=944] ppid=941 vsize=66264 CPUtime=0.6
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 36 0 0 0 15 45 0 0 16 0 4 0 111749047 67854336 15171 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=66264 CPUtime=461.8
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 7046 0 0 0 46144 36 0 0 25 0 4 0 111749047 67854336 15171 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=66264 CPUtime=460.19
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 8167 0 0 0 45981 38 0 0 25 0 4 0 111749047 67854336 15171 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.61
Current children cumulated vsize (KiB) 66264

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.40 3/68 953
/proc/meminfo: memFree=1694656/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=66744 CPUtime=1042.36
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 15583 0 0 0 104105 131 0 0 18 0 4 0 111749047 68345856 15422 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 16686 15422 70 163 0 16521 0
[pid=943/tid=944] ppid=941 vsize=66744 CPUtime=0.66
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 36 0 0 0 17 49 0 0 15 0 4 0 111749047 68345856 15422 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=945] ppid=941 vsize=66744 CPUtime=521.74
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 7144 0 0 0 52135 39 0 0 25 0 4 0 111749047 68345856 15422 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=66744 CPUtime=519.93
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 8320 0 0 0 51952 41 0 0 25 0 4 0 111749047 68345856 15422 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.36
Current children cumulated vsize (KiB) 66744

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 953
/proc/meminfo: memFree=1693248/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=68440 CPUtime=1162.11
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 15960 0 0 0 116065 146 0 0 18 0 4 0 111749047 70082560 15799 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 17110 15799 70 163 0 16945 0
[pid=943/tid=944] ppid=941 vsize=68440 CPUtime=0.75
/proc/943/task/944/stat : 944 (satake) R 941 943 511 0 -1 4194368 36 0 0 0 19 56 0 0 15 0 4 0 111749047 70082560 15799 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=68440 CPUtime=581.68
/proc/943/task/945/stat : 945 (satake) S 941 943 511 0 -1 4194368 7494 0 0 0 58125 43 0 0 24 0 4 0 111749047 70082560 15799 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=68440 CPUtime=579.64
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 8347 0 0 0 57919 45 0 0 25 0 4 0 111749047 70082560 15799 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.11
Current children cumulated vsize (KiB) 68440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.302 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 953
/proc/meminfo: memFree=1690176/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=71728 CPUtime=1200.03
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 16687 0 0 0 119851 152 0 0 18 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 17932 16526 70 163 0 17767 0
[pid=943/tid=944] ppid=941 vsize=71728 CPUtime=0.79
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 36 0 0 0 20 59 0 0 16 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=71728 CPUtime=600.67
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 7774 0 0 0 60022 45 0 0 25 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=71728 CPUtime=598.55
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 8794 0 0 0 59808 47 0 0 25 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 71728

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+601.302 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 953
/proc/meminfo: memFree=1690176/2055920 swapFree=4181756/4192956
[pid=943] ppid=941 vsize=71728 CPUtime=1200.03
/proc/943/stat : 943 (satake) S 941 943 511 0 -1 4194304 16687 0 0 0 119851 152 0 0 18 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/943/statm: 17932 16526 70 163 0 17767 0
[pid=943/tid=944] ppid=941 vsize=71728 CPUtime=0.79
/proc/943/task/944/stat : 944 (satake) S 941 943 511 0 -1 4194368 36 0 0 0 20 59 0 0 16 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=943/tid=945] ppid=941 vsize=71728 CPUtime=600.67
/proc/943/task/945/stat : 945 (satake) R 941 943 511 0 -1 4194368 7774 0 0 0 60022 45 0 0 25 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=943/tid=946] ppid=941 vsize=71728 CPUtime=598.55
/proc/943/task/946/stat : 946 (satake) R 941 943 511 0 -1 4194368 8794 0 0 0 59808 47 0 0 25 0 4 0 111749047 73449472 16526 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 71728

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.324
CPU time (s): 1200.06
CPU user time (s): 1198.53
CPU system time (s): 1.53277
CPU usage (%): 199.57
Max. virtual memory (cumulated for all children) (KiB): 71728

deleting IPC queue 2654208
deleting IPC queue 2686977
deleting IPC queue 2719746
deleting IPC queue 2752515
deleting IPC queue 2785284
deleting IPC queue 2818053
deleting IPC queue 2850822
deleting IPC queue 2883591
deleting IPC queue 2916360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.53
system time used= 1.53277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16687
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= 102428
involuntary context switches= 110594

runsolver used 0.545917 second user time and 1.64975 second system time

The end

Launcher Data 

Begin job on node52 at 2009-04-27 15:00:16
IDJOB=1738350
IDBENCH=71805
IDSOLVER=553
FILE ID=node52/1738350-1240837216
PBS_JOBID= 9187540
Free space on /tmp= 66232 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-23-189-21-75.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1738350-1240837216/watcher-1738350-1240837216 -o /tmp/evaluation-result-1738350-1240837216/solver-1738350-1240837216 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1738350-1240837216.cnf 3 1200

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

MD5SUM BENCH= 46a186d5aa9ba41a176adf24fb365342
RANDOM SEED=275937115

node52.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.214
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.214
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:       1757184 kB
Buffers:         35976 kB
Cached:         178060 kB
SwapCached:       5060 kB
Active:          28468 kB
Inactive:       193500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1757184 kB
SwapTotal:     4192956 kB
SwapFree:      4181756 kB
Dirty:            1124 kB
Writeback:           0 kB
Mapped:          13972 kB
Slab:            62664 kB
Committed_AS:   521648 kB
PageTables:       1476 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= 66232 MiB
End job on node52 at 2009-04-27 15:10:19