Trace number 1775622

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) 5006.28 1000.2

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-17-u.cnf
MD5SUM9ce7c48a28ddd5790e38607bb893dd38
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 variables293864
Number of clauses1370917
Sum of the clauses size3163902
Maximum clause length10
Minimum clause length1
Number of clauses of size 124516
Number of clauses of size 21065117
Number of clauses of size 3226184
Number of clauses of size 46120
Number of clauses of size 524480
Number of clauses of size over 524500

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-1775622-1244712288/watcher-1775622-1244712288 -o /tmp/evaluation-result-1775622-1244712288/solver-1775622-1244712288 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775622-1244712288.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: 14.54 12.24 10.56 2/184 28428
/proc/meminfo: memFree=19122008/36427776 swapFree=3688/8296
[pid=28428] ppid=28426 vsize=7620 CPUtime=0
/proc/28428/stat : 28428 (satake) R 28426 28428 27791 0 -1 4202496 568 0 0 0 0 0 0 0 20 0 15 0 630535282 7802880 518 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28428/statm: 1905 518 63 164 0 1740 0
[pid=28428/tid=28429] ppid=28426 vsize=7620 CPUtime=0
/proc/28428/task/28429/stat : 28429 (satake) S 28426 28428 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 630535283 7802880 529 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28430] ppid=28426 vsize=7620 CPUtime=0
/proc/28428/task/28430/stat : 28430 (satake) R 28426 28428 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 15 0 630535283 7802880 543 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28428/tid=28431] ppid=28426 vsize=7620 CPUtime=0
/proc/28428/task/28431/stat : 28431 (satake) R 28426 28428 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 15 0 630535283 7802880 548 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28428/tid=28432] ppid=28426 vsize=7620 CPUtime=0
/proc/28428/task/28432/stat : 28432 (satake) S 28426 28428 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 630535283 7802880 553 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=28428/tid=28433] ppid=28426 vsize=7620 CPUtime=0
/proc/28428/task/28433/stat : 28433 (satake) S 28426 28428 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 15 0 630535283 7802880 558 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=28428/tid=28434] ppid=28426 vsize=7620 CPUtime=0
/proc/28428/task/28434/stat : 28434 (satake) D 28426 28428 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 15 0 630535283 7802880 559 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28435] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28435/stat : 28435 (satake) S 28426 28428 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 559 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=28428/tid=28436] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28436/stat : 28436 (satake) R 28426 28428 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 561 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28428/tid=28437] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28437/stat : 28437 (satake) R 28426 28428 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 561 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28428/tid=28438] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28438/stat : 28438 (satake) R 28426 28428 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 562 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28439] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28439/stat : 28439 (satake) R 28426 28428 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 564 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28440] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28440/stat : 28440 (satake) R 28426 28428 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 564 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28428/tid=28441] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28441/stat : 28441 (satake) S 28426 28428 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 567 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=28428/tid=28442] ppid=28426 vsize=7752 CPUtime=0
/proc/28428/task/28442/stat : 28442 (satake) R 28426 28428 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 630535283 7938048 568 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.057117 s]
/proc/loadavg: 14.54 12.24 10.56 2/184 28428
/proc/meminfo: memFree=19122008/36427776 swapFree=3688/8296
[pid=28428] ppid=28426 vsize=25636 CPUtime=0.32
/proc/28428/stat : 28428 (satake) S 28426 28428 27791 0 -1 4202496 3557 0 0 0 2 30 0 0 20 0 17 0 630535282 26251264 3490 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28428/statm: 6665 3495 63 164 0 6500 0
[pid=28428/tid=28429] ppid=28426 vsize=26660 CPUtime=0
/proc/28428/task/28429/stat : 28429 (satake) S 28426 28428 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 630535283 27299840 3495 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28430] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28430/stat : 28430 (satake) R 28426 28428 27791 0 -1 4202560 324 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3497 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28428/tid=28431] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28431/stat : 28431 (satake) D 28426 28428 27791 0 -1 4202560 304 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3498 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28428/tid=28432] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28432/stat : 28432 (satake) R 28426 28428 27791 0 -1 4202560 252 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3500 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28428/tid=28433] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28433/stat : 28433 (satake) R 28426 28428 27791 0 -1 4202560 304 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3500 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28428/tid=28434] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28434/stat : 28434 (satake) R 28426 28428 27791 0 -1 4202560 294 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3501 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28435] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28435/stat : 28435 (satake) R 28426 28428 27791 0 -1 4202560 181 0 0 0 2 0 0 0 20 0 17 0 630535283 27299840 3501 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28428/tid=28436] ppid=28426 vsize=26660 CPUtime=0
/proc/28428/task/28436/stat : 28436 (satake) R 28426 28428 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 630535283 27299840 3501 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28428/tid=28437] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28437/stat : 28437 (satake) R 28426 28428 27791 0 -1 4202560 300 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3501 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28428/tid=28438] ppid=28426 vsize=26660 CPUtime=0
/proc/28428/task/28438/stat : 28438 (satake) R 28426 28428 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 17 0 630535283 27299840 3501 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28439] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28439/stat : 28439 (satake) R 28426 28428 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3501 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28440] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28440/stat : 28440 (satake) R 28426 28428 27791 0 -1 4202560 259 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3501 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28428/tid=28441] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28441/stat : 28441 (satake) R 28426 28428 27791 0 -1 4202560 250 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3502 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28428/tid=28442] ppid=28426 vsize=26660 CPUtime=0.02
/proc/28428/task/28442/stat : 28442 (satake) R 28426 28428 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 630535283 27299840 3503 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 25636

