Trace number 1780842

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 700.157

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
MD5SUM6d69d175921d14f1c2600aaedc59f514
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 variables2940
Number of clauses300446
Sum of the clauses size896973
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24737
Number of clauses of size 3295678
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1780842-1244843546/watcher-1780842-1244843546 -o /tmp/evaluation-result-1780842-1244843546/solver-1780842-1244843546 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780842-1244843546.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: 15.02 14.97 13.94 2/184 11427
/proc/meminfo: memFree=19124104/36427776 swapFree=4908/7900
[pid=11427] ppid=11425 vsize=7272 CPUtime=0
/proc/11427/stat : 11427 (satake) R 11425 11427 27791 0 -1 4202496 461 0 0 0 0 0 0 0 20 0 15 0 643660959 7446528 418 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11427/statm: 1818 421 63 164 0 1653 0
[pid=11427/tid=11428] ppid=11425 vsize=7340 CPUtime=0
/proc/11427/task/11428/stat : 11428 (satake) S 11425 11427 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 643660960 7516160 452 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11429] ppid=11425 vsize=7340 CPUtime=0
/proc/11427/task/11429/stat : 11429 (satake) R 11425 11427 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 16 0 643660960 7516160 453 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=7340 CPUtime=0
/proc/11427/task/11430/stat : 11430 (satake) S 11425 11427 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 643660960 7516160 453 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=7340 CPUtime=0
/proc/11427/task/11431/stat : 11431 (satake) R 11425 11427 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 16 0 643660960 7516160 453 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=7340 CPUtime=0
/proc/11427/task/11432/stat : 11432 (satake) R 11425 11427 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 643660960 7516160 455 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11433] ppid=11425 vsize=7472 CPUtime=0
/proc/11427/task/11433/stat : 11433 (satake) D 11425 11427 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 16 0 643660960 7651328 455 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11434] ppid=11425 vsize=7472 CPUtime=0
/proc/11427/task/11434/stat : 11434 (satake) S 11425 11427 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 643660960 7651328 460 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11435] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11435/stat : 11435 (satake) D 11425 11427 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 460 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11436] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11436/stat : 11436 (satake) S 11425 11427 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 461 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11437/stat : 11437 (satake) R 11425 11427 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 465 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11427/tid=11438] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11438/stat : 11438 (satake) R 11425 11427 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 466 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11439/stat : 11439 (satake) R 11425 11427 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 468 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11427/tid=11440] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11440/stat : 11440 (satake) R 11425 11427 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 469 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11427/tid=11441] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11441/stat : 11441 (satake) R 11425 11427 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 469 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11427/tid=11442] ppid=11425 vsize=9520 CPUtime=0
/proc/11427/task/11442/stat : 11442 (satake) R 11425 11427 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 643660960 9748480 470 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.095489 s]
/proc/loadavg: 15.02 14.97 13.94 2/184 11427
/proc/meminfo: memFree=19124104/36427776 swapFree=4908/7900
[pid=11427] ppid=11425 vsize=42776 CPUtime=0.72
/proc/11427/stat : 11427 (satake) S 11425 11427 27791 0 -1 4202496 6512 0 0 0 0 72 0 0 20 0 17 0 643660959 43802624 6459 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11427/statm: 10694 6514 63 164 0 10529 0
[pid=11427/tid=11428] ppid=11425 vsize=42776 CPUtime=0
/proc/11427/task/11428/stat : 11428 (satake) S 11425 11427 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643660960 43802624 6539 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11429] ppid=11425 vsize=42776 CPUtime=0.04
/proc/11427/task/11429/stat : 11429 (satake) R 11425 11427 27791 0 -1 4202560 388 0 0 0 0 4 0 0 20 0 17 0 643660960 43802624 6587 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11430/stat : 11430 (satake) R 11425 11427 27791 0 -1 4202560 529 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 6650 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11431/stat : 11431 (satake) R 11425 11427 27791 0 -1 4202560 466 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 6687 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=42776 CPUtime=0
/proc/11427/task/11432/stat : 11432 (satake) R 11425 11427 27791 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 17 0 643660960 43802624 6719 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11433] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11433/stat : 11433 (satake) R 11425 11427 27791 0 -1 4202560 489 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 6786 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11427/tid=11434] ppid=11425 vsize=42776 CPUtime=0.02
/proc/11427/task/11434/stat : 11434 (satake) R 11425 11427 27791 0 -1 4202560 216 0 0 0 0 2 0 0 20 0 17 0 643660960 43802624 6834 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11435] ppid=11425 vsize=42776 CPUtime=0.04
/proc/11427/task/11435/stat : 11435 (satake) R 11425 11427 27791 0 -1 4202560 399 0 0 0 0 4 0 0 20 0 17 0 643660960 43802624 6885 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11436] ppid=11425 vsize=42776 CPUtime=0.02
/proc/11427/task/11436/stat : 11436 (satake) R 11425 11427 27791 0 -1 4202560 258 0 0 0 0 2 0 0 20 0 17 0 643660960 43802624 6952 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11437/stat : 11437 (satake) R 11425 11427 27791 0 -1 4202560 507 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 6987 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11427/tid=11438] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11438/stat : 11438 (satake) R 11425 11427 27791 0 -1 4202560 500 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 7020 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11439/stat : 11439 (satake) D 11425 11427 27791 0 -1 4202560 717 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 7067 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11427/tid=11440] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11440/stat : 11440 (satake) D 11425 11427 27791 0 -1 4202560 460 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 7068 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11427/tid=11441] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11441/stat : 11441 (satake) D 11425 11427 27791 0 -1 4202560 610 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 7068 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11427/tid=11442] ppid=11425 vsize=42776 CPUtime=0.06
/proc/11427/task/11442/stat : 11442 (satake) D 11425 11427 27791 0 -1 4202560 609 0 0 0 0 6 0 0 20 0 17 0 643660960 43802624 7068 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 42776

