Trace number 1775952

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) 9376.07 1000.23

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
MD5SUMb3381a58cbbd64d5d90a3b4fcd44bf6d
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 variables338487
Number of clauses1187589
Sum of the clauses size2886289
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2849854
Number of clauses of size 3326098
Number of clauses of size 4798
Number of clauses of size 5544
Number of clauses of size over 510039

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-1775952-1244730370/watcher-1775952-1244730370 -o /tmp/evaluation-result-1775952-1244730370/solver-1775952-1244730370 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775952-1244730370.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.34 3.38 3.58 2/184 29957
/proc/meminfo: memFree=19123680/36427776 swapFree=4092/7820
[pid=29957] ppid=29955 vsize=7020 CPUtime=0
/proc/29957/stat : 29957 (satake) S 29955 29957 27791 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 17 0 632343465 7188480 386 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/29957/statm: 1755 387 63 164 0 1590 0
[pid=29957/tid=29958] ppid=29955 vsize=7020 CPUtime=0
/proc/29957/task/29958/stat : 29958 (satake) S 29955 29957 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632343465 7188480 393 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29959] ppid=29955 vsize=7020 CPUtime=0
/proc/29957/task/29959/stat : 29959 (satake) D 29955 29957 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 632343465 7188480 393 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29955 vsize=7020 CPUtime=0
/proc/29957/task/29960/stat : 29960 (satake) S 29955 29957 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 632343465 7188480 396 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29961] ppid=29955 vsize=7020 CPUtime=0
/proc/29957/task/29961/stat : 29961 (satake) R 29955 29957 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 632343465 7188480 396 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29957/tid=29962] ppid=29955 vsize=7280 CPUtime=0
/proc/29957/task/29962/stat : 29962 (satake) D 29955 29957 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 632343465 7454720 396 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29963] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29963/stat : 29963 (satake) S 29955 29957 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632343465 7323648 396 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29964] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29964/stat : 29964 (satake) D 29955 29957 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 632343465 7323648 401 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29965] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29965/stat : 29965 (satake) S 29955 29957 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632343465 7323648 403 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=29957/tid=29966] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29966/stat : 29966 (satake) S 29955 29957 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632343465 7323648 403 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29967/stat : 29967 (satake) R 29955 29957 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632343466 7323648 403 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29968] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29968/stat : 29968 (satake) R 29955 29957 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632343466 7323648 404 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29957/tid=29969] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29969/stat : 29969 (satake) R 29955 29957 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 632343466 7323648 405 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29970] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29970/stat : 29970 (satake) R 29955 29957 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632343466 7323648 405 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29971] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29971/stat : 29971 (satake) D 29955 29957 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 632343466 7323648 406 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29957/tid=29972] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29972/stat : 29972 (satake) R 29955 29957 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 632343466 7323648 406 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29973] ppid=29955 vsize=7152 CPUtime=0
/proc/29957/task/29973/stat : 29973 (satake) R 29955 29957 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 632343466 7323648 406 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

