Trace number 1776537

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
MD5SUM776da55785376fd8eac6989ca812b102
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 variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

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-1776537-1244750530/watcher-1776537-1244750530 -o /tmp/evaluation-result-1776537-1244750530/solver-1776537-1244750530 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776537-1244750530.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: 7.16 7.38 7.07 2/184 32490
/proc/meminfo: memFree=18983788/36427776 swapFree=4116/8396
[pid=32490] ppid=32488 vsize=6548 CPUtime=0
/proc/32490/stat : 32490 (satake) S 32488 32490 27791 0 -1 4202496 479 0 0 0 0 0 0 0 20 0 17 0 634359828 6705152 436 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32490/statm: 1637 451 63 164 0 1472 0
[pid=32490/tid=32491] ppid=32488 vsize=6680 CPUtime=0
/proc/32490/task/32491/stat : 32491 (satake) S 32488 32490 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634359829 6840320 473 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32492] ppid=32488 vsize=6680 CPUtime=0
/proc/32490/task/32492/stat : 32492 (satake) D 32488 32490 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 634359829 6840320 477 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32493] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32493/stat : 32493 (satake) S 32488 32490 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 477 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32494] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32494/stat : 32494 (satake) D 32488 32490 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 480 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32495] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32495/stat : 32495 (satake) D 32488 32490 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 482 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32496] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32496/stat : 32496 (satake) R 32488 32490 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 484 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32490/tid=32497] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32497/stat : 32497 (satake) R 32488 32490 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 484 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32498] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32498/stat : 32498 (satake) S 32488 32490 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 487 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32490/tid=32499] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32499/stat : 32499 (satake) S 32488 32490 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 489 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=32490/tid=32500] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32500/stat : 32500 (satake) S 32488 32490 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 492 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32501] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32501/stat : 32501 (satake) R 32488 32490 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 493 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32490/tid=32502] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32502/stat : 32502 (satake) R 32488 32490 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 499 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32490/tid=32503] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32503/stat : 32503 (satake) R 32488 32490 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 505 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32490/tid=32504] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32504/stat : 32504 (satake) D 32488 32490 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 507 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32490/tid=32505] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32505/stat : 32505 (satake) D 32488 32490 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 510 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32490/tid=32506] ppid=32488 vsize=6812 CPUtime=0
/proc/32490/task/32506/stat : 32506 (satake) D 32488 32490 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 634359829 6975488 511 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.114236 s]
/proc/loadavg: 7.16 7.38 7.07 2/184 32490
/proc/meminfo: memFree=18983788/36427776 swapFree=4116/8396
[pid=32490] ppid=32488 vsize=95672 CPUtime=0.7
/proc/32490/stat : 32490 (satake) S 32488 32490 27791 0 -1 4202496 17827 0 0 0 0 70 0 0 20 0 17 0 634359828 97968128 17772 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32490/statm: 23918 17838 63 164 0 23753 0
[pid=32490/tid=32491] ppid=32488 vsize=95672 CPUtime=0
/proc/32490/task/32491/stat : 32491 (satake) S 32488 32490 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634359829 97968128 17873 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32492] ppid=32488 vsize=95672 CPUtime=0.06
/proc/32490/task/32492/stat : 32492 (satake) R 32488 32490 27791 0 -1 4202560 1420 0 0 0 0 6 0 0 20 0 17 0 634359829 97968128 17895 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32493] ppid=32488 vsize=95672 CPUtime=0
/proc/32490/task/32493/stat : 32493 (satake) R 32488 32490 27791 0 -1 4202560 310 0 0 0 0 0 0 0 20 0 17 0 634359829 97968128 17937 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32494] ppid=32488 vsize=95672 CPUtime=0.06
/proc/32490/task/32494/stat : 32494 (satake) R 32488 32490 27791 0 -1 4202560 1301 0 0 0 0 6 0 0 20 0 17 0 634359829 97968128 17971 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32495] ppid=32488 vsize=95672 CPUtime=0.06
/proc/32490/task/32495/stat : 32495 (satake) R 32488 32490 27791 0 -1 4202560 1655 0 0 0 0 6 0 0 20 0 17 0 634359829 97968128 17991 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32496] ppid=32488 vsize=95672 CPUtime=0.06
/proc/32490/task/32496/stat : 32496 (satake) R 32488 32490 27791 0 -1 4202560 1858 0 0 0 0 6 0 0 20 0 17 0 634359829 97968128 18018 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32490/tid=32497] ppid=32488 vsize=95672 CPUtime=0.02
/proc/32490/task/32497/stat : 32497 (satake) R 32488 32490 27791 0 -1 4202560 408 0 0 0 0 2 0 0 20 0 17 0 634359829 97968128 18032 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32498] ppid=32488 vsize=95672 CPUtime=0.06
/proc/32490/task/32498/stat : 32498 (satake) R 32488 32490 27791 0 -1 4202560 1853 0 0 0 0 6 0 0 20 0 17 0 634359829 97968128 18058 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32490/tid=32499] ppid=32488 vsize=95672 CPUtime=0.06
/proc/32490/task/32499/stat : 32499 (satake) R 32488 32490 27791 0 -1 4202560 1628 0 0 0 0 6 0 0 20 0 17 0 634359829 97968128 18089 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32490/tid=32500] ppid=32488 vsize=95672 CPUtime=0.02
/proc/32490/task/32500/stat : 32500 (satake) R 32488 32490 27791 0 -1 4202560 471 0 0 0 0 2 0 0 20 0 17 0 634359829 97968128 18106 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32501] ppid=32488 vsize=95672 CPUtime=0.04
/proc/32490/task/32501/stat : 32501 (satake) R 32488 32490 27791 0 -1 4202560 1001 0 0 0 0 4 0 0 20 0 17 0 634359829 97968128 18132 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32490/tid=32502] ppid=32488 vsize=95672 CPUtime=0.06
/proc/32490/task/32502/stat : 32502 (satake) R 32488 32490 27791 0 -1 4202560 1706 0 0 0 0 6 0 0 20 0 17 0 634359829 97968128 18171 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32490/tid=32503] ppid=32488 vsize=95672 CPUtime=0.04
/proc/32490/task/32503/stat : 32503 (satake) R 32488 32490 27791 0 -1 4202560 1484 0 0 0 0 4 0 0 20 0 17 0 634359829 97968128 18196 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32490/tid=32504] ppid=32488 vsize=95672 CPUtime=0.08
/proc/32490/task/32504/stat : 32504 (satake) R 32488 32490 27791 0 -1 4202560 1684 0 0 0 0 8 0 0 20 0 17 0 634359829 97968128 18215 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32490/tid=32505] ppid=32488 vsize=95672 CPUtime=0.02
/proc/32490/task/32505/stat : 32505 (satake) R 32488 32490 27791 0 -1 4202560 422 0 0 0 0 2 0 0 20 0 17 0 634359829 97968128 18238 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32490/tid=32506] ppid=32488 vsize=95672 CPUtime=0.02
/proc/32490/task/32506/stat : 32506 (satake) R 32488 32490 27791 0 -1 4202560 815 0 0 0 0 2 0 0 20 0 17 0 634359829 97968128 18267 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 95672