[startup+0.107608 s]
/proc/loadavg: 15.02 14.97 13.94 2/184 11427
/proc/meminfo: memFree=19124104/36427776 swapFree=4908/7900
[pid=11427] ppid=11425 vsize=52504 CPUtime=0.8
/proc/11427/stat : 11427 (satake) S 11425 11427 27791 0 -1 4202496 7684 0 0 0 0 80 0 0 20 0 17 0 643660959 53764096 7630 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11427/statm: 13126 7669 63 164 0 12961 0
[pid=11427/tid=11428] ppid=11425 vsize=52504 CPUtime=0
/proc/11427/task/11428/stat : 11428 (satake) S 11425 11427 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643660960 53764096 7697 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11429] ppid=11425 vsize=52504 CPUtime=0.04
/proc/11427/task/11429/stat : 11429 (satake) R 11425 11427 27791 0 -1 4202560 434 0 0 0 0 4 0 0 20 0 17 0 643660960 53764096 7749 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=52504 CPUtime=0.06
/proc/11427/task/11430/stat : 11430 (satake) R 11425 11427 27791 0 -1 4202560 611 0 0 0 0 6 0 0 20 0 17 0 643660960 53764096 7782 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=52504 CPUtime=0.06
/proc/11427/task/11431/stat : 11431 (satake) R 11425 11427 27791 0 -1 4202560 509 0 0 0 0 6 0 0 20 0 17 0 643660960 53764096 7821 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=52504 CPUtime=0
/proc/11427/task/11432/stat : 11432 (satake) R 11425 11427 27791 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 17 0 643660960 53764096 7842 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11433] ppid=11425 vsize=52504 CPUtime=0.06
/proc/11427/task/11433/stat : 11433 (satake) R 11425 11427 27791 0 -1 4202560 563 0 0 0 0 6 0 0 20 0 17 0 643660960 53764096 7870 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11427/tid=11434] ppid=11425 vsize=52504 CPUtime=0.02
/proc/11427/task/11434/stat : 11434 (satake) R 11425 11427 27791 0 -1 4202560 256 0 0 0 0 2 0 0 20 0 17 0 643660960 53764096 7910 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11435] ppid=11425 vsize=52504 CPUtime=0.04
/proc/11427/task/11435/stat : 11435 (satake) R 11425 11427 27791 0 -1 4202560 459 0 0 0 0 4 0 0 20 0 17 0 643660960 53764096 7964 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11436] ppid=11425 vsize=52504 CPUtime=0.02
/proc/11427/task/11436/stat : 11436 (satake) R 11425 11427 27791 0 -1 4202560 290 0 0 0 0 2 0 0 20 0 17 0 643660960 53764096 8003 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=52504 CPUtime=0.08
/proc/11427/task/11437/stat : 11437 (satake) R 11425 11427 27791 0 -1 4202560 586 0 0 0 0 8 0 0 20 0 17 0 643660960 53764096 8059 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11427/tid=11438] ppid=11425 vsize=52504 CPUtime=0.08
/proc/11427/task/11438/stat : 11438 (satake) R 11425 11427 27791 0 -1 4202560 580 0 0 0 0 8 0 0 20 0 17 0 643660960 53764096 8117 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=52504 CPUtime=0.08
/proc/11427/task/11439/stat : 11439 (satake) D 11425 11427 27791 0 -1 4202560 852 0 0 0 0 8 0 0 20 0 17 0 643660960 53764096 8131 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11427/tid=11440] ppid=11425 vsize=52504 CPUtime=0.06
/proc/11427/task/11440/stat : 11440 (satake) R 11425 11427 27791 0 -1 4202560 530 0 0 0 0 6 0 0 20 0 17 0 643660960 53764096 8131 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11427/tid=11441] ppid=11425 vsize=52504 CPUtime=0.06
/proc/11427/task/11441/stat : 11441 (satake) D 11425 11427 27791 0 -1 4202560 716 0 0 0 0 6 0 0 20 0 17 0 643660960 53764096 8131 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11427/tid=11442] ppid=11425 vsize=52504 CPUtime=0.08
/proc/11427/task/11442/stat : 11442 (satake) D 11425 11427 27791 0 -1 4202560 720 0 0 0 0 8 0 0 20 0 17 0 643660960 53764096 8131 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 52504

