Trace number 1779147

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)? (MO) 5505.58 757.627

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor128.cnf
MD5SUM065c126f0d55807310a398728b44423f
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 variables200440
Number of clauses599015
Sum of the clauses size1397699
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399342
Number of clauses of size 3199671
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779147-1244784278/watcher-1779147-1244784278 -o /tmp/evaluation-result-1779147-1244784278/solver-1779147-1244784278 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779147-1244784278.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: 2.55 2.46 2.56 2/184 4061
/proc/meminfo: memFree=19129936/36427776 swapFree=4396/7944
[pid=4061] ppid=4059 vsize=6688 CPUtime=0
/proc/4061/stat : 4061 (satake) R 4059 4061 27791 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 15 0 637734232 6848512 315 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4061/statm: 1672 317 63 164 0 1507 0
[pid=4061/tid=4062] ppid=4059 vsize=8308 CPUtime=0
/proc/4061/task/4062/stat : 4062 (satake) S 4059 4061 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637734233 8507392 465 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4063] ppid=4059 vsize=8308 CPUtime=0
/proc/4061/task/4063/stat : 4063 (satake) D 4059 4061 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 637734233 8507392 467 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4061/tid=4064] ppid=4059 vsize=8308 CPUtime=0
/proc/4061/task/4064/stat : 4064 (satake) D 4059 4061 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 637734233 8507392 467 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4061/tid=4065] ppid=4059 vsize=8436 CPUtime=0
/proc/4061/task/4065/stat : 4065 (satake) D 4059 4061 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 637734233 8638464 467 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4061/tid=4066] ppid=4059 vsize=8568 CPUtime=0
/proc/4061/task/4066/stat : 4066 (satake) S 4059 4061 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637734233 8773632 468 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4067] ppid=4059 vsize=8568 CPUtime=0
/proc/4061/task/4067/stat : 4067 (satake) R 4059 4061 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 637734233 8773632 473 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4068] ppid=4059 vsize=8568 CPUtime=0
/proc/4061/task/4068/stat : 4068 (satake) R 4059 4061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637734233 8773632 473 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4069] ppid=4059 vsize=8568 CPUtime=0
/proc/4061/task/4069/stat : 4069 (satake) S 4059 4061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637734233 8773632 473 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=4061/tid=4070] ppid=4059 vsize=8568 CPUtime=0
/proc/4061/task/4070/stat : 4070 (satake) S 4059 4061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637734233 8773632 473 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4071] ppid=4059 vsize=8568 CPUtime=0
/proc/4061/task/4071/stat : 4071 (satake) D 4059 4061 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 637734233 8773632 473 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4061/tid=4072] ppid=4059 vsize=8828 CPUtime=0
/proc/4061/task/4072/stat : 4072 (satake) S 4059 4061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637734233 9039872 474 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4073] ppid=4059 vsize=8828 CPUtime=0
/proc/4061/task/4073/stat : 4073 (satake) R 4059 4061 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 637734233 9039872 479 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4061/tid=4074] ppid=4059 vsize=8828 CPUtime=0
/proc/4061/task/4074/stat : 4074 (satake) S 4059 4061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637734233 9039872 480 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4075] ppid=4059 vsize=8828 CPUtime=0
/proc/4061/task/4075/stat : 4075 (satake) S 4059 4061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637734233 9039872 480 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=4061/tid=4076] ppid=4059 vsize=8828 CPUtime=0
/proc/4061/task/4076/stat : 4076 (satake) R 4059 4061 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637734233 9039872 480 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4061/tid=4077] ppid=4059 vsize=8828 CPUtime=0
/proc/4061/task/4077/stat : 4077 (satake) R 4059 4061 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 637734234 9039872 481 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.054227 s]
/proc/loadavg: 2.55 2.46 2.56 2/184 4061
/proc/meminfo: memFree=19129936/36427776 swapFree=4396/7944
[pid=4061] ppid=4059 vsize=31124 CPUtime=0.27
/proc/4061/stat : 4061 (satake) S 4059 4061 27791 0 -1 4202496 5243 0 0 0 0 27 0 0 20 0 17 0 637734232 31870976 5181 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4061/statm: 7781 5186 63 164 0 7616 0
[pid=4061/tid=4062] ppid=4059 vsize=31124 CPUtime=0
/proc/4061/task/4062/stat : 4062 (satake) S 4059 4061 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637734233 31870976 5187 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4063] ppid=4059 vsize=31124 CPUtime=0.02
/proc/4061/task/4063/stat : 4063 (satake) R 4059 4061 27791 0 -1 4202560 462 0 0 0 0 2 0 0 20 0 17 0 637734233 31870976 5188 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4061/tid=4064] ppid=4059 vsize=31124 CPUtime=0.02
/proc/4061/task/4064/stat : 4064 (satake) R 4059 4061 27791 0 -1 4202560 502 0 0 0 0 2 0 0 20 0 17 0 637734233 31870976 5190 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4061/tid=4065] ppid=4059 vsize=31124 CPUtime=0
/proc/4061/task/4065/stat : 4065 (satake) R 4059 4061 27791 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 17 0 637734233 31870976 5209 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4061/tid=4066] ppid=4059 vsize=31124 CPUtime=0.02
/proc/4061/task/4066/stat : 4066 (satake) R 4059 4061 27791 0 -1 4202560 444 0 0 0 0 2 0 0 20 0 17 0 637734233 31870976 5234 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4067] ppid=4059 vsize=31124 CPUtime=0.02
/proc/4061/task/4067/stat : 4067 (satake) R 4059 4061 27791 0 -1 4202560 515 0 0 0 0 2 0 0 20 0 17 0 637734233 31870976 5251 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4068] ppid=4059 vsize=31124 CPUtime=0.02
/proc/4061/task/4068/stat : 4068 (satake) R 4059 4061 27791 0 -1 4202560 447 0 0 0 0 2 0 0 20 0 17 0 637734233 31870976 5267 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4061/tid=4069] ppid=4059 vsize=31124 CPUtime=0.02
/proc/4061/task/4069/stat : 4069 (satake) R 4059 4061 27791 0 -1 4202560 520 0 0 0 0 2 0 0 20 0 17 0 637734233 31870976 5282 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4061/tid=4070] ppid=4059 vsize=31124 CPUtime=0
/proc/4061/task/4070/stat : 4070 (satake) R 4059 4061 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 637734233 31870976 5307 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4071] ppid=4059 vsize=31124 CPUtime=0.02
/proc/4061/task/4071/stat : 4071 (satake) R 4059 4061 27791 0 -1 4202560 551 0 0 0 0 2 0 0 20 0 17 0 637734233 31870976 5338 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4061/tid=4072] ppid=4059 vsize=31124 CPUtime=0
/proc/4061/task/4072/stat : 4072 (satake) R 4059 4061 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 637734233 31870976 5362 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4073] ppid=4059 vsize=33172 CPUtime=0.02
/proc/4061/task/4073/stat : 4073 (satake) R 4059 4061 27791 0 -1 4202560 530 0 0 0 0 2 0 0 20 0 17 0 637734233 33968128 5362 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4061/tid=4074] ppid=4059 vsize=33172 CPUtime=0
/proc/4061/task/4074/stat : 4074 (satake) S 4059 4061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637734233 33968128 5364 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4075] ppid=4059 vsize=33172 CPUtime=0.02
/proc/4061/task/4075/stat : 4075 (satake) R 4059 4061 27791 0 -1 4202560 491 0 0 0 0 2 0 0 20 0 17 0 637734233 33968128 5368 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4061/tid=4076] ppid=4059 vsize=33172 CPUtime=0.02
/proc/4061/task/4076/stat : 4076 (satake) R 4059 4061 27791 0 -1 4202560 458 0 0 0 0 2 0 0 20 0 17 0 637734233 33968128 5369 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4061/tid=4077] ppid=4059 vsize=33172 CPUtime=0
/proc/4061/task/4077/stat : 4077 (satake) D 4059 4061 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 637734234 33968128 5369 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 31124

