Trace number 1730213

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.18 630.29

General information on the benchmark

Namecrafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
MD5SUMe899c85929b7de69ebfb14f0dad93191
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.53577
Satisfiable
(Un)Satisfiability was proved
Number of variables90300
Number of clauses179701
Sum of the clauses size718198
Maximum clause length4
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2300
Number of clauses of size 30
Number of clauses of size 4179399
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-1730213-1240757109/watcher-1730213-1240757109 -o /tmp/evaluation-result-1730213-1240757109/solver-1730213-1240757109 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1730213-1240757109.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.08 3/64 26857
/proc/meminfo: memFree=1721080/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=4104 CPUtime=0
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 688 0 0 0 0 0 0 0 18 0 4 0 103744149 4202496 674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 1026 679 65 163 0 861 0
[pid=26857/tid=26858] ppid=26855 vsize=4104 CPUtime=0
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 103744149 4202496 697 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=4104 CPUtime=0
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 481 0 0 0 0 0 0 0 19 0 4 0 103744149 4202496 706 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=4104 CPUtime=0
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 150 0 0 0 0 0 0 0 19 0 4 0 103744149 4202496 713 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0587511 s]
/proc/loadavg: 1.00 1.00 1.08 3/64 26857
/proc/meminfo: memFree=1721080/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=38536 CPUtime=0.09
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 7336 0 0 0 5 4 0 0 18 0 4 0 103744149 39460864 7321 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 9634 7321 65 163 0 9469 0
[pid=26857/tid=26858] ppid=26855 vsize=38536 CPUtime=0
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 103744149 39460864 7321 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=38536 CPUtime=0.05
/proc/26857/task/26859/stat : 26859 (satake) D 26855 26857 26543 0 -1 4194368 3591 0 0 0 3 2 0 0 18 0 4 0 103744149 39460864 7321 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=38536 CPUtime=0.04
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 3655 0 0 0 2 2 0 0 18 0 4 0 103744149 39460864 7321 1992294400 134512640 135180984 4294956208 18446744073709551615 134522288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38536

[startup+0.102741 s]
/proc/loadavg: 1.00 1.00 1.08 3/64 26857
/proc/meminfo: memFree=1721080/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=41636 CPUtime=0.18
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 8267 0 0 0 13 5 0 0 18 0 4 0 103744149 42635264 8252 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 10409 8252 65 163 0 10244 0
[pid=26857/tid=26858] ppid=26855 vsize=41636 CPUtime=0
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 103744149 42635264 8252 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=41636 CPUtime=0.08
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 4079 0 0 0 6 2 0 0 18 0 4 0 103744149 42635264 8252 1992294400 134512640 135180984 4294956208 18446744073709551615 134513782 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=41636 CPUtime=0.08
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 4098 0 0 0 6 2 0 0 18 0 4 0 103744149 42635264 8252 1992294400 134512640 135180984 4294956208 18446744073709551615 134513542 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 41636

[startup+0.301763 s]
/proc/loadavg: 1.00 1.00 1.08 3/64 26857
/proc/meminfo: memFree=1721080/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=49476 CPUtime=0.58
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 10135 0 0 0 51 7 0 0 18 0 4 0 103744149 50663424 10120 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 12369 10120 65 163 0 12204 0
[pid=26857/tid=26858] ppid=26855 vsize=49476 CPUtime=0
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 103744149 50663424 10120 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=49476 CPUtime=0.29
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 5001 0 0 0 26 3 0 0 18 0 4 0 103744149 50663424 10121 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=49476 CPUtime=0.28
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 5045 0 0 0 25 3 0 0 18 0 4 0 103744149 50663424 10121 1992294400 134512640 135180984 4294956208 18446744073709551615 134535254 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 49476

[startup+0.702809 s]
/proc/loadavg: 1.00 1.00 1.08 3/64 26857
/proc/meminfo: memFree=1721080/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=48588 CPUtime=1.38
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 12126 0 0 0 127 11 0 0 18 0 4 0 103744149 49754112 9699 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 12147 9699 70 163 0 11982 0
[pid=26857/tid=26858] ppid=26855 vsize=48588 CPUtime=0.03
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 1600 0 0 0 1 2 0 0 16 0 4 0 103744149 49754112 9699 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=48588 CPUtime=0.65
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 5221 0 0 0 62 3 0 0 21 0 4 0 103744149 49754112 9699 1992294400 134512640 135180984 4294956208 18446744073709551615 134528996 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=48588 CPUtime=0.67
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 5222 0 0 0 63 4 0 0 17 0 4 0 103744149 49754112 9699 1992294400 134512640 135180984 4294956208 18446744073709551615 134518962 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 48588

