Trace number 1781277

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) 1826.99 1000.06

General information on the benchmark

Namegoldb-heqc-i10mul.cnf
MD5SUM80e15f28c8e2d72627ec75fe75757317
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark299.46
Satisfiable
(Un)Satisfiability was proved
Number of variables12998
Number of clauses77941
Sum of the clauses size262272
Maximum clause length448
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217756
Number of clauses of size 337304
Number of clauses of size 40
Number of clauses of size 522880
Number of clauses of size over 51

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-1781277-1244860444/watcher-1781277-1244860444 -o /tmp/evaluation-result-1781277-1244860444/solver-1781277-1244860444 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781277-1244860444.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: 3.98 3.87 5.56 2/184 13309
/proc/meminfo: memFree=19122796/36427776 swapFree=4588/7524
[pid=13309] ppid=13307 vsize=7728 CPUtime=0
/proc/13309/stat : 13309 (satake) R 13307 13309 27791 0 -1 4202496 490 0 0 0 0 0 0 0 20 0 13 0 645350775 7913472 442 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/13309/statm: 1932 445 63 164 0 1767 0
[pid=13309/tid=13310] ppid=13307 vsize=8180 CPUtime=0
/proc/13309/task/13310/stat : 13310 (satake) S 13307 13309 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 14 0 645350775 8376320 554 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13311] ppid=13307 vsize=8180 CPUtime=0
/proc/13309/task/13311/stat : 13311 (satake) R 13307 13309 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 14 0 645350775 8376320 555 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13309/tid=13312] ppid=13307 vsize=8180 CPUtime=0
/proc/13309/task/13312/stat : 13312 (satake) R 13307 13309 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 14 0 645350775 8376320 555 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13313] ppid=13307 vsize=8180 CPUtime=0
/proc/13309/task/13313/stat : 13313 (satake) R 13307 13309 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 14 0 645350775 8376320 556 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13314] ppid=13307 vsize=8180 CPUtime=0
/proc/13309/task/13314/stat : 13314 (satake) R 13307 13309 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 14 0 645350775 8376320 565 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13315] ppid=13307 vsize=8180 CPUtime=0
/proc/13309/task/13315/stat : 13315 (satake) D 13307 13309 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 14 0 645350775 8376320 577 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13309/tid=13316] ppid=13307 vsize=8180 CPUtime=0
/proc/13309/task/13316/stat : 13316 (satake) D 13307 13309 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 645350775 8376320 579 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13317] ppid=13307 vsize=8308 CPUtime=0
/proc/13309/task/13317/stat : 13317 (satake) R 13307 13309 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 14 0 645350775 8507392 580 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13309/tid=13318] ppid=13307 vsize=8308 CPUtime=0
/proc/13309/task/13318/stat : 13318 (satake) R 13307 13309 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 14 0 645350775 8507392 585 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13309/tid=13319] ppid=13307 vsize=8308 CPUtime=0
/proc/13309/task/13319/stat : 13319 (satake) R 13307 13309 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 14 0 645350775 8507392 585 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13320] ppid=13307 vsize=8308 CPUtime=0
/proc/13309/task/13320/stat : 13320 (satake) R 13307 13309 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 14 0 645350775 8507392 586 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13309/tid=13321] ppid=13307 vsize=8308 CPUtime=0
/proc/13309/task/13321/stat : 13321 (satake) R 13307 13309 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 14 0 645350776 8507392 587 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13322] ppid=13307 vsize=8308 CPUtime=0
/proc/13309/task/13322/stat : 13322 (satake) R 13307 13309 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 14 0 645350776 8507392 587 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.049216 s]
/proc/loadavg: 3.98 3.87 5.56 2/184 13309
/proc/meminfo: memFree=19122796/36427776 swapFree=4588/7524
[pid=13309] ppid=13307 vsize=19480 CPUtime=0.27
/proc/13309/stat : 13309 (satake) S 13307 13309 27791 0 -1 4202496 3109 0 0 0 0 27 0 0 20 0 17 0 645350775 19947520 3061 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/13309/statm: 4870 3061 63 164 0 4705 0
[pid=13309/tid=13310] ppid=13307 vsize=19480 CPUtime=0
/proc/13309/task/13310/stat : 13310 (satake) S 13307 13309 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645350775 19947520 3061 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13311] ppid=13307 vsize=19480 CPUtime=0.02
/proc/13309/task/13311/stat : 13311 (satake) D 13307 13309 27791 0 -1 4202560 247 0 0 0 0 2 0 0 20 0 17 0 645350775 19947520 3061 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13309/tid=13312] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13312/stat : 13312 (satake) D 13307 13309 27791 0 -1 4202560 257 0 0 0 0 2 0 0 20 0 17 0 645350775 20996096 3061 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13313] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13313/stat : 13313 (satake) D 13307 13309 27791 0 -1 4202560 267 0 0 0 0 2 0 0 20 0 17 0 645350775 20996096 3067 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13314] ppid=13307 vsize=20504 CPUtime=0
/proc/13309/task/13314/stat : 13314 (satake) D 13307 13309 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 645350775 20996096 3068 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13315] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13315/stat : 13315 (satake) R 13307 13309 27791 0 -1 4202560 245 0 0 0 0 2 0 0 20 0 17 0 645350775 20996096 3068 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13309/tid=13316] ppid=13307 vsize=20504 CPUtime=0
/proc/13309/task/13316/stat : 13316 (satake) D 13307 13309 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 645350775 20996096 3070 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13317] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13317/stat : 13317 (satake) R 13307 13309 27791 0 -1 4202560 249 0 0 0 0 2 0 0 20 0 17 0 645350775 20996096 3070 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13309/tid=13318] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13318/stat : 13318 (satake) R 13307 13309 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 645350775 20996096 3071 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13309/tid=13319] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13319/stat : 13319 (satake) R 13307 13309 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 645350775 20996096 3071 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13320] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13320/stat : 13320 (satake) R 13307 13309 27791 0 -1 4202560 241 0 0 0 0 2 0 0 20 0 17 0 645350775 20996096 3072 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13309/tid=13321] ppid=13307 vsize=20504 CPUtime=0.02
/proc/13309/task/13321/stat : 13321 (satake) R 13307 13309 27791 0 -1 4202560 242 0 0 0 0 2 0 0 20 0 17 0 645350776 20996096 3072 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13322] ppid=13307 vsize=20504 CPUtime=0
/proc/13309/task/13322/stat : 13322 (satake) R 13307 13309 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 645350776 20996096 3072 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 19480

