Trace number 1779477

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) 10000.9 684.66

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-34-s100.cnf
MD5SUMd33264afbb7fa6f88a24b97cfc468c5a
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 variables32465
Number of clauses97748
Sum of the clauses size230766
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262350
Number of clauses of size 335334
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-1779477-1244797504/watcher-1779477-1244797504 -o /tmp/evaluation-result-1779477-1244797504/solver-1779477-1244797504 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779477-1244797504.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: 5.48 5.48 5.60 2/184 5496
/proc/meminfo: memFree=19134728/36427776 swapFree=3664/8708
[pid=5496] ppid=5494 vsize=6728 CPUtime=0
/proc/5496/stat : 5496 (satake) D 5494 5496 27791 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 14 0 639056749 6889472 314 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/5496/statm: 1682 315 63 164 0 1517 0
[pid=5496/tid=5497] ppid=5494 vsize=7320 CPUtime=0
/proc/5496/task/5497/stat : 5497 (satake) S 5494 5496 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639056749 7495680 454 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5498] ppid=5494 vsize=7452 CPUtime=0
/proc/5496/task/5498/stat : 5498 (satake) D 5494 5496 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 639056749 7630848 454 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5499] ppid=5494 vsize=7452 CPUtime=0
/proc/5496/task/5499/stat : 5499 (satake) D 5494 5496 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 639056749 7630848 458 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5500] ppid=5494 vsize=7452 CPUtime=0
/proc/5496/task/5500/stat : 5500 (satake) D 5494 5496 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 639056749 7630848 459 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5501] ppid=5494 vsize=7452 CPUtime=0
/proc/5496/task/5501/stat : 5501 (satake) S 5494 5496 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639056749 7630848 459 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5502] ppid=5494 vsize=7452 CPUtime=0
/proc/5496/task/5502/stat : 5502 (satake) R 5494 5496 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 639056750 7630848 459 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5503] ppid=5494 vsize=7452 CPUtime=0
/proc/5496/task/5503/stat : 5503 (satake) S 5494 5496 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 639056750 7630848 459 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5504] ppid=5494 vsize=7456 CPUtime=0
/proc/5496/task/5504/stat : 5504 (satake) R 5494 5496 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 639056750 7634944 459 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5496/tid=5505] ppid=5494 vsize=7456 CPUtime=0
/proc/5496/task/5505/stat : 5505 (satake) S 5494 5496 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639056750 7634944 459 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5506] ppid=5494 vsize=7456 CPUtime=0
/proc/5496/task/5506/stat : 5506 (satake) D 5494 5496 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 639056750 7634944 461 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5496/tid=5507] ppid=5494 vsize=7592 CPUtime=0
/proc/5496/task/5507/stat : 5507 (satake) S 5494 5496 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639056750 7774208 461 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5508] ppid=5494 vsize=7592 CPUtime=0
/proc/5496/task/5508/stat : 5508 (satake) R 5494 5496 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 639056750 7774208 466 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5509] ppid=5494 vsize=7592 CPUtime=0
/proc/5496/task/5509/stat : 5509 (satake) R 5494 5496 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 639056750 7774208 468 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5496/tid=5510] ppid=5494 vsize=7592 CPUtime=0
/proc/5496/task/5510/stat : 5510 (satake) R 5494 5496 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 639056750 7774208 468 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5511] ppid=5494 vsize=7592 CPUtime=0
/proc/5496/task/5511/stat : 5511 (satake) R 5494 5496 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 639056750 7774208 468 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5512] ppid=5494 vsize=7592 CPUtime=0
/proc/5496/task/5512/stat : 5512 (satake) R 5494 5496 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 639056750 7774208 469 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.093506 s]
/proc/loadavg: 5.48 5.48 5.60 2/184 5496
/proc/meminfo: memFree=19134728/36427776 swapFree=3664/8708
[pid=5496] ppid=5494 vsize=31272 CPUtime=0.42
/proc/5496/stat : 5496 (satake) S 5494 5496 27791 0 -1 4202496 5232 0 0 0 5 37 0 0 20 0 17 0 639056749 32022528 5189 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/5496/statm: 7818 5197 63 164 0 7653 0
[pid=5496/tid=5497] ppid=5494 vsize=31272 CPUtime=0
/proc/5496/task/5497/stat : 5497 (satake) S 5494 5496 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639056749 32022528 5197 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5498] ppid=5494 vsize=31272 CPUtime=0.04
/proc/5496/task/5498/stat : 5498 (satake) R 5494 5496 27791 0 -1 4202560 441 0 0 0 0 4 0 0 20 0 17 0 639056749 32022528 5198 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5499] ppid=5494 vsize=31272 CPUtime=0.04
/proc/5496/task/5499/stat : 5499 (satake) R 5494 5496 27791 0 -1 4202560 540 0 0 0 0 4 0 0 20 0 17 0 639056749 32022528 5199 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5500] ppid=5494 vsize=31272 CPUtime=0.02
/proc/5496/task/5500/stat : 5500 (satake) R 5494 5496 27791 0 -1 4202560 218 0 0 0 2 0 0 0 20 0 17 0 639056749 32022528 5199 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5501] ppid=5494 vsize=31272 CPUtime=0.02
/proc/5496/task/5501/stat : 5501 (satake) R 5494 5496 27791 0 -1 4202560 250 0 0 0 2 0 0 0 20 0 17 0 639056749 32022528 5199 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5502] ppid=5494 vsize=31272 CPUtime=0.02
/proc/5496/task/5502/stat : 5502 (satake) R 5494 5496 27791 0 -1 4202560 303 0 0 0 0 2 0 0 20 0 17 0 639056750 32022528 5199 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5503] ppid=5494 vsize=31272 CPUtime=0.02
/proc/5496/task/5503/stat : 5503 (satake) R 5494 5496 27791 0 -1 4202560 245 0 0 0 0 2 0 0 20 0 17 0 639056750 32022528 5199 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5504] ppid=5494 vsize=31272 CPUtime=0.04
/proc/5496/task/5504/stat : 5504 (satake) R 5494 5496 27791 0 -1 4202560 494 0 0 0 0 4 0 0 20 0 17 0 639056750 32022528 5200 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5496/tid=5505] ppid=5494 vsize=31272 CPUtime=0.02
/proc/5496/task/5505/stat : 5505 (satake) D 5494 5496 27791 0 -1 4202560 313 0 0 0 0 2 0 0 20 0 17 0 639056750 32022528 5204 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5506] ppid=5494 vsize=31272 CPUtime=0.04
/proc/5496/task/5506/stat : 5506 (satake) D 5494 5496 27791 0 -1 4202560 500 0 0 0 0 4 0 0 20 0 17 0 639056750 32022528 5204 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5496/tid=5507] ppid=5494 vsize=31272 CPUtime=0.04
/proc/5496/task/5507/stat : 5507 (satake) D 5494 5496 27791 0 -1 4202560 488 0 0 0 0 4 0 0 20 0 17 0 639056750 32022528 5204 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5508] ppid=5494 vsize=31272 CPUtime=0
/proc/5496/task/5508/stat : 5508 (satake) D 5494 5496 27791 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 17 0 639056750 32022528 5206 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5509] ppid=5494 vsize=31272 CPUtime=0.04
/proc/5496/task/5509/stat : 5509 (satake) R 5494 5496 27791 0 -1 4202560 450 0 0 0 0 4 0 0 20 0 17 0 639056750 32022528 5211 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5496/tid=5510] ppid=5494 vsize=31272 CPUtime=0.04
/proc/5496/task/5510/stat : 5510 (satake) D 5494 5496 27791 0 -1 4202560 444 0 0 0 0 4 0 0 20 0 17 0 639056750 32022528 5212 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5511] ppid=5494 vsize=31272 CPUtime=0
/proc/5496/task/5511/stat : 5511 (satake) R 5494 5496 27791 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 17 0 639056750 32022528 5212 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5512] ppid=5494 vsize=31272 CPUtime=0
/proc/5496/task/5512/stat : 5512 (satake) R 5494 5496 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 639056750 32022528 5212 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 31272