[startup+1.5029 s]
/proc/loadavg: 1.00 1.00 1.08 3/68 26861
/proc/meminfo: memFree=1682328/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=48588 CPUtime=2.96
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 12171 0 0 0 276 20 0 0 18 0 4 0 103744149 49754112 9744 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 12147 9744 70 163 0 11982 0
[pid=26857/tid=26858] ppid=26855 vsize=48588 CPUtime=0.09
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 1610 0 0 0 3 6 0 0 16 0 4 0 103744149 49754112 9744 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=48588 CPUtime=1.42
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 5245 0 0 0 136 6 0 0 20 0 4 0 103744149 49754112 9744 1992294400 134512640 135180984 4294956208 18446744073709551615 134523791 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=48588 CPUtime=1.43
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 5233 0 0 0 136 7 0 0 19 0 4 0 103744149 49754112 9744 1992294400 134512640 135180984 4294956208 18446744073709551615 134518285 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 48588

[startup+3.10208 s]
/proc/loadavg: 1.00 1.00 1.08 3/68 26861
/proc/meminfo: memFree=1681880/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=48984 CPUtime=6.14
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 12321 0 0 0 568 46 0 0 18 0 4 0 103744149 50159616 9894 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 12246 9894 70 163 0 12081 0
[pid=26857/tid=26858] ppid=26855 vsize=48984 CPUtime=0.23
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 1642 0 0 0 5 18 0 0 16 0 4 0 103744149 50159616 9894 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=48984 CPUtime=2.93
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 5312 0 0 0 280 13 0 0 18 0 4 0 103744149 50159616 9894 1992294400 134512640 135180984 4294956208 18446744073709551615 134518733 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=48984 CPUtime=2.95
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 5284 0 0 0 281 14 0 0 24 0 4 0 103744149 50159616 9894 1992294400 134512640 135180984 4294956208 18446744073709551615 134518660 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 48984

[startup+6.3016 s]
/proc/loadavg: 1.08 1.02 1.09 4/68 26861
/proc/meminfo: memFree=1679576/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=51172 CPUtime=12.43
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 12961 0 0 0 1085 158 0 0 18 0 4 0 103744149 52400128 10534 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 12793 10534 70 163 0 12628 0
[pid=26857/tid=26858] ppid=26855 vsize=51172 CPUtime=0.85
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 1814 0 0 0 16 69 0 0 15 0 4 0 103744149 52400128 10534 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=51172 CPUtime=5.85
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 5531 0 0 0 541 44 0 0 17 0 4 0 103744149 52400128 10534 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=51172 CPUtime=5.7
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 5533 0 0 0 527 43 0 0 15 0 4 0 103744149 52400128 10534 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 51172

[startup+12.7011 s]
/proc/loadavg: 1.15 1.03 1.09 3/68 26861
/proc/meminfo: memFree=1671896/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=59868 CPUtime=24.43
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 15065 0 0 0 1944 499 0 0 18 0 4 0 103744149 61304832 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 14967 12638 70 163 0 14802 0
[pid=26857/tid=26858] ppid=26855 vsize=59868 CPUtime=2.77
/proc/26857/task/26858/stat : 26858 (satake) R 26855 26857 26543 0 -1 4194368 2399 0 0 0 54 223 0 0 15 0 4 0 103744149 61304832 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=59868 CPUtime=10.77
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 6363 0 0 0 938 139 0 0 16 0 4 0 103744149 61304832 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134522975 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=59868 CPUtime=10.86
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 6220 0 0 0 950 136 0 0 16 0 4 0 103744149 61304832 12638 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.43
Current children cumulated vsize (KiB) 59868

[startup+25.5027 s]
/proc/loadavg: 1.49 1.11 1.12 4/68 26861
/proc/meminfo: memFree=1652952/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=78720 CPUtime=47.79
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 19607 0 0 0 3631 1148 0 0 18 0 4 0 103744149 80609280 17180 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 19680 17180 70 163 0 19515 0
[pid=26857/tid=26858] ppid=26855 vsize=78720 CPUtime=6.58
/proc/26857/task/26858/stat : 26858 (satake) R 26855 26857 26543 0 -1 4194368 3640 0 0 0 131 527 0 0 15 0 4 0 103744149 80609280 17180 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=78720 CPUtime=20.87
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 8080 0 0 0 1768 319 0 0 17 0 4 0 103744149 80609280 17180 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=78720 CPUtime=20.31
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 7804 0 0 0 1731 300 0 0 17 0 4 0 103744149 80609280 17180 1992294400 134512640 135180984 4294956208 18446744073709551615 134532044 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.79
Current children cumulated vsize (KiB) 78720

