Trace number 1776582

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) 15.221 1.72399

General information on the benchmark

Nameindustrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
MD5SUMc77a56af24208a6401c763e11a38de01
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 variables520770
Number of clauses13380350
Sum of the clauses size39210884
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28710587
Number of clauses of size 34215482
Number of clauses of size 425225
Number of clauses of size 515593
Number of clauses of size over 5413462

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-1776582-1244750848/watcher-1776582-1244750848 -o /tmp/evaluation-result-1776582-1244750848/solver-1776582-1244750848 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776582-1244750848.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: 6.76 6.40 6.65 2/184 32660
/proc/meminfo: memFree=18832180/36427776 swapFree=3976/8640
[pid=32660] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/stat : 32660 (satake) R 32658 32660 27791 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 462 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32660/statm: 1579 462 63 164 0 1414 0
[pid=32660/tid=32661] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32661/stat : 32661 (satake) S 32658 32660 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 462 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32662] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32662/stat : 32662 (satake) R 32658 32660 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 463 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32663] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32663/stat : 32663 (satake) S 32658 32660 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 463 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32664] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32664/stat : 32664 (satake) R 32658 32660 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 464 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32665] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32665/stat : 32665 (satake) S 32658 32660 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 464 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32666] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32666/stat : 32666 (satake) R 32658 32660 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 465 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32667] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32667/stat : 32667 (satake) R 32658 32660 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 469 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32660/tid=32668] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32668/stat : 32668 (satake) R 32658 32660 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 470 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32669] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32669/stat : 32669 (satake) R 32658 32660 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 472 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32670] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32670/stat : 32670 (satake) S 32658 32660 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 472 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32671] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32671/stat : 32671 (satake) R 32658 32660 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 474 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32660/tid=32672] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32672/stat : 32672 (satake) R 32658 32660 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 634392065 6467584 475 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32673] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32673/stat : 32673 (satake) R 32658 32660 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 634392066 6467584 477 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32674] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32674/stat : 32674 (satake) R 32658 32660 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 634392066 6467584 477 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32660/tid=32675] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32675/stat : 32675 (satake) R 32658 32660 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 634392066 6467584 477 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32660/tid=32676] ppid=32658 vsize=6316 CPUtime=0
/proc/32660/task/32676/stat : 32676 (satake) D 32658 32660 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 634392066 6467584 477 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.080641 s]
/proc/loadavg: 6.76 6.40 6.65 2/184 32660
/proc/meminfo: memFree=18832180/36427776 swapFree=3976/8640
[pid=32660] ppid=32658 vsize=47384 CPUtime=0.5
/proc/32660/stat : 32660 (satake) S 32658 32660 27791 0 -1 4202496 7008 0 0 0 3 47 0 0 20 0 17 0 634392065 48521216 6931 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32660/statm: 11846 6935 63 164 0 11681 0
[pid=32660/tid=32661] ppid=32658 vsize=47384 CPUtime=0
/proc/32660/task/32661/stat : 32661 (satake) S 32658 32660 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634392065 48521216 6935 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32662] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32662/stat : 32662 (satake) R 32658 32660 27791 0 -1 4202560 615 0 0 0 0 4 0 0 20 0 17 0 634392065 48521216 6935 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32660/tid=32663] ppid=32658 vsize=47384 CPUtime=0.02
/proc/32660/task/32663/stat : 32663 (satake) R 32658 32660 27791 0 -1 4202560 540 0 0 0 0 2 0 0 20 0 17 0 634392065 48521216 6935 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32664] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32664/stat : 32664 (satake) R 32658 32660 27791 0 -1 4202560 677 0 0 0 0 4 0 0 20 0 17 0 634392065 48521216 6935 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32665] ppid=32658 vsize=47384 CPUtime=0.02
/proc/32660/task/32665/stat : 32665 (satake) R 32658 32660 27791 0 -1 4202560 503 0 0 0 0 2 0 0 20 0 17 0 634392065 48521216 6937 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32666] ppid=32658 vsize=47384 CPUtime=0.02
/proc/32660/task/32666/stat : 32666 (satake) R 32658 32660 27791 0 -1 4202560 160 0 0 0 2 0 0 0 20 0 17 0 634392065 48521216 6939 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32667] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32667/stat : 32667 (satake) R 32658 32660 27791 0 -1 4202560 648 0 0 0 0 4 0 0 20 0 17 0 634392065 48521216 6940 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32660/tid=32668] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32668/stat : 32668 (satake) R 32658 32660 27791 0 -1 4202560 565 0 0 0 0 4 0 0 20 0 17 0 634392065 48521216 6944 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32669] ppid=32658 vsize=47384 CPUtime=0
/proc/32660/task/32669/stat : 32669 (satake) R 32658 32660 27791 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 17 0 634392065 48521216 6945 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32670] ppid=32658 vsize=47384 CPUtime=0
/proc/32660/task/32670/stat : 32670 (satake) R 32658 32660 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 634392065 48521216 6945 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32671] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32671/stat : 32671 (satake) R 32658 32660 27791 0 -1 4202560 580 0 0 0 0 4 0 0 20 0 17 0 634392065 48521216 6945 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32660/tid=32672] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32672/stat : 32672 (satake) R 32658 32660 27791 0 -1 4202560 499 0 0 0 0 4 0 0 20 0 17 0 634392065 48521216 6945 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32673] ppid=32658 vsize=47384 CPUtime=0
/proc/32660/task/32673/stat : 32673 (satake) R 32658 32660 27791 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 17 0 634392066 48521216 6947 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32674] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32674/stat : 32674 (satake) R 32658 32660 27791 0 -1 4202560 583 0 0 0 0 4 0 0 20 0 17 0 634392066 48521216 6950 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32660/tid=32675] ppid=32658 vsize=47384 CPUtime=0.04
/proc/32660/task/32675/stat : 32675 (satake) R 32658 32660 27791 0 -1 4202560 681 0 0 0 0 4 0 0 20 0 17 0 634392066 48521216 6951 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32660/tid=32676] ppid=32658 vsize=47384 CPUtime=0.02
/proc/32660/task/32676/stat : 32676 (satake) R 32658 32660 27791 0 -1 4202560 469 0 0 0 0 2 0 0 20 0 17 0 634392066 48521216 6952 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 47384

