Trace number 1780857

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.6 707.217

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
MD5SUM238f1788225c41f1f5779700e39b5833
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 variables2316
Number of clauses216962
Sum of the clauses size647286
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23879
Number of clauses of size 3213052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data


Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780857-1244844248/watcher-1780857-1244844248 -o /tmp/evaluation-result-1780857-1244844248/solver-1780857-1244844248 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780857-1244844248.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: 13.81 14.71 14.33 2/184 11492
/proc/meminfo: memFree=19126776/36427776 swapFree=4660/8076
[pid=11492] ppid=11490 vsize=8104 CPUtime=0
/proc/11492/stat : 11492 (satake) R 11490 11492 27791 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 15 0 643731186 8298496 365 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11492/statm: 2026 370 64 164 0 1861 0
[pid=11492/tid=11493] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 416 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 418 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11492/tid=11495] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 419 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11496] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11496/stat : 11496 (satake) S 11490 11492 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 420 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=11492/tid=11497] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11497/stat : 11497 (satake) R 11490 11492 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 420 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11498] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11498/stat : 11498 (satake) R 11490 11492 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 421 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11499] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11499/stat : 11499 (satake) S 11490 11492 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 421 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11500] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11500/stat : 11500 (satake) R 11490 11492 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 421 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11492/tid=11501] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11501/stat : 11501 (satake) S 11490 11492 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 421 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11502] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11502/stat : 11502 (satake) R 11490 11492 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 422 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11492/tid=11503] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11503/stat : 11503 (satake) R 11490 11492 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 426 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11492/tid=11504] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11504/stat : 11504 (satake) R 11490 11492 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 16 0 643731186 8368128 428 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11492/tid=11505] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11505/stat : 11505 (satake) R 11490 11492 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 643731187 8368128 429 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11492/tid=11506] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11506/stat : 11506 (satake) R 11490 11492 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 643731187 8368128 430 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11507] ppid=11490 vsize=8172 CPUtime=0
/proc/11492/task/11507/stat : 11507 (satake) D 11490 11492 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 643731187 8368128 430 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

[startup+0.058046 s]
/proc/loadavg: 13.81 14.71 14.33 2/184 11492
/proc/meminfo: memFree=19126776/36427776 swapFree=4660/8076
[pid=11492] ppid=11490 vsize=24536 CPUtime=0.32
/proc/11492/stat : 11492 (satake) S 11490 11492 27791 0 -1 4202496 3568 0 0 0 4 28 0 0 20 0 17 0 643731186 25124864 3509 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11492/statm: 6134 3511 64 164 0 5969 0
[pid=11492/tid=11493] ppid=11490 vsize=24536 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643731186 25124864 3512 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=24536 CPUtime=0.02
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 27791 0 -1 4202560 280 0 0 0 0 2 0 0 20 0 17 0 643731186 25124864 3517 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11492/tid=11495] ppid=11490 vsize=24536 CPUtime=0.02
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 643731186 25124864 3544 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11496] ppid=11490 vsize=24536 CPUtime=0.02
/proc/11492/task/11496/stat : 11496 (satake) D 11490 11492 27791 0 -1 4202560 305 0 0 0 2 0 0 0 20 0 17 0 643731186 25124864 3552 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11492/tid=11497] ppid=11490 vsize=24536 CPUtime=0.02
/proc/11492/task/11497/stat : 11497 (satake) D 11490 11492 27791 0 -1 4202560 265 0 0 0 0 2 0 0 20 0 17 0 643731186 25124864 3552 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11498] ppid=11490 vsize=24536 CPUtime=0.02
/proc/11492/task/11498/stat : 11498 (satake) D 11490 11492 27791 0 -1 4202560 292 0 0 0 0 2 0 0 20 0 17 0 643731186 25124864 3552 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11499] ppid=11490 vsize=24536 CPUtime=0
/proc/11492/task/11499/stat : 11499 (satake) D 11490 11492 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 643731186 25124864 3552 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11500] ppid=11490 vsize=24536 CPUtime=0.02
/proc/11492/task/11500/stat : 11500 (satake) D 11490 11492 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 643731186 25124864 3552 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11492/tid=11501] ppid=11490 vsize=24536 CPUtime=0
/proc/11492/task/11501/stat : 11501 (satake) D 11490 11492 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 17 0 643731186 25124864 3552 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11502] ppid=11490 vsize=25560 CPUtime=0.02
/proc/11492/task/11502/stat : 11502 (satake) D 11490 11492 27791 0 -1 4202560 288 0 0 0 0 2 0 0 20 0 17 0 643731186 26173440 3552 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11492/tid=11503] ppid=11490 vsize=25560 CPUtime=0.02
/proc/11492/task/11503/stat : 11503 (satake) R 11490 11492 27791 0 -1 4202560 266 0 0 0 0 2 0 0 20 0 17 0 643731186 26173440 3554 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11492/tid=11504] ppid=11490 vsize=25560 CPUtime=0.02
/proc/11492/task/11504/stat : 11504 (satake) R 11490 11492 27791 0 -1 4202560 264 0 0 0 0 2 0 0 20 0 17 0 643731186 26173440 3559 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11492/tid=11505] ppid=11490 vsize=25560 CPUtime=0.02
/proc/11492/task/11505/stat : 11505 (satake) R 11490 11492 27791 0 -1 4202560 259 0 0 0 0 2 0 0 20 0 17 0 643731187 26173440 3560 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11492/tid=11506] ppid=11490 vsize=25560 CPUtime=0
/proc/11492/task/11506/stat : 11506 (satake) D 11490 11492 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 643731187 26173440 3560 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11507] ppid=11490 vsize=25560 CPUtime=0.02
/proc/11492/task/11507/stat : 11507 (satake) R 11490 11492 27791 0 -1 4202560 260 0 0 0 0 2 0 0 20 0 17 0 643731187 26173440 3560 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 24536

