Trace number 1776327

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)? (TO) 10001.3 746.448

General information on the benchmark

Nameindustrial/grieu/
vmpc_33.cnf
MD5SUM4c4d694bb911a7a13a7cb66a99dd484c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark784.34
Satisfiable
(Un)Satisfiability was proved
Number of variables1089
Number of clauses177375
Sum of the clauses size464310
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269795
Number of clauses of size 3107514
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 566

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-1776327-1244745456/watcher-1776327-1244745456 -o /tmp/evaluation-result-1776327-1244745456/solver-1776327-1244745456 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776327-1244745456.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: 12.96 13.00 9.02 2/184 31637
/proc/meminfo: memFree=19144408/36427776 swapFree=3660/7240
[pid=31637] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/stat : 31637 (satake) R 31635 31637 27791 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 417 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31637/statm: 2093 418 63 164 0 1928 0
[pid=31637/tid=31638] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31638/stat : 31638 (satake) S 31635 31637 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 422 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31639] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31639/stat : 31639 (satake) R 31635 31637 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 425 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31640] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31640/stat : 31640 (satake) R 31635 31637 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 426 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31637/tid=31641] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31641/stat : 31641 (satake) R 31635 31637 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 429 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31642] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31642/stat : 31642 (satake) R 31635 31637 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 430 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31643] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31643/stat : 31643 (satake) D 31635 31637 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 433 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31644] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31644/stat : 31644 (satake) S 31635 31637 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 434 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31645] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31645/stat : 31645 (satake) D 31635 31637 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 436 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31637/tid=31646] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31646/stat : 31646 (satake) D 31635 31637 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 441 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31647] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31647/stat : 31647 (satake) S 31635 31637 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 441 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31648] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31648/stat : 31648 (satake) R 31635 31637 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 16 0 633851945 8572928 442 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31637/tid=31649] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31649/stat : 31649 (satake) S 31635 31637 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633851945 8572928 442 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31650] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31650/stat : 31650 (satake) R 31635 31637 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 633851945 8572928 442 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31637/tid=31651] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31651/stat : 31651 (satake) R 31635 31637 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 633851946 8572928 445 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31652] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31652/stat : 31652 (satake) R 31635 31637 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 633851946 8572928 447 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31653] ppid=31635 vsize=8372 CPUtime=0
/proc/31637/task/31653/stat : 31653 (satake) R 31635 31637 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 633851946 8572928 449 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.076494 s]
/proc/loadavg: 12.96 13.00 9.02 2/184 31637
/proc/meminfo: memFree=19144408/36427776 swapFree=3660/7240
[pid=31637] ppid=31635 vsize=43480 CPUtime=0.45
/proc/31637/stat : 31637 (satake) S 31635 31637 27791 0 -1 4202496 6457 0 0 0 1 44 0 0 20 0 17 0 633851945 44523520 6414 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31637/statm: 10870 6415 63 164 0 10705 0
[pid=31637/tid=31638] ppid=31635 vsize=43480 CPUtime=0
/proc/31637/task/31638/stat : 31638 (satake) S 31635 31637 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633851945 44523520 6415 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31639] ppid=31635 vsize=43480 CPUtime=0.02
/proc/31637/task/31639/stat : 31639 (satake) R 31635 31637 27791 0 -1 4202560 392 0 0 0 0 2 0 0 20 0 17 0 633851945 44523520 6415 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31640] ppid=31635 vsize=43480 CPUtime=0.04
/proc/31637/task/31640/stat : 31640 (satake) R 31635 31637 27791 0 -1 4202560 657 0 0 0 0 4 0 0 20 0 17 0 633851945 44523520 6416 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31637/tid=31641] ppid=31635 vsize=43480 CPUtime=0.02
/proc/31637/task/31641/stat : 31641 (satake) R 31635 31637 27791 0 -1 4202560 360 0 0 0 0 2 0 0 20 0 17 0 633851945 44523520 6417 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31642] ppid=31635 vsize=43480 CPUtime=0.02
/proc/31637/task/31642/stat : 31642 (satake) R 31635 31637 27791 0 -1 4202560 364 0 0 0 0 2 0 0 20 0 17 0 633851945 44523520 6418 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31643] ppid=31635 vsize=43480 CPUtime=0.04
/proc/31637/task/31643/stat : 31643 (satake) S 31635 31637 27791 0 -1 4202560 643 0 0 0 0 4 0 0 20 0 17 0 633851945 44523520 6420 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31644] ppid=31635 vsize=43480 CPUtime=0.02
/proc/31637/task/31644/stat : 31644 (satake) R 31635 31637 27791 0 -1 4202560 513 0 0 0 0 2 0 0 20 0 17 0 633851945 44523520 6420 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31645] ppid=31635 vsize=43480 CPUtime=0.04
/proc/31637/task/31645/stat : 31645 (satake) R 31635 31637 27791 0 -1 4202560 567 0 0 0 0 4 0 0 20 0 17 0 633851945 44523520 6432 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31637/tid=31646] ppid=31635 vsize=43480 CPUtime=0.04
/proc/31637/task/31646/stat : 31646 (satake) R 31635 31637 27791 0 -1 4202560 545 0 0 0 0 4 0 0 20 0 17 0 633851945 44523520 6461 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31647] ppid=31635 vsize=43480 CPUtime=0
/proc/31637/task/31647/stat : 31647 (satake) R 31635 31637 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 633851945 44523520 6473 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31648] ppid=31635 vsize=43480 CPUtime=0.04
/proc/31637/task/31648/stat : 31648 (satake) D 31635 31637 27791 0 -1 4202560 575 0 0 0 0 4 0 0 20 0 17 0 633851945 44523520 6473 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31637/tid=31649] ppid=31635 vsize=43480 CPUtime=0.02
/proc/31637/task/31649/stat : 31649 (satake) D 31635 31637 27791 0 -1 4202560 262 0 0 0 0 2 0 0 20 0 17 0 633851945 44523520 6474 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31650] ppid=31635 vsize=43480 CPUtime=0.04
/proc/31637/task/31650/stat : 31650 (satake) D 31635 31637 27791 0 -1 4202560 627 0 0 0 0 4 0 0 20 0 17 0 633851945 44523520 6477 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31637/tid=31651] ppid=31635 vsize=43480 CPUtime=0
/proc/31637/task/31651/stat : 31651 (satake) R 31635 31637 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 17 0 633851946 44523520 6479 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31652] ppid=31635 vsize=43480 CPUtime=0
/proc/31637/task/31652/stat : 31652 (satake) R 31635 31637 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 633851946 44523520 6480 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31653] ppid=31635 vsize=43480 CPUtime=0.04
/proc/31637/task/31653/stat : 31653 (satake) R 31635 31637 27791 0 -1 4202560 576 0 0 0 0 4 0 0 20 0 17 0 633851946 44523520 6481 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 43480

