Trace number 1776417

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) 56.4235 8.29093

General information on the benchmark

Nameindustrial/narain/
clauses-8.cnf
MD5SUM74bd745b1c68e4deddfa063e58b6b54d
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 variables1461771
Number of clauses5687554
Sum of the clauses size14147618
Maximum clause length601
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24325673
Number of clauses of size 3961281
Number of clauses of size 411051
Number of clauses of size 5354960
Number of clauses of size over 534588

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-1776417-1244748997/watcher-1776417-1244748997 -o /tmp/evaluation-result-1776417-1244748997/solver-1776417-1244748997 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776417-1244748997.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: 7.91 9.68 11.26 2/184 32027
/proc/meminfo: memFree=19025604/36427776 swapFree=4488/8068
[pid=32027] ppid=32025 vsize=7352 CPUtime=0
/proc/32027/stat : 32027 (satake) D 32025 32027 27791 0 -1 4202496 475 0 0 0 0 0 0 0 20 0 15 0 634206432 7528448 427 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32027/statm: 1838 427 63 164 0 1673 0
[pid=32027/tid=32028] ppid=32025 vsize=7420 CPUtime=0
/proc/32027/task/32028/stat : 32028 (satake) S 32025 32027 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 634206432 7598080 430 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32029] ppid=32025 vsize=7420 CPUtime=0
/proc/32027/task/32029/stat : 32029 (satake) D 32025 32027 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 634206432 7598080 430 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32027/tid=32030] ppid=32025 vsize=7420 CPUtime=0
/proc/32027/task/32030/stat : 32030 (satake) D 32025 32027 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 15 0 634206432 7598080 430 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32027/tid=32031] ppid=32025 vsize=7548 CPUtime=0
/proc/32027/task/32031/stat : 32031 (satake) D 32025 32027 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 634206433 7729152 431 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32027/tid=32032] ppid=32025 vsize=7548 CPUtime=0
/proc/32027/task/32032/stat : 32032 (satake) R 32025 32027 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 15 0 634206433 7729152 436 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32027/tid=32033] ppid=32025 vsize=7548 CPUtime=0
/proc/32027/task/32033/stat : 32033 (satake) R 32025 32027 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 15 0 634206433 7729152 436 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32034] ppid=32025 vsize=7548 CPUtime=0
/proc/32027/task/32034/stat : 32034 (satake) D 32025 32027 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 634206433 7729152 438 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32027/tid=32035] ppid=32025 vsize=7548 CPUtime=0
/proc/32027/task/32035/stat : 32035 (satake) D 32025 32027 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 634206433 7729152 441 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32027/tid=32036] ppid=32025 vsize=7680 CPUtime=0
/proc/32027/task/32036/stat : 32036 (satake) S 32025 32027 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 634206433 7864320 444 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=32027/tid=32037] ppid=32025 vsize=7680 CPUtime=0
/proc/32027/task/32037/stat : 32037 (satake) D 32025 32027 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 634206433 7864320 448 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32027/tid=32038] ppid=32025 vsize=7680 CPUtime=0
/proc/32027/task/32038/stat : 32038 (satake) R 32025 32027 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 15 0 634206433 7864320 448 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32039] ppid=32025 vsize=7680 CPUtime=0
/proc/32027/task/32039/stat : 32039 (satake) D 32025 32027 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 15 0 634206433 7864320 448 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32040] ppid=32025 vsize=7680 CPUtime=0
/proc/32027/task/32040/stat : 32040 (satake) D 32025 32027 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 15 0 634206433 7864320 448 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32041] ppid=32025 vsize=7680 CPUtime=0
/proc/32027/task/32041/stat : 32041 (satake) D 32025 32027 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 15 0 634206433 7864320 448 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.051436 s]
/proc/loadavg: 7.91 9.68 11.26 2/184 32027
/proc/meminfo: memFree=19025604/36427776 swapFree=4488/8068
[pid=32027] ppid=32025 vsize=25512 CPUtime=0.26
/proc/32027/stat : 32027 (satake) S 32025 32027 27791 0 -1 4202496 3504 0 0 0 1 25 0 0 20 0 17 0 634206432 26124288 3440 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32027/statm: 6378 3443 63 164 0 6213 0
[pid=32027/tid=32028] ppid=32025 vsize=25512 CPUtime=0
/proc/32027/task/32028/stat : 32028 (satake) S 32025 32027 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634206432 26124288 3443 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32029] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32029/stat : 32029 (satake) R 32025 32027 27791 0 -1 4202560 291 0 0 0 0 2 0 0 20 0 17 0 634206432 26124288 3444 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32027/tid=32030] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32030/stat : 32030 (satake) R 32025 32027 27791 0 -1 4202560 316 0 0 0 0 2 0 0 20 0 17 0 634206432 26124288 3449 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32027/tid=32031] ppid=32025 vsize=25512 CPUtime=0
/proc/32027/task/32031/stat : 32031 (satake) R 32025 32027 27791 0 -1 4202560 195 0 0 0 0 0 0 0 20 0 17 0 634206433 26124288 3449 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32027/tid=32032] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32032/stat : 32032 (satake) R 32025 32027 27791 0 -1 4202560 313 0 0 0 0 2 0 0 20 0 17 0 634206433 26124288 3451 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32027/tid=32033] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32033/stat : 32033 (satake) R 32025 32027 27791 0 -1 4202560 264 0 0 0 0 2 0 0 20 0 17 0 634206433 26124288 3452 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32034] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32034/stat : 32034 (satake) R 32025 32027 27791 0 -1 4202560 271 0 0 0 0 2 0 0 20 0 17 0 634206433 26124288 3454 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32027/tid=32035] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32035/stat : 32035 (satake) R 32025 32027 27791 0 -1 4202560 280 0 0 0 0 2 0 0 20 0 17 0 634206433 26124288 3455 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32027/tid=32036] ppid=32025 vsize=25512 CPUtime=0
/proc/32027/task/32036/stat : 32036 (satake) R 32025 32027 27791 0 -1 4202560 165 0 0 0 0 0 0 0 20 0 17 0 634206433 26124288 3455 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32027/tid=32037] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32037/stat : 32037 (satake) R 32025 32027 27791 0 -1 4202560 229 0 0 0 0 2 0 0 20 0 17 0 634206433 26124288 3472 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32027/tid=32038] ppid=32025 vsize=25512 CPUtime=0.02
/proc/32027/task/32038/stat : 32038 (satake) D 32025 32027 27791 0 -1 4202560 337 0 0 0 0 2 0 0 20 0 17 0 634206433 26124288 3502 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32039] ppid=32025 vsize=25512 CPUtime=0
/proc/32027/task/32039/stat : 32039 (satake) D 32025 32027 27791 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 17 0 634206433 26124288 3504 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32040] ppid=32025 vsize=25512 CPUtime=0
/proc/32027/task/32040/stat : 32040 (satake) D 32025 32027 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 634206433 26124288 3504 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32041] ppid=32025 vsize=25512 CPUtime=0
/proc/32027/task/32041/stat : 32041 (satake) D 32025 32027 27791 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 17 0 634206433 26124288 3504 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 25512

