Trace number 1780917

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) 3938.49 1000.07

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
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 variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1780917-1244846362/watcher-1780917-1244846362 -o /tmp/evaluation-result-1780917-1244846362/solver-1780917-1244846362 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780917-1244846362.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.01 15.06 14.80 2/184 11749
/proc/meminfo: memFree=19129576/36427776 swapFree=3668/7604
[pid=11749] ppid=11747 vsize=8120 CPUtime=0
/proc/11749/stat : 11749 (satake) D 11747 11749 27791 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 15 0 643942521 8314880 383 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11749/statm: 2030 384 63 164 0 1865 0
[pid=11749/tid=11750] ppid=11747 vsize=8316 CPUtime=0
/proc/11749/task/11750/stat : 11750 (satake) S 11747 11749 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643942521 8515584 454 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11751] ppid=11747 vsize=8448 CPUtime=0
/proc/11749/task/11751/stat : 11751 (satake) D 11747 11749 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 17 0 643942521 8650752 454 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11747 vsize=8448 CPUtime=0
/proc/11749/task/11752/stat : 11752 (satake) D 11747 11749 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 643942521 8650752 455 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11753] ppid=11747 vsize=8452 CPUtime=0
/proc/11749/task/11753/stat : 11753 (satake) S 11747 11749 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 643942521 8654848 456 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11754] ppid=11747 vsize=8452 CPUtime=0
/proc/11749/task/11754/stat : 11754 (satake) D 11747 11749 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 643942521 8654848 457 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11755] ppid=11747 vsize=8452 CPUtime=0
/proc/11749/task/11755/stat : 11755 (satake) D 11747 11749 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 643942521 8654848 460 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11756] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11756/stat : 11756 (satake) R 11747 11749 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 643942521 8790016 460 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11757] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11757/stat : 11757 (satake) S 11747 11749 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643942521 8790016 460 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11758] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11758/stat : 11758 (satake) S 11747 11749 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643942521 8790016 461 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11749/tid=11759] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11759/stat : 11759 (satake) R 11747 11749 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 643942521 8790016 461 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11749/tid=11760] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11760/stat : 11760 (satake) R 11747 11749 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643942521 8790016 465 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11761] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11761/stat : 11761 (satake) R 11747 11749 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643942522 8790016 465 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11749/tid=11762] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11762/stat : 11762 (satake) R 11747 11749 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 643942522 8790016 478 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11749/tid=11763] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11763/stat : 11763 (satake) R 11747 11749 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 643942522 8790016 497 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11764] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11764/stat : 11764 (satake) R 11747 11749 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 643942522 8790016 508 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11765] ppid=11747 vsize=8584 CPUtime=0
/proc/11749/task/11765/stat : 11765 (satake) S 11747 11749 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 643942522 8790016 511 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0