[startup+0.105983 s]
/proc/loadavg: 13.81 14.71 14.33 2/184 11492
/proc/meminfo: memFree=19126776/36427776 swapFree=4660/8076
[pid=11492] ppid=11490 vsize=59096 CPUtime=0.79
/proc/11492/stat : 11492 (satake) S 11490 11492 27791 0 -1 4202496 8763 0 0 0 6 73 0 0 20 0 17 0 643731186 60514304 8703 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11492/statm: 14774 8703 64 164 0 14609 0
[pid=11492/tid=11493] ppid=11490 vsize=59096 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643731186 60514304 8705 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11494/stat : 11494 (satake) R 11490 11492 27791 0 -1 4202560 640 0 0 0 0 6 0 0 20 0 17 0 643731186 60514304 8707 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11492/tid=11495] ppid=11490 vsize=59096 CPUtime=0.04
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 27791 0 -1 4202560 500 0 0 0 0 4 0 0 20 0 17 0 643731186 60514304 8708 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11496] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11496/stat : 11496 (satake) R 11490 11492 27791 0 -1 4202560 657 0 0 0 2 4 0 0 20 0 17 0 643731186 60514304 8709 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11492/tid=11497] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11497/stat : 11497 (satake) R 11490 11492 27791 0 -1 4202560 530 0 0 0 0 6 0 0 20 0 17 0 643731186 60514304 8711 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11498] ppid=11490 vsize=59096 CPUtime=0.04
/proc/11492/task/11498/stat : 11498 (satake) R 11490 11492 27791 0 -1 4202560 539 0 0 0 0 4 0 0 20 0 17 0 643731186 60514304 8712 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11499] ppid=11490 vsize=59096 CPUtime=0.02
/proc/11492/task/11499/stat : 11499 (satake) R 11490 11492 27791 0 -1 4202560 297 0 0 0 0 2 0 0 20 0 17 0 643731186 60514304 8720 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11500] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11500/stat : 11500 (satake) R 11490 11492 27791 0 -1 4202560 776 0 0 0 0 6 0 0 20 0 17 0 643731186 60514304 8760 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11492/tid=11501] ppid=11490 vsize=59096 CPUtime=0.02
/proc/11492/task/11501/stat : 11501 (satake) R 11490 11492 27791 0 -1 4202560 239 0 0 0 2 0 0 0 20 0 17 0 643731186 60514304 8790 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11502] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11502/stat : 11502 (satake) R 11490 11492 27791 0 -1 4202560 816 0 0 0 0 6 0 0 20 0 17 0 643731186 60514304 8811 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11492/tid=11503] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11503/stat : 11503 (satake) R 11490 11492 27791 0 -1 4202560 630 0 0 0 0 6 0 0 20 0 17 0 643731186 60514304 8840 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11492/tid=11504] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11504/stat : 11504 (satake) R 11490 11492 27791 0 -1 4202560 710 0 0 0 0 6 0 0 20 0 17 0 643731186 60514304 8874 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11492/tid=11505] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11505/stat : 11505 (satake) R 11490 11492 27791 0 -1 4202560 665 0 0 0 0 6 0 0 20 0 17 0 643731187 60514304 8900 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11492/tid=11506] ppid=11490 vsize=59096 CPUtime=0
/proc/11492/task/11506/stat : 11506 (satake) R 11490 11492 27791 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 17 0 643731187 60514304 8929 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11507] ppid=11490 vsize=59096 CPUtime=0.06
/proc/11492/task/11507/stat : 11507 (satake) R 11490 11492 27791 0 -1 4202560 884 0 0 0 0 6 0 0 20 0 17 0 643731187 60514304 8979 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 59096

