Trace number 1775982

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) 62.1799 15.0718

General information on the benchmark

Nameindustrial/palacios/hard/
safe-50-h49-unsat.cnf
MD5SUMafc9746f162b3434bc79ea21bd1704d5
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 variables615037
Number of clauses2098249
Sum of the clauses size5069473
Maximum clause length101
Minimum clause length1
Number of clauses of size 150
Number of clauses of size 21488062
Number of clauses of size 3602029
Number of clauses of size 4238
Number of clauses of size 5148
Number of clauses of size over 57722

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-1775982-1244732376/watcher-1775982-1244732376 -o /tmp/evaluation-result-1775982-1244732376/solver-1775982-1244732376 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775982-1244732376.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: 8.71 7.88 7.68 2/184 30097
/proc/meminfo: memFree=19106304/36427776 swapFree=3844/8144
[pid=30097] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/stat : 30097 (satake) S 30095 30097 27791 0 -1 4202496 553 0 0 0 0 0 0 0 20 0 17 0 632544071 7860224 507 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30097/statm: 1919 507 63 164 0 1754 0
[pid=30097/tid=30098] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/task/30098/stat : 30098 (satake) S 30095 30097 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 632544071 7860224 512 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30099] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/task/30099/stat : 30099 (satake) R 30095 30097 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 632544071 7860224 514 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30097/tid=30100] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/task/30100/stat : 30100 (satake) R 30095 30097 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 17 0 632544071 7860224 515 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30097/tid=30101] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/task/30101/stat : 30101 (satake) S 30095 30097 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 632544071 7860224 525 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30102] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/task/30102/stat : 30102 (satake) D 30095 30097 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 632544071 7860224 535 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30097/tid=30103] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/task/30103/stat : 30103 (satake) R 30095 30097 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 632544071 7860224 536 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30104] ppid=30095 vsize=7676 CPUtime=0
/proc/30097/task/30104/stat : 30104 (satake) D 30095 30097 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 632544072 7860224 536 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30105] ppid=30095 vsize=7808 CPUtime=0
/proc/30097/task/30105/stat : 30105 (satake) D 30095 30097 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 632544072 7995392 537 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30106] ppid=30095 vsize=7808 CPUtime=0
/proc/30097/task/30106/stat : 30106 (satake) D 30095 30097 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 632544072 7995392 541 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30107] ppid=30095 vsize=7808 CPUtime=0
/proc/30097/task/30107/stat : 30107 (satake) S 30095 30097 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632544072 7995392 543 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30108] ppid=30095 vsize=7808 CPUtime=0
/proc/30097/task/30108/stat : 30108 (satake) R 30095 30097 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 632544072 7995392 543 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30097/tid=30109] ppid=30095 vsize=7808 CPUtime=0
/proc/30097/task/30109/stat : 30109 (satake) S 30095 30097 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632544072 7995392 543 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30097/tid=30110] ppid=30095 vsize=8068 CPUtime=0
/proc/30097/task/30110/stat : 30110 (satake) R 30095 30097 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632544072 8261632 543 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30097/tid=30111] ppid=30095 vsize=8068 CPUtime=0
/proc/30097/task/30111/stat : 30111 (satake) D 30095 30097 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632544072 8261632 543 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30097/tid=30112] ppid=30095 vsize=8068 CPUtime=0
/proc/30097/task/30112/stat : 30112 (satake) S 30095 30097 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 632544072 8261632 543 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30113] ppid=30095 vsize=8068 CPUtime=0
/proc/30097/task/30113/stat : 30113 (satake) R 30095 30097 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 632544072 8261632 545 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.043629 s]
/proc/loadavg: 8.71 7.88 7.68 2/184 30097
/proc/meminfo: memFree=19106304/36427776 swapFree=3844/8144
[pid=30097] ppid=30095 vsize=24408 CPUtime=0.19
/proc/30097/stat : 30097 (satake) S 30095 30097 27791 0 -1 4202496 3526 0 0 0 5 14 0 0 20 0 17 0 632544071 24993792 3465 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30097/statm: 6102 3466 63 164 0 5937 0
[pid=30097/tid=30098] ppid=30095 vsize=24408 CPUtime=0
/proc/30097/task/30098/stat : 30098 (satake) S 30095 30097 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 632544071 24993792 3466 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30099] ppid=30095 vsize=24408 CPUtime=0.02
/proc/30097/task/30099/stat : 30099 (satake) D 30095 30097 27791 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 17 0 632544071 24993792 3466 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30097/tid=30100] ppid=30095 vsize=24408 CPUtime=0.02
/proc/30097/task/30100/stat : 30100 (satake) D 30095 30097 27791 0 -1 4202560 359 0 0 0 0 2 0 0 20 0 17 0 632544071 24993792 3466 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30097/tid=30101] ppid=30095 vsize=25432 CPUtime=0.02
/proc/30097/task/30101/stat : 30101 (satake) R 30095 30097 27791 0 -1 4202560 361 0 0 0 0 2 0 0 20 0 17 0 632544071 26042368 3467 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30102] ppid=30095 vsize=25432 CPUtime=0.02
/proc/30097/task/30102/stat : 30102 (satake) R 30095 30097 27791 0 -1 4202560 337 0 0 0 0 2 0 0 20 0 17 0 632544071 26042368 3471 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30097/tid=30103] ppid=30095 vsize=25432 CPUtime=0
/proc/30097/task/30103/stat : 30103 (satake) R 30095 30097 27791 0 -1 4202560 246 0 0 0 0 0 0 0 20 0 17 0 632544071 26042368 3473 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30104] ppid=30095 vsize=25432 CPUtime=0.02
/proc/30097/task/30104/stat : 30104 (satake) R 30095 30097 27791 0 -1 4202560 308 0 0 0 0 2 0 0 20 0 17 0 632544072 26042368 3474 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30105] ppid=30095 vsize=25432 CPUtime=0.02
/proc/30097/task/30105/stat : 30105 (satake) R 30095 30097 27791 0 -1 4202560 248 0 0 0 2 0 0 0 20 0 17 0 632544072 26042368 3475 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30106] ppid=30095 vsize=25432 CPUtime=0
/proc/30097/task/30106/stat : 30106 (satake) R 30095 30097 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 632544072 26042368 3475 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30107] ppid=30095 vsize=25432 CPUtime=0
/proc/30097/task/30107/stat : 30107 (satake) R 30095 30097 27791 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 17 0 632544072 26042368 3475 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30108] ppid=30095 vsize=25432 CPUtime=0
/proc/30097/task/30108/stat : 30108 (satake) R 30095 30097 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 632544072 26042368 3475 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30097/tid=30109] ppid=30095 vsize=25432 CPUtime=0.02
/proc/30097/task/30109/stat : 30109 (satake) R 30095 30097 27791 0 -1 4202560 328 0 0 0 0 2 0 0 20 0 17 0 632544072 26042368 3477 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30097/tid=30110] ppid=30095 vsize=25432 CPUtime=0.02
/proc/30097/task/30110/stat : 30110 (satake) R 30095 30097 27791 0 -1 4202560 276 0 0 0 0 2 0 0 20 0 17 0 632544072 26042368 3481 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30097/tid=30111] ppid=30095 vsize=25432 CPUtime=0
/proc/30097/task/30111/stat : 30111 (satake) R 30095 30097 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 632544072 26042368 3501 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30097/tid=30112] ppid=30095 vsize=25432 CPUtime=0
/proc/30097/task/30112/stat : 30112 (satake) R 30095 30097 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 17 0 632544072 26042368 3527 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30113] ppid=30095 vsize=25432 CPUtime=0
/proc/30097/task/30113/stat : 30113 (satake) R 30095 30097 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 632544072 26042368 3561 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24408

