Trace number 1780722

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 (16 threads)? (MO) 4933.52 588.342

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p1.cnf
MD5SUM6ace5cfbe110f1a43049037cb7432998
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables259234
Number of clauses1387934
Sum of the clauses size3351923
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2981661
Number of clauses of size 3327764
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data


Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1780722-1244838490/watcher-1780722-1244838490 -o /tmp/evaluation-result-1780722-1244838490/solver-1780722-1244838490 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780722-1244838490.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 11.18 10.12 10.18 2/184 10901
/proc/meminfo: memFree=19102196/36427776 swapFree=4512/7904
[pid=10901] ppid=10899 vsize=6904 CPUtime=0
/proc/10901/stat : 10901 (satake) S 10899 10901 27791 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 17 0 643155449 7069696 402 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10901/statm: 1726 405 63 164 0 1561 0
[pid=10901/tid=10902] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10902/stat : 10902 (satake) S 10899 10901 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 451 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10903] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10903/stat : 10903 (satake) S 10899 10901 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 452 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=10901/tid=10904] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10904/stat : 10904 (satake) R 10899 10901 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 454 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10905] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10905/stat : 10905 (satake) R 10899 10901 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 457 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10906] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10906/stat : 10906 (satake) R 10899 10901 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 458 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10901/tid=10907] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10907/stat : 10907 (satake) R 10899 10901 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 460 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10908] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10908/stat : 10908 (satake) R 10899 10901 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 460 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10909] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10909/stat : 10909 (satake) R 10899 10901 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 474 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10910] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10910/stat : 10910 (satake) R 10899 10901 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 497 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10911] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10911/stat : 10911 (satake) R 10899 10901 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 520 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10912] ppid=10899 vsize=7428 CPUtime=0
/proc/10901/task/10912/stat : 10912 (satake) R 10899 10901 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 643155450 7606272 528 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10913] ppid=10899 vsize=7560 CPUtime=0
/proc/10901/task/10913/stat : 10913 (satake) D 10899 10901 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 643155450 7741440 528 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10914] ppid=10899 vsize=7560 CPUtime=0
/proc/10901/task/10914/stat : 10914 (satake) S 10899 10901 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643155450 7741440 532 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10915] ppid=10899 vsize=7560 CPUtime=0
/proc/10901/task/10915/stat : 10915 (satake) R 10899 10901 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 643155450 7741440 534 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10916] ppid=10899 vsize=7560 CPUtime=0
/proc/10901/task/10916/stat : 10916 (satake) R 10899 10901 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 643155450 7741440 534 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10917] ppid=10899 vsize=7560 CPUtime=0
/proc/10901/task/10917/stat : 10917 (satake) R 10899 10901 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 643155450 7741440 534 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.094665 s]
/proc/loadavg: 11.18 10.12 10.18 2/184 10901
/proc/meminfo: memFree=19102196/36427776 swapFree=4512/7904
[pid=10901] ppid=10899 vsize=88296 CPUtime=0.5
/proc/10901/stat : 10901 (satake) S 10899 10901 27791 0 -1 4202496 15434 0 0 0 0 50 0 0 20 0 17 0 643155449 90415104 15377 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10901/statm: 22074 15412 63 164 0 21909 0
[pid=10901/tid=10902] ppid=10899 vsize=88296 CPUtime=0
/proc/10901/task/10902/stat : 10902 (satake) S 10899 10901 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643155450 90415104 15429 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10903] ppid=10899 vsize=88296 CPUtime=0.04
/proc/10901/task/10903/stat : 10903 (satake) R 10899 10901 27791 0 -1 4202560 1708 0 0 0 0 4 0 0 20 0 17 0 643155450 90415104 15455 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10901/tid=10904] ppid=10899 vsize=88296 CPUtime=0.04
/proc/10901/task/10904/stat : 10904 (satake) R 10899 10901 27791 0 -1 4202560 1449 0 0 0 0 4 0 0 20 0 17 0 643155450 90415104 15485 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10905] ppid=10899 vsize=88296 CPUtime=0.02
/proc/10901/task/10905/stat : 10905 (satake) R 10899 10901 27791 0 -1 4202560 484 0 0 0 0 2 0 0 20 0 17 0 643155450 90415104 15506 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10906] ppid=10899 vsize=88296 CPUtime=0.06
/proc/10901/task/10906/stat : 10906 (satake) R 10899 10901 27791 0 -1 4202560 1465 0 0 0 0 6 0 0 20 0 17 0 643155450 90415104 15532 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10901/tid=10907] ppid=10899 vsize=88296 CPUtime=0.04
/proc/10901/task/10907/stat : 10907 (satake) R 10899 10901 27791 0 -1 4202560 1220 0 0 0 0 4 0 0 20 0 17 0 643155450 90415104 15546 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10908] ppid=10899 vsize=88296 CPUtime=0.04
/proc/10901/task/10908/stat : 10908 (satake) R 10899 10901 27791 0 -1 4202560 1439 0 0 0 0 4 0 0 20 0 17 0 643155450 90415104 15567 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10909] ppid=10899 vsize=88296 CPUtime=0.02
/proc/10901/task/10909/stat : 10909 (satake) R 10899 10901 27791 0 -1 4202560 922 0 0 0 0 2 0 0 20 0 17 0 643155450 90415104 15584 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10901/tid=10910] ppid=10899 vsize=88296 CPUtime=0.02
/proc/10901/task/10910/stat : 10910 (satake) R 10899 10901 27791 0 -1 4202560 861 0 0 0 0 2 0 0 20 0 17 0 643155450 90415104 15606 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10911] ppid=10899 vsize=88296 CPUtime=0
/proc/10901/task/10911/stat : 10911 (satake) R 10899 10901 27791 0 -1 4202560 564 0 0 0 0 0 0 0 20 0 17 0 643155450 90415104 15626 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10912] ppid=10899 vsize=88296 CPUtime=0
/proc/10901/task/10912/stat : 10912 (satake) R 10899 10901 27791 0 -1 4202560 409 0 0 0 0 0 0 0 20 0 17 0 643155450 90415104 15643 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10913] ppid=10899 vsize=88296 CPUtime=0.06
/proc/10901/task/10913/stat : 10913 (satake) R 10899 10901 27791 0 -1 4202560 1777 0 0 0 0 6 0 0 20 0 17 0 643155450 90415104 15667 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10914] ppid=10899 vsize=88296 CPUtime=0.02
/proc/10901/task/10914/stat : 10914 (satake) R 10899 10901 27791 0 -1 4202560 714 0 0 0 0 2 0 0 20 0 17 0 643155450 90415104 15689 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10915] ppid=10899 vsize=88296 CPUtime=0.02
/proc/10901/task/10915/stat : 10915 (satake) R 10899 10901 27791 0 -1 4202560 795 0 0 0 0 2 0 0 20 0 17 0 643155450 90415104 15713 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10916] ppid=10899 vsize=88296 CPUtime=0.02
/proc/10901/task/10916/stat : 10916 (satake) R 10899 10901 27791 0 -1 4202560 1016 0 0 0 0 2 0 0 20 0 17 0 643155450 90415104 15734 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10917] ppid=10899 vsize=88296 CPUtime=0.02
/proc/10901/task/10917/stat : 10917 (satake) R 10899 10901 27791 0 -1 4202560 697 0 0 0 0 2 0 0 20 0 17 0 643155450 90415104 15753 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 88296