[startup+0.303688 s]
/proc/loadavg: 15.02 14.97 13.94 2/184 11427
/proc/meminfo: memFree=19124104/36427776 swapFree=4908/7900
[pid=11427] ppid=11425 vsize=88776 CPUtime=2.46
/proc/11427/stat : 11427 (satake) S 11425 11427 27791 0 -1 4202496 17364 0 0 0 0 246 0 0 20 0 17 0 643660959 90906624 17304 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11427/statm: 22194 17304 63 164 0 22029 0
[pid=11427/tid=11428] ppid=11425 vsize=88776 CPUtime=0
/proc/11427/task/11428/stat : 11428 (satake) S 11425 11427 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643660960 90906624 17304 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11429] ppid=11425 vsize=88776 CPUtime=0.12
/proc/11427/task/11429/stat : 11429 (satake) R 11425 11427 27791 0 -1 4202560 989 0 0 0 0 12 0 0 20 0 17 0 643660960 90906624 17304 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=88776 CPUtime=0.2
/proc/11427/task/11430/stat : 11430 (satake) R 11425 11427 27791 0 -1 4202560 1367 0 0 0 0 20 0 0 20 0 17 0 643660960 90906624 17305 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=88776 CPUtime=0.12
/proc/11427/task/11431/stat : 11431 (satake) R 11425 11427 27791 0 -1 4202560 1041 0 0 0 0 12 0 0 20 0 17 0 643660960 90906624 17306 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=88776 CPUtime=0.1
/proc/11427/task/11432/stat : 11432 (satake) R 11425 11427 27791 0 -1 4202560 574 0 0 0 0 10 0 0 20 0 17 0 643660960 90906624 17307 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11433] ppid=11425 vsize=88776 CPUtime=0.2
/proc/11427/task/11433/stat : 11433 (satake) D 11425 11427 27791 0 -1 4202560 1312 0 0 0 0 20 0 0 20 0 17 0 643660960 90906624 17307 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11427/tid=11434] ppid=11425 vsize=88488 CPUtime=0.1
/proc/11427/task/11434/stat : 11434 (satake) D 11425 11427 27791 0 -1 4202560 663 0 0 0 0 10 0 0 20 0 17 0 643660960 90611712 17307 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11435] ppid=11425 vsize=88488 CPUtime=0.1
/proc/11427/task/11435/stat : 11435 (satake) R 11425 11427 27791 0 -1 4202560 1061 0 0 0 0 10 0 0 20 0 17 0 643660960 90611712 17311 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11436] ppid=11425 vsize=88488 CPUtime=0.1
/proc/11427/task/11436/stat : 11436 (satake) D 11425 11427 27791 0 -1 4202560 737 0 0 0 0 10 0 0 20 0 17 0 643660960 90611712 17314 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=88488 CPUtime=0.22
/proc/11427/task/11437/stat : 11437 (satake) R 11425 11427 27791 0 -1 4202560 1297 0 0 0 0 22 0 0 20 0 17 0 643660960 90611712 17315 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11427/tid=11438] ppid=11425 vsize=88488 CPUtime=0.18
/proc/11427/task/11438/stat : 11438 (satake) R 11425 11427 27791 0 -1 4202560 1284 0 0 0 0 18 0 0 20 0 17 0 643660960 90611712 17316 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=88488 CPUtime=0.2
/proc/11427/task/11439/stat : 11439 (satake) R 11425 11427 27791 0 -1 4202560 1497 0 0 0 0 20 0 0 20 0 17 0 643660960 90611712 17316 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11427/tid=11440] ppid=11425 vsize=88488 CPUtime=0.2
/proc/11427/task/11440/stat : 11440 (satake) R 11425 11427 27791 0 -1 4202560 1258 0 0 0 0 20 0 0 20 0 17 0 643660960 90611712 17316 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11427/tid=11441] ppid=11425 vsize=88488 CPUtime=0.18
/proc/11427/task/11441/stat : 11441 (satake) S 11425 11427 27791 0 -1 4202560 1378 0 0 0 0 18 0 0 20 0 17 0 643660960 90611712 17316 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=11427/tid=11442] ppid=11425 vsize=88488 CPUtime=0.18
/proc/11427/task/11442/stat : 11442 (satake) S 11425 11427 27791 0 -1 4202560 1382 0 0 0 0 18 0 0 20 0 17 0 643660960 90611712 17316 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 88776

