Trace number 1723814

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.32 601.668

General information on the benchmark

Namevelev-vliw-uns-4.0-9C1.cnf
MD5SUM0c9a15d0f561e9d1bb438b04ae3c31af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark324.148
Satisfiable
(Un)Satisfiability was proved
Number of variables96177
Number of clauses1814189
Sum of the clauses size5280501
Maximum clause length2216
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21178665
Number of clauses of size 3560157
Number of clauses of size 45491
Number of clauses of size 54739
Number of clauses of size over 565136

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-1723814-1240689082/watcher-1723814-1240689082 -o /tmp/evaluation-result-1723814-1240689082/solver-1723814-1240689082 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723814-1240689082.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.79 1.79 1.47 3/64 31882
/proc/meminfo: memFree=1113632/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=3592 CPUtime=0
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 690 0 0 0 0 0 0 0 18 0 4 0 96934353 3678208 675 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 898 682 65 163 0 733 0
[pid=31882/tid=31883] ppid=31880 vsize=3592 CPUtime=0
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96934353 3678208 698 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=3592 CPUtime=0
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 125 0 0 0 0 0 0 0 19 0 4 0 96934353 3678208 707 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=3592 CPUtime=0
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 514 0 0 0 0 0 0 0 20 0 4 0 96934353 3678208 714 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.105541 s]
/proc/loadavg: 1.79 1.79 1.47 3/64 31882
/proc/meminfo: memFree=1113632/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=75260 CPUtime=0.18
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 18231 0 0 0 1 17 0 0 18 0 4 0 96934353 77066240 18216 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 18815 18216 65 163 0 18650 0
[pid=31882/tid=31883] ppid=31880 vsize=75260 CPUtime=0
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96934353 77066240 18217 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=75392 CPUtime=0.08
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 9079 0 0 0 0 8 0 0 17 0 4 0 96934353 77201408 18218 1992294400 134512640 135180984 4294956208 18446744073709551615 134519661 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=75392 CPUtime=0.08
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 9064 0 0 0 0 8 0 0 16 0 4 0 96934353 77201408 18218 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 75260

[startup+0.202716 s]
/proc/loadavg: 1.79 1.79 1.47 3/64 31882
/proc/meminfo: memFree=1113632/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=84112 CPUtime=0.37
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 20515 0 0 0 18 19 0 0 18 0 4 0 96934353 86130688 20498 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 21028 20498 65 163 0 20863 0
[pid=31882/tid=31883] ppid=31880 vsize=84112 CPUtime=0
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96934353 86130688 20498 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=84112 CPUtime=0.18
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 10262 0 0 0 9 9 0 0 15 0 4 0 96934353 86130688 20498 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=84112 CPUtime=0.18
/proc/31882/task/31885/stat : 31885 (satake) D 31880 31882 31428 0 -1 4194368 10163 0 0 0 9 9 0 0 16 0 4 0 96934353 86130688 20498 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 84112

[startup+0.302568 s]
/proc/loadavg: 1.79 1.79 1.47 3/64 31882
/proc/meminfo: memFree=1113632/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=94516 CPUtime=0.57
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 22719 0 0 0 35 22 0 0 18 0 4 0 96934353 96784384 22695 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 23629 22696 65 163 0 23464 0
[pid=31882/tid=31883] ppid=31880 vsize=94516 CPUtime=0
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96934353 96784384 22696 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=94516 CPUtime=0.29
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 11398 0 0 0 18 11 0 0 16 0 4 0 96934353 96784384 22696 1992294400 134512640 135180984 4294956208 18446744073709551615 134519849 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=94516 CPUtime=0.28
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 11233 0 0 0 17 11 0 0 16 0 4 0 96934353 96784384 22697 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 94516

[startup+0.702812 s]
/proc/loadavg: 1.79 1.79 1.47 3/64 31882
/proc/meminfo: memFree=1113632/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=129512 CPUtime=1.37
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 31469 0 0 0 107 30 0 0 18 0 4 0 96934353 132620288 31445 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 32378 31446 65 163 0 32213 0
[pid=31882/tid=31883] ppid=31880 vsize=129512 CPUtime=0
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96934353 132620288 31447 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=129512 CPUtime=0.68
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 15916 0 0 0 53 15 0 0 15 0 4 0 96934353 132620288 31447 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=129512 CPUtime=0.68
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 15465 0 0 0 54 14 0 0 16 0 4 0 96934353 132620288 31448 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 129512

