Trace number 1543675

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.08 632.86

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
MD5SUMb337f0a085d20c5033cb313ec673bed5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.86241
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of clauses5785
Sum of the clauses size40495
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55785

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543675-1238494235/watcher-1543675-1238494235 -o /tmp/evaluation-result-1543675-1238494235/solver-1543675-1238494235 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543675-1238494235.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: 2.29 2.29 1.94 3/64 23193
/proc/meminfo: memFree=1435488/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=1460 CPUtime=0
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 4 0 888014953 1495040 212 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 365 212 65 163 0 200 0
[pid=23193/tid=23194] ppid=23191 vsize=1460 CPUtime=0
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 888014953 1495040 212 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=1460 CPUtime=0
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 66 0 0 0 0 0 0 0 19 0 4 0 888014953 1495040 212 1992294400 134512640 135180984 4294956208 18446744073709551615 134513985 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=1460 CPUtime=0
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 71 0 0 0 0 0 0 0 19 0 4 0 888014953 1495040 212 1992294400 134512640 135180984 4294956208 18446744073709551615 134513762 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0721091 s]
/proc/loadavg: 2.29 2.29 1.94 3/64 23193
/proc/meminfo: memFree=1435488/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=3868 CPUtime=0.11
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 418 0 0 0 9 2 0 0 18 0 4 0 888014953 3960832 329 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 967 329 70 163 0 802 0
[pid=23193/tid=23194] ppid=23191 vsize=3868 CPUtime=0
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 4 0 888014953 3960832 329 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=3868 CPUtime=0.04
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 148 0 0 0 4 0 0 0 17 0 4 0 888014953 3960832 329 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=3868 CPUtime=0.04
/proc/23193/task/23196/stat : 23196 (satake) S 23191 23193 23119 0 -1 4194368 172 0 0 0 4 0 0 0 17 0 4 0 888014953 3960832 329 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 3868

[startup+0.102114 s]
/proc/loadavg: 2.29 2.29 1.94 3/64 23193
/proc/meminfo: memFree=1435488/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=3868 CPUtime=0.16
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 437 0 0 0 13 3 0 0 18 0 4 0 888014953 3960832 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 967 348 70 163 0 802 0
[pid=23193/tid=23194] ppid=23191 vsize=3868 CPUtime=0.01
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 19 0 0 0 0 1 0 0 18 0 4 0 888014953 3960832 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=3868 CPUtime=0.07
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 155 0 0 0 6 1 0 0 17 0 4 0 888014953 3960832 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=3868 CPUtime=0.06
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 180 0 0 0 6 0 0 0 17 0 4 0 888014953 3960832 348 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 3868

[startup+0.302144 s]
/proc/loadavg: 2.29 2.29 1.94 3/64 23193
/proc/meminfo: memFree=1435488/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=4132 CPUtime=0.5
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 555 0 0 0 36 14 0 0 18 0 4 0 888014953 4231168 466 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 1033 466 70 163 0 868 0
[pid=23193/tid=23194] ppid=23191 vsize=4132 CPUtime=0.1
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 48 0 0 0 2 8 0 0 18 0 4 0 888014953 4231168 466 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=4132 CPUtime=0.21
/proc/23193/task/23195/stat : 23195 (satake) S 23191 23193 23119 0 -1 4194368 199 0 0 0 18 3 0 0 17 0 4 0 888014953 4231168 466 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=4132 CPUtime=0.18
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 225 0 0 0 16 2 0 0 17 0 4 0 888014953 4231168 466 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4132

[startup+0.701203 s]
/proc/loadavg: 2.29 2.29 1.94 3/64 23193
/proc/meminfo: memFree=1435488/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=4528 CPUtime=1.26
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 691 0 0 0 91 35 0 0 18 0 4 0 888014953 4636672 602 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 1132 602 70 163 0 967 0
[pid=23193/tid=23194] ppid=23191 vsize=4528 CPUtime=0.23
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 91 0 0 0 5 18 0 0 17 0 4 0 888014953 4636672 602 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23193/tid=23195] ppid=23191 vsize=4528 CPUtime=0.5
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 246 0 0 0 42 8 0 0 17 0 4 0 888014953 4636672 602 1992294400 134512640 135180984 4294956208 18446744073709551615 134579330 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=4528 CPUtime=0.51
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 271 0 0 0 43 8 0 0 15 0 4 0 888014953 4636672 602 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 4528

