Trace number 1776312

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 848.222

General information on the benchmark

Nameindustrial/grieu/
vmpc_30.cnf
MD5SUM8df6cfaff4435ad2a04367a34fb047c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark56.41
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses133080
Sum of the clauses size348570
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252290
Number of clauses of size 380730
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-1776312-1244744605/watcher-1776312-1244744605 -o /tmp/evaluation-result-1776312-1244744605/solver-1776312-1244744605 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776312-1244744605.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: 6.52 3.87 2.69 2/184 31567
/proc/meminfo: memFree=19140228/36427776 swapFree=4876/7124
[pid=31567] ppid=31565 vsize=8496 CPUtime=0
/proc/31567/stat : 31567 (satake) S 31565 31567 27791 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 17 0 633766908 8699904 458 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 2124 458 63 164 0 1959 0
[pid=31567/tid=31568] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31568/stat : 31568 (satake) S 31565 31567 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633766908 8839168 463 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31569] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31569/stat : 31569 (satake) S 31565 31567 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 633766908 8839168 467 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31570] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31570/stat : 31570 (satake) R 31565 31567 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 17 0 633766908 8839168 468 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31571] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31571/stat : 31571 (satake) R 31565 31567 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 470 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31572] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31572/stat : 31572 (satake) R 31565 31567 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 470 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31573] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31573/stat : 31573 (satake) R 31565 31567 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 471 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31574] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31574/stat : 31574 (satake) S 31565 31567 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 471 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31575] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31575/stat : 31575 (satake) R 31565 31567 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 472 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31576] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31576/stat : 31576 (satake) R 31565 31567 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 472 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31577] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31577/stat : 31577 (satake) R 31565 31567 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 473 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31578] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31578/stat : 31578 (satake) D 31565 31567 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 474 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31579] ppid=31565 vsize=8632 CPUtime=0
/proc/31567/task/31579/stat : 31579 (satake) D 31565 31567 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 633766909 8839168 475 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31580] ppid=31565 vsize=8636 CPUtime=0
/proc/31567/task/31580/stat : 31580 (satake) D 31565 31567 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 633766909 8843264 477 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31581] ppid=31565 vsize=8636 CPUtime=0
/proc/31567/task/31581/stat : 31581 (satake) R 31565 31567 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 633766909 8843264 481 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31582] ppid=31565 vsize=8636 CPUtime=0
/proc/31567/task/31582/stat : 31582 (satake) D 31565 31567 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 633766909 8843264 482 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31583] ppid=31565 vsize=8636 CPUtime=0
/proc/31567/task/31583/stat : 31583 (satake) R 31565 31567 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 633766909 8843264 483 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.113677 s]
/proc/loadavg: 6.52 3.87 2.69 2/184 31567
/proc/meminfo: memFree=19140228/36427776 swapFree=4876/7124
[pid=31567] ppid=31565 vsize=36692 CPUtime=0.55
/proc/31567/stat : 31567 (satake) S 31565 31567 27791 0 -1 4202496 6762 0 0 0 3 52 0 0 20 0 17 0 633766908 37572608 6721 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 9173 6724 63 164 0 9008 0
[pid=31567/tid=31568] ppid=31565 vsize=36692 CPUtime=0
/proc/31567/task/31568/stat : 31568 (satake) S 31565 31567 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633766908 37572608 6724 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31569] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31569/stat : 31569 (satake) R 31565 31567 27791 0 -1 4202560 553 0 0 0 0 4 0 0 20 0 17 0 633766908 37572608 6725 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31570] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31570/stat : 31570 (satake) S 31565 31567 27791 0 -1 4202560 535 0 0 0 0 4 0 0 20 0 17 0 633766908 37572608 6725 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31571] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31571/stat : 31571 (satake) S 31565 31567 27791 0 -1 4202560 524 0 0 0 0 4 0 0 20 0 17 0 633766909 37572608 6727 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31572] ppid=31565 vsize=36692 CPUtime=0
/proc/31567/task/31572/stat : 31572 (satake) D 31565 31567 27791 0 -1 4202560 292 0 0 0 0 0 0 0 20 0 17 0 633766909 37572608 6727 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31573] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31573/stat : 31573 (satake) S 31565 31567 27791 0 -1 4202560 521 0 0 0 0 4 0 0 20 0 17 0 633766909 37572608 6727 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31574] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31574/stat : 31574 (satake) D 31565 31567 27791 0 -1 4202560 589 0 0 0 0 4 0 0 20 0 17 0 633766909 37572608 6727 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31575] ppid=31565 vsize=36692 CPUtime=0
/proc/31567/task/31575/stat : 31575 (satake) R 31565 31567 27791 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 17 0 633766909 37572608 6729 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31576] ppid=31565 vsize=36692 CPUtime=0.06
/proc/31567/task/31576/stat : 31576 (satake) D 31565 31567 27791 0 -1 4202560 547 0 0 0 0 6 0 0 20 0 17 0 633766909 37572608 6733 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31577] ppid=31565 vsize=36692 CPUtime=0.02
/proc/31567/task/31577/stat : 31577 (satake) R 31565 31567 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 633766909 37572608 6734 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31578] ppid=31565 vsize=36692 CPUtime=0
/proc/31567/task/31578/stat : 31578 (satake) R 31565 31567 27791 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 17 0 633766909 37572608 6735 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31579] ppid=31565 vsize=36692 CPUtime=0.06
/proc/31567/task/31579/stat : 31579 (satake) R 31565 31567 27791 0 -1 4202560 555 0 0 0 0 6 0 0 20 0 17 0 633766909 37572608 6735 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31580] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31580/stat : 31580 (satake) R 31565 31567 27791 0 -1 4202560 508 0 0 0 0 4 0 0 20 0 17 0 633766909 37572608 6739 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31581] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31581/stat : 31581 (satake) R 31565 31567 27791 0 -1 4202560 514 0 0 0 0 4 0 0 20 0 17 0 633766909 37572608 6746 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31582] ppid=31565 vsize=36692 CPUtime=0
/proc/31567/task/31582/stat : 31582 (satake) R 31565 31567 27791 0 -1 4202560 253 0 0 0 0 0 0 0 20 0 17 0 633766909 37572608 6746 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31583] ppid=31565 vsize=36692 CPUtime=0.04
/proc/31567/task/31583/stat : 31583 (satake) D 31565 31567 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 633766909 37572608 6746 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 36692