[startup+0.105667 s]
/proc/loadavg: 5.48 5.48 5.60 2/184 5496
/proc/meminfo: memFree=19134728/36427776 swapFree=3664/8708
[pid=5496] ppid=5494 vsize=32944 CPUtime=0.47
/proc/5496/stat : 5496 (satake) S 5494 5496 27791 0 -1 4202496 5582 0 0 0 6 41 0 0 20 0 17 0 639056749 33734656 5539 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/5496/statm: 8236 5540 63 164 0 8071 0
[pid=5496/tid=5497] ppid=5494 vsize=32944 CPUtime=0
/proc/5496/task/5497/stat : 5497 (satake) S 5494 5496 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639056749 33734656 5540 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5498] ppid=5494 vsize=32944 CPUtime=0.04
/proc/5496/task/5498/stat : 5498 (satake) R 5494 5496 27791 0 -1 4202560 466 0 0 0 0 4 0 0 20 0 17 0 639056749 33734656 5540 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5499] ppid=5494 vsize=32944 CPUtime=0.04
/proc/5496/task/5499/stat : 5499 (satake) D 5494 5496 27791 0 -1 4202560 567 0 0 0 0 4 0 0 20 0 17 0 639056749 33734656 5540 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5500] ppid=5494 vsize=32944 CPUtime=0.02
/proc/5496/task/5500/stat : 5500 (satake) R 5494 5496 27791 0 -1 4202560 242 0 0 0 2 0 0 0 20 0 17 0 639056749 33734656 5540 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5501] ppid=5494 vsize=32944 CPUtime=0.02
/proc/5496/task/5501/stat : 5501 (satake) R 5494 5496 27791 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 17 0 639056749 33734656 5541 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5502] ppid=5494 vsize=32944 CPUtime=0.02
/proc/5496/task/5502/stat : 5502 (satake) D 5494 5496 27791 0 -1 4202560 328 0 0 0 0 2 0 0 20 0 17 0 639056750 33734656 5545 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5503] ppid=5494 vsize=32944 CPUtime=0.02
/proc/5496/task/5503/stat : 5503 (satake) D 5494 5496 27791 0 -1 4202560 271 0 0 0 0 2 0 0 20 0 17 0 639056750 33734656 5545 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5504] ppid=5494 vsize=32944 CPUtime=0.04
/proc/5496/task/5504/stat : 5504 (satake) D 5494 5496 27791 0 -1 4202560 513 0 0 0 0 4 0 0 20 0 17 0 639056750 33734656 5545 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5496/tid=5505] ppid=5494 vsize=32944 CPUtime=0.02
/proc/5496/task/5505/stat : 5505 (satake) D 5494 5496 27791 0 -1 4202560 339 0 0 0 0 2 0 0 20 0 17 0 639056750 33734656 5545 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5506] ppid=5494 vsize=32944 CPUtime=0.06
/proc/5496/task/5506/stat : 5506 (satake) R 5494 5496 27791 0 -1 4202560 520 0 0 0 0 6 0 0 20 0 17 0 639056750 33734656 5546 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5496/tid=5507] ppid=5494 vsize=32944 CPUtime=0.04
/proc/5496/task/5507/stat : 5507 (satake) R 5494 5496 27791 0 -1 4202560 509 0 0 0 0 4 0 0 20 0 17 0 639056750 33734656 5546 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5508] ppid=5494 vsize=32944 CPUtime=0.02
/proc/5496/task/5508/stat : 5508 (satake) D 5494 5496 27791 0 -1 4202560 180 0 0 0 2 0 0 0 20 0 17 0 639056750 33734656 5547 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5509] ppid=5494 vsize=32944 CPUtime=0.04
/proc/5496/task/5509/stat : 5509 (satake) R 5494 5496 27791 0 -1 4202560 466 0 0 0 0 4 0 0 20 0 17 0 639056750 33734656 5552 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5496/tid=5510] ppid=5494 vsize=32944 CPUtime=0.04
/proc/5496/task/5510/stat : 5510 (satake) R 5494 5496 27791 0 -1 4202560 460 0 0 0 0 4 0 0 20 0 17 0 639056750 33734656 5553 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5511] ppid=5494 vsize=32944 CPUtime=0
/proc/5496/task/5511/stat : 5511 (satake) R 5494 5496 27791 0 -1 4202560 152 0 0 0 0 0 0 0 20 0 17 0 639056750 33734656 5553 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5512] ppid=5494 vsize=32944 CPUtime=0.02
/proc/5496/task/5512/stat : 5512 (satake) R 5494 5496 27791 0 -1 4202560 171 0 0 0 0 2 0 0 20 0 17 0 639056750 33734656 5553 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 32944