[startup+1.50338 s]
/proc/loadavg: 1.79 1.79 1.47 3/68 31886
/proc/meminfo: memFree=953216/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=211168 CPUtime=2.95
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 48309 0 0 0 252 43 0 0 18 0 4 0 96934353 216236032 48285 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 52792 48285 65 163 0 52627 0
[pid=31882/tid=31883] ppid=31880 vsize=211168 CPUtime=0
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96934353 216236032 48285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=211168 CPUtime=1.46
/proc/31882/task/31884/stat : 31884 (satake) D 31880 31882 31428 0 -1 4194368 24664 0 0 0 125 21 0 0 16 0 4 0 96934353 216236032 48285 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=211168 CPUtime=1.47
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 23555 0 0 0 126 21 0 0 15 0 4 0 96934353 216236032 48285 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 211168

[startup+3.10114 s]
/proc/loadavg: 1.79 1.79 1.47 3/68 31886
/proc/meminfo: memFree=955776/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=175472 CPUtime=6.13
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 58005 0 0 0 556 57 0 0 18 0 4 0 96934353 179683328 40079 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 43868 40079 70 163 0 43703 0
[pid=31882/tid=31883] ppid=31880 vsize=175472 CPUtime=0.04
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 1695 0 0 0 2 2 0 0 15 0 4 0 96934353 179683328 40079 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=175472 CPUtime=3.01
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 28125 0 0 0 275 26 0 0 17 0 4 0 96934353 179683328 40079 1992294400 134512640 135180984 4294956208 18446744073709551615 134523671 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=175472 CPUtime=3.05
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 28102 0 0 0 277 28 0 0 17 0 4 0 96934353 179683328 40079 1992294400 134512640 135180984 4294956208 18446744073709551615 134518258 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 175472

[startup+6.30157 s]
/proc/loadavg: 1.89 1.81 1.48 3/68 31886
/proc/meminfo: memFree=950976/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=179256 CPUtime=12.49
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 58897 0 0 0 1169 80 0 0 18 0 4 0 96934353 183558144 40971 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 44814 40971 70 163 0 44649 0
[pid=31882/tid=31883] ppid=31880 vsize=179256 CPUtime=0.16
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 1705 0 0 0 5 11 0 0 16 0 4 0 96934353 183558144 40971 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=179256 CPUtime=6.14
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 28522 0 0 0 582 32 0 0 17 0 4 0 96934353 183558144 40971 1992294400 134512640 135180984 4294956208 18446744073709551615 134519923 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=179256 CPUtime=6.16
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 28587 0 0 0 581 35 0 0 17 0 4 0 96934353 183558144 40971 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 179256

[startup+12.7014 s]
/proc/loadavg: 1.97 1.83 1.49 3/68 31886
/proc/meminfo: memFree=942408/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=187052 CPUtime=25.23
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 60931 0 0 0 2395 128 0 0 18 0 4 0 96934353 191541248 43005 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 46763 43005 70 163 0 46598 0
[pid=31882/tid=31883] ppid=31880 vsize=187052 CPUtime=0.42
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 1782 0 0 0 10 32 0 0 16 0 4 0 96934353 191541248 43005 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=187052 CPUtime=12.38
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 29831 0 0 0 1191 47 0 0 17 0 4 0 96934353 191541248 43005 1992294400 134512640 135180984 4294956208 18446744073709551615 134518820 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=187052 CPUtime=12.42
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 29235 0 0 0 1193 49 0 0 17 0 4 0 96934353 191541248 43005 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 187052

