Trace number 1781502

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) 3221.82 1000.1

General information on the benchmark

Namesimon-s02b-k2f-gr-rcs-w8.cnf
MD5SUM5da8899feefc5a4bb9db99e983e30f52
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 variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

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-1781502-1244869287/watcher-1781502-1244869287 -o /tmp/evaluation-result-1781502-1244869287/solver-1781502-1244869287 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781502-1244869287.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 4.57 4.54 2/184 14404
/proc/meminfo: memFree=19120048/36427776 swapFree=4388/7964
[pid=14404] ppid=14402 vsize=7032 CPUtime=0
/proc/14404/stat : 14404 (satake) R 14402 14404 27791 0 -1 4202496 380 0 0 0 0 0 0 0 20 0 16 0 646235089 7200768 334 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14404/statm: 1758 337 63 164 0 1593 0
[pid=14404/tid=14405] ppid=14402 vsize=7164 CPUtime=0
/proc/14404/task/14405/stat : 14405 (satake) S 14402 14404 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646235090 7335936 426 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14406] ppid=14402 vsize=7164 CPUtime=0
/proc/14404/task/14406/stat : 14406 (satake) D 14402 14404 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 646235090 7335936 426 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14407] ppid=14402 vsize=7424 CPUtime=0
/proc/14404/task/14407/stat : 14407 (satake) D 14402 14404 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 646235090 7602176 426 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14408] ppid=14402 vsize=7292 CPUtime=0
/proc/14404/task/14408/stat : 14408 (satake) D 14402 14404 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 646235090 7467008 427 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14409] ppid=14402 vsize=7424 CPUtime=0
/proc/14404/task/14409/stat : 14409 (satake) D 14402 14404 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 646235090 7602176 427 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14404/tid=14410] ppid=14402 vsize=7556 CPUtime=0
/proc/14404/task/14410/stat : 14410 (satake) D 14402 14404 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 646235090 7737344 427 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14411] ppid=14402 vsize=7560 CPUtime=0
/proc/14404/task/14411/stat : 14411 (satake) D 14402 14404 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646235090 7741440 429 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14412] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14412/stat : 14412 (satake) S 14402 14404 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 430 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14413] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14413/stat : 14413 (satake) S 14402 14404 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 434 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14404/tid=14414] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14414/stat : 14414 (satake) S 14402 14404 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 434 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14415] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14415/stat : 14415 (satake) S 14402 14404 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 447 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=14404/tid=14416] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14416/stat : 14416 (satake) R 14402 14404 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 461 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14404/tid=14417] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14417/stat : 14417 (satake) S 14402 14404 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 485 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14404/tid=14418] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14418/stat : 14418 (satake) R 14402 14404 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 504 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14404/tid=14419] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14419/stat : 14419 (satake) R 14402 14404 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 516 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14404/tid=14420] ppid=14402 vsize=7692 CPUtime=0
/proc/14404/task/14420/stat : 14420 (satake) S 14402 14404 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646235090 7876608 528 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0

