Trace number 1779117

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) 1205.88 1000.05

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
MD5SUMfd3f8184ebdeefe767f2b0366176385e
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 variables17818
Number of clauses52685
Sum of the clauses size122929
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 235122
Number of clauses of size 317561
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779117-1244782274/watcher-1779117-1244782274 -o /tmp/evaluation-result-1779117-1244782274/solver-1779117-1244782274 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779117-1244782274.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: 1.94 2.29 3.98 2/184 3917
/proc/meminfo: memFree=19140176/36427776 swapFree=4348/7708
[pid=3917] ppid=3915 vsize=6780 CPUtime=0
/proc/3917/stat : 3917 (satake) R 3915 3917 27791 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 14 0 637533743 6942720 318 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3917/statm: 1695 318 63 164 0 1530 0
[pid=3917/tid=3918] ppid=3915 vsize=8068 CPUtime=0
/proc/3917/task/3918/stat : 3918 (satake) S 3915 3917 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 637533743 8261632 375 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3919] ppid=3915 vsize=8068 CPUtime=0
/proc/3917/task/3919/stat : 3919 (satake) R 3915 3917 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 637533743 8261632 379 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3917/tid=3920] ppid=3915 vsize=8068 CPUtime=0
/proc/3917/task/3920/stat : 3920 (satake) D 3915 3917 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 637533743 8261632 383 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3917/tid=3921] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3921/stat : 3921 (satake) D 3915 3917 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 383 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3922] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3922/stat : 3922 (satake) S 3915 3917 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 384 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3923] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3923/stat : 3923 (satake) R 3915 3917 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 387 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3924] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3924/stat : 3924 (satake) S 3915 3917 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 388 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3925] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3925/stat : 3925 (satake) R 3915 3917 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 388 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3926] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3926/stat : 3926 (satake) R 3915 3917 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 390 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3917/tid=3927] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3927/stat : 3927 (satake) R 3915 3917 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 390 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3928] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3928/stat : 3928 (satake) R 3915 3917 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 637533743 8327168 392 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3917/tid=3929] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3929/stat : 3929 (satake) R 3915 3917 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 637533744 8327168 393 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3917/tid=3930] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3930/stat : 3930 (satake) R 3915 3917 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 637533744 8327168 393 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3917/tid=3931] ppid=3915 vsize=8132 CPUtime=0
/proc/3917/task/3931/stat : 3931 (satake) R 3915 3917 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 15 0 637533744 8327168 393 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.059724 s]
/proc/loadavg: 1.94 2.29 3.98 2/184 3917
/proc/meminfo: memFree=19140176/36427776 swapFree=4348/7708
[pid=3917] ppid=3915 vsize=19092 CPUtime=0.3
/proc/3917/stat : 3917 (satake) S 3915 3917 27791 0 -1 4202496 2898 0 0 0 1 29 0 0 20 0 17 0 637533743 19550208 2853 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3917/statm: 4773 2854 63 164 0 4608 0
[pid=3917/tid=3918] ppid=3915 vsize=19092 CPUtime=0
/proc/3917/task/3918/stat : 3918 (satake) S 3915 3917 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637533743 19550208 2854 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3919] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3919/stat : 3919 (satake) R 3915 3917 27791 0 -1 4202560 246 0 0 0 0 2 0 0 20 0 17 0 637533743 19550208 2856 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3917/tid=3920] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3920/stat : 3920 (satake) D 3915 3917 27791 0 -1 4202560 225 0 0 0 0 2 0 0 20 0 17 0 637533743 19550208 2857 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3917/tid=3921] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3921/stat : 3921 (satake) D 3915 3917 27791 0 -1 4202560 213 0 0 0 0 2 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3922] ppid=3915 vsize=19092 CPUtime=0
/proc/3917/task/3922/stat : 3922 (satake) D 3915 3917 27791 0 -1 4202560 143 0 0 0 0 0 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3923] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3923/stat : 3923 (satake) S 3915 3917 27791 0 -1 4202560 230 0 0 0 0 2 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3924] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3924/stat : 3924 (satake) D 3915 3917 27791 0 -1 4202560 195 0 0 0 0 2 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3925] ppid=3915 vsize=19092 CPUtime=0
/proc/3917/task/3925/stat : 3925 (satake) D 3915 3917 27791 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3926] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3926/stat : 3926 (satake) D 3915 3917 27791 0 -1 4202560 222 0 0 0 0 2 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3917/tid=3927] ppid=3915 vsize=19092 CPUtime=0
/proc/3917/task/3927/stat : 3927 (satake) D 3915 3917 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3928] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3928/stat : 3928 (satake) D 3915 3917 27791 0 -1 4202560 175 0 0 0 0 2 0 0 20 0 17 0 637533743 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3917/tid=3929] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3929/stat : 3929 (satake) D 3915 3917 27791 0 -1 4202560 229 0 0 0 0 2 0 0 20 0 17 0 637533744 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3917/tid=3930] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3930/stat : 3930 (satake) D 3915 3917 27791 0 -1 4202560 217 0 0 0 0 2 0 0 20 0 17 0 637533744 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3917/tid=3931] ppid=3915 vsize=19092 CPUtime=0.02
/proc/3917/task/3931/stat : 3931 (satake) R 3915 3917 27791 0 -1 4202560 218 0 0 0 0 2 0 0 20 0 17 0 637533744 19550208 2858 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19092