[startup+51.1013 s]
/proc/loadavg: 1.74 1.20 1.15 3/68 26861
/proc/meminfo: memFree=1613464/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=119068 CPUtime=96.24
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 29449 0 0 0 7191 2433 0 0 18 0 4 0 103744149 121925632 27022 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 29767 27022 70 163 0 29602 0
[pid=26857/tid=26858] ppid=26855 vsize=119068 CPUtime=14.01
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 5908 0 0 0 269 1132 0 0 16 0 4 0 103744149 121925632 27022 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=119068 CPUtime=41.7
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 11441 0 0 0 3510 660 0 0 16 0 4 0 103744149 121925632 27022 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=119068 CPUtime=40.51
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 12017 0 0 0 3411 640 0 0 17 0 4 0 103744149 121925632 27022 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.24
Current children cumulated vsize (KiB) 119068

[startup+102.307 s]
/proc/loadavg: 1.96 1.34 1.19 4/68 26861
/proc/meminfo: memFree=1586904/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=146808 CPUtime=193.87
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 36033 0 0 0 14505 4882 0 0 18 0 4 0 103744149 150331392 33606 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 36702 33606 70 163 0 36537 0
[pid=26857/tid=26858] ppid=26855 vsize=146808 CPUtime=28.12
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 9649 0 0 0 542 2270 0 0 15 0 4 0 103744149 150331392 33606 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=146808 CPUtime=83.28
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 13397 0 0 0 7006 1322 0 0 16 0 4 0 103744149 150331392 33606 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=146808 CPUtime=82.46
/proc/26857/task/26860/stat : 26860 (satake) S 26855 26857 26543 0 -1 4194368 12904 0 0 0 6956 1290 0 0 16 0 4 0 103744149 150331392 33606 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 193.87
Current children cumulated vsize (KiB) 146808

[startup+162.302 s]
/proc/loadavg: 2.38 1.55 1.27 4/68 26861
/proc/meminfo: memFree=1554392/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=183408 CPUtime=307.6
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 44255 0 0 0 23116 7644 0 0 18 0 4 0 103744149 187809792 41828 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 45852 41828 70 163 0 45687 0
[pid=26857/tid=26858] ppid=26855 vsize=183408 CPUtime=44.05
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 13984 0 0 0 855 3550 0 0 15 0 4 0 103744149 187809792 41828 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=183408 CPUtime=133.14
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 15359 0 0 0 11246 2068 0 0 17 0 4 0 103744149 187809792 41828 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=183408 CPUtime=130.38
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 14829 0 0 0 11014 2024 0 0 17 0 4 0 103744149 187809792 41828 1992294400 134512640 135180984 4294956208 18446744073709551615 134529023 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 307.6
Current children cumulated vsize (KiB) 183408

[startup+222.303 s]
/proc/loadavg: 2.13 1.63 1.31 3/68 26861
/proc/meminfo: memFree=1521688/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=215892 CPUtime=421.43
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 52289 0 0 0 31189 10954 0 0 18 0 4 0 103744149 221073408 49862 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 53973 49862 70 163 0 53808 0
[pid=26857/tid=26858] ppid=26855 vsize=215892 CPUtime=63.17
/proc/26857/task/26858/stat : 26858 (satake) R 26855 26857 26543 0 -1 4194368 18733 0 0 0 1222 5095 0 0 15 0 4 0 103744149 221073408 49862 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=215892 CPUtime=180.77
/proc/26857/task/26859/stat : 26859 (satake) S 26855 26857 26543 0 -1 4194368 17059 0 0 0 15135 2942 0 0 15 0 4 0 103744149 221073408 49862 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=215892 CPUtime=177.45
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 16414 0 0 0 14830 2915 0 0 17 0 4 0 103744149 221073408 49862 1992294400 134512640 135180984 4294956208 18446744073709551615 134523985 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 421.43
Current children cumulated vsize (KiB) 215892