[startup+1.50151 s]
/proc/loadavg: 2.29 2.29 1.94 3/68 23197
/proc/meminfo: memFree=1433088/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=4812 CPUtime=2.74
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 876 0 0 0 198 76 0 0 18 0 4 0 888014953 4927488 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 1203 787 70 163 0 1038 0
[pid=23193/tid=23194] ppid=23191 vsize=4812 CPUtime=0.47
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 188 0 0 0 10 37 0 0 16 0 4 0 888014953 4927488 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=4812 CPUtime=1.1
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 301 0 0 0 91 19 0 0 16 0 4 0 888014953 4927488 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=4812 CPUtime=1.14
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 304 0 0 0 96 18 0 0 16 0 4 0 888014953 4927488 787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 4812

[startup+3.10175 s]
/proc/loadavg: 2.29 2.29 1.94 3/68 23197
/proc/meminfo: memFree=1432000/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=5972 CPUtime=5.65
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 1148 0 0 0 397 168 0 0 18 0 4 0 888014953 6115328 1059 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 1493 1059 70 163 0 1328 0
[pid=23193/tid=23194] ppid=23191 vsize=5972 CPUtime=1.03
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 385 0 0 0 22 81 0 0 15 0 4 0 888014953 6115328 1059 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=5972 CPUtime=2.26
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 333 0 0 0 183 43 0 0 16 0 4 0 888014953 6115328 1059 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=5972 CPUtime=2.33
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 347 0 0 0 190 43 0 0 16 0 4 0 888014953 6115328 1059 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 5972

[startup+6.30222 s]
/proc/loadavg: 2.27 2.29 1.94 3/68 23197
/proc/meminfo: memFree=1429760/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=8344 CPUtime=11.48
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 1684 0 0 0 773 375 0 0 18 0 4 0 888014953 8544256 1595 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 2086 1595 70 163 0 1921 0
[pid=23193/tid=23194] ppid=23191 vsize=8344 CPUtime=2.3
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 773 0 0 0 50 180 0 0 15 0 4 0 888014953 8544256 1595 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=8344 CPUtime=4.54
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 427 0 0 0 357 97 0 0 16 0 4 0 888014953 8544256 1595 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=8344 CPUtime=4.62
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 401 0 0 0 365 97 0 0 16 0 4 0 888014953 8544256 1595 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.48
Current children cumulated vsize (KiB) 8344

[startup+12.702 s]
/proc/loadavg: 2.33 2.30 1.94 4/68 23197
/proc/meminfo: memFree=1425472/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=12344 CPUtime=23.16
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 2651 0 0 0 1557 759 0 0 18 0 4 0 888014953 12640256 2562 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 3086 2562 70 163 0 2921 0
[pid=23193/tid=23194] ppid=23191 vsize=12344 CPUtime=4.7
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 1597 0 0 0 103 367 0 0 16 0 4 0 888014953 12640256 2562 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=12344 CPUtime=9.15
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 541 0 0 0 721 194 0 0 17 0 4 0 888014953 12640256 2562 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=12344 CPUtime=9.29
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 430 0 0 0 732 197 0 0 16 0 4 0 888014953 12640256 2562 1992294400 134512640 135180984 4294956208 18446744073709551615 134520719 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.16
Current children cumulated vsize (KiB) 12344

[startup+25.501 s]
/proc/loadavg: 2.40 2.32 1.95 3/68 23197
/proc/meminfo: memFree=1418688/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=20580 CPUtime=46.91
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 4299 0 0 0 3229 1462 0 0 18 0 4 0 888014953 21073920 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 5145 4210 70 163 0 4980 0
[pid=23193/tid=23194] ppid=23191 vsize=20580 CPUtime=9.07
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 2935 0 0 0 196 711 0 0 16 0 4 0 888014953 21073920 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=20580 CPUtime=18.89
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 705 0 0 0 1514 375 0 0 16 0 4 0 888014953 21073920 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=20580 CPUtime=18.92
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 576 0 0 0 1518 374 0 0 15 0 4 0 888014953 21073920 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134537951 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.91
Current children cumulated vsize (KiB) 20580