[startup+0.205558 s]
/proc/loadavg: 6.52 3.87 2.69 2/184 31567
/proc/meminfo: memFree=19140228/36427776 swapFree=4876/7124
[pid=31567] ppid=31565 vsize=46852 CPUtime=0.88
/proc/31567/stat : 31567 (satake) S 31565 31567 27791 0 -1 4202496 9340 0 0 0 8 80 0 0 20 0 17 0 633766908 47976448 9297 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 11713 9297 63 164 0 11548 0
[pid=31567/tid=31568] ppid=31565 vsize=46852 CPUtime=0
/proc/31567/task/31568/stat : 31568 (satake) S 31565 31567 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633766908 47976448 9298 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31569] ppid=31565 vsize=46852 CPUtime=0.06
/proc/31567/task/31569/stat : 31569 (satake) R 31565 31567 27791 0 -1 4202560 618 0 0 0 0 6 0 0 20 0 17 0 633766908 47976448 9299 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31570] ppid=31565 vsize=46852 CPUtime=0.08
/proc/31567/task/31570/stat : 31570 (satake) D 31565 31567 27791 0 -1 4202560 695 0 0 0 0 8 0 0 20 0 17 0 633766908 47976448 9300 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31571] ppid=31565 vsize=46852 CPUtime=0.06
/proc/31567/task/31571/stat : 31571 (satake) D 31565 31567 27791 0 -1 4202560 622 0 0 0 0 6 0 0 20 0 17 0 633766909 47976448 9302 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31572] ppid=31565 vsize=46852 CPUtime=0.04
/proc/31567/task/31572/stat : 31572 (satake) R 31565 31567 27791 0 -1 4202560 552 0 0 0 0 4 0 0 20 0 17 0 633766909 47976448 9302 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31573] ppid=31565 vsize=46852 CPUtime=0.04
/proc/31567/task/31573/stat : 31573 (satake) R 31565 31567 27791 0 -1 4202560 588 0 0 0 0 4 0 0 20 0 17 0 633766909 47976448 9302 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31574] ppid=31565 vsize=46852 CPUtime=0.08
/proc/31567/task/31574/stat : 31574 (satake) R 31565 31567 27791 0 -1 4202560 797 0 0 0 4 4 0 0 20 0 17 0 633766909 47976448 9302 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31575] ppid=31565 vsize=46852 CPUtime=0.02
/proc/31567/task/31575/stat : 31575 (satake) R 31565 31567 27791 0 -1 4202560 521 0 0 0 2 0 0 0 20 0 17 0 633766909 47976448 9302 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31576] ppid=31565 vsize=46852 CPUtime=0.08
/proc/31567/task/31576/stat : 31576 (satake) D 31565 31567 27791 0 -1 4202560 712 0 0 0 0 8 0 0 20 0 17 0 633766909 47976448 9302 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31577] ppid=31565 vsize=46852 CPUtime=0.04
/proc/31567/task/31577/stat : 31577 (satake) S 31565 31567 27791 0 -1 4202560 529 0 0 0 0 4 0 0 20 0 17 0 633766909 47976448 9303 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31578] ppid=31565 vsize=46852 CPUtime=0.02
/proc/31567/task/31578/stat : 31578 (satake) S 31565 31567 27791 0 -1 4202560 521 0 0 0 0 2 0 0 20 0 17 0 633766909 47976448 9305 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31579] ppid=31565 vsize=46852 CPUtime=0.08
/proc/31567/task/31579/stat : 31579 (satake) D 31565 31567 27791 0 -1 4202560 715 0 0 0 0 8 0 0 20 0 17 0 633766909 47976448 9307 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31580] ppid=31565 vsize=46852 CPUtime=0.06
/proc/31567/task/31580/stat : 31580 (satake) R 31565 31567 27791 0 -1 4202560 568 0 0 0 0 6 0 0 20 0 17 0 633766909 47976448 9310 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31581] ppid=31565 vsize=46852 CPUtime=0.04
/proc/31567/task/31581/stat : 31581 (satake) S 31565 31567 27791 0 -1 4202560 545 0 0 0 0 4 0 0 20 0 17 0 633766909 47976448 9310 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31582] ppid=31565 vsize=46852 CPUtime=0.02
/proc/31567/task/31582/stat : 31582 (satake) R 31565 31567 27791 0 -1 4202560 530 0 0 0 0 2 0 0 20 0 17 0 633766909 47976448 9312 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31583] ppid=31565 vsize=46852 CPUtime=0.08
/proc/31567/task/31583/stat : 31583 (satake) R 31565 31567 27791 0 -1 4202560 703 0 0 0 0 8 0 0 20 0 17 0 633766909 47976448 9313 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 46852