[startup+0.109527 s]
/proc/loadavg: 6.76 6.40 6.65 2/184 32660
/proc/meminfo: memFree=18832180/36427776 swapFree=3976/8640
[pid=32660] ppid=32658 vsize=75544 CPUtime=0.76
/proc/32660/stat : 32660 (satake) S 32658 32660 27791 0 -1 4202496 11726 0 0 0 4 72 0 0 20 0 17 0 634392065 77357056 11648 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32660/statm: 18886 11650 63 164 0 18721 0
[pid=32660/tid=32661] ppid=32658 vsize=75544 CPUtime=0
/proc/32660/task/32661/stat : 32661 (satake) S 32658 32660 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634392065 77357056 11651 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32662] ppid=32658 vsize=75544 CPUtime=0.06
/proc/32660/task/32662/stat : 32662 (satake) R 32658 32660 27791 0 -1 4202560 1082 0 0 0 0 6 0 0 20 0 17 0 634392065 77357056 11652 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32660/tid=32663] ppid=32658 vsize=75544 CPUtime=0.04
/proc/32660/task/32663/stat : 32663 (satake) R 32658 32660 27791 0 -1 4202560 923 0 0 0 0 4 0 0 20 0 17 0 634392065 77357056 11652 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32664] ppid=32658 vsize=75544 CPUtime=0.08
/proc/32660/task/32664/stat : 32664 (satake) R 32658 32660 27791 0 -1 4202560 1090 0 0 0 0 8 0 0 20 0 17 0 634392065 77357056 11652 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32665] ppid=32658 vsize=75544 CPUtime=0.04
/proc/32660/task/32665/stat : 32665 (satake) R 32658 32660 27791 0 -1 4202560 883 0 0 0 0 4 0 0 20 0 17 0 634392065 77357056 11652 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32666] ppid=32658 vsize=75544 CPUtime=0.02
/proc/32660/task/32666/stat : 32666 (satake) R 32658 32660 27791 0 -1 4202560 245 0 0 0 2 0 0 0 20 0 17 0 634392065 77357056 11653 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32667] ppid=32658 vsize=75544 CPUtime=0.06
/proc/32660/task/32667/stat : 32667 (satake) R 32658 32660 27791 0 -1 4202560 1078 0 0 0 0 6 0 0 20 0 17 0 634392065 77357056 11655 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32660/tid=32668] ppid=32658 vsize=75544 CPUtime=0.04
/proc/32660/task/32668/stat : 32668 (satake) R 32658 32660 27791 0 -1 4202560 644 0 0 0 0 4 0 0 20 0 17 0 634392065 77357056 11660 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32669] ppid=32658 vsize=75544 CPUtime=0
/proc/32660/task/32669/stat : 32669 (satake) R 32658 32660 27791 0 -1 4202560 227 0 0 0 0 0 0 0 20 0 17 0 634392065 77357056 11661 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32670] ppid=32658 vsize=75544 CPUtime=0.02
/proc/32660/task/32670/stat : 32670 (satake) R 32658 32660 27791 0 -1 4202560 376 0 0 0 0 2 0 0 20 0 17 0 634392065 77357056 11661 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32671] ppid=32658 vsize=75544 CPUtime=0.06
/proc/32660/task/32671/stat : 32671 (satake) R 32658 32660 27791 0 -1 4202560 1044 0 0 0 0 6 0 0 20 0 17 0 634392065 77357056 11662 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32660/tid=32672] ppid=32658 vsize=75544 CPUtime=0.06
/proc/32660/task/32672/stat : 32672 (satake) R 32658 32660 27791 0 -1 4202560 925 0 0 0 0 6 0 0 20 0 17 0 634392065 77357056 11666 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32673] ppid=32658 vsize=75544 CPUtime=0
/proc/32660/task/32673/stat : 32673 (satake) R 32658 32660 27791 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 17 0 634392066 77357056 11689 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32674] ppid=32658 vsize=75544 CPUtime=0.06
/proc/32660/task/32674/stat : 32674 (satake) R 32658 32660 27791 0 -1 4202560 955 0 0 0 0 6 0 0 20 0 17 0 634392066 77357056 11717 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32660/tid=32675] ppid=32658 vsize=75544 CPUtime=0.06
/proc/32660/task/32675/stat : 32675 (satake) R 32658 32660 27791 0 -1 4202560 1157 0 0 0 0 6 0 0 20 0 17 0 634392066 77357056 11736 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32660/tid=32676] ppid=32658 vsize=75544 CPUtime=0.06
/proc/32660/task/32676/stat : 32676 (satake) R 32658 32660 27791 0 -1 4202560 881 0 0 0 0 6 0 0 20 0 17 0 634392066 77357056 11759 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 75544