[startup+0.109666 s]
/proc/loadavg: 15.01 15.06 14.80 2/184 11749
/proc/meminfo: memFree=19129576/36427776 swapFree=3668/7604
[pid=11749] ppid=11747 vsize=28500 CPUtime=0.43
/proc/11749/stat : 11749 (satake) S 11747 11749 27791 0 -1 4202496 5004 0 0 0 4 39 0 0 20 0 17 0 643942521 29184000 4945 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11749/statm: 7125 4946 63 164 0 6960 0
[pid=11749/tid=11750] ppid=11747 vsize=28500 CPUtime=0
/proc/11749/task/11750/stat : 11750 (satake) S 11747 11749 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643942521 29184000 4946 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11751] ppid=11747 vsize=28500 CPUtime=0.04
/proc/11749/task/11751/stat : 11751 (satake) S 11747 11749 27791 0 -1 4202560 379 0 0 0 0 4 0 0 20 0 17 0 643942521 29184000 4949 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11752/stat : 11752 (satake) R 11747 11749 27791 0 -1 4202560 341 0 0 0 0 2 0 0 20 0 17 0 643942521 29184000 4950 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11753] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11753/stat : 11753 (satake) R 11747 11749 27791 0 -1 4202560 365 0 0 0 0 2 0 0 20 0 17 0 643942521 29184000 4954 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11754] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11754/stat : 11754 (satake) R 11747 11749 27791 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 17 0 643942521 29184000 4960 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11755] ppid=11747 vsize=28500 CPUtime=0
/proc/11749/task/11755/stat : 11755 (satake) R 11747 11749 27791 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 17 0 643942521 29184000 4967 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11756] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11756/stat : 11756 (satake) S 11747 11749 27791 0 -1 4202560 293 0 0 0 0 2 0 0 20 0 17 0 643942521 29184000 4972 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11757] ppid=11747 vsize=28500 CPUtime=0.04
/proc/11749/task/11757/stat : 11757 (satake) S 11747 11749 27791 0 -1 4202560 315 0 0 0 0 4 0 0 20 0 17 0 643942521 29184000 4975 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11758] ppid=11747 vsize=28500 CPUtime=0.04
/proc/11749/task/11758/stat : 11758 (satake) S 11747 11749 27791 0 -1 4202560 329 0 0 0 0 4 0 0 20 0 17 0 643942521 29184000 4976 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=11749/tid=11759] ppid=11747 vsize=28500 CPUtime=0.04
/proc/11749/task/11759/stat : 11759 (satake) R 11747 11749 27791 0 -1 4202560 365 0 0 0 0 4 0 0 20 0 17 0 643942521 29184000 4977 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11749/tid=11760] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11760/stat : 11760 (satake) R 11747 11749 27791 0 -1 4202560 325 0 0 0 0 2 0 0 20 0 17 0 643942521 29184000 4977 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11761] ppid=11747 vsize=28500 CPUtime=0.04
/proc/11749/task/11761/stat : 11761 (satake) D 11747 11749 27791 0 -1 4202560 369 0 0 0 0 4 0 0 20 0 17 0 643942522 29184000 4979 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11749/tid=11762] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11762/stat : 11762 (satake) S 11747 11749 27791 0 -1 4202560 292 0 0 0 2 0 0 0 20 0 17 0 643942522 29184000 4983 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11763] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11763/stat : 11763 (satake) S 11747 11749 27791 0 -1 4202560 335 0 0 0 0 2 0 0 20 0 17 0 643942522 29184000 4983 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11764] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11764/stat : 11764 (satake) D 11747 11749 27791 0 -1 4202560 299 0 0 0 0 2 0 0 20 0 17 0 643942522 29184000 4985 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11749/tid=11765] ppid=11747 vsize=28500 CPUtime=0.02
/proc/11749/task/11765/stat : 11765 (satake) S 11747 11749 27791 0 -1 4202560 310 0 0 0 0 2 0 0 20 0 17 0 643942522 29184000 4985 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 28500