[startup+0.104877 s]
/proc/loadavg: 12.96 13.00 9.02 2/184 31637
/proc/meminfo: memFree=19144408/36427776 swapFree=3660/7240
[pid=31637] ppid=31635 vsize=42076 CPUtime=0.59
/proc/31637/stat : 31637 (satake) S 31635 31637 27791 0 -1 4202496 7713 0 0 0 2 57 0 0 20 0 17 0 633851945 43085824 7670 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31637/statm: 10519 7674 63 164 0 10354 0
[pid=31637/tid=31638] ppid=31635 vsize=42076 CPUtime=0
/proc/31637/task/31638/stat : 31638 (satake) S 31635 31637 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633851945 43085824 7674 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31639] ppid=31635 vsize=42076 CPUtime=0.02
/proc/31637/task/31639/stat : 31639 (satake) R 31635 31637 27791 0 -1 4202560 484 0 0 0 0 2 0 0 20 0 17 0 633851945 43085824 7674 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31640] ppid=31635 vsize=42076 CPUtime=0.06
/proc/31637/task/31640/stat : 31640 (satake) R 31635 31637 27791 0 -1 4202560 695 0 0 0 0 6 0 0 20 0 17 0 633851945 43085824 7674 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31637/tid=31641] ppid=31635 vsize=42076 CPUtime=0.02
/proc/31637/task/31641/stat : 31641 (satake) R 31635 31637 27791 0 -1 4202560 461 0 0 0 0 2 0 0 20 0 17 0 633851945 43085824 7675 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31642] ppid=31635 vsize=42076 CPUtime=0.02
/proc/31637/task/31642/stat : 31642 (satake) R 31635 31637 27791 0 -1 4202560 454 0 0 0 0 2 0 0 20 0 17 0 633851945 43085824 7677 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31643] ppid=31635 vsize=42076 CPUtime=0.04
/proc/31637/task/31643/stat : 31643 (satake) R 31635 31637 27791 0 -1 4202560 654 0 0 0 0 4 0 0 20 0 17 0 633851945 43085824 7678 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31644] ppid=31635 vsize=40476 CPUtime=0.04
/proc/31637/task/31644/stat : 31644 (satake) D 31635 31637 27791 0 -1 4202560 605 0 0 0 0 4 0 0 20 0 17 0 633851945 41447424 7678 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31645] ppid=31635 vsize=40476 CPUtime=0.06
/proc/31637/task/31645/stat : 31645 (satake) D 31635 31637 27791 0 -1 4202560 666 0 0 0 0 6 0 0 20 0 17 0 633851945 41447424 7678 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31637/tid=31646] ppid=31635 vsize=40476 CPUtime=0.04
/proc/31637/task/31646/stat : 31646 (satake) S 31635 31637 27791 0 -1 4202560 643 0 0 0 0 4 0 0 20 0 17 0 633851945 41447424 7679 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31647] ppid=31635 vsize=40476 CPUtime=0.02
/proc/31637/task/31647/stat : 31647 (satake) D 31635 31637 27791 0 -1 4202560 196 0 0 0 2 0 0 0 20 0 17 0 633851945 41447424 7679 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31648] ppid=31635 vsize=40476 CPUtime=0.06
/proc/31637/task/31648/stat : 31648 (satake) R 31635 31637 27791 0 -1 4202560 673 0 0 0 0 6 0 0 20 0 17 0 633851945 41447424 7679 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31637/tid=31649] ppid=31635 vsize=40476 CPUtime=0.02
/proc/31637/task/31649/stat : 31649 (satake) R 31635 31637 27791 0 -1 4202560 364 0 0 0 0 2 0 0 20 0 17 0 633851945 41447424 7684 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31650] ppid=31635 vsize=40476 CPUtime=0.06
/proc/31637/task/31650/stat : 31650 (satake) D 31635 31637 27791 0 -1 4202560 669 0 0 0 0 6 0 0 20 0 17 0 633851945 41447424 7685 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31637/tid=31651] ppid=31635 vsize=40476 CPUtime=0
/proc/31637/task/31651/stat : 31651 (satake) R 31635 31637 27791 0 -1 4202560 169 0 0 0 0 0 0 0 20 0 17 0 633851946 41447424 7686 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31652] ppid=31635 vsize=40476 CPUtime=0.02
/proc/31637/task/31652/stat : 31652 (satake) R 31635 31637 27791 0 -1 4202560 192 0 0 0 0 2 0 0 20 0 17 0 633851946 41447424 7686 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31653] ppid=31635 vsize=40476 CPUtime=0.06
/proc/31637/task/31653/stat : 31653 (satake) S 31635 31637 27791 0 -1 4202560 664 0 0 0 0 6 0 0 20 0 17 0 633851946 41447424 7687 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 42076