[startup+0.106069 s]
/proc/loadavg: 14.54 12.24 10.56 2/184 28428
/proc/meminfo: memFree=19122008/36427776 swapFree=3688/8296
[pid=28428] ppid=28426 vsize=57896 CPUtime=0.87
/proc/28428/stat : 28428 (satake) S 28426 28428 27791 0 -1 4202496 8783 0 0 0 2 85 0 0 20 0 17 0 630535282 59285504 8717 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28428/statm: 14474 8719 63 164 0 14309 0
[pid=28428/tid=28429] ppid=28426 vsize=57896 CPUtime=0
/proc/28428/task/28429/stat : 28429 (satake) S 28426 28428 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 630535283 59285504 8719 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28430] ppid=28426 vsize=57896 CPUtime=0.08
/proc/28428/task/28430/stat : 28430 (satake) R 28426 28428 27791 0 -1 4202560 835 0 0 0 0 8 0 0 20 0 17 0 630535283 59285504 8720 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28428/tid=28431] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28431/stat : 28431 (satake) R 28426 28428 27791 0 -1 4202560 711 0 0 0 0 6 0 0 20 0 17 0 630535283 59285504 8720 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28428/tid=28432] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28432/stat : 28432 (satake) R 28426 28428 27791 0 -1 4202560 540 0 0 0 0 6 0 0 20 0 17 0 630535283 59285504 8720 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28428/tid=28433] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28433/stat : 28433 (satake) R 28426 28428 27791 0 -1 4202560 749 0 0 0 0 6 0 0 20 0 17 0 630535283 59285504 8720 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28428/tid=28434] ppid=28426 vsize=57896 CPUtime=0.04
/proc/28428/task/28434/stat : 28434 (satake) R 28426 28428 27791 0 -1 4202560 473 0 0 0 0 4 0 0 20 0 17 0 630535283 59285504 8720 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28435] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28435/stat : 28435 (satake) R 28426 28428 27791 0 -1 4202560 531 0 0 0 2 4 0 0 20 0 17 0 630535283 59285504 8721 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28428/tid=28436] ppid=28426 vsize=57896 CPUtime=0.04
/proc/28428/task/28436/stat : 28436 (satake) R 28426 28428 27791 0 -1 4202560 334 0 0 0 0 4 0 0 20 0 17 0 630535283 59285504 8722 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28428/tid=28437] ppid=28426 vsize=57896 CPUtime=0.08
/proc/28428/task/28437/stat : 28437 (satake) R 28426 28428 27791 0 -1 4202560 622 0 0 0 0 8 0 0 20 0 17 0 630535283 59285504 8723 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28428/tid=28438] ppid=28426 vsize=57896 CPUtime=0.02
/proc/28428/task/28438/stat : 28438 (satake) R 28426 28428 27791 0 -1 4202560 249 0 0 0 0 2 0 0 20 0 17 0 630535283 59285504 8730 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28439] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28439/stat : 28439 (satake) R 28426 28428 27791 0 -1 4202560 772 0 0 0 0 6 0 0 20 0 17 0 630535283 59285504 8765 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28440] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28440/stat : 28440 (satake) R 28426 28428 27791 0 -1 4202560 705 0 0 0 0 6 0 0 20 0 17 0 630535283 59285504 8789 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28428/tid=28441] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28441/stat : 28441 (satake) R 28426 28428 27791 0 -1 4202560 782 0 0 0 0 6 0 0 20 0 17 0 630535283 59285504 8823 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28428/tid=28442] ppid=28426 vsize=57896 CPUtime=0.06
/proc/28428/task/28442/stat : 28442 (satake) R 28426 28428 27791 0 -1 4202560 625 0 0 0 0 6 0 0 20 0 17 0 630535283 59285504 8858 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 57896