[startup+0.102628 s]
/proc/loadavg: 11.18 10.12 10.18 2/184 10901
/proc/meminfo: memFree=19102196/36427776 swapFree=4512/7904
[pid=10901] ppid=10899 vsize=96488 CPUtime=0.54
/proc/10901/stat : 10901 (satake) S 10899 10901 27791 0 -1 4202496 17188 0 0 0 0 54 0 0 20 0 17 0 643155449 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10901/statm: 24122 17126 63 164 0 23957 0
[pid=10901/tid=10902] ppid=10899 vsize=96488 CPUtime=0
/proc/10901/task/10902/stat : 10902 (satake) S 10899 10901 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10903] ppid=10899 vsize=96488 CPUtime=0.06
/proc/10901/task/10903/stat : 10903 (satake) D 10899 10901 27791 0 -1 4202560 1888 0 0 0 0 6 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10901/tid=10904] ppid=10899 vsize=96488 CPUtime=0.04
/proc/10901/task/10904/stat : 10904 (satake) D 10899 10901 27791 0 -1 4202560 1511 0 0 0 0 4 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10905] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10905/stat : 10905 (satake) D 10899 10901 27791 0 -1 4202560 611 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10906] ppid=10899 vsize=96488 CPUtime=0.06
/proc/10901/task/10906/stat : 10906 (satake) D 10899 10901 27791 0 -1 4202560 1615 0 0 0 0 6 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10901/tid=10907] ppid=10899 vsize=96488 CPUtime=0.04
/proc/10901/task/10907/stat : 10907 (satake) D 10899 10901 27791 0 -1 4202560 1281 0 0 0 0 4 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10908] ppid=10899 vsize=96488 CPUtime=0.04
/proc/10901/task/10908/stat : 10908 (satake) D 10899 10901 27791 0 -1 4202560 1443 0 0 0 0 4 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10909] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10909/stat : 10909 (satake) D 10899 10901 27791 0 -1 4202560 1076 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10901/tid=10910] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10910/stat : 10910 (satake) R 10899 10901 27791 0 -1 4202560 1042 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10911] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10911/stat : 10911 (satake) D 10899 10901 27791 0 -1 4202560 682 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10912] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10912/stat : 10912 (satake) D 10899 10901 27791 0 -1 4202560 594 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10913] ppid=10899 vsize=96488 CPUtime=0.06
/proc/10901/task/10913/stat : 10913 (satake) D 10899 10901 27791 0 -1 4202560 1949 0 0 0 0 6 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10914] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10914/stat : 10914 (satake) D 10899 10901 27791 0 -1 4202560 764 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10915] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10915/stat : 10915 (satake) D 10899 10901 27791 0 -1 4202560 880 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10916] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10916/stat : 10916 (satake) D 10899 10901 27791 0 -1 4202560 1020 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10917] ppid=10899 vsize=96488 CPUtime=0.02
/proc/10901/task/10917/stat : 10917 (satake) D 10899 10901 27791 0 -1 4202560 701 0 0 0 0 2 0 0 20 0 17 0 643155450 98803712 17126 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 96488