[startup+0.105316 s]
/proc/loadavg: 3.98 3.87 5.56 2/184 13309
/proc/meminfo: memFree=19122796/36427776 swapFree=4588/7524
[pid=13309] ppid=13307 vsize=35508 CPUtime=0.69
/proc/13309/stat : 13309 (satake) S 13307 13309 27791 0 -1 4202496 5517 0 0 0 3 66 0 0 20 0 17 0 645350775 36360192 5453 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/13309/statm: 8877 5453 63 164 0 8712 0
[pid=13309/tid=13310] ppid=13307 vsize=35508 CPUtime=0
/proc/13309/task/13310/stat : 13310 (satake) S 13307 13309 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645350775 36360192 5453 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13311] ppid=13307 vsize=35508 CPUtime=0.06
/proc/13309/task/13311/stat : 13311 (satake) R 13307 13309 27791 0 -1 4202560 442 0 0 0 0 6 0 0 20 0 17 0 645350775 36360192 5453 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13309/tid=13312] ppid=13307 vsize=35508 CPUtime=0.04
/proc/13309/task/13312/stat : 13312 (satake) R 13307 13309 27791 0 -1 4202560 430 0 0 0 0 4 0 0 20 0 17 0 645350775 36360192 5453 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13313] ppid=13307 vsize=35508 CPUtime=0.04
/proc/13309/task/13313/stat : 13313 (satake) D 13307 13309 27791 0 -1 4202560 427 0 0 0 0 4 0 0 20 0 17 0 645350775 36360192 5454 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13314] ppid=13307 vsize=35508 CPUtime=0
/proc/13309/task/13314/stat : 13314 (satake) R 13307 13309 27791 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 17 0 645350775 36360192 5454 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13315] ppid=13307 vsize=35508 CPUtime=0.06
/proc/13309/task/13315/stat : 13315 (satake) D 13307 13309 27791 0 -1 4202560 414 0 0 0 0 6 0 0 20 0 17 0 645350775 36360192 5455 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13309/tid=13316] ppid=13307 vsize=35508 CPUtime=0.02
/proc/13309/task/13316/stat : 13316 (satake) D 13307 13309 27791 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 17 0 645350775 36360192 5456 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13317] ppid=13307 vsize=34704 CPUtime=0.06
/proc/13309/task/13317/stat : 13317 (satake) D 13307 13309 27791 0 -1 4202560 462 0 0 0 0 6 0 0 20 0 17 0 645350775 35536896 5456 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13309/tid=13318] ppid=13307 vsize=34704 CPUtime=0.06
/proc/13309/task/13318/stat : 13318 (satake) D 13307 13309 27791 0 -1 4202560 451 0 0 0 0 6 0 0 20 0 17 0 645350775 35536896 5456 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13309/tid=13319] ppid=13307 vsize=34704 CPUtime=0.06
/proc/13309/task/13319/stat : 13319 (satake) D 13307 13309 27791 0 -1 4202560 436 0 0 0 0 6 0 0 20 0 17 0 645350775 35536896 5459 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13320] ppid=13307 vsize=34704 CPUtime=0.06
/proc/13309/task/13320/stat : 13320 (satake) D 13307 13309 27791 0 -1 4202560 415 0 0 0 0 6 0 0 20 0 17 0 645350775 35536896 5463 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13309/tid=13321] ppid=13307 vsize=34704 CPUtime=0.04
/proc/13309/task/13321/stat : 13321 (satake) S 13307 13309 27791 0 -1 4202560 416 0 0 0 0 4 0 0 20 0 17 0 645350776 35536896 5464 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13322] ppid=13307 vsize=34704 CPUtime=0
/proc/13309/task/13322/stat : 13322 (satake) R 13307 13309 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 645350776 35536896 5465 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35508

