Trace number 1561308

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22? (TO) 1200.14 602.423

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
MD5SUMd839e5ec929f609c698ac596e6e9f69b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.026995
Satisfiable
(Un)Satisfiability was proved
Number of variables1617
Number of clauses14513
Sum of the clauses size47145
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23056
Number of clauses of size 38550
Number of clauses of size 4932
Number of clauses of size 51825
Number of clauses of size over 5150

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-1561308-1238764785/watcher-1561308-1238764785 -o /tmp/evaluation-result-1561308-1238764785/solver-1561308-1238764785 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1561308-1238764785.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/74 13639
/proc/meminfo: memFree=1800696/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=1688 CPUtime=0
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 4 0 1149139622 1728512 240 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 422 240 65 163 0 257 0
[pid=13639/tid=13640] ppid=13637 vsize=1688 CPUtime=0
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1149139622 1728512 241 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=1688 CPUtime=0
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 167 0 0 0 0 0 0 0 19 0 4 0 1149139622 1728512 242 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=1688 CPUtime=0
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1149139622 1728512 242 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0314539 s]
/proc/loadavg: 1.00 1.00 1.00 3/74 13639
/proc/meminfo: memFree=1800696/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=4044 CPUtime=0.04
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 687 0 0 0 4 0 0 0 18 0 4 0 1149139622 4141056 536 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 1011 536 70 163 0 846 0
[pid=13639/tid=13640] ppid=13637 vsize=4044 CPUtime=0
/proc/13639/task/13640/stat : 13640 (satake) R 13637 13639 12572 0 -1 4194368 38 0 0 0 0 0 0 0 19 0 4 0 1149139622 4141056 536 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=4044 CPUtime=0.02
/proc/13639/task/13641/stat : 13641 (satake) S 13637 13639 12572 0 -1 4194368 260 0 0 0 2 0 0 0 17 0 4 0 1149139622 4141056 536 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=4044 CPUtime=0.01
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 306 0 0 0 1 0 0 0 17 0 4 0 1149139622 4141056 536 1992294400 134512640 135180984 4294956208 18446744073709551615 134528775 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4044

[startup+0.107437 s]
/proc/loadavg: 1.00 1.00 1.00 3/74 13639
/proc/meminfo: memFree=1800696/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=4176 CPUtime=0.17
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 748 0 0 0 12 5 0 0 18 0 4 0 1149139622 4276224 597 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 1044 597 70 163 0 879 0
[pid=13639/tid=13640] ppid=13637 vsize=4176 CPUtime=0.02
/proc/13639/task/13640/stat : 13640 (satake) R 13637 13639 12572 0 -1 4194368 47 0 0 0 0 2 0 0 16 0 4 0 1149139622 4276224 597 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=4176 CPUtime=0.07
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 286 0 0 0 6 1 0 0 16 0 4 0 1149139622 4276224 597 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=4176 CPUtime=0.05
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 332 0 0 0 4 1 0 0 17 0 4 0 1149139622 4276224 597 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 4176

[startup+0.302496 s]
/proc/loadavg: 1.00 1.00 1.00 3/74 13639
/proc/meminfo: memFree=1800696/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=5596 CPUtime=0.53
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 953 0 0 0 40 13 0 0 18 0 4 0 1149139622 5730304 802 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 1399 802 70 163 0 1234 0
[pid=13639/tid=13640] ppid=13637 vsize=5596 CPUtime=0.07
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 68 0 0 0 1 6 0 0 17 0 4 0 1149139622 5730304 802 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=5596 CPUtime=0.22
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 370 0 0 0 19 3 0 0 17 0 4 0 1149139622 5730304 802 1992294400 134512640 135180984 4294956208 18446744073709551615 134562571 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=5596 CPUtime=0.2
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 432 0 0 0 18 2 0 0 16 0 4 0 1149139622 5730304 802 1992294400 134512640 135180984 4294956208 18446744073709551615 134523660 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 5596