[startup+0.104039 s]
/proc/loadavg: 1.94 2.29 3.98 2/184 3917
/proc/meminfo: memFree=19140176/36427776 swapFree=4348/7708
[pid=3917] ppid=3915 vsize=24184 CPUtime=0.49
/proc/3917/stat : 3917 (satake) S 3915 3917 27791 0 -1 4202496 4412 0 0 0 4 45 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3917/statm: 6046 4368 63 164 0 5881 0
[pid=3917/tid=3918] ppid=3915 vsize=24184 CPUtime=0
/proc/3917/task/3918/stat : 3918 (satake) S 3915 3917 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3919] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3919/stat : 3919 (satake) D 3915 3917 27791 0 -1 4202560 320 0 0 0 0 4 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3917/tid=3920] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3920/stat : 3920 (satake) D 3915 3917 27791 0 -1 4202560 303 0 0 0 0 4 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3917/tid=3921] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3921/stat : 3921 (satake) S 3915 3917 27791 0 -1 4202560 307 0 0 0 0 4 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3922] ppid=3915 vsize=24184 CPUtime=0.02
/proc/3917/task/3922/stat : 3922 (satake) S 3915 3917 27791 0 -1 4202560 288 0 0 0 2 0 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3923] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3923/stat : 3923 (satake) R 3915 3917 27791 0 -1 4202560 297 0 0 0 0 4 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3924] ppid=3915 vsize=24184 CPUtime=0.02
/proc/3917/task/3924/stat : 3924 (satake) S 3915 3917 27791 0 -1 4202560 266 0 0 0 0 2 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3925] ppid=3915 vsize=24184 CPUtime=0.02
/proc/3917/task/3925/stat : 3925 (satake) R 3915 3917 27791 0 -1 4202560 250 0 0 0 0 2 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3926] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3926/stat : 3926 (satake) S 3915 3917 27791 0 -1 4202560 267 0 0 0 0 4 0 0 20 0 17 0 637533743 24764416 4368 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=3917/tid=3927] ppid=3915 vsize=24184 CPUtime=0.02
/proc/3917/task/3927/stat : 3927 (satake) S 3915 3917 27791 0 -1 4202560 265 0 0 0 2 0 0 0 20 0 17 0 637533743 24764416 4369 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3928] ppid=3915 vsize=24184 CPUtime=0.02
/proc/3917/task/3928/stat : 3928 (satake) D 3915 3917 27791 0 -1 4202560 298 0 0 0 0 2 0 0 20 0 17 0 637533743 24764416 4369 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3917/tid=3929] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3929/stat : 3929 (satake) S 3915 3917 27791 0 -1 4202560 280 0 0 0 0 4 0 0 20 0 17 0 637533744 24764416 4371 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3917/tid=3930] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3930/stat : 3930 (satake) S 3915 3917 27791 0 -1 4202560 304 0 0 0 0 4 0 0 20 0 17 0 637533744 24764416 4371 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3917/tid=3931] ppid=3915 vsize=24184 CPUtime=0.04
/proc/3917/task/3931/stat : 3931 (satake) R 3915 3917 27791 0 -1 4202560 316 0 0 0 0 4 0 0 20 0 17 0 637533744 24764416 4373 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 24184