[startup+0.304218 s]
/proc/loadavg: 14.54 12.24 10.56 2/184 28428
/proc/meminfo: memFree=19122008/36427776 swapFree=3688/8296
[pid=28428] ppid=28426 vsize=208168 CPUtime=3.16
/proc/28428/stat : 28428 (satake) S 28426 28428 27791 0 -1 4202496 34163 0 0 0 2 314 0 0 20 0 17 0 630535282 213164032 34097 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28428/statm: 52042 34116 63 164 0 51877 0
[pid=28428/tid=28429] ppid=28426 vsize=208168 CPUtime=0
/proc/28428/task/28429/stat : 28429 (satake) S 28426 28428 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 630535283 213164032 34134 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28430] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28430/stat : 28430 (satake) R 28426 28428 27791 0 -1 4202560 3253 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34155 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28428/tid=28431] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28431/stat : 28431 (satake) R 28426 28428 27791 0 -1 4202560 2276 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34200 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28428/tid=28432] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28432/stat : 28432 (satake) R 28426 28428 27791 0 -1 4202560 2165 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34246 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28428/tid=28433] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28433/stat : 28433 (satake) R 28426 28428 27791 0 -1 4202560 2591 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34263 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28428/tid=28434] ppid=28426 vsize=208168 CPUtime=0.16
/proc/28428/task/28434/stat : 28434 (satake) R 28426 28428 27791 0 -1 4202560 1617 0 0 0 0 16 0 0 20 0 17 0 630535283 213164032 34283 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28435] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28435/stat : 28435 (satake) R 28426 28428 27791 0 -1 4202560 2116 0 0 0 2 22 0 0 20 0 17 0 630535283 213164032 34301 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28428/tid=28436] ppid=28426 vsize=208168 CPUtime=0.22
/proc/28428/task/28436/stat : 28436 (satake) R 28426 28428 27791 0 -1 4202560 2057 0 0 0 0 22 0 0 20 0 17 0 630535283 213164032 34331 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28428/tid=28437] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28437/stat : 28437 (satake) R 28426 28428 27791 0 -1 4202560 2423 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34360 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28428/tid=28438] ppid=28426 vsize=208168 CPUtime=0.08
/proc/28428/task/28438/stat : 28438 (satake) R 28426 28428 27791 0 -1 4202560 1140 0 0 0 0 8 0 0 20 0 17 0 630535283 213164032 34389 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28439] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28439/stat : 28439 (satake) R 28426 28428 27791 0 -1 4202560 2841 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34422 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28440] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28440/stat : 28440 (satake) R 28426 28428 27791 0 -1 4202560 3347 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34455 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28428/tid=28441] ppid=28426 vsize=208168 CPUtime=0.24
/proc/28428/task/28441/stat : 28441 (satake) D 28426 28428 27791 0 -1 4202560 3794 0 0 0 0 24 0 0 20 0 17 0 630535283 213164032 34468 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28428/tid=28442] ppid=28426 vsize=208168 CPUtime=0.16
/proc/28428/task/28442/stat : 28442 (satake) D 28426 28428 27791 0 -1 4202560 1456 0 0 0 0 16 0 0 20 0 17 0 630535283 213164032 34469 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 208168