[startup+0.205583 s]
/proc/loadavg: 15.01 15.06 14.80 2/184 11749
/proc/meminfo: memFree=19129576/36427776 swapFree=3668/7604
[pid=11749] ppid=11747 vsize=38196 CPUtime=0.82
/proc/11749/stat : 11749 (satake) S 11747 11749 27791 0 -1 4202496 7409 0 0 0 5 77 0 0 20 0 17 0 643942521 39112704 7350 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11749/statm: 9549 7350 63 164 0 9384 0
[pid=11749/tid=11750] ppid=11747 vsize=38196 CPUtime=0
/proc/11749/task/11750/stat : 11750 (satake) S 11747 11749 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643942521 39112704 7350 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11751] ppid=11747 vsize=38196 CPUtime=0.06
/proc/11749/task/11751/stat : 11751 (satake) D 11747 11749 27791 0 -1 4202560 624 0 0 0 0 6 0 0 20 0 17 0 643942521 39112704 7353 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11747 vsize=38196 CPUtime=0.04
/proc/11749/task/11752/stat : 11752 (satake) R 11747 11749 27791 0 -1 4202560 453 0 0 0 0 4 0 0 20 0 17 0 643942521 39112704 7354 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11753] ppid=11747 vsize=38196 CPUtime=0.04
/proc/11749/task/11753/stat : 11753 (satake) D 11747 11749 27791 0 -1 4202560 483 0 0 0 0 4 0 0 20 0 17 0 643942521 39112704 7356 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11754] ppid=11747 vsize=38196 CPUtime=0.04
/proc/11749/task/11754/stat : 11754 (satake) R 11747 11749 27791 0 -1 4202560 511 0 0 0 2 2 0 0 20 0 17 0 643942521 39112704 7359 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11755] ppid=11747 vsize=38196 CPUtime=0.02
/proc/11749/task/11755/stat : 11755 (satake) R 11747 11749 27791 0 -1 4202560 381 0 0 0 0 2 0 0 20 0 17 0 643942521 39112704 7360 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11756] ppid=11747 vsize=38196 CPUtime=0.04
/proc/11749/task/11756/stat : 11756 (satake) R 11747 11749 27791 0 -1 4202560 417 0 0 0 0 4 0 0 20 0 17 0 643942521 39112704 7360 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11757] ppid=11747 vsize=38196 CPUtime=0.06
/proc/11749/task/11757/stat : 11757 (satake) R 11747 11749 27791 0 -1 4202560 477 0 0 0 0 6 0 0 20 0 17 0 643942521 39112704 7361 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11758] ppid=11747 vsize=38196 CPUtime=0.08
/proc/11749/task/11758/stat : 11758 (satake) R 11747 11749 27791 0 -1 4202560 550 0 0 0 0 8 0 0 20 0 17 0 643942521 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11749/tid=11759] ppid=11747 vsize=38196 CPUtime=0.08
/proc/11749/task/11759/stat : 11759 (satake) D 11747 11749 27791 0 -1 4202560 601 0 0 0 0 8 0 0 20 0 17 0 643942521 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11749/tid=11760] ppid=11747 vsize=38196 CPUtime=0.06
/proc/11749/task/11760/stat : 11760 (satake) R 11747 11749 27791 0 -1 4202560 542 0 0 0 0 6 0 0 20 0 17 0 643942521 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11761] ppid=11747 vsize=38196 CPUtime=0.08
/proc/11749/task/11761/stat : 11761 (satake) S 11747 11749 27791 0 -1 4202560 615 0 0 0 0 8 0 0 20 0 17 0 643942522 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11749/tid=11762] ppid=11747 vsize=38196 CPUtime=0.02
/proc/11749/task/11762/stat : 11762 (satake) S 11747 11749 27791 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 17 0 643942522 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11763] ppid=11747 vsize=38196 CPUtime=0.04
/proc/11749/task/11763/stat : 11763 (satake) R 11747 11749 27791 0 -1 4202560 380 0 0 0 0 4 0 0 20 0 17 0 643942522 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11764] ppid=11747 vsize=38196 CPUtime=0.04
/proc/11749/task/11764/stat : 11764 (satake) S 11747 11749 27791 0 -1 4202560 384 0 0 0 0 4 0 0 20 0 17 0 643942522 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11749/tid=11765] ppid=11747 vsize=38196 CPUtime=0.04
/proc/11749/task/11765/stat : 11765 (satake) D 11747 11749 27791 0 -1 4202560 487 0 0 0 0 4 0 0 20 0 17 0 643942522 39112704 7363 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 38196

