Trace number 1720202

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.1 601.866

General information on the benchmark

Namemanol-pipe-g10nid.cnf
MD5SUMd46e452956bc993f202d3b06fd3e858e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark91.6881
Satisfiable
(Un)Satisfiability was proved
Number of variables217725
Number of clauses646228
Sum of the clauses size1507864
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2430818
Number of clauses of size 3215409
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1720202-1240653591/watcher-1720202-1240653591 -o /tmp/evaluation-result-1720202-1240653591/solver-1720202-1240653591 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1720202-1240653591.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 26849
/proc/meminfo: memFree=1870272/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=5120 CPUtime=0
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 730 0 0 0 0 0 0 0 18 0 4 0 93387627 5242880 715 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 1280 721 65 163 0 1115 0
[pid=26849/tid=26850] ppid=26847 vsize=5120 CPUtime=0
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93387627 5242880 740 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=5120 CPUtime=0
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 674 0 0 0 0 0 0 0 20 0 4 0 93387627 5242880 749 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=5120 CPUtime=0
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 93387627 5242880 758 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.0649741 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26849
/proc/meminfo: memFree=1870272/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=31476 CPUtime=0.12
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 7164 0 0 0 6 6 0 0 18 0 4 0 93387627 32231424 7145 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 7869 7147 65 163 0 7704 0
[pid=26849/tid=26850] ppid=26847 vsize=31476 CPUtime=0
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93387627 32231424 7147 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=31476 CPUtime=0.06
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 3561 0 0 0 3 3 0 0 16 0 4 0 93387627 32231424 7148 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=31476 CPUtime=0.05
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 3516 0 0 0 2 3 0 0 17 0 4 0 93387627 32231424 7148 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 31476