[startup+0.306677 s]
/proc/loadavg: 11.18 10.12 10.18 2/184 10901
/proc/meminfo: memFree=19102196/36427776 swapFree=4512/7904
[pid=10901] ppid=10899 vsize=362968 CPUtime=2.2
/proc/10901/stat : 10901 (satake) S 10899 10901 27791 0 -1 4202496 66468 0 0 0 0 220 0 0 20 0 17 0 643155449 371679232 66403 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10901/statm: 90742 66405 63 164 0 90577 0
[pid=10901/tid=10902] ppid=10899 vsize=362968 CPUtime=0
/proc/10901/task/10902/stat : 10902 (satake) S 10899 10901 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643155450 371679232 66406 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10903] ppid=10899 vsize=362968 CPUtime=0.22
/proc/10901/task/10903/stat : 10903 (satake) R 10899 10901 27791 0 -1 4202560 6490 0 0 0 0 22 0 0 20 0 17 0 643155450 371679232 66406 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10901/tid=10904] ppid=10899 vsize=362968 CPUtime=0.12
/proc/10901/task/10904/stat : 10904 (satake) R 10899 10901 27791 0 -1 4202560 4297 0 0 0 0 12 0 0 20 0 17 0 643155450 371679232 66406 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10905] ppid=10899 vsize=362968 CPUtime=0.1
/proc/10901/task/10905/stat : 10905 (satake) R 10899 10901 27791 0 -1 4202560 3103 0 0 0 0 10 0 0 20 0 17 0 643155450 371679232 66406 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10906] ppid=10899 vsize=362968 CPUtime=0.22
/proc/10901/task/10906/stat : 10906 (satake) R 10899 10901 27791 0 -1 4202560 6252 0 0 0 0 22 0 0 20 0 17 0 643155450 371679232 66406 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10901/tid=10907] ppid=10899 vsize=362968 CPUtime=0.2
/proc/10901/task/10907/stat : 10907 (satake) R 10899 10901 27791 0 -1 4202560 6275 0 0 0 0 20 0 0 20 0 17 0 643155450 371679232 66407 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10908] ppid=10899 vsize=362968 CPUtime=0.16
/proc/10901/task/10908/stat : 10908 (satake) R 10899 10901 27791 0 -1 4202560 4800 0 0 0 0 16 0 0 20 0 17 0 643155450 371679232 66408 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10909] ppid=10899 vsize=362968 CPUtime=0.1
/proc/10901/task/10909/stat : 10909 (satake) R 10899 10901 27791 0 -1 4202560 3038 0 0 0 0 10 0 0 20 0 17 0 643155450 371679232 66411 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10901/tid=10910] ppid=10899 vsize=362968 CPUtime=0.12
/proc/10901/task/10910/stat : 10910 (satake) R 10899 10901 27791 0 -1 4202560 3374 0 0 0 0 12 0 0 20 0 17 0 643155450 371679232 66412 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10911] ppid=10899 vsize=362968 CPUtime=0.18
/proc/10901/task/10911/stat : 10911 (satake) R 10899 10901 27791 0 -1 4202560 4877 0 0 0 0 18 0 0 20 0 17 0 643155450 371679232 66413 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10901/tid=10912] ppid=10899 vsize=362968 CPUtime=0.08
/proc/10901/task/10912/stat : 10912 (satake) R 10899 10901 27791 0 -1 4202560 2580 0 0 0 0 8 0 0 20 0 17 0 643155450 371679232 66414 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10913] ppid=10899 vsize=362968 CPUtime=0.22
/proc/10901/task/10913/stat : 10913 (satake) R 10899 10901 27791 0 -1 4202560 7144 0 0 0 0 22 0 0 20 0 17 0 643155450 371679232 66419 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10914] ppid=10899 vsize=362968 CPUtime=0.12
/proc/10901/task/10914/stat : 10914 (satake) R 10899 10901 27791 0 -1 4202560 3578 0 0 0 0 12 0 0 20 0 17 0 643155450 371679232 66422 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10915] ppid=10899 vsize=362968 CPUtime=0.1
/proc/10901/task/10915/stat : 10915 (satake) R 10899 10901 27791 0 -1 4202560 3402 0 0 0 0 10 0 0 20 0 17 0 643155450 371679232 66422 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10901/tid=10916] ppid=10899 vsize=362968 CPUtime=0.1
/proc/10901/task/10916/stat : 10916 (satake) R 10899 10901 27791 0 -1 4202560 3165 0 0 0 0 10 0 0 20 0 17 0 643155450 371679232 66422 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10917] ppid=10899 vsize=362968 CPUtime=0.12
/proc/10901/task/10917/stat : 10917 (satake) R 10899 10901 27791 0 -1 4202560 3970 0 0 0 0 12 0 0 20 0 17 0 643155450 371679232 66423 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 362968