[startup+0.305619 s]
/proc/loadavg: 15.01 15.06 14.80 2/184 11749
/proc/meminfo: memFree=19129576/36427776 swapFree=3668/7604
[pid=11749] ppid=11747 vsize=46888 CPUtime=1.12
/proc/11749/stat : 11749 (satake) S 11747 11749 27791 0 -1 4202496 9478 0 0 0 17 95 0 0 20 0 17 0 643942521 48013312 9420 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11749/statm: 11722 9421 63 164 0 11557 0
[pid=11749/tid=11750] ppid=11747 vsize=46888 CPUtime=0
/proc/11749/task/11750/stat : 11750 (satake) S 11747 11749 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643942521 48013312 9421 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11751] ppid=11747 vsize=46888 CPUtime=0.1
/proc/11749/task/11751/stat : 11751 (satake) R 11747 11749 27791 0 -1 4202560 750 0 0 0 2 8 0 0 20 0 17 0 643942521 48013312 9426 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11747 vsize=46888 CPUtime=0.06
/proc/11749/task/11752/stat : 11752 (satake) R 11747 11749 27791 0 -1 4202560 612 0 0 0 0 6 0 0 20 0 17 0 643942521 48013312 9426 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11753] ppid=11747 vsize=46888 CPUtime=0.06
/proc/11749/task/11753/stat : 11753 (satake) S 11747 11749 27791 0 -1 4202560 635 0 0 0 0 6 0 0 20 0 17 0 643942521 48013312 9426 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11754] ppid=11747 vsize=46888 CPUtime=0.06
/proc/11749/task/11754/stat : 11754 (satake) R 11747 11749 27791 0 -1 4202560 675 0 0 0 4 2 0 0 20 0 17 0 643942521 48013312 9426 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11755] ppid=11747 vsize=46888 CPUtime=0.04
/proc/11749/task/11755/stat : 11755 (satake) R 11747 11749 27791 0 -1 4202560 490 0 0 0 0 4 0 0 20 0 17 0 643942521 48013312 9426 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11756] ppid=11747 vsize=46888 CPUtime=0.06
/proc/11749/task/11756/stat : 11756 (satake) D 11747 11749 27791 0 -1 4202560 542 0 0 0 0 6 0 0 20 0 17 0 643942521 48013312 9426 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11757] ppid=11747 vsize=47052 CPUtime=0.08
/proc/11749/task/11757/stat : 11757 (satake) R 11747 11749 27791 0 -1 4202560 668 0 0 0 2 6 0 0 20 0 17 0 643942521 48181248 9427 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11758] ppid=11747 vsize=47052 CPUtime=0.1
/proc/11749/task/11758/stat : 11758 (satake) D 11747 11749 27791 0 -1 4202560 738 0 0 0 2 8 0 0 20 0 17 0 643942521 48181248 9427 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11749/tid=11759] ppid=11747 vsize=47052 CPUtime=0.1
/proc/11749/task/11759/stat : 11759 (satake) R 11747 11749 27791 0 -1 4202560 746 0 0 0 0 10 0 0 20 0 17 0 643942521 48181248 9429 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11749/tid=11760] ppid=11747 vsize=47052 CPUtime=0.08
/proc/11749/task/11760/stat : 11760 (satake) S 11747 11749 27791 0 -1 4202560 713 0 0 0 2 6 0 0 20 0 17 0 643942521 48181248 9429 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11761] ppid=11747 vsize=47052 CPUtime=0.1
/proc/11749/task/11761/stat : 11761 (satake) D 11747 11749 27791 0 -1 4202560 748 0 0 0 0 10 0 0 20 0 17 0 643942522 48181248 9429 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11749/tid=11762] ppid=11747 vsize=47052 CPUtime=0.04
/proc/11749/task/11762/stat : 11762 (satake) D 11747 11749 27791 0 -1 4202560 463 0 0 0 2 2 0 0 20 0 17 0 643942522 48181248 9429 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11763] ppid=11747 vsize=47052 CPUtime=0.04
/proc/11749/task/11763/stat : 11763 (satake) S 11747 11749 27791 0 -1 4202560 450 0 0 0 0 4 0 0 20 0 17 0 643942522 48181248 9430 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11764] ppid=11747 vsize=47052 CPUtime=0.04
/proc/11749/task/11764/stat : 11764 (satake) D 11747 11749 27791 0 -1 4202560 485 0 0 0 0 4 0 0 20 0 17 0 643942522 48181248 9430 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11749/tid=11765] ppid=11747 vsize=47052 CPUtime=0.06
/proc/11749/task/11765/stat : 11765 (satake) R 11747 11749 27791 0 -1 4202560 641 0 0 0 2 4 0 0 20 0 17 0 643942522 48181248 9433 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 46888