[startup+282.302 s]
/proc/loadavg: 2.10 1.71 1.36 3/68 26861
/proc/meminfo: memFree=1488536/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=251860 CPUtime=534.34
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 60638 0 0 0 39411 14023 0 0 18 0 4 0 103744149 257904640 58211 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 62965 58211 70 163 0 62800 0
[pid=26857/tid=26858] ppid=26855 vsize=251860 CPUtime=80.93
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 23506 0 0 0 1559 6534 0 0 15 0 4 0 103744149 257904640 58211 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=251860 CPUtime=228.16
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 19237 0 0 0 19061 3755 0 0 16 0 4 0 103744149 257904640 58211 1992294400 134512640 135180984 4294956208 18446744073709551615 134518634 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=251860 CPUtime=225.23
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 17812 0 0 0 18790 3733 0 0 16 0 4 0 103744149 257904640 58211 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 534.34
Current children cumulated vsize (KiB) 251860

[startup+342.303 s]
/proc/loadavg: 2.15 1.80 1.41 2/68 26861
/proc/meminfo: memFree=1438616/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=301512 CPUtime=649.36
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 72981 0 0 0 48359 16577 0 0 18 0 4 0 103744149 308748288 70554 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 75378 70554 70 163 0 75213 0
[pid=26857/tid=26858] ppid=26855 vsize=301512 CPUtime=95.69
/proc/26857/task/26858/stat : 26858 (satake) R 26855 26857 26543 0 -1 4194368 27305 0 0 0 1843 7726 0 0 15 0 4 0 103744149 308748288 70554 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=301512 CPUtime=280.09
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 23462 0 0 0 23569 4440 0 0 17 0 4 0 103744149 308748288 70555 1992294400 134512640 135180984 4294956208 18446744073709551615 134519095 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=301512 CPUtime=273.56
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 22131 0 0 0 22946 4410 0 0 17 0 4 0 103744149 308748288 70555 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 649.36
Current children cumulated vsize (KiB) 301512

[startup+402.302 s]
/proc/loadavg: 2.22 1.88 1.46 3/68 26861
/proc/meminfo: memFree=1401560/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=338732 CPUtime=765.18
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 82238 0 0 0 57699 18819 0 0 18 0 4 0 103744149 346861568 79811 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 84683 79811 70 163 0 84518 0
[pid=26857/tid=26858] ppid=26855 vsize=338732 CPUtime=108.61
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 30810 0 0 0 2095 8766 0 0 15 0 4 0 103744149 346861568 79811 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=338732 CPUtime=332.93
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 28509 0 0 0 28241 5052 0 0 17 0 4 0 103744149 346861568 79811 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=338732 CPUtime=323.62
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 22836 0 0 0 27361 5001 0 0 16 0 4 0 103744149 346861568 79811 1992294400 134512640 135180984 4294956208 18446744073709551615 134530311 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 765.18
Current children cumulated vsize (KiB) 338732

[startup+462.302 s]
/proc/loadavg: 2.13 1.91 1.50 3/68 26861
/proc/meminfo: memFree=1370328/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=376848 CPUtime=878.88
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 89995 0 0 0 66236 21652 0 0 18 0 4 0 103744149 385892352 87568 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 94212 87568 70 163 0 94047 0
[pid=26857/tid=26858] ppid=26855 vsize=376848 CPUtime=125.12
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 35087 0 0 0 2424 10088 0 0 15 0 4 0 103744149 385892352 87568 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=376848 CPUtime=382.66
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 29436 0 0 0 32458 5808 0 0 17 0 4 0 103744149 385892352 87568 1992294400 134512640 135180984 4294956208 18446744073709551615 134532512 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=376848 CPUtime=371.08
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 25389 0 0 0 31354 5754 0 0 17 0 4 0 103744149 385892352 87568 1992294400 134512640 135180984 4294956208 18446744073709551615 134532044 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 878.88
Current children cumulated vsize (KiB) 376848

[startup+522.302 s]
/proc/loadavg: 2.22 1.99 1.55 3/68 26861
/proc/meminfo: memFree=1335320/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=412996 CPUtime=994.33
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 98920 0 0 0 75587 23846 0 0 18 0 4 0 103744149 422907904 96493 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 103249 96493 70 163 0 103084 0
[pid=26857/tid=26858] ppid=26855 vsize=412996 CPUtime=138.04
/proc/26857/task/26858/stat : 26858 (satake) R 26855 26857 26543 0 -1 4194368 38321 0 0 0 2684 11120 0 0 16 0 4 0 103744149 422907904 96493 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=412996 CPUtime=436.14
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 32325 0 0 0 37220 6394 0 0 17 0 4 0 103744149 422907904 96493 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26857/tid=26860] ppid=26855 vsize=412996 CPUtime=420.13
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 28191 0 0 0 35682 6331 0 0 18 0 4 0 103744149 422907904 96493 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 994.33
Current children cumulated vsize (KiB) 412996