[startup+0.109041 s]
/proc/loadavg: 7.91 9.68 11.26 2/184 32027
/proc/meminfo: memFree=19025604/36427776 swapFree=4488/8068
[pid=32027] ppid=32025 vsize=55592 CPUtime=0.84
/proc/32027/stat : 32027 (satake) S 32025 32027 27791 0 -1 4202496 10406 0 0 0 1 83 0 0 20 0 17 0 634206432 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32027/statm: 13898 10342 63 164 0 13733 0
[pid=32027/tid=32028] ppid=32025 vsize=55592 CPUtime=0
/proc/32027/task/32028/stat : 32028 (satake) S 32025 32027 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634206432 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32029] ppid=32025 vsize=55592 CPUtime=0.08
/proc/32027/task/32029/stat : 32029 (satake) D 32025 32027 27791 0 -1 4202560 810 0 0 0 0 8 0 0 20 0 17 0 634206432 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32027/tid=32030] ppid=32025 vsize=55592 CPUtime=0.08
/proc/32027/task/32030/stat : 32030 (satake) D 32025 32027 27791 0 -1 4202560 941 0 0 0 0 8 0 0 20 0 17 0 634206432 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32027/tid=32031] ppid=32025 vsize=55592 CPUtime=0.02
/proc/32027/task/32031/stat : 32031 (satake) D 32025 32027 27791 0 -1 4202560 446 0 0 0 0 2 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32027/tid=32032] ppid=32025 vsize=55592 CPUtime=0.06
/proc/32027/task/32032/stat : 32032 (satake) D 32025 32027 27791 0 -1 4202560 861 0 0 0 0 6 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32027/tid=32033] ppid=32025 vsize=55592 CPUtime=0.02
/proc/32027/task/32033/stat : 32033 (satake) D 32025 32027 27791 0 -1 4202560 488 0 0 0 0 2 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32034] ppid=32025 vsize=55592 CPUtime=0.08
/proc/32027/task/32034/stat : 32034 (satake) D 32025 32027 27791 0 -1 4202560 758 0 0 0 0 8 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32027/tid=32035] ppid=32025 vsize=55592 CPUtime=0.08
/proc/32027/task/32035/stat : 32035 (satake) D 32025 32027 27791 0 -1 4202560 869 0 0 0 0 8 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32027/tid=32036] ppid=32025 vsize=55592 CPUtime=0.04
/proc/32027/task/32036/stat : 32036 (satake) D 32025 32027 27791 0 -1 4202560 362 0 0 0 0 4 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32027/tid=32037] ppid=32025 vsize=55592 CPUtime=0.06
/proc/32027/task/32037/stat : 32037 (satake) D 32025 32027 27791 0 -1 4202560 860 0 0 0 0 6 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32027/tid=32038] ppid=32025 vsize=55592 CPUtime=0.06
/proc/32027/task/32038/stat : 32038 (satake) D 32025 32027 27791 0 -1 4202560 969 0 0 0 0 6 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32039] ppid=32025 vsize=55592 CPUtime=0.04
/proc/32027/task/32039/stat : 32039 (satake) D 32025 32027 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 634206433 56926208 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32040] ppid=32025 vsize=63788 CPUtime=0.04
/proc/32027/task/32040/stat : 32040 (satake) D 32025 32027 27791 0 -1 4202560 487 0 0 0 0 4 0 0 20 0 17 0 634206433 65318912 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32027/tid=32041] ppid=32025 vsize=59688 CPUtime=0.02
/proc/32027/task/32041/stat : 32041 (satake) D 32025 32027 27791 0 -1 4202560 447 0 0 0 0 2 0 0 20 0 17 0 634206433 61120512 10342 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 55592