[startup+0.305202 s]
/proc/loadavg: 3.98 3.87 5.56 2/184 13309
/proc/meminfo: memFree=19122796/36427776 swapFree=4588/7524
[pid=13309] ppid=13307 vsize=46756 CPUtime=1.69
/proc/13309/stat : 13309 (satake) S 13307 13309 27791 0 -1 4202496 10095 0 0 0 5 164 0 0 20 0 17 0 645350775 47878144 10031 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/13309/statm: 11689 10032 63 164 0 11524 0
[pid=13309/tid=13310] ppid=13307 vsize=46756 CPUtime=0
/proc/13309/task/13310/stat : 13310 (satake) S 13307 13309 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645350775 47878144 10033 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13311] ppid=13307 vsize=46756 CPUtime=0.14
/proc/13309/task/13311/stat : 13311 (satake) R 13307 13309 27791 0 -1 4202560 692 0 0 0 0 14 0 0 20 0 17 0 645350775 47878144 10035 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13309/tid=13312] ppid=13307 vsize=46756 CPUtime=0.08
/proc/13309/task/13312/stat : 13312 (satake) S 13307 13309 27791 0 -1 4202560 694 0 0 0 0 8 0 0 20 0 17 0 645350775 47878144 10036 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13313] ppid=13307 vsize=46756 CPUtime=0.1
/proc/13309/task/13313/stat : 13313 (satake) S 13307 13309 27791 0 -1 4202560 704 0 0 0 0 10 0 0 20 0 17 0 645350775 47878144 10037 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13314] ppid=13307 vsize=46756 CPUtime=0.06
/proc/13309/task/13314/stat : 13314 (satake) R 13307 13309 27791 0 -1 4202560 576 0 0 0 0 6 0 0 20 0 17 0 645350775 47878144 10039 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13315] ppid=13307 vsize=46756 CPUtime=0.14
/proc/13309/task/13315/stat : 13315 (satake) S 13307 13309 27791 0 -1 4202560 714 0 0 0 0 14 0 0 20 0 17 0 645350775 47878144 10039 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=13309/tid=13316] ppid=13307 vsize=46756 CPUtime=0.06
/proc/13309/task/13316/stat : 13316 (satake) D 13307 13309 27791 0 -1 4202560 569 0 0 0 2 4 0 0 20 0 17 0 645350775 47878144 10039 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13317] ppid=13307 vsize=46756 CPUtime=0.12
/proc/13309/task/13317/stat : 13317 (satake) D 13307 13309 27791 0 -1 4202560 685 0 0 0 0 12 0 0 20 0 17 0 645350775 47878144 10040 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13309/tid=13318] ppid=13307 vsize=46756 CPUtime=0.12
/proc/13309/task/13318/stat : 13318 (satake) D 13307 13309 27791 0 -1 4202560 700 0 0 0 0 12 0 0 20 0 17 0 645350775 47878144 10040 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13309/tid=13319] ppid=13307 vsize=46756 CPUtime=0.14
/proc/13309/task/13319/stat : 13319 (satake) D 13307 13309 27791 0 -1 4202560 696 0 0 0 0 14 0 0 20 0 17 0 645350775 47878144 10040 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13320] ppid=13307 vsize=46756 CPUtime=0.14
/proc/13309/task/13320/stat : 13320 (satake) S 13307 13309 27791 0 -1 4202560 683 0 0 0 2 12 0 0 20 0 17 0 645350775 47878144 10042 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13309/tid=13321] ppid=13307 vsize=46756 CPUtime=0.1
/proc/13309/task/13321/stat : 13321 (satake) S 13307 13309 27791 0 -1 4202560 682 0 0 0 0 10 0 0 20 0 17 0 645350776 47878144 10047 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13322] ppid=13307 vsize=46756 CPUtime=0.06
/proc/13309/task/13322/stat : 13322 (satake) R 13307 13309 27791 0 -1 4202560 544 0 0 0 0 6 0 0 20 0 17 0 645350776 47878144 10047 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 46756