[startup+0.103504 s]
/proc/loadavg: 8.71 7.88 7.68 2/184 30097
/proc/meminfo: memFree=19106304/36427776 swapFree=3844/8144
[pid=30097] ppid=30095 vsize=87256 CPUtime=0.65
/proc/30097/stat : 30097 (satake) S 30095 30097 27791 0 -1 4202496 16634 0 0 0 6 59 0 0 20 0 17 0 632544071 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30097/statm: 21814 16572 63 164 0 21649 0
[pid=30097/tid=30098] ppid=30095 vsize=87256 CPUtime=0
/proc/30097/task/30098/stat : 30098 (satake) S 30095 30097 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 632544071 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30099] ppid=30095 vsize=87256 CPUtime=0.06
/proc/30097/task/30099/stat : 30099 (satake) D 30095 30097 27791 0 -1 4202560 1587 0 0 0 2 4 0 0 20 0 17 0 632544071 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30097/tid=30100] ppid=30095 vsize=87256 CPUtime=0.06
/proc/30097/task/30100/stat : 30100 (satake) D 30095 30097 27791 0 -1 4202560 1599 0 0 0 0 6 0 0 20 0 17 0 632544071 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30097/tid=30101] ppid=30095 vsize=87256 CPUtime=0.06
/proc/30097/task/30101/stat : 30101 (satake) D 30095 30097 27791 0 -1 4202560 1538 0 0 0 0 6 0 0 20 0 17 0 632544071 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30102] ppid=30095 vsize=87256 CPUtime=0.06
/proc/30097/task/30102/stat : 30102 (satake) D 30095 30097 27791 0 -1 4202560 1503 0 0 0 0 6 0 0 20 0 17 0 632544071 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30097/tid=30103] ppid=30095 vsize=87256 CPUtime=0.02
/proc/30097/task/30103/stat : 30103 (satake) D 30095 30097 27791 0 -1 4202560 878 0 0 0 0 2 0 0 20 0 17 0 632544071 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30104] ppid=30095 vsize=87256 CPUtime=0.04
/proc/30097/task/30104/stat : 30104 (satake) D 30095 30097 27791 0 -1 4202560 1033 0 0 0 0 4 0 0 20 0 17 0 632544072 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30105] ppid=30095 vsize=87256 CPUtime=0.02
/proc/30097/task/30105/stat : 30105 (satake) D 30095 30097 27791 0 -1 4202560 405 0 0 0 2 0 0 0 20 0 17 0 632544072 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30106] ppid=30095 vsize=87256 CPUtime=0.02
/proc/30097/task/30106/stat : 30106 (satake) D 30095 30097 27791 0 -1 4202560 481 0 0 0 0 2 0 0 20 0 17 0 632544072 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30107] ppid=30095 vsize=87256 CPUtime=0.02
/proc/30097/task/30107/stat : 30107 (satake) D 30095 30097 27791 0 -1 4202560 979 0 0 0 0 2 0 0 20 0 17 0 632544072 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30108] ppid=30095 vsize=87256 CPUtime=0.02
/proc/30097/task/30108/stat : 30108 (satake) D 30095 30097 27791 0 -1 4202560 434 0 0 0 0 2 0 0 20 0 17 0 632544072 89350144 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30097/tid=30109] ppid=30095 vsize=95452 CPUtime=0.06
/proc/30097/task/30109/stat : 30109 (satake) D 30095 30097 27791 0 -1 4202560 1806 0 0 0 0 6 0 0 20 0 17 0 632544072 97742848 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30097/tid=30110] ppid=30095 vsize=91352 CPUtime=0.06
/proc/30097/task/30110/stat : 30110 (satake) D 30095 30097 27791 0 -1 4202560 1552 0 0 0 0 6 0 0 20 0 17 0 632544072 93544448 16572 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30097/tid=30111] ppid=30095 vsize=91352 CPUtime=0
/proc/30097/task/30111/stat : 30111 (satake) D 30095 30097 27791 0 -1 4202560 268 0 0 0 0 0 0 0 20 0 17 0 632544072 93544448 16573 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30097/tid=30112] ppid=30095 vsize=91352 CPUtime=0.04
/proc/30097/task/30112/stat : 30112 (satake) R 30095 30097 27791 0 -1 4202560 1398 0 0 0 0 4 0 0 20 0 17 0 632544072 93544448 16578 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30113] ppid=30095 vsize=91352 CPUtime=0.04
/proc/30097/task/30113/stat : 30113 (satake) R 30095 30097 27791 0 -1 4202560 1042 0 0 0 0 4 0 0 20 0 17 0 632544072 93544448 16579 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 87256

