Trace number 1780527

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (MO) 6715.09 643.124

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-15-10p1.cnf
MD5SUM4f02dda0c6b1f76f43bce732093e4f1f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2938.6
Satisfiable
(Un)Satisfiability was proved
Number of variables268258
Number of clauses1155731
Sum of the clauses size2704052
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2895523
Number of clauses of size 3198999
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

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-1780527-1244831087/watcher-1780527-1244831087 -o /tmp/evaluation-result-1780527-1244831087/solver-1780527-1244831087 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780527-1244831087.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: 13.91 12.67 11.07 2/184 10061
/proc/meminfo: memFree=19109640/36427776 swapFree=4304/7912
[pid=10061] ppid=10059 vsize=9124 CPUtime=0
/proc/10061/stat : 10061 (satake) D 10059 10061 27791 0 -1 4202496 483 0 0 0 0 0 0 0 20 0 16 0 642415119 9342976 440 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134702225 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10061/statm: 2281 440 63 164 0 2116 0
[pid=10061/tid=10062] ppid=10059 vsize=8628 CPUtime=0
/proc/10061/task/10062/stat : 10062 (satake) S 10059 10061 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642415119 8835072 499 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10063] ppid=10059 vsize=8628 CPUtime=0
/proc/10061/task/10063/stat : 10063 (satake) D 10059 10061 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 17 0 642415119 8835072 500 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10064] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10064/stat : 10064 (satake) R 10059 10061 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 503 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10065] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10065/stat : 10065 (satake) S 10059 10061 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 506 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10066] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10066/stat : 10066 (satake) R 10059 10061 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 507 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10061/tid=10067] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10067/stat : 10067 (satake) R 10059 10061 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 507 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10068] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10068/stat : 10068 (satake) R 10059 10061 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 511 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10069] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10069/stat : 10069 (satake) S 10059 10061 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 513 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10070] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10070/stat : 10070 (satake) R 10059 10061 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 513 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10061/tid=10071] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10071/stat : 10071 (satake) S 10059 10061 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 513 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10072] ppid=10059 vsize=8760 CPUtime=0
/proc/10061/task/10072/stat : 10072 (satake) S 10059 10061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642415119 8970240 514 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10073] ppid=10059 vsize=8764 CPUtime=0
/proc/10061/task/10073/stat : 10073 (satake) D 10059 10061 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 642415119 8974336 514 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10074] ppid=10059 vsize=8764 CPUtime=0
/proc/10061/task/10074/stat : 10074 (satake) D 10059 10061 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642415120 8974336 517 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10061/tid=10075] ppid=10059 vsize=8764 CPUtime=0
/proc/10061/task/10075/stat : 10075 (satake) R 10059 10061 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642415120 8974336 521 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10076] ppid=10059 vsize=8764 CPUtime=0
/proc/10061/task/10076/stat : 10076 (satake) R 10059 10061 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642415120 8974336 521 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10077] ppid=10059 vsize=8764 CPUtime=0
/proc/10061/task/10077/stat : 10077 (satake) R 10059 10061 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 642415120 8974336 521 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.092578 s]
/proc/loadavg: 13.91 12.67 11.07 2/184 10061
/proc/meminfo: memFree=19109640/36427776 swapFree=4304/7912
[pid=10061] ppid=10059 vsize=73496 CPUtime=0.52
/proc/10061/stat : 10061 (satake) S 10059 10061 27791 0 -1 4202496 11795 0 0 0 0 52 0 0 20 0 17 0 642415119 75259904 11736 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10061/statm: 19398 11745 63 164 0 19233 0
[pid=10061/tid=10062] ppid=10059 vsize=77592 CPUtime=0
/proc/10061/task/10062/stat : 10062 (satake) S 10059 10061 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642415119 79454208 11745 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10063] ppid=10059 vsize=77592 CPUtime=0.02
/proc/10061/task/10063/stat : 10063 (satake) R 10059 10061 27791 0 -1 4202560 518 0 0 0 0 2 0 0 20 0 17 0 642415119 79454208 11745 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10064] ppid=10059 vsize=77592 CPUtime=0.06
/proc/10061/task/10064/stat : 10064 (satake) R 10059 10061 27791 0 -1 4202560 1126 0 0 0 0 6 0 0 20 0 17 0 642415119 79454208 11751 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10065] ppid=10059 vsize=77592 CPUtime=0.04
/proc/10061/task/10065/stat : 10065 (satake) R 10059 10061 27791 0 -1 4202560 1077 0 0 0 0 4 0 0 20 0 17 0 642415119 79454208 11752 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10066] ppid=10059 vsize=77592 CPUtime=0.06
/proc/10061/task/10066/stat : 10066 (satake) R 10059 10061 27791 0 -1 4202560 1311 0 0 0 0 6 0 0 20 0 17 0 642415119 79454208 11752 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10061/tid=10067] ppid=10059 vsize=77592 CPUtime=0
/proc/10061/task/10067/stat : 10067 (satake) R 10059 10061 27791 0 -1 4202560 404 0 0 0 0 0 0 0 20 0 17 0 642415119 79454208 11752 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10061/tid=10068] ppid=10059 vsize=77592 CPUtime=0.04
/proc/10061/task/10068/stat : 10068 (satake) R 10059 10061 27791 0 -1 4202560 800 0 0 0 0 4 0 0 20 0 17 0 642415119 79454208 11752 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10069] ppid=10059 vsize=77592 CPUtime=0
/proc/10061/task/10069/stat : 10069 (satake) R 10059 10061 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 17 0 642415119 79454208 11754 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10070] ppid=10059 vsize=77592 CPUtime=0.06
/proc/10061/task/10070/stat : 10070 (satake) R 10059 10061 27791 0 -1 4202560 1021 0 0 0 0 6 0 0 20 0 17 0 642415119 79454208 11757 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10061/tid=10071] ppid=10059 vsize=77592 CPUtime=0.04
/proc/10061/task/10071/stat : 10071 (satake) R 10059 10061 27791 0 -1 4202560 802 0 0 0 0 4 0 0 20 0 17 0 642415119 79454208 11761 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10061/tid=10072] ppid=10059 vsize=77592 CPUtime=0.04
/proc/10061/task/10072/stat : 10072 (satake) R 10059 10061 27791 0 -1 4202560 952 0 0 0 0 4 0 0 20 0 17 0 642415119 79454208 11786 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10073] ppid=10059 vsize=77592 CPUtime=0.02
/proc/10061/task/10073/stat : 10073 (satake) R 10059 10061 27791 0 -1 4202560 647 0 0 0 0 2 0 0 20 0 17 0 642415119 79454208 11810 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10074] ppid=10059 vsize=77592 CPUtime=0.04
/proc/10061/task/10074/stat : 10074 (satake) R 10059 10061 27791 0 -1 4202560 1131 0 0 0 0 4 0 0 20 0 17 0 642415120 79454208 11845 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10061/tid=10075] ppid=10059 vsize=77592 CPUtime=0
/proc/10061/task/10075/stat : 10075 (satake) R 10059 10061 27791 0 -1 4202560 370 0 0 0 0 0 0 0 20 0 17 0 642415120 79454208 11872 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10076] ppid=10059 vsize=77592 CPUtime=0
/proc/10061/task/10076/stat : 10076 (satake) R 10059 10061 27791 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 17 0 642415120 79454208 11896 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10077] ppid=10059 vsize=77592 CPUtime=0.04
/proc/10061/task/10077/stat : 10077 (satake) R 10059 10061 27791 0 -1 4202560 1175 0 0 0 0 4 0 0 20 0 17 0 642415120 79454208 11921 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 73496