[startup+0.703192 s]
/proc/loadavg: 3.98 3.87 5.56 2/184 13309
/proc/meminfo: memFree=19122796/36427776 swapFree=4588/7524
[pid=13309] ppid=13307 vsize=85492 CPUtime=3.72
/proc/13309/stat : 13309 (satake) S 13307 13309 27791 0 -1 4202496 19677 0 0 0 93 279 0 0 20 0 17 0 645350775 87543808 18837 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/13309/statm: 21373 18837 66 164 0 21208 0
[pid=13309/tid=13310] ppid=13307 vsize=85492 CPUtime=0
/proc/13309/task/13310/stat : 13310 (satake) S 13307 13309 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645350775 87543808 18838 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13311] ppid=13307 vsize=85492 CPUtime=0.28
/proc/13309/task/13311/stat : 13311 (satake) D 13307 13309 27791 0 -1 4202560 1386 0 0 0 6 22 0 0 20 0 17 0 645350775 87543808 18838 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13309/tid=13312] ppid=13307 vsize=85492 CPUtime=0.2
/proc/13309/task/13312/stat : 13312 (satake) S 13307 13309 27791 0 -1 4202560 1364 0 0 0 6 14 0 0 20 0 17 0 645350775 87543808 18840 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13313] ppid=13307 vsize=85492 CPUtime=0.24
/proc/13309/task/13313/stat : 13313 (satake) S 13307 13309 27791 0 -1 4202560 1443 0 0 0 4 20 0 0 20 0 17 0 645350775 87543808 18842 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13314] ppid=13307 vsize=85492 CPUtime=0.2
/proc/13309/task/13314/stat : 13314 (satake) R 13307 13309 27791 0 -1 4202560 1165 0 0 0 10 10 0 0 20 0 17 0 645350775 87543808 18842 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13309/tid=13315] ppid=13307 vsize=85492 CPUtime=0.3
/proc/13309/task/13315/stat : 13315 (satake) D 13307 13309 27791 0 -1 4202560 1433 0 0 0 8 22 0 0 20 0 17 0 645350775 87543808 18843 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13309/tid=13316] ppid=13307 vsize=85492 CPUtime=0.16
/proc/13309/task/13316/stat : 13316 (satake) R 13307 13309 27791 0 -1 4202560 1010 0 0 0 4 12 0 0 20 0 17 0 645350775 87543808 18844 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13309/tid=13317] ppid=13307 vsize=85492 CPUtime=0.28
/proc/13309/task/13317/stat : 13317 (satake) S 13307 13309 27791 0 -1 4202560 1420 0 0 0 4 24 0 0 20 0 17 0 645350775 87543808 18844 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13309/tid=13318] ppid=13307 vsize=85492 CPUtime=0.26
/proc/13309/task/13318/stat : 13318 (satake) R 13307 13309 27791 0 -1 4202560 1460 0 0 0 6 20 0 0 20 0 17 0 645350775 87543808 18845 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134521016 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13309/tid=13319] ppid=13307 vsize=85492 CPUtime=0.28
/proc/13309/task/13319/stat : 13319 (satake) R 13307 13309 27791 0 -1 4202560 1403 0 0 0 6 22 0 0 20 0 17 0 645350775 87543808 18848 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13320] ppid=13307 vsize=85492 CPUtime=0.26
/proc/13309/task/13320/stat : 13320 (satake) R 13307 13309 27791 0 -1 4202560 1264 0 0 0 4 22 0 0 20 0 17 0 645350775 87543808 18848 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13309/tid=13321] ppid=13307 vsize=85492 CPUtime=0.2
/proc/13309/task/13321/stat : 13321 (satake) R 13307 13309 27791 0 -1 4202560 1162 0 0 0 4 16 0 0 20 0 17 0 645350776 87543808 18850 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13309/tid=13322] ppid=13307 vsize=85492 CPUtime=0.16
/proc/13309/task/13322/stat : 13322 (satake) R 13307 13309 27791 0 -1 4202560 1110 0 0 0 6 10 0 0 20 0 17 0 645350776 87543808 18850 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 85492