[startup+0.7035 s]
/proc/loadavg: 15.02 14.97 13.94 2/184 11427
/proc/meminfo: memFree=19124104/36427776 swapFree=4908/7900
[pid=11427] ppid=11425 vsize=120948 CPUtime=4.17
/proc/11427/stat : 11427 (satake) S 11425 11427 27791 0 -1 4202496 27562 0 0 0 28 389 0 0 20 0 17 0 643660959 123850752 27503 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11427/statm: 30237 27503 63 164 0 30072 0
[pid=11427/tid=11428] ppid=11425 vsize=120948 CPUtime=0
/proc/11427/task/11428/stat : 11428 (satake) S 11425 11427 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643660960 123850752 27504 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11429] ppid=11425 vsize=120948 CPUtime=0.2
/proc/11427/task/11429/stat : 11429 (satake) D 11425 11427 27791 0 -1 4202560 1576 0 0 0 0 20 0 0 20 0 17 0 643660960 123850752 27504 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=120948 CPUtime=0.36
/proc/11427/task/11430/stat : 11430 (satake) D 11425 11427 27791 0 -1 4202560 2241 0 0 0 4 32 0 0 20 0 17 0 643660960 123850752 27504 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=120948 CPUtime=0.2
/proc/11427/task/11431/stat : 11431 (satake) R 11425 11427 27791 0 -1 4202560 1722 0 0 0 0 20 0 0 20 0 17 0 643660960 123850752 27505 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=120948 CPUtime=0.18
/proc/11427/task/11432/stat : 11432 (satake) S 11425 11427 27791 0 -1 4202560 1620 0 0 0 0 18 0 0 20 0 17 0 643660960 123850752 27505 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=11427/tid=11433] ppid=11425 vsize=120948 CPUtime=0.32
/proc/11427/task/11433/stat : 11433 (satake) D 11425 11427 27791 0 -1 4202560 1938 0 0 0 2 30 0 0 20 0 17 0 643660960 123850752 27510 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11427/tid=11434] ppid=11425 vsize=120948 CPUtime=0.18
/proc/11427/task/11434/stat : 11434 (satake) S 11425 11427 27791 0 -1 4202560 1558 0 0 0 0 18 0 0 20 0 17 0 643660960 123850752 27511 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=11427/tid=11435] ppid=11425 vsize=120948 CPUtime=0.18
/proc/11427/task/11435/stat : 11435 (satake) S 11425 11427 27791 0 -1 4202560 1614 0 0 0 0 18 0 0 20 0 17 0 643660960 123850752 27511 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=11427/tid=11436] ppid=11425 vsize=120948 CPUtime=0.18
/proc/11427/task/11436/stat : 11436 (satake) S 11425 11427 27791 0 -1 4202560 1510 0 0 0 0 18 0 0 20 0 17 0 643660960 123850752 27511 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=120948 CPUtime=0.32
/proc/11427/task/11437/stat : 11437 (satake) S 11425 11427 27791 0 -1 4202560 1777 0 0 0 0 32 0 0 20 0 17 0 643660960 123850752 27512 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=11427/tid=11438] ppid=11425 vsize=120948 CPUtime=0.26
/proc/11427/task/11438/stat : 11438 (satake) S 11425 11427 27791 0 -1 4202560 1606 0 0 0 0 26 0 0 20 0 17 0 643660960 123850752 27512 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=120948 CPUtime=0.34
/proc/11427/task/11439/stat : 11439 (satake) R 11425 11427 27791 0 -1 4202560 2262 0 0 0 2 32 0 0 20 0 17 0 643660960 123850752 27512 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11427/tid=11440] ppid=11425 vsize=120948 CPUtime=0.34
/proc/11427/task/11440/stat : 11440 (satake) S 11425 11427 27791 0 -1 4202560 1843 0 0 0 2 32 0 0 20 0 17 0 643660960 123850752 27512 18446744073709551615 134512640 135180984 4290107968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11427/tid=11441] ppid=11425 vsize=120948 CPUtime=0.32

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