[startup+0.104515 s]
/proc/loadavg: 13.91 12.67 11.07 2/184 10061
/proc/meminfo: memFree=19109640/36427776 swapFree=4304/7912
[pid=10061] ppid=10059 vsize=87832 CPUtime=0.6
/proc/10061/stat : 10061 (satake) S 10059 10061 27791 0 -1 4202496 14608 0 0 0 0 60 0 0 20 0 17 0 642415119 89939968 14555 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10061/statm: 21958 14594 63 164 0 21793 0
[pid=10061/tid=10062] ppid=10059 vsize=87832 CPUtime=0
/proc/10061/task/10062/stat : 10062 (satake) S 10059 10061 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642415119 89939968 14610 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10063] ppid=10059 vsize=87832 CPUtime=0.04
/proc/10061/task/10063/stat : 10063 (satake) R 10059 10061 27791 0 -1 4202560 782 0 0 0 0 4 0 0 20 0 17 0 642415119 89939968 14629 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10064] ppid=10059 vsize=87832 CPUtime=0.06
/proc/10061/task/10064/stat : 10064 (satake) R 10059 10061 27791 0 -1 4202560 1425 0 0 0 0 6 0 0 20 0 17 0 642415119 89939968 14653 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10065] ppid=10059 vsize=87832 CPUtime=0.06
/proc/10061/task/10065/stat : 10065 (satake) R 10059 10061 27791 0 -1 4202560 1351 0 0 0 0 6 0 0 20 0 17 0 642415119 89939968 14672 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10066] ppid=10059 vsize=87832 CPUtime=0.06
/proc/10061/task/10066/stat : 10066 (satake) R 10059 10061 27791 0 -1 4202560 1662 0 0 0 0 6 0 0 20 0 17 0 642415119 89939968 14691 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10061/tid=10067] ppid=10059 vsize=87832 CPUtime=0.02
/proc/10061/task/10067/stat : 10067 (satake) R 10059 10061 27791 0 -1 4202560 481 0 0 0 0 2 0 0 20 0 17 0 642415119 89939968 14712 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10061/tid=10068] ppid=10059 vsize=87832 CPUtime=0.04
/proc/10061/task/10068/stat : 10068 (satake) R 10059 10061 27791 0 -1 4202560 803 0 0 0 0 4 0 0 20 0 17 0 642415119 89939968 14736 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10069] ppid=10059 vsize=87832 CPUtime=0
/proc/10061/task/10069/stat : 10069 (satake) R 10059 10061 27791 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 17 0 642415119 89939968 14739 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10070] ppid=10059 vsize=87832 CPUtime=0.06
/proc/10061/task/10070/stat : 10070 (satake) D 10059 10061 27791 0 -1 4202560 1269 0 0 0 0 6 0 0 20 0 17 0 642415119 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10061/tid=10071] ppid=10059 vsize=87832 CPUtime=0.04
/proc/10061/task/10071/stat : 10071 (satake) D 10059 10061 27791 0 -1 4202560 1036 0 0 0 0 4 0 0 20 0 17 0 642415119 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10061/tid=10072] ppid=10059 vsize=87832 CPUtime=0.04
/proc/10061/task/10072/stat : 10072 (satake) D 10059 10061 27791 0 -1 4202560 1303 0 0 0 0 4 0 0 20 0 17 0 642415119 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10073] ppid=10059 vsize=87832 CPUtime=0.02
/proc/10061/task/10073/stat : 10073 (satake) D 10059 10061 27791 0 -1 4202560 651 0 0 0 0 2 0 0 20 0 17 0 642415119 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10074] ppid=10059 vsize=87832 CPUtime=0.06
/proc/10061/task/10074/stat : 10074 (satake) D 10059 10061 27791 0 -1 4202560 1403 0 0 0 0 6 0 0 20 0 17 0 642415120 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10061/tid=10075] ppid=10059 vsize=87832 CPUtime=0
/proc/10061/task/10075/stat : 10075 (satake) D 10059 10061 27791 0 -1 4202560 374 0 0 0 0 0 0 0 20 0 17 0 642415120 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10076] ppid=10059 vsize=87832 CPUtime=0.02
/proc/10061/task/10076/stat : 10076 (satake) R 10059 10061 27791 0 -1 4202560 530 0 0 0 0 2 0 0 20 0 17 0 642415120 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10077] ppid=10059 vsize=87832 CPUtime=0.06
/proc/10061/task/10077/stat : 10077 (satake) D 10059 10061 27791 0 -1 4202560 1471 0 0 0 0 6 0 0 20 0 17 0 642415120 89939968 14740 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 87832

