Trace number 1543674

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.21 632.062

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
MD5SUM4f3aa79447d830354123007662a4d040
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.487925
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-1543674-1238494234/watcher-1543674-1238494234 -o /tmp/evaluation-result-1543674-1238494234/solver-1543674-1238494234 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543674-1238494234.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.12 2.33 1.99 3/70 4654
/proc/meminfo: memFree=1677928/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=1452 CPUtime=0
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 4 0 1122086648 1486848 200 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 363 200 65 163 0 198 0
[pid=4654/tid=4655] ppid=4652 vsize=1452 CPUtime=0
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122086648 1486848 200 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=1452 CPUtime=0
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 70 0 0 0 0 0 0 0 19 0 4 0 1122086648 1486848 200 1992294400 134512640 135180984 4294956208 18446744073709551615 134534773 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=1452 CPUtime=0
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 55 0 0 0 0 0 0 0 19 0 4 0 1122086648 1486848 200 1992294400 134512640 135180984 4294956208 18446744073709551615 134535263 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0459879 s]
/proc/loadavg: 2.12 2.33 1.99 3/70 4654
/proc/meminfo: memFree=1677928/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=3724 CPUtime=0.07
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 400 0 0 0 6 1 0 0 18 0 4 0 1122086648 3813376 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 931 311 70 163 0 766 0
[pid=4654/tid=4655] ppid=4652 vsize=3724 CPUtime=0
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 13 0 0 0 0 0 0 0 18 0 4 0 1122086648 3813376 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4656] ppid=4652 vsize=3724 CPUtime=0.03
/proc/4654/task/4656/stat : 4656 (satake) S 4652 4654 4457 0 -1 4194368 152 0 0 0 3 0 0 0 16 0 4 0 1122086648 3813376 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=3724 CPUtime=0.02
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 152 0 0 0 2 0 0 0 16 0 4 0 1122086648 3813376 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3724

[startup+0.102746 s]
/proc/loadavg: 2.12 2.33 1.99 3/70 4654
/proc/meminfo: memFree=1677928/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=3856 CPUtime=0.16
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 440 0 0 0 13 3 0 0 18 0 4 0 1122086648 3948544 351 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 964 351 70 163 0 799 0
[pid=4654/tid=4655] ppid=4652 vsize=3856 CPUtime=0.01
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 19 0 0 0 0 1 0 0 18 0 4 0 1122086648 3948544 351 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=3856 CPUtime=0.07
/proc/4654/task/4656/stat : 4656 (satake) S 4652 4654 4457 0 -1 4194368 168 0 0 0 6 1 0 0 17 0 4 0 1122086648 3948544 351 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=3856 CPUtime=0.06
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 170 0 0 0 6 0 0 0 17 0 4 0 1122086648 3948544 351 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 3856

[startup+0.301762 s]
/proc/loadavg: 2.12 2.33 1.99 3/70 4654
/proc/meminfo: memFree=1677928/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=4252 CPUtime=0.52
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 564 0 0 0 39 13 0 0 18 0 4 0 1122086648 4354048 475 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 1063 475 70 163 0 898 0
[pid=4654/tid=4655] ppid=4652 vsize=4252 CPUtime=0.07
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 43 0 0 0 1 6 0 0 18 0 4 0 1122086648 4354048 475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4656] ppid=4652 vsize=4252 CPUtime=0.22
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 218 0 0 0 19 3 0 0 17 0 4 0 1122086648 4354048 475 1992294400 134512640 135180984 4294956208 18446744073709551615 134523687 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=4252 CPUtime=0.2
/proc/4654/task/4657/stat : 4657 (satake) S 4652 4654 4457 0 -1 4194368 220 0 0 0 18 2 0 0 17 0 4 0 1122086648 4354048 475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 4252

[startup+0.701803 s]
/proc/loadavg: 2.12 2.33 1.99 3/70 4654
/proc/meminfo: memFree=1677928/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=4516 CPUtime=1.25
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 696 0 0 0 97 28 0 0 18 0 4 0 1122086648 4624384 607 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 1129 607 70 163 0 964 0
[pid=4654/tid=4655] ppid=4652 vsize=4516 CPUtime=0.18
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 90 0 0 0 4 14 0 0 17 0 4 0 1122086648 4624384 607 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=4516 CPUtime=0.54
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 258 0 0 0 48 6 0 0 16 0 4 0 1122086648 4624384 607 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=4516 CPUtime=0.5
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 265 0 0 0 44 6 0 0 17 0 4 0 1122086648 4624384 607 1992294400 134512640 135180984 4294956208 18446744073709551615 134528754 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 4516