[startup+0.305495 s]
/proc/loadavg: 5.48 5.48 5.60 2/184 5496
/proc/meminfo: memFree=19134728/36427776 swapFree=3664/8708
[pid=5496] ppid=5494 vsize=65836 CPUtime=1.29
/proc/5496/stat : 5496 (satake) S 5494 5496 27791 0 -1 4202496 11565 0 0 0 6 123 0 0 20 0 17 0 639056749 67416064 11522 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/5496/statm: 16459 11522 63 164 0 16294 0
[pid=5496/tid=5497] ppid=5494 vsize=65836 CPUtime=0
/proc/5496/task/5497/stat : 5497 (satake) S 5494 5496 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639056749 67416064 11522 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5498] ppid=5494 vsize=65836 CPUtime=0.08
/proc/5496/task/5498/stat : 5498 (satake) R 5494 5496 27791 0 -1 4202560 855 0 0 0 0 8 0 0 20 0 17 0 639056749 67416064 11523 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5499] ppid=5494 vsize=65836 CPUtime=0.12
/proc/5496/task/5499/stat : 5499 (satake) D 5494 5496 27791 0 -1 4202560 998 0 0 0 0 12 0 0 20 0 17 0 639056749 67416064 11524 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5500] ppid=5494 vsize=65836 CPUtime=0.06
/proc/5496/task/5500/stat : 5500 (satake) D 5494 5496 27791 0 -1 4202560 610 0 0 0 2 4 0 0 20 0 17 0 639056749 67416064 11525 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5501] ppid=5494 vsize=65836 CPUtime=0.06
/proc/5496/task/5501/stat : 5501 (satake) D 5494 5496 27791 0 -1 4202560 658 0 0 0 2 4 0 0 20 0 17 0 639056749 67416064 11525 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5502] ppid=5494 vsize=65836 CPUtime=0.06
/proc/5496/task/5502/stat : 5502 (satake) D 5494 5496 27791 0 -1 4202560 699 0 0 0 0 6 0 0 20 0 17 0 639056750 67416064 11526 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5503] ppid=5494 vsize=65836 CPUtime=0.06
/proc/5496/task/5503/stat : 5503 (satake) D 5494 5496 27791 0 -1 4202560 612 0 0 0 0 6 0 0 20 0 17 0 639056750 67416064 11530 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5504] ppid=5494 vsize=65836 CPUtime=0.12
/proc/5496/task/5504/stat : 5504 (satake) R 5494 5496 27791 0 -1 4202560 1003 0 0 0 0 12 0 0 20 0 17 0 639056750 67416064 11532 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5496/tid=5505] ppid=5494 vsize=65836 CPUtime=0.08
/proc/5496/task/5505/stat : 5505 (satake) R 5494 5496 27791 0 -1 4202560 753 0 0 0 0 8 0 0 20 0 17 0 639056750 67416064 11532 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5506] ppid=5494 vsize=65836 CPUtime=0.14
/proc/5496/task/5506/stat : 5506 (satake) R 5494 5496 27791 0 -1 4202560 1007 0 0 0 0 14 0 0 20 0 17 0 639056750 67416064 11532 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5496/tid=5507] ppid=5494 vsize=65836 CPUtime=0.1
/proc/5496/task/5507/stat : 5507 (satake) R 5494 5496 27791 0 -1 4202560 938 0 0 0 0 10 0 0 20 0 17 0 639056750 67416064 11532 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5508] ppid=5494 vsize=65836 CPUtime=0.06
/proc/5496/task/5508/stat : 5508 (satake) R 5494 5496 27791 0 -1 4202560 543 0 0 0 2 4 0 0 20 0 17 0 639056750 67416064 11533 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5496/tid=5509] ppid=5494 vsize=65836 CPUtime=0.08
/proc/5496/task/5509/stat : 5509 (satake) S 5494 5496 27791 0 -1 4202560 796 0 0 0 0 8 0 0 20 0 17 0 639056750 67416064 11537 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=5496/tid=5510] ppid=5494 vsize=65836 CPUtime=0.08
/proc/5496/task/5510/stat : 5510 (satake) R 5494 5496 27791 0 -1 4202560 853 0 0 0 0 8 0 0 20 0 17 0 639056750 67416064 11543 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5511] ppid=5494 vsize=65836 CPUtime=0.06
/proc/5496/task/5511/stat : 5511 (satake) R 5494 5496 27791 0 -1 4202560 532 0 0 0 0 6 0 0 20 0 17 0 639056750 67416064 11554 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5496/tid=5512] ppid=5494 vsize=65836 CPUtime=0.08
/proc/5496/task/5512/stat : 5512 (satake) S 5494 5496 27791 0 -1 4202560 587 0 0 0 0 8 0 0 20 0 17 0 639056750 67416064 11555 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 65836