[startup+0.307649 s]
/proc/loadavg: 13.81 14.71 14.33 2/184 11492
/proc/meminfo: memFree=19126776/36427776 swapFree=4660/8076
[pid=11492] ppid=11490 vsize=67068 CPUtime=2.43
/proc/11492/stat : 11492 (satake) S 11490 11492 27791 0 -1 4202496 13761 0 0 0 9 234 0 0 20 0 17 0 643731186 68677632 13701 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11492/statm: 16767 13706 64 164 0 16602 0
[pid=11492/tid=11493] ppid=11490 vsize=67068 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643731186 68677632 13711 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11494/stat : 11494 (satake) D 11490 11492 27791 0 -1 4202560 990 0 0 0 0 18 0 0 20 0 17 0 643731186 68677632 13712 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11492/tid=11495] ppid=11490 vsize=67068 CPUtime=0.16
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 27791 0 -1 4202560 885 0 0 0 0 16 0 0 20 0 17 0 643731186 68677632 13713 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11492/tid=11496] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11496/stat : 11496 (satake) R 11490 11492 27791 0 -1 4202560 1043 0 0 0 2 16 0 0 20 0 17 0 643731186 68677632 13714 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11492/tid=11497] ppid=11490 vsize=67068 CPUtime=0.12
/proc/11492/task/11497/stat : 11497 (satake) D 11490 11492 27791 0 -1 4202560 870 0 0 0 0 12 0 0 20 0 17 0 643731186 68677632 13714 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11498] ppid=11490 vsize=67068 CPUtime=0.12
/proc/11492/task/11498/stat : 11498 (satake) R 11490 11492 27791 0 -1 4202560 876 0 0 0 0 12 0 0 20 0 17 0 643731186 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11499] ppid=11490 vsize=67068 CPUtime=0.08
/proc/11492/task/11499/stat : 11499 (satake) R 11490 11492 27791 0 -1 4202560 615 0 0 0 0 8 0 0 20 0 17 0 643731186 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11500] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11500/stat : 11500 (satake) R 11490 11492 27791 0 -1 4202560 1063 0 0 0 0 18 0 0 20 0 17 0 643731186 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11492/tid=11501] ppid=11490 vsize=67068 CPUtime=0.14
/proc/11492/task/11501/stat : 11501 (satake) R 11490 11492 27791 0 -1 4202560 595 0 0 0 2 12 0 0 20 0 17 0 643731186 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11502] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11502/stat : 11502 (satake) R 11490 11492 27791 0 -1 4202560 1077 0 0 0 0 18 0 0 20 0 17 0 643731186 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11492/tid=11503] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11503/stat : 11503 (satake) R 11490 11492 27791 0 -1 4202560 989 0 0 0 0 18 0 0 20 0 17 0 643731186 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11492/tid=11504] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11504/stat : 11504 (satake) D 11490 11492 27791 0 -1 4202560 1031 0 0 0 0 18 0 0 20 0 17 0 643731186 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11492/tid=11505] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11505/stat : 11505 (satake) R 11490 11492 27791 0 -1 4202560 997 0 0 0 0 18 0 0 20 0 17 0 643731187 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11492/tid=11506] ppid=11490 vsize=67068 CPUtime=0.08
/proc/11492/task/11506/stat : 11506 (satake) R 11490 11492 27791 0 -1 4202560 463 0 0 0 0 8 0 0 20 0 17 0 643731187 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11507] ppid=11490 vsize=67068 CPUtime=0.18
/proc/11492/task/11507/stat : 11507 (satake) R 11490 11492 27791 0 -1 4202560 1112 0 0 0 2 16 0 0 20 0 17 0 643731187 68677632 13715 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 67068