[startup+25.5022 s]
/proc/loadavg: 2.05 1.85 1.50 3/68 31886
/proc/meminfo: memFree=904776/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=224432 CPUtime=50.75
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 70461 0 0 0 4903 172 0 0 18 0 4 0 96934353 229818368 52535 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 56108 52535 70 163 0 55943 0
[pid=31882/tid=31883] ppid=31880 vsize=224432 CPUtime=0.62
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 1852 0 0 0 15 47 0 0 16 0 4 0 96934353 229818368 52535 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=224432 CPUtime=25.01
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 34416 0 0 0 2441 60 0 0 18 0 4 0 96934353 229818368 52535 1992294400 134512640 135180984 4294956208 18446744073709551615 134524833 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=224432 CPUtime=25.1
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 34110 0 0 0 2446 64 0 0 16 0 4 0 96934353 229818368 52535 1992294400 134512640 135180984 4294956208 18446744073709551615 134519339 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 224432

[startup+51.1026 s]
/proc/loadavg: 2.03 1.86 1.51 3/68 31886
/proc/meminfo: memFree=846216/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=284668 CPUtime=101.8
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 85166 0 0 0 9919 261 0 0 18 0 4 0 96934353 291500032 67240 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 71167 67240 70 163 0 71002 0
[pid=31882/tid=31883] ppid=31880 vsize=284668 CPUtime=1.08
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 1997 0 0 0 26 82 0 0 16 0 4 0 96934353 291500032 67240 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=284668 CPUtime=50.34
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 42190 0 0 0 4948 86 0 0 16 0 4 0 96934353 291500032 67240 1992294400 134512640 135180984 4294956208 18446744073709551615 134522714 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31882/tid=31885] ppid=31880 vsize=284668 CPUtime=50.35
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 40896 0 0 0 4944 91 0 0 19 0 4 0 96934353 291500032 67240 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 284668

[startup+102.303 s]
/proc/loadavg: 2.01 1.88 1.54 3/68 31886
/proc/meminfo: memFree=758024/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=370836 CPUtime=203.94
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 106847 0 0 0 20031 363 0 0 18 0 4 0 96934353 379736064 88921 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 92709 88921 70 163 0 92544 0
[pid=31882/tid=31883] ppid=31880 vsize=370836 CPUtime=1.5
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2134 0 0 0 36 114 0 0 16 0 4 0 96934353 379736064 88921 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=370836 CPUtime=101.27
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 55397 0 0 0 10010 117 0 0 18 0 4 0 96934353 379736064 88921 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=370836 CPUtime=101.14
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 49233 0 0 0 9984 130 0 0 17 0 4 0 96934353 379736064 88921 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 370836

[startup+162.302 s]
/proc/loadavg: 2.00 1.90 1.56 3/68 31886
/proc/meminfo: memFree=662216/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=469532 CPUtime=323.67
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 130975 0 0 0 31950 417 0 0 18 0 4 0 96934353 480800768 113049 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 117383 113049 70 163 0 117218 0
[pid=31882/tid=31883] ppid=31880 vsize=469532 CPUtime=1.63
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2153 0 0 0 39 124 0 0 15 0 4 0 96934353 480800768 113049 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=469532 CPUtime=160.97
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 67035 0 0 0 15959 138 0 0 25 0 4 0 96934353 480800768 113049 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=469532 CPUtime=161.05
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 61704 0 0 0 15951 154 0 0 25 0 4 0 96934353 480800768 113049 1992294400 134512640 135180984 4294956208 18446744073709551615 134518670 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (KiB) 469532

[startup+222.307 s]
/proc/loadavg: 2.00 1.92 1.59 3/68 31886
/proc/meminfo: memFree=567688/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=562832 CPUtime=443.41
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 154397 0 0 0 43868 473 0 0 18 0 4 0 96934353 576339968 136471 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 140708 136471 70 163 0 140543 0
[pid=31882/tid=31883] ppid=31880 vsize=562832 CPUtime=1.77
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2182 0 0 0 42 135 0 0 16 0 4 0 96934353 576339968 136471 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=562832 CPUtime=220.65
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 81351 0 0 0 21902 163 0 0 21 0 4 0 96934353 576339968 136471 1992294400 134512640 135180984 4294956208 18446744073709551615 134525217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=562832 CPUtime=220.97
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 70781 0 0 0 21923 174 0 0 16 0 4 0 96934353 576339968 136471 1992294400 134512640 135180984 4294956208 18446744073709551615 134522699 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.41
Current children cumulated vsize (KiB) 562832