[startup+0.304561 s]
/proc/loadavg: 13.91 12.67 11.07 2/184 10061
/proc/meminfo: memFree=19109640/36427776 swapFree=4304/7912
[pid=10061] ppid=10059 vsize=290148 CPUtime=2.25
/proc/10061/stat : 10061 (satake) S 10059 10061 27791 0 -1 4202496 51481 0 0 0 0 225 0 0 20 0 17 0 642415119 297111552 51422 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10061/statm: 72537 51424 63 164 0 72372 0
[pid=10061/tid=10062] ppid=10059 vsize=290148 CPUtime=0
/proc/10061/task/10062/stat : 10062 (satake) S 10059 10061 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642415119 297111552 51424 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10063] ppid=10059 vsize=290148 CPUtime=0.12
/proc/10061/task/10063/stat : 10063 (satake) R 10059 10061 27791 0 -1 4202560 2669 0 0 0 0 12 0 0 20 0 17 0 642415119 297111552 51424 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10064] ppid=10059 vsize=290148 CPUtime=0.12
/proc/10061/task/10064/stat : 10064 (satake) R 10059 10061 27791 0 -1 4202560 2905 0 0 0 0 12 0 0 20 0 17 0 642415119 297111552 51424 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10065] ppid=10059 vsize=290148 CPUtime=0.22
/proc/10061/task/10065/stat : 10065 (satake) R 10059 10061 27791 0 -1 4202560 5499 0 0 0 0 22 0 0 20 0 17 0 642415119 297111552 51424 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10066] ppid=10059 vsize=290148 CPUtime=0.22
/proc/10061/task/10066/stat : 10066 (satake) R 10059 10061 27791 0 -1 4202560 4924 0 0 0 0 22 0 0 20 0 17 0 642415119 297111552 51428 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10061/tid=10067] ppid=10059 vsize=290148 CPUtime=0.08
/proc/10061/task/10067/stat : 10067 (satake) R 10059 10061 27791 0 -1 4202560 1854 0 0 0 0 8 0 0 20 0 17 0 642415119 297111552 51449 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10061/tid=10068] ppid=10059 vsize=290148 CPUtime=0.14
/proc/10061/task/10068/stat : 10068 (satake) R 10059 10061 27791 0 -1 4202560 3190 0 0 0 0 14 0 0 20 0 17 0 642415119 297111552 51469 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10069] ppid=10059 vsize=290148 CPUtime=0.1
/proc/10061/task/10069/stat : 10069 (satake) R 10059 10061 27791 0 -1 4202560 2544 0 0 0 0 10 0 0 20 0 17 0 642415119 297111552 51488 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10070] ppid=10059 vsize=290148 CPUtime=0.22
/proc/10061/task/10070/stat : 10070 (satake) R 10059 10061 27791 0 -1 4202560 4697 0 0 0 0 22 0 0 20 0 17 0 642415119 297111552 51507 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10061/tid=10071] ppid=10059 vsize=290148 CPUtime=0.14
/proc/10061/task/10071/stat : 10071 (satake) R 10059 10061 27791 0 -1 4202560 3570 0 0 0 0 14 0 0 20 0 17 0 642415119 297111552 51529 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10061/tid=10072] ppid=10059 vsize=290148 CPUtime=0.14
/proc/10061/task/10072/stat : 10072 (satake) R 10059 10061 27791 0 -1 4202560 3249 0 0 0 0 14 0 0 20 0 17 0 642415119 297111552 51550 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10073] ppid=10059 vsize=290148 CPUtime=0.12
/proc/10061/task/10073/stat : 10073 (satake) R 10059 10061 27791 0 -1 4202560 2324 0 0 0 0 12 0 0 20 0 17 0 642415119 297111552 51573 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10061/tid=10074] ppid=10059 vsize=290148 CPUtime=0.22
/proc/10061/task/10074/stat : 10074 (satake) R 10059 10061 27791 0 -1 4202560 4955 0 0 0 0 22 0 0 20 0 17 0 642415120 297111552 51600 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10061/tid=10075] ppid=10059 vsize=290148 CPUtime=0.08
/proc/10061/task/10075/stat : 10075 (satake) R 10059 10061 27791 0 -1 4202560 1851 0 0 0 0 8 0 0 20 0 17 0 642415120 297111552 51620 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10061/tid=10076] ppid=10059 vsize=290148 CPUtime=0.08
/proc/10061/task/10076/stat : 10076 (satake) R 10059 10061 27791 0 -1 4202560 1637 0 0 0 0 8 0 0 20 0 17 0 642415120 297111552 51643 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10077] ppid=10059 vsize=290148 CPUtime=0.22
/proc/10061/task/10077/stat : 10077 (satake) R 10059 10061 27791 0 -1 4202560 5599 0 0 0 0 22 0 0 20 0 17 0 642415120 297111552 51666 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 290148