[startup+0.109097 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26849
/proc/meminfo: memFree=1870272/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=36784 CPUtime=0.2
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 8464 0 0 0 13 7 0 0 18 0 4 0 93387627 37666816 8438 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 9196 8438 65 163 0 9031 0
[pid=26849/tid=26850] ppid=26847 vsize=36784 CPUtime=0
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93387627 37666816 8438 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=36784 CPUtime=0.1
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 4190 0 0 0 7 3 0 0 17 0 4 0 93387627 37666816 8438 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=36784 CPUtime=0.08
/proc/26849/task/26852/stat : 26852 (satake) D 26847 26849 26752 0 -1 4194368 4184 0 0 0 5 3 0 0 17 0 4 0 93387627 37666816 8438 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 36784

[startup+0.301789 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26849
/proc/meminfo: memFree=1870272/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=68240 CPUtime=0.57
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 14669 0 0 0 46 11 0 0 18 0 4 0 93387627 69877760 14643 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 17060 14652 65 163 0 16895 0
[pid=26849/tid=26850] ppid=26847 vsize=68240 CPUtime=0
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93387627 69877760 14652 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=68240 CPUtime=0.29
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 7354 0 0 0 24 5 0 0 16 0 4 0 93387627 69877760 14653 1992294400 134512640 135180984 4294956208 18446744073709551615 134534922 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=68240 CPUtime=0.28
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 7235 0 0 0 22 6 0 0 16 0 4 0 93387627 69877760 14653 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 68240

[startup+0.701038 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 26849
/proc/meminfo: memFree=1870272/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=118464 CPUtime=1.37
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 26893 0 0 0 119 18 0 0 18 0 4 0 93387627 121307136 26867 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 29616 26867 66 163 0 29451 0
[pid=26849/tid=26850] ppid=26847 vsize=118464 CPUtime=0
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93387627 121307136 26867 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=118464 CPUtime=0.69
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 13360 0 0 0 61 8 0 0 17 0 4 0 93387627 121307136 26867 1992294400 134512640 135180984 4294956208 18446744073709551615 134521098 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=118464 CPUtime=0.68
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 13443 0 0 0 58 10 0 0 17 0 4 0 93387627 121307136 26867 1992294400 134512640 135180984 4294956208 18446744073709551615 134519893 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 118464

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 26853
/proc/meminfo: memFree=1768992/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=112008 CPUtime=2.97
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 31107 0 0 0 273 24 0 0 18 0 4 0 93387627 114696192 25363 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 28002 25363 70 163 0 27837 0
[pid=26849/tid=26850] ppid=26847 vsize=112008 CPUtime=0.06
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 3839 0 0 0 4 2 0 0 16 0 4 0 93387627 114696192 25363 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=112008 CPUtime=1.42
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 13434 0 0 0 133 9 0 0 17 0 4 0 93387627 114696192 25363 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=112008 CPUtime=1.46
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 13751 0 0 0 135 11 0 0 17 0 4 0 93387627 114696192 25363 1992294400 134512640 135180984 4294956208 18446744073709551615 134528993 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 112008

[startup+3.1024 s]
/proc/loadavg: 1.16 1.03 1.01 3/68 26853
/proc/meminfo: memFree=1767904/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=112008 CPUtime=6.15
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 31318 0 0 0 585 30 0 0 18 0 4 0 93387627 114696192 25574 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 28002 25574 70 163 0 27837 0
[pid=26849/tid=26850] ppid=26847 vsize=112008 CPUtime=0.11
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 3842 0 0 0 5 6 0 0 16 0 4 0 93387627 114696192 25574 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=112008 CPUtime=3
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 13563 0 0 0 290 10 0 0 16 0 4 0 93387627 114696192 25574 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=112008 CPUtime=3.02
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 13830 0 0 0 289 13 0 0 20 0 4 0 93387627 114696192 25574 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 112008

[startup+6.30186 s]
/proc/loadavg: 1.16 1.03 1.01 4/68 26853
/proc/meminfo: memFree=1767456/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=112272 CPUtime=12.53
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 31426 0 0 0 1206 47 0 0 18 0 4 0 93387627 114966528 25682 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 28068 25682 70 163 0 27903 0
[pid=26849/tid=26850] ppid=26847 vsize=112272 CPUtime=0.2
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 3859 0 0 0 7 13 0 0 16 0 4 0 93387627 114966528 25682 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=112272 CPUtime=6.15
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 13613 0 0 0 600 15 0 0 21 0 4 0 93387627 114966528 25682 1992294400 134512640 135180984 4294956208 18446744073709551615 134518555 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=112272 CPUtime=6.16
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 13871 0 0 0 598 18 0 0 25 0 4 0 93387627 114966528 25682 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 112272

[startup+12.7028 s]
/proc/loadavg: 1.36 1.08 1.03 3/68 26853
/proc/meminfo: memFree=1765216/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=113068 CPUtime=25.31
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 31991 0 0 0 2449 82 0 0 18 0 4 0 93387627 115781632 26247 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 28267 26247 70 163 0 28102 0
[pid=26849/tid=26850] ppid=26847 vsize=113068 CPUtime=0.4
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 3907 0 0 0 11 29 0 0 16 0 4 0 93387627 115781632 26247 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=113068 CPUtime=12.45
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 13862 0 0 0 1220 25 0 0 19 0 4 0 93387627 115781632 26247 1992294400 134512640 135180984 4294956208 18446744073709551615 134523702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26849/tid=26852] ppid=26847 vsize=113068 CPUtime=12.43
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 14139 0 0 0 1217 26 0 0 19 0 4 0 93387627 115781632 26247 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 113068

[startup+25.5017 s]
/proc/loadavg: 1.46 1.11 1.04 3/68 26853
/proc/meminfo: memFree=1760096/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=119624 CPUtime=50.8
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 33290 0 0 0 4899 181 0 0 18 0 4 0 93387627 122494976 27546 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 29906 27546 70 163 0 29741 0
[pid=26849/tid=26850] ppid=26847 vsize=119624 CPUtime=0.96
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 4051 0 0 0 22 74 0 0 16 0 4 0 93387627 122494976 27546 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=119624 CPUtime=24.91
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 14196 0 0 0 2439 52 0 0 18 0 4 0 93387627 122494976 27546 1992294400 134512640 135180984 4294956208 18446744073709551615 134523638 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=119624 CPUtime=24.9
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 14960 0 0 0 2437 53 0 0 18 0 4 0 93387627 122494976 27546 1992294400 134512640 135180984 4294956208 18446744073709551615 134523867 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 119624

[startup+51.1014 s]
/proc/loadavg: 1.78 1.21 1.07 3/68 26853
/proc/meminfo: memFree=1743776/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=136488 CPUtime=101.75
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 37474 0 0 0 9734 441 0 0 18 0 4 0 93387627 139763712 31730 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 34122 31730 70 163 0 33957 0
[pid=26849/tid=26850] ppid=26847 vsize=136488 CPUtime=2.46
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 4584 0 0 0 56 190 0 0 16 0 4 0 93387627 139763712 31730 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=136488 CPUtime=49.69
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 15761 0 0 0 4849 120 0 0 17 0 4 0 93387627 139763712 31730 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=136488 CPUtime=49.57
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 17046 0 0 0 4828 129 0 0 21 0 4 0 93387627 139763712 31730 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 136488

[startup+102.306 s]
/proc/loadavg: 1.91 1.34 1.12 3/68 26859
/proc/meminfo: memFree=1713248/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=166580 CPUtime=203.73
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 44967 0 0 0 19460 913 0 0 18 0 4 0 93387627 170577920 39223 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 41645 39223 70 163 0 41480 0
[pid=26849/tid=26850] ppid=26847 vsize=166580 CPUtime=5.23
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 5575 0 0 0 116 407 0 0 16 0 4 0 93387627 170577920 39223 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=166580 CPUtime=99.16
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 18395 0 0 0 9670 246 0 0 19 0 4 0 93387627 170577920 39223 1992294400 134512640 135180984 4294956208 18446744073709551615 134523660 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26849/tid=26852] ppid=26847 vsize=166580 CPUtime=99.32
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 20914 0 0 0 9673 259 0 0 17 0 4 0 93387627 170577920 39223 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 166580

[startup+162.303 s]
/proc/loadavg: 1.96 1.45 1.17 3/68 26859
/proc/meminfo: memFree=1679904/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=201432 CPUtime=323.28
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 53314 0 0 0 31038 1290 0 0 18 0 4 0 93387627 206266368 47570 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 50358 47570 70 163 0 50193 0
[pid=26849/tid=26850] ppid=26847 vsize=201432 CPUtime=7.36
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 6350 0 0 0 160 576 0 0 16 0 4 0 93387627 206266368 47570 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=201432 CPUtime=157.9
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 22288 0 0 0 15444 346 0 0 17 0 4 0 93387627 206266368 47570 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=201432 CPUtime=158
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 24593 0 0 0 15433 367 0 0 17 0 4 0 93387627 206266368 47570 1992294400 134512640 135180984 4294956208 18446744073709551615 134521043 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.28
Current children cumulated vsize (KiB) 201432

[startup+222.302 s]
/proc/loadavg: 1.98 1.55 1.22 3/68 26859
/proc/meminfo: memFree=1652448/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=229392 CPUtime=442.92
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 60136 0 0 0 42614 1678 0 0 18 0 4 0 93387627 234897408 54392 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 57348 54392 70 163 0 57183 0
[pid=26849/tid=26850] ppid=26847 vsize=229392 CPUtime=9.58
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 7203 0 0 0 208 750 0 0 16 0 4 0 93387627 234897408 54392 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=229392 CPUtime=216.6
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 25300 0 0 0 21214 446 0 0 18 0 4 0 93387627 234897408 54392 1992294400 134512640 135180984 4294956208 18446744073709551615 134519095 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=229392 CPUtime=216.72
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 27550 0 0 0 21191 481 0 0 17 0 4 0 93387627 234897408 54392 1992294400 134512640 135180984 4294956208 18446744073709551615 134519096 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.92
Current children cumulated vsize (KiB) 229392

[startup+282.301 s]
/proc/loadavg: 2.03 1.64 1.27 3/68 26859
/proc/meminfo: memFree=1634912/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=247048 CPUtime=562.64
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 64523 0 0 0 54488 1776 0 0 18 0 4 0 93387627 252977152 58779 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 61762 58779 70 163 0 61597 0
[pid=26849/tid=26850] ppid=26847 vsize=247048 CPUtime=10.12
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 7363 0 0 0 221 791 0 0 16 0 4 0 93387627 252977152 58779 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=247048 CPUtime=276.25
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 27000 0 0 0 27149 476 0 0 22 0 4 0 93387627 252977152 58779 1992294400 134512640 135180984 4294956208 18446744073709551615 134528411 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26849/tid=26852] ppid=26847 vsize=247048 CPUtime=276.25
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 30077 0 0 0 27117 508 0 0 25 0 4 0 93387627 252977152 58779 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.64
Current children cumulated vsize (KiB) 247048

