Trace number 1543351

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.426

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
MD5SUM460680b15ea4b6f4cb4765d23626d1a5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark291.448
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
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 520000
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-1543351-1238490426/watcher-1543351-1238490426 -o /tmp/evaluation-result-1543351-1238490426/solver-1543351-1238490426 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543351-1238490426.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.00 1.00 1.00 3/64 11492
/proc/meminfo: memFree=1573808/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=1624 CPUtime=0
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 4 0 1121708475 1662976 255 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 406 256 65 163 0 241 0
[pid=11492/tid=11493] ppid=11490 vsize=1624 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121708475 1662976 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=1624 CPUtime=0
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 181 0 0 0 0 0 0 0 19 0 4 0 1121708475 1662976 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=1624 CPUtime=0
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1121708475 1662976 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.04871 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11492
/proc/meminfo: memFree=1573808/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=5460 CPUtime=0.08
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 955 0 0 0 8 0 0 0 18 0 4 0 1121708475 5591040 704 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 1365 705 68 163 0 1200 0
[pid=11492/tid=11493] ppid=11490 vsize=5460 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) R 11490 11492 11048 0 -1 4194368 7 0 0 0 0 0 0 0 18 0 4 0 1121708475 5591040 705 1992294400 134512640 135180984 4294956208 18446744073709551615 134702225 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=5460 CPUtime=0.04
/proc/11492/task/11494/stat : 11494 (satake) S 11490 11492 11048 0 -1 4194368 395 0 0 0 4 0 0 0 17 0 4 0 1121708475 5591040 705 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=5460 CPUtime=0.03
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 471 0 0 0 3 0 0 0 16 0 4 0 1121708475 5591040 705 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5460

[startup+0.108841 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11492
/proc/meminfo: memFree=1573808/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=5724 CPUtime=0.19
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 1079 0 0 0 19 0 0 0 18 0 4 0 1121708475 5861376 828 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 1431 828 70 163 0 1266 0
[pid=11492/tid=11493] ppid=11490 vsize=5724 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) R 11490 11492 11048 0 -1 4194368 26 0 0 0 0 0 0 0 18 0 4 0 1121708475 5861376 828 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=5724 CPUtime=0.1
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 448 0 0 0 10 0 0 0 17 0 4 0 1121708475 5861376 828 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=5724 CPUtime=0.09
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 522 0 0 0 9 0 0 0 17 0 4 0 1121708475 5861376 828 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5724