[startup+0.703919 s]
/proc/loadavg: 11.18 10.12 10.18 2/184 10901
/proc/meminfo: memFree=19102196/36427776 swapFree=4512/7904
[pid=10901] ppid=10899 vsize=478780 CPUtime=4.93
/proc/10901/stat : 10901 (satake) S 10899 10901 27791 0 -1 4202496 84874 0 0 0 0 493 0 0 20 0 17 0 643155449 490270720 84810 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10901/statm: 119695 84810 63 164 0 119530 0
[pid=10901/tid=10902] ppid=10899 vsize=478780 CPUtime=0
/proc/10901/task/10902/stat : 10902 (satake) S 10899 10901 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643155450 490270720 84810 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10901/tid=10903] ppid=10899 vsize=478780 CPUtime=0.46
/proc/10901/task/10903/stat : 10903 (satake) R 10899 10901 27791 0 -1 4202560 7743 0 0 0 0 46 0 0 20 0 17 0 643155450 490270720 84811 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10901/tid=10904] ppid=10899 vsize=478780 CPUtime=0.26
/proc/10901/task/10904/stat : 10904 (satake) R 10899 10901 27791 0 -1 4202560 5457 0 0 0 0 26 0 0 20 0 17 0 643155450 490270720 84811 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10905] ppid=10899 vsize=478780 CPUtime=0.24
/proc/10901/task/10905/stat : 10905 (satake) R 10899 10901 27791 0 -1 4202560 4280 0 0 0 0 24 0 0 20 0 17 0 643155450 490270720 84811 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10901/tid=10906] ppid=10899 vsize=478780 CPUtime=0.46
/proc/10901/task/10906/stat : 10906 (satake) D 10899 10901 27791 0 -1 4202560 7518 0 0 0 0 46 0 0 20 0 17 0 643155450 490270720 84811 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10901/tid=10907] ppid=10899 vsize=478780 CPUtime=0.46
/proc/10901/task/10907/stat : 10907 (satake) D 10899 10901 27791 0 -1 4202560 7908 0 0 0 0 46 0 0 20 0 17 0 643155450 490270720 84813 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10901/tid=10908] ppid=10899 vsize=478780 CPUtime=0.3
/proc/10901/task/10908/stat : 10908 (satake) D 10899 10901 27791 0 -1 4202560 5834 0 0 0 0 30 0 0 20 0 17 0 643155450 490270720 84816 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10901/tid=10909] ppid=10899 vsize=478780 CPUtime=0.26
/proc/10901/task/10909/stat : 10909 (satake) D 10899 10901 27791 0 -1 4202560 4228 0 0 0 0 26 0 0 20 0 17 0 643155450 490270720 84816 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10901/tid=10910] ppid=10899 vsize=478780 CPUtime=0.28
/proc/10901/task/10910/stat : 10910 (satake) D 10899 10901 27791 0 -1 4202560 4536 0 0 0 0 28 0 0 20 0 17 0 643155450 490270720 84816 18446744073709551615 134512640 135180984 4291998736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10901/tid=10911] ppid=10899 vsize=478780 CPUtime=0.4