[startup+0.305483 s]
/proc/loadavg: 6.52 3.87 2.69 2/184 31567
/proc/meminfo: memFree=19140228/36427776 swapFree=4876/7124
[pid=31567] ppid=31565 vsize=54160 CPUtime=1.29
/proc/31567/stat : 31567 (satake) S 31565 31567 27791 0 -1 4202496 11486 0 0 0 20 109 0 0 20 0 17 0 633766908 55459840 11443 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 13540 11443 63 164 0 13375 0
[pid=31567/tid=31568] ppid=31565 vsize=54160 CPUtime=0
/proc/31567/task/31568/stat : 31568 (satake) S 31565 31567 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633766908 55459840 11443 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31569] ppid=31565 vsize=54160 CPUtime=0.08
/proc/31567/task/31569/stat : 31569 (satake) S 31565 31567 27791 0 -1 4202560 764 0 0 0 0 8 0 0 20 0 17 0 633766908 55459840 11445 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31570] ppid=31565 vsize=54160 CPUtime=0.1
/proc/31567/task/31570/stat : 31570 (satake) D 31565 31567 27791 0 -1 4202560 867 0 0 0 0 10 0 0 20 0 17 0 633766908 55459840 11445 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31571] ppid=31565 vsize=54160 CPUtime=0.08
/proc/31567/task/31571/stat : 31571 (satake) R 31565 31567 27791 0 -1 4202560 805 0 0 0 0 8 0 0 20 0 17 0 633766909 55459840 11449 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31572] ppid=31565 vsize=54160 CPUtime=0.06
/proc/31567/task/31572/stat : 31572 (satake) R 31565 31567 27791 0 -1 4202560 647 0 0 0 2 4 0 0 20 0 17 0 633766909 55459840 11452 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31573] ppid=31565 vsize=54160 CPUtime=0.06
/proc/31567/task/31573/stat : 31573 (satake) S 31565 31567 27791 0 -1 4202560 659 0 0 0 0 6 0 0 20 0 17 0 633766909 55459840 11452 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31574] ppid=31565 vsize=54160 CPUtime=0.12
/proc/31567/task/31574/stat : 31574 (satake) R 31565 31567 27791 0 -1 4202560 1034 0 0 0 6 6 0 0 20 0 17 0 633766909 55459840 11452 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31575] ppid=31565 vsize=54160 CPUtime=0.04
/proc/31567/task/31575/stat : 31575 (satake) R 31565 31567 27791 0 -1 4202560 615 0 0 0 2 2 0 0 20 0 17 0 633766909 55459840 11454 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31576] ppid=31565 vsize=54160 CPUtime=0.12
/proc/31567/task/31576/stat : 31576 (satake) D 31565 31567 27791 0 -1 4202560 949 0 0 0 0 12 0 0 20 0 17 0 633766909 55459840 11456 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31577] ppid=31565 vsize=54160 CPUtime=0.06
/proc/31567/task/31577/stat : 31577 (satake) R 31565 31567 27791 0 -1 4202560 609 0 0 0 2 4 0 0 20 0 17 0 633766909 55459840 11457 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134534853 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31567/tid=31578] ppid=31565 vsize=54160 CPUtime=0.04
/proc/31567/task/31578/stat : 31578 (satake) S 31565 31567 27791 0 -1 4202560 604 0 0 0 0 4 0 0 20 0 17 0 633766909 55459840 11460 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31579] ppid=31565 vsize=54160 CPUtime=0.12
/proc/31567/task/31579/stat : 31579 (satake) S 31565 31567 27791 0 -1 4202560 944 0 0 0 2 10 0 0 20 0 17 0 633766909 55459840 11461 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31567/tid=31580] ppid=31565 vsize=54160 CPUtime=0.08
/proc/31567/task/31580/stat : 31580 (satake) D 31565 31567 27791 0 -1 4202560 693 0 0 0 0 8 0 0 20 0 17 0 633766909 55459840 11461 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31567/tid=31581] ppid=31565 vsize=54160 CPUtime=0.06
/proc/31567/task/31581/stat : 31581 (satake) S 31565 31567 27791 0 -1 4202560 613 0 0 0 0 6 0 0 20 0 17 0 633766909 55459840 11461 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31582] ppid=31565 vsize=54160 CPUtime=0.06
/proc/31567/task/31582/stat : 31582 (satake) S 31565 31567 27791 0 -1 4202560 630 0 0 0 2 4 0 0 20 0 17 0 633766909 55459840 11464 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31567/tid=31583] ppid=31565 vsize=54160 CPUtime=0.12
/proc/31567/task/31583/stat : 31583 (satake) R 31565 31567 27791 0 -1 4202560 936 0 0 0 2 10 0 0 20 0 17 0 633766909 55459840 11466 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 54160

