Trace number 1775817

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) 3856.47 1000.13

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
MD5SUM45ee13b66821e6c36f3e38be418fa121
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 variables138808
Number of clauses626501
Sum of the clauses size1431026
Maximum clause length10
Minimum clause length1
Number of clauses of size 111712
Number of clauses of size 2503953
Number of clauses of size 384536
Number of clauses of size 42920
Number of clauses of size 511680
Number of clauses of size over 511700

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-1775817-1244722243/watcher-1775817-1244722243 -o /tmp/evaluation-result-1775817-1244722243/solver-1775817-1244722243 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775817-1244722243.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: 15.14 13.39 11.20 2/184 29319
/proc/meminfo: memFree=19137980/36427776 swapFree=4312/8340
[pid=29319] ppid=29317 vsize=8980 CPUtime=0
/proc/29319/stat : 29319 (satake) S 29317 29319 27791 0 -1 4202496 562 0 0 0 0 0 0 0 20 0 17 0 631530698 9195520 516 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29319/statm: 2245 521 63 164 0 2080 0
[pid=29319/tid=29320] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29320/stat : 29320 (satake) S 29317 29319 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 536 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29321] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29321/stat : 29321 (satake) R 29317 29319 27791 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 538 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29322/stat : 29322 (satake) R 29317 29319 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 538 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29323/stat : 29323 (satake) R 29317 29319 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 538 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29324/stat : 29324 (satake) R 29317 29319 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 538 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29325/stat : 29325 (satake) R 29317 29319 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 540 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29326/stat : 29326 (satake) R 29317 29319 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 543 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29327/stat : 29327 (satake) R 29317 29319 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 545 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29328/stat : 29328 (satake) S 29317 29319 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 545 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29329/stat : 29329 (satake) S 29317 29319 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 546 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29330/stat : 29330 (satake) S 29317 29319 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 549 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29331/stat : 29331 (satake) R 29317 29319 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 553 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29332/stat : 29332 (satake) R 29317 29319 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 559 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=8984 CPUtime=0
/proc/29319/task/29333/stat : 29333 (satake) D 29317 29319 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631530698 9199616 571 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=9116 CPUtime=0
/proc/29319/task/29334/stat : 29334 (satake) R 29317 29319 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 631530699 9334784 573 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=9116 CPUtime=0
/proc/29319/task/29335/stat : 29335 (satake) R 29317 29319 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 631530699 9334784 576 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