[startup+342.302 s]
/proc/loadavg: 2.10 1.74 1.33 3/68 26859
/proc/meminfo: memFree=1608160/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=274236 CPUtime=682.24
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 71166 0 0 0 66030 2194 0 0 18 0 4 0 93387627 280817664 65422 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 68559 65422 70 163 0 68394 0
[pid=26849/tid=26850] ppid=26847 vsize=274236 CPUtime=12.55
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 8191 0 0 0 272 983 0 0 16 0 4 0 93387627 280817664 65422 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=274236 CPUtime=334.87
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 29764 0 0 0 32900 587 0 0 17 0 4 0 93387627 280817664 65422 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26849/tid=26852] ppid=26847 vsize=274236 CPUtime=334.79
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 33128 0 0 0 32856 623 0 0 25 0 4 0 93387627 280817664 65422 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.24
Current children cumulated vsize (KiB) 274236

[startup+402.302 s]
/proc/loadavg: 2.04 1.78 1.36 3/68 26859
/proc/meminfo: memFree=1595360/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=288996 CPUtime=801.95
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 74417 0 0 0 77807 2388 0 0 18 0 4 0 93387627 295931904 68673 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 72249 68673 70 163 0 72084 0
[pid=26849/tid=26850] ppid=26847 vsize=288996 CPUtime=13.66
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 8376 0 0 0 298 1068 0 0 16 0 4 0 93387627 295931904 68673 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=288996 CPUtime=394.25
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 30709 0 0 0 38792 633 0 0 20 0 4 0 93387627 295931904 68673 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26849/tid=26852] ppid=26847 vsize=288996 CPUtime=394.02
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 35249 0 0 0 38716 686 0 0 22 0 4 0 93387627 295931904 68673 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.95
Current children cumulated vsize (KiB) 288996