[startup+0.301864 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11492
/proc/meminfo: memFree=1573808/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=6252 CPUtime=0.57
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 1355 0 0 0 55 2 0 0 18 0 4 0 1121708475 6402048 1104 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 1563 1104 70 163 0 1398 0
[pid=11492/tid=11493] ppid=11490 vsize=6252 CPUtime=0.01
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 30 0 0 0 0 1 0 0 16 0 4 0 1121708475 6402048 1104 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=6252 CPUtime=0.28
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 579 0 0 0 27 1 0 0 17 0 4 0 1121708475 6402048 1104 1992294400 134512640 135180984 4294956208 18446744073709551615 134522722 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=6252 CPUtime=0.27
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 663 0 0 0 27 0 0 0 17 0 4 0 1121708475 6402048 1104 1992294400 134512640 135180984 4294956208 18446744073709551615 134520671 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 6252

[startup+0.701906 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11492
/proc/meminfo: memFree=1573808/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=8332 CPUtime=1.36
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 1879 0 0 0 130 6 0 0 18 0 4 0 1121708475 8531968 1628 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 2083 1628 70 163 0 1918 0
[pid=11492/tid=11493] ppid=11490 vsize=8332 CPUtime=0.02
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 35 0 0 0 0 2 0 0 16 0 4 0 1121708475 8531968 1628 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=8332 CPUtime=0.66
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 828 0 0 0 64 2 0 0 17 0 4 0 1121708475 8531968 1628 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=8332 CPUtime=0.65
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 933 0 0 0 64 1 0 0 17 0 4 0 1121708475 8531968 1628 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 8332

[startup+1.50199 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 11496
/proc/meminfo: memFree=1565904/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=12228 CPUtime=2.95
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 2852 0 0 0 284 11 0 0 18 0 4 0 1121708475 12521472 2601 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 3057 2601 70 163 0 2892 0
[pid=11492/tid=11493] ppid=11490 vsize=12228 CPUtime=0.06
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 45 0 0 0 1 5 0 0 16 0 4 0 1121708475 12521472 2601 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=12228 CPUtime=1.43
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 1292 0 0 0 140 3 0 0 20 0 4 0 1121708475 12521472 2601 1992294400 134512640 135180984 4294956208 18446744073709551615 134526125 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=12228 CPUtime=1.43
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 1432 0 0 0 141 2 0 0 18 0 4 0 1121708475 12521472 2601 1992294400 134512640 135180984 4294956208 18446744073709551615 134528540 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 12228

[startup+3.10117 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 11496
/proc/meminfo: memFree=1560848/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=18496 CPUtime=6.15
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 4408 0 0 0 594 21 0 0 18 0 4 0 1121708475 18939904 4157 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 4624 4157 70 163 0 4459 0
[pid=11492/tid=11493] ppid=11490 vsize=18496 CPUtime=0.1
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 59 0 0 0 2 8 0 0 16 0 4 0 1121708475 18939904 4157 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=18496 CPUtime=3
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 2018 0 0 0 294 6 0 0 18 0 4 0 1121708475 18939904 4157 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=18496 CPUtime=3.02
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 2248 0 0 0 297 5 0 0 19 0 4 0 1121708475 18939904 4157 1992294400 134512640 135180984 4294956208 18446744073709551615 134526427 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 18496

[startup+6.30151 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 11496
/proc/meminfo: memFree=1550480/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=24736 CPUtime=12.53
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 6078 0 0 0 1221 32 0 0 18 0 4 0 1121708475 25329664 5827 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 6184 5827 70 163 0 6019 0
[pid=11492/tid=11493] ppid=11490 vsize=24736 CPUtime=0.17
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 72 0 0 0 3 14 0 0 16 0 4 0 1121708475 25329664 5827 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=24736 CPUtime=6.16
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 2800 0 0 0 606 10 0 0 17 0 4 0 1121708475 25329664 5827 1992294400 134512640 135180984 4294956208 18446744073709551615 134526496 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=24736 CPUtime=6.18
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 3123 0 0 0 611 7 0 0 16 0 4 0 1121708475 25329664 5827 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 24736

[startup+12.7022 s]
/proc/loadavg: 1.22 1.05 1.02 3/68 11496
/proc/meminfo: memFree=1546384/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=29380 CPUtime=25.3
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 7084 0 0 0 2479 51 0 0 18 0 4 0 1121708475 30085120 6833 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 7345 6833 70 163 0 7180 0
[pid=11492/tid=11493] ppid=11490 vsize=29380 CPUtime=0.26
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 100 0 0 0 5 21 0 0 16 0 4 0 1121708475 30085120 6833 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=29380 CPUtime=12.48
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 3396 0 0 0 1232 16 0 0 25 0 4 0 1121708475 30085120 6834 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=29380 CPUtime=12.54
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 3505 0 0 0 1241 13 0 0 17 0 4 0 1121708475 30085120 6834 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 29380

[startup+25.5016 s]
/proc/loadavg: 1.34 1.08 1.02 3/68 11496
/proc/meminfo: memFree=1542992/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=32004 CPUtime=50.83
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 7957 0 0 0 5001 82 0 0 18 0 4 0 1121708475 32772096 7706 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 8001 7706 70 163 0 7836 0
[pid=11492/tid=11493] ppid=11490 vsize=32004 CPUtime=0.46
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 141 0 0 0 10 36 0 0 16 0 4 0 1121708475 32772096 7706 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=32004 CPUtime=25.13
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 3753 0 0 0 2489 24 0 0 21 0 4 0 1121708475 32772096 7706 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=32004 CPUtime=25.23
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 3980 0 0 0 2502 21 0 0 17 0 4 0 1121708475 32772096 7706 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 32004

[startup+51.1011 s]
/proc/loadavg: 1.56 1.15 1.05 3/68 11496
/proc/meminfo: memFree=1534864/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=40820 CPUtime=101.91
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 9996 0 0 0 10063 128 0 0 18 0 4 0 1121708475 41799680 9745 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 10205 9745 70 163 0 10040 0
[pid=11492/tid=11493] ppid=11490 vsize=40820 CPUtime=0.71
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 196 0 0 0 15 56 0 0 16 0 4 0 1121708475 41799680 9745 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=40820 CPUtime=50.52
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 4685 0 0 0 5016 36 0 0 25 0 4 0 1121708475 41799680 9745 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=40820 CPUtime=50.66
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 5032 0 0 0 5032 34 0 0 19 0 4 0 1121708475 41799680 9745 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 40820

[startup+102.306 s]
/proc/loadavg: 1.82 1.29 1.10 3/68 11496
/proc/meminfo: memFree=1528656/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=46800 CPUtime=204.09
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 11537 0 0 0 20220 189 0 0 18 0 4 0 1121708475 47923200 11286 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 11700 11286 70 163 0 11535 0
[pid=11492/tid=11493] ppid=11490 vsize=46800 CPUtime=1.06
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 291 0 0 0 22 84 0 0 16 0 4 0 1121708475 47923200 11286 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=46800 CPUtime=101.53
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 5372 0 0 0 10100 53 0 0 25 0 4 0 1121708475 47923200 11286 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=46800 CPUtime=101.47
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 5791 0 0 0 10097 50 0 0 17 0 4 0 1121708475 47923200 11286 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 46800

[startup+162.301 s]
/proc/loadavg: 1.93 1.42 1.15 3/68 11496
/proc/meminfo: memFree=1521680/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=53932 CPUtime=323.81
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 13228 0 0 0 32125 256 0 0 18 0 4 0 1121708475 55226368 12977 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 13483 12977 70 163 0 13318 0
[pid=11492/tid=11493] ppid=11490 vsize=53932 CPUtime=1.45
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 344 0 0 0 33 112 0 0 16 0 4 0 1121708475 55226368 12977 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=53932 CPUtime=161.3
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 6199 0 0 0 16056 74 0 0 25 0 4 0 1121708475 55226368 12977 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=53932 CPUtime=161.05
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 6602 0 0 0 16035 70 0 0 22 0 4 0 1121708475 55226368 12977 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.81
Current children cumulated vsize (KiB) 53932

[startup+222.302 s]
/proc/loadavg: 1.97 1.52 1.20 3/68 11496
/proc/meminfo: memFree=1515856/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=59644 CPUtime=443.55
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 14731 0 0 0 44035 320 0 0 18 0 4 0 1121708475 61075456 14480 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 14911 14480 70 163 0 14746 0
[pid=11492/tid=11493] ppid=11490 vsize=59644 CPUtime=1.84
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 350 0 0 0 42 142 0 0 16 0 4 0 1121708475 61075456 14480 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=59644 CPUtime=221.06
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 6852 0 0 0 22015 91 0 0 18 0 4 0 1121708475 61075456 14480 1992294400 134512640 135180984 4294956208 18446744073709551615 134518247 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=59644 CPUtime=220.64
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 7446 0 0 0 21978 86 0 0 18 0 4 0 1121708475 61075456 14480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.55
Current children cumulated vsize (KiB) 59644

[startup+282.302 s]
/proc/loadavg: 1.99 1.61 1.25 3/68 11496
/proc/meminfo: memFree=1511696/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=63772 CPUtime=563.3
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 15764 0 0 0 55970 360 0 0 18 0 4 0 1121708475 65302528 15513 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 15943 15513 70 163 0 15778 0
[pid=11492/tid=11493] ppid=11490 vsize=63772 CPUtime=2.06
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 378 0 0 0 47 159 0 0 16 0 4 0 1121708475 65302528 15513 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=63772 CPUtime=280.93
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 7104 0 0 0 27991 102 0 0 17 0 4 0 1121708475 65302528 15513 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=63772 CPUtime=280.29
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 8199 0 0 0 27932 97 0 0 20 0 4 0 1121708475 65302528 15513 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.3
Current children cumulated vsize (KiB) 63772

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.30 3/68 11496
/proc/meminfo: memFree=1509520/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=65924 CPUtime=683.03
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 16339 0 0 0 67889 414 0 0 18 0 4 0 1121708475 67506176 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 16481 16088 70 163 0 16316 0
[pid=11492/tid=11493] ppid=11490 vsize=65924 CPUtime=2.36
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 381 0 0 0 54 182 0 0 16 0 4 0 1121708475 67506176 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=65924 CPUtime=340.75
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 7537 0 0 0 33956 119 0 0 25 0 4 0 1121708475 67506176 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=65924 CPUtime=339.9
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 8338 0 0 0 33878 112 0 0 17 0 4 0 1121708475 67506176 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134528600 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.03
Current children cumulated vsize (KiB) 65924

[startup+402.302 s]
/proc/loadavg: 2.05 1.75 1.34 3/68 11496
/proc/meminfo: memFree=1505936/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=69788 CPUtime=802.76
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 17209 0 0 0 79813 463 0 0 18 0 4 0 1121708475 71462912 16958 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 17447 16958 70 163 0 17282 0
[pid=11492/tid=11493] ppid=11490 vsize=69788 CPUtime=2.66
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 383 0 0 0 62 204 0 0 16 0 4 0 1121708475 71462912 16958 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=69788 CPUtime=400.56
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 7749 0 0 0 39925 131 0 0 25 0 4 0 1121708475 71462912 16958 1992294400 134512640 135180984 4294956208 18446744073709551615 134528221 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=69788 CPUtime=399.52
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 8994 0 0 0 39825 127 0 0 18 0 4 0 1121708475 71462912 16958 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.76
Current children cumulated vsize (KiB) 69788

[startup+462.301 s]
/proc/loadavg: 2.02 1.79 1.38 3/68 11496
/proc/meminfo: memFree=1502608/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=73112 CPUtime=922.5
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 18015 0 0 0 91744 506 0 0 18 0 4 0 1121708475 74866688 17764 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 18278 17764 70 163 0 18113 0
[pid=11492/tid=11493] ppid=11490 vsize=73112 CPUtime=2.91
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 418 0 0 0 69 222 0 0 16 0 4 0 1121708475 74866688 17764 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=73112 CPUtime=460.41
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 8341 0 0 0 45897 144 0 0 17 0 4 0 1121708475 74866688 17764 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=73112 CPUtime=459.16
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 9173 0 0 0 45777 139 0 0 18 0 4 0 1121708475 74866688 17764 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.5
Current children cumulated vsize (KiB) 73112

[startup+522.302 s]
/proc/loadavg: 2.00 1.83 1.42 3/68 11496
/proc/meminfo: memFree=1498576/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=76612 CPUtime=1042.24
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 19025 0 0 0 103665 559 0 0 18 0 4 0 1121708475 78450688 18774 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 19153 18774 70 163 0 18988 0
[pid=11492/tid=11493] ppid=11490 vsize=76612 CPUtime=3.23
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 420 0 0 0 78 245 0 0 16 0 4 0 1121708475 78450688 18774 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=76612 CPUtime=520.2
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 8740 0 0 0 51860 160 0 0 25 0 4 0 1121708475 78450688 18774 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=76612 CPUtime=518.79
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 9782 0 0 0 51726 153 0 0 20 0 4 0 1121708475 78450688 18774 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.24
Current children cumulated vsize (KiB) 76612

[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.45 3/68 11496
/proc/meminfo: memFree=1496848/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=78328 CPUtime=1161.98
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 19461 0 0 0 115598 600 0 0 18 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 19582 19210 70 163 0 19417 0
[pid=11492/tid=11493] ppid=11490 vsize=78328 CPUtime=3.46
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 422 0 0 0 84 262 0 0 16 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=78328 CPUtime=579.91
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 9130 0 0 0 57820 171 0 0 17 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134520912 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=78328 CPUtime=578.58
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 9826 0 0 0 57693 165 0 0 17 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.98
Current children cumulated vsize (KiB) 78328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 2.00 1.86 1.46 3/68 11496
/proc/meminfo: memFree=1496784/2055920 swapFree=4178540/4192956
[pid=11492] ppid=11490 vsize=78328 CPUtime=1200.1
/proc/11492/stat : 11492 (satake) S 11490 11492 11048 0 -1 4194304 19461 0 0 0 119396 614 0 0 18 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11492/statm: 19582 19210 70 163 0 19417 0
[pid=11492/tid=11493] ppid=11490 vsize=78328 CPUtime=3.54
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 11048 0 -1 4194368 422 0 0 0 86 268 0 0 16 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11492/tid=11494] ppid=11490 vsize=78328 CPUtime=598.9
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 11048 0 -1 4194368 9130 0 0 0 59715 175 0 0 25 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11492/tid=11495] ppid=11490 vsize=78328 CPUtime=597.64
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 11048 0 -1 4194368 9826 0 0 0 59594 170 0 0 25 0 4 0 1121708475 80207872 19210 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 78328

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.426
CPU time (s): 1200.14
CPU user time (s): 1193.98
CPU system time (s): 6.15906
CPU usage (%): 199.549
Max. virtual memory (cumulated for all children) (KiB): 78328

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= 1193.98
system time used= 6.15906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19461
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= 467138
involuntary context switches= 471191

runsolver used 0.551916 second user time and 1.64775 second system time

The end

Launcher Data 

Begin job on node19 at 2009-03-31 11:07:06
IDJOB=1543351
IDBENCH=70192
IDSOLVER=553
FILE ID=node19/1543351-1238490426
PBS_JOBID= 9061828
Free space on /tmp= 66404 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S1040507052-028.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543351-1238490426/watcher-1543351-1238490426 -o /tmp/evaluation-result-1543351-1238490426/solver-1543351-1238490426 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543351-1238490426.cnf 3 1200

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

MD5SUM BENCH= 460680b15ea4b6f4cb4765d23626d1a5
RANDOM SEED=1054208329

node19.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.235
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.235
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:       1574288 kB
Buffers:         80672 kB
Cached:         307444 kB
SwapCached:       8188 kB
Active:         181348 kB
Inactive:       216700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574288 kB
SwapTotal:     4192956 kB
SwapFree:      4178540 kB
Dirty:            1220 kB
Writeback:           0 kB
Mapped:          15560 kB
Slab:            69564 kB
Committed_AS:  3079976 kB
PageTables:       1456 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= 66404 MiB
End job on node19 at 2009-03-31 11:17:09