[startup+0.302487 s]
/proc/loadavg: 1.94 2.29 3.98 2/184 3917
/proc/meminfo: memFree=19140176/36427776 swapFree=4348/7708
[pid=3917] ppid=3915 vsize=59372 CPUtime=1.41
/proc/3917/stat : 3917 (satake) S 3915 3917 27791 0 -1 4202496 11986 0 0 0 28 113 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3917/statm: 14843 11941 63 164 0 14678 0
[pid=3917/tid=3918] ppid=3915 vsize=59372 CPUtime=0
/proc/3917/task/3918/stat : 3918 (satake) S 3915 3917 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3919] ppid=3915 vsize=59372 CPUtime=0.1
/proc/3917/task/3919/stat : 3919 (satake) D 3915 3917 27791 0 -1 4202560 797 0 0 0 0 10 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3917/tid=3920] ppid=3915 vsize=59372 CPUtime=0.12
/proc/3917/task/3920/stat : 3920 (satake) D 3915 3917 27791 0 -1 4202560 814 0 0 0 4 8 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3917/tid=3921] ppid=3915 vsize=59372 CPUtime=0.08
/proc/3917/task/3921/stat : 3921 (satake) S 3915 3917 27791 0 -1 4202560 772 0 0 0 2 6 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3922] ppid=3915 vsize=59372 CPUtime=0.08
/proc/3917/task/3922/stat : 3922 (satake) S 3915 3917 27791 0 -1 4202560 838 0 0 0 2 6 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3923] ppid=3915 vsize=59372 CPUtime=0.1
/proc/3917/task/3923/stat : 3923 (satake) D 3915 3917 27791 0 -1 4202560 778 0 0 0 2 8 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3924] ppid=3915 vsize=59372 CPUtime=0.08
/proc/3917/task/3924/stat : 3924 (satake) S 3915 3917 27791 0 -1 4202560 720 0 0 0 2 6 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3925] ppid=3915 vsize=59372 CPUtime=0.06
/proc/3917/task/3925/stat : 3925 (satake) S 3915 3917 27791 0 -1 4202560 729 0 0 0 0 6 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3926] ppid=3915 vsize=59372 CPUtime=0.1
/proc/3917/task/3926/stat : 3926 (satake) D 3915 3917 27791 0 -1 4202560 788 0 0 0 0 10 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3917/tid=3927] ppid=3915 vsize=59372 CPUtime=0.08
/proc/3917/task/3927/stat : 3927 (satake) D 3915 3917 27791 0 -1 4202560 800 0 0 0 2 6 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3928] ppid=3915 vsize=59372 CPUtime=0.1
/proc/3917/task/3928/stat : 3928 (satake) D 3915 3917 27791 0 -1 4202560 843 0 0 0 4 6 0 0 20 0 17 0 637533743 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3917/tid=3929] ppid=3915 vsize=59372 CPUtime=0.1
/proc/3917/task/3929/stat : 3929 (satake) S 3915 3917 27791 0 -1 4202560 802 0 0 0 0 10 0 0 20 0 17 0 637533744 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3917/tid=3930] ppid=3915 vsize=59372 CPUtime=0.1
/proc/3917/task/3930/stat : 3930 (satake) S 3915 3917 27791 0 -1 4202560 828 0 0 0 2 8 0 0 20 0 17 0 637533744 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3917/tid=3931] ppid=3915 vsize=59372 CPUtime=0.08
/proc/3917/task/3931/stat : 3931 (satake) R 3915 3917 27791 0 -1 4202560 780 0 0 0 4 4 0 0 20 0 17 0 637533744 60796928 11941 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 59372