[startup+0.108317 s]
/proc/loadavg: 2.55 2.46 2.56 2/184 4061
/proc/meminfo: memFree=19129936/36427776 swapFree=4396/7944
[pid=4061] ppid=4059 vsize=71960 CPUtime=0.73
/proc/4061/stat : 4061 (satake) S 4059 4061 27791 0 -1 4202496 11902 0 0 0 0 73 0 0 20 0 17 0 637734232 73687040 11840 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4061/statm: 17990 11840 63 164 0 17825 0
[pid=4061/tid=4062] ppid=4059 vsize=71960 CPUtime=0
/proc/4061/task/4062/stat : 4062 (satake) S 4059 4061 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637734233 73687040 11840 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4063] ppid=4059 vsize=71960 CPUtime=0.04
/proc/4061/task/4063/stat : 4063 (satake) D 4059 4061 27791 0 -1 4202560 627 0 0 0 0 4 0 0 20 0 17 0 637734233 73687040 11840 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4061/tid=4064] ppid=4059 vsize=71960 CPUtime=0.06
/proc/4061/task/4064/stat : 4064 (satake) D 4059 4061 27791 0 -1 4202560 1242 0 0 0 0 6 0 0 20 0 17 0 637734233 73687040 11840 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4061/tid=4065] ppid=4059 vsize=71960 CPUtime=0.04
/proc/4061/task/4065/stat : 4065 (satake) D 4059 4061 27791 0 -1 4202560 572 0 0 0 0 4 0 0 20 0 17 0 637734233 73687040 11840 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4061/tid=4066] ppid=4059 vsize=74008 CPUtime=0.04
/proc/4061/task/4066/stat : 4066 (satake) D 4059 4061 27791 0 -1 4202560 737 0 0 0 0 4 0 0 20 0 17 0 637734233 75784192 11840 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4067] ppid=4059 vsize=74008 CPUtime=0.04
/proc/4061/task/4067/stat : 4067 (satake) R 4059 4061 27791 0 -1 4202560 828 0 0 0 0 4 0 0 20 0 17 0 637734233 75784192 11843 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4068] ppid=4059 vsize=74008 CPUtime=0.06
/proc/4061/task/4068/stat : 4068 (satake) D 4059 4061 27791 0 -1 4202560 1019 0 0 0 0 6 0 0 20 0 17 0 637734233 75784192 11847 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4061/tid=4069] ppid=4059 vsize=74008 CPUtime=0.04
/proc/4061/task/4069/stat : 4069 (satake) D 4059 4061 27791 0 -1 4202560 826 0 0 0 0 4 0 0 20 0 17 0 637734233 75784192 11848 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4061/tid=4070] ppid=4059 vsize=74008 CPUtime=0.02
/proc/4061/task/4070/stat : 4070 (satake) D 4059 4061 27791 0 -1 4202560 257 0 0 0 0 2 0 0 20 0 17 0 637734233 75784192 11848 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4071] ppid=4059 vsize=74008 CPUtime=0.06
/proc/4061/task/4071/stat : 4071 (satake) D 4059 4061 27791 0 -1 4202560 1112 0 0 0 0 6 0 0 20 0 17 0 637734233 75784192 11849 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4061/tid=4072] ppid=4059 vsize=74008 CPUtime=0.02
/proc/4061/task/4072/stat : 4072 (satake) R 4059 4061 27791 0 -1 4202560 402 0 0 0 0 2 0 0 20 0 17 0 637734233 75784192 11850 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4073] ppid=4059 vsize=74008 CPUtime=0.06
/proc/4061/task/4073/stat : 4073 (satake) R 4059 4061 27791 0 -1 4202560 1034 0 0 0 0 6 0 0 20 0 17 0 637734233 75784192 11850 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4061/tid=4074] ppid=4059 vsize=74008 CPUtime=0.04
/proc/4061/task/4074/stat : 4074 (satake) R 4059 4061 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 637734233 75784192 11850 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4075] ppid=4059 vsize=74008 CPUtime=0.06
/proc/4061/task/4075/stat : 4075 (satake) R 4059 4061 27791 0 -1 4202560 1237 0 0 0 0 6 0 0 20 0 17 0 637734233 75784192 11850 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4061/tid=4076] ppid=4059 vsize=74008 CPUtime=0.06
/proc/4061/task/4076/stat : 4076 (satake) R 4059 4061 27791 0 -1 4202560 1040 0 0 0 0 6 0 0 20 0 17 0 637734233 75784192 11851 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4061/tid=4077] ppid=4059 vsize=74008 CPUtime=0.02
/proc/4061/task/4077/stat : 4077 (satake) R 4059 4061 27791 0 -1 4202560 310 0 0 0 0 2 0 0 20 0 17 0 637734234 75784192 11868 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 71960