[startup+0.095381 s]
/proc/loadavg: 3.98 4.57 4.54 2/184 14404
/proc/meminfo: memFree=19120048/36427776 swapFree=4388/7964
[pid=14404] ppid=14402 vsize=49444 CPUtime=0.57
/proc/14404/stat : 14404 (satake) S 14402 14404 27791 0 -1 4202496 8998 0 0 0 0 57 0 0 20 0 17 0 646235089 50630656 8952 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14404/statm: 12361 8955 63 164 0 12196 0
[pid=14404/tid=14405] ppid=14402 vsize=49444 CPUtime=0
/proc/14404/task/14405/stat : 14405 (satake) S 14402 14404 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646235090 50630656 8955 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14406] ppid=14402 vsize=49444 CPUtime=0.04
/proc/14404/task/14406/stat : 14406 (satake) R 14402 14404 27791 0 -1 4202560 804 0 0 0 0 4 0 0 20 0 17 0 646235090 50630656 8957 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14407] ppid=14402 vsize=49444 CPUtime=0
/proc/14404/task/14407/stat : 14407 (satake) R 14402 14404 27791 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 17 0 646235090 50630656 8958 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14408] ppid=14402 vsize=49444 CPUtime=0.06
/proc/14404/task/14408/stat : 14408 (satake) R 14402 14404 27791 0 -1 4202560 887 0 0 0 0 6 0 0 20 0 17 0 646235090 50630656 8960 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14409] ppid=14402 vsize=49444 CPUtime=0.06
/proc/14404/task/14409/stat : 14409 (satake) R 14402 14404 27791 0 -1 4202560 947 0 0 0 0 6 0 0 20 0 17 0 646235090 50630656 8960 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14404/tid=14410] ppid=14402 vsize=49444 CPUtime=0.04
/proc/14404/task/14410/stat : 14410 (satake) R 14402 14404 27791 0 -1 4202560 739 0 0 0 0 4 0 0 20 0 17 0 646235090 50630656 8961 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14411] ppid=14402 vsize=49444 CPUtime=0.02
/proc/14404/task/14411/stat : 14411 (satake) R 14402 14404 27791 0 -1 4202560 239 0 0 0 0 2 0 0 20 0 17 0 646235090 50630656 8964 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14412] ppid=14402 vsize=49444 CPUtime=0.04
/proc/14404/task/14412/stat : 14412 (satake) R 14402 14404 27791 0 -1 4202560 785 0 0 0 0 4 0 0 20 0 17 0 646235090 50630656 8964 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14413] ppid=14402 vsize=49444 CPUtime=0.06
/proc/14404/task/14413/stat : 14413 (satake) R 14402 14404 27791 0 -1 4202560 816 0 0 0 0 6 0 0 20 0 17 0 646235090 50630656 8965 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14404/tid=14414] ppid=14402 vsize=49444 CPUtime=0.02
/proc/14404/task/14414/stat : 14414 (satake) R 14402 14404 27791 0 -1 4202560 310 0 0 0 0 2 0 0 20 0 17 0 646235090 50630656 8966 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14404/tid=14415] ppid=14402 vsize=49444 CPUtime=0.02
/proc/14404/task/14415/stat : 14415 (satake) R 14402 14404 27791 0 -1 4202560 512 0 0 0 0 2 0 0 20 0 17 0 646235090 50630656 8966 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14404/tid=14416] ppid=14402 vsize=49444 CPUtime=0.06
/proc/14404/task/14416/stat : 14416 (satake) R 14402 14404 27791 0 -1 4202560 823 0 0 0 0 6 0 0 20 0 17 0 646235090 50630656 8967 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14404/tid=14417] ppid=14402 vsize=49444 CPUtime=0.04
/proc/14404/task/14417/stat : 14417 (satake) R 14402 14404 27791 0 -1 4202560 720 0 0 0 0 4 0 0 20 0 17 0 646235090 50630656 8968 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14404/tid=14418] ppid=14402 vsize=49444 CPUtime=0.06
/proc/14404/task/14418/stat : 14418 (satake) R 14402 14404 27791 0 -1 4202560 891 0 0 0 0 6 0 0 20 0 17 0 646235090 50630656 8969 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14404/tid=14419] ppid=14402 vsize=49444 CPUtime=0
/proc/14404/task/14419/stat : 14419 (satake) R 14402 14404 27791 0 -1 4202560 91 0 0 0 0 0 0 0 20 0 17 0 646235090 50630656 8971 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14420] ppid=14402 vsize=49444 CPUtime=0
/proc/14404/task/14420/stat : 14420 (satake) D 14402 14404 27791 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 17 0 646235090 50630656 8984 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 49444