[startup+1.50188 s]
/proc/loadavg: 2.12 2.33 1.99 4/74 4658
/proc/meminfo: memFree=1675464/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=4780 CPUtime=2.72
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 871 0 0 0 210 62 0 0 18 0 4 0 1122086648 4894720 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 1195 782 70 163 0 1030 0
[pid=4654/tid=4655] ppid=4652 vsize=4780 CPUtime=0.41
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 178 0 0 0 10 31 0 0 16 0 4 0 1122086648 4894720 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=4780 CPUtime=1.14
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 306 0 0 0 100 14 0 0 17 0 4 0 1122086648 4894720 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134528420 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=4780 CPUtime=1.15
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 304 0 0 0 99 16 0 0 16 0 4 0 1122086648 4894720 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 4780

[startup+3.10185 s]
/proc/loadavg: 2.12 2.33 1.99 4/74 4658
/proc/meminfo: memFree=1674376/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=6072 CPUtime=5.67
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 1145 0 0 0 419 148 0 0 18 0 4 0 1122086648 6217728 1056 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 1518 1056 70 163 0 1353 0
[pid=4654/tid=4655] ppid=4652 vsize=6072 CPUtime=0.93
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 363 0 0 0 20 73 0 0 16 0 4 0 1122086648 6217728 1056 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=6072 CPUtime=2.35
/proc/4654/task/4656/stat : 4656 (satake) S 4652 4654 4457 0 -1 4194368 349 0 0 0 199 36 0 0 16 0 4 0 1122086648 6217728 1056 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=6072 CPUtime=2.38
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 350 0 0 0 199 39 0 0 16 0 4 0 1122086648 6217728 1056 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 6072

[startup+6.30136 s]
/proc/loadavg: 2.11 2.32 1.99 3/74 4658
/proc/meminfo: memFree=1672264/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=7424 CPUtime=11.59
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 1601 0 0 0 853 306 0 0 18 0 4 0 1122086648 7602176 1512 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 1856 1512 70 163 0 1691 0
[pid=4654/tid=4655] ppid=4652 vsize=7424 CPUtime=1.88
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 702 0 0 0 39 149 0 0 16 0 4 0 1122086648 7602176 1512 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=7424 CPUtime=4.83
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 387 0 0 0 407 76 0 0 15 0 4 0 1122086648 7602176 1512 1992294400 134512640 135180984 4294956208 18446744073709551615 134528600 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=7424 CPUtime=4.84
/proc/4654/task/4657/stat : 4657 (satake) S 4652 4654 4457 0 -1 4194368 429 0 0 0 405 79 0 0 16 0 4 0 1122086648 7602176 1512 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 7424

[startup+12.706 s]
/proc/loadavg: 2.10 2.31 1.99 3/74 4658
/proc/meminfo: memFree=1668680/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=11972 CPUtime=23.44
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 2435 0 0 0 1724 620 0 0 18 0 4 0 1122086648 12259328 2346 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 2993 2346 70 163 0 2828 0
[pid=4654/tid=4655] ppid=4652 vsize=11972 CPUtime=3.84
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 1393 0 0 0 84 300 0 0 16 0 4 0 1122086648 12259328 2346 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4656] ppid=4652 vsize=11972 CPUtime=9.81
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 452 0 0 0 822 159 0 0 15 0 4 0 1122086648 12259328 2346 1992294400 134512640 135180984 4294956208 18446744073709551615 134520671 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=11972 CPUtime=9.79
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 507 0 0 0 818 161 0 0 16 0 4 0 1122086648 12259328 2346 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.44
Current children cumulated vsize (KiB) 11972