deleting IPC queue 2032599118
deleting IPC queue 2032631887
deleting IPC queue 2032664656
deleting IPC queue 2032697425
deleting IPC queue 2032730194
deleting IPC queue 2032762963
deleting IPC queue 2032795732
deleting IPC queue 2032828501
deleting IPC queue 2032861270
deleting IPC queue 2032894039
deleting IPC queue 2032926808
deleting IPC queue 2032959577
deleting IPC queue 2032992346
deleting IPC queue 2033025115
deleting IPC queue 2033057884
deleting IPC queue 2033090653
deleting IPC queue 2033123422
deleting IPC queue 2033156191
deleting IPC queue 2033188960
deleting IPC queue 2033221729
deleting IPC queue 2033254498
deleting IPC queue 2033287267
deleting IPC queue 2033320036
deleting IPC queue 2033352805
deleting IPC queue 2033385574
deleting IPC queue 2033418343
deleting IPC queue 2033451112
deleting IPC queue 2033483881
deleting IPC queue 2033516650
deleting IPC queue 2033549419
deleting IPC queue 2033582188
deleting IPC queue 2033614957
deleting IPC queue 2033647726
deleting IPC queue 2033680495
deleting IPC queue 2033713264
deleting IPC queue 2033746033
deleting IPC queue 2033778802
deleting IPC queue 2033811571
deleting IPC queue 2033844340
deleting IPC queue 2033877109
deleting IPC queue 2033909878
deleting IPC queue 2033942647
deleting IPC queue 2033975416
deleting IPC queue 2034008185
deleting IPC queue 2034040954
deleting IPC queue 2034073723
deleting IPC queue 2034106492
deleting IPC queue 2034139261
deleting IPC queue 2034172030
deleting IPC queue 2034204799
deleting IPC queue 2034237568
deleting IPC queue 2034270337
deleting IPC queue 2034303106
deleting IPC queue 2034335875
deleting IPC queue 2034368644
deleting IPC queue 2034401413
deleting IPC queue 2034434182
deleting IPC queue 2034466951
deleting IPC queue 2034499720
deleting IPC queue 2034532489
deleting IPC queue 2034565258
deleting IPC queue 2034598027
deleting IPC queue 2034630796
deleting IPC queue 2034663565
deleting IPC queue 2034696334
deleting IPC queue 2034729103
deleting IPC queue 2034761872
deleting IPC queue 2034794641
deleting IPC queue 2034827410
deleting IPC queue 2034860179
deleting IPC queue 2034892948
deleting IPC queue 2034925717
deleting IPC queue 2034958486
deleting IPC queue 2034991255
deleting IPC queue 2035024024
deleting IPC queue 2035056793
deleting IPC queue 2035089562
deleting IPC queue 2035122331
deleting IPC queue 2035155100
deleting IPC queue 2035187869
deleting IPC queue 2035220638
deleting IPC queue 2035253407
deleting IPC queue 2035286176
deleting IPC queue 2035318945
deleting IPC queue 2035351714
deleting IPC queue 2035384483
deleting IPC queue 2035417252
deleting IPC queue 2035450021
deleting IPC queue 2035482790
deleting IPC queue 2035515559
deleting IPC queue 2035548328
deleting IPC queue 2035581097
deleting IPC queue 2035613866
deleting IPC queue 2035646635
deleting IPC queue 2035679404
deleting IPC queue 2035712173
deleting IPC queue 2035744942
deleting IPC queue 2035777711
deleting IPC queue 2035810480
deleting IPC queue 2035843249
deleting IPC queue 2035876018
deleting IPC queue 2035908787
deleting IPC queue 2035941556
deleting IPC queue 2035974325
deleting IPC queue 2036007094
deleting IPC queue 2036039863
deleting IPC queue 2036072632
deleting IPC queue 2036105401
deleting IPC queue 2036138170
deleting IPC queue 2036170939
deleting IPC queue 2036203708
deleting IPC queue 2036236477
deleting IPC queue 2036269246
deleting IPC queue 2036302015
deleting IPC queue 2036334784
deleting IPC queue 2036367553
deleting IPC queue 2036400322
deleting IPC queue 2036433091
deleting IPC queue 2036465860
deleting IPC queue 2036498629
deleting IPC queue 2036531398
deleting IPC queue 2036564167
deleting IPC queue 2036596936
deleting IPC queue 2036629705
deleting IPC queue 2036662474
deleting IPC queue 2036695243
deleting IPC queue 2036728012
deleting IPC queue 2036760781
deleting IPC queue 2036793550
deleting IPC queue 2036826319
deleting IPC queue 2036859088
deleting IPC queue 2036891857
deleting IPC queue 2036924626
deleting IPC queue 2036957395
deleting IPC queue 2036990164
deleting IPC queue 2037022933
deleting IPC queue 2037055702
deleting IPC queue 2037088471
deleting IPC queue 2037121240
deleting IPC queue 2037154009
deleting IPC queue 2037186778
deleting IPC queue 2037219547
deleting IPC queue 2037252316
deleting IPC queue 2037285085
deleting IPC queue 2037317854
deleting IPC queue 2037350623
deleting IPC queue 2037383392
deleting IPC queue 2037416161
deleting IPC queue 2037448930
deleting IPC queue 2037481699
deleting IPC queue 2037514468
deleting IPC queue 2037547237
deleting IPC queue 2037580006
deleting IPC queue 2037612775
deleting IPC queue 2037645544
deleting IPC queue 2037678313
deleting IPC queue 2037711082
deleting IPC queue 2037743851
deleting IPC queue 2037776620
deleting IPC queue 2037809389
deleting IPC queue 2037842158
deleting IPC queue 2037874927
deleting IPC queue 2037907696
deleting IPC queue 2037940465
deleting IPC queue 2037973234
deleting IPC queue 2038006003
deleting IPC queue 2038038772
deleting IPC queue 2038071541
deleting IPC queue 2038104310
deleting IPC queue 2038137079
deleting IPC queue 2038169848
deleting IPC queue 2038202617
deleting IPC queue 2038235386
deleting IPC queue 2038268155
deleting IPC queue 2038300924
deleting IPC queue 2038333693
deleting IPC queue 2038366462
deleting IPC queue 2038399231

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9894.23
system time used= 107.035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441708
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= 6770004
involuntary context switches= 3065935

runsolver used 3.36421 second user time and 9.97662 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 23:52:26
IDJOB=1780842
IDBENCH=71071
IDSOLVER=631
FILE ID=xenhost3-49/1780842-1244843546
PBS_JOBID=
Free space on /tmp= 7023 MiB

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

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

MD5SUM BENCH= 6d69d175921d14f1c2600aaedc59f514
RANDOM SEED= 1285219431

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:      19124104 kB
Buffers:        435576 kB
Cached:       14117380 kB
SwapCached:          0 kB
Active:        4080056 kB
Inactive:     10480116 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            5348 kB
Writeback:           0 kB
AnonPages:        7900 kB
Mapped:           4244 kB
Slab:           689472 kB
SReclaimable:   662632 kB
SUnreclaim:      26840 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= 7023 MiB
End job on xenhost3-49 at 2009-06-13 00:04:08