[startup+0.304495 s]
/proc/loadavg: 12.96 13.00 9.02 2/184 31637
/proc/meminfo: memFree=19144408/36427776 swapFree=3660/7240
[pid=31637] ppid=31635 vsize=61096 CPUtime=1.45
/proc/31637/stat : 31637 (satake) S 31635 31637 27791 0 -1 4202496 13707 0 0 0 9 136 0 0 20 0 17 0 633851945 62562304 13664 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31637/statm: 15274 13664 63 164 0 15109 0
[pid=31637/tid=31638] ppid=31635 vsize=61096 CPUtime=0
/proc/31637/task/31638/stat : 31638 (satake) S 31635 31637 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633851945 62562304 13664 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31639] ppid=31635 vsize=61096 CPUtime=0.08
/proc/31637/task/31639/stat : 31639 (satake) D 31635 31637 27791 0 -1 4202560 933 0 0 0 2 6 0 0 20 0 17 0 633851945 62562304 13664 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31640] ppid=31635 vsize=61096 CPUtime=0.12
/proc/31637/task/31640/stat : 31640 (satake) D 31635 31637 27791 0 -1 4202560 1042 0 0 0 0 12 0 0 20 0 17 0 633851945 62562304 13664 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31637/tid=31641] ppid=31635 vsize=61096 CPUtime=0.08
/proc/31637/task/31641/stat : 31641 (satake) S 31635 31637 27791 0 -1 4202560 933 0 0 0 0 8 0 0 20 0 17 0 633851945 62562304 13664 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31642] ppid=31635 vsize=61096 CPUtime=0.08
/proc/31637/task/31642/stat : 31642 (satake) D 31635 31637 27791 0 -1 4202560 846 0 0 0 0 8 0 0 20 0 17 0 633851945 62562304 13665 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31643] ppid=31635 vsize=61096 CPUtime=0.1
/proc/31637/task/31643/stat : 31643 (satake) R 31635 31637 27791 0 -1 4202560 930 0 0 0 0 10 0 0 20 0 17 0 633851945 62562304 13667 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31644] ppid=31635 vsize=61228 CPUtime=0.1
/proc/31637/task/31644/stat : 31644 (satake) D 31635 31637 27791 0 -1 4202560 941 0 0 0 2 8 0 0 20 0 17 0 633851945 62697472 13667 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31645] ppid=31635 vsize=61228 CPUtime=0.12
/proc/31637/task/31645/stat : 31645 (satake) D 31635 31637 27791 0 -1 4202560 924 0 0 0 0 12 0 0 20 0 17 0 633851945 62697472 13667 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31637/tid=31646] ppid=31635 vsize=62252 CPUtime=0.08
/proc/31637/task/31646/stat : 31646 (satake) D 31635 31637 27791 0 -1 4202560 838 0 0 0 0 8 0 0 20 0 17 0 633851945 63746048 13667 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31647] ppid=31635 vsize=62252 CPUtime=0.06
/proc/31637/task/31647/stat : 31647 (satake) S 31635 31637 27791 0 -1 4202560 814 0 0 0 2 4 0 0 20 0 17 0 633851945 63746048 13668 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31648] ppid=31635 vsize=62252 CPUtime=0.12
/proc/31637/task/31648/stat : 31648 (satake) D 31635 31637 27791 0 -1 4202560 1115 0 0 0 0 12 0 0 20 0 17 0 633851945 63746048 13670 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31637/tid=31649] ppid=31635 vsize=62252 CPUtime=0.06
/proc/31637/task/31649/stat : 31649 (satake) S 31635 31637 27791 0 -1 4202560 824 0 0 0 0 6 0 0 20 0 17 0 633851945 63746048 13670 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31637/tid=31650] ppid=31635 vsize=62252 CPUtime=0.14
/proc/31637/task/31650/stat : 31650 (satake) S 31635 31637 27791 0 -1 4202560 998 0 0 0 0 14 0 0 20 0 17 0 633851945 63746048 13670 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31637/tid=31651] ppid=31635 vsize=62252 CPUtime=0.06
/proc/31637/task/31651/stat : 31651 (satake) S 31635 31637 27791 0 -1 4202560 798 0 0 0 0 6 0 0 20 0 17 0 633851946 63746048 13672 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31652] ppid=31635 vsize=62252 CPUtime=0.06
/proc/31637/task/31652/stat : 31652 (satake) S 31635 31637 27791 0 -1 4202560 803 0 0 0 0 6 0 0 20 0 17 0 633851946 63746048 13672 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31653] ppid=31635 vsize=62252 CPUtime=0.1
/proc/31637/task/31653/stat : 31653 (satake) D 31635 31637 27791 0 -1 4202560 838 0 0 0 0 10 0 0 20 0 17 0 633851946 63746048 13673 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 61096