[startup+0.302579 s]
/proc/loadavg: 7.91 9.68 11.26 2/184 32027
/proc/meminfo: memFree=19025604/36427776 swapFree=4488/8068
[pid=32027] ppid=32025 vsize=227624 CPUtime=2.93
/proc/32027/stat : 32027 (satake) S 32025 32027 27791 0 -1 4202496 43114 0 0 0 1 292 0 0 20 0 17 0 634206432 233086976 43050 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32027/statm: 56906 43050 63 164 0 56741 0
[pid=32027/tid=32028] ppid=32025 vsize=227624 CPUtime=0
/proc/32027/task/32028/stat : 32028 (satake) S 32025 32027 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634206432 233086976 43050 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32029] ppid=32025 vsize=227624 CPUtime=0.24
/proc/32027/task/32029/stat : 32029 (satake) R 32025 32027 27791 0 -1 4202560 3108 0 0 0 0 24 0 0 20 0 17 0 634206432 233086976 43052 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32027/tid=32030] ppid=32025 vsize=227624 CPUtime=0.24
/proc/32027/task/32030/stat : 32030 (satake) R 32025 32027 27791 0 -1 4202560 4014 0 0 0 0 24 0 0 20 0 17 0 634206432 233086976 43055 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32027/tid=32031] ppid=32025 vsize=227624 CPUtime=0.1
/proc/32027/task/32031/stat : 32031 (satake) R 32025 32027 27791 0 -1 4202560 1366 0 0 0 0 10 0 0 20 0 17 0 634206433 233086976 43059 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32027/tid=32032] ppid=32025 vsize=227624 CPUtime=0.24
/proc/32027/task/32032/stat : 32032 (satake) R 32025 32027 27791 0 -1 4202560 3301 0 0 0 0 24 0 0 20 0 17 0 634206433 233086976 43059 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32027/tid=32033] ppid=32025 vsize=227624 CPUtime=0.12
/proc/32027/task/32033/stat : 32033 (satake) R 32025 32027 27791 0 -1 4202560 1881 0 0 0 0 12 0 0 20 0 17 0 634206433 233086976 43059 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32034] ppid=32025 vsize=227624 CPUtime=0.24
/proc/32027/task/32034/stat : 32034 (satake) R 32025 32027 27791 0 -1 4202560 3029 0 0 0 0 24 0 0 20 0 17 0 634206433 233086976 43059 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32027/tid=32035] ppid=32025 vsize=227624 CPUtime=0.24
/proc/32027/task/32035/stat : 32035 (satake) R 32025 32027 27791 0 -1 4202560 3388 0 0 0 0 24 0 0 20 0 17 0 634206433 233086976 43060 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32027/tid=32036] ppid=32025 vsize=227624 CPUtime=0.1
/proc/32027/task/32036/stat : 32036 (satake) R 32025 32027 27791 0 -1 4202560 1236 0 0 0 0 10 0 0 20 0 17 0 634206433 233086976 43061 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32027/tid=32037] ppid=32025 vsize=227624 CPUtime=0.24
/proc/32027/task/32037/stat : 32037 (satake) R 32025 32027 27791 0 -1 4202560 4016 0 0 0 0 24 0 0 20 0 17 0 634206433 233086976 43061 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32027/tid=32038] ppid=32025 vsize=227624 CPUtime=0.24
/proc/32027/task/32038/stat : 32038 (satake) R 32025 32027 27791 0 -1 4202560 3986 0 0 0 0 24 0 0 20 0 17 0 634206433 233086976 43063 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32039] ppid=32025 vsize=227624 CPUtime=0.12
/proc/32027/task/32039/stat : 32039 (satake) R 32025 32027 27791 0 -1 4202560 1958 0 0 0 0 12 0 0 20 0 17 0 634206433 233086976 43064 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32040] ppid=32025 vsize=227624 CPUtime=0.2
/proc/32027/task/32040/stat : 32040 (satake) R 32025 32027 27791 0 -1 4202560 2957 0 0 0 0 20 0 0 20 0 17 0 634206433 233086976 43065 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32027/tid=32041] ppid=32025 vsize=227624 CPUtime=0.14
/proc/32027/task/32041/stat : 32041 (satake) R 32025 32027 27791 0 -1 4202560 1884 0 0 0 0 14 0 0 20 0 17 0 634206433 233086976 43066 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 227624