[startup+462.303 s]
/proc/loadavg: 2.01 1.82 1.40 3/68 26859
/proc/meminfo: memFree=1576352/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=308112 CPUtime=921.66
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 79092 0 0 0 89643 2523 0 0 18 0 4 0 93387627 315506688 73348 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 77028 73348 70 163 0 76863 0
[pid=26849/tid=26850] ppid=26847 vsize=308112 CPUtime=14.43
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 8659 0 0 0 316 1127 0 0 16 0 4 0 93387627 315506688 73348 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=308112 CPUtime=453.72
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 32608 0 0 0 44696 676 0 0 19 0 4 0 93387627 315506688 73348 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=308112 CPUtime=453.49
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 37742 0 0 0 44630 719 0 0 25 0 4 0 93387627 315506688 73348 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 921.66
Current children cumulated vsize (KiB) 308112

[startup+522.302 s]
/proc/loadavg: 2.00 1.85 1.43 3/68 26859
/proc/meminfo: memFree=1559840/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=326712 CPUtime=1041.4
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 83206 0 0 0 101568 2572 0 0 18 0 4 0 93387627 334553088 77462 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 81678 77462 70 163 0 81513 0
[pid=26849/tid=26850] ppid=26847 vsize=326712 CPUtime=14.67
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 8739 0 0 0 322 1145 0 0 16 0 4 0 93387627 334553088 77462 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=326712 CPUtime=513.36
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 34270 0 0 0 50647 689 0 0 25 0 4 0 93387627 334553088 77462 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=326712 CPUtime=513.34
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 40114 0 0 0 50597 737 0 0 25 0 4 0 93387627 334553088 77462 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.4
Current children cumulated vsize (KiB) 326712