[startup+0.107121 s]
/proc/loadavg: 15.14 13.39 11.20 2/184 29319
/proc/meminfo: memFree=19137980/36427776 swapFree=4312/8340
[pid=29319] ppid=29317 vsize=95672 CPUtime=0.59
/proc/29319/stat : 29319 (satake) S 29317 29319 27791 0 -1 4202496 18128 0 0 0 2 57 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29319/statm: 23918 18082 63 164 0 23753 0
[pid=29319/tid=29320] ppid=29317 vsize=95672 CPUtime=0
/proc/29319/task/29320/stat : 29320 (satake) S 29317 29319 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29321] ppid=29317 vsize=95672 CPUtime=0.06
/proc/29319/task/29321/stat : 29321 (satake) D 29317 29319 27791 0 -1 4202560 1977 0 0 0 0 6 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=95672 CPUtime=0.04
/proc/29319/task/29322/stat : 29322 (satake) R 29317 29319 27791 0 -1 4202560 1060 0 0 0 0 4 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=95672 CPUtime=0.06
/proc/29319/task/29323/stat : 29323 (satake) D 29317 29319 27791 0 -1 4202560 2025 0 0 0 0 6 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=95672 CPUtime=0.02
/proc/29319/task/29324/stat : 29324 (satake) D 29317 29319 27791 0 -1 4202560 814 0 0 0 0 2 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=95672 CPUtime=0.02
/proc/29319/task/29325/stat : 29325 (satake) D 29317 29319 27791 0 -1 4202560 922 0 0 0 0 2 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=95672 CPUtime=0.06
/proc/29319/task/29326/stat : 29326 (satake) D 29317 29319 27791 0 -1 4202560 1275 0 0 0 0 6 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=95672 CPUtime=0
/proc/29319/task/29327/stat : 29327 (satake) D 29317 29319 27791 0 -1 4202560 353 0 0 0 0 0 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=95672 CPUtime=0.02
/proc/29319/task/29328/stat : 29328 (satake) D 29317 29319 27791 0 -1 4202560 981 0 0 0 0 2 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=95672 CPUtime=0.06
/proc/29319/task/29329/stat : 29329 (satake) D 29317 29319 27791 0 -1 4202560 1854 0 0 0 0 6 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=95672 CPUtime=0.02
/proc/29319/task/29330/stat : 29330 (satake) D 29317 29319 27791 0 -1 4202560 688 0 0 0 2 0 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=95672 CPUtime=0.02
/proc/29319/task/29331/stat : 29331 (satake) D 29317 29319 27791 0 -1 4202560 535 0 0 0 0 2 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=95672 CPUtime=0.02
/proc/29319/task/29332/stat : 29332 (satake) D 29317 29319 27791 0 -1 4202560 741 0 0 0 0 2 0 0 20 0 17 0 631530698 97968128 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=103868 CPUtime=0.04
/proc/29319/task/29333/stat : 29333 (satake) D 29317 29319 27791 0 -1 4202560 1394 0 0 0 0 4 0 0 20 0 17 0 631530698 106360832 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=99768 CPUtime=0.06
/proc/29319/task/29334/stat : 29334 (satake) R 29317 29319 27791 0 -1 4202560 2022 0 0 0 0 6 0 0 20 0 17 0 631530699 102162432 18082 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=99768 CPUtime=0.04
/proc/29319/task/29335/stat : 29335 (satake) D 29317 29319 27791 0 -1 4202560 1358 0 0 0 0 4 0 0 20 0 17 0 631530699 102162432 18087 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 95672