[startup+0.704559 s]
/proc/loadavg: 12.96 13.00 9.02 2/184 31637
/proc/meminfo: memFree=19144408/36427776 swapFree=3660/7240
[pid=31637] ppid=31635 vsize=100984 CPUtime=3.18
/proc/31637/stat : 31637 (satake) S 31635 31637 27791 0 -1 4202496 22428 0 0 0 112 206 0 0 20 0 17 0 633851945 103407616 22385 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31637/statm: 25246 22388 63 164 0 25081 0
[pid=31637/tid=31638] ppid=31635 vsize=100984 CPUtime=0
/proc/31637/task/31638/stat : 31638 (satake) S 31635 31637 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633851945 103407616 22390 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31639] ppid=31635 vsize=100984 CPUtime=0.18
/proc/31637/task/31639/stat : 31639 (satake) R 31635 31637 27791 0 -1 4202560 1394 0 0 0 6 12 0 0 20 0 17 0 633851945 103407616 22390 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31637/tid=31640] ppid=31635 vsize=100984 CPUtime=0.28
/proc/31637/task/31640/stat : 31640 (satake) R 31635 31637 27791 0 -1 4202560 1876 0 0 0 12 16 0 0 20 0 17 0 633851945 103407616 22392 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31637/tid=31641] ppid=31635 vsize=100984 CPUtime=0.22
/proc/31637/task/31641/stat : 31641 (satake) R 31635 31637 27791 0 -1 4202560 1690 0 0 0 6 16 0 0 20 0 17 0 633851945 103407616 22394 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31637/tid=31642] ppid=31635 vsize=100984 CPUtime=0.16
/proc/31637/task/31642/stat : 31642 (satake) D 31635 31637 27791 0 -1 4202560 1272 0 0 0 4 12 0 0 20 0 17 0 633851945 103407616 22394 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31637/tid=31643] ppid=31635 vsize=100984 CPUtime=0.22
/proc/31637/task/31643/stat : 31643 (satake) R 31635 31637 27791 0 -1 4202560 1720 0 0 0 10 12 0 0 20 0 17 0 633851945 103407616 22394 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134534940 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31637/tid=31644] ppid=31635 vsize=100984 CPUtime=0.22
/proc/31637/task/31644/stat : 31644 (satake) R 31635 31637 27791 0 -1 4202560 1692 0 0 0 12 10 0 0 20 0 17 0 633851945 103407616 22396 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31637/tid=31645] ppid=31635 vsize=100984 CPUtime=0.26
/proc/31637/task/31645/stat : 31645 (satake) D 31635 31637 27791 0 -1 4202560 1624 0 0 0 10 16 0 0 20 0 17 0 633851945 103407616 22397 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31637/tid=31646] ppid=31635 vsize=100984 CPUtime=0.18
/proc/31637/task/31646/stat : 31646 (satake) D 31635 31637 27791 0 -1 4202560 1228 0 0 0 6 12 0 0 20 0 17 0 633851945 103407616 22398 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 18446744071564503468 0 0 -1 7 0 0 0 0 0
[pid=31637/tid=31647] ppid=31635 vsize=100984 CPUtime=0.16

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