[startup+0.705321 s]
/proc/loadavg: 13.81 14.71 14.33 2/184 11492
/proc/meminfo: memFree=19126776/36427776 swapFree=4660/8076
[pid=11492] ppid=11490 vsize=100284 CPUtime=4.27
/proc/11492/stat : 11492 (satake) S 11490 11492 27791 0 -1 4202496 22140 0 0 0 29 398 0 0 20 0 17 0 643731186 102690816 22080 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11492/statm: 25071 22081 64 164 0 24906 0
[pid=11492/tid=11493] ppid=11490 vsize=100284 CPUtime=0
/proc/11492/task/11493/stat : 11493 (satake) S 11490 11492 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11494] ppid=11490 vsize=100284 CPUtime=0.34
/proc/11492/task/11494/stat : 11494 (satake) D 11490 11492 27791 0 -1 4202560 1615 0 0 0 2 32 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11492/tid=11495] ppid=11490 vsize=100284 CPUtime=0.28
/proc/11492/task/11495/stat : 11495 (satake) R 11490 11492 27791 0 -1 4202560 1343 0 0 0 0 28 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11492/tid=11496] ppid=11490 vsize=100284 CPUtime=0.34
/proc/11492/task/11496/stat : 11496 (satake) R 11490 11492 27791 0 -1 4202560 1744 0 0 0 4 30 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11492/tid=11497] ppid=11490 vsize=100284 CPUtime=0.22
/proc/11492/task/11497/stat : 11497 (satake) D 11490 11492 27791 0 -1 4202560 1429 0 0 0 0 22 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11492/tid=11498] ppid=11490 vsize=100284 CPUtime=0.18
/proc/11492/task/11498/stat : 11498 (satake) S 11490 11492 27791 0 -1 4202560 1120 0 0 0 0 18 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11499] ppid=11490 vsize=100284 CPUtime=0.2
/proc/11492/task/11499/stat : 11499 (satake) S 11490 11492 27791 0 -1 4202560 1386 0 0 0 4 16 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11492/tid=11500] ppid=11490 vsize=100284 CPUtime=0.32
/proc/11492/task/11500/stat : 11500 (satake) R 11490 11492 27791 0 -1 4202560 1626 0 0 0 2 30 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11492/tid=11501] ppid=11490 vsize=100284 CPUtime=0.28
/proc/11492/task/11501/stat : 11501 (satake) D 11490 11492 27791 0 -1 4202560 1302 0 0 0 2 26 0 0 20 0 17 0 643731186 102690816 22081 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11492/tid=11502] ppid=11490 vsize=100284 CPUtime=0.34
/proc/11492/task/11502/stat : 11502 (satake) D 11490 11492 27791 0 -1 4202560 1725 0 0 0 2 32 0 0 20 0 17 0 643731186 102690816 22082 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=11492/tid=11503] ppid=11490 vsize=100284 CPUtime=0.3
/proc/11492/task/11503/stat : 11503 (satake) R 11490 11492 27791 0 -1 4202560 1440 0 0 0 2 28 0 0 20 0 17 0 643731186 102690816 22083 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11492/tid=11504] ppid=11490 vsize=100284 CPUtime=0.34
/proc/11492/task/11504/stat : 11504 (satake) R 11490 11492 27791 0 -1 4202560 1635 0 0 0 2 32 0 0 20 0 17 0 643731186 102690816 22083 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=11492/tid=11505] ppid=11490 vsize=100284 CPUtime=0.22
/proc/11492/task/11505/stat : 11505 (satake) D 11490 11492 27791 0 -1 4202560 1116 0 0 0 0 22 0 0 20 0 17 0 643731187 102690816 22084 18446744073709551615 134512640 135180984 4292541584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11492/tid=11506] ppid=11490 vsize=100284 CPUtime=0.14

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