[startup+0.103244 s]
/proc/loadavg: 3.98 4.57 4.54 2/184 14404
/proc/meminfo: memFree=19120048/36427776 swapFree=4388/7964
[pid=14404] ppid=14402 vsize=49956 CPUtime=0.64
/proc/14404/stat : 14404 (satake) S 14402 14404 27791 0 -1 4202496 9246 0 0 0 0 64 0 0 20 0 17 0 646235089 51154944 9203 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14404/statm: 12489 9221 63 164 0 12324 0
[pid=14404/tid=14405] ppid=14402 vsize=49956 CPUtime=0
/proc/14404/task/14405/stat : 14405 (satake) S 14402 14404 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646235090 51154944 9227 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14406] ppid=14402 vsize=49956 CPUtime=0.06
/proc/14404/task/14406/stat : 14406 (satake) D 14402 14404 27791 0 -1 4202560 828 0 0 0 0 6 0 0 20 0 17 0 646235090 51154944 9227 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14407] ppid=14402 vsize=49956 CPUtime=0
/proc/14404/task/14407/stat : 14407 (satake) R 14402 14404 27791 0 -1 4202560 149 0 0 0 0 0 0 0 20 0 17 0 646235090 51154944 9227 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14408] ppid=14402 vsize=49956 CPUtime=0.06
/proc/14404/task/14408/stat : 14408 (satake) R 14402 14404 27791 0 -1 4202560 912 0 0 0 0 6 0 0 20 0 17 0 646235090 51154944 9227 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14409] ppid=14402 vsize=49956 CPUtime=0.06
/proc/14404/task/14409/stat : 14409 (satake) D 14402 14404 27791 0 -1 4202560 963 0 0 0 0 6 0 0 20 0 17 0 646235090 51154944 9228 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14404/tid=14410] ppid=14402 vsize=49956 CPUtime=0.04
/proc/14404/task/14410/stat : 14410 (satake) R 14402 14404 27791 0 -1 4202560 761 0 0 0 0 4 0 0 20 0 17 0 646235090 51154944 9230 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14411] ppid=14402 vsize=49956 CPUtime=0.02
/proc/14404/task/14411/stat : 14411 (satake) D 14402 14404 27791 0 -1 4202560 254 0 0 0 0 2 0 0 20 0 17 0 646235090 51154944 9230 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14412] ppid=14402 vsize=49956 CPUtime=0.06
/proc/14404/task/14412/stat : 14412 (satake) R 14402 14404 27791 0 -1 4202560 808 0 0 0 0 6 0 0 20 0 17 0 646235090 51154944 9231 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14413] ppid=14402 vsize=49956 CPUtime=0.06
/proc/14404/task/14413/stat : 14413 (satake) R 14402 14404 27791 0 -1 4202560 840 0 0 0 0 6 0 0 20 0 17 0 646235090 51154944 9231 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14404/tid=14414] ppid=14402 vsize=49956 CPUtime=0.02
/proc/14404/task/14414/stat : 14414 (satake) R 14402 14404 27791 0 -1 4202560 333 0 0 0 0 2 0 0 20 0 17 0 646235090 51154944 9232 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14404/tid=14415] ppid=14402 vsize=49956 CPUtime=0.04
/proc/14404/task/14415/stat : 14415 (satake) D 14402 14404 27791 0 -1 4202560 521 0 0 0 0 4 0 0 20 0 17 0 646235090 51154944 9233 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14404/tid=14416] ppid=14402 vsize=49956 CPUtime=0.06
/proc/14404/task/14416/stat : 14416 (satake) R 14402 14404 27791 0 -1 4202560 849 0 0 0 0 6 0 0 20 0 17 0 646235090 51154944 9233 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14404/tid=14417] ppid=14402 vsize=49956 CPUtime=0.04
/proc/14404/task/14417/stat : 14417 (satake) R 14402 14404 27791 0 -1 4202560 729 0 0 0 0 4 0 0 20 0 17 0 646235090 51154944 9233 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14404/tid=14418] ppid=14402 vsize=49956 CPUtime=0.06
/proc/14404/task/14418/stat : 14418 (satake) R 14402 14404 27791 0 -1 4202560 907 0 0 0 0 6 0 0 20 0 17 0 646235090 51154944 9233 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14404/tid=14419] ppid=14402 vsize=49956 CPUtime=0
/proc/14404/task/14419/stat : 14419 (satake) D 14402 14404 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 646235090 51154944 9234 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14420] ppid=14402 vsize=49956 CPUtime=0.02
/proc/14404/task/14420/stat : 14420 (satake) R 14402 14404 27791 0 -1 4202560 192 0 0 0 0 2 0 0 20 0 17 0 646235090 51154944 9234 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 49956