[startup+0.207615 s]
/proc/loadavg: 7.16 7.38 7.07 2/184 32490
/proc/meminfo: memFree=18983788/36427776 swapFree=4116/8396
[pid=32490] ppid=32488 vsize=198072 CPUtime=1.58
/proc/32490/stat : 32490 (satake) S 32488 32490 27791 0 -1 4202496 35979 0 0 0 0 158 0 0 20 0 17 0 634359828 202825728 35918 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32490/statm: 49518 35922 63 164 0 49353 0
[pid=32490/tid=32491] ppid=32488 vsize=198072 CPUtime=0
/proc/32490/task/32491/stat : 32491 (satake) S 32488 32490 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634359829 202825728 35923 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32492] ppid=32488 vsize=198072 CPUtime=0.08
/proc/32490/task/32492/stat : 32492 (satake) R 32488 32490 27791 0 -1 4202560 1906 0 0 0 0 8 0 0 20 0 17 0 634359829 202825728 35924 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32493] ppid=32488 vsize=198072 CPUtime=0.06
/proc/32490/task/32493/stat : 32493 (satake) R 32488 32490 27791 0 -1 4202560 1236 0 0 0 0 6 0 0 20 0 17 0 634359829 202825728 35939 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32494] ppid=32488 vsize=198072 CPUtime=0.14
/proc/32490/task/32494/stat : 32494 (satake) R 32488 32490 27791 0 -1 4202560 2955 0 0 0 0 14 0 0 20 0 17 0 634359829 202825728 35977 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32495] ppid=32488 vsize=198072 CPUtime=0.1
/proc/32490/task/32495/stat : 32495 (satake) R 32488 32490 27791 0 -1 4202560 2707 0 0 0 0 10 0 0 20 0 17 0 634359829 202825728 35992 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32496] ppid=32488 vsize=198072 CPUtime=0.14
/proc/32490/task/32496/stat : 32496 (satake) R 32488 32490 27791 0 -1 4202560 3667 0 0 0 0 14 0 0 20 0 17 0 634359829 202825728 36015 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32490/tid=32497] ppid=32488 vsize=198072 CPUtime=0.04
/proc/32490/task/32497/stat : 32497 (satake) R 32488 32490 27791 0 -1 4202560 1058 0 0 0 0 4 0 0 20 0 17 0 634359829 202825728 36042 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32498] ppid=32488 vsize=198072 CPUtime=0.14
/proc/32490/task/32498/stat : 32498 (satake) R 32488 32490 27791 0 -1 4202560 3696 0 0 0 0 14 0 0 20 0 17 0 634359829 202825728 36062 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32490/tid=32499] ppid=32488 vsize=198072 CPUtime=0.14
/proc/32490/task/32499/stat : 32499 (satake) R 32488 32490 27791 0 -1 4202560 3050 0 0 0 0 14 0 0 20 0 17 0 634359829 202825728 36093 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32490/tid=32500] ppid=32488 vsize=198072 CPUtime=0.08
/proc/32490/task/32500/stat : 32500 (satake) R 32488 32490 27791 0 -1 4202560 1810 0 0 0 0 8 0 0 20 0 17 0 634359829 202825728 36126 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32490/tid=32501] ppid=32488 vsize=198072 CPUtime=0.12
/proc/32490/task/32501/stat : 32501 (satake) R 32488 32490 27791 0 -1 4202560 2372 0 0 0 0 12 0 0 20 0 17 0 634359829 202825728 36153 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32490/tid=32502] ppid=32488 vsize=198072 CPUtime=0.14
/proc/32490/task/32502/stat : 32502 (satake) R 32488 32490 27791 0 -1 4202560 3230 0 0 0 0 14 0 0 20 0 17 0 634359829 202825728 36172 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32490/tid=32503] ppid=32488 vsize=198072 CPUtime=0.1
/proc/32490/task/32503/stat : 32503 (satake) R 32488 32490 27791 0 -1 4202560 2822 0 0 0 0 10 0 0 20 0 17 0 634359829 202825728 36204 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32490/tid=32504] ppid=32488 vsize=198072 CPUtime=0.14
/proc/32490/task/32504/stat : 32504 (satake) R 32488 32490 27791 0 -1 4202560 3292 0 0 0 0 14 0 0 20 0 17 0 634359829 202825728 36223 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32490/tid=32505] ppid=32488 vsize=198072 CPUtime=0.04
/proc/32490/task/32505/stat : 32505 (satake) R 32488 32490 27791 0 -1 4202560 1036 0 0 0 0 4 0 0 20 0 17 0 634359829 202825728 36242 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32490/tid=32506] ppid=32488 vsize=198072 CPUtime=0.04
/proc/32490/task/32506/stat : 32506 (satake) R 32488 32490 27791 0 -1 4202560 1176 0 0 0 0 4 0 0 20 0 17 0 634359829 202825728 36261 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 198072