[startup+0.705658 s]
/proc/loadavg: 15.01 15.06 14.80 2/184 11749
/proc/meminfo: memFree=19129576/36427776 swapFree=3668/7604
[pid=11749] ppid=11747 vsize=51836 CPUtime=2.52
/proc/11749/stat : 11749 (satake) S 11747 11749 27791 0 -1 4202496 14629 0 0 0 102 150 0 0 20 0 17 0 643942521 53080064 10699 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11749/statm: 12959 10700 68 164 0 12794 0
[pid=11749/tid=11750] ppid=11747 vsize=51836 CPUtime=0.12
/proc/11749/task/11750/stat : 11750 (satake) D 11747 11749 27791 0 -1 4202560 41 0 0 0 0 12 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11749/tid=11751] ppid=11747 vsize=51836 CPUtime=0.16
/proc/11749/task/11751/stat : 11751 (satake) S 11747 11749 27791 0 -1 4202560 871 0 0 0 8 8 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11747 vsize=51836 CPUtime=0.12
/proc/11749/task/11752/stat : 11752 (satake) S 11747 11749 27791 0 -1 4202560 1001 0 0 0 6 6 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11753] ppid=11747 vsize=51836 CPUtime=0.16
/proc/11749/task/11753/stat : 11753 (satake) S 11747 11749 27791 0 -1 4202560 1040 0 0 0 8 8 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11754] ppid=11747 vsize=51836 CPUtime=0.16
/proc/11749/task/11754/stat : 11754 (satake) S 11747 11749 27791 0 -1 4202560 1017 0 0 0 10 6 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=11749/tid=11755] ppid=11747 vsize=51836 CPUtime=0.1
/proc/11749/task/11755/stat : 11755 (satake) S 11747 11749 27791 0 -1 4202560 960 0 0 0 4 6 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11756] ppid=11747 vsize=51836 CPUtime=0.12
/proc/11749/task/11756/stat : 11756 (satake) S 11747 11749 27791 0 -1 4202560 995 0 0 0 6 6 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=11749/tid=11757] ppid=11747 vsize=51836 CPUtime=0.16
/proc/11749/task/11757/stat : 11757 (satake) R 11747 11749 27791 0 -1 4202560 931 0 0 0 6 10 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11758] ppid=11747 vsize=51836 CPUtime=0.18
/proc/11749/task/11758/stat : 11758 (satake) S 11747 11749 27791 0 -1 4202560 955 0 0 0 4 14 0 0 20 0 17 0 643942521 53080064 10700 18446744073709551615 134512640 135180984 4288143456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=11749/tid=11759] ppid=11747 vsize=51836 CPUtime=0.2

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