[startup+0.702425 s]
/proc/loadavg: 7.91 9.68 11.26 2/184 32027
/proc/meminfo: memFree=19025604/36427776 swapFree=4488/8068
[pid=32027] ppid=32025 vsize=694568 CPUtime=7.13
/proc/32027/stat : 32027 (satake) S 32025 32027 27791 0 -1 4202496 114138 0 0 0 1 712 0 0 20 0 17 0 634206432 711237632 114081 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32027/statm: 173642 114130 63 164 0 173477 0
[pid=32027/tid=32028] ppid=32025 vsize=694568 CPUtime=0
/proc/32027/task/32028/stat : 32028 (satake) S 32025 32027 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634206432 711237632 114155 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32029] ppid=32025 vsize=694568 CPUtime=0.6
/proc/32027/task/32029/stat : 32029 (satake) R 32025 32027 27791 0 -1 4202560 8100 0 0 0 0 60 0 0 20 0 17 0 634206432 711237632 114189 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32027/tid=32030] ppid=32025 vsize=694568 CPUtime=0.6
/proc/32027/task/32030/stat : 32030 (satake) R 32025 32027 27791 0 -1 4202560 10833 0 0 0 0 60 0 0 20 0 17 0 634206432 711237632 114214 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32027/tid=32031] ppid=32025 vsize=694568 CPUtime=0.28
/proc/32027/task/32031/stat : 32031 (satake) R 32025 32027 27791 0 -1 4202560 4774 0 0 0 0 28 0 0 20 0 17 0 634206433 711237632 114234 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32027/tid=32032] ppid=32025 vsize=694568 CPUtime=0.6
/proc/32027/task/32032/stat : 32032 (satake) R 32025 32027 27791 0 -1 4202560 8837 0 0 0 0 60 0 0 20 0 17 0 634206433 711237632 114273 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32027/tid=32033] ppid=32025 vsize=694568 CPUtime=0.3
/proc/32027/task/32033/stat : 32033 (satake) R 32025 32027 27791 0 -1 4202560 5173 0 0 0 0 30 0 0 20 0 17 0 634206433 711237632 114293 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32034] ppid=32025 vsize=694568 CPUtime=0.6
/proc/32027/task/32034/stat : 32034 (satake) R 32025 32027 27791 0 -1 4202560 8005 0 0 0 0 60 0 0 20 0 17 0 634206433 711237632 114308 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32027/tid=32035] ppid=32025 vsize=694568 CPUtime=0.6
/proc/32027/task/32035/stat : 32035 (satake) R 32025 32027 27791 0 -1 4202560 8369 0 0 0 0 60 0 0 20 0 17 0 634206433 711237632 114334 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32027/tid=32036] ppid=32025 vsize=694568 CPUtime=0.3
/proc/32027/task/32036/stat : 32036 (satake) R 32025 32027 27791 0 -1 4202560 4695 0 0 0 0 30 0 0 20 0 17 0 634206433 711237632 114348 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32027/tid=32037] ppid=32025 vsize=694568 CPUtime=0.58
/proc/32027/task/32037/stat : 32037 (satake) R 32025 32027 27791 0 -1 4202560 10850 0 0 0 0 58 0 0 20 0 17 0 634206433 711237632 114369 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32027/tid=32038] ppid=32025 vsize=694568 CPUtime=0.6
/proc/32027/task/32038/stat : 32038 (satake) R 32025 32027 27791 0 -1 4202560 10519 0 0 0 0 60 0 0 20 0 17 0 634206433 711237632 114399 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32027/tid=32039] ppid=32025 vsize=694568 CPUtime=0.3
/proc/32027/task/32039/stat : 32039 (satake) R 32025 32027 27791 0 -1 4202560 4684 0 0 0 0 30 0 0 20 0 17 0 634206433 711237632 114423 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32027/tid=32040] ppid=32025 vsize=694568 CPUtime=0.54
/proc/32027/task/32040/stat : 32040 (satake) R 32025 32027 27791 0 -1 4202560 8209 0 0 0 0 54 0 0 20 0 17 0 634206433 711237632 114441 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32027/tid=32041] ppid=32025 vsize=694568 CPUtime=0.38
/proc/32027/task/32041/stat : 32041 (satake) R 32025 32027 27791 0 -1 4202560 5390 0 0 0 0 38 0 0 20 0 17 0 634206433 711237632 114470 18446744073709551615 134512640 135180984 4290777824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 694568