[startup+282.303 s]
/proc/loadavg: 2.00 1.93 1.61 3/68 31886
/proc/meminfo: memFree=485000/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=646252 CPUtime=563.15
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 175253 0 0 0 55802 513 0 0 18 0 4 0 96934353 661762048 157327 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 161563 157327 70 163 0 161398 0
[pid=31882/tid=31883] ppid=31880 vsize=646252 CPUtime=1.83
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2191 0 0 0 43 140 0 0 15 0 4 0 96934353 661762048 157327 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=646252 CPUtime=280.39
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 93803 0 0 0 27858 181 0 0 17 0 4 0 96934353 661762048 157327 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=646252 CPUtime=280.91
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 79176 0 0 0 27900 191 0 0 25 0 4 0 96934353 661762048 157327 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.15
Current children cumulated vsize (KiB) 646252

[startup+342.303 s]
/proc/loadavg: 2.00 1.94 1.63 3/68 31886
/proc/meminfo: memFree=412552/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=717488 CPUtime=682.88
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 193134 0 0 0 67739 549 0 0 18 0 4 0 96934353 734707712 175208 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 179372 175208 70 163 0 179207 0
[pid=31882/tid=31883] ppid=31880 vsize=717488 CPUtime=1.89
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2208 0 0 0 45 144 0 0 16 0 4 0 96934353 734707712 175208 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=717488 CPUtime=340.12
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 104149 0 0 0 33815 197 0 0 25 0 4 0 96934353 734707712 175208 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=717488 CPUtime=340.85
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 86694 0 0 0 33878 207 0 0 25 0 4 0 96934353 734707712 175208 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.88
Current children cumulated vsize (KiB) 717488

[startup+402.302 s]
/proc/loadavg: 2.00 1.95 1.65 3/68 31886
/proc/meminfo: memFree=336456/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=795580 CPUtime=802.61
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 212317 0 0 0 79677 584 0 0 18 0 4 0 96934353 814673920 194391 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 198895 194391 70 163 0 198730 0
[pid=31882/tid=31883] ppid=31880 vsize=795580 CPUtime=1.92
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2210 0 0 0 45 147 0 0 15 0 4 0 96934353 814673920 194391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=795580 CPUtime=399.86
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 115129 0 0 0 39774 212 0 0 18 0 4 0 96934353 814673920 194391 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=795580 CPUtime=400.8
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 94895 0 0 0 39857 223 0 0 20 0 4 0 96934353 814673920 194391 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.61
Current children cumulated vsize (KiB) 795580

[startup+462.302 s]
/proc/loadavg: 2.05 1.97 1.67 3/68 31886
/proc/meminfo: memFree=276872/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=854464 CPUtime=922.36
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 226986 0 0 0 91621 615 0 0 18 0 4 0 96934353 874971136 209060 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 213616 209060 70 163 0 213451 0
[pid=31882/tid=31883] ppid=31880 vsize=854464 CPUtime=1.98
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2214 0 0 0 47 151 0 0 15 0 4 0 96934353 874971136 209060 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=854464 CPUtime=459.61
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 121958 0 0 0 45737 224 0 0 25 0 4 0 96934353 874971136 209060 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=854464 CPUtime=460.75
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 102731 0 0 0 45837 238 0 0 25 0 4 0 96934353 874971136 209060 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.36
Current children cumulated vsize (KiB) 854464

[startup+522.302 s]
/proc/loadavg: 2.02 1.97 1.69 3/68 31886
/proc/meminfo: memFree=228744/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=904180 CPUtime=1042.1
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 239138 0 0 0 103565 645 0 0 18 0 4 0 96934353 925880320 221212 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 226045 221212 70 163 0 225880 0
[pid=31882/tid=31883] ppid=31880 vsize=904180 CPUtime=2.02
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2223 0 0 0 48 154 0 0 16 0 4 0 96934353 925880320 221212 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31882/tid=31884] ppid=31880 vsize=904180 CPUtime=519.36
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 128723 0 0 0 51696 240 0 0 25 0 4 0 96934353 925880320 221212 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=904180 CPUtime=520.7
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 108109 0 0 0 51820 250 0 0 23 0 4 0 96934353 925880320 221212 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.1
Current children cumulated vsize (KiB) 904180