[startup+0.302146 s]
/proc/loadavg: 6.76 6.40 6.65 2/184 32660
/proc/meminfo: memFree=18832180/36427776 swapFree=3976/8640
[pid=32660] ppid=32658 vsize=324888 CPUtime=2.62
/proc/32660/stat : 32660 (satake) S 32658 32660 27791 0 -1 4202496 50428 0 0 0 4 258 0 0 20 0 17 0 634392065 332685312 50354 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32660/statm: 81222 50402 63 164 0 81057 0
[pid=32660/tid=32661] ppid=32658 vsize=324888 CPUtime=0
/proc/32660/task/32661/stat : 32661 (satake) S 32658 32660 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634392065 332685312 50422 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32662] ppid=32658 vsize=324888 CPUtime=0.24
/proc/32660/task/32662/stat : 32662 (satake) R 32658 32660 27791 0 -1 4202560 4617 0 0 0 0 24 0 0 20 0 17 0 634392065 332685312 50448 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32660/tid=32663] ppid=32658 vsize=324888 CPUtime=0.14
/proc/32660/task/32663/stat : 32663 (satake) R 32658 32660 27791 0 -1 4202560 3200 0 0 0 0 14 0 0 20 0 17 0 634392065 332685312 50467 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32664] ppid=32658 vsize=324888 CPUtime=0.24
/proc/32660/task/32664/stat : 32664 (satake) R 32658 32660 27791 0 -1 4202560 4427 0 0 0 0 24 0 0 20 0 17 0 634392065 332685312 50489 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32665] ppid=32658 vsize=324888 CPUtime=0.16
/proc/32660/task/32665/stat : 32665 (satake) R 32658 32660 27791 0 -1 4202560 3400 0 0 0 0 16 0 0 20 0 17 0 634392065 332685312 50510 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32666] ppid=32658 vsize=324888 CPUtime=0.08
/proc/32660/task/32666/stat : 32666 (satake) R 32658 32660 27791 0 -1 4202560 1740 0 0 0 2 6 0 0 20 0 17 0 634392065 332685312 50525 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32667] ppid=32658 vsize=324888 CPUtime=0.24
/proc/32660/task/32667/stat : 32667 (satake) R 32658 32660 27791 0 -1 4202560 4394 0 0 0 0 24 0 0 20 0 17 0 634392065 332685312 50529 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32660/tid=32668] ppid=32658 vsize=324888 CPUtime=0.14
/proc/32660/task/32668/stat : 32668 (satake) R 32658 32660 27791 0 -1 4202560 2809 0 0 0 0 14 0 0 20 0 17 0 634392065 332685312 50530 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32669] ppid=32658 vsize=324888 CPUtime=0.1
/proc/32660/task/32669/stat : 32669 (satake) R 32658 32660 27791 0 -1 4202560 2234 0 0 0 0 10 0 0 20 0 17 0 634392065 332685312 50530 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32670] ppid=32658 vsize=324888 CPUtime=0.08
/proc/32660/task/32670/stat : 32670 (satake) R 32658 32660 27791 0 -1 4202560 1493 0 0 0 0 8 0 0 20 0 17 0 634392065 332685312 50531 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32671] ppid=32658 vsize=324888 CPUtime=0.24
/proc/32660/task/32671/stat : 32671 (satake) R 32658 32660 27791 0 -1 4202560 4634 0 0 0 0 24 0 0 20 0 17 0 634392065 332685312 50532 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32660/tid=32672] ppid=32658 vsize=324888 CPUtime=0.14
/proc/32660/task/32672/stat : 32672 (satake) R 32658 32660 27791 0 -1 4202560 2802 0 0 0 0 14 0 0 20 0 17 0 634392065 332685312 50532 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32673] ppid=32658 vsize=324888 CPUtime=0.08
/proc/32660/task/32673/stat : 32673 (satake) R 32658 32660 27791 0 -1 4202560 1628 0 0 0 0 8 0 0 20 0 17 0 634392066 332685312 50532 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32660/tid=32674] ppid=32658 vsize=324888 CPUtime=0.24
/proc/32660/task/32674/stat : 32674 (satake) R 32658 32660 27791 0 -1 4202560 3925 0 0 0 0 24 0 0 20 0 17 0 634392066 332685312 50537 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32660/tid=32675] ppid=32658 vsize=324888 CPUtime=0.24
/proc/32660/task/32675/stat : 32675 (satake) R 32658 32660 27791 0 -1 4202560 4701 0 0 0 0 24 0 0 20 0 17 0 634392066 332685312 50538 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32660/tid=32676] ppid=32658 vsize=324888 CPUtime=0.22
/proc/32660/task/32676/stat : 32676 (satake) R 32658 32660 27791 0 -1 4202560 4461 0 0 0 0 22 0 0 20 0 17 0 634392066 332685312 50548 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 324888