[startup+0.306266 s]
/proc/loadavg: 7.16 7.38 7.07 2/184 32490
/proc/meminfo: memFree=18983788/36427776 swapFree=4116/8396
[pid=32490] ppid=32488 vsize=349624 CPUtime=2.53
/proc/32490/stat : 32490 (satake) S 32488 32490 27791 0 -1 4202496 58298 0 0 0 0 253 0 0 20 0 17 0 634359828 358014976 58247 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32490/statm: 87406 58310 63 164 0 87241 0
[pid=32490/tid=32491] ppid=32488 vsize=349624 CPUtime=0
/proc/32490/task/32491/stat : 32491 (satake) S 32488 32490 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634359829 358014976 58335 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32492] ppid=32488 vsize=349624 CPUtime=0.14
/proc/32490/task/32492/stat : 32492 (satake) R 32488 32490 27791 0 -1 4202560 3099 0 0 0 0 14 0 0 20 0 17 0 634359829 358014976 58361 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32493] ppid=32488 vsize=349624 CPUtime=0.1
/proc/32490/task/32493/stat : 32493 (satake) R 32488 32490 27791 0 -1 4202560 2069 0 0 0 0 10 0 0 20 0 17 0 634359829 358014976 58388 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32494] ppid=32488 vsize=349624 CPUtime=0.22
/proc/32490/task/32494/stat : 32494 (satake) R 32488 32490 27791 0 -1 4202560 5051 0 0 0 0 22 0 0 20 0 17 0 634359829 358014976 58438 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32495] ppid=32488 vsize=349624 CPUtime=0.14
/proc/32490/task/32495/stat : 32495 (satake) R 32488 32490 27791 0 -1 4202560 3837 0 0 0 0 14 0 0 20 0 17 0 634359829 358014976 58461 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32496] ppid=32488 vsize=349624 CPUtime=0.24
/proc/32490/task/32496/stat : 32496 (satake) R 32488 32490 27791 0 -1 4202560 5735 0 0 0 0 24 0 0 20 0 17 0 634359829 358014976 58478 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32490/tid=32497] ppid=32488 vsize=349624 CPUtime=0.1
/proc/32490/task/32497/stat : 32497 (satake) R 32488 32490 27791 0 -1 4202560 2393 0 0 0 0 10 0 0 20 0 17 0 634359829 358014976 58495 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32498] ppid=32488 vsize=349624 CPUtime=0.24
/proc/32490/task/32498/stat : 32498 (satake) R 32488 32490 27791 0 -1 4202560 5788 0 0 0 0 24 0 0 20 0 17 0 634359829 358014976 58512 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32490/tid=32499] ppid=32488 vsize=349624 CPUtime=0.22
/proc/32490/task/32499/stat : 32499 (satake) R 32488 32490 27791 0 -1 4202560 5064 0 0 0 0 22 0 0 20 0 17 0 634359829 358014976 58536 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32490/tid=32500] ppid=32488 vsize=349624 CPUtime=0.16
/proc/32490/task/32500/stat : 32500 (satake) R 32488 32490 27791 0 -1 4202560 3520 0 0 0 0 16 0 0 20 0 17 0 634359829 358014976 58561 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32490/tid=32501] ppid=32488 vsize=349624 CPUtime=0.16
/proc/32490/task/32501/stat : 32501 (satake) R 32488 32490 27791 0 -1 4202560 3219 0 0 0 0 16 0 0 20 0 17 0 634359829 358014976 58586 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32490/tid=32502] ppid=32488 vsize=349624 CPUtime=0.24
/proc/32490/task/32502/stat : 32502 (satake) R 32488 32490 27791 0 -1 4202560 5036 0 0 0 0 24 0 0 20 0 17 0 634359829 358014976 58603 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32490/tid=32503] ppid=32488 vsize=349624 CPUtime=0.12
/proc/32490/task/32503/stat : 32503 (satake) R 32488 32490 27791 0 -1 4202560 3169 0 0 0 0 12 0 0 20 0 17 0 634359829 358014976 58622 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32490/tid=32504] ppid=32488 vsize=349624 CPUtime=0.24
/proc/32490/task/32504/stat : 32504 (satake) R 32488 32490 27791 0 -1 4202560 5271 0 0 0 0 24 0 0 20 0 17 0 634359829 358014976 58644 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32490/tid=32505] ppid=32488 vsize=349624 CPUtime=0.1
/proc/32490/task/32505/stat : 32505 (satake) R 32488 32490 27791 0 -1 4202560 2851 0 0 0 0 10 0 0 20 0 17 0 634359829 358014976 58670 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32490/tid=32506] ppid=32488 vsize=349624 CPUtime=0.08
/proc/32490/task/32506/stat : 32506 (satake) R 32488 32490 27791 0 -1 4202560 2357 0 0 0 0 8 0 0 20 0 17 0 634359829 358014976 58708 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 349624