[startup+0.70563 s]
/proc/loadavg: 6.52 3.87 2.69 2/184 31567
/proc/meminfo: memFree=19140228/36427776 swapFree=4876/7124
[pid=31567] ppid=31565 vsize=81372 CPUtime=3.1
/proc/31567/stat : 31567 (satake) S 31565 31567 27791 0 -1 4202496 19822 0 0 0 134 176 0 0 20 0 17 0 633766908 83324928 17935 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31567/statm: 20343 17938 66 164 0 20178 0
[pid=31567/tid=31568] ppid=31565 vsize=81372 CPUtime=0
/proc/31567/task/31568/stat : 31568 (satake) S 31565 31567 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 633766908 83324928 17938 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31569] ppid=31565 vsize=81372 CPUtime=0.2
/proc/31567/task/31569/stat : 31569 (satake) R 31565 31567 27791 0 -1 4202560 1299 0 0 0 8 12 0 0 20 0 17 0 633766908 83324928 17940 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31570] ppid=31565 vsize=81372 CPUtime=0.24
/proc/31567/task/31570/stat : 31570 (satake) R 31565 31567 27791 0 -1 4202560 1583 0 0 0 10 14 0 0 20 0 17 0 633766908 83324928 17940 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134534786 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31571] ppid=31565 vsize=81372 CPUtime=0.18
/proc/31567/task/31571/stat : 31571 (satake) R 31565 31567 27791 0 -1 4202560 1387 0 0 0 6 12 0 0 20 0 17 0 633766909 83324928 17942 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31572] ppid=31565 vsize=81372 CPUtime=0.14
/proc/31567/task/31572/stat : 31572 (satake) R 31565 31567 27791 0 -1 4202560 1089 0 0 0 6 8 0 0 20 0 17 0 633766909 83324928 17944 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31567/tid=31573] ppid=31565 vsize=81372 CPUtime=0.16
/proc/31567/task/31573/stat : 31573 (satake) S 31565 31567 27791 0 -1 4202560 1143 0 0 0 2 14 0 0 20 0 17 0 633766909 83324928 17945 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=31567/tid=31574] ppid=31565 vsize=81372 CPUtime=0.3
/proc/31567/task/31574/stat : 31574 (satake) S 31565 31567 27791 0 -1 4202560 1673 0 0 0 20 10 0 0 20 0 17 0 633766909 83324928 17946 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31567/tid=31575] ppid=31565 vsize=81372 CPUtime=0.12
/proc/31567/task/31575/stat : 31575 (satake) R 31565 31567 27791 0 -1 4202560 1087 0 0 0 4 8 0 0 20 0 17 0 633766909 83324928 17947 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31567/tid=31576] ppid=31565 vsize=81372 CPUtime=0.3
/proc/31567/task/31576/stat : 31576 (satake) S 31565 31567 27791 0 -1 4202560 1664 0 0 0 16 14 0 0 20 0 17 0 633766909 83324928 17948 18446744073709551615 134512640 135180984 4293582224 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=31567/tid=31577] ppid=31565 vsize=81372 CPUtime=0.12

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