[startup+0.706421 s]
/proc/loadavg: 6.76 6.40 6.65 2/184 32660
/proc/meminfo: memFree=18832180/36427776 swapFree=3976/8640
[pid=32660] ppid=32658 vsize=726296 CPUtime=6.56
/proc/32660/stat : 32660 (satake) S 32658 32660 27791 0 -1 4202496 146630 0 0 0 4 652 0 0 20 0 17 0 634392065 743727104 146558 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32660/statm: 181574 146602 63 164 0 181409 0
[pid=32660/tid=32661] ppid=32658 vsize=726296 CPUtime=0
/proc/32660/task/32661/stat : 32661 (satake) S 32658 32660 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634392065 743727104 146630 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32662] ppid=32658 vsize=726296 CPUtime=0.58
/proc/32660/task/32662/stat : 32662 (satake) R 32658 32660 27791 0 -1 4202560 12135 0 0 0 0 58 0 0 20 0 17 0 634392065 743727104 146648 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32660/tid=32663] ppid=32658 vsize=726296 CPUtime=0.3
/proc/32660/task/32663/stat : 32663 (satake) R 32658 32660 27791 0 -1 4202560 7499 0 0 0 0 30 0 0 20 0 17 0 634392065 743727104 146667 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32664] ppid=32658 vsize=726296 CPUtime=0.6
/proc/32660/task/32664/stat : 32664 (satake) R 32658 32660 27791 0 -1 4202560 13747 0 0 0 0 60 0 0 20 0 17 0 634392065 743727104 146692 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32660/tid=32665] ppid=32658 vsize=726296 CPUtime=0.3
/proc/32660/task/32665/stat : 32665 (satake) R 32658 32660 27791 0 -1 4202560 7298 0 0 0 0 30 0 0 20 0 17 0 634392065 743727104 146733 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32666] ppid=32658 vsize=726296 CPUtime=0.28
/proc/32660/task/32666/stat : 32666 (satake) R 32658 32660 27791 0 -1 4202560 6881 0 0 0 2 26 0 0 20 0 17 0 634392065 743727104 146757 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32660/tid=32667] ppid=32658 vsize=726296 CPUtime=0.6
/proc/32660/task/32667/stat : 32667 (satake) R 32658 32660 27791 0 -1 4202560 13473 0 0 0 0 60 0 0 20 0 17 0 634392065 743727104 146784 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32660/tid=32668] ppid=32658 vsize=726296 CPUtime=0.32
/proc/32660/task/32668/stat : 32668 (satake) R 32658 32660 27791 0 -1 4202560 7067 0 0 0 0 32 0 0 20 0 17 0 634392065 743727104 146807 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32660/tid=32669] ppid=32658 vsize=726296 CPUtime=0.28
/proc/32660/task/32669/stat : 32669 (satake) R 32658 32660 27791 0 -1 4202560 7103 0 0 0 0 28 0 0 20 0 17 0 634392065 743727104 146830 18446744073709551615 134512640 135180984 4294731440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32660/tid=32670] ppid=32658 vsize=726296 CPUtime=0.28

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