[startup+25.5031 s]
/proc/loadavg: 2.14 2.31 1.99 4/74 4658
/proc/meminfo: memFree=1662088/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=18700 CPUtime=47.21
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 4061 0 0 0 3402 1319 0 0 18 0 4 0 1122086648 19148800 3972 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 4675 3972 70 163 0 4510 0
[pid=4654/tid=4655] ppid=4652 vsize=18700 CPUtime=8.17
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 2706 0 0 0 175 642 0 0 16 0 4 0 1122086648 19148800 3972 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=18700 CPUtime=19.69
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 577 0 0 0 1630 339 0 0 16 0 4 0 1122086648 19148800 3972 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=18700 CPUtime=19.33
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 695 0 0 0 1596 337 0 0 16 0 4 0 1122086648 19148800 3972 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.21
Current children cumulated vsize (KiB) 18700

[startup+51.1016 s]
/proc/loadavg: 2.32 2.34 2.01 4/74 4658
/proc/meminfo: memFree=1650056/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=34444 CPUtime=94.94
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 7061 0 0 0 6744 2750 0 0 18 0 4 0 1122086648 35270656 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 8611 6972 70 163 0 8446 0
[pid=4654/tid=4655] ppid=4652 vsize=34444 CPUtime=17.07
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 4909 0 0 0 363 1344 0 0 15 0 4 0 1122086648 35270656 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=34444 CPUtime=39.05
/proc/4654/task/4656/stat : 4656 (satake) S 4652 4654 4457 0 -1 4194368 970 0 0 0 3206 699 0 0 15 0 4 0 1122086648 35270656 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=34444 CPUtime=38.79
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 1099 0 0 0 3174 705 0 0 16 0 4 0 1122086648 35270656 6972 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 94.94
Current children cumulated vsize (KiB) 34444

[startup+102.317 s]
/proc/loadavg: 2.28 2.33 2.02 4/74 4658
/proc/meminfo: memFree=1626440/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=61840 CPUtime=190.96
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 12898 0 0 0 13465 5631 0 0 18 0 4 0 1122086648 63324160 12809 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 15460 12809 70 163 0 15295 0
[pid=4654/tid=4655] ppid=4652 vsize=61840 CPUtime=34.86
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 8684 0 0 0 739 2747 0 0 16 0 4 0 1122086648 63324160 12809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=61840 CPUtime=78.34
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 2023 0 0 0 6406 1428 0 0 16 0 4 0 1122086648 63324160 12809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=61840 CPUtime=77.74
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 2108 0 0 0 6319 1455 0 0 16 0 4 0 1122086648 63324160 12809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528583 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 190.96
Current children cumulated vsize (KiB) 61840

[startup+162.302 s]
/proc/loadavg: 2.34 2.33 2.03 4/74 4658
/proc/meminfo: memFree=1600008/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=94476 CPUtime=304.16
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 19522 0 0 0 21416 9000 0 0 18 0 4 0 1122086648 96743424 19433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 23619 19433 70 163 0 23454 0
[pid=4654/tid=4655] ppid=4652 vsize=94476 CPUtime=55.59
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 12913 0 0 0 1188 4371 0 0 16 0 4 0 1122086648 96743424 19433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4656] ppid=4652 vsize=94476 CPUtime=124.59
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 3378 0 0 0 10176 2283 0 0 16 0 4 0 1122086648 96743424 19433 1992294400 134512640 135180984 4294956208 18446744073709551615 134528206 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=94476 CPUtime=123.97
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 3148 0 0 0 10051 2346 0 0 17 0 4 0 1122086648 96743424 19433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 304.16
Current children cumulated vsize (KiB) 94476

[startup+222.301 s]
/proc/loadavg: 2.54 2.37 2.07 3/74 4658
/proc/meminfo: memFree=1574472/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=123340 CPUtime=418.18
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 25873 0 0 0 29602 12216 0 0 18 0 4 0 1122086648 126300160 25784 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 30835 25784 70 163 0 30670 0
[pid=4654/tid=4655] ppid=4652 vsize=123340 CPUtime=75.2
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 16616 0 0 0 1598 5922 0 0 16 0 4 0 1122086648 126300160 25784 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4656] ppid=4652 vsize=123340 CPUtime=171.25
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 4663 0 0 0 14032 3093 0 0 16 0 4 0 1122086648 126300160 25784 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=123340 CPUtime=171.71
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 4511 0 0 0 13971 3200 0 0 15 0 4 0 1122086648 126300160 25784 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 418.18
Current children cumulated vsize (KiB) 123340