[startup+0.702283 s]
/proc/loadavg: 7.16 7.38 7.07 2/184 32490
/proc/meminfo: memFree=18983788/36427776 swapFree=4116/8396
[pid=32490] ppid=32488 vsize=824760 CPUtime=6.44
/proc/32490/stat : 32490 (satake) S 32488 32490 27791 0 -1 4202496 152110 0 0 0 0 644 0 0 20 0 17 0 634359828 844554240 152049 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32490/statm: 206190 152051 63 164 0 206025 0
[pid=32490/tid=32491] ppid=32488 vsize=824760 CPUtime=0
/proc/32490/task/32491/stat : 32491 (satake) S 32488 32490 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634359829 844554240 152051 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32492] ppid=32488 vsize=824760 CPUtime=0.3
/proc/32490/task/32492/stat : 32492 (satake) R 32488 32490 27791 0 -1 4202560 7678 0 0 0 0 30 0 0 20 0 17 0 634359829 844554240 152052 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32493] ppid=32488 vsize=824760 CPUtime=0.26
/proc/32490/task/32493/stat : 32493 (satake) R 32488 32490 27791 0 -1 4202560 6495 0 0 0 0 26 0 0 20 0 17 0 634359829 844554240 152054 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32490/tid=32494] ppid=32488 vsize=824760 CPUtime=0.56
/proc/32490/task/32494/stat : 32494 (satake) R 32488 32490 27791 0 -1 4202560 13125 0 0 0 0 56 0 0 20 0 17 0 634359829 844554240 152057 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32490/tid=32495] ppid=32488 vsize=824760 CPUtime=0.32
/proc/32490/task/32495/stat : 32495 (satake) R 32488 32490 27791 0 -1 4202560 8694 0 0 0 0 32 0 0 20 0 17 0 634359829 844554240 152059 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32496] ppid=32488 vsize=824760 CPUtime=0.58
/proc/32490/task/32496/stat : 32496 (satake) R 32488 32490 27791 0 -1 4202560 14660 0 0 0 0 58 0 0 20 0 17 0 634359829 844554240 152060 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32490/tid=32497] ppid=32488 vsize=824760 CPUtime=0.26
/proc/32490/task/32497/stat : 32497 (satake) R 32488 32490 27791 0 -1 4202560 7114 0 0 0 0 26 0 0 20 0 17 0 634359829 844554240 152067 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32490/tid=32498] ppid=32488 vsize=824760 CPUtime=0.58
/proc/32490/task/32498/stat : 32498 (satake) R 32488 32490 27791 0 -1 4202560 13697 0 0 0 0 58 0 0 20 0 17 0 634359829 844554240 152089 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32490/tid=32499] ppid=32488 vsize=824760 CPUtime=0.58
/proc/32490/task/32499/stat : 32499 (satake) R 32488 32490 27791 0 -1 4202560 13875 0 0 0 0 58 0 0 20 0 17 0 634359829 844554240 152104 18446744073709551615 134512640 135180984 4293477760 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32490/tid=32500] ppid=32488 vsize=824760 CPUtime=0.52

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