[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.47 3/68 26859
/proc/meminfo: memFree=1546208/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=339724 CPUtime=1161.12
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 86596 0 0 0 113393 2719 0 0 18 0 4 0 93387627 347877376 80852 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 84931 80852 70 163 0 84766 0
[pid=26849/tid=26850] ppid=26847 vsize=339724 CPUtime=15.53
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 9027 0 0 0 340 1213 0 0 16 0 4 0 93387627 347877376 80852 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=26849/tid=26851] ppid=26847 vsize=339724 CPUtime=572.75
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 35720 0 0 0 56545 730 0 0 25 0 4 0 93387627 347877376 80852 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26849/tid=26852] ppid=26847 vsize=339724 CPUtime=572.82
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 41766 0 0 0 56507 775 0 0 25 0 4 0 93387627 347877376 80852 1992294400 134512640 135180984 4294956208 18446744073709551615 134523791 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.12
Current children cumulated vsize (KiB) 339724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.801 s]
/proc/loadavg: 2.00 1.88 1.48 3/68 26859
/proc/meminfo: memFree=1540320/2055920 swapFree=4192812/4192956
[pid=26849] ppid=26847 vsize=345048 CPUtime=1200.03
/proc/26849/stat : 26849 (satake) S 26847 26849 26752 0 -1 4194304 88042 0 0 0 117166 2837 0 0 18 0 4 0 93387627 353329152 82298 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26849/statm: 86262 82298 70 163 0 86097 0
[pid=26849/tid=26850] ppid=26847 vsize=345048 CPUtime=16.24
/proc/26849/task/26850/stat : 26850 (satake) S 26847 26849 26752 0 -1 4194368 9300 0 0 0 356 1268 0 0 16 0 4 0 93387627 353329152 82298 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=26849/tid=26851] ppid=26847 vsize=345048 CPUtime=591.87
/proc/26849/task/26851/stat : 26851 (satake) R 26847 26849 26752 0 -1 4194368 36232 0 0 0 58428 759 0 0 25 0 4 0 93387627 353329152 82298 1992294400 134512640 135180984 4294956208 18446744073709551615 134519941 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26849/tid=26852] ppid=26847 vsize=345048 CPUtime=591.9
/proc/26849/task/26852/stat : 26852 (satake) R 26847 26849 26752 0 -1 4194368 42427 0 0 0 58381 809 0 0 25 0 4 0 93387627 353329152 82298 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 345048

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.866
CPU time (s): 1200.1
CPU user time (s): 1171.67
CPU system time (s): 28.4267
CPU usage (%): 199.396
Max. virtual memory (cumulated for all children) (KiB): 345048

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1171.67
system time used= 28.4267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88044
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= 2275067
involuntary context switches= 2248299

runsolver used 0.528919 second user time and 1.67774 second system time

The end

Launcher Data 

Begin job on node39 at 2009-04-25 11:59:52
IDJOB=1720202
IDBENCH=69595
IDSOLVER=553
FILE ID=node39/1720202-1240653591
PBS_JOBID= 9186548
Free space on /tmp= 66268 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE08/cnf/manol-pipe-g10nid.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1720202-1240653591/watcher-1720202-1240653591 -o /tmp/evaluation-result-1720202-1240653591/solver-1720202-1240653591 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1720202-1240653591.cnf 3 1200

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

MD5SUM BENCH= d46e452956bc993f202d3b06fd3e858e
RANDOM SEED=389496395

node39.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.281
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.281
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:       1870688 kB
Buffers:         11488 kB
Cached:          97984 kB
SwapCached:        144 kB
Active:          47032 kB
Inactive:        76460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12184 kB
Writeback:           0 kB
Mapped:          23656 kB
Slab:            47756 kB
Committed_AS:   414156 kB
PageTables:       1380 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= 66264 MiB
End job on node39 at 2009-04-25 12:09:56