[startup+0.303322 s]
/proc/loadavg: 3.98 4.57 4.54 2/184 14404
/proc/meminfo: memFree=19120048/36427776 swapFree=4388/7964
[pid=14404] ppid=14402 vsize=77072 CPUtime=1.62
/proc/14404/stat : 14404 (satake) S 14402 14404 27791 0 -1 4202496 16602 0 0 0 0 162 0 0 20 0 17 0 646235089 78921728 16556 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14404/statm: 19268 16561 63 164 0 19103 0
[pid=14404/tid=14405] ppid=14402 vsize=77072 CPUtime=0
/proc/14404/task/14405/stat : 14405 (satake) S 14402 14404 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646235090 78921728 16562 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14406] ppid=14402 vsize=77072 CPUtime=0.12
/proc/14404/task/14406/stat : 14406 (satake) S 14402 14404 27791 0 -1 4202560 1201 0 0 0 0 12 0 0 20 0 17 0 646235090 78921728 16563 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14407] ppid=14402 vsize=78288 CPUtime=0.06
/proc/14404/task/14407/stat : 14407 (satake) S 14402 14404 27791 0 -1 4202560 889 0 0 0 0 6 0 0 20 0 17 0 646235090 80166912 16563 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14408] ppid=14402 vsize=78288 CPUtime=0.14
/proc/14404/task/14408/stat : 14408 (satake) S 14402 14404 27791 0 -1 4202560 1222 0 0 0 0 14 0 0 20 0 17 0 646235090 80166912 16565 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14409] ppid=14402 vsize=78288 CPUtime=0.12
/proc/14404/task/14409/stat : 14409 (satake) S 14402 14404 27791 0 -1 4202560 1224 0 0 0 0 12 0 0 20 0 17 0 646235090 80166912 16565 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14404/tid=14410] ppid=14402 vsize=78288 CPUtime=0.1
/proc/14404/task/14410/stat : 14410 (satake) S 14402 14404 27791 0 -1 4202560 1225 0 0 0 0 10 0 0 20 0 17 0 646235090 80166912 16567 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14411] ppid=14402 vsize=78288 CPUtime=0.06
/proc/14404/task/14411/stat : 14411 (satake) R 14402 14404 27791 0 -1 4202560 885 0 0 0 0 6 0 0 20 0 17 0 646235090 80166912 16568 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134664766 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14412] ppid=14402 vsize=78288 CPUtime=0.1
/proc/14404/task/14412/stat : 14412 (satake) S 14402 14404 27791 0 -1 4202560 1204 0 0 0 0 10 0 0 20 0 17 0 646235090 80166912 16572 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14413] ppid=14402 vsize=78288 CPUtime=0.12
/proc/14404/task/14413/stat : 14413 (satake) S 14402 14404 27791 0 -1 4202560 1229 0 0 0 0 12 0 0 20 0 17 0 646235090 80166912 16573 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14404/tid=14414] ppid=14402 vsize=78288 CPUtime=0.1
/proc/14404/task/14414/stat : 14414 (satake) D 14402 14404 27791 0 -1 4202560 949 0 0 0 0 10 0 0 20 0 17 0 646235090 80166912 16577 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14404/tid=14415] ppid=14402 vsize=78288 CPUtime=0.1
/proc/14404/task/14415/stat : 14415 (satake) D 14402 14404 27791 0 -1 4202560 1099 0 0 0 0 10 0 0 20 0 17 0 646235090 80166912 16577 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14404/tid=14416] ppid=14402 vsize=78288 CPUtime=0.14
/proc/14404/task/14416/stat : 14416 (satake) S 14402 14404 27791 0 -1 4202560 1234 0 0 0 0 14 0 0 20 0 17 0 646235090 80166912 16581 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14404/tid=14417] ppid=14402 vsize=78288 CPUtime=0.1
/proc/14404/task/14417/stat : 14417 (satake) S 14402 14404 27791 0 -1 4202560 1188 0 0 0 0 10 0 0 20 0 17 0 646235090 80166912 16582 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14404/tid=14418] ppid=14402 vsize=78288 CPUtime=0.14
/proc/14404/task/14418/stat : 14418 (satake) S 14402 14404 27791 0 -1 4202560 1217 0 0 0 0 14 0 0 20 0 17 0 646235090 80166912 16582 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14404/tid=14419] ppid=14402 vsize=78288 CPUtime=0.06
/proc/14404/task/14419/stat : 14419 (satake) R 14402 14404 27791 0 -1 4202560 839 0 0 0 0 6 0 0 20 0 17 0 646235090 80166912 16582 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14420] ppid=14402 vsize=78288 CPUtime=0.08
/proc/14404/task/14420/stat : 14420 (satake) D 14402 14404 27791 0 -1 4202560 886 0 0 0 0 8 0 0 20 0 17 0 646235090 80166912 16583 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134673640 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 77072