deleting IPC queue 463929422
deleting IPC queue 463962191
deleting IPC queue 463994960
deleting IPC queue 464027729
deleting IPC queue 464060498
deleting IPC queue 464093267
deleting IPC queue 464126036
deleting IPC queue 464158805
deleting IPC queue 464191574
deleting IPC queue 464224343
deleting IPC queue 464257112
deleting IPC queue 464289881
deleting IPC queue 464322650
deleting IPC queue 464355419
deleting IPC queue 464388188
deleting IPC queue 464420957
deleting IPC queue 464453726
deleting IPC queue 464486495
deleting IPC queue 464519264
deleting IPC queue 464552033
deleting IPC queue 464584802
deleting IPC queue 464617571
deleting IPC queue 464650340
deleting IPC queue 464683109
deleting IPC queue 464715878
deleting IPC queue 464748647
deleting IPC queue 464781416
deleting IPC queue 464814185
deleting IPC queue 464846954
deleting IPC queue 464879723
deleting IPC queue 464912492
deleting IPC queue 464945261
deleting IPC queue 464978030
deleting IPC queue 465010799
deleting IPC queue 465043568
deleting IPC queue 465076337
deleting IPC queue 465109106
deleting IPC queue 465141875
deleting IPC queue 465174644
deleting IPC queue 465207413
deleting IPC queue 465240182
deleting IPC queue 465272951
deleting IPC queue 465305720
deleting IPC queue 465338489
deleting IPC queue 465371258
deleting IPC queue 465404027
deleting IPC queue 465436796
deleting IPC queue 465469565
deleting IPC queue 465502334
deleting IPC queue 465535103
deleting IPC queue 465567872
deleting IPC queue 465600641
deleting IPC queue 465633410
deleting IPC queue 465666179
deleting IPC queue 465698948
deleting IPC queue 465731717
deleting IPC queue 465764486
deleting IPC queue 465797255
deleting IPC queue 465830024
deleting IPC queue 465862793
deleting IPC queue 465895562
deleting IPC queue 465928331
deleting IPC queue 465961100
deleting IPC queue 465993869
deleting IPC queue 466026638
deleting IPC queue 466059407
deleting IPC queue 466092176
deleting IPC queue 466124945
deleting IPC queue 466157714
deleting IPC queue 466190483
deleting IPC queue 466223252
deleting IPC queue 466256021
deleting IPC queue 466288790
deleting IPC queue 466321559
deleting IPC queue 466354328
deleting IPC queue 466387097
deleting IPC queue 466419866
deleting IPC queue 466452635
deleting IPC queue 466485404
deleting IPC queue 466518173
deleting IPC queue 466550942
deleting IPC queue 466583711
deleting IPC queue 466616480
deleting IPC queue 466649249
deleting IPC queue 466682018
deleting IPC queue 466714787
deleting IPC queue 466747556
deleting IPC queue 466780325
deleting IPC queue 466813094
deleting IPC queue 466845863
deleting IPC queue 466878632
deleting IPC queue 466911401
deleting IPC queue 466944170
deleting IPC queue 466976939
deleting IPC queue 467009708
deleting IPC queue 467042477
deleting IPC queue 467075246
deleting IPC queue 467108015
deleting IPC queue 467140784
deleting IPC queue 467173553
deleting IPC queue 467206322
deleting IPC queue 467239091
deleting IPC queue 467271860
deleting IPC queue 467304629
deleting IPC queue 467337398
deleting IPC queue 467370167
deleting IPC queue 467402936
deleting IPC queue 467435705
deleting IPC queue 467468474
deleting IPC queue 467501243
deleting IPC queue 467534012
deleting IPC queue 467566781
deleting IPC queue 467599550
deleting IPC queue 467632319
deleting IPC queue 467665088
deleting IPC queue 467697857
deleting IPC queue 467730626
deleting IPC queue 467763395
deleting IPC queue 467796164
deleting IPC queue 467828933
deleting IPC queue 467861702
deleting IPC queue 467894471
deleting IPC queue 467927240
deleting IPC queue 467960009
deleting IPC queue 467992778
deleting IPC queue 468025547
deleting IPC queue 468058316
deleting IPC queue 468091085
deleting IPC queue 468123854
deleting IPC queue 468156623
deleting IPC queue 468189392
deleting IPC queue 468222161
deleting IPC queue 468254930
deleting IPC queue 468287699
deleting IPC queue 468320468
deleting IPC queue 468353237
deleting IPC queue 468386006
deleting IPC queue 468418775
deleting IPC queue 468451544
deleting IPC queue 468484313
deleting IPC queue 468517082
deleting IPC queue 468549851
deleting IPC queue 468582620
deleting IPC queue 468615389
deleting IPC queue 468648158
deleting IPC queue 468680927
deleting IPC queue 468713696
deleting IPC queue 468746465
deleting IPC queue 468779234
deleting IPC queue 468812003
deleting IPC queue 468844772
deleting IPC queue 468877541
deleting IPC queue 468910310
deleting IPC queue 468943079
deleting IPC queue 468975848
deleting IPC queue 469008617
deleting IPC queue 469041386
deleting IPC queue 469074155
deleting IPC queue 469106924
deleting IPC queue 469139693
deleting IPC queue 469172462
deleting IPC queue 469205231
deleting IPC queue 469238000
deleting IPC queue 469270769
deleting IPC queue 469303538
deleting IPC queue 469336307
deleting IPC queue 469369076
deleting IPC queue 469401845
deleting IPC queue 469434614
deleting IPC queue 469467383
deleting IPC queue 469500152
deleting IPC queue 469532921
deleting IPC queue 469565690
deleting IPC queue 469598459
deleting IPC queue 469631228
deleting IPC queue 469663997
deleting IPC queue 469696766
deleting IPC queue 469729535

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9796.51
system time used= 204.789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405262
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= 14829877
involuntary context switches= 4816107

runsolver used 3.1722 second user time and 11.0687 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 20:37:36
IDJOB=1776327
IDBENCH=20488
IDSOLVER=631
FILE ID=xenhost3-49/1776327-1244745456
PBS_JOBID=
Free space on /tmp= 7037 MiB

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

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

MD5SUM BENCH= 4c4d694bb911a7a13a7cb66a99dd484c
RANDOM SEED= 876142447

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:      19144796 kB
Buffers:        432356 kB
Cached:       14103364 kB
SwapCached:          0 kB
Active:        4077772 kB
Inactive:     10466440 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3208 kB
Writeback:           0 kB
AnonPages:        7260 kB
Mapped:           3620 kB
Slab:           687712 kB
SReclaimable:   660888 kB
SUnreclaim:      26824 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7037 MiB
End job on xenhost3-49 at 2009-06-11 20:50:04