[startup+282.301 s]
/proc/loadavg: 2.46 2.38 2.09 2/74 4658
/proc/meminfo: memFree=1549064/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=155332 CPUtime=532.14
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 32333 0 0 0 37779 15435 0 0 18 0 4 0 1122086648 159059968 32244 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 38833 32244 70 163 0 38668 0
[pid=4654/tid=4655] ppid=4652 vsize=155332 CPUtime=95.11
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 20629 0 0 0 2028 7483 0 0 16 0 4 0 1122086648 159059968 32244 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=155332 CPUtime=217.8
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 6033 0 0 0 17860 3920 0 0 16 0 4 0 1122086648 159059968 32244 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=155332 CPUtime=219.21
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 5588 0 0 0 17890 4031 0 0 16 0 4 0 1122086648 159059968 32244 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 532.14
Current children cumulated vsize (KiB) 155332

[startup+342.302 s]
/proc/loadavg: 2.54 2.41 2.11 3/74 4658
/proc/meminfo: memFree=1524552/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=184204 CPUtime=646.81
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 38322 0 0 0 46085 18596 0 0 18 0 4 0 1122086648 188624896 38233 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 46051 38233 70 163 0 45886 0
[pid=4654/tid=4655] ppid=4652 vsize=184204 CPUtime=114.34
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 24394 0 0 0 2423 9011 0 0 15 0 4 0 1122086648 188624896 38233 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=184204 CPUtime=265.35
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 7196 0 0 0 21807 4728 0 0 16 0 4 0 1122086648 188624896 38233 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=184204 CPUtime=267.11
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 6649 0 0 0 21855 4856 0 0 16 0 4 0 1122086648 188624896 38233 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 646.81
Current children cumulated vsize (KiB) 184204

[startup+402.301 s]
/proc/loadavg: 2.42 2.40 2.12 3/74 4658
/proc/meminfo: memFree=1499784/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=211236 CPUtime=761.06
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 44583 0 0 0 54225 21881 0 0 18 0 4 0 1122086648 216305664 44494 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 52809 44494 70 163 0 52644 0
[pid=4654/tid=4655] ppid=4652 vsize=211236 CPUtime=134.43
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 28728 0 0 0 2845 10598 0 0 16 0 4 0 1122086648 216305664 44494 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=211236 CPUtime=312.29
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 7986 0 0 0 25644 5585 0 0 15 0 4 0 1122086648 216305664 44494 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=211236 CPUtime=314.33
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 7786 0 0 0 25735 5698 0 0 17 0 4 0 1122086648 216305664 44494 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.06
Current children cumulated vsize (KiB) 211236

[startup+462.301 s]
/proc/loadavg: 2.34 2.38 2.13 3/74 4658
/proc/meminfo: memFree=1477576/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=242184 CPUtime=875.89
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 50062 0 0 0 62785 24804 0 0 18 0 4 0 1122086648 247996416 49973 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 60546 49973 70 163 0 60381 0
[pid=4654/tid=4655] ppid=4652 vsize=242184 CPUtime=152.16
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 31918 0 0 0 3221 11995 0 0 16 0 4 0 1122086648 247996416 49973 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4656] ppid=4652 vsize=242184 CPUtime=360.91
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 9166 0 0 0 29754 6337 0 0 17 0 4 0 1122086648 247996416 49973 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=242184 CPUtime=362.79
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 8895 0 0 0 29809 6470 0 0 17 0 4 0 1122086648 247996416 49973 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.89
Current children cumulated vsize (KiB) 242184

[startup+522.301 s]
/proc/loadavg: 2.41 2.40 2.15 3/74 4658
/proc/meminfo: memFree=1454664/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=276260 CPUtime=990.74
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 55863 0 0 0 71238 27836 0 0 18 0 4 0 1122086648 282890240 55774 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 69065 55774 70 163 0 68900 0
[pid=4654/tid=4655] ppid=4652 vsize=276260 CPUtime=170.69
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 35471 0 0 0 3618 13451 0 0 15 0 4 0 1122086648 282890240 55774 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=276260 CPUtime=409.07
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 10149 0 0 0 33780 7127 0 0 16 0 4 0 1122086648 282890240 55774 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=276260 CPUtime=410.96
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 10160 0 0 0 33839 7257 0 0 15 0 4 0 1122086648 282890240 55774 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 990.74
Current children cumulated vsize (KiB) 276260