[startup+0.702335 s]
/proc/loadavg: 3.98 4.57 4.54 2/184 14404
/proc/meminfo: memFree=19120048/36427776 swapFree=4388/7964
[pid=14404] ppid=14402 vsize=110780 CPUtime=4.27
/proc/14404/stat : 14404 (satake) S 14402 14404 27791 0 -1 4202496 24464 0 0 0 111 316 0 0 20 0 17 0 646235089 113438720 24418 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14404/statm: 27695 24419 63 164 0 27530 0
[pid=14404/tid=14405] ppid=14402 vsize=110780 CPUtime=0
/proc/14404/task/14405/stat : 14405 (satake) S 14402 14404 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646235090 113438720 24419 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14406] ppid=14402 vsize=110780 CPUtime=0.26
/proc/14404/task/14406/stat : 14406 (satake) R 14402 14404 27791 0 -1 4202560 1533 0 0 0 6 20 0 0 20 0 17 0 646235090 113438720 24422 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14407] ppid=14402 vsize=110780 CPUtime=0.22
/proc/14404/task/14407/stat : 14407 (satake) R 14402 14404 27791 0 -1 4202560 1580 0 0 0 4 18 0 0 20 0 17 0 646235090 113438720 24423 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14404/tid=14408] ppid=14402 vsize=110780 CPUtime=0.34
/proc/14404/task/14408/stat : 14408 (satake) S 14402 14404 27791 0 -1 4202560 1687 0 0 0 8 26 0 0 20 0 17 0 646235090 113438720 24423 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=14404/tid=14409] ppid=14402 vsize=110780 CPUtime=0.32
/proc/14404/task/14409/stat : 14409 (satake) S 14402 14404 27791 0 -1 4202560 1633 0 0 0 6 26 0 0 20 0 17 0 646235090 113438720 24426 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14404/tid=14410] ppid=14402 vsize=110780 CPUtime=0.24
/proc/14404/task/14410/stat : 14410 (satake) S 14402 14404 27791 0 -1 4202560 1492 0 0 0 6 18 0 0 20 0 17 0 646235090 113438720 24427 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14411] ppid=14402 vsize=110780 CPUtime=0.22
/proc/14404/task/14411/stat : 14411 (satake) R 14402 14404 27791 0 -1 4202560 1551 0 0 0 4 18 0 0 20 0 17 0 646235090 113438720 24427 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14404/tid=14412] ppid=14402 vsize=110780 CPUtime=0.3
/proc/14404/task/14412/stat : 14412 (satake) R 14402 14404 27791 0 -1 4202560 1607 0 0 0 8 22 0 0 20 0 17 0 646235090 113438720 24427 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14404/tid=14413] ppid=14402 vsize=110780 CPUtime=0.34
/proc/14404/task/14413/stat : 14413 (satake) R 14402 14404 27791 0 -1 4202560 1709 0 0 0 12 22 0 0 20 0 17 0 646235090 113438720 24427 18446744073709551615 134512640 135180984 4293754304 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14404/tid=14414] ppid=14402 vsize=110780 CPUtime=0.24

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