[startup+0.705304 s]
/proc/loadavg: 13.91 12.67 11.07 2/184 10061
/proc/meminfo: memFree=19109640/36427776 swapFree=4304/7912
[pid=10061] ppid=10059 vsize=315448 CPUtime=5.28
/proc/10061/stat : 10061 (satake) S 10059 10061 27791 0 -1 4202496 66333 0 0 0 0 528 0 0 20 0 17 0 642415119 323018752 66274 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10061/statm: 78862 66275 63 164 0 78697 0
[pid=10061/tid=10062] ppid=10059 vsize=315448 CPUtime=0
/proc/10061/task/10062/stat : 10062 (satake) S 10059 10061 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642415119 323018752 66281 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10063] ppid=10059 vsize=315448 CPUtime=0.36
/proc/10061/task/10063/stat : 10063 (satake) R 10059 10061 27791 0 -1 4202560 3850 0 0 0 0 36 0 0 20 0 17 0 642415119 323018752 66283 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10061/tid=10064] ppid=10059 vsize=315448 CPUtime=0.3
/proc/10061/task/10064/stat : 10064 (satake) R 10059 10061 27791 0 -1 4202560 3855 0 0 0 0 30 0 0 20 0 17 0 642415119 323018752 66283 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10065] ppid=10059 vsize=315448 CPUtime=0.48
/proc/10061/task/10065/stat : 10065 (satake) R 10059 10061 27791 0 -1 4202560 6493 0 0 0 0 48 0 0 20 0 17 0 642415119 323018752 66283 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10061/tid=10066] ppid=10059 vsize=315448 CPUtime=0.48
/proc/10061/task/10066/stat : 10066 (satake) R 10059 10061 27791 0 -1 4202560 6056 0 0 0 0 48 0 0 20 0 17 0 642415119 323018752 66284 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10061/tid=10067] ppid=10059 vsize=315448 CPUtime=0.22
/proc/10061/task/10067/stat : 10067 (satake) R 10059 10061 27791 0 -1 4202560 2706 0 0 0 0 22 0 0 20 0 17 0 642415119 323018752 66284 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10061/tid=10068] ppid=10059 vsize=315448 CPUtime=0.28
/proc/10061/task/10068/stat : 10068 (satake) R 10059 10061 27791 0 -1 4202560 3971 0 0 0 0 28 0 0 20 0 17 0 642415119 323018752 66286 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10061/tid=10069] ppid=10059 vsize=315448 CPUtime=0.24
/proc/10061/task/10069/stat : 10069 (satake) R 10059 10061 27791 0 -1 4202560 3329 0 0 0 0 24 0 0 20 0 17 0 642415119 323018752 66286 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10061/tid=10070] ppid=10059 vsize=315448 CPUtime=0.48
/proc/10061/task/10070/stat : 10070 (satake) R 10059 10061 27791 0 -1 4202560 5845 0 0 0 0 48 0 0 20 0 17 0 642415119 323018752 66286 18446744073709551615 134512640 135180984 4287391664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10061/tid=10071] ppid=10059 vsize=315448 CPUtime=0.3

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