[startup+0.303577 s]
/proc/loadavg: 8.71 7.88 7.68 2/184 30097
/proc/meminfo: memFree=19106304/36427776 swapFree=3844/8144
[pid=30097] ppid=30095 vsize=342232 CPUtime=2.49
/proc/30097/stat : 30097 (satake) S 30095 30097 27791 0 -1 4202496 55859 0 0 0 6 243 0 0 20 0 17 0 632544071 350445568 55803 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30097/statm: 85558 55863 63 164 0 85393 0
[pid=30097/tid=30098] ppid=30095 vsize=342232 CPUtime=0
/proc/30097/task/30098/stat : 30098 (satake) S 30095 30097 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 632544071 350445568 55892 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30099] ppid=30095 vsize=342232 CPUtime=0.22
/proc/30097/task/30099/stat : 30099 (satake) R 30095 30097 27791 0 -1 4202560 5255 0 0 0 2 20 0 0 20 0 17 0 632544071 350445568 55915 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30097/tid=30100] ppid=30095 vsize=342232 CPUtime=0.22
/proc/30097/task/30100/stat : 30100 (satake) R 30095 30097 27791 0 -1 4202560 5340 0 0 0 0 22 0 0 20 0 17 0 632544071 350445568 55935 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30097/tid=30101] ppid=30095 vsize=342232 CPUtime=0.24
/proc/30097/task/30101/stat : 30101 (satake) R 30095 30097 27791 0 -1 4202560 4730 0 0 0 0 24 0 0 20 0 17 0 632544071 350445568 55951 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30102] ppid=30095 vsize=342232 CPUtime=0.22
/proc/30097/task/30102/stat : 30102 (satake) R 30095 30097 27791 0 -1 4202560 4692 0 0 0 0 22 0 0 20 0 17 0 632544071 350445568 55966 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30097/tid=30103] ppid=30095 vsize=342232 CPUtime=0.12
/proc/30097/task/30103/stat : 30103 (satake) R 30095 30097 27791 0 -1 4202560 3000 0 0 0 0 12 0 0 20 0 17 0 632544071 350445568 55994 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30104] ppid=30095 vsize=342232 CPUtime=0.14
/proc/30097/task/30104/stat : 30104 (satake) R 30095 30097 27791 0 -1 4202560 2793 0 0 0 0 14 0 0 20 0 17 0 632544072 350445568 56012 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30105] ppid=30095 vsize=342232 CPUtime=0.12
/proc/30097/task/30105/stat : 30105 (satake) R 30095 30097 27791 0 -1 4202560 2437 0 0 0 2 10 0 0 20 0 17 0 632544072 350445568 56029 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30106] ppid=30095 vsize=342232 CPUtime=0.08
/proc/30097/task/30106/stat : 30106 (satake) R 30095 30097 27791 0 -1 4202560 1950 0 0 0 0 8 0 0 20 0 17 0 632544072 350445568 56051 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30107] ppid=30095 vsize=342232 CPUtime=0.12
/proc/30097/task/30107/stat : 30107 (satake) R 30095 30097 27791 0 -1 4202560 3214 0 0 0 0 12 0 0 20 0 17 0 632544072 350445568 56079 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30108] ppid=30095 vsize=342232 CPUtime=0.12
/proc/30097/task/30108/stat : 30108 (satake) R 30095 30097 27791 0 -1 4202560 2161 0 0 0 0 12 0 0 20 0 17 0 632544072 350445568 56094 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30097/tid=30109] ppid=30095 vsize=342232 CPUtime=0.24
/proc/30097/task/30109/stat : 30109 (satake) R 30095 30097 27791 0 -1 4202560 5340 0 0 0 0 24 0 0 20 0 17 0 632544072 350445568 56110 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30097/tid=30110] ppid=30095 vsize=342232 CPUtime=0.22
/proc/30097/task/30110/stat : 30110 (satake) R 30095 30097 27791 0 -1 4202560 5234 0 0 0 0 22 0 0 20 0 17 0 632544072 350445568 56132 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30097/tid=30111] ppid=30095 vsize=342232 CPUtime=0.18
/proc/30097/task/30111/stat : 30111 (satake) R 30095 30097 27791 0 -1 4202560 4030 0 0 0 0 18 0 0 20 0 17 0 632544072 350445568 56147 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30097/tid=30112] ppid=30095 vsize=342232 CPUtime=0.12
/proc/30097/task/30112/stat : 30112 (satake) R 30095 30097 27791 0 -1 4202560 3275 0 0 0 0 12 0 0 20 0 17 0 632544072 350445568 56179 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30113] ppid=30095 vsize=342232 CPUtime=0.1
/proc/30097/task/30113/stat : 30113 (satake) R 30095 30097 27791 0 -1 4202560 2497 0 0 0 0 10 0 0 20 0 17 0 632544072 350445568 56197 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 342232