deleting IPC queue 254214222
deleting IPC queue 254246991
deleting IPC queue 254279760
deleting IPC queue 254312529
deleting IPC queue 254345298
deleting IPC queue 254378067
deleting IPC queue 254410836
deleting IPC queue 254443605
deleting IPC queue 254476374
deleting IPC queue 254509143
deleting IPC queue 254541912
deleting IPC queue 254574681
deleting IPC queue 254607450
deleting IPC queue 254640219
deleting IPC queue 254672988
deleting IPC queue 254705757
deleting IPC queue 254738526
deleting IPC queue 254771295
deleting IPC queue 254804064
deleting IPC queue 254836833
deleting IPC queue 254869602
deleting IPC queue 254902371
deleting IPC queue 254935140
deleting IPC queue 254967909
deleting IPC queue 255000678
deleting IPC queue 255033447
deleting IPC queue 255066216
deleting IPC queue 255098985
deleting IPC queue 255131754
deleting IPC queue 255164523
deleting IPC queue 255197292
deleting IPC queue 255230061
deleting IPC queue 255262830
deleting IPC queue 255295599
deleting IPC queue 255328368
deleting IPC queue 255361137
deleting IPC queue 255393906
deleting IPC queue 255426675
deleting IPC queue 255459444
deleting IPC queue 255492213
deleting IPC queue 255524982
deleting IPC queue 255557751
deleting IPC queue 255590520
deleting IPC queue 255623289
deleting IPC queue 255656058
deleting IPC queue 255688827
deleting IPC queue 255721596
deleting IPC queue 255754365
deleting IPC queue 255787134
deleting IPC queue 255819903
deleting IPC queue 255852672
deleting IPC queue 255885441
deleting IPC queue 255918210
deleting IPC queue 255950979
deleting IPC queue 255983748
deleting IPC queue 256016517
deleting IPC queue 256049286
deleting IPC queue 256082055
deleting IPC queue 256114824
deleting IPC queue 256147593
deleting IPC queue 256180362
deleting IPC queue 256213131
deleting IPC queue 256245900
deleting IPC queue 256278669
deleting IPC queue 256311438
deleting IPC queue 256344207
deleting IPC queue 256376976
deleting IPC queue 256409745
deleting IPC queue 256442514
deleting IPC queue 256475283
deleting IPC queue 256508052
deleting IPC queue 256540821
deleting IPC queue 256573590
deleting IPC queue 256606359
deleting IPC queue 256639128
deleting IPC queue 256671897
deleting IPC queue 256704666
deleting IPC queue 256737435
deleting IPC queue 256770204
deleting IPC queue 256802973
deleting IPC queue 256835742
deleting IPC queue 256868511
deleting IPC queue 256901280
deleting IPC queue 256934049
deleting IPC queue 256966818
deleting IPC queue 256999587
deleting IPC queue 257032356
deleting IPC queue 257065125
deleting IPC queue 257097894
deleting IPC queue 257130663
deleting IPC queue 257163432
deleting IPC queue 257196201
deleting IPC queue 257228970
deleting IPC queue 257261739
deleting IPC queue 257294508
deleting IPC queue 257327277
deleting IPC queue 257360046
deleting IPC queue 257392815
deleting IPC queue 257425584
deleting IPC queue 257458353
deleting IPC queue 257491122
deleting IPC queue 257523891
deleting IPC queue 257556660
deleting IPC queue 257589429
deleting IPC queue 257622198
deleting IPC queue 257654967
deleting IPC queue 257687736
deleting IPC queue 257720505
deleting IPC queue 257753274
deleting IPC queue 257786043
deleting IPC queue 257818812
deleting IPC queue 257851581
deleting IPC queue 257884350
deleting IPC queue 257917119
deleting IPC queue 257949888
deleting IPC queue 257982657
deleting IPC queue 258015426
deleting IPC queue 258048195
deleting IPC queue 258080964
deleting IPC queue 258113733
deleting IPC queue 258146502
deleting IPC queue 258179271
deleting IPC queue 258212040
deleting IPC queue 258244809
deleting IPC queue 258277578
deleting IPC queue 258310347
deleting IPC queue 258343116
deleting IPC queue 258375885
deleting IPC queue 258408654
deleting IPC queue 258441423
deleting IPC queue 258474192
deleting IPC queue 258506961
deleting IPC queue 258539730
deleting IPC queue 258572499
deleting IPC queue 258605268
deleting IPC queue 258638037
deleting IPC queue 258670806
deleting IPC queue 258703575
deleting IPC queue 258736344
deleting IPC queue 258769113
deleting IPC queue 258801882
deleting IPC queue 258834651
deleting IPC queue 258867420
deleting IPC queue 258900189
deleting IPC queue 258932958
deleting IPC queue 258965727
deleting IPC queue 258998496
deleting IPC queue 259031265
deleting IPC queue 259064034
deleting IPC queue 259096803
deleting IPC queue 259129572
deleting IPC queue 259162341
deleting IPC queue 259195110
deleting IPC queue 259227879
deleting IPC queue 259260648
deleting IPC queue 259293417
deleting IPC queue 259326186
deleting IPC queue 259358955
deleting IPC queue 259391724
deleting IPC queue 259424493
deleting IPC queue 259457262
deleting IPC queue 259490031
deleting IPC queue 259522800
deleting IPC queue 259555569
deleting IPC queue 259588338
deleting IPC queue 259621107
deleting IPC queue 259653876
deleting IPC queue 259686645
deleting IPC queue 259719414
deleting IPC queue 259752183
deleting IPC queue 259784952
deleting IPC queue 259817721
deleting IPC queue 259850490
deleting IPC queue 259883259
deleting IPC queue 259916028
deleting IPC queue 259948797
deleting IPC queue 259981566
deleting IPC queue 260014335

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2627.58
system time used= 594.241
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198003
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= 54602312
involuntary context switches= 8740301

runsolver used 4.50428 second user time and 11.6967 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 07:01:27
IDJOB=1781502
IDBENCH=71764
IDSOLVER=631
FILE ID=xenhost3-49/1781502-1244869287
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/simon-s02b-k2f-gr-rcs-w8.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781502-1244869287/watcher-1781502-1244869287 -o /tmp/evaluation-result-1781502-1244869287/solver-1781502-1244869287 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781502-1244869287.cnf 16 10000

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

MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED= 1330231803

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:      19120048 kB
Buffers:        435996 kB
Cached:       14116924 kB
SwapCached:          0 kB
Active:        4081112 kB
Inactive:     10480352 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4020 kB
Writeback:           0 kB
AnonPages:        7964 kB
Mapped:           3724 kB
Slab:           689696 kB
SReclaimable:   662836 kB
SUnreclaim:      26860 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-13 07:18:09