deleting IPC queue 1856438350
deleting IPC queue 1856471119
deleting IPC queue 1856503888
deleting IPC queue 1856536657
deleting IPC queue 1856569426
deleting IPC queue 1856602195
deleting IPC queue 1856634964
deleting IPC queue 1856667733
deleting IPC queue 1856700502
deleting IPC queue 1856733271
deleting IPC queue 1856766040
deleting IPC queue 1856798809
deleting IPC queue 1856831578
deleting IPC queue 1856864347
deleting IPC queue 1856897116
deleting IPC queue 1856929885
deleting IPC queue 1856962654
deleting IPC queue 1856995423
deleting IPC queue 1857028192
deleting IPC queue 1857060961
deleting IPC queue 1857093730
deleting IPC queue 1857126499
deleting IPC queue 1857159268
deleting IPC queue 1857192037
deleting IPC queue 1857224806
deleting IPC queue 1857257575
deleting IPC queue 1857290344
deleting IPC queue 1857323113
deleting IPC queue 1857355882
deleting IPC queue 1857388651
deleting IPC queue 1857421420
deleting IPC queue 1857454189
deleting IPC queue 1857486958
deleting IPC queue 1857519727
deleting IPC queue 1857552496
deleting IPC queue 1857585265
deleting IPC queue 1857618034
deleting IPC queue 1857650803
deleting IPC queue 1857683572
deleting IPC queue 1857716341
deleting IPC queue 1857749110
deleting IPC queue 1857781879
deleting IPC queue 1857814648
deleting IPC queue 1857847417
deleting IPC queue 1857880186
deleting IPC queue 1857912955
deleting IPC queue 1857945724
deleting IPC queue 1857978493
deleting IPC queue 1858011262
deleting IPC queue 1858044031
deleting IPC queue 1858076800
deleting IPC queue 1858109569
deleting IPC queue 1858142338
deleting IPC queue 1858175107
deleting IPC queue 1858207876
deleting IPC queue 1858240645
deleting IPC queue 1858273414
deleting IPC queue 1858306183
deleting IPC queue 1858338952
deleting IPC queue 1858371721
deleting IPC queue 1858404490
deleting IPC queue 1858437259
deleting IPC queue 1858470028
deleting IPC queue 1858502797
deleting IPC queue 1858535566
deleting IPC queue 1858568335
deleting IPC queue 1858601104
deleting IPC queue 1858633873
deleting IPC queue 1858666642
deleting IPC queue 1858699411
deleting IPC queue 1858732180
deleting IPC queue 1858764949
deleting IPC queue 1858797718
deleting IPC queue 1858830487
deleting IPC queue 1858863256
deleting IPC queue 1858896025
deleting IPC queue 1858928794
deleting IPC queue 1858961563
deleting IPC queue 1858994332
deleting IPC queue 1859027101
deleting IPC queue 1859059870
deleting IPC queue 1859092639
deleting IPC queue 1859125408
deleting IPC queue 1859158177
deleting IPC queue 1859190946
deleting IPC queue 1859223715
deleting IPC queue 1859256484
deleting IPC queue 1859289253
deleting IPC queue 1859322022
deleting IPC queue 1859354791
deleting IPC queue 1859387560
deleting IPC queue 1859420329
deleting IPC queue 1859453098
deleting IPC queue 1859485867
deleting IPC queue 1859518636
deleting IPC queue 1859551405
deleting IPC queue 1859584174
deleting IPC queue 1859616943
deleting IPC queue 1859649712
deleting IPC queue 1859682481
deleting IPC queue 1859715250
deleting IPC queue 1859748019
deleting IPC queue 1859780788
deleting IPC queue 1859813557
deleting IPC queue 1859846326
deleting IPC queue 1859879095
deleting IPC queue 1859911864
deleting IPC queue 1859944633
deleting IPC queue 1859977402
deleting IPC queue 1860010171
deleting IPC queue 1860042940
deleting IPC queue 1860075709
deleting IPC queue 1860108478
deleting IPC queue 1860141247
deleting IPC queue 1860174016
deleting IPC queue 1860206785
deleting IPC queue 1860239554
deleting IPC queue 1860272323
deleting IPC queue 1860305092
deleting IPC queue 1860337861
deleting IPC queue 1860370630
deleting IPC queue 1860403399
deleting IPC queue 1860436168
deleting IPC queue 1860468937
deleting IPC queue 1860501706
deleting IPC queue 1860534475
deleting IPC queue 1860567244
deleting IPC queue 1860600013
deleting IPC queue 1860632782
deleting IPC queue 1860665551
deleting IPC queue 1860698320
deleting IPC queue 1860731089
deleting IPC queue 1860763858
deleting IPC queue 1860796627
deleting IPC queue 1860829396
deleting IPC queue 1860862165
deleting IPC queue 1860894934
deleting IPC queue 1860927703
deleting IPC queue 1860960472
deleting IPC queue 1860993241
deleting IPC queue 1861026010
deleting IPC queue 1861058779
deleting IPC queue 1861091548
deleting IPC queue 1861124317
deleting IPC queue 1861157086
deleting IPC queue 1861189855
deleting IPC queue 1861222624
deleting IPC queue 1861255393
deleting IPC queue 1861288162
deleting IPC queue 1861320931
deleting IPC queue 1861353700
deleting IPC queue 1861386469
deleting IPC queue 1861419238
deleting IPC queue 1861452007
deleting IPC queue 1861484776
deleting IPC queue 1861517545
deleting IPC queue 1861550314
deleting IPC queue 1861583083
deleting IPC queue 1861615852
deleting IPC queue 1861648621
deleting IPC queue 1861681390
deleting IPC queue 1861714159
deleting IPC queue 1861746928
deleting IPC queue 1861779697
deleting IPC queue 1861812466
deleting IPC queue 1861845235
deleting IPC queue 1861878004
deleting IPC queue 1861910773
deleting IPC queue 1861943542
deleting IPC queue 1861976311
deleting IPC queue 1862009080
deleting IPC queue 1862041849
deleting IPC queue 1862074618
deleting IPC queue 1862107387
deleting IPC queue 1862140156
deleting IPC queue 1862172925
deleting IPC queue 1862205694
deleting IPC queue 1862238463

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6424.81
system time used= 290.278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526840
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= 22964632
involuntary context switches= 1636952

runsolver used 3.2242 second user time and 8.92856 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 20:24:47
IDJOB=1780527
IDBENCH=71015
IDSOLVER=631
FILE ID=xenhost3-49/1780527-1244831087
PBS_JOBID=
Free space on /tmp= 7008 MiB

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

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

MD5SUM BENCH= 4f02dda0c6b1f76f43bce732093e4f1f
RANDOM SEED= 47603826

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:      19109640 kB
Buffers:        435352 kB
Cached:       14132492 kB
SwapCached:          0 kB
Active:        4080844 kB
Inactive:     10495484 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           21732 kB
Writeback:           0 kB
AnonPages:        7912 kB
Mapped:           3640 kB
Slab:           689700 kB
SReclaimable:   662796 kB
SUnreclaim:      26904 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= 7008 MiB
End job on xenhost3-49 at 2009-06-12 20:35:33