[startup+51.1027 s]
/proc/loadavg: 2.47 2.34 1.97 4/68 23197
/proc/meminfo: memFree=1406720/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=36016 CPUtime=94.49
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 7314 0 0 0 6513 2936 0 0 18 0 4 0 888014953 36880384 7225 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 9004 7225 70 163 0 8839 0
[pid=23193/tid=23194] ppid=23191 vsize=36016 CPUtime=18.14
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 5220 0 0 0 380 1434 0 0 16 0 4 0 888014953 36880384 7225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=36016 CPUtime=38
/proc/23193/task/23195/stat : 23195 (satake) S 23191 23193 23119 0 -1 4194368 1063 0 0 0 3060 740 0 0 15 0 4 0 888014953 36880384 7225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=36016 CPUtime=38.32
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 948 0 0 0 3072 760 0 0 15 0 4 0 888014953 36880384 7225 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 94.49
Current children cumulated vsize (KiB) 36016

[startup+102.305 s]
/proc/loadavg: 2.55 2.38 2.00 3/68 23197
/proc/meminfo: memFree=1382656/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=63808 CPUtime=190.58
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 13239 0 0 0 13258 5800 0 0 18 0 4 0 888014953 65339392 13150 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 15952 13150 70 163 0 15787 0
[pid=23193/tid=23194] ppid=23191 vsize=63808 CPUtime=35.98
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 9225 0 0 0 758 2840 0 0 15 0 4 0 888014953 65339392 13150 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=63808 CPUtime=76.95
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 1933 0 0 0 6233 1462 0 0 17 0 4 0 888014953 65339392 13150 1992294400 134512640 135180984 4294956208 18446744073709551615 134528711 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=63808 CPUtime=77.64
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 1998 0 0 0 6267 1497 0 0 15 0 4 0 888014953 65339392 13150 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 190.58
Current children cumulated vsize (KiB) 63808

[startup+162.301 s]
/proc/loadavg: 2.38 2.35 2.01 3/68 23197
/proc/meminfo: memFree=1356416/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=96084 CPUtime=303.83
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 19861 0 0 0 21248 9135 0 0 18 0 4 0 888014953 98390016 19772 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 24021 19772 70 163 0 23856 0
[pid=23193/tid=23194] ppid=23191 vsize=96084 CPUtime=56.47
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 13344 0 0 0 1191 4456 0 0 15 0 4 0 888014953 98390016 19772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=96084 CPUtime=123.15
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 3373 0 0 0 10003 2312 0 0 16 0 4 0 888014953 98390016 19772 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=96084 CPUtime=124.17
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 3061 0 0 0 10052 2365 0 0 17 0 4 0 888014953 98390016 19772 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 303.83
Current children cumulated vsize (KiB) 96084

[startup+222.303 s]
/proc/loadavg: 2.27 2.33 2.02 3/68 23197
/proc/meminfo: memFree=1330944/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=127204 CPUtime=417.68
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 26140 0 0 0 29435 12333 0 0 18 0 4 0 888014953 130256896 26051 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 31801 26051 70 163 0 31636 0
[pid=23193/tid=23194] ppid=23191 vsize=127204 CPUtime=75.99
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 17151 0 0 0 1600 5999 0 0 16 0 4 0 888014953 130256896 26051 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23195] ppid=23191 vsize=127204 CPUtime=169.93
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 4271 0 0 0 13865 3128 0 0 16 0 4 0 888014953 130256896 26051 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=127204 CPUtime=171.73
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 4635 0 0 0 13968 3205 0 0 15 0 4 0 888014953 130256896 26051 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 417.68
Current children cumulated vsize (KiB) 127204

[startup+282.302 s]
/proc/loadavg: 2.39 2.36 2.05 3/68 23197
/proc/meminfo: memFree=1306688/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=155052 CPUtime=531.65
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 32257 0 0 0 37558 15607 0 0 18 0 4 0 888014953 158773248 32168 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 38763 32168 70 163 0 38598 0
[pid=23193/tid=23194] ppid=23191 vsize=155052 CPUtime=95.82
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 20959 0 0 0 2011 7571 0 0 15 0 4 0 888014953 158773248 32168 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=155052 CPUtime=216.99
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 5313 0 0 0 17715 3984 0 0 17 0 4 0 888014953 158773248 32168 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=155052 CPUtime=218.83
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 5902 0 0 0 17832 4051 0 0 16 0 4 0 888014953 158773248 32168 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 531.65
Current children cumulated vsize (KiB) 155052