deleting IPC queue 581369934
deleting IPC queue 581402703
deleting IPC queue 581435472
deleting IPC queue 581468241
deleting IPC queue 581501010
deleting IPC queue 581533779
deleting IPC queue 581566548
deleting IPC queue 581599317
deleting IPC queue 581632086
deleting IPC queue 581664855
deleting IPC queue 581697624
deleting IPC queue 581730393
deleting IPC queue 581763162
deleting IPC queue 581795931
deleting IPC queue 581828700
deleting IPC queue 581861469
deleting IPC queue 581894238
deleting IPC queue 581927007
deleting IPC queue 581959776
deleting IPC queue 581992545
deleting IPC queue 582025314
deleting IPC queue 582058083
deleting IPC queue 582090852
deleting IPC queue 582123621
deleting IPC queue 582156390
deleting IPC queue 582189159
deleting IPC queue 582221928
deleting IPC queue 582254697
deleting IPC queue 582287466
deleting IPC queue 582320235
deleting IPC queue 582353004
deleting IPC queue 582385773
deleting IPC queue 582418542
deleting IPC queue 582451311
deleting IPC queue 582484080
deleting IPC queue 582516849
deleting IPC queue 582549618
deleting IPC queue 582582387
deleting IPC queue 582615156
deleting IPC queue 582647925
deleting IPC queue 582680694
deleting IPC queue 582713463
deleting IPC queue 582746232
deleting IPC queue 582779001
deleting IPC queue 582811770
deleting IPC queue 582844539
deleting IPC queue 582877308
deleting IPC queue 582910077
deleting IPC queue 582942846
deleting IPC queue 582975615
deleting IPC queue 583008384
deleting IPC queue 583041153
deleting IPC queue 583073922
deleting IPC queue 583106691
deleting IPC queue 583139460
deleting IPC queue 583172229
deleting IPC queue 583204998
deleting IPC queue 583237767
deleting IPC queue 583270536
deleting IPC queue 583303305
deleting IPC queue 583336074
deleting IPC queue 583368843
deleting IPC queue 583401612
deleting IPC queue 583434381
deleting IPC queue 583467150
deleting IPC queue 583499919
deleting IPC queue 583532688
deleting IPC queue 583565457
deleting IPC queue 583598226
deleting IPC queue 583630995
deleting IPC queue 583663764
deleting IPC queue 583696533
deleting IPC queue 583729302
deleting IPC queue 583762071
deleting IPC queue 583794840
deleting IPC queue 583827609
deleting IPC queue 583860378
deleting IPC queue 583893147
deleting IPC queue 583925916
deleting IPC queue 583958685
deleting IPC queue 583991454
deleting IPC queue 584024223
deleting IPC queue 584056992
deleting IPC queue 584089761
deleting IPC queue 584122530
deleting IPC queue 584155299
deleting IPC queue 584188068
deleting IPC queue 584220837
deleting IPC queue 584253606
deleting IPC queue 584286375
deleting IPC queue 584319144
deleting IPC queue 584351913
deleting IPC queue 584384682
deleting IPC queue 584417451
deleting IPC queue 584450220
deleting IPC queue 584482989
deleting IPC queue 584515758
deleting IPC queue 584548527
deleting IPC queue 584581296
deleting IPC queue 584614065
deleting IPC queue 584646834
deleting IPC queue 584679603
deleting IPC queue 584712372
deleting IPC queue 584745141
deleting IPC queue 584777910
deleting IPC queue 584810679
deleting IPC queue 584843448
deleting IPC queue 584876217
deleting IPC queue 584908986
deleting IPC queue 584941755
deleting IPC queue 584974524
deleting IPC queue 585007293
deleting IPC queue 585040062
deleting IPC queue 585072831
deleting IPC queue 585105600
deleting IPC queue 585138369
deleting IPC queue 585171138
deleting IPC queue 585203907
deleting IPC queue 585236676
deleting IPC queue 585269445
deleting IPC queue 585302214
deleting IPC queue 585334983
deleting IPC queue 585367752
deleting IPC queue 585400521
deleting IPC queue 585433290
deleting IPC queue 585466059
deleting IPC queue 585498828
deleting IPC queue 585531597
deleting IPC queue 585564366
deleting IPC queue 585597135
deleting IPC queue 585629904
deleting IPC queue 585662673
deleting IPC queue 585695442
deleting IPC queue 585728211
deleting IPC queue 585760980
deleting IPC queue 585793749
deleting IPC queue 585826518
deleting IPC queue 585859287
deleting IPC queue 585892056
deleting IPC queue 585924825
deleting IPC queue 585957594
deleting IPC queue 585990363
deleting IPC queue 586023132
deleting IPC queue 586055901
deleting IPC queue 586088670
deleting IPC queue 586121439
deleting IPC queue 586154208
deleting IPC queue 586186977
deleting IPC queue 586219746
deleting IPC queue 586252515
deleting IPC queue 586285284
deleting IPC queue 586318053
deleting IPC queue 586350822
deleting IPC queue 586383591
deleting IPC queue 586416360
deleting IPC queue 586449129
deleting IPC queue 586481898
deleting IPC queue 586514667
deleting IPC queue 586547436
deleting IPC queue 586580205
deleting IPC queue 586612974
deleting IPC queue 586645743
deleting IPC queue 586678512
deleting IPC queue 586711281
deleting IPC queue 586744050
deleting IPC queue 586776819
deleting IPC queue 586809588
deleting IPC queue 586842357
deleting IPC queue 586875126
deleting IPC queue 586907895
deleting IPC queue 586940664
deleting IPC queue 586973433
deleting IPC queue 587006202
deleting IPC queue 587038971
deleting IPC queue 587071740
deleting IPC queue 587104509
deleting IPC queue 587137278
deleting IPC queue 587170047

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.016001
system time used= 26.1576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413291
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= 2660
involuntary context switches= 204

runsolver used 0.032002 second user time and 0.128008 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 22:02:10
IDJOB=1776537
IDBENCH=20579
IDSOLVER=631
FILE ID=xenhost3-49/1776537-1244750530
PBS_JOBID=
Free space on /tmp= 6886 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776537-1244750530/watcher-1776537-1244750530 -o /tmp/evaluation-result-1776537-1244750530/solver-1776537-1244750530 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776537-1244750530.cnf 16 10000

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED= 1871518731

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:      18983788 kB
Buffers:        432908 kB
Cached:       14257492 kB
SwapCached:          0 kB
Active:        4078580 kB
Inactive:     10620688 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:          156960 kB
Writeback:           0 kB
AnonPages:        8384 kB
Mapped:           4112 kB
Slab:           692024 kB
SReclaimable:   665172 kB
SUnreclaim:      26852 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 6886 MiB
End job on xenhost3-49 at 2009-06-11 22:02:19