[startup+0.703488 s]
/proc/loadavg: 1.94 2.29 3.98 2/184 3917
/proc/meminfo: memFree=19140176/36427776 swapFree=4348/7708
[pid=3917] ppid=3915 vsize=79104 CPUtime=2.86
/proc/3917/stat : 3917 (satake) S 3915 3917 27791 0 -1 4202496 17103 0 0 0 135 151 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3917/statm: 19776 13998 68 164 0 19611 0
[pid=3917/tid=3918] ppid=3915 vsize=79104 CPUtime=0.14
/proc/3917/task/3918/stat : 3918 (satake) R 3915 3917 27791 0 -1 4202560 247 0 0 0 0 14 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3919] ppid=3915 vsize=79104 CPUtime=0.22
/proc/3917/task/3919/stat : 3919 (satake) S 3915 3917 27791 0 -1 4202560 1110 0 0 0 12 10 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3917/tid=3920] ppid=3915 vsize=79104 CPUtime=0.2
/proc/3917/task/3920/stat : 3920 (satake) S 3915 3917 27791 0 -1 4202560 1129 0 0 0 12 8 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3917/tid=3921] ppid=3915 vsize=79104 CPUtime=0.14
/proc/3917/task/3921/stat : 3921 (satake) S 3915 3917 27791 0 -1 4202560 1171 0 0 0 6 8 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3917/tid=3922] ppid=3915 vsize=79104 CPUtime=0.16
/proc/3917/task/3922/stat : 3922 (satake) S 3915 3917 27791 0 -1 4202560 1150 0 0 0 8 8 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3923] ppid=3915 vsize=79104 CPUtime=0.16
/proc/3917/task/3923/stat : 3923 (satake) S 3915 3917 27791 0 -1 4202560 1058 0 0 0 6 10 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3924] ppid=3915 vsize=79104 CPUtime=0.14
/proc/3917/task/3924/stat : 3924 (satake) S 3915 3917 27791 0 -1 4202560 1064 0 0 0 6 8 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3917/tid=3925] ppid=3915 vsize=79104 CPUtime=0.12
/proc/3917/task/3925/stat : 3925 (satake) S 3915 3917 27791 0 -1 4202560 1101 0 0 0 4 8 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3917/tid=3926] ppid=3915 vsize=79104 CPUtime=0.2
/proc/3917/task/3926/stat : 3926 (satake) D 3915 3917 27791 0 -1 4202560 1068 0 0 0 6 14 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3917/tid=3927] ppid=3915 vsize=79104 CPUtime=0.18
/proc/3917/task/3927/stat : 3927 (satake) S 3915 3917 27791 0 -1 4202560 1182 0 0 0 10 8 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3917/tid=3928] ppid=3915 vsize=79104 CPUtime=0.18
/proc/3917/task/3928/stat : 3928 (satake) S 3915 3917 27791 0 -1 4202560 1159 0 0 0 10 8 0 0 20 0 17 0 637533743 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=3917/tid=3929] ppid=3915 vsize=79104 CPUtime=0.26
/proc/3917/task/3929/stat : 3929 (satake) S 3915 3917 27791 0 -1 4202560 1099 0 0 0 16 10 0 0 20 0 17 0 637533744 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3917/tid=3930] ppid=3915 vsize=79104 CPUtime=0.18
/proc/3917/task/3930/stat : 3930 (satake) R 3915 3917 27791 0 -1 4202560 1121 0 0 0 8 10 0 0 20 0 17 0 637533744 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134528631 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3917/tid=3931] ppid=3915 vsize=79104 CPUtime=0.16
/proc/3917/task/3931/stat : 3931 (satake) S 3915 3917 27791 0 -1 4202560 1045 0 0 0 10 6 0 0 20 0 17 0 637533744 81002496 13998 18446744073709551615 134512640 135180984 4294561408 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 79104