[startup+342.303 s]
/proc/loadavg: 2.59 2.42 2.09 4/68 23197
/proc/meminfo: memFree=1282048/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=185484 CPUtime=646.16
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 38319 0 0 0 45852 18764 0 0 18 0 4 0 888014953 189935616 38230 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 46371 38230 70 163 0 46206 0
[pid=23193/tid=23194] ppid=23191 vsize=185484 CPUtime=115.16
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 24505 0 0 0 2421 9095 0 0 15 0 4 0 888014953 189935616 38230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=185484 CPUtime=264.59
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 6661 0 0 0 21664 4795 0 0 16 0 4 0 888014953 189935616 38230 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=185484 CPUtime=266.4
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 7070 0 0 0 21766 4874 0 0 16 0 4 0 888014953 189935616 38230 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 646.16
Current children cumulated vsize (KiB) 185484

[startup+402.302 s]
/proc/loadavg: 2.43 2.42 2.11 3/68 23197
/proc/meminfo: memFree=1256192/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=211844 CPUtime=760.01
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 44831 0 0 0 53773 22228 0 0 18 0 4 0 888014953 216928256 44742 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 52961 44742 70 163 0 52796 0
[pid=23193/tid=23194] ppid=23191 vsize=211844 CPUtime=136.23
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 28719 0 0 0 2854 10769 0 0 16 0 4 0 888014953 216928256 44742 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=211844 CPUtime=310.95
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 7990 0 0 0 25410 5685 0 0 15 0 4 0 888014953 216928256 44742 1992294400 134512640 135180984 4294956208 18446744073709551615 134525201 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=211844 CPUtime=312.81
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 8039 0 0 0 25508 5773 0 0 15 0 4 0 888014953 216928256 44742 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.01
Current children cumulated vsize (KiB) 211844

[startup+462.301 s]
/proc/loadavg: 2.45 2.43 2.13 4/68 23197
/proc/meminfo: memFree=1231680/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=247844 CPUtime=874.46
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 50901 0 0 0 62046 25400 0 0 18 0 4 0 888014953 253792256 50812 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 61961 50812 70 163 0 61796 0
[pid=23193/tid=23194] ppid=23191 vsize=247844 CPUtime=155.5
/proc/23193/task/23194/stat : 23194 (satake) S 23191 23193 23119 0 -1 4194368 32790 0 0 0 3254 12296 0 0 16 0 4 0 888014953 253792256 50812 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=247844 CPUtime=358.42
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 8815 0 0 0 29326 6516 0 0 15 0 4 0 888014953 253792256 50812 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=247844 CPUtime=360.5
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 9213 0 0 0 29464 6586 0 0 16 0 4 0 888014953 253792256 50812 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 874.46
Current children cumulated vsize (KiB) 247844

[startup+522.302 s]
/proc/loadavg: 2.48 2.44 2.15 3/68 23197
/proc/meminfo: memFree=1206912/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=277192 CPUtime=989.41
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 57128 0 0 0 70295 28646 0 0 18 0 4 0 888014953 283844608 57039 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 69298 57039 70 163 0 69133 0
[pid=23193/tid=23194] ppid=23191 vsize=277192 CPUtime=175.45
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 36390 0 0 0 3675 13870 0 0 16 0 4 0 888014953 283844608 57039 1992294400 134512640 135180984 4294956208 18446744073709551615 134579330 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=277192 CPUtime=405.82
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 10126 0 0 0 33228 7354 0 0 17 0 4 0 888014953 283844608 57039 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=277192 CPUtime=408.11
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 10529 0 0 0 33391 7420 0 0 16 0 4 0 888014953 283844608 57039 1992294400 134512640 135180984 4294956208 18446744073709551615 134523937 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 989.41
Current children cumulated vsize (KiB) 277192