[startup+0.304244 s]
/proc/loadavg: 2.55 2.46 2.56 2/184 4061
/proc/meminfo: memFree=19129936/36427776 swapFree=4396/7944
[pid=4061] ppid=4059 vsize=181820 CPUtime=2.62
/proc/4061/stat : 4061 (satake) S 4059 4061 27791 0 -1 4202496 32411 0 0 0 0 262 0 0 20 0 17 0 637734232 186183680 32349 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4061/statm: 45455 32352 63 164 0 45290 0
[pid=4061/tid=4062] ppid=4059 vsize=181820 CPUtime=0
/proc/4061/task/4062/stat : 4062 (satake) S 4059 4061 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637734233 186183680 32361 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4063] ppid=4059 vsize=181820 CPUtime=0.2
/proc/4061/task/4063/stat : 4063 (satake) R 4059 4061 27791 0 -1 4202560 2218 0 0 0 0 20 0 0 20 0 17 0 637734233 186183680 32377 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4061/tid=4064] ppid=4059 vsize=181820 CPUtime=0.22
/proc/4061/task/4064/stat : 4064 (satake) R 4059 4061 27791 0 -1 4202560 2865 0 0 0 0 22 0 0 20 0 17 0 637734233 186183680 32377 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4061/tid=4065] ppid=4059 vsize=181820 CPUtime=0.18
/proc/4061/task/4065/stat : 4065 (satake) R 4059 4061 27791 0 -1 4202560 2721 0 0 0 0 18 0 0 20 0 17 0 637734233 186183680 32382 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4061/tid=4066] ppid=4059 vsize=181820 CPUtime=0.14
/proc/4061/task/4066/stat : 4066 (satake) D 4059 4061 27791 0 -1 4202560 1936 0 0 0 0 14 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4067] ppid=4059 vsize=181820 CPUtime=0.14
/proc/4061/task/4067/stat : 4067 (satake) D 4059 4061 27791 0 -1 4202560 1826 0 0 0 0 14 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4068] ppid=4059 vsize=181820 CPUtime=0.22
/proc/4061/task/4068/stat : 4068 (satake) R 4059 4061 27791 0 -1 4202560 2583 0 0 0 0 22 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4061/tid=4069] ppid=4059 vsize=181820 CPUtime=0.14
/proc/4061/task/4069/stat : 4069 (satake) D 4059 4061 27791 0 -1 4202560 1783 0 0 0 0 14 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4061/tid=4070] ppid=4059 vsize=181820 CPUtime=0.08
/proc/4061/task/4070/stat : 4070 (satake) R 4059 4061 27791 0 -1 4202560 1120 0 0 0 0 8 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4071] ppid=4059 vsize=181820 CPUtime=0.22
/proc/4061/task/4071/stat : 4071 (satake) S 4059 4061 27791 0 -1 4202560 2875 0 0 0 0 22 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=4061/tid=4072] ppid=4059 vsize=181820 CPUtime=0.1
/proc/4061/task/4072/stat : 4072 (satake) R 4059 4061 27791 0 -1 4202560 1212 0 0 0 0 10 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4073] ppid=4059 vsize=181820 CPUtime=0.22
/proc/4061/task/4073/stat : 4073 (satake) R 4059 4061 27791 0 -1 4202560 2619 0 0 0 0 22 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4061/tid=4074] ppid=4059 vsize=181820 CPUtime=0.18
/proc/4061/task/4074/stat : 4074 (satake) R 4059 4061 27791 0 -1 4202560 2205 0 0 0 0 18 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4075] ppid=4059 vsize=181820 CPUtime=0.22
/proc/4061/task/4075/stat : 4075 (satake) R 4059 4061 27791 0 -1 4202560 2688 0 0 0 0 22 0 0 20 0 17 0 637734233 186183680 32384 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4061/tid=4076] ppid=4059 vsize=181820 CPUtime=0.22
/proc/4061/task/4076/stat : 4076 (satake) D 4059 4061 27791 0 -1 4202560 2580 0 0 0 0 22 0 0 20 0 17 0 637734233 186183680 32385 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4061/tid=4077] ppid=4059 vsize=181820 CPUtime=0.1
/proc/4061/task/4077/stat : 4077 (satake) D 4059 4061 27791 0 -1 4202560 1081 0 0 0 0 10 0 0 20 0 17 0 637734234 186183680 32388 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 181820