[startup+0.083352 s]
/proc/loadavg: 3.34 3.38 3.58 2/184 29957
/proc/meminfo: memFree=19123680/36427776 swapFree=4092/7820
[pid=29957] ppid=29955 vsize=54808 CPUtime=0.54
/proc/29957/stat : 29957 (satake) S 29955 29957 27791 0 -1 4202496 9131 0 0 0 1 53 0 0 20 0 17 0 632343465 56123392 9087 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/29957/statm: 13958 9087 63 164 0 13793 0
[pid=29957/tid=29958] ppid=29955 vsize=55832 CPUtime=0
/proc/29957/task/29958/stat : 29958 (satake) S 29955 29957 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632343465 57171968 9089 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29959] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29959/stat : 29959 (satake) R 29955 29957 27791 0 -1 4202560 703 0 0 0 0 4 0 0 20 0 17 0 632343465 57171968 9093 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29955 vsize=55832 CPUtime=0
/proc/29957/task/29960/stat : 29960 (satake) D 29955 29957 27791 0 -1 4202560 167 0 0 0 0 0 0 0 20 0 17 0 632343465 57171968 9095 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29961] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29961/stat : 29961 (satake) R 29955 29957 27791 0 -1 4202560 800 0 0 0 0 4 0 0 20 0 17 0 632343465 57171968 9096 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29957/tid=29962] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29962/stat : 29962 (satake) R 29955 29957 27791 0 -1 4202560 861 0 0 0 0 4 0 0 20 0 17 0 632343465 57171968 9096 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29963] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29963/stat : 29963 (satake) R 29955 29957 27791 0 -1 4202560 725 0 0 0 0 4 0 0 20 0 17 0 632343465 57171968 9097 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29964] ppid=29955 vsize=55832 CPUtime=0
/proc/29957/task/29964/stat : 29964 (satake) R 29955 29957 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 632343465 57171968 9097 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29965] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29965/stat : 29965 (satake) R 29955 29957 27791 0 -1 4202560 969 0 0 0 0 4 0 0 20 0 17 0 632343465 57171968 9097 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29957/tid=29966] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29966/stat : 29966 (satake) R 29955 29957 27791 0 -1 4202560 796 0 0 0 0 4 0 0 20 0 17 0 632343465 57171968 9097 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29967/stat : 29967 (satake) R 29955 29957 27791 0 -1 4202560 560 0 0 0 0 4 0 0 20 0 17 0 632343466 57171968 9097 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29968] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29968/stat : 29968 (satake) R 29955 29957 27791 0 -1 4202560 775 0 0 0 0 4 0 0 20 0 17 0 632343466 57171968 9097 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29957/tid=29969] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29969/stat : 29969 (satake) R 29955 29957 27791 0 -1 4202560 689 0 0 0 0 4 0 0 20 0 17 0 632343466 57171968 9098 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29957/tid=29970] ppid=29955 vsize=55832 CPUtime=0
/proc/29957/task/29970/stat : 29970 (satake) R 29955 29957 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 632343466 57171968 9100 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29971] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29971/stat : 29971 (satake) R 29955 29957 27791 0 -1 4202560 688 0 0 0 0 4 0 0 20 0 17 0 632343466 57171968 9106 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29957/tid=29972] ppid=29955 vsize=55832 CPUtime=0
/proc/29957/task/29972/stat : 29972 (satake) R 29955 29957 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 17 0 632343466 57171968 9107 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29973] ppid=29955 vsize=55832 CPUtime=0.04
/proc/29957/task/29973/stat : 29973 (satake) R 29955 29957 27791 0 -1 4202560 730 0 0 0 0 4 0 0 20 0 17 0 632343466 57171968 9107 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 54808

[startup+0.106893 s]
/proc/loadavg: 3.34 3.38 3.58 2/184 29957
/proc/meminfo: memFree=19123680/36427776 swapFree=4092/7820
[pid=29957] ppid=29955 vsize=85272 CPUtime=0.75
/proc/29957/stat : 29957 (satake) S 29955 29957 27791 0 -1 4202496 13098 0 0 0 2 73 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/29957/statm: 21318 13054 63 164 0 21153 0
[pid=29957/tid=29958] ppid=29955 vsize=85272 CPUtime=0
/proc/29957/task/29958/stat : 29958 (satake) S 29955 29957 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29959] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29959/stat : 29959 (satake) D 29955 29957 27791 0 -1 4202560 1117 0 0 0 0 6 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29955 vsize=85272 CPUtime=0
/proc/29957/task/29960/stat : 29960 (satake) D 29955 29957 27791 0 -1 4202560 177 0 0 0 0 0 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29961] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29961/stat : 29961 (satake) D 29955 29957 27791 0 -1 4202560 1098 0 0 0 0 6 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29957/tid=29962] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29962/stat : 29962 (satake) D 29955 29957 27791 0 -1 4202560 1324 0 0 0 0 6 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29963] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29963/stat : 29963 (satake) D 29955 29957 27791 0 -1 4202560 858 0 0 0 0 6 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29964] ppid=29955 vsize=85272 CPUtime=0
/proc/29957/task/29964/stat : 29964 (satake) D 29955 29957 27791 0 -1 4202560 219 0 0 0 0 0 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29965] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29965/stat : 29965 (satake) D 29955 29957 27791 0 -1 4202560 1418 0 0 0 0 6 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29957/tid=29966] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29966/stat : 29966 (satake) D 29955 29957 27791 0 -1 4202560 1126 0 0 0 0 6 0 0 20 0 17 0 632343465 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29955 vsize=85272 CPUtime=0.04
/proc/29957/task/29967/stat : 29967 (satake) D 29955 29957 27791 0 -1 4202560 862 0 0 0 0 4 0 0 20 0 17 0 632343466 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29968] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29968/stat : 29968 (satake) D 29955 29957 27791 0 -1 4202560 1114 0 0 0 0 6 0 0 20 0 17 0 632343466 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29957/tid=29969] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29969/stat : 29969 (satake) R 29955 29957 27791 0 -1 4202560 1043 0 0 0 0 6 0 0 20 0 17 0 632343466 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29957/tid=29970] ppid=29955 vsize=85272 CPUtime=0
/proc/29957/task/29970/stat : 29970 (satake) D 29955 29957 27791 0 -1 4202560 283 0 0 0 0 0 0 0 20 0 17 0 632343466 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29971] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29971/stat : 29971 (satake) D 29955 29957 27791 0 -1 4202560 985 0 0 0 0 6 0 0 20 0 17 0 632343466 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29957/tid=29972] ppid=29955 vsize=85272 CPUtime=0
/proc/29957/task/29972/stat : 29972 (satake) D 29955 29957 27791 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 17 0 632343466 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29973] ppid=29955 vsize=85272 CPUtime=0.06
/proc/29957/task/29973/stat : 29973 (satake) D 29955 29957 27791 0 -1 4202560 1101 0 0 0 0 6 0 0 20 0 17 0 632343466 87318528 13054 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 85272