[startup+1.50122 s]
/proc/loadavg: 3.98 3.87 5.56 4/201 13326
/proc/meminfo: memFree=19053144/36427776 swapFree=4300/76188
[pid=13309] ppid=13307 vsize=80208 CPUtime=6.39
/proc/13309/stat : 13309 (satake) S 13307 13309 27791 0 -1 4202496 23500 0 0 0 282 357 0 0 20 0 17 0 645350775 82132992 17616 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/13309/statm: 20052 17616 68 164 0 19887 0
[pid=13309/tid=13310] ppid=13307 vsize=80208 CPUtime=0.3
/proc/13309/task/13310/stat : 13310 (satake) R 13307 13309 27791 0 -1 4202560 217 0 0 0 4 26 0 0 20 0 17 0 645350775 82132992 17616 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13309/tid=13311] ppid=13307 vsize=80208 CPUtime=0.46
/proc/13309/task/13311/stat : 13311 (satake) S 13307 13309 27791 0 -1 4202560 1489 0 0 0 22 24 0 0 20 0 17 0 645350775 82132992 17616 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=13309/tid=13312] ppid=13307 vsize=80208 CPUtime=0.28
/proc/13309/task/13312/stat : 13312 (satake) S 13307 13309 27791 0 -1 4202560 1576 0 0 0 12 16 0 0 20 0 17 0 645350775 82132992 17616 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=13309/tid=13313] ppid=13307 vsize=80208 CPUtime=0.4
/proc/13309/task/13313/stat : 13313 (satake) S 13307 13309 27791 0 -1 4202560 1620 0 0 0 18 22 0 0 20 0 17 0 645350775 82132992 17616 18446744073709551615 134512640 135180984 4294200880 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0

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