[startup+0.702567 s]
/proc/loadavg: 1.00 1.00 1.00 3/74 13639
/proc/meminfo: memFree=1800696/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=6256 CPUtime=1.24
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 1266 0 0 0 90 34 0 0 18 0 4 0 1149139622 6406144 1115 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 1564 1115 70 163 0 1399 0
[pid=13639/tid=13640] ppid=13637 vsize=6256 CPUtime=0.2
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 116 0 0 0 4 16 0 0 17 0 4 0 1149139622 6406144 1115 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=6256 CPUtime=0.53
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 497 0 0 0 44 9 0 0 16 0 4 0 1149139622 6406144 1115 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=6256 CPUtime=0.49
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 570 0 0 0 41 8 0 0 17 0 4 0 1149139622 6406144 1115 1992294400 134512640 135180984 4294956208 18446744073709551615 134528711 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 6256

[startup+1.50251 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 13643
/proc/meminfo: memFree=1795352/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=8512 CPUtime=2.76
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 1880 0 0 0 215 61 0 0 18 0 4 0 1149139622 8716288 1729 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 2128 1729 70 163 0 1963 0
[pid=13639/tid=13640] ppid=13637 vsize=8512 CPUtime=0.36
/proc/13639/task/13640/stat : 13640 (satake) R 13637 13639 12572 0 -1 4194368 180 0 0 0 8 28 0 0 17 0 4 0 1149139622 8716288 1729 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=8512 CPUtime=1.22
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 771 0 0 0 106 16 0 0 16 0 4 0 1149139622 8716288 1729 1992294400 134512640 135180984 4294956208 18446744073709551615 134527266 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=8512 CPUtime=1.15
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 846 0 0 0 100 15 0 0 17 0 4 0 1149139622 8716288 1729 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 8512

[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 13643
/proc/meminfo: memFree=1792984/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=10460 CPUtime=5.89
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 2422 0 0 0 482 107 0 0 18 0 4 0 1149139622 10711040 2271 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 2615 2271 70 163 0 2450 0
[pid=13639/tid=13640] ppid=13637 vsize=10460 CPUtime=0.63
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 265 0 0 0 14 49 0 0 16 0 4 0 1149139622 10711040 2271 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=10460 CPUtime=2.63
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 997 0 0 0 235 28 0 0 16 0 4 0 1149139622 10711040 2271 1992294400 134512640 135180984 4294956208 18446744073709551615 134528954 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=10460 CPUtime=2.6
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 1077 0 0 0 232 28 0 0 16 0 4 0 1149139622 10711040 2271 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 10460

[startup+6.30233 s]
/proc/loadavg: 1.08 1.02 1.01 3/78 13643
/proc/meminfo: memFree=1789656/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=13300 CPUtime=12.2
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 2919 0 0 0 1035 185 0 0 18 0 4 0 1149139622 13619200 2768 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 3325 2768 70 163 0 3160 0
[pid=13639/tid=13640] ppid=13637 vsize=13300 CPUtime=1.06
/proc/13639/task/13640/stat : 13640 (satake) R 13637 13639 12572 0 -1 4194368 415 0 0 0 23 83 0 0 16 0 4 0 1149139622 13619200 2768 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=13300 CPUtime=5.59
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 1170 0 0 0 509 50 0 0 17 0 4 0 1149139622 13619200 2768 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=13300 CPUtime=5.52
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 1251 0 0 0 502 50 0 0 17 0 4 0 1149139622 13619200 2768 1992294400 134512640 135180984 4294956208 18446744073709551615 134518216 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 13300

[startup+12.7016 s]
/proc/loadavg: 1.15 1.03 1.01 4/78 13643
/proc/meminfo: memFree=1786656/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=16800 CPUtime=24.9
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 3783 0 0 0 2204 286 0 0 18 0 4 0 1149139622 17203200 3632 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 4200 3632 70 163 0 4035 0
[pid=13639/tid=13640] ppid=13637 vsize=16800 CPUtime=1.65
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 596 0 0 0 35 130 0 0 16 0 4 0 1149139622 17203200 3632 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=16800 CPUtime=11.66
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 1517 0 0 0 1088 78 0 0 17 0 4 0 1149139622 17203200 3632 1992294400 134512640 135180984 4294956208 18446744073709551615 134519101 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=16800 CPUtime=11.57
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 1587 0 0 0 1080 77 0 0 17 0 4 0 1149139622 17203200 3632 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 16800

[startup+25.5028 s]
/proc/loadavg: 1.42 1.10 1.03 3/78 13643
/proc/meminfo: memFree=1782432/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=19916 CPUtime=50.37
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 4673 0 0 0 4638 399 0 0 18 0 4 0 1149139622 20393984 4522 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 4979 4522 70 163 0 4814 0
[pid=13639/tid=13640] ppid=13637 vsize=19916 CPUtime=2.34
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 816 0 0 0 49 185 0 0 16 0 4 0 1149139622 20393984 4522 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=19916 CPUtime=24.02
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 1764 0 0 0 2294 108 0 0 16 0 4 0 1149139622 20393984 4522 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=19916 CPUtime=23.98
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 2010 0 0 0 2293 105 0 0 17 0 4 0 1149139622 20393984 4522 1992294400 134512640 135180984 4294956208 18446744073709551615 134518735 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 19916

[startup+51.1019 s]
/proc/loadavg: 1.62 1.17 1.05 3/78 13643
/proc/meminfo: memFree=1777248/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=25540 CPUtime=101.33
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 6008 0 0 0 9557 576 0 0 18 0 4 0 1149139622 26152960 5857 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 6385 5857 70 163 0 6220 0
[pid=13639/tid=13640] ppid=13637 vsize=25540 CPUtime=3.41
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 1138 0 0 0 74 267 0 0 16 0 4 0 1149139622 26152960 5857 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=25540 CPUtime=49.05
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 2342 0 0 0 4750 155 0 0 22 0 4 0 1149139622 26152960 5857 1992294400 134512640 135180984 4294956208 18446744073709551615 134525473 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=25540 CPUtime=48.85
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 2445 0 0 0 4732 153 0 0 20 0 4 0 1149139622 26152960 5857 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 25540

[startup+102.308 s]
/proc/loadavg: 1.83 1.29 1.10 3/78 13643
/proc/meminfo: memFree=1771488/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=30808 CPUtime=203.35
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 7374 0 0 0 19526 809 0 0 18 0 4 0 1149139622 31547392 7223 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 7702 7223 70 163 0 7537 0
[pid=13639/tid=13640] ppid=13637 vsize=30808 CPUtime=4.77
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 1552 0 0 0 101 376 0 0 16 0 4 0 1149139622 31547392 7223 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=30808 CPUtime=99.32
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 2700 0 0 0 9712 220 0 0 17 0 4 0 1149139622 31547392 7223 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=30808 CPUtime=99.23
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 3039 0 0 0 9712 211 0 0 18 0 4 0 1149139622 31547392 7223 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.35
Current children cumulated vsize (KiB) 30808

[startup+162.302 s]
/proc/loadavg: 1.94 1.42 1.16 3/78 13643
/proc/meminfo: memFree=1766112/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=35844 CPUtime=322.8
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 8699 0 0 0 31130 1150 0 0 18 0 4 0 1149139622 36704256 8548 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 8961 8548 70 163 0 8796 0
[pid=13639/tid=13640] ppid=13637 vsize=35844 CPUtime=6.84
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 2078 0 0 0 150 534 0 0 16 0 4 0 1149139622 36704256 8548 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=35844 CPUtime=158.03
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 3070 0 0 0 15489 314 0 0 17 0 4 0 1149139622 36704256 8548 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=35844 CPUtime=157.9
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 3468 0 0 0 15490 300 0 0 21 0 4 0 1149139622 36704256 8548 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 322.8
Current children cumulated vsize (KiB) 35844

[startup+222.301 s]
/proc/loadavg: 2.01 1.54 1.21 3/78 13643
/proc/meminfo: memFree=1760672/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=41992 CPUtime=442.38
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 10064 0 0 0 42849 1389 0 0 18 0 4 0 1149139622 42999808 9913 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 10498 9913 70 163 0 10333 0
[pid=13639/tid=13640] ppid=13637 vsize=41992 CPUtime=8.23
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 2459 0 0 0 179 644 0 0 16 0 4 0 1149139622 42999808 9913 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=41992 CPUtime=217.13
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 3488 0 0 0 21335 378 0 0 17 0 4 0 1149139622 42999808 9913 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=41992 CPUtime=217
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 4034 0 0 0 21334 366 0 0 21 0 4 0 1149139622 42999808 9913 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.38
Current children cumulated vsize (KiB) 41992

[startup+282.301 s]
/proc/loadavg: 2.08 1.64 1.26 3/78 13643
/proc/meminfo: memFree=1757472/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=45516 CPUtime=561.95
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 10834 0 0 0 54608 1587 0 0 18 0 4 0 1149139622 46608384 10683 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 11379 10683 70 163 0 11214 0
[pid=13639/tid=13640] ppid=13637 vsize=45516 CPUtime=9.43
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 2653 0 0 0 207 736 0 0 16 0 4 0 1149139622 46608384 10683 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=45516 CPUtime=276.33
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 4010 0 0 0 27202 431 0 0 17 0 4 0 1149139622 46608384 10683 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=45516 CPUtime=276.17
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 4088 0 0 0 27198 419 0 0 19 0 4 0 1149139622 46608384 10683 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 561.95
Current children cumulated vsize (KiB) 45516

[startup+342.302 s]
/proc/loadavg: 2.03 1.70 1.30 4/78 13643
/proc/meminfo: memFree=1753056/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=49664 CPUtime=681.56
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 11956 0 0 0 66338 1818 0 0 18 0 4 0 1149139622 50855936 11805 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 12416 11805 70 163 0 12251 0
[pid=13639/tid=13640] ppid=13637 vsize=49664 CPUtime=10.8
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 3046 0 0 0 238 842 0 0 16 0 4 0 1149139622 50855936 11805 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=49664 CPUtime=335.57
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 4293 0 0 0 33061 496 0 0 18 0 4 0 1149139622 50855936 11805 1992294400 134512640 135180984 4294956208 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=49664 CPUtime=335.17
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 4534 0 0 0 33038 479 0 0 19 0 4 0 1149139622 50855936 11805 1992294400 134512640 135180984 4294956208 18446744073709551615 134528524 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 681.56
Current children cumulated vsize (KiB) 49664

[startup+402.302 s]
/proc/loadavg: 2.01 1.75 1.35 3/78 13643
/proc/meminfo: memFree=1750752/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=52872 CPUtime=801.16
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 12507 0 0 0 78070 2046 0 0 18 0 4 0 1149139622 54140928 12356 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 13218 12356 70 163 0 13053 0
[pid=13639/tid=13640] ppid=13637 vsize=52872 CPUtime=12.18
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 3377 0 0 0 268 950 0 0 16 0 4 0 1149139622 54140928 12356 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=52872 CPUtime=394.65
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 4399 0 0 0 38917 548 0 0 21 0 4 0 1149139622 54140928 12356 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13639/tid=13642] ppid=13637 vsize=52872 CPUtime=394.31
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 4648 0 0 0 38884 547 0 0 17 0 4 0 1149139622 54140928 12356 1992294400 134512640 135180984 4294956208 18446744073709551615 134528565 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.16
Current children cumulated vsize (KiB) 52872

[startup+462.302 s]
/proc/loadavg: 2.00 1.79 1.38 3/78 13643
/proc/meminfo: memFree=1746272/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=57060 CPUtime=920.77
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 13601 0 0 0 89844 2233 0 0 18 0 4 0 1149139622 58429440 13450 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 14265 13450 70 163 0 14100 0
[pid=13639/tid=13640] ppid=13637 vsize=57060 CPUtime=13.25
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 3581 0 0 0 292 1033 0 0 16 0 4 0 1149139622 58429440 13450 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=57060 CPUtime=453.94
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 5002 0 0 0 44794 600 0 0 25 0 4 0 1149139622 58429440 13450 1992294400 134512640 135180984 4294956208 18446744073709551615 134528540 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=57060 CPUtime=453.55
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 4935 0 0 0 44757 598 0 0 22 0 4 0 1149139622 58429440 13450 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 920.77
Current children cumulated vsize (KiB) 57060

[startup+522.302 s]
/proc/loadavg: 2.00 1.83 1.42 3/78 13643
/proc/meminfo: memFree=1743648/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=59108 CPUtime=1040.4
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 14263 0 0 0 101626 2414 0 0 18 0 4 0 1149139622 60526592 14112 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 14777 14112 70 163 0 14612 0
[pid=13639/tid=13640] ppid=13637 vsize=59108 CPUtime=14.29
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 3751 0 0 0 316 1113 0 0 16 0 4 0 1149139622 60526592 14112 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13639/tid=13641] ppid=13637 vsize=59108 CPUtime=513.23
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 5143 0 0 0 50679 644 0 0 16 0 4 0 1149139622 60526592 14112 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=59108 CPUtime=512.86
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 5286 0 0 0 50630 656 0 0 17 0 4 0 1149139622 60526592 14112 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1040.4
Current children cumulated vsize (KiB) 59108