[startup+0.703413 s]
/proc/loadavg: 8.71 7.88 7.68 2/184 30097
/proc/meminfo: memFree=19106304/36427776 swapFree=3844/8144
[pid=30097] ppid=30095 vsize=626280 CPUtime=5.86
/proc/30097/stat : 30097 (satake) S 30095 30097 27791 0 -1 4202496 112275 0 0 0 7 579 0 0 20 0 17 0 632544071 641310720 112213 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30097/statm: 156570 112213 63 164 0 156405 0
[pid=30097/tid=30098] ppid=30095 vsize=626280 CPUtime=0
/proc/30097/task/30098/stat : 30098 (satake) S 30095 30097 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 632544071 641310720 112213 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30099] ppid=30095 vsize=626280 CPUtime=0.52
/proc/30097/task/30099/stat : 30099 (satake) D 30095 30097 27791 0 -1 4202560 10041 0 0 0 2 50 0 0 20 0 17 0 632544071 641310720 112214 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30097/tid=30100] ppid=30095 vsize=626280 CPUtime=0.54
/proc/30097/task/30100/stat : 30100 (satake) D 30095 30097 27791 0 -1 4202560 10300 0 0 0 0 54 0 0 20 0 17 0 632544071 641310720 112214 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30097/tid=30101] ppid=30095 vsize=626280 CPUtime=0.52
/proc/30097/task/30101/stat : 30101 (satake) D 30095 30097 27791 0 -1 4202560 9429 0 0 0 0 52 0 0 20 0 17 0 632544071 641310720 112217 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30097/tid=30102] ppid=30095 vsize=626280 CPUtime=0.54
/proc/30097/task/30102/stat : 30102 (satake) D 30095 30097 27791 0 -1 4202560 9449 0 0 0 0 54 0 0 20 0 17 0 632544071 641310720 112217 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30097/tid=30103] ppid=30095 vsize=626280 CPUtime=0.28
/proc/30097/task/30103/stat : 30103 (satake) D 30095 30097 27791 0 -1 4202560 6314 0 0 0 0 28 0 0 20 0 17 0 632544071 641310720 112217 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30097/tid=30104] ppid=30095 vsize=626280 CPUtime=0.32
/proc/30097/task/30104/stat : 30104 (satake) D 30095 30097 27791 0 -1 4202560 5603 0 0 0 0 32 0 0 20 0 17 0 632544072 641310720 112221 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30105] ppid=30095 vsize=626280 CPUtime=0.28
/proc/30097/task/30105/stat : 30105 (satake) R 30095 30097 27791 0 -1 4202560 5916 0 0 0 2 26 0 0 20 0 17 0 632544072 641310720 112224 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30097/tid=30106] ppid=30095 vsize=626280 CPUtime=0.24
/proc/30097/task/30106/stat : 30106 (satake) R 30095 30097 27791 0 -1 4202560 4167 0 0 0 0 24 0 0 20 0 17 0 632544072 641310720 112225 18446744073709551615 134512640 135180984 4291197776 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30097/tid=30107] ppid=30095 vsize=626280 CPUtime=0.26

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