[startup+0.702995 s]
/proc/loadavg: 14.54 12.24 10.56 2/184 28428
/proc/meminfo: memFree=19122008/36427776 swapFree=3688/8296
[pid=28428] ppid=28426 vsize=422116 CPUtime=7.58
/proc/28428/stat : 28428 (satake) S 28426 28428 27791 0 -1 4202496 71716 0 0 0 2 756 0 0 20 0 17 0 630535282 432246784 71649 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28428/statm: 105529 71652 63 164 0 105364 0
[pid=28428/tid=28429] ppid=28426 vsize=422116 CPUtime=0
/proc/28428/task/28429/stat : 28429 (satake) S 28426 28428 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 630535283 432246784 71652 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28430] ppid=28426 vsize=422116 CPUtime=0.58
/proc/28428/task/28430/stat : 28430 (satake) R 28426 28428 27791 0 -1 4202560 5848 0 0 0 0 58 0 0 20 0 17 0 630535283 432246784 71653 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28428/tid=28431] ppid=28426 vsize=422116 CPUtime=0.58
/proc/28428/task/28431/stat : 28431 (satake) R 28426 28428 27791 0 -1 4202560 5224 0 0 0 0 58 0 0 20 0 17 0 630535283 432246784 71653 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28428/tid=28432] ppid=28426 vsize=422116 CPUtime=0.56
/proc/28428/task/28432/stat : 28432 (satake) R 28426 28428 27791 0 -1 4202560 4795 0 0 0 0 56 0 0 20 0 17 0 630535283 432246784 71653 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28428/tid=28433] ppid=28426 vsize=422116 CPUtime=0.58
/proc/28428/task/28433/stat : 28433 (satake) R 28426 28428 27791 0 -1 4202560 5426 0 0 0 0 58 0 0 20 0 17 0 630535283 432246784 71653 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28428/tid=28434] ppid=28426 vsize=422116 CPUtime=0.34
/proc/28428/task/28434/stat : 28434 (satake) R 28426 28428 27791 0 -1 4202560 3284 0 0 0 0 34 0 0 20 0 17 0 630535283 432246784 71653 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28435] ppid=28426 vsize=422116 CPUtime=0.56
/proc/28428/task/28435/stat : 28435 (satake) R 28426 28428 27791 0 -1 4202560 5048 0 0 0 2 54 0 0 20 0 17 0 630535283 432246784 71654 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28428/tid=28436] ppid=28426 vsize=422116 CPUtime=0.56
/proc/28428/task/28436/stat : 28436 (satake) R 28426 28428 27791 0 -1 4202560 5209 0 0 0 0 56 0 0 20 0 17 0 630535283 432246784 71654 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28428/tid=28437] ppid=28426 vsize=422116 CPUtime=0.58
/proc/28428/task/28437/stat : 28437 (satake) R 28426 28428 27791 0 -1 4202560 5028 0 0 0 0 58 0 0 20 0 17 0 630535283 432246784 71654 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28428/tid=28438] ppid=28426 vsize=422116 CPUtime=0.26
/proc/28428/task/28438/stat : 28438 (satake) R 28426 28428 27791 0 -1 4202560 2766 0 0 0 0 26 0 0 20 0 17 0 630535283 432246784 71656 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28428/tid=28439] ppid=28426 vsize=422116 CPUtime=0.58
/proc/28428/task/28439/stat : 28439 (satake) R 28426 28428 27791 0 -1 4202560 5719 0 0 0 0 58 0 0 20 0 17 0 630535283 432246784 71657 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28428/tid=28440] ppid=28426 vsize=422116 CPUtime=0.6
/proc/28428/task/28440/stat : 28440 (satake) R 28426 28428 27791 0 -1 4202560 6943 0 0 0 0 60 0 0 20 0 17 0 630535283 432246784 71658 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28428/tid=28441] ppid=28426 vsize=422116 CPUtime=0.58
/proc/28428/task/28441/stat : 28441 (satake) R 28426 28428 27791 0 -1 4202560 6398 0 0 0 0 58 0 0 20 0 17 0 630535283 432246784 71661 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28428/tid=28442] ppid=28426 vsize=422116 CPUtime=0.34
/proc/28428/task/28442/stat : 28442 (satake) R 28426 28428 27791 0 -1 4202560 2723 0 0 0 0 34 0 0 20 0 17 0 630535283 432246784 71661 18446744073709551615 134512640 135180984 4290339456 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 422116