[startup+0.304961 s]
/proc/loadavg: 3.34 3.38 3.58 2/184 29957
/proc/meminfo: memFree=19123680/36427776 swapFree=4092/7820
[pid=29957] ppid=29955 vsize=339928 CPUtime=2.55
/proc/29957/stat : 29957 (satake) S 29955 29957 27791 0 -1 4202496 55038 0 0 0 2 253 0 0 20 0 17 0 632343465 348086272 54997 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/29957/statm: 85045 55012 63 164 0 84880 0
[pid=29957/tid=29958] ppid=29955 vsize=340180 CPUtime=0
/proc/29957/task/29958/stat : 29958 (satake) S 29955 29957 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632343465 348344320 55012 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29959] ppid=29955 vsize=340180 CPUtime=0.14
/proc/29957/task/29959/stat : 29959 (satake) D 29955 29957 27791 0 -1 4202560 3345 0 0 0 0 14 0 0 20 0 17 0 632343465 348344320 55014 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29955 vsize=340180 CPUtime=0.1
/proc/29957/task/29960/stat : 29960 (satake) R 29955 29957 27791 0 -1 4202560 2586 0 0 0 0 10 0 0 20 0 17 0 632343465 348344320 55015 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29961] ppid=29955 vsize=340180 CPUtime=0.22
/proc/29957/task/29961/stat : 29961 (satake) R 29955 29957 27791 0 -1 4202560 4448 0 0 0 0 22 0 0 20 0 17 0 632343465 348344320 55017 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29957/tid=29962] ppid=29955 vsize=340180 CPUtime=0.14
/proc/29957/task/29962/stat : 29962 (satake) R 29955 29957 27791 0 -1 4202560 3058 0 0 0 0 14 0 0 20 0 17 0 632343465 348344320 55017 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29963] ppid=29955 vsize=340180 CPUtime=0.14
/proc/29957/task/29963/stat : 29963 (satake) R 29955 29957 27791 0 -1 4202560 2460 0 0 0 0 14 0 0 20 0 17 0 632343465 348344320 55020 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29964] ppid=29955 vsize=340180 CPUtime=0.1
/proc/29957/task/29964/stat : 29964 (satake) R 29955 29957 27791 0 -1 4202560 2865 0 0 0 0 10 0 0 20 0 17 0 632343465 348344320 55020 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29965] ppid=29955 vsize=340180 CPUtime=0.22
/proc/29957/task/29965/stat : 29965 (satake) R 29955 29957 27791 0 -1 4202560 5553 0 0 0 0 22 0 0 20 0 17 0 632343465 348344320 55024 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29957/tid=29966] ppid=29955 vsize=340180 CPUtime=0.22
/proc/29957/task/29966/stat : 29966 (satake) R 29955 29957 27791 0 -1 4202560 4498 0 0 0 0 22 0 0 20 0 17 0 632343465 348344320 55027 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29955 vsize=340180 CPUtime=0.14
/proc/29957/task/29967/stat : 29967 (satake) R 29955 29957 27791 0 -1 4202560 2631 0 0 0 0 14 0 0 20 0 17 0 632343466 348344320 55028 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29968] ppid=29955 vsize=340180 CPUtime=0.22
/proc/29957/task/29968/stat : 29968 (satake) R 29955 29957 27791 0 -1 4202560 4962 0 0 0 0 22 0 0 20 0 17 0 632343466 348344320 55030 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29957/tid=29969] ppid=29955 vsize=340180 CPUtime=0.22
/proc/29957/task/29969/stat : 29969 (satake) R 29955 29957 27791 0 -1 4202560 4950 0 0 0 0 22 0 0 20 0 17 0 632343466 348344320 55030 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29957/tid=29970] ppid=29955 vsize=340180 CPUtime=0.08
/proc/29957/task/29970/stat : 29970 (satake) R 29955 29957 27791 0 -1 4202560 1844 0 0 0 0 8 0 0 20 0 17 0 632343466 348344320 55049 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29971] ppid=29955 vsize=340180 CPUtime=0.22
/proc/29957/task/29971/stat : 29971 (satake) R 29955 29957 27791 0 -1 4202560 4787 0 0 0 0 22 0 0 20 0 17 0 632343466 348344320 55068 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29957/tid=29972] ppid=29955 vsize=340180 CPUtime=0.1
/proc/29957/task/29972/stat : 29972 (satake) R 29955 29957 27791 0 -1 4202560 1953 0 0 0 0 10 0 0 20 0 17 0 632343466 348344320 55089 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29973] ppid=29955 vsize=340180 CPUtime=0.22
/proc/29957/task/29973/stat : 29973 (satake) R 29955 29957 27791 0 -1 4202560 5006 0 0 0 0 22 0 0 20 0 17 0 632343466 348344320 55110 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 339928