[startup+0.705474 s]
/proc/loadavg: 5.48 5.48 5.60 2/184 5496
/proc/meminfo: memFree=19134728/36427776 swapFree=3664/8708
[pid=5496] ppid=5494 vsize=105940 CPUtime=2.73
/proc/5496/stat : 5496 (satake) S 5494 5496 27791 0 -1 4202496 23052 0 0 0 19 254 0 0 20 0 17 0 639056749 108482560 23009 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/5496/statm: 26485 23010 63 164 0 26320 0
[pid=5496/tid=5497] ppid=5494 vsize=105940 CPUtime=0
/proc/5496/task/5497/stat : 5497 (satake) S 5494 5496 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639056749 108482560 23010 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5498] ppid=5494 vsize=105940 CPUtime=0.18
/proc/5496/task/5498/stat : 5498 (satake) D 5494 5496 27791 0 -1 4202560 1566 0 0 0 2 16 0 0 20 0 17 0 639056749 108482560 23010 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5499] ppid=5494 vsize=105940 CPUtime=0.24
/proc/5496/task/5499/stat : 5499 (satake) S 5494 5496 27791 0 -1 4202560 1678 0 0 0 2 22 0 0 20 0 17 0 639056749 108482560 23011 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=5496/tid=5500] ppid=5494 vsize=105940 CPUtime=0.14
/proc/5496/task/5500/stat : 5500 (satake) R 5494 5496 27791 0 -1 4202560 1446 0 0 0 2 12 0 0 20 0 17 0 639056749 108482560 23012 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5501] ppid=5494 vsize=105940 CPUtime=0.14
/proc/5496/task/5501/stat : 5501 (satake) D 5494 5496 27791 0 -1 4202560 1477 0 0 0 2 12 0 0 20 0 17 0 639056749 108482560 23014 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5502] ppid=5494 vsize=105940 CPUtime=0.16
/proc/5496/task/5502/stat : 5502 (satake) R 5494 5496 27791 0 -1 4202560 1507 0 0 0 0 16 0 0 20 0 17 0 639056750 108482560 23014 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5496/tid=5503] ppid=5494 vsize=105940 CPUtime=0.16
/proc/5496/task/5503/stat : 5503 (satake) R 5494 5496 27791 0 -1 4202560 1471 0 0 0 0 16 0 0 20 0 17 0 639056750 108482560 23014 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5496/tid=5504] ppid=5494 vsize=105940 CPUtime=0.24
/proc/5496/task/5504/stat : 5504 (satake) D 5494 5496 27791 0 -1 4202560 1649 0 0 0 4 20 0 0 20 0 17 0 639056750 108482560 23014 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5496/tid=5505] ppid=5494 vsize=105940 CPUtime=0.16
/proc/5496/task/5505/stat : 5505 (satake) R 5494 5496 27791 0 -1 4202560 1497 0 0 0 0 16 0 0 20 0 17 0 639056750 108482560 23014 18446744073709551615 134512640 135180984 4293946864 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5496/tid=5506] ppid=5494 vsize=105940 CPUtime=0.24

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