[startup+1.50374 s]
/proc/loadavg: 14.54 12.24 10.56 2/201 28445
/proc/meminfo: memFree=18801900/36427776 swapFree=4488/331528
[pid=28428] ppid=28426 vsize=440152 CPUtime=14.11

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

deleting IPC queue 69664846
deleting IPC queue 69697615
deleting IPC queue 69730384
deleting IPC queue 69763153
deleting IPC queue 69795922
deleting IPC queue 69828691
deleting IPC queue 69861460
deleting IPC queue 69894229
deleting IPC queue 69926998
deleting IPC queue 69959767
deleting IPC queue 69992536
deleting IPC queue 70025305
deleting IPC queue 70058074
deleting IPC queue 70090843
deleting IPC queue 70123612
deleting IPC queue 70156381
deleting IPC queue 70189150
deleting IPC queue 70221919
deleting IPC queue 70254688
deleting IPC queue 70287457
deleting IPC queue 70320226
deleting IPC queue 70352995
deleting IPC queue 70385764
deleting IPC queue 70418533
deleting IPC queue 70451302
deleting IPC queue 70484071
deleting IPC queue 70516840
deleting IPC queue 70549609
deleting IPC queue 70582378
deleting IPC queue 70615147
deleting IPC queue 70647916
deleting IPC queue 70680685
deleting IPC queue 70713454
deleting IPC queue 70746223
deleting IPC queue 70778992
deleting IPC queue 70811761
deleting IPC queue 70844530
deleting IPC queue 70877299
deleting IPC queue 70910068
deleting IPC queue 70942837
deleting IPC queue 70975606
deleting IPC queue 71008375
deleting IPC queue 71041144
deleting IPC queue 71073913
deleting IPC queue 71106682
deleting IPC queue 71139451
deleting IPC queue 71172220
deleting IPC queue 71204989
deleting IPC queue 71237758
deleting IPC queue 71270527
deleting IPC queue 71303296
deleting IPC queue 71336065
deleting IPC queue 71368834
deleting IPC queue 71401603
deleting IPC queue 71434372
deleting IPC queue 71467141
deleting IPC queue 71499910
deleting IPC queue 71532679
deleting IPC queue 71565448
deleting IPC queue 71598217
deleting IPC queue 71630986
deleting IPC queue 71663755
deleting IPC queue 71696524
deleting IPC queue 71729293
deleting IPC queue 71762062
deleting IPC queue 71794831
deleting IPC queue 71827600
deleting IPC queue 71860369
deleting IPC queue 71893138
deleting IPC queue 71925907
deleting IPC queue 71958676
deleting IPC queue 71991445
deleting IPC queue 72024214
deleting IPC queue 72056983
deleting IPC queue 72089752
deleting IPC queue 72122521
deleting IPC queue 72155290
deleting IPC queue 72188059
deleting IPC queue 72220828
deleting IPC queue 72253597
deleting IPC queue 72286366
deleting IPC queue 72319135
deleting IPC queue 72351904
deleting IPC queue 72384673
deleting IPC queue 72417442
deleting IPC queue 72450211
deleting IPC queue 72482980
deleting IPC queue 72515749
deleting IPC queue 72548518
deleting IPC queue 72581287
deleting IPC queue 72614056
deleting IPC queue 72646825
deleting IPC queue 72679594
deleting IPC queue 72712363
deleting IPC queue 72745132
deleting IPC queue 72777901
deleting IPC queue 72810670
deleting IPC queue 72843439
deleting IPC queue 72876208
deleting IPC queue 72908977
deleting IPC queue 72941746
deleting IPC queue 72974515
deleting IPC queue 73007284
deleting IPC queue 73040053
deleting IPC queue 73072822
deleting IPC queue 73105591
deleting IPC queue 73138360
deleting IPC queue 73171129
deleting IPC queue 73203898
deleting IPC queue 73236667
deleting IPC queue 73269436
deleting IPC queue 73302205
deleting IPC queue 73334974
deleting IPC queue 73367743
deleting IPC queue 73400512
deleting IPC queue 73433281
deleting IPC queue 73466050
deleting IPC queue 73498819
deleting IPC queue 73531588
deleting IPC queue 73564357
deleting IPC queue 73597126
deleting IPC queue 73629895
deleting IPC queue 73662664
deleting IPC queue 73695433
deleting IPC queue 73728202
deleting IPC queue 73760971
deleting IPC queue 73793740
deleting IPC queue 73826509
deleting IPC queue 73859278
deleting IPC queue 73892047
deleting IPC queue 73924816
deleting IPC queue 73957585
deleting IPC queue 73990354
deleting IPC queue 74023123
deleting IPC queue 74055892
deleting IPC queue 74088661
deleting IPC queue 74121430
deleting IPC queue 74154199
deleting IPC queue 74186968
deleting IPC queue 74219737
deleting IPC queue 74252506
deleting IPC queue 74285275
deleting IPC queue 74318044
deleting IPC queue 74350813
deleting IPC queue 74383582
deleting IPC queue 74416351
deleting IPC queue 74449120
deleting IPC queue 74481889
deleting IPC queue 74514658
deleting IPC queue 74547427
deleting IPC queue 74580196
deleting IPC queue 74612965
deleting IPC queue 74645734
deleting IPC queue 74678503
deleting IPC queue 74711272
deleting IPC queue 74744041
deleting IPC queue 74776810
deleting IPC queue 74809579
deleting IPC queue 74842348
deleting IPC queue 74875117
deleting IPC queue 74907886
deleting IPC queue 74940655
deleting IPC queue 74973424
deleting IPC queue 75006193
deleting IPC queue 75038962
deleting IPC queue 75071731
deleting IPC queue 75104500
deleting IPC queue 75137269
deleting IPC queue 75170038
deleting IPC queue 75202807
deleting IPC queue 75235576
deleting IPC queue 75268345
deleting IPC queue 75301114
deleting IPC queue 75333883
deleting IPC queue 75366652
deleting IPC queue 75399421
deleting IPC queue 75432190
deleting IPC queue 75464959

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4417.05
system time used= 589.237
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454261
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= 51384637
involuntary context switches= 359929

runsolver used 4.38427 second user time and 12.6968 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 11:24:48
IDJOB=1775622
IDBENCH=20365
IDSOLVER=631
FILE ID=xenhost3-49/1775622-1244712288
PBS_JOBID=
Free space on /tmp= 7017 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775622-1244712288/watcher-1775622-1244712288 -o /tmp/evaluation-result-1775622-1244712288/solver-1775622-1244712288 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775622-1244712288.cnf 16 10000

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

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED= 1196364521

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:      19122008 kB
Buffers:        431920 kB
Cached:       14124352 kB
SwapCached:          0 kB
Active:        4076856 kB
Inactive:     10487676 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           25708 kB
Writeback:           0 kB
AnonPages:        8296 kB
Mapped:           3688 kB
Slab:           688244 kB
SReclaimable:   661316 kB
SUnreclaim:      26928 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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