[startup+0.706011 s]
/proc/loadavg: 3.34 3.38 3.58 2/184 29957
/proc/meminfo: memFree=19123680/36427776 swapFree=4092/7820
[pid=29957] ppid=29955 vsize=417084 CPUtime=4.88
/proc/29957/stat : 29957 (satake) S 29955 29957 27791 0 -1 4202496 82780 0 0 0 15 473 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/29957/statm: 104271 82736 63 164 0 104106 0
[pid=29957/tid=29958] ppid=29955 vsize=417084 CPUtime=0
/proc/29957/task/29958/stat : 29958 (satake) S 29955 29957 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29959] ppid=29955 vsize=417084 CPUtime=0.26
/proc/29957/task/29959/stat : 29959 (satake) S 29955 29957 27791 0 -1 4202560 5522 0 0 0 0 26 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29955 vsize=417084 CPUtime=0.22
/proc/29957/task/29960/stat : 29960 (satake) D 29955 29957 27791 0 -1 4202560 5226 0 0 0 0 22 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29961] ppid=29955 vsize=417084 CPUtime=0.4
/proc/29957/task/29961/stat : 29961 (satake) D 29955 29957 27791 0 -1 4202560 5838 0 0 0 2 38 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29957/tid=29962] ppid=29955 vsize=417084 CPUtime=0.26
/proc/29957/task/29962/stat : 29962 (satake) S 29955 29957 27791 0 -1 4202560 5470 0 0 0 0 26 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29963] ppid=29955 vsize=417084 CPUtime=0.26
/proc/29957/task/29963/stat : 29963 (satake) D 29955 29957 27791 0 -1 4202560 5126 0 0 0 0 26 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29964] ppid=29955 vsize=417084 CPUtime=0.22
/proc/29957/task/29964/stat : 29964 (satake) D 29955 29957 27791 0 -1 4202560 5353 0 0 0 0 22 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29957/tid=29965] ppid=29955 vsize=417084 CPUtime=0.44
/proc/29957/task/29965/stat : 29965 (satake) D 29955 29957 27791 0 -1 4202560 6575 0 0 0 4 40 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29957/tid=29966] ppid=29955 vsize=417084 CPUtime=0.4
/proc/29957/task/29966/stat : 29966 (satake) S 29955 29957 27791 0 -1 4202560 5798 0 0 0 0 40 0 0 20 0 17 0 632343465 427094016 82736 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29955 vsize=417084 CPUtime=0.26

################
# 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= 8933.89
system time used= 442.184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455983
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= 39679091
involuntary context switches= 436343

runsolver used 4.71229 second user time and 14.2009 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 16:26:10
IDJOB=1775952
IDBENCH=20405
IDSOLVER=631
FILE ID=xenhost3-49/1775952-1244730370
PBS_JOBID=
Free space on /tmp= 7020 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775952-1244730370/watcher-1775952-1244730370 -o /tmp/evaluation-result-1775952-1244730370/solver-1775952-1244730370 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775952-1244730370.cnf 16 10000

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

MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 801641548

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:      19123680 kB
Buffers:        432128 kB
Cached:       14121428 kB
SwapCached:          0 kB
Active:        4076484 kB
Inactive:     10484628 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           22364 kB
Writeback:           0 kB
AnonPages:        7820 kB
Mapped:           4092 kB
Slab:           688064 kB
SReclaimable:   661164 kB
SUnreclaim:      26900 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29972 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7019 MiB
End job on xenhost3-49 at 2009-06-11 16:42:53