deleting IPC queue 1269235790
deleting IPC queue 1269268559
deleting IPC queue 1269301328
deleting IPC queue 1269334097
deleting IPC queue 1269366866
deleting IPC queue 1269399635
deleting IPC queue 1269432404
deleting IPC queue 1269465173
deleting IPC queue 1269497942
deleting IPC queue 1269530711
deleting IPC queue 1269563480
deleting IPC queue 1269596249
deleting IPC queue 1269629018
deleting IPC queue 1269661787
deleting IPC queue 1269694556
deleting IPC queue 1269727325
deleting IPC queue 1269760094
deleting IPC queue 1269792863
deleting IPC queue 1269825632
deleting IPC queue 1269858401
deleting IPC queue 1269891170
deleting IPC queue 1269923939
deleting IPC queue 1269956708
deleting IPC queue 1269989477
deleting IPC queue 1270022246
deleting IPC queue 1270055015
deleting IPC queue 1270087784
deleting IPC queue 1270120553
deleting IPC queue 1270153322
deleting IPC queue 1270186091
deleting IPC queue 1270218860
deleting IPC queue 1270251629
deleting IPC queue 1270284398
deleting IPC queue 1270317167
deleting IPC queue 1270349936
deleting IPC queue 1270382705
deleting IPC queue 1270415474
deleting IPC queue 1270448243
deleting IPC queue 1270481012
deleting IPC queue 1270513781
deleting IPC queue 1270546550
deleting IPC queue 1270579319
deleting IPC queue 1270612088
deleting IPC queue 1270644857
deleting IPC queue 1270677626
deleting IPC queue 1270710395
deleting IPC queue 1270743164
deleting IPC queue 1270775933
deleting IPC queue 1270808702
deleting IPC queue 1270841471
deleting IPC queue 1270874240
deleting IPC queue 1270907009
deleting IPC queue 1270939778
deleting IPC queue 1270972547
deleting IPC queue 1271005316
deleting IPC queue 1271038085
deleting IPC queue 1271070854
deleting IPC queue 1271103623
deleting IPC queue 1271136392
deleting IPC queue 1271169161
deleting IPC queue 1271201930
deleting IPC queue 1271234699
deleting IPC queue 1271267468
deleting IPC queue 1271300237
deleting IPC queue 1271333006
deleting IPC queue 1271365775
deleting IPC queue 1271398544
deleting IPC queue 1271431313
deleting IPC queue 1271464082
deleting IPC queue 1271496851
deleting IPC queue 1271529620
deleting IPC queue 1271562389
deleting IPC queue 1271595158
deleting IPC queue 1271627927
deleting IPC queue 1271660696
deleting IPC queue 1271693465
deleting IPC queue 1271726234
deleting IPC queue 1271759003
deleting IPC queue 1271791772
deleting IPC queue 1271824541
deleting IPC queue 1271857310
deleting IPC queue 1271890079
deleting IPC queue 1271922848
deleting IPC queue 1271955617
deleting IPC queue 1271988386
deleting IPC queue 1272021155
deleting IPC queue 1272053924
deleting IPC queue 1272086693
deleting IPC queue 1272119462
deleting IPC queue 1272152231
deleting IPC queue 1272185000
deleting IPC queue 1272217769
deleting IPC queue 1272250538
deleting IPC queue 1272283307
deleting IPC queue 1272316076
deleting IPC queue 1272348845
deleting IPC queue 1272381614
deleting IPC queue 1272414383
deleting IPC queue 1272447152
deleting IPC queue 1272479921
deleting IPC queue 1272512690
deleting IPC queue 1272545459
deleting IPC queue 1272578228
deleting IPC queue 1272610997
deleting IPC queue 1272643766
deleting IPC queue 1272676535
deleting IPC queue 1272709304
deleting IPC queue 1272742073
deleting IPC queue 1272774842
deleting IPC queue 1272807611
deleting IPC queue 1272840380
deleting IPC queue 1272873149
deleting IPC queue 1272905918
deleting IPC queue 1272938687
deleting IPC queue 1272971456
deleting IPC queue 1273004225
deleting IPC queue 1273036994
deleting IPC queue 1273069763
deleting IPC queue 1273102532
deleting IPC queue 1273135301
deleting IPC queue 1273168070
deleting IPC queue 1273200839
deleting IPC queue 1273233608
deleting IPC queue 1273266377
deleting IPC queue 1273299146
deleting IPC queue 1273331915
deleting IPC queue 1273364684
deleting IPC queue 1273397453
deleting IPC queue 1273430222
deleting IPC queue 1273462991
deleting IPC queue 1273495760
deleting IPC queue 1273528529
deleting IPC queue 1273561298
deleting IPC queue 1273594067
deleting IPC queue 1273626836
deleting IPC queue 1273659605
deleting IPC queue 1273692374
deleting IPC queue 1273725143
deleting IPC queue 1273757912
deleting IPC queue 1273790681
deleting IPC queue 1273823450
deleting IPC queue 1273856219
deleting IPC queue 1273888988
deleting IPC queue 1273921757
deleting IPC queue 1273954526
deleting IPC queue 1273987295
deleting IPC queue 1274020064
deleting IPC queue 1274052833
deleting IPC queue 1274085602
deleting IPC queue 1274118371
deleting IPC queue 1274151140
deleting IPC queue 1274183909
deleting IPC queue 1274216678
deleting IPC queue 1274249447
deleting IPC queue 1274282216
deleting IPC queue 1274314985
deleting IPC queue 1274347754
deleting IPC queue 1274380523
deleting IPC queue 1274413292
deleting IPC queue 1274446061
deleting IPC queue 1274478830
deleting IPC queue 1274511599
deleting IPC queue 1274544368
deleting IPC queue 1274577137
deleting IPC queue 1274609906
deleting IPC queue 1274642675
deleting IPC queue 1274675444
deleting IPC queue 1274708213
deleting IPC queue 1274740982
deleting IPC queue 1274773751
deleting IPC queue 1274806520
deleting IPC queue 1274839289
deleting IPC queue 1274872058
deleting IPC queue 1274904827
deleting IPC queue 1274937596
deleting IPC queue 1274970365
deleting IPC queue 1275003134
deleting IPC queue 1275035903

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9900.22
system time used= 100.662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93103
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= 8373692
involuntary context switches= 4186467

runsolver used 3.12819 second user time and 9.93262 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 11:05:04
IDJOB=1779477
IDBENCH=70864
IDSOLVER=631
FILE ID=xenhost3-49/1779477-1244797504
PBS_JOBID=
Free space on /tmp= 7035 MiB

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

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

MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED= 1853099777

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:      19134728 kB
Buffers:        433828 kB
Cached:       14105920 kB
SwapCached:          0 kB
Active:        4079032 kB
Inactive:     10468588 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:        8708 kB
Mapped:           3664 kB
Slab:           688276 kB
SReclaimable:   661524 kB
SUnreclaim:      26752 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7034 MiB
End job on xenhost3-49 at 2009-06-12 11:16:31