[startup+1.50358 s]
/proc/loadavg: 1.94 2.29 3.98 2/201 3934
/proc/meminfo: memFree=19079960/36427776 swapFree=4580/65232
[pid=3917] ppid=3915 vsize=79104 CPUtime=3.83

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

deleting IPC queue 1067909198
deleting IPC queue 1067941967
deleting IPC queue 1067974736
deleting IPC queue 1068007505
deleting IPC queue 1068040274
deleting IPC queue 1068073043
deleting IPC queue 1068105812
deleting IPC queue 1068138581
deleting IPC queue 1068171350
deleting IPC queue 1068204119
deleting IPC queue 1068236888
deleting IPC queue 1068269657
deleting IPC queue 1068302426
deleting IPC queue 1068335195
deleting IPC queue 1068367964
deleting IPC queue 1068400733
deleting IPC queue 1068433502
deleting IPC queue 1068466271
deleting IPC queue 1068499040
deleting IPC queue 1068531809
deleting IPC queue 1068564578
deleting IPC queue 1068597347
deleting IPC queue 1068630116
deleting IPC queue 1068662885
deleting IPC queue 1068695654
deleting IPC queue 1068728423
deleting IPC queue 1068761192
deleting IPC queue 1068793961
deleting IPC queue 1068826730
deleting IPC queue 1068859499
deleting IPC queue 1068892268
deleting IPC queue 1068925037
deleting IPC queue 1068957806
deleting IPC queue 1068990575
deleting IPC queue 1069023344
deleting IPC queue 1069056113
deleting IPC queue 1069088882
deleting IPC queue 1069121651
deleting IPC queue 1069154420
deleting IPC queue 1069187189
deleting IPC queue 1069219958
deleting IPC queue 1069252727
deleting IPC queue 1069285496
deleting IPC queue 1069318265
deleting IPC queue 1069351034
deleting IPC queue 1069383803
deleting IPC queue 1069416572
deleting IPC queue 1069449341
deleting IPC queue 1069482110
deleting IPC queue 1069514879
deleting IPC queue 1069547648
deleting IPC queue 1069580417
deleting IPC queue 1069613186
deleting IPC queue 1069645955
deleting IPC queue 1069678724
deleting IPC queue 1069711493
deleting IPC queue 1069744262
deleting IPC queue 1069777031
deleting IPC queue 1069809800
deleting IPC queue 1069842569
deleting IPC queue 1069875338
deleting IPC queue 1069908107
deleting IPC queue 1069940876
deleting IPC queue 1069973645
deleting IPC queue 1070006414
deleting IPC queue 1070039183
deleting IPC queue 1070071952
deleting IPC queue 1070104721
deleting IPC queue 1070137490
deleting IPC queue 1070170259
deleting IPC queue 1070203028
deleting IPC queue 1070235797
deleting IPC queue 1070268566
deleting IPC queue 1070301335
deleting IPC queue 1070334104
deleting IPC queue 1070366873
deleting IPC queue 1070399642
deleting IPC queue 1070432411
deleting IPC queue 1070465180
deleting IPC queue 1070497949
deleting IPC queue 1070530718
deleting IPC queue 1070563487
deleting IPC queue 1070596256
deleting IPC queue 1070629025
deleting IPC queue 1070661794
deleting IPC queue 1070694563
deleting IPC queue 1070727332
deleting IPC queue 1070760101
deleting IPC queue 1070792870
deleting IPC queue 1070825639
deleting IPC queue 1070858408
deleting IPC queue 1070891177
deleting IPC queue 1070923946
deleting IPC queue 1070956715
deleting IPC queue 1070989484
deleting IPC queue 1071022253
deleting IPC queue 1071055022
deleting IPC queue 1071087791
deleting IPC queue 1071120560
deleting IPC queue 1071153329
deleting IPC queue 1071186098
deleting IPC queue 1071218867
deleting IPC queue 1071251636
deleting IPC queue 1071284405
deleting IPC queue 1071317174
deleting IPC queue 1071349943
deleting IPC queue 1071382712
deleting IPC queue 1071415481
deleting IPC queue 1071448250
deleting IPC queue 1071481019
deleting IPC queue 1071513788
deleting IPC queue 1071546557
deleting IPC queue 1071579326
deleting IPC queue 1071612095
deleting IPC queue 1071644864
deleting IPC queue 1071677633
deleting IPC queue 1071710402
deleting IPC queue 1071743171
deleting IPC queue 1071775940
deleting IPC queue 1071808709
deleting IPC queue 1071841478
deleting IPC queue 1071874247
deleting IPC queue 1071907016
deleting IPC queue 1071939785
deleting IPC queue 1071972554
deleting IPC queue 1072005323
deleting IPC queue 1072038092
deleting IPC queue 1072070861
deleting IPC queue 1072103630
deleting IPC queue 1072136399
deleting IPC queue 1072169168
deleting IPC queue 1072201937
deleting IPC queue 1072234706
deleting IPC queue 1072267475
deleting IPC queue 1072300244
deleting IPC queue 1072333013
deleting IPC queue 1072365782
deleting IPC queue 1072398551
deleting IPC queue 1072431320
deleting IPC queue 1072464089
deleting IPC queue 1072496858
deleting IPC queue 1072529627
deleting IPC queue 1072562396
deleting IPC queue 1072595165
deleting IPC queue 1072627934
deleting IPC queue 1072660703
deleting IPC queue 1072693472
deleting IPC queue 1072726241
deleting IPC queue 1072759010
deleting IPC queue 1072791779
deleting IPC queue 1072824548
deleting IPC queue 1072857317
deleting IPC queue 1072890086
deleting IPC queue 1072922855
deleting IPC queue 1072955624
deleting IPC queue 1072988393
deleting IPC queue 1073021162
deleting IPC queue 1073053931
deleting IPC queue 1073086700
deleting IPC queue 1073119469
deleting IPC queue 1073152238
deleting IPC queue 1073185007
deleting IPC queue 1073217776
deleting IPC queue 1073250545
deleting IPC queue 1073283314
deleting IPC queue 1073316083
deleting IPC queue 1073348852
deleting IPC queue 1073381621
deleting IPC queue 1073414390
deleting IPC queue 1073447159
deleting IPC queue 1073479928
deleting IPC queue 1073512697
deleting IPC queue 1073545466
deleting IPC queue 1073578235
deleting IPC queue 1073611004
deleting IPC queue 1073643773
deleting IPC queue 1073676542
deleting IPC queue 1073709311

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 486.798
system time used= 719.077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64907
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= 63736268
involuntary context switches= 5507793

runsolver used 4.22826 second user time and 11.2047 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 06:51:14
IDJOB=1779117
IDBENCH=70812
IDSOLVER=631
FILE ID=xenhost3-49/1779117-1244782274
PBS_JOBID=
Free space on /tmp= 7036 MiB

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

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

MD5SUM BENCH= fd3f8184ebdeefe767f2b0366176385e
RANDOM SEED= 658293593

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:      19140176 kB
Buffers:        433744 kB
Cached:       14104628 kB
SwapCached:          0 kB
Active:        4079420 kB
Inactive:     10467296 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1344 kB
Writeback:           0 kB
AnonPages:        7708 kB
Mapped:           4348 kB
Slab:           688192 kB
SReclaimable:   661428 kB
SUnreclaim:      26764 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7036 MiB
End job on xenhost3-49 at 2009-06-12 07:07:56