[startup+582.303 s]
/proc/loadavg: 2.45 2.43 2.16 4/68 23197
/proc/meminfo: memFree=1181632/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=303100 CPUtime=1103.9
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 63376 0 0 0 78443 31947 0 0 18 0 4 0 888014953 310374400 63287 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 75775 63287 70 163 0 75610 0
[pid=23193/tid=23194] ppid=23191 vsize=303100 CPUtime=195.51
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 40186 0 0 0 4090 15461 0 0 15 0 4 0 888014953 310374400 63287 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=303100 CPUtime=453.09
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 10981 0 0 0 37090 8219 0 0 16 0 4 0 888014953 310374400 63287 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23193/tid=23196] ppid=23191 vsize=303100 CPUtime=455.28
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 12126 0 0 0 37262 8266 0 0 16 0 4 0 888014953 310374400 63287 1992294400 134512640 135180984 4294956208 18446744073709551615 134528731 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1103.9
Current children cumulated vsize (KiB) 303100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+632.801 s]
/proc/loadavg: 2.40 2.41 2.17 4/68 23197
/proc/meminfo: memFree=1160704/2055920 swapFree=4178260/4192956
[pid=23193] ppid=23191 vsize=328656 CPUtime=1200.01
/proc/23193/stat : 23193 (satake) S 23191 23193 23119 0 -1 4194304 68555 0 0 0 85203 34798 0 0 18 0 4 0 888014953 336543744 68466 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23193/statm: 82164 68466 70 163 0 81999 0
[pid=23193/tid=23194] ppid=23191 vsize=328656 CPUtime=212.81
/proc/23193/task/23194/stat : 23194 (satake) R 23191 23193 23119 0 -1 4194368 43912 0 0 0 4445 16836 0 0 16 0 4 0 888014953 336543744 68466 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23195] ppid=23191 vsize=328656 CPUtime=492.12
/proc/23193/task/23195/stat : 23195 (satake) R 23191 23193 23119 0 -1 4194368 11765 0 0 0 40256 8956 0 0 15 0 4 0 888014953 336543744 68466 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23193/tid=23196] ppid=23191 vsize=328656 CPUtime=495.05
/proc/23193/task/23196/stat : 23196 (satake) R 23191 23193 23119 0 -1 4194368 12795 0 0 0 40500 9005 0 0 16 0 4 0 888014953 336543744 68466 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 328656

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): 632.86
CPU time (s): 1200.08
CPU user time (s): 852.048
CPU system time (s): 348.036
CPU usage (%): 189.629
Max. virtual memory (cumulated for all children) (KiB): 328656

deleting IPC queue 1048576
deleting IPC queue 1081345
deleting IPC queue 1114114
deleting IPC queue 1146883
deleting IPC queue 1179652
deleting IPC queue 1212421
deleting IPC queue 1245190
deleting IPC queue 1277959
deleting IPC queue 1310728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 852.047
system time used= 348.036
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68555
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= 14171649
involuntary context switches= 13116097

runsolver used 0.709892 second user time and 1.79873 second system time

The end

Launcher Data 

Begin job on node39 at 2009-03-31 12:10:35
IDJOB=1543675
IDBENCH=70516
IDSOLVER=553
FILE ID=node39/1543675-1238494235
PBS_JOBID= 9061930
Free space on /tmp= 66252 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/65/unif-k7-r89-v65-c5785-S432895007-058.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543675-1238494235/watcher-1543675-1238494235 -o /tmp/evaluation-result-1543675-1238494235/solver-1543675-1238494235 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543675-1238494235.cnf 3 1200

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

MD5SUM BENCH= b337f0a085d20c5033cb313ec673bed5
RANDOM SEED=2037990785

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.285
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.285
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:       1435904 kB
Buffers:         85252 kB
Cached:         440516 kB
SwapCached:       8168 kB
Active:         180888 kB
Inactive:       354868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435904 kB
SwapTotal:     4192956 kB
SwapFree:      4178260 kB
Dirty:             896 kB
Writeback:           0 kB
Mapped:          16736 kB
Slab:            70564 kB
Committed_AS:  2383360 kB
PageTables:       1188 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= 66252 MiB
End job on node39 at 2009-03-31 12:21:10