[startup+582.301 s]
/proc/loadavg: 2.00 1.86 1.45 3/78 13643
/proc/meminfo: memFree=1742944/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=60772 CPUtime=1160.02
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 14432 0 0 0 113429 2573 0 0 18 0 4 0 1149139622 62230528 14281 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 15193 14281 70 163 0 15028 0
[pid=13639/tid=13640] ppid=13637 vsize=60772 CPUtime=15.2
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 3914 0 0 0 338 1182 0 0 15 0 4 0 1149139622 62230528 14281 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=60772 CPUtime=572.66
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 5145 0 0 0 56581 685 0 0 17 0 4 0 1149139622 62230528 14281 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=60772 CPUtime=572.14
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 5290 0 0 0 56509 705 0 0 17 0 4 0 1149139622 62230528 14281 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.02
Current children cumulated vsize (KiB) 60772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.401 s]
/proc/loadavg: 2.00 1.87 1.47 3/78 13643
/proc/meminfo: memFree=1742368/2055920 swapFree=4173168/4192956
[pid=13639] ppid=13637 vsize=60772 CPUtime=1200.1
/proc/13639/stat : 13639 (satake) S 13637 13639 12572 0 -1 4194304 14567 0 0 0 117398 2612 0 0 18 0 4 0 1149139622 62230528 14416 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13639/statm: 15193 14416 70 163 0 15028 0
[pid=13639/tid=13640] ppid=13637 vsize=60772 CPUtime=15.45
/proc/13639/task/13640/stat : 13640 (satake) S 13637 13639 12572 0 -1 4194368 3966 0 0 0 343 1202 0 0 16 0 4 0 1149139622 62230528 14416 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13639/tid=13641] ppid=13637 vsize=60772 CPUtime=592.64
/proc/13639/task/13641/stat : 13641 (satake) R 13637 13639 12572 0 -1 4194368 5206 0 0 0 58569 695 0 0 25 0 4 0 1149139622 62230528 14416 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13639/tid=13642] ppid=13637 vsize=60772 CPUtime=592
/proc/13639/task/13642/stat : 13642 (satake) R 13637 13639 12572 0 -1 4194368 5312 0 0 0 58486 714 0 0 23 0 4 0 1149139622 62230528 14416 1992294400 134512640 135180984 4294956208 18446744073709551615 134673813 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 60772

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): 602.423
CPU time (s): 1200.14
CPU user time (s): 1174
CPU system time (s): 26.137
CPU usage (%): 199.218
Max. virtual memory (cumulated for all children) (KiB): 60772