[startup+0.705943 s]
/proc/loadavg: 2.55 2.46 2.56 2/184 4061
/proc/meminfo: memFree=19129936/36427776 swapFree=4396/7944
[pid=4061] ppid=4059 vsize=226520 CPUtime=4.65
/proc/4061/stat : 4061 (satake) S 4059 4061 27791 0 -1 4202496 51941 0 0 0 32 433 0 0 20 0 17 0 637734232 231956480 51879 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/4061/statm: 56630 51883 63 164 0 56465 0
[pid=4061/tid=4062] ppid=4059 vsize=226520 CPUtime=0
/proc/4061/task/4062/stat : 4062 (satake) S 4059 4061 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637734233 231956480 51884 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4061/tid=4063] ppid=4059 vsize=226520 CPUtime=0.34
/proc/4061/task/4063/stat : 4063 (satake) R 4059 4061 27791 0 -1 4202560 3496 0 0 0 2 32 0 0 20 0 17 0 637734233 231956480 51885 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4061/tid=4064] ppid=4059 vsize=226520 CPUtime=0.38
/proc/4061/task/4064/stat : 4064 (satake) S 4059 4061 27791 0 -1 4202560 3754 0 0 0 2 36 0 0 20 0 17 0 637734233 231956480 51885 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=4061/tid=4065] ppid=4059 vsize=226520 CPUtime=0.32
/proc/4061/task/4065/stat : 4065 (satake) S 4059 4061 27791 0 -1 4202560 3597 0 0 0 0 32 0 0 20 0 17 0 637734233 231956480 51885 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=4061/tid=4066] ppid=4059 vsize=226520 CPUtime=0.24
/proc/4061/task/4066/stat : 4066 (satake) S 4059 4061 27791 0 -1 4202560 3269 0 0 0 2 22 0 0 20 0 17 0 637734233 231956480 51887 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=4061/tid=4067] ppid=4059 vsize=226520 CPUtime=0.26
/proc/4061/task/4067/stat : 4067 (satake) S 4059 4061 27791 0 -1 4202560 3275 0 0 0 2 24 0 0 20 0 17 0 637734233 231956480 51887 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4068] ppid=4059 vsize=226520 CPUtime=0.36
/proc/4061/task/4068/stat : 4068 (satake) S 4059 4061 27791 0 -1 4202560 3536 0 0 0 2 34 0 0 20 0 17 0 637734233 231956480 51887 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=4061/tid=4069] ppid=4059 vsize=226520 CPUtime=0.26
/proc/4061/task/4069/stat : 4069 (satake) S 4059 4061 27791 0 -1 4202560 3336 0 0 0 2 24 0 0 20 0 17 0 637734233 231956480 51888 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=4061/tid=4070] ppid=4059 vsize=226520 CPUtime=0.2
/proc/4061/task/4070/stat : 4070 (satake) S 4059 4061 27791 0 -1 4202560 3138 0 0 0 0 20 0 0 20 0 17 0 637734233 231956480 51888 18446744073709551615 134512640 135180984 4288962864 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4061/tid=4071] ppid=4059 vsize=226520 CPUtime=0.34

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