[startup+582.302 s]
/proc/loadavg: 2.00 1.97 1.71 3/68 31892
/proc/meminfo: memFree=172104/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=960588 CPUtime=1161.82
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 253110 0 0 0 115510 672 0 0 18 0 4 0 96934353 983642112 235184 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 240147 235184 70 163 0 239982 0
[pid=31882/tid=31883] ppid=31880 vsize=960588 CPUtime=2.05
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2223 0 0 0 49 156 0 0 16 0 4 0 96934353 983642112 235184 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=960588 CPUtime=579.07
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 138372 0 0 0 57652 255 0 0 25 0 4 0 96934353 983642112 235184 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=960588 CPUtime=580.68
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 112432 0 0 0 57808 260 0 0 16 0 4 0 96934353 983642112 235184 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.82
Current children cumulated vsize (KiB) 960588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.503 s]
/proc/loadavg: 2.00 1.97 1.72 3/68 31892
/proc/meminfo: memFree=157768/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=974400 CPUtime=1200.14
/proc/31882/stat : 31882 (satake) S 31880 31882 31428 0 -1 4194304 256598 0 0 0 119329 685 0 0 18 0 4 0 96934353 997785600 238672 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31882/statm: 243600 238672 70 163 0 243435 0
[pid=31882/tid=31883] ppid=31880 vsize=974400 CPUtime=2.09
/proc/31882/task/31883/stat : 31883 (satake) S 31880 31882 31428 0 -1 4194368 2237 0 0 0 50 159 0 0 16 0 4 0 96934353 997785600 238672 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31882/tid=31884] ppid=31880 vsize=974400 CPUtime=598.18
/proc/31882/task/31884/stat : 31884 (satake) R 31880 31882 31428 0 -1 4194368 140242 0 0 0 59557 261 0 0 25 0 4 0 96934353 997785600 238672 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31882/tid=31885] ppid=31880 vsize=974400 CPUtime=599.85
/proc/31882/task/31885/stat : 31885 (satake) R 31880 31882 31428 0 -1 4194368 114036 0 0 0 59722 263 0 0 20 0 4 0 96934353 997785600 238672 1992294400 134512640 135180984 4294956208 18446744073709551615 134523629 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 974400

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

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

[startup+601.613 s]
/proc/loadavg: 2.00 1.97 1.72 3/68 31892
/proc/meminfo: memFree=157768/2055920 swapFree=4192956/4192956
[pid=31882] ppid=31880 vsize=0 CPUtime=1200.25
/proc/31882/stat : 31882 (satake) Z 31880 31882 31428 0 -1 4195340 256601 0 0 0 119331 694 0 0 16 0 2 0 96934353 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/31882/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.668
CPU time (s): 1200.32
CPU user time (s): 1193.31
CPU system time (s): 7.00494
CPU usage (%): 199.498
Max. virtual memory (cumulated for all children) (KiB): 974400

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.31
system time used= 7.00493
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256601
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= 280762
involuntary context switches= 278768

runsolver used 0.510922 second user time and 1.69074 second system time

The end

Launcher Data 

Begin job on node71 at 2009-04-25 21:51:24
IDJOB=1723814
IDBENCH=71736
IDSOLVER=553
FILE ID=node71/1723814-1240689082
PBS_JOBID= 9186679
Free space on /tmp= 66440 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/velev-vliw-uns-4.0-9C1.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1723814-1240689082/watcher-1723814-1240689082 -o /tmp/evaluation-result-1723814-1240689082/solver-1723814-1240689082 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723814-1240689082.cnf 3 1200

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

MD5SUM BENCH= 0c9a15d0f561e9d1bb438b04ae3c31af
RANDOM SEED=1854464001

node71.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.236
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.236
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:       1114112 kB
Buffers:         90276 kB
Cached:         752108 kB
SwapCached:          0 kB
Active:         312268 kB
Inactive:       543988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1114112 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           36812 kB
Writeback:           0 kB
Mapped:          23636 kB
Slab:            71560 kB
Committed_AS:   243260 kB
PageTables:       1436 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= 66440 MiB
End job on node71 at 2009-04-25 22:01:27