deleting IPC queue 455540814
deleting IPC queue 455573583
deleting IPC queue 455606352
deleting IPC queue 455639121
deleting IPC queue 455671890
deleting IPC queue 455704659
deleting IPC queue 455737428
deleting IPC queue 455770197
deleting IPC queue 455802966
deleting IPC queue 455835735
deleting IPC queue 455868504
deleting IPC queue 455901273
deleting IPC queue 455934042
deleting IPC queue 455966811
deleting IPC queue 455999580
deleting IPC queue 456032349
deleting IPC queue 456065118
deleting IPC queue 456097887
deleting IPC queue 456130656
deleting IPC queue 456163425
deleting IPC queue 456196194
deleting IPC queue 456228963
deleting IPC queue 456261732
deleting IPC queue 456294501
deleting IPC queue 456327270
deleting IPC queue 456360039
deleting IPC queue 456392808
deleting IPC queue 456425577
deleting IPC queue 456458346
deleting IPC queue 456491115
deleting IPC queue 456523884
deleting IPC queue 456556653
deleting IPC queue 456589422
deleting IPC queue 456622191
deleting IPC queue 456654960
deleting IPC queue 456687729
deleting IPC queue 456720498
deleting IPC queue 456753267
deleting IPC queue 456786036
deleting IPC queue 456818805
deleting IPC queue 456851574
deleting IPC queue 456884343
deleting IPC queue 456917112
deleting IPC queue 456949881
deleting IPC queue 456982650
deleting IPC queue 457015419
deleting IPC queue 457048188
deleting IPC queue 457080957
deleting IPC queue 457113726
deleting IPC queue 457146495
deleting IPC queue 457179264
deleting IPC queue 457212033
deleting IPC queue 457244802
deleting IPC queue 457277571
deleting IPC queue 457310340
deleting IPC queue 457343109
deleting IPC queue 457375878
deleting IPC queue 457408647
deleting IPC queue 457441416
deleting IPC queue 457474185
deleting IPC queue 457506954
deleting IPC queue 457539723
deleting IPC queue 457572492
deleting IPC queue 457605261
deleting IPC queue 457638030
deleting IPC queue 457670799
deleting IPC queue 457703568
deleting IPC queue 457736337
deleting IPC queue 457769106
deleting IPC queue 457801875
deleting IPC queue 457834644
deleting IPC queue 457867413
deleting IPC queue 457900182
deleting IPC queue 457932951
deleting IPC queue 457965720
deleting IPC queue 457998489
deleting IPC queue 458031258
deleting IPC queue 458064027
deleting IPC queue 458096796
deleting IPC queue 458129565
deleting IPC queue 458162334
deleting IPC queue 458195103
deleting IPC queue 458227872
deleting IPC queue 458260641
deleting IPC queue 458293410
deleting IPC queue 458326179
deleting IPC queue 458358948
deleting IPC queue 458391717
deleting IPC queue 458424486
deleting IPC queue 458457255
deleting IPC queue 458490024
deleting IPC queue 458522793
deleting IPC queue 458555562
deleting IPC queue 458588331
deleting IPC queue 458621100
deleting IPC queue 458653869
deleting IPC queue 458686638
deleting IPC queue 458719407
deleting IPC queue 458752176
deleting IPC queue 458784945
deleting IPC queue 458817714
deleting IPC queue 458850483
deleting IPC queue 458883252
deleting IPC queue 458916021
deleting IPC queue 458948790
deleting IPC queue 458981559
deleting IPC queue 459014328
deleting IPC queue 459047097
deleting IPC queue 459079866
deleting IPC queue 459112635
deleting IPC queue 459145404
deleting IPC queue 459178173
deleting IPC queue 459210942
deleting IPC queue 459243711
deleting IPC queue 459276480
deleting IPC queue 459309249
deleting IPC queue 459342018
deleting IPC queue 459374787
deleting IPC queue 459407556
deleting IPC queue 459440325
deleting IPC queue 459473094
deleting IPC queue 459505863
deleting IPC queue 459538632
deleting IPC queue 459571401
deleting IPC queue 459604170
deleting IPC queue 459636939
deleting IPC queue 459669708
deleting IPC queue 459702477
deleting IPC queue 459735246
deleting IPC queue 459768015
deleting IPC queue 459800784
deleting IPC queue 459833553
deleting IPC queue 459866322
deleting IPC queue 459899091
deleting IPC queue 459931860
deleting IPC queue 459964629
deleting IPC queue 459997398
deleting IPC queue 460030167
deleting IPC queue 460062936
deleting IPC queue 460095705
deleting IPC queue 460128474
deleting IPC queue 460161243
deleting IPC queue 460194012
deleting IPC queue 460226781
deleting IPC queue 460259550
deleting IPC queue 460292319
deleting IPC queue 460325088
deleting IPC queue 460357857
deleting IPC queue 460390626
deleting IPC queue 460423395
deleting IPC queue 460456164
deleting IPC queue 460488933
deleting IPC queue 460521702
deleting IPC queue 460554471
deleting IPC queue 460587240
deleting IPC queue 460620009
deleting IPC queue 460652778
deleting IPC queue 460685547
deleting IPC queue 460718316
deleting IPC queue 460751085
deleting IPC queue 460783854
deleting IPC queue 460816623
deleting IPC queue 460849392
deleting IPC queue 460882161
deleting IPC queue 460914930
deleting IPC queue 460947699
deleting IPC queue 460980468
deleting IPC queue 461013237
deleting IPC queue 461046006
deleting IPC queue 461078775
deleting IPC queue 461111544
deleting IPC queue 461144313
deleting IPC queue 461177082
deleting IPC queue 461209851
deleting IPC queue 461242620
deleting IPC queue 461275389
deleting IPC queue 461308158
deleting IPC queue 461340927

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9645.66
system time used= 355.338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273423
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= 29802068
involuntary context switches= 10108837

runsolver used 3.97225 second user time and 11.7767 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 20:23:25
IDJOB=1776312
IDBENCH=20487
IDSOLVER=631
FILE ID=xenhost3-49/1776312-1244744605
PBS_JOBID=
Free space on /tmp= 7038 MiB

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

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

MD5SUM BENCH= 8df6cfaff4435ad2a04367a34fb047c1
RANDOM SEED= 1213225138

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:      19140228 kB
Buffers:        432352 kB
Cached:       14102768 kB
SwapCached:          0 kB
Active:        4077388 kB
Inactive:     10466644 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2684 kB
Writeback:           0 kB
AnonPages:        7124 kB
Mapped:           4212 kB
Slab:           687552 kB
SReclaimable:   660860 kB
SUnreclaim:      26692 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7038 MiB
End job on xenhost3-49 at 2009-06-11 20:37:36