[startup+582.301 s]
/proc/loadavg: 2.14 2.34 2.15 4/74 4658
/proc/meminfo: memFree=1429960/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=302920 CPUtime=1105.4
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 61932 0 0 0 79415 31125 0 0 18 0 4 0 1122086648 310190080 61843 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 75730 61843 70 163 0 75565 0
[pid=4654/tid=4655] ppid=4652 vsize=302920 CPUtime=190.54
/proc/4654/task/4655/stat : 4655 (satake) S 4652 4654 4457 0 -1 4194368 39328 0 0 0 4026 15028 0 0 15 0 4 0 1122086648 310190080 61843 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4654/tid=4656] ppid=4652 vsize=302920 CPUtime=456.29
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 11439 0 0 0 37664 7965 0 0 16 0 4 0 1122086648 310190080 61843 1992294400 134512640 135180984 4294956208 18446744073709551615 134519885 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4657] ppid=4652 vsize=302920 CPUtime=458.55
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 11082 0 0 0 37724 8131 0 0 17 0 4 0 1122086648 310190080 61843 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1105.4
Current children cumulated vsize (KiB) 302920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+632.001 s]
/proc/loadavg: 2.34 2.36 2.16 3/74 4658
/proc/meminfo: memFree=1409544/2055920 swapFree=4173176/4192956
[pid=4654] ppid=4652 vsize=322972 CPUtime=1200.14
/proc/4654/stat : 4654 (satake) S 4652 4654 4457 0 -1 4194304 66973 0 0 0 86158 33856 0 0 18 0 4 0 1122086648 330723328 66884 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4654/statm: 80743 66884 70 163 0 80578 0
[pid=4654/tid=4655] ppid=4652 vsize=322972 CPUtime=207.06
/proc/4654/task/4655/stat : 4655 (satake) R 4652 4654 4457 0 -1 4194368 43486 0 0 0 4364 16342 0 0 16 0 4 0 1122086648 330723328 66884 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4654/tid=4656] ppid=4652 vsize=322972 CPUtime=495.31
/proc/4654/task/4656/stat : 4656 (satake) R 4652 4654 4457 0 -1 4194368 12018 0 0 0 40869 8662 0 0 17 0 4 0 1122086648 330723328 66884 1992294400 134512640 135180984 4294956208 18446744073709551615 134528406 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4654/tid=4657] ppid=4652 vsize=322972 CPUtime=497.74
/proc/4654/task/4657/stat : 4657 (satake) R 4652 4654 4457 0 -1 4194368 11386 0 0 0 40924 8850 0 0 15 0 4 0 1122086648 330723328 66884 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 322972

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.062
CPU time (s): 1200.21
CPU user time (s): 861.598
CPU system time (s): 338.614
CPU usage (%): 189.888
Max. virtual memory (cumulated for all children) (KiB): 322972

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= 861.598
system time used= 338.614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66975
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= 13518352
involuntary context switches= 12463872

runsolver used 0.889864 second user time and 1.9817 second system time

The end

Launcher Data 

Begin job on node36 at 2009-03-31 12:10:34
IDJOB=1543674
IDBENCH=70515
IDSOLVER=553
FILE ID=node36/1543674-1238494234
PBS_JOBID= 9061892
Free space on /tmp= 66412 MiB

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

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

MD5SUM BENCH= 4f3aa79447d830354123007662a4d040
RANDOM SEED=358590724

node36.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.214
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.214
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:       1678408 kB
Buffers:         70996 kB
Cached:         222532 kB
SwapCached:       9072 kB
Active:         164124 kB
Inactive:       139916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1678408 kB
SwapTotal:     4192956 kB
SwapFree:      4173176 kB
Dirty:             892 kB
Writeback:           0 kB
Mapped:          16288 kB
Slab:            58864 kB
Committed_AS:  3066900 kB
PageTables:       1876 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= 66408 MiB
End job on node36 at 2009-03-31 12:21:08