[startup+0.207182 s]
/proc/loadavg: 15.14 13.39 11.20 2/184 29319
/proc/meminfo: memFree=19137980/36427776 swapFree=4312/8340
[pid=29319] ppid=29317 vsize=152116 CPUtime=1.21
/proc/29319/stat : 29319 (satake) S 29317 29319 27791 0 -1 4202496 28320 0 0 0 2 119 0 0 20 0 17 0 631530698 155766784 28274 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29319/statm: 38029 28276 63 164 0 37864 0
[pid=29319/tid=29320] ppid=29317 vsize=152116 CPUtime=0
/proc/29319/task/29320/stat : 29320 (satake) S 29317 29319 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631530698 155766784 28281 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29321] ppid=29317 vsize=152116 CPUtime=0.1
/proc/29319/task/29321/stat : 29321 (satake) R 29317 29319 27791 0 -1 4202560 2799 0 0 0 0 10 0 0 20 0 17 0 631530698 155766784 28283 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=152116 CPUtime=0.08
/proc/29319/task/29322/stat : 29322 (satake) R 29317 29319 27791 0 -1 4202560 2054 0 0 0 0 8 0 0 20 0 17 0 631530698 155766784 28284 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=152116 CPUtime=0.14
/proc/29319/task/29323/stat : 29323 (satake) R 29317 29319 27791 0 -1 4202560 3020 0 0 0 0 14 0 0 20 0 17 0 631530698 155766784 28284 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=152116 CPUtime=0.06
/proc/29319/task/29324/stat : 29324 (satake) R 29317 29319 27791 0 -1 4202560 1127 0 0 0 0 6 0 0 20 0 17 0 631530698 155766784 28285 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=152116 CPUtime=0.06
/proc/29319/task/29325/stat : 29325 (satake) R 29317 29319 27791 0 -1 4202560 1230 0 0 0 0 6 0 0 20 0 17 0 631530698 155766784 28289 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=152116 CPUtime=0.1
/proc/29319/task/29326/stat : 29326 (satake) R 29317 29319 27791 0 -1 4202560 2194 0 0 0 0 10 0 0 20 0 17 0 631530698 155766784 28309 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=152116 CPUtime=0.02
/proc/29319/task/29327/stat : 29327 (satake) R 29317 29319 27791 0 -1 4202560 655 0 0 0 0 2 0 0 20 0 17 0 631530698 155766784 28336 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=152116 CPUtime=0.08
/proc/29319/task/29328/stat : 29328 (satake) R 29317 29319 27791 0 -1 4202560 1919 0 0 0 0 8 0 0 20 0 17 0 631530698 155766784 28356 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=152116 CPUtime=0.1
/proc/29319/task/29329/stat : 29329 (satake) R 29317 29319 27791 0 -1 4202560 2851 0 0 0 0 10 0 0 20 0 17 0 631530698 155766784 28382 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=152116 CPUtime=0.06
/proc/29319/task/29330/stat : 29330 (satake) R 29317 29319 27791 0 -1 4202560 1099 0 0 0 2 4 0 0 20 0 17 0 631530698 155766784 28408 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=152116 CPUtime=0.04
/proc/29319/task/29331/stat : 29331 (satake) R 29317 29319 27791 0 -1 4202560 896 0 0 0 0 4 0 0 20 0 17 0 631530698 155766784 28426 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=152116 CPUtime=0.06
/proc/29319/task/29332/stat : 29332 (satake) R 29317 29319 27791 0 -1 4202560 1658 0 0 0 0 6 0 0 20 0 17 0 631530698 155766784 28446 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=152116 CPUtime=0.06
/proc/29319/task/29333/stat : 29333 (satake) R 29317 29319 27791 0 -1 4202560 1650 0 0 0 0 6 0 0 20 0 17 0 631530698 155766784 28463 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=152116 CPUtime=0.12
/proc/29319/task/29334/stat : 29334 (satake) R 29317 29319 27791 0 -1 4202560 3033 0 0 0 0 12 0 0 20 0 17 0 631530699 155766784 28479 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=152116 CPUtime=0.08
/proc/29319/task/29335/stat : 29335 (satake) R 29317 29319 27791 0 -1 4202560 2100 0 0 0 0 8 0 0 20 0 17 0 631530699 155766784 28484 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 152116