deleting IPC queue 128385102
deleting IPC queue 128417871
deleting IPC queue 128450640
deleting IPC queue 128483409
deleting IPC queue 128516178
deleting IPC queue 128548947
deleting IPC queue 128581716
deleting IPC queue 128614485
deleting IPC queue 128647254
deleting IPC queue 128680023
deleting IPC queue 128712792
deleting IPC queue 128745561
deleting IPC queue 128778330
deleting IPC queue 128811099
deleting IPC queue 128843868
deleting IPC queue 128876637
deleting IPC queue 128909406
deleting IPC queue 128942175
deleting IPC queue 128974944
deleting IPC queue 129007713
deleting IPC queue 129040482
deleting IPC queue 129073251
deleting IPC queue 129106020
deleting IPC queue 129138789
deleting IPC queue 129171558
deleting IPC queue 129204327
deleting IPC queue 129237096
deleting IPC queue 129269865
deleting IPC queue 129302634
deleting IPC queue 129335403
deleting IPC queue 129368172
deleting IPC queue 129400941
deleting IPC queue 129433710
deleting IPC queue 129466479
deleting IPC queue 129499248
deleting IPC queue 129532017
deleting IPC queue 129564786
deleting IPC queue 129597555
deleting IPC queue 129630324
deleting IPC queue 129663093
deleting IPC queue 129695862
deleting IPC queue 129728631
deleting IPC queue 129761400
deleting IPC queue 129794169
deleting IPC queue 129826938
deleting IPC queue 129859707
deleting IPC queue 129892476
deleting IPC queue 129925245
deleting IPC queue 129958014
deleting IPC queue 129990783
deleting IPC queue 130023552
deleting IPC queue 130056321
deleting IPC queue 130089090
deleting IPC queue 130121859
deleting IPC queue 130154628
deleting IPC queue 130187397
deleting IPC queue 130220166
deleting IPC queue 130252935
deleting IPC queue 130285704
deleting IPC queue 130318473
deleting IPC queue 130351242
deleting IPC queue 130384011
deleting IPC queue 130416780
deleting IPC queue 130449549
deleting IPC queue 130482318
deleting IPC queue 130515087
deleting IPC queue 130547856
deleting IPC queue 130580625
deleting IPC queue 130613394
deleting IPC queue 130646163
deleting IPC queue 130678932
deleting IPC queue 130711701
deleting IPC queue 130744470
deleting IPC queue 130777239
deleting IPC queue 130810008
deleting IPC queue 130842777
deleting IPC queue 130875546
deleting IPC queue 130908315
deleting IPC queue 130941084
deleting IPC queue 130973853
deleting IPC queue 131006622
deleting IPC queue 131039391
deleting IPC queue 131072160
deleting IPC queue 131104929
deleting IPC queue 131137698
deleting IPC queue 131170467
deleting IPC queue 131203236
deleting IPC queue 131236005
deleting IPC queue 131268774
deleting IPC queue 131301543
deleting IPC queue 131334312
deleting IPC queue 131367081
deleting IPC queue 131399850
deleting IPC queue 131432619
deleting IPC queue 131465388
deleting IPC queue 131498157
deleting IPC queue 131530926
deleting IPC queue 131563695
deleting IPC queue 131596464
deleting IPC queue 131629233
deleting IPC queue 131662002
deleting IPC queue 131694771
deleting IPC queue 131727540
deleting IPC queue 131760309
deleting IPC queue 131793078
deleting IPC queue 131825847
deleting IPC queue 131858616
deleting IPC queue 131891385
deleting IPC queue 131924154
deleting IPC queue 131956923
deleting IPC queue 131989692
deleting IPC queue 132022461
deleting IPC queue 132055230
deleting IPC queue 132087999
deleting IPC queue 132120768
deleting IPC queue 132153537
deleting IPC queue 132186306
deleting IPC queue 132219075
deleting IPC queue 132251844
deleting IPC queue 132284613
deleting IPC queue 132317382
deleting IPC queue 132350151
deleting IPC queue 132382920
deleting IPC queue 132415689
deleting IPC queue 132448458
deleting IPC queue 132481227
deleting IPC queue 132513996
deleting IPC queue 132546765
deleting IPC queue 132579534
deleting IPC queue 132612303
deleting IPC queue 132645072
deleting IPC queue 132677841
deleting IPC queue 132710610
deleting IPC queue 132743379
deleting IPC queue 132776148
deleting IPC queue 132808917
deleting IPC queue 132841686
deleting IPC queue 132874455
deleting IPC queue 132907224
deleting IPC queue 132939993
deleting IPC queue 132972762
deleting IPC queue 133005531
deleting IPC queue 133038300
deleting IPC queue 133071069
deleting IPC queue 133103838
deleting IPC queue 133136607
deleting IPC queue 133169376
deleting IPC queue 133202145
deleting IPC queue 133234914
deleting IPC queue 133267683
deleting IPC queue 133300452
deleting IPC queue 133333221
deleting IPC queue 133365990
deleting IPC queue 133398759
deleting IPC queue 133431528
deleting IPC queue 133464297
deleting IPC queue 133497066
deleting IPC queue 133529835
deleting IPC queue 133562604
deleting IPC queue 133595373
deleting IPC queue 133628142
deleting IPC queue 133660911
deleting IPC queue 133693680
deleting IPC queue 133726449
deleting IPC queue 133759218
deleting IPC queue 133791987
deleting IPC queue 133824756
deleting IPC queue 133857525
deleting IPC queue 133890294
deleting IPC queue 133923063
deleting IPC queue 133955832
deleting IPC queue 133988601
deleting IPC queue 134021370
deleting IPC queue 134054139
deleting IPC queue 134086908
deleting IPC queue 134119677
deleting IPC queue 134152446
deleting IPC queue 134185215

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1121.33
system time used= 705.652
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91071
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= 61132209
involuntary context switches= 3209955

runsolver used 4.35227 second user time and 11.2567 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 04:34:04
IDJOB=1781277
IDBENCH=71699
IDSOLVER=631
FILE ID=xenhost3-49/1781277-1244860444
PBS_JOBID=
Free space on /tmp= 7026 MiB

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

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

MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED= 786915690

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:      19122796 kB
Buffers:        435892 kB
Cached:       14114960 kB
SwapCached:          0 kB
Active:        4082824 kB
Inactive:     10478060 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:        7524 kB
Mapped:           4588 kB
Slab:           689904 kB
SReclaimable:   662888 kB
SUnreclaim:      27016 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-13 04:50:46