deleting IPC queue 270991438
deleting IPC queue 271024207
deleting IPC queue 271056976
deleting IPC queue 271089745
deleting IPC queue 271122514
deleting IPC queue 271155283
deleting IPC queue 271188052
deleting IPC queue 271220821
deleting IPC queue 271253590
deleting IPC queue 271286359
deleting IPC queue 271319128
deleting IPC queue 271351897
deleting IPC queue 271384666
deleting IPC queue 271417435
deleting IPC queue 271450204
deleting IPC queue 271482973
deleting IPC queue 271515742
deleting IPC queue 271548511
deleting IPC queue 271581280
deleting IPC queue 271614049
deleting IPC queue 271646818
deleting IPC queue 271679587
deleting IPC queue 271712356
deleting IPC queue 271745125
deleting IPC queue 271777894
deleting IPC queue 271810663
deleting IPC queue 271843432
deleting IPC queue 271876201
deleting IPC queue 271908970
deleting IPC queue 271941739
deleting IPC queue 271974508
deleting IPC queue 272007277
deleting IPC queue 272040046
deleting IPC queue 272072815
deleting IPC queue 272105584
deleting IPC queue 272138353
deleting IPC queue 272171122
deleting IPC queue 272203891
deleting IPC queue 272236660
deleting IPC queue 272269429
deleting IPC queue 272302198
deleting IPC queue 272334967
deleting IPC queue 272367736
deleting IPC queue 272400505
deleting IPC queue 272433274
deleting IPC queue 272466043
deleting IPC queue 272498812
deleting IPC queue 272531581
deleting IPC queue 272564350
deleting IPC queue 272597119
deleting IPC queue 272629888
deleting IPC queue 272662657
deleting IPC queue 272695426
deleting IPC queue 272728195
deleting IPC queue 272760964
deleting IPC queue 272793733
deleting IPC queue 272826502
deleting IPC queue 272859271
deleting IPC queue 272892040
deleting IPC queue 272924809
deleting IPC queue 272957578
deleting IPC queue 272990347
deleting IPC queue 273023116
deleting IPC queue 273055885
deleting IPC queue 273088654
deleting IPC queue 273121423
deleting IPC queue 273154192
deleting IPC queue 273186961
deleting IPC queue 273219730
deleting IPC queue 273252499
deleting IPC queue 273285268
deleting IPC queue 273318037
deleting IPC queue 273350806
deleting IPC queue 273383575
deleting IPC queue 273416344
deleting IPC queue 273449113
deleting IPC queue 273481882
deleting IPC queue 273514651
deleting IPC queue 273547420
deleting IPC queue 273580189
deleting IPC queue 273612958
deleting IPC queue 273645727
deleting IPC queue 273678496
deleting IPC queue 273711265
deleting IPC queue 273744034
deleting IPC queue 273776803
deleting IPC queue 273809572
deleting IPC queue 273842341
deleting IPC queue 273875110
deleting IPC queue 273907879
deleting IPC queue 273940648
deleting IPC queue 273973417
deleting IPC queue 274006186
deleting IPC queue 274038955
deleting IPC queue 274071724
deleting IPC queue 274104493
deleting IPC queue 274137262
deleting IPC queue 274170031
deleting IPC queue 274202800
deleting IPC queue 274235569
deleting IPC queue 274268338
deleting IPC queue 274301107
deleting IPC queue 274333876
deleting IPC queue 274366645
deleting IPC queue 274399414
deleting IPC queue 274432183
deleting IPC queue 274464952
deleting IPC queue 274497721
deleting IPC queue 274530490
deleting IPC queue 274563259
deleting IPC queue 274596028
deleting IPC queue 274628797
deleting IPC queue 274661566
deleting IPC queue 274694335
deleting IPC queue 274727104
deleting IPC queue 274759873
deleting IPC queue 274792642
deleting IPC queue 274825411
deleting IPC queue 274858180
deleting IPC queue 274890949
deleting IPC queue 274923718
deleting IPC queue 274956487
deleting IPC queue 274989256
deleting IPC queue 275022025
deleting IPC queue 275054794
deleting IPC queue 275087563
deleting IPC queue 275120332
deleting IPC queue 275153101
deleting IPC queue 275185870
deleting IPC queue 275218639
deleting IPC queue 275251408
deleting IPC queue 275284177
deleting IPC queue 275316946
deleting IPC queue 275349715
deleting IPC queue 275382484
deleting IPC queue 275415253
deleting IPC queue 275448022
deleting IPC queue 275480791
deleting IPC queue 275513560
deleting IPC queue 275546329
deleting IPC queue 275579098
deleting IPC queue 275611867
deleting IPC queue 275644636
deleting IPC queue 275677405
deleting IPC queue 275710174
deleting IPC queue 275742943
deleting IPC queue 275775712
deleting IPC queue 275808481
deleting IPC queue 275841250
deleting IPC queue 275874019
deleting IPC queue 275906788
deleting IPC queue 275939557
deleting IPC queue 275972326
deleting IPC queue 276005095
deleting IPC queue 276037864
deleting IPC queue 276070633
deleting IPC queue 276103402
deleting IPC queue 276136171
deleting IPC queue 276168940
deleting IPC queue 276201709
deleting IPC queue 276234478
deleting IPC queue 276267247
deleting IPC queue 276300016
deleting IPC queue 276332785
deleting IPC queue 276365554
deleting IPC queue 276398323
deleting IPC queue 276431092
deleting IPC queue 276463861
deleting IPC queue 276496630
deleting IPC queue 276529399
deleting IPC queue 276562168
deleting IPC queue 276594937
deleting IPC queue 276627706
deleting IPC queue 276660475
deleting IPC queue 276693244
deleting IPC queue 276726013
deleting IPC queue 276758782
deleting IPC queue 276791551

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.4772
system time used= 42.7027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470305
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= 677012
involuntary context switches= 3622

runsolver used 0.040002 second user time and 0.252015 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 16:59:36
IDJOB=1775982
IDBENCH=20408
IDSOLVER=631
FILE ID=xenhost3-49/1775982-1244732376
PBS_JOBID=
Free space on /tmp= 7002 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/hard/safe-50-h49-unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775982-1244732376/watcher-1775982-1244732376 -o /tmp/evaluation-result-1775982-1244732376/solver-1775982-1244732376 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775982-1244732376.cnf 16 10000

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

MD5SUM BENCH= afc9746f162b3434bc79ea21bd1704d5
RANDOM SEED= 928779397

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:      19106296 kB
Buffers:        432156 kB
Cached:       14138740 kB
SwapCached:          0 kB
Active:        4077796 kB
Inactive:     10501996 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           39460 kB
Writeback:           0 kB
AnonPages:        8388 kB
Mapped:           4096 kB
Slab:           688448 kB
SReclaimable:   661620 kB
SUnreclaim:      26828 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7002 MiB
End job on xenhost3-49 at 2009-06-11 16:59:54