[startup+0.307927 s]
/proc/loadavg: 15.14 13.39 11.20 2/184 29319
/proc/meminfo: memFree=19137980/36427776 swapFree=4312/8340
[pid=29319] ppid=29317 vsize=182560 CPUtime=1.87
/proc/29319/stat : 29319 (satake) S 29317 29319 27791 0 -1 4202496 33191 0 0 0 2 185 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29319/statm: 45640 33145 63 164 0 45475 0
[pid=29319/tid=29320] ppid=29317 vsize=182560 CPUtime=0
/proc/29319/task/29320/stat : 29320 (satake) S 29317 29319 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29321] ppid=29317 vsize=182560 CPUtime=0.16
/proc/29319/task/29321/stat : 29321 (satake) D 29317 29319 27791 0 -1 4202560 3145 0 0 0 0 16 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=182560 CPUtime=0.12
/proc/29319/task/29322/stat : 29322 (satake) D 29317 29319 27791 0 -1 4202560 2410 0 0 0 0 12 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=182560 CPUtime=0.2
/proc/29319/task/29323/stat : 29323 (satake) D 29317 29319 27791 0 -1 4202560 3259 0 0 0 0 20 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=182560 CPUtime=0.08
/proc/29319/task/29324/stat : 29324 (satake) D 29317 29319 27791 0 -1 4202560 1421 0 0 0 0 8 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=182560 CPUtime=0.08
/proc/29319/task/29325/stat : 29325 (satake) D 29317 29319 27791 0 -1 4202560 1527 0 0 0 0 8 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=182560 CPUtime=0.14
/proc/29319/task/29326/stat : 29326 (satake) D 29317 29319 27791 0 -1 4202560 2546 0 0 0 0 14 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=182560 CPUtime=0.08
/proc/29319/task/29327/stat : 29327 (satake) D 29317 29319 27791 0 -1 4202560 1107 0 0 0 0 8 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=182560 CPUtime=0.12
/proc/29319/task/29328/stat : 29328 (satake) D 29317 29319 27791 0 -1 4202560 2226 0 0 0 0 12 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=182560 CPUtime=0.16
/proc/29319/task/29329/stat : 29329 (satake) R 29317 29319 27791 0 -1 4202560 3134 0 0 0 0 16 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29319/tid=29330] ppid=29317 vsize=182560 CPUtime=0.08
/proc/29319/task/29330/stat : 29330 (satake) D 29317 29319 27791 0 -1 4202560 1374 0 0 0 2 6 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29319/tid=29331] ppid=29317 vsize=182560 CPUtime=0.08
/proc/29319/task/29331/stat : 29331 (satake) D 29317 29319 27791 0 -1 4202560 1182 0 0 0 0 8 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29332] ppid=29317 vsize=182560 CPUtime=0.1
/proc/29319/task/29332/stat : 29332 (satake) D 29317 29319 27791 0 -1 4202560 1958 0 0 0 0 10 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29319/tid=29333] ppid=29317 vsize=182560 CPUtime=0.1
/proc/29319/task/29333/stat : 29333 (satake) D 29317 29319 27791 0 -1 4202560 1981 0 0 0 0 10 0 0 20 0 17 0 631530698 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29319/tid=29334] ppid=29317 vsize=182560 CPUtime=0.2
/proc/29319/task/29334/stat : 29334 (satake) D 29317 29319 27791 0 -1 4202560 3331 0 0 0 0 20 0 0 20 0 17 0 631530699 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29319/tid=29335] ppid=29317 vsize=182560 CPUtime=0.12
/proc/29319/task/29335/stat : 29335 (satake) D 29317 29319 27791 0 -1 4202560 2461 0 0 0 0 12 0 0 20 0 17 0 631530699 186941440 33145 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 182560

[startup+0.703055 s]
/proc/loadavg: 15.14 13.39 11.20 2/184 29319
/proc/meminfo: memFree=19137980/36427776 swapFree=4312/8340
[pid=29319] ppid=29317 vsize=218408 CPUtime=3.88
/proc/29319/stat : 29319 (satake) S 29317 29319 27791 0 -1 4202496 48249 0 0 0 18 370 0 0 20 0 17 0 631530698 223649792 48203 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29319/statm: 54602 48205 63 164 0 54437 0
[pid=29319/tid=29320] ppid=29317 vsize=212776 CPUtime=0
/proc/29319/task/29320/stat : 29320 (satake) S 29317 29319 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631530698 217882624 48205 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29321] ppid=29317 vsize=212776 CPUtime=0.3
/proc/29319/task/29321/stat : 29321 (satake) S 29317 29319 27791 0 -1 4202560 3634 0 0 0 4 26 0 0 20 0 17 0 631530698 217882624 48209 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=29319/tid=29322] ppid=29317 vsize=212776 CPUtime=0.22
/proc/29319/task/29322/stat : 29322 (satake) R 29317 29319 27791 0 -1 4202560 3387 0 0 0 0 22 0 0 20 0 17 0 631530698 217882624 48211 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29323] ppid=29317 vsize=212776 CPUtime=0.36
/proc/29319/task/29323/stat : 29323 (satake) R 29317 29319 27791 0 -1 4202560 3910 0 0 0 4 32 0 0 20 0 17 0 631530698 217882624 48211 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29319/tid=29324] ppid=29317 vsize=212776 CPUtime=0.2
/proc/29319/task/29324/stat : 29324 (satake) R 29317 29319 27791 0 -1 4202560 2707 0 0 0 0 20 0 0 20 0 17 0 631530698 217882624 48211 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134666192 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29319/tid=29325] ppid=29317 vsize=212776 CPUtime=0.2
/proc/29319/task/29325/stat : 29325 (satake) D 29317 29319 27791 0 -1 4202560 2809 0 0 0 0 20 0 0 20 0 17 0 631530698 217882624 48211 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29326] ppid=29317 vsize=212776 CPUtime=0.24
/proc/29319/task/29326/stat : 29326 (satake) S 29317 29319 27791 0 -1 4202560 3429 0 0 0 0 24 0 0 20 0 17 0 631530698 217882624 48212 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=29319/tid=29327] ppid=29317 vsize=212776 CPUtime=0.26
/proc/29319/task/29327/stat : 29327 (satake) D 29317 29319 27791 0 -1 4202560 2748 0 0 0 0 26 0 0 20 0 17 0 631530698 217882624 48213 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29319/tid=29328] ppid=29317 vsize=212776 CPUtime=0.22
/proc/29319/task/29328/stat : 29328 (satake) D 29317 29319 27791 0 -1 4202560 3238 0 0 0 0 22 0 0 20 0 17 0 631530698 217882624 48213 18446744073709551615 134512640 135180984 4287889440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29319/tid=29329] ppid=29317 vsize=212776 CPUtime=0.32

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