deleting IPC queue 606535758
deleting IPC queue 606568527
deleting IPC queue 606601296
deleting IPC queue 606634065
deleting IPC queue 606666834
deleting IPC queue 606699603
deleting IPC queue 606732372
deleting IPC queue 606765141
deleting IPC queue 606797910
deleting IPC queue 606830679
deleting IPC queue 606863448
deleting IPC queue 606896217
deleting IPC queue 606928986
deleting IPC queue 606961755
deleting IPC queue 606994524
deleting IPC queue 607027293
deleting IPC queue 607060062
deleting IPC queue 607092831
deleting IPC queue 607125600
deleting IPC queue 607158369
deleting IPC queue 607191138
deleting IPC queue 607223907
deleting IPC queue 607256676
deleting IPC queue 607289445
deleting IPC queue 607322214
deleting IPC queue 607354983
deleting IPC queue 607387752
deleting IPC queue 607420521
deleting IPC queue 607453290
deleting IPC queue 607486059
deleting IPC queue 607518828
deleting IPC queue 607551597
deleting IPC queue 607584366
deleting IPC queue 607617135
deleting IPC queue 607649904
deleting IPC queue 607682673
deleting IPC queue 607715442
deleting IPC queue 607748211
deleting IPC queue 607780980
deleting IPC queue 607813749
deleting IPC queue 607846518
deleting IPC queue 607879287
deleting IPC queue 607912056
deleting IPC queue 607944825
deleting IPC queue 607977594
deleting IPC queue 608010363
deleting IPC queue 608043132
deleting IPC queue 608075901
deleting IPC queue 608108670
deleting IPC queue 608141439
deleting IPC queue 608174208
deleting IPC queue 608206977
deleting IPC queue 608239746
deleting IPC queue 608272515
deleting IPC queue 608305284
deleting IPC queue 608338053
deleting IPC queue 608370822
deleting IPC queue 608403591
deleting IPC queue 608436360
deleting IPC queue 608469129
deleting IPC queue 608501898
deleting IPC queue 608534667
deleting IPC queue 608567436
deleting IPC queue 608600205
deleting IPC queue 608632974
deleting IPC queue 608665743
deleting IPC queue 608698512
deleting IPC queue 608731281
deleting IPC queue 608764050
deleting IPC queue 608796819
deleting IPC queue 608829588
deleting IPC queue 608862357
deleting IPC queue 608895126
deleting IPC queue 608927895
deleting IPC queue 608960664
deleting IPC queue 608993433
deleting IPC queue 609026202
deleting IPC queue 609058971
deleting IPC queue 609091740
deleting IPC queue 609124509
deleting IPC queue 609157278
deleting IPC queue 609190047
deleting IPC queue 609222816
deleting IPC queue 609255585
deleting IPC queue 609288354
deleting IPC queue 609321123
deleting IPC queue 609353892
deleting IPC queue 609386661
deleting IPC queue 609419430
deleting IPC queue 609452199
deleting IPC queue 609484968
deleting IPC queue 609517737
deleting IPC queue 609550506
deleting IPC queue 609583275
deleting IPC queue 609616044
deleting IPC queue 609648813
deleting IPC queue 609681582
deleting IPC queue 609714351
deleting IPC queue 609747120
deleting IPC queue 609779889
deleting IPC queue 609812658
deleting IPC queue 609845427
deleting IPC queue 609878196
deleting IPC queue 609910965
deleting IPC queue 609943734
deleting IPC queue 609976503
deleting IPC queue 610009272
deleting IPC queue 610042041
deleting IPC queue 610074810
deleting IPC queue 610107579
deleting IPC queue 610140348
deleting IPC queue 610173117
deleting IPC queue 610205886
deleting IPC queue 610238655
deleting IPC queue 610271424
deleting IPC queue 610304193
deleting IPC queue 610336962
deleting IPC queue 610369731
deleting IPC queue 610402500
deleting IPC queue 610435269
deleting IPC queue 610468038
deleting IPC queue 610500807
deleting IPC queue 610533576
deleting IPC queue 610566345
deleting IPC queue 610599114
deleting IPC queue 610631883
deleting IPC queue 610664652
deleting IPC queue 610697421
deleting IPC queue 610730190
deleting IPC queue 610762959
deleting IPC queue 610795728
deleting IPC queue 610828497
deleting IPC queue 610861266
deleting IPC queue 610894035
deleting IPC queue 610926804
deleting IPC queue 610959573
deleting IPC queue 610992342
deleting IPC queue 611025111
deleting IPC queue 611057880
deleting IPC queue 611090649
deleting IPC queue 611123418
deleting IPC queue 611156187
deleting IPC queue 611188956
deleting IPC queue 611221725
deleting IPC queue 611254494
deleting IPC queue 611287263
deleting IPC queue 611320032
deleting IPC queue 611352801
deleting IPC queue 611385570
deleting IPC queue 611418339
deleting IPC queue 611451108
deleting IPC queue 611483877
deleting IPC queue 611516646
deleting IPC queue 611549415
deleting IPC queue 611582184
deleting IPC queue 611614953
deleting IPC queue 611647722
deleting IPC queue 611680491
deleting IPC queue 611713260
deleting IPC queue 611746029
deleting IPC queue 611778798
deleting IPC queue 611811567
deleting IPC queue 611844336
deleting IPC queue 611877105
deleting IPC queue 611909874
deleting IPC queue 611942643
deleting IPC queue 611975412
deleting IPC queue 612008181
deleting IPC queue 612040950
deleting IPC queue 612073719
deleting IPC queue 612106488
deleting IPC queue 612139257
deleting IPC queue 612172026
deleting IPC queue 612204795
deleting IPC queue 612237564
deleting IPC queue 612270333
deleting IPC queue 612303102
deleting IPC queue 612335871

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.044002
system time used= 15.1769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364953
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= 2683
involuntary context switches= 172

runsolver used 0.004 second user time and 0.076004 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 22:07:28
IDJOB=1776582
IDBENCH=20582
IDSOLVER=631
FILE ID=xenhost3-49/1776582-1244750848
PBS_JOBID=
Free space on /tmp= 6739 MiB

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

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

MD5SUM BENCH= c77a56af24208a6401c763e11a38de01
RANDOM SEED= 549544120

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:      18832180 kB
Buffers:        433088 kB
Cached:       14408752 kB
SwapCached:          0 kB
Active:        4078372 kB
Inactive:     10771976 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:          308356 kB
Writeback:           0 kB
AnonPages:        8640 kB
Mapped:           3976 kB
Slab:           693704 kB
SReclaimable:   666312 kB
SUnreclaim:      27392 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= 6739 MiB
End job on xenhost3-49 at 2009-06-11 22:07:41