[startup+1.50457 s]
/proc/loadavg: 7.91 9.68 11.26 16/201 32044
/proc/meminfo: memFree=18338168/36427776 swapFree=4620/700916
[pid=32027] ppid=32025 vsize=1579304 CPUtime=15.75

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

deleting IPC queue 514261070
deleting IPC queue 514293839
deleting IPC queue 514326608
deleting IPC queue 514359377
deleting IPC queue 514392146
deleting IPC queue 514424915
deleting IPC queue 514457684
deleting IPC queue 514490453
deleting IPC queue 514523222
deleting IPC queue 514555991
deleting IPC queue 514588760
deleting IPC queue 514621529
deleting IPC queue 514654298
deleting IPC queue 514687067
deleting IPC queue 514719836
deleting IPC queue 514752605
deleting IPC queue 514785374
deleting IPC queue 514818143
deleting IPC queue 514850912
deleting IPC queue 514883681
deleting IPC queue 514916450
deleting IPC queue 514949219
deleting IPC queue 514981988
deleting IPC queue 515014757
deleting IPC queue 515047526
deleting IPC queue 515080295
deleting IPC queue 515113064
deleting IPC queue 515145833
deleting IPC queue 515178602
deleting IPC queue 515211371
deleting IPC queue 515244140
deleting IPC queue 515276909
deleting IPC queue 515309678
deleting IPC queue 515342447
deleting IPC queue 515375216
deleting IPC queue 515407985
deleting IPC queue 515440754
deleting IPC queue 515473523
deleting IPC queue 515506292
deleting IPC queue 515539061
deleting IPC queue 515571830
deleting IPC queue 515604599
deleting IPC queue 515637368
deleting IPC queue 515670137
deleting IPC queue 515702906
deleting IPC queue 515735675
deleting IPC queue 515768444
deleting IPC queue 515801213
deleting IPC queue 515833982
deleting IPC queue 515866751
deleting IPC queue 515899520
deleting IPC queue 515932289
deleting IPC queue 515965058
deleting IPC queue 515997827
deleting IPC queue 516030596
deleting IPC queue 516063365
deleting IPC queue 516096134
deleting IPC queue 516128903
deleting IPC queue 516161672
deleting IPC queue 516194441
deleting IPC queue 516227210
deleting IPC queue 516259979
deleting IPC queue 516292748
deleting IPC queue 516325517
deleting IPC queue 516358286
deleting IPC queue 516391055
deleting IPC queue 516423824
deleting IPC queue 516456593
deleting IPC queue 516489362
deleting IPC queue 516522131
deleting IPC queue 516554900
deleting IPC queue 516587669
deleting IPC queue 516620438
deleting IPC queue 516653207
deleting IPC queue 516685976
deleting IPC queue 516718745
deleting IPC queue 516751514
deleting IPC queue 516784283
deleting IPC queue 516817052
deleting IPC queue 516849821
deleting IPC queue 516882590
deleting IPC queue 516915359
deleting IPC queue 516948128
deleting IPC queue 516980897
deleting IPC queue 517013666
deleting IPC queue 517046435
deleting IPC queue 517079204
deleting IPC queue 517111973
deleting IPC queue 517144742
deleting IPC queue 517177511
deleting IPC queue 517210280
deleting IPC queue 517243049
deleting IPC queue 517275818
deleting IPC queue 517308587
deleting IPC queue 517341356
deleting IPC queue 517374125
deleting IPC queue 517406894
deleting IPC queue 517439663
deleting IPC queue 517472432
deleting IPC queue 517505201
deleting IPC queue 517537970
deleting IPC queue 517570739
deleting IPC queue 517603508
deleting IPC queue 517636277
deleting IPC queue 517669046
deleting IPC queue 517701815
deleting IPC queue 517734584
deleting IPC queue 517767353
deleting IPC queue 517800122
deleting IPC queue 517832891
deleting IPC queue 517865660
deleting IPC queue 517898429
deleting IPC queue 517931198
deleting IPC queue 517963967
deleting IPC queue 517996736
deleting IPC queue 518029505
deleting IPC queue 518062274
deleting IPC queue 518095043
deleting IPC queue 518127812
deleting IPC queue 518160581
deleting IPC queue 518193350
deleting IPC queue 518226119
deleting IPC queue 518258888
deleting IPC queue 518291657
deleting IPC queue 518324426
deleting IPC queue 518357195
deleting IPC queue 518389964
deleting IPC queue 518422733
deleting IPC queue 518455502
deleting IPC queue 518488271
deleting IPC queue 518521040
deleting IPC queue 518553809
deleting IPC queue 518586578
deleting IPC queue 518619347
deleting IPC queue 518652116
deleting IPC queue 518684885
deleting IPC queue 518717654
deleting IPC queue 518750423
deleting IPC queue 518783192
deleting IPC queue 518815961
deleting IPC queue 518848730
deleting IPC queue 518881499
deleting IPC queue 518914268
deleting IPC queue 518947037
deleting IPC queue 518979806
deleting IPC queue 519012575
deleting IPC queue 519045344
deleting IPC queue 519078113
deleting IPC queue 519110882
deleting IPC queue 519143651
deleting IPC queue 519176420
deleting IPC queue 519209189
deleting IPC queue 519241958
deleting IPC queue 519274727
deleting IPC queue 519307496
deleting IPC queue 519340265
deleting IPC queue 519373034
deleting IPC queue 519405803
deleting IPC queue 519438572
deleting IPC queue 519471341
deleting IPC queue 519504110
deleting IPC queue 519536879
deleting IPC queue 519569648
deleting IPC queue 519602417
deleting IPC queue 519635186
deleting IPC queue 519667955
deleting IPC queue 519700724
deleting IPC queue 519733493
deleting IPC queue 519766262
deleting IPC queue 519799031
deleting IPC queue 519831800
deleting IPC queue 519864569
deleting IPC queue 519897338
deleting IPC queue 519930107
deleting IPC queue 519962876
deleting IPC queue 519995645
deleting IPC queue 520028414
deleting IPC queue 520061183

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.45615
system time used= 53.9674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505296
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= 183629
involuntary context switches= 783

runsolver used 0.052003 second user time and 0.136008 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 21:36:37
IDJOB=1776417
IDBENCH=20506
IDSOLVER=631
FILE ID=xenhost3-49/1776417-1244748997
PBS_JOBID=
Free space on /tmp= 6928 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/narain/clauses-8.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776417-1244748997/watcher-1776417-1244748997 -o /tmp/evaluation-result-1776417-1244748997/solver-1776417-1244748997 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776417-1244748997.cnf 16 10000

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED= 227410348

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:      19025604 kB
Buffers:        432400 kB
Cached:       14215296 kB
SwapCached:          0 kB
Active:        4077752 kB
Inactive:     10578476 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:          114928 kB
Writeback:           0 kB
AnonPages:        8068 kB
Mapped:           3824 kB
Slab:           690572 kB
SReclaimable:   663728 kB
SUnreclaim:      26844 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 6928 MiB
End job on xenhost3-49 at 2009-06-11 21:36:51