deleting IPC queue 884736
deleting IPC queue 917505
deleting IPC queue 950274
deleting IPC queue 983043
deleting IPC queue 1015812
deleting IPC queue 1048581
deleting IPC queue 1081350
deleting IPC queue 1114119
deleting IPC queue 1146888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1174
system time used= 26.137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14568
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= 1985433
involuntary context switches= 1949753

runsolver used 0.754885 second user time and 1.9967 second system time

The end

Launcher Data 

Begin job on node68 at 2009-04-03 15:19:46
IDJOB=1561308
IDBENCH=70912
IDSOLVER=553
FILE ID=node68/1561308-1238764785
PBS_JOBID= 9085494
Free space on /tmp= 66464 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/compact/em_7_4_8_cmp.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561308-1238764785/watcher-1561308-1238764785 -o /tmp/evaluation-result-1561308-1238764785/solver-1561308-1238764785 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1561308-1238764785.cnf 3 1200

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

MD5SUM BENCH= d839e5ec929f609c698ac596e6e9f69b
RANDOM SEED=1881386072

node68.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.270
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.270
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:       1801112 kB
Buffers:         29748 kB
Cached:         150152 kB
SwapCached:       9956 kB
Active:         114472 kB
Inactive:        77444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801112 kB
SwapTotal:     4192956 kB
SwapFree:      4173168 kB
Dirty:            1020 kB
Writeback:           0 kB
Mapped:          17812 kB
Slab:            47804 kB
Committed_AS:  3078960 kB
PageTables:       2136 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66464 MiB
End job on node68 at 2009-04-03 15:29:50