[startup+582.303 s]
/proc/loadavg: 2.14 2.00 1.58 4/68 26861
/proc/meminfo: memFree=1292312/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=456948 CPUtime=1109
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 109499 0 0 0 84522 26378 0 0 18 0 4 0 103744149 467914752 107072 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 114237 107073 70 163 0 114072 0
[pid=26857/tid=26858] ppid=26855 vsize=456948 CPUtime=152.72
/proc/26857/task/26858/stat : 26858 (satake) R 26855 26857 26543 0 -1 4194368 42310 0 0 0 2968 12304 0 0 16 0 4 0 103744149 467914752 107073 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26859] ppid=26855 vsize=456948 CPUtime=487.19
/proc/26857/task/26859/stat : 26859 (satake) S 26855 26857 26543 0 -1 4194368 38156 0 0 0 41640 7079 0 0 16 0 4 0 103744149 467914752 107073 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=456948 CPUtime=469.07
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 28951 0 0 0 39913 6994 0 0 16 0 4 0 103744149 467914752 107073 1992294400 134512640 135180984 4294956208 18446744073709551615 134522920 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1109
Current children cumulated vsize (KiB) 456948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+630.202 s]
/proc/loadavg: 2.11 2.01 1.60 3/68 26861
/proc/meminfo: memFree=1258328/2055920 swapFree=4192812/4192956
[pid=26857] ppid=26855 vsize=490932 CPUtime=1200.09
/proc/26857/stat : 26857 (satake) S 26855 26857 26543 0 -1 4194304 117891 0 0 0 91218 28791 0 0 18 0 4 0 103744149 502714368 115464 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26857/statm: 122733 115464 70 163 0 122568 0
[pid=26857/tid=26858] ppid=26855 vsize=490932 CPUtime=166.6
/proc/26857/task/26858/stat : 26858 (satake) S 26855 26857 26543 0 -1 4194368 45534 0 0 0 3235 13425 0 0 16 0 4 0 103744149 502714368 115464 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26857/tid=26859] ppid=26855 vsize=490932 CPUtime=526.48
/proc/26857/task/26859/stat : 26859 (satake) R 26855 26857 26543 0 -1 4194368 38722 0 0 0 44922 7726 0 0 17 0 4 0 103744149 502714368 115464 1992294400 134512640 135180984 4294956208 18446744073709551615 134518582 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26857/tid=26860] ppid=26855 vsize=490932 CPUtime=506.99
/proc/26857/task/26860/stat : 26860 (satake) R 26855 26857 26543 0 -1 4194368 33552 0 0 0 43060 7639 0 0 17 0 4 0 103744149 502714368 115464 1992294400 134512640 135180984 4294956208 18446744073709551615 134520874 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 490932

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): 630.29
CPU time (s): 1200.18
CPU user time (s): 912.196
CPU system time (s): 287.983
CPU usage (%): 190.417
Max. virtual memory (cumulated for all children) (KiB): 490932

deleting IPC queue 1179648
deleting IPC queue 1212417
deleting IPC queue 1245186
deleting IPC queue 1277955
deleting IPC queue 1310724
deleting IPC queue 1343493
deleting IPC queue 1376262
deleting IPC queue 1409031
deleting IPC queue 1441800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 912.196
system time used= 287.983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117891
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= 16462391
involuntary context switches= 14556129

runsolver used 0.684895 second user time and 1.83472 second system time

The end

Launcher Data 

Begin job on node21 at 2009-04-26 16:45:10
IDJOB=1730213
IDBENCH=24723
IDSOLVER=553
FILE ID=node21/1730213-1240757109
PBS_JOBID= 9187104
Free space on /tmp= 66340 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Difficult/contest05/sabharwal/grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1730213-1240757109/watcher-1730213-1240757109 -o /tmp/evaluation-result-1730213-1240757109/solver-1730213-1240757109 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1730213-1240757109.cnf 3 1200

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

MD5SUM BENCH= e899c85929b7de69ebfb14f0dad93191
RANDOM SEED=1580895671

node21.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.233
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.233
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:       1721560 kB
Buffers:         33972 kB
Cached:         211236 kB
SwapCached:          0 kB
Active:          80388 kB
Inactive:       178708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721560 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5860 kB
Writeback:           0 kB
Mapped:          23648 kB
Slab:            61340 kB
Committed_AS:   419340 kB
PageTables:       1376 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= 66336 MiB
End job on node21 at 2009-04-26 16:55:42