deleting IPC queue 178716750
deleting IPC queue 178749519
deleting IPC queue 178782288
deleting IPC queue 178815057
deleting IPC queue 178847826
deleting IPC queue 178880595
deleting IPC queue 178913364
deleting IPC queue 178946133
deleting IPC queue 178978902
deleting IPC queue 179011671
deleting IPC queue 179044440
deleting IPC queue 179077209
deleting IPC queue 179109978
deleting IPC queue 179142747
deleting IPC queue 179175516
deleting IPC queue 179208285
deleting IPC queue 179241054
deleting IPC queue 179273823
deleting IPC queue 179306592
deleting IPC queue 179339361
deleting IPC queue 179372130
deleting IPC queue 179404899
deleting IPC queue 179437668
deleting IPC queue 179470437
deleting IPC queue 179503206
deleting IPC queue 179535975
deleting IPC queue 179568744
deleting IPC queue 179601513
deleting IPC queue 179634282
deleting IPC queue 179667051
deleting IPC queue 179699820
deleting IPC queue 179732589
deleting IPC queue 179765358
deleting IPC queue 179798127
deleting IPC queue 179830896
deleting IPC queue 179863665
deleting IPC queue 179896434
deleting IPC queue 179929203
deleting IPC queue 179961972
deleting IPC queue 179994741
deleting IPC queue 180027510
deleting IPC queue 180060279
deleting IPC queue 180093048
deleting IPC queue 180125817
deleting IPC queue 180158586
deleting IPC queue 180191355
deleting IPC queue 180224124
deleting IPC queue 180256893
deleting IPC queue 180289662
deleting IPC queue 180322431
deleting IPC queue 180355200
deleting IPC queue 180387969
deleting IPC queue 180420738
deleting IPC queue 180453507
deleting IPC queue 180486276
deleting IPC queue 180519045
deleting IPC queue 180551814
deleting IPC queue 180584583
deleting IPC queue 180617352
deleting IPC queue 180650121
deleting IPC queue 180682890
deleting IPC queue 180715659
deleting IPC queue 180748428
deleting IPC queue 180781197
deleting IPC queue 180813966
deleting IPC queue 180846735
deleting IPC queue 180879504
deleting IPC queue 180912273
deleting IPC queue 180945042
deleting IPC queue 180977811
deleting IPC queue 181010580
deleting IPC queue 181043349
deleting IPC queue 181076118
deleting IPC queue 181108887
deleting IPC queue 181141656
deleting IPC queue 181174425
deleting IPC queue 181207194
deleting IPC queue 181239963
deleting IPC queue 181272732
deleting IPC queue 181305501
deleting IPC queue 181338270
deleting IPC queue 181371039
deleting IPC queue 181403808
deleting IPC queue 181436577
deleting IPC queue 181469346
deleting IPC queue 181502115
deleting IPC queue 181534884
deleting IPC queue 181567653
deleting IPC queue 181600422
deleting IPC queue 181633191
deleting IPC queue 181665960
deleting IPC queue 181698729
deleting IPC queue 181731498
deleting IPC queue 181764267
deleting IPC queue 181797036
deleting IPC queue 181829805
deleting IPC queue 181862574
deleting IPC queue 181895343
deleting IPC queue 181928112
deleting IPC queue 181960881
deleting IPC queue 181993650
deleting IPC queue 182026419
deleting IPC queue 182059188
deleting IPC queue 182091957
deleting IPC queue 182124726
deleting IPC queue 182157495
deleting IPC queue 182190264
deleting IPC queue 182223033
deleting IPC queue 182255802
deleting IPC queue 182288571
deleting IPC queue 182321340
deleting IPC queue 182354109
deleting IPC queue 182386878
deleting IPC queue 182419647
deleting IPC queue 182452416
deleting IPC queue 182485185
deleting IPC queue 182517954
deleting IPC queue 182550723
deleting IPC queue 182583492
deleting IPC queue 182616261
deleting IPC queue 182649030
deleting IPC queue 182681799
deleting IPC queue 182714568
deleting IPC queue 182747337
deleting IPC queue 182780106
deleting IPC queue 182812875
deleting IPC queue 182845644
deleting IPC queue 182878413
deleting IPC queue 182911182
deleting IPC queue 182943951
deleting IPC queue 182976720
deleting IPC queue 183009489
deleting IPC queue 183042258
deleting IPC queue 183075027
deleting IPC queue 183107796
deleting IPC queue 183140565
deleting IPC queue 183173334
deleting IPC queue 183206103
deleting IPC queue 183238872
deleting IPC queue 183271641
deleting IPC queue 183304410
deleting IPC queue 183337179
deleting IPC queue 183369948
deleting IPC queue 183402717
deleting IPC queue 183435486
deleting IPC queue 183468255
deleting IPC queue 183501024
deleting IPC queue 183533793
deleting IPC queue 183566562
deleting IPC queue 183599331
deleting IPC queue 183632100
deleting IPC queue 183664869
deleting IPC queue 183697638
deleting IPC queue 183730407
deleting IPC queue 183763176
deleting IPC queue 183795945
deleting IPC queue 183828714
deleting IPC queue 183861483
deleting IPC queue 183894252
deleting IPC queue 183927021
deleting IPC queue 183959790
deleting IPC queue 183992559
deleting IPC queue 184025328
deleting IPC queue 184058097
deleting IPC queue 184090866
deleting IPC queue 184123635
deleting IPC queue 184156404
deleting IPC queue 184189173
deleting IPC queue 184221942
deleting IPC queue 184254711
deleting IPC queue 184287480
deleting IPC queue 184320249
deleting IPC queue 184353018
deleting IPC queue 184385787
deleting IPC queue 184418556
deleting IPC queue 184451325
deleting IPC queue 184484094
deleting IPC queue 184516863

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3258.85
system time used= 597.617
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258685
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= 54907892
involuntary context switches= 5128968

runsolver used 4.14426 second user time and 12.2688 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 14:10:43
IDJOB=1775817
IDBENCH=20387
IDSOLVER=631
FILE ID=xenhost3-49/1775817-1244722243
PBS_JOBID=
Free space on /tmp= 7030 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775817-1244722243/watcher-1775817-1244722243 -o /tmp/evaluation-result-1775817-1244722243/solver-1775817-1244722243 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775817-1244722243.cnf 16 10000

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

MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED= 1263833312

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:      19137980 kB
Buffers:        432096 kB
Cached:       14110480 kB
SwapCached:          0 kB
Active:        4076748 kB
Inactive:     10473504 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           11304 kB
Writeback:           0 kB
AnonPages:        8340 kB
Mapped:           3648 kB
Slab:           687400 kB
SReclaimable:   660696 kB
SUnreclaim:      26704 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7030 MiB
End job on xenhost3-49 at 2009-06-11 14:27:26