################
# More data... #
################

deleting IPC queue 1965490254
deleting IPC queue 1965523023
deleting IPC queue 1965555792
deleting IPC queue 1965588561
deleting IPC queue 1965621330
deleting IPC queue 1965654099
deleting IPC queue 1965686868
deleting IPC queue 1965719637
deleting IPC queue 1965752406
deleting IPC queue 1965785175
deleting IPC queue 1965817944
deleting IPC queue 1965850713
deleting IPC queue 1965883482
deleting IPC queue 1965916251
deleting IPC queue 1965949020
deleting IPC queue 1965981789
deleting IPC queue 1966014558
deleting IPC queue 1966047327
deleting IPC queue 1966080096
deleting IPC queue 1966112865
deleting IPC queue 1966145634
deleting IPC queue 1966178403
deleting IPC queue 1966211172
deleting IPC queue 1966243941
deleting IPC queue 1966276710
deleting IPC queue 1966309479
deleting IPC queue 1966342248
deleting IPC queue 1966375017
deleting IPC queue 1966407786
deleting IPC queue 1966440555
deleting IPC queue 1966473324
deleting IPC queue 1966506093
deleting IPC queue 1966538862
deleting IPC queue 1966571631
deleting IPC queue 1966604400
deleting IPC queue 1966637169
deleting IPC queue 1966669938
deleting IPC queue 1966702707
deleting IPC queue 1966735476
deleting IPC queue 1966768245
deleting IPC queue 1966801014
deleting IPC queue 1966833783
deleting IPC queue 1966866552
deleting IPC queue 1966899321
deleting IPC queue 1966932090
deleting IPC queue 1966964859
deleting IPC queue 1966997628
deleting IPC queue 1967030397
deleting IPC queue 1967063166
deleting IPC queue 1967095935
deleting IPC queue 1967128704
deleting IPC queue 1967161473
deleting IPC queue 1967194242
deleting IPC queue 1967227011
deleting IPC queue 1967259780
deleting IPC queue 1967292549
deleting IPC queue 1967325318
deleting IPC queue 1967358087
deleting IPC queue 1967390856
deleting IPC queue 1967423625
deleting IPC queue 1967456394
deleting IPC queue 1967489163
deleting IPC queue 1967521932
deleting IPC queue 1967554701
deleting IPC queue 1967587470
deleting IPC queue 1967620239
deleting IPC queue 1967653008
deleting IPC queue 1967685777
deleting IPC queue 1967718546
deleting IPC queue 1967751315
deleting IPC queue 1967784084
deleting IPC queue 1967816853
deleting IPC queue 1967849622
deleting IPC queue 1967882391
deleting IPC queue 1967915160
deleting IPC queue 1967947929
deleting IPC queue 1967980698
deleting IPC queue 1968013467
deleting IPC queue 1968046236
deleting IPC queue 1968079005
deleting IPC queue 1968111774
deleting IPC queue 1968144543
deleting IPC queue 1968177312
deleting IPC queue 1968210081
deleting IPC queue 1968242850
deleting IPC queue 1968275619
deleting IPC queue 1968308388
deleting IPC queue 1968341157
deleting IPC queue 1968373926
deleting IPC queue 1968406695
deleting IPC queue 1968439464
deleting IPC queue 1968472233
deleting IPC queue 1968505002
deleting IPC queue 1968537771
deleting IPC queue 1968570540
deleting IPC queue 1968603309
deleting IPC queue 1968636078
deleting IPC queue 1968668847
deleting IPC queue 1968701616
deleting IPC queue 1968734385
deleting IPC queue 1968767154
deleting IPC queue 1968799923
deleting IPC queue 1968832692
deleting IPC queue 1968865461
deleting IPC queue 1968898230
deleting IPC queue 1968930999
deleting IPC queue 1968963768
deleting IPC queue 1968996537
deleting IPC queue 1969029306
deleting IPC queue 1969062075
deleting IPC queue 1969094844
deleting IPC queue 1969127613
deleting IPC queue 1969160382
deleting IPC queue 1969193151
deleting IPC queue 1969225920
deleting IPC queue 1969258689
deleting IPC queue 1969291458
deleting IPC queue 1969324227
deleting IPC queue 1969356996
deleting IPC queue 1969389765
deleting IPC queue 1969422534
deleting IPC queue 1969455303
deleting IPC queue 1969488072
deleting IPC queue 1969520841
deleting IPC queue 1969553610
deleting IPC queue 1969586379
deleting IPC queue 1969619148
deleting IPC queue 1969651917
deleting IPC queue 1969684686
deleting IPC queue 1969717455
deleting IPC queue 1969750224
deleting IPC queue 1969782993
deleting IPC queue 1969815762
deleting IPC queue 1969848531
deleting IPC queue 1969881300
deleting IPC queue 1969914069
deleting IPC queue 1969946838
deleting IPC queue 1969979607
deleting IPC queue 1970012376
deleting IPC queue 1970045145
deleting IPC queue 1970077914
deleting IPC queue 1970110683
deleting IPC queue 1970143452
deleting IPC queue 1970176221
deleting IPC queue 1970208990
deleting IPC queue 1970241759
deleting IPC queue 1970274528
deleting IPC queue 1970307297
deleting IPC queue 1970340066
deleting IPC queue 1970372835
deleting IPC queue 1970405604
deleting IPC queue 1970438373
deleting IPC queue 1970471142
deleting IPC queue 1970503911
deleting IPC queue 1970536680
deleting IPC queue 1970569449
deleting IPC queue 1970602218
deleting IPC queue 1970634987
deleting IPC queue 1970667756
deleting IPC queue 1970700525
deleting IPC queue 1970733294
deleting IPC queue 1970766063
deleting IPC queue 1970798832
deleting IPC queue 1970831601
deleting IPC queue 1970864370
deleting IPC queue 1970897139
deleting IPC queue 1970929908
deleting IPC queue 1970962677
deleting IPC queue 1970995446
deleting IPC queue 1971028215
deleting IPC queue 1971060984
deleting IPC queue 1971093753
deleting IPC queue 1971126522
deleting IPC queue 1971159291
deleting IPC queue 1971192060
deleting IPC queue 1971224829
deleting IPC queue 1971257598
deleting IPC queue 1971290367

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4623.48
system time used= 310.039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599814
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= 25815436
involuntary context switches= 1061226

runsolver used 2.54016 second user time and 8.0925 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 22:28:10
IDJOB=1780722
IDBENCH=71055
IDSOLVER=631
FILE ID=xenhost3-49/1780722-1244838490
PBS_JOBID=
Free space on /tmp= 7003 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780722-1244838490/watcher-1780722-1244838490 -o /tmp/evaluation-result-1780722-1244838490/solver-1780722-1244838490 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780722-1244838490.cnf 16 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED= 1662831130

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19102196 kB
Buffers:        435520 kB
Cached:       14138444 kB
SwapCached:          0 kB
Active:        4080952 kB
Inactive:     10501444 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           27036 kB
Writeback:           0 kB
AnonPages:        7904 kB
Mapped:           3848 kB
Slab:           690324 kB
SReclaimable:   663288 kB
SUnreclaim:      27036 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7003 MiB
End job on xenhost3-49 at 2009-06-12 22:38:01