deleting IPC queue 2040987726
deleting IPC queue 2041020495
deleting IPC queue 2041053264
deleting IPC queue 2041086033
deleting IPC queue 2041118802
deleting IPC queue 2041151571
deleting IPC queue 2041184340
deleting IPC queue 2041217109
deleting IPC queue 2041249878
deleting IPC queue 2041282647
deleting IPC queue 2041315416
deleting IPC queue 2041348185
deleting IPC queue 2041380954
deleting IPC queue 2041413723
deleting IPC queue 2041446492
deleting IPC queue 2041479261
deleting IPC queue 2041512030
deleting IPC queue 2041544799
deleting IPC queue 2041577568
deleting IPC queue 2041610337
deleting IPC queue 2041643106
deleting IPC queue 2041675875
deleting IPC queue 2041708644
deleting IPC queue 2041741413
deleting IPC queue 2041774182
deleting IPC queue 2041806951
deleting IPC queue 2041839720
deleting IPC queue 2041872489
deleting IPC queue 2041905258
deleting IPC queue 2041938027
deleting IPC queue 2041970796
deleting IPC queue 2042003565
deleting IPC queue 2042036334
deleting IPC queue 2042069103
deleting IPC queue 2042101872
deleting IPC queue 2042134641
deleting IPC queue 2042167410
deleting IPC queue 2042200179
deleting IPC queue 2042232948
deleting IPC queue 2042265717
deleting IPC queue 2042298486
deleting IPC queue 2042331255
deleting IPC queue 2042364024
deleting IPC queue 2042396793
deleting IPC queue 2042429562
deleting IPC queue 2042462331
deleting IPC queue 2042495100
deleting IPC queue 2042527869
deleting IPC queue 2042560638
deleting IPC queue 2042593407
deleting IPC queue 2042626176
deleting IPC queue 2042658945
deleting IPC queue 2042691714
deleting IPC queue 2042724483
deleting IPC queue 2042757252
deleting IPC queue 2042790021
deleting IPC queue 2042822790
deleting IPC queue 2042855559
deleting IPC queue 2042888328
deleting IPC queue 2042921097
deleting IPC queue 2042953866
deleting IPC queue 2042986635
deleting IPC queue 2043019404
deleting IPC queue 2043052173
deleting IPC queue 2043084942
deleting IPC queue 2043117711
deleting IPC queue 2043150480
deleting IPC queue 2043183249
deleting IPC queue 2043216018
deleting IPC queue 2043248787
deleting IPC queue 2043281556
deleting IPC queue 2043314325
deleting IPC queue 2043347094
deleting IPC queue 2043379863
deleting IPC queue 2043412632
deleting IPC queue 2043445401
deleting IPC queue 2043478170
deleting IPC queue 2043510939
deleting IPC queue 2043543708
deleting IPC queue 2043576477
deleting IPC queue 2043609246
deleting IPC queue 2043642015
deleting IPC queue 2043674784
deleting IPC queue 2043707553
deleting IPC queue 2043740322
deleting IPC queue 2043773091
deleting IPC queue 2043805860
deleting IPC queue 2043838629
deleting IPC queue 2043871398
deleting IPC queue 2043904167
deleting IPC queue 2043936936
deleting IPC queue 2043969705
deleting IPC queue 2044002474
deleting IPC queue 2044035243
deleting IPC queue 2044068012
deleting IPC queue 2044100781
deleting IPC queue 2044133550
deleting IPC queue 2044166319
deleting IPC queue 2044199088
deleting IPC queue 2044231857
deleting IPC queue 2044264626
deleting IPC queue 2044297395
deleting IPC queue 2044330164
deleting IPC queue 2044362933
deleting IPC queue 2044395702
deleting IPC queue 2044428471
deleting IPC queue 2044461240
deleting IPC queue 2044494009
deleting IPC queue 2044526778
deleting IPC queue 2044559547
deleting IPC queue 2044592316
deleting IPC queue 2044625085
deleting IPC queue 2044657854
deleting IPC queue 2044690623
deleting IPC queue 2044723392
deleting IPC queue 2044756161
deleting IPC queue 2044788930
deleting IPC queue 2044821699
deleting IPC queue 2044854468
deleting IPC queue 2044887237
deleting IPC queue 2044920006
deleting IPC queue 2044952775
deleting IPC queue 2044985544
deleting IPC queue 2045018313
deleting IPC queue 2045051082
deleting IPC queue 2045083851
deleting IPC queue 2045116620
deleting IPC queue 2045149389
deleting IPC queue 2045182158
deleting IPC queue 2045214927
deleting IPC queue 2045247696
deleting IPC queue 2045280465
deleting IPC queue 2045313234
deleting IPC queue 2045346003
deleting IPC queue 2045378772
deleting IPC queue 2045411541
deleting IPC queue 2045444310
deleting IPC queue 2045477079
deleting IPC queue 2045509848
deleting IPC queue 2045542617
deleting IPC queue 2045575386
deleting IPC queue 2045608155
deleting IPC queue 2045640924
deleting IPC queue 2045673693
deleting IPC queue 2045706462
deleting IPC queue 2045739231
deleting IPC queue 2045772000
deleting IPC queue 2045804769
deleting IPC queue 2045837538
deleting IPC queue 2045870307
deleting IPC queue 2045903076
deleting IPC queue 2045935845
deleting IPC queue 2045968614
deleting IPC queue 2046001383
deleting IPC queue 2046034152
deleting IPC queue 2046066921
deleting IPC queue 2046099690
deleting IPC queue 2046132459
deleting IPC queue 2046165228
deleting IPC queue 2046197997
deleting IPC queue 2046230766
deleting IPC queue 2046263535
deleting IPC queue 2046296304
deleting IPC queue 2046329073
deleting IPC queue 2046361842
deleting IPC queue 2046394611
deleting IPC queue 2046427380
deleting IPC queue 2046460149
deleting IPC queue 2046492918
deleting IPC queue 2046525687
deleting IPC queue 2046558456
deleting IPC queue 2046591225
deleting IPC queue 2046623994
deleting IPC queue 2046656763
deleting IPC queue 2046689532
deleting IPC queue 2046722301
deleting IPC queue 2046755070
deleting IPC queue 2046787839

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9900.58
system time used= 101.066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274782
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= 7245392
involuntary context switches= 3041903

runsolver used 3.2082 second user time and 10.4126 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 00:04:08
IDJOB=1780857
IDBENCH=71074
IDSOLVER=631
FILE ID=xenhost3-49/1780857-1244844248
PBS_JOBID=
Free space on /tmp= 7025 MiB

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

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

MD5SUM BENCH= 238f1788225c41f1f5779700e39b5833
RANDOM SEED= 1344185939

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:      19126416 kB
Buffers:        435588 kB
Cached:       14116432 kB
SwapCached:          0 kB
Active:        4081688 kB
Inactive:     10478832 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4020 kB
Writeback:           0 kB
AnonPages:        7812 kB
Mapped:           3760 kB
Slab:           689440 kB
SReclaimable:   662628 kB
SUnreclaim:      26812 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-13 00:15:57