deleting IPC queue 2074542158
deleting IPC queue 2074574927
deleting IPC queue 2074607696
deleting IPC queue 2074640465
deleting IPC queue 2074673234
deleting IPC queue 2074706003
deleting IPC queue 2074738772
deleting IPC queue 2074771541
deleting IPC queue 2074804310
deleting IPC queue 2074837079
deleting IPC queue 2074869848
deleting IPC queue 2074902617
deleting IPC queue 2074935386
deleting IPC queue 2074968155
deleting IPC queue 2075000924
deleting IPC queue 2075033693
deleting IPC queue 2075066462
deleting IPC queue 2075099231
deleting IPC queue 2075132000
deleting IPC queue 2075164769
deleting IPC queue 2075197538
deleting IPC queue 2075230307
deleting IPC queue 2075263076
deleting IPC queue 2075295845
deleting IPC queue 2075328614
deleting IPC queue 2075361383
deleting IPC queue 2075394152
deleting IPC queue 2075426921
deleting IPC queue 2075459690
deleting IPC queue 2075492459
deleting IPC queue 2075525228
deleting IPC queue 2075557997
deleting IPC queue 2075590766
deleting IPC queue 2075623535
deleting IPC queue 2075656304
deleting IPC queue 2075689073
deleting IPC queue 2075721842
deleting IPC queue 2075754611
deleting IPC queue 2075787380
deleting IPC queue 2075820149
deleting IPC queue 2075852918
deleting IPC queue 2075885687
deleting IPC queue 2075918456
deleting IPC queue 2075951225
deleting IPC queue 2075983994
deleting IPC queue 2076016763
deleting IPC queue 2076049532
deleting IPC queue 2076082301
deleting IPC queue 2076115070
deleting IPC queue 2076147839
deleting IPC queue 2076180608
deleting IPC queue 2076213377
deleting IPC queue 2076246146
deleting IPC queue 2076278915
deleting IPC queue 2076311684
deleting IPC queue 2076344453
deleting IPC queue 2076377222
deleting IPC queue 2076409991
deleting IPC queue 2076442760
deleting IPC queue 2076475529
deleting IPC queue 2076508298
deleting IPC queue 2076541067
deleting IPC queue 2076573836
deleting IPC queue 2076606605
deleting IPC queue 2076639374
deleting IPC queue 2076672143
deleting IPC queue 2076704912
deleting IPC queue 2076737681
deleting IPC queue 2076770450
deleting IPC queue 2076803219
deleting IPC queue 2076835988
deleting IPC queue 2076868757
deleting IPC queue 2076901526
deleting IPC queue 2076934295
deleting IPC queue 2076967064
deleting IPC queue 2076999833
deleting IPC queue 2077032602
deleting IPC queue 2077065371
deleting IPC queue 2077098140
deleting IPC queue 2077130909
deleting IPC queue 2077163678
deleting IPC queue 2077196447
deleting IPC queue 2077229216
deleting IPC queue 2077261985
deleting IPC queue 2077294754
deleting IPC queue 2077327523
deleting IPC queue 2077360292
deleting IPC queue 2077393061
deleting IPC queue 2077425830
deleting IPC queue 2077458599
deleting IPC queue 2077491368
deleting IPC queue 2077524137
deleting IPC queue 2077556906
deleting IPC queue 2077589675
deleting IPC queue 2077622444
deleting IPC queue 2077655213
deleting IPC queue 2077687982
deleting IPC queue 2077720751
deleting IPC queue 2077753520
deleting IPC queue 2077786289
deleting IPC queue 2077819058
deleting IPC queue 2077851827
deleting IPC queue 2077884596
deleting IPC queue 2077917365
deleting IPC queue 2077950134
deleting IPC queue 2077982903
deleting IPC queue 2078015672
deleting IPC queue 2078048441
deleting IPC queue 2078081210
deleting IPC queue 2078113979
deleting IPC queue 2078146748
deleting IPC queue 2078179517
deleting IPC queue 2078212286
deleting IPC queue 2078245055
deleting IPC queue 2078277824
deleting IPC queue 2078310593
deleting IPC queue 2078343362
deleting IPC queue 2078376131
deleting IPC queue 2078408900
deleting IPC queue 2078441669
deleting IPC queue 2078474438
deleting IPC queue 2078507207
deleting IPC queue 2078539976
deleting IPC queue 2078572745
deleting IPC queue 2078605514
deleting IPC queue 2078638283
deleting IPC queue 2078671052
deleting IPC queue 2078703821
deleting IPC queue 2078736590
deleting IPC queue 2078769359
deleting IPC queue 2078802128
deleting IPC queue 2078834897
deleting IPC queue 2078867666
deleting IPC queue 2078900435
deleting IPC queue 2078933204
deleting IPC queue 2078965973
deleting IPC queue 2078998742
deleting IPC queue 2079031511
deleting IPC queue 2079064280
deleting IPC queue 2079097049
deleting IPC queue 2079129818
deleting IPC queue 2079162587
deleting IPC queue 2079195356
deleting IPC queue 2079228125
deleting IPC queue 2079260894
deleting IPC queue 2079293663
deleting IPC queue 2079326432
deleting IPC queue 2079359201
deleting IPC queue 2079391970
deleting IPC queue 2079424739
deleting IPC queue 2079457508
deleting IPC queue 2079490277
deleting IPC queue 2079523046
deleting IPC queue 2079555815
deleting IPC queue 2079588584
deleting IPC queue 2079621353
deleting IPC queue 2079654122
deleting IPC queue 2079686891
deleting IPC queue 2079719660
deleting IPC queue 2079752429
deleting IPC queue 2079785198
deleting IPC queue 2079817967
deleting IPC queue 2079850736
deleting IPC queue 2079883505
deleting IPC queue 2079916274
deleting IPC queue 2079949043
deleting IPC queue 2079981812
deleting IPC queue 2080014581
deleting IPC queue 2080047350
deleting IPC queue 2080080119
deleting IPC queue 2080112888
deleting IPC queue 2080145657
deleting IPC queue 2080178426
deleting IPC queue 2080211195
deleting IPC queue 2080243964
deleting IPC queue 2080276733
deleting IPC queue 2080309502
deleting IPC queue 2080342271

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3362.73
system time used= 575.756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91716
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= 53377189
involuntary context switches= 1074313

runsolver used 4.53228 second user time and 12.4488 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 00:39:22
IDJOB=1780917
IDBENCH=71078
IDSOLVER=631
FILE ID=xenhost3-49/1780917-1244846362
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED= 1203063718

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:      19129576 kB
Buffers:        435604 kB
Cached:       14113988 kB
SwapCached:          0 kB
Active:        4080724 kB
Inactive:     10476492 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1724 kB
Writeback:           0 kB
AnonPages:        7604 kB
Mapped:           3004 kB
Slab:           689488 kB
SReclaimable:   662672 kB
SUnreclaim:      26816 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7027 MiB
End job on xenhost3-49 at 2009-06-13 00:56:04