deleting IPC queue 1084686414
deleting IPC queue 1084719183
deleting IPC queue 1084751952
deleting IPC queue 1084784721
deleting IPC queue 1084817490
deleting IPC queue 1084850259
deleting IPC queue 1084883028
deleting IPC queue 1084915797
deleting IPC queue 1084948566
deleting IPC queue 1084981335
deleting IPC queue 1085014104
deleting IPC queue 1085046873
deleting IPC queue 1085079642
deleting IPC queue 1085112411
deleting IPC queue 1085145180
deleting IPC queue 1085177949
deleting IPC queue 1085210718
deleting IPC queue 1085243487
deleting IPC queue 1085276256
deleting IPC queue 1085309025
deleting IPC queue 1085341794
deleting IPC queue 1085374563
deleting IPC queue 1085407332
deleting IPC queue 1085440101
deleting IPC queue 1085472870
deleting IPC queue 1085505639
deleting IPC queue 1085538408
deleting IPC queue 1085571177
deleting IPC queue 1085603946
deleting IPC queue 1085636715
deleting IPC queue 1085669484
deleting IPC queue 1085702253
deleting IPC queue 1085735022
deleting IPC queue 1085767791
deleting IPC queue 1085800560
deleting IPC queue 1085833329
deleting IPC queue 1085866098
deleting IPC queue 1085898867
deleting IPC queue 1085931636
deleting IPC queue 1085964405
deleting IPC queue 1085997174
deleting IPC queue 1086029943
deleting IPC queue 1086062712
deleting IPC queue 1086095481
deleting IPC queue 1086128250
deleting IPC queue 1086161019
deleting IPC queue 1086193788
deleting IPC queue 1086226557
deleting IPC queue 1086259326
deleting IPC queue 1086292095
deleting IPC queue 1086324864
deleting IPC queue 1086357633
deleting IPC queue 1086390402
deleting IPC queue 1086423171
deleting IPC queue 1086455940
deleting IPC queue 1086488709
deleting IPC queue 1086521478
deleting IPC queue 1086554247
deleting IPC queue 1086587016
deleting IPC queue 1086619785
deleting IPC queue 1086652554
deleting IPC queue 1086685323
deleting IPC queue 1086718092
deleting IPC queue 1086750861
deleting IPC queue 1086783630
deleting IPC queue 1086816399
deleting IPC queue 1086849168
deleting IPC queue 1086881937
deleting IPC queue 1086914706
deleting IPC queue 1086947475
deleting IPC queue 1086980244
deleting IPC queue 1087013013
deleting IPC queue 1087045782
deleting IPC queue 1087078551
deleting IPC queue 1087111320
deleting IPC queue 1087144089
deleting IPC queue 1087176858
deleting IPC queue 1087209627
deleting IPC queue 1087242396
deleting IPC queue 1087275165
deleting IPC queue 1087307934
deleting IPC queue 1087340703
deleting IPC queue 1087373472
deleting IPC queue 1087406241
deleting IPC queue 1087439010
deleting IPC queue 1087471779
deleting IPC queue 1087504548
deleting IPC queue 1087537317
deleting IPC queue 1087570086
deleting IPC queue 1087602855
deleting IPC queue 1087635624
deleting IPC queue 1087668393
deleting IPC queue 1087701162
deleting IPC queue 1087733931
deleting IPC queue 1087766700
deleting IPC queue 1087799469
deleting IPC queue 1087832238
deleting IPC queue 1087865007
deleting IPC queue 1087897776
deleting IPC queue 1087930545
deleting IPC queue 1087963314
deleting IPC queue 1087996083
deleting IPC queue 1088028852
deleting IPC queue 1088061621
deleting IPC queue 1088094390
deleting IPC queue 1088127159
deleting IPC queue 1088159928
deleting IPC queue 1088192697
deleting IPC queue 1088225466
deleting IPC queue 1088258235
deleting IPC queue 1088291004
deleting IPC queue 1088323773
deleting IPC queue 1088356542
deleting IPC queue 1088389311
deleting IPC queue 1088422080
deleting IPC queue 1088454849
deleting IPC queue 1088487618
deleting IPC queue 1088520387
deleting IPC queue 1088553156
deleting IPC queue 1088585925
deleting IPC queue 1088618694
deleting IPC queue 1088651463
deleting IPC queue 1088684232
deleting IPC queue 1088717001
deleting IPC queue 1088749770
deleting IPC queue 1088782539
deleting IPC queue 1088815308
deleting IPC queue 1088848077
deleting IPC queue 1088880846
deleting IPC queue 1088913615
deleting IPC queue 1088946384
deleting IPC queue 1088979153
deleting IPC queue 1089011922
deleting IPC queue 1089044691
deleting IPC queue 1089077460
deleting IPC queue 1089110229
deleting IPC queue 1089142998
deleting IPC queue 1089175767
deleting IPC queue 1089208536
deleting IPC queue 1089241305
deleting IPC queue 1089274074
deleting IPC queue 1089306843
deleting IPC queue 1089339612
deleting IPC queue 1089372381
deleting IPC queue 1089405150
deleting IPC queue 1089437919
deleting IPC queue 1089470688
deleting IPC queue 1089503457
deleting IPC queue 1089536226
deleting IPC queue 1089568995
deleting IPC queue 1089601764
deleting IPC queue 1089634533
deleting IPC queue 1089667302
deleting IPC queue 1089700071
deleting IPC queue 1089732840
deleting IPC queue 1089765609
deleting IPC queue 1089798378
deleting IPC queue 1089831147
deleting IPC queue 1089863916
deleting IPC queue 1089896685
deleting IPC queue 1089929454
deleting IPC queue 1089962223
deleting IPC queue 1089994992
deleting IPC queue 1090027761
deleting IPC queue 1090060530
deleting IPC queue 1090093299
deleting IPC queue 1090126068
deleting IPC queue 1090158837
deleting IPC queue 1090191606
deleting IPC queue 1090224375
deleting IPC queue 1090257144
deleting IPC queue 1090289913
deleting IPC queue 1090322682
deleting IPC queue 1090355451
deleting IPC queue 1090388220
deleting IPC queue 1090420989
deleting IPC queue 1090453758
deleting IPC queue 1090486527

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5110.9
system time used= 394.681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541142
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= 33599545
involuntary context switches= 2444243

runsolver used 3.68023 second user time and 9.6406 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 07:24:38
IDJOB=1779147
IDBENCH=70815
IDSOLVER=631
FILE ID=xenhost3-49/1779147-1244784278
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED= 100364518

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:      19129936 kB
Buffers:        433756 kB
Cached:       14114728 kB
SwapCached:          0 kB
Active:        4078988 kB
Inactive:     10477352 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           11384 kB
Writeback:           0 kB
AnonPages:        7944 kB
Mapped:           3732 kB
Slab:           688228 kB
SReclaimable:   661456 kB
SUnreclaim:      26772 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    30212 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-12 07:37:18