Trace number 1779102

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (TO) 1018.23 1000.03

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
MD5SUMda0c445b72f13d929ab0690c3bfa81ed
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark601.74
Satisfiable
(Un)Satisfiability was proved
Number of variables4252
Number of clauses12563
Sum of the clauses size29311
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 28374
Number of clauses of size 34187
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779102-1244781272/watcher-1779102-1244781272 -o /tmp/evaluation-result-1779102-1244781272/solver-1779102-1244781272 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779102-1244781272.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: 11.12 9.64 7.80 2/189 3740
/proc/meminfo: memFree=19140324/36427776 swapFree=4460/8936
[pid=3740] ppid=3738 vsize=8108 CPUtime=0
/proc/3740/stat : 3740 (satake) D 3738 3740 27791 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 16 0 637433523 8302592 372 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3740/statm: 2060 372 63 164 0 1895 0
[pid=3740/tid=3741] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3741/stat : 3741 (satake) S 3738 3740 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637433523 9109504 512 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3742] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3742/stat : 3742 (satake) R 3738 3740 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 637433523 9109504 515 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3743] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3743/stat : 3743 (satake) R 3738 3740 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 637433523 9109504 516 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3744] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3744/stat : 3744 (satake) R 3738 3740 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 518 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3740/tid=3745] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3745/stat : 3745 (satake) R 3738 3740 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 518 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3746] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3746/stat : 3746 (satake) R 3738 3740 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 518 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3740/tid=3747] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3747/stat : 3747 (satake) R 3738 3740 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 519 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3740/tid=3748] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3748/stat : 3748 (satake) S 3738 3740 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 521 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3749] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3749/stat : 3749 (satake) R 3738 3740 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 525 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3750] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3750/stat : 3750 (satake) R 3738 3740 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 526 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3751] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3751/stat : 3751 (satake) R 3738 3740 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 528 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3752] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3752/stat : 3752 (satake) R 3738 3740 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 530 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3753] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3753/stat : 3753 (satake) R 3738 3740 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 534 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3754] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3754/stat : 3754 (satake) S 3738 3740 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 534 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=3740/tid=3755] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3755/stat : 3755 (satake) R 3738 3740 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 536 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3756] ppid=3738 vsize=8896 CPUtime=0
/proc/3740/task/3756/stat : 3756 (satake) R 3738 3740 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 637433524 9109504 536 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.064052 s]
/proc/loadavg: 11.12 9.64 7.80 2/189 3740
/proc/meminfo: memFree=19140324/36427776 swapFree=4460/8936
[pid=3740] ppid=3738 vsize=17988 CPUtime=0.23
/proc/3740/stat : 3740 (satake) S 3738 3740 27791 0 -1 4202496 2540 0 0 0 12 11 0 0 20 0 17 0 637433523 18419712 2479 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3740/statm: 4497 2484 63 164 0 4332 0
[pid=3740/tid=3741] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3741/stat : 3741 (satake) S 3738 3740 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637433523 18419712 2485 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3742] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3742/stat : 3742 (satake) S 3738 3740 27791 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 17 0 637433523 18419712 2485 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3743] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3743/stat : 3743 (satake) S 3738 3740 27791 0 -1 4202560 187 0 0 0 0 0 0 0 20 0 17 0 637433523 18419712 2485 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3744] ppid=3738 vsize=17988 CPUtime=0.02
/proc/3740/task/3744/stat : 3744 (satake) S 3738 3740 27791 0 -1 4202560 168 0 0 0 0 2 0 0 20 0 17 0 637433524 18419712 2486 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3740/tid=3745] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3745/stat : 3745 (satake) R 3738 3740 27791 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2486 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3746] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3746/stat : 3746 (satake) R 3738 3740 27791 0 -1 4202560 140 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2486 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3740/tid=3747] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3747/stat : 3747 (satake) R 3738 3740 27791 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2486 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3740/tid=3748] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3748/stat : 3748 (satake) R 3738 3740 27791 0 -1 4202560 186 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2486 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3749] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3749/stat : 3749 (satake) R 3738 3740 27791 0 -1 4202560 152 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2492 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3750] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3750/stat : 3750 (satake) S 3738 3740 27791 0 -1 4202560 148 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2494 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3751] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3751/stat : 3751 (satake) S 3738 3740 27791 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2494 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3752] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3752/stat : 3752 (satake) D 3738 3740 27791 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2494 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3753] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3753/stat : 3753 (satake) R 3738 3740 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2494 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3754] ppid=3738 vsize=17988 CPUtime=0.02
/proc/3740/task/3754/stat : 3754 (satake) R 3738 3740 27791 0 -1 4202560 179 0 0 0 2 0 0 0 20 0 17 0 637433524 18419712 2496 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3740/tid=3755] ppid=3738 vsize=17988 CPUtime=0
/proc/3740/task/3755/stat : 3755 (satake) S 3738 3740 27791 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 17 0 637433524 18419712 2505 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3756] ppid=3738 vsize=17988 CPUtime=0.02
/proc/3740/task/3756/stat : 3756 (satake) S 3738 3740 27791 0 -1 4202560 193 0 0 0 2 0 0 0 20 0 17 0 637433524 18419712 2513 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 17988

[startup+0.104052 s]
/proc/loadavg: 11.12 9.64 7.80 2/189 3740
/proc/meminfo: memFree=19140324/36427776 swapFree=4460/8936
[pid=3740] ppid=3738 vsize=23076 CPUtime=0.45
/proc/3740/stat : 3740 (satake) S 3738 3740 27791 0 -1 4202496 4234 0 0 0 22 23 0 0 20 0 17 0 637433523 23629824 3722 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3740/statm: 5769 3723 66 164 0 5604 0
[pid=3740/tid=3741] ppid=3738 vsize=23076 CPUtime=0
/proc/3740/task/3741/stat : 3741 (satake) S 3738 3740 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637433523 23629824 3724 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3742] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3742/stat : 3742 (satake) R 3738 3740 27791 0 -1 4202560 272 0 0 0 0 2 0 0 20 0 17 0 637433523 23629824 3725 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3743] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3743/stat : 3743 (satake) S 3738 3740 27791 0 -1 4202560 305 0 0 0 2 0 0 0 20 0 17 0 637433523 23629824 3726 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3744] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3744/stat : 3744 (satake) S 3738 3740 27791 0 -1 4202560 291 0 0 0 0 2 0 0 20 0 17 0 637433524 23629824 3728 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3740/tid=3745] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3745/stat : 3745 (satake) S 3738 3740 27791 0 -1 4202560 320 0 0 0 0 2 0 0 20 0 17 0 637433524 23629824 3730 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3746] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3746/stat : 3746 (satake) S 3738 3740 27791 0 -1 4202560 297 0 0 0 2 0 0 0 20 0 17 0 637433524 23629824 3732 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=3740/tid=3747] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3747/stat : 3747 (satake) S 3738 3740 27791 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 17 0 637433524 23629824 3732 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3740/tid=3748] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3748/stat : 3748 (satake) S 3738 3740 27791 0 -1 4202560 302 0 0 0 0 2 0 0 20 0 17 0 637433524 23629824 3732 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3749] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3749/stat : 3749 (satake) R 3738 3740 27791 0 -1 4202560 233 0 0 0 2 0 0 0 20 0 17 0 637433524 23629824 3733 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3750] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3750/stat : 3750 (satake) R 3738 3740 27791 0 -1 4202560 287 0 0 0 0 2 0 0 20 0 17 0 637433524 23629824 3734 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3751] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3751/stat : 3751 (satake) S 3738 3740 27791 0 -1 4202560 296 0 0 0 0 2 0 0 20 0 17 0 637433524 23629824 3734 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3752] ppid=3738 vsize=23076 CPUtime=0
/proc/3740/task/3752/stat : 3752 (satake) R 3738 3740 27791 0 -1 4202560 208 0 0 0 0 0 0 0 20 0 17 0 637433524 23629824 3734 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3753] ppid=3738 vsize=23076 CPUtime=0
/proc/3740/task/3753/stat : 3753 (satake) R 3738 3740 27791 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 17 0 637433524 23629824 3734 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3754] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3754/stat : 3754 (satake) R 3738 3740 27791 0 -1 4202560 305 0 0 0 2 0 0 0 20 0 17 0 637433524 23629824 3736 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3740/tid=3755] ppid=3738 vsize=23076 CPUtime=0
/proc/3740/task/3755/stat : 3755 (satake) R 3738 3740 27791 0 -1 4202560 186 0 0 0 0 0 0 0 20 0 17 0 637433524 23629824 3738 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3756] ppid=3738 vsize=23076 CPUtime=0.02
/proc/3740/task/3756/stat : 3756 (satake) R 3738 3740 27791 0 -1 4202560 309 0 0 0 2 0 0 0 20 0 17 0 637433524 23629824 3738 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134520661 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 23076

[startup+0.304034 s]
/proc/loadavg: 11.12 9.64 7.80 2/189 3740
/proc/meminfo: memFree=19140324/36427776 swapFree=4460/8936
[pid=3740] ppid=3738 vsize=25104 CPUtime=0.78
/proc/3740/stat : 3740 (satake) S 3738 3740 27791 0 -1 4202496 4706 0 0 0 40 38 0 0 20 0 17 0 637433523 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3740/statm: 6276 3969 68 164 0 6111 0
[pid=3740/tid=3741] ppid=3738 vsize=25104 CPUtime=0.08
/proc/3740/task/3741/stat : 3741 (satake) D 3738 3740 27791 0 -1 4202560 78 0 0 0 0 8 0 0 20 0 17 0 637433523 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3742] ppid=3738 vsize=25104 CPUtime=0.02
/proc/3740/task/3742/stat : 3742 (satake) S 3738 3740 27791 0 -1 4202560 279 0 0 0 0 2 0 0 20 0 17 0 637433523 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3743] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3743/stat : 3743 (satake) S 3738 3740 27791 0 -1 4202560 309 0 0 0 4 0 0 0 20 0 17 0 637433523 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3744] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3744/stat : 3744 (satake) S 3738 3740 27791 0 -1 4202560 291 0 0 0 0 4 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3740/tid=3745] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3745/stat : 3745 (satake) S 3738 3740 27791 0 -1 4202560 321 0 0 0 2 2 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3746] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3746/stat : 3746 (satake) S 3738 3740 27791 0 -1 4202560 297 0 0 0 4 0 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3740/tid=3747] ppid=3738 vsize=25104 CPUtime=0.06
/proc/3740/task/3747/stat : 3747 (satake) S 3738 3740 27791 0 -1 4202560 334 0 0 0 2 4 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3740/tid=3748] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3748/stat : 3748 (satake) S 3738 3740 27791 0 -1 4202560 307 0 0 0 2 2 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3749] ppid=3738 vsize=25104 CPUtime=0.02
/proc/3740/task/3749/stat : 3749 (satake) S 3738 3740 27791 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3750] ppid=3738 vsize=25104 CPUtime=0.06
/proc/3740/task/3750/stat : 3750 (satake) S 3738 3740 27791 0 -1 4202560 290 0 0 0 4 2 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3751] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3751/stat : 3751 (satake) S 3738 3740 27791 0 -1 4202560 298 0 0 0 2 2 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3752] ppid=3738 vsize=25104 CPUtime=0.02
/proc/3740/task/3752/stat : 3752 (satake) S 3738 3740 27791 0 -1 4202560 267 0 0 0 2 0 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3740/tid=3753] ppid=3738 vsize=25104 CPUtime=0.02
/proc/3740/task/3753/stat : 3753 (satake) S 3738 3740 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3740/tid=3754] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3754/stat : 3754 (satake) S 3738 3740 27791 0 -1 4202560 305 0 0 0 4 0 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=3740/tid=3755] ppid=3738 vsize=25104 CPUtime=0.02
/proc/3740/task/3755/stat : 3755 (satake) S 3738 3740 27791 0 -1 4202560 264 0 0 0 2 0 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3756] ppid=3738 vsize=25104 CPUtime=0.06
/proc/3740/task/3756/stat : 3756 (satake) D 3738 3740 27791 0 -1 4202560 312 0 0 0 6 0 0 0 20 0 17 0 637433524 25706496 3969 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 25104

[startup+0.704056 s]
/proc/loadavg: 11.12 9.64 7.80 2/189 3740
/proc/meminfo: memFree=19140324/36427776 swapFree=4460/8936
[pid=3740] ppid=3738 vsize=25104 CPUtime=1.21
/proc/3740/stat : 3740 (satake) S 3738 3740 27791 0 -1 4202496 4729 0 0 0 48 73 0 0 20 0 17 0 637433523 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3740/statm: 6276 3992 68 164 0 6111 0
[pid=3740/tid=3741] ppid=3738 vsize=25104 CPUtime=0.3
/proc/3740/task/3741/stat : 3741 (satake) R 3738 3740 27791 0 -1 4202560 82 0 0 0 4 26 0 0 20 0 17 0 637433523 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3742] ppid=3738 vsize=25104 CPUtime=0.06
/proc/3740/task/3742/stat : 3742 (satake) S 3738 3740 27791 0 -1 4202560 284 0 0 0 2 4 0 0 20 0 17 0 637433523 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3743] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3743/stat : 3743 (satake) S 3738 3740 27791 0 -1 4202560 309 0 0 0 4 0 0 0 20 0 17 0 637433523 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3740/tid=3744] ppid=3738 vsize=25104 CPUtime=0.06
/proc/3740/task/3744/stat : 3744 (satake) S 3738 3740 27791 0 -1 4202560 293 0 0 0 0 6 0 0 20 0 17 0 637433524 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3740/tid=3745] ppid=3738 vsize=25104 CPUtime=0.04
/proc/3740/task/3745/stat : 3745 (satake) S 3738 3740 27791 0 -1 4202560 321 0 0 0 2 2 0 0 20 0 17 0 637433524 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3740/tid=3746] ppid=3738 vsize=25104 CPUtime=0.06
/proc/3740/task/3746/stat : 3746 (satake) S 3738 3740 27791 0 -1 4202560 299 0 0 0 4 2 0 0 20 0 17 0 637433524 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3740/tid=3747] ppid=3738 vsize=25104 CPUtime=0.06
/proc/3740/task/3747/stat : 3747 (satake) S 3738 3740 27791 0 -1 4202560 334 0 0 0 2 4 0 0 20 0 17 0 637433524 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3740/tid=3748] ppid=3738 vsize=25104 CPUtime=0.08
/proc/3740/task/3748/stat : 3748 (satake) R 3738 3740 27791 0 -1 4202560 311 0 0 0 2 6 0 0 20 0 17 0 637433524 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134532508 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3749] ppid=3738 vsize=25104 CPUtime=0.02
/proc/3740/task/3749/stat : 3749 (satake) S 3738 3740 27791 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 17 0 637433524 25706496 3992 18446744073709551615 134512640 135180984 4292674736 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3740/tid=3750] ppid=3738 vsize=25104 CPUtime=0.06

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

deleting IPC queue 1059520590
deleting IPC queue 1059553359
deleting IPC queue 1059586128
deleting IPC queue 1059618897
deleting IPC queue 1059651666
deleting IPC queue 1059684435
deleting IPC queue 1059717204
deleting IPC queue 1059749973
deleting IPC queue 1059782742
deleting IPC queue 1059815511
deleting IPC queue 1059848280
deleting IPC queue 1059881049
deleting IPC queue 1059913818
deleting IPC queue 1059946587
deleting IPC queue 1059979356
deleting IPC queue 1060012125
deleting IPC queue 1060044894
deleting IPC queue 1060077663
deleting IPC queue 1060110432
deleting IPC queue 1060143201
deleting IPC queue 1060175970
deleting IPC queue 1060208739
deleting IPC queue 1060241508
deleting IPC queue 1060274277
deleting IPC queue 1060307046
deleting IPC queue 1060339815
deleting IPC queue 1060372584
deleting IPC queue 1060405353
deleting IPC queue 1060438122
deleting IPC queue 1060470891
deleting IPC queue 1060503660
deleting IPC queue 1060536429
deleting IPC queue 1060569198
deleting IPC queue 1060601967
deleting IPC queue 1060634736
deleting IPC queue 1060667505
deleting IPC queue 1060700274
deleting IPC queue 1060733043
deleting IPC queue 1060765812
deleting IPC queue 1060798581
deleting IPC queue 1060831350
deleting IPC queue 1060864119
deleting IPC queue 1060896888
deleting IPC queue 1060929657
deleting IPC queue 1060962426
deleting IPC queue 1060995195
deleting IPC queue 1061027964
deleting IPC queue 1061060733
deleting IPC queue 1061093502
deleting IPC queue 1061126271
deleting IPC queue 1061159040
deleting IPC queue 1061191809
deleting IPC queue 1061224578
deleting IPC queue 1061257347
deleting IPC queue 1061290116
deleting IPC queue 1061322885
deleting IPC queue 1061355654
deleting IPC queue 1061388423
deleting IPC queue 1061421192
deleting IPC queue 1061453961
deleting IPC queue 1061486730
deleting IPC queue 1061519499
deleting IPC queue 1061552268
deleting IPC queue 1061585037
deleting IPC queue 1061617806
deleting IPC queue 1061650575
deleting IPC queue 1061683344
deleting IPC queue 1061716113
deleting IPC queue 1061748882
deleting IPC queue 1061781651
deleting IPC queue 1061814420
deleting IPC queue 1061847189
deleting IPC queue 1061879958
deleting IPC queue 1061912727
deleting IPC queue 1061945496
deleting IPC queue 1061978265
deleting IPC queue 1062011034
deleting IPC queue 1062043803
deleting IPC queue 1062076572
deleting IPC queue 1062109341
deleting IPC queue 1062142110
deleting IPC queue 1062174879
deleting IPC queue 1062207648
deleting IPC queue 1062240417
deleting IPC queue 1062273186
deleting IPC queue 1062305955
deleting IPC queue 1062338724
deleting IPC queue 1062371493
deleting IPC queue 1062404262
deleting IPC queue 1062437031
deleting IPC queue 1062469800
deleting IPC queue 1062502569
deleting IPC queue 1062535338
deleting IPC queue 1062568107
deleting IPC queue 1062600876
deleting IPC queue 1062633645
deleting IPC queue 1062666414
deleting IPC queue 1062699183
deleting IPC queue 1062731952
deleting IPC queue 1062764721
deleting IPC queue 1062797490
deleting IPC queue 1062830259
deleting IPC queue 1062863028
deleting IPC queue 1062895797
deleting IPC queue 1062928566
deleting IPC queue 1062961335
deleting IPC queue 1062994104
deleting IPC queue 1063026873
deleting IPC queue 1063059642
deleting IPC queue 1063092411
deleting IPC queue 1063125180
deleting IPC queue 1063157949
deleting IPC queue 1063190718
deleting IPC queue 1063223487
deleting IPC queue 1063256256
deleting IPC queue 1063289025
deleting IPC queue 1063321794
deleting IPC queue 1063354563
deleting IPC queue 1063387332
deleting IPC queue 1063420101
deleting IPC queue 1063452870
deleting IPC queue 1063485639
deleting IPC queue 1063518408
deleting IPC queue 1063551177
deleting IPC queue 1063583946
deleting IPC queue 1063616715
deleting IPC queue 1063649484
deleting IPC queue 1063682253
deleting IPC queue 1063715022
deleting IPC queue 1063747791
deleting IPC queue 1063780560
deleting IPC queue 1063813329
deleting IPC queue 1063846098
deleting IPC queue 1063878867
deleting IPC queue 1063911636
deleting IPC queue 1063944405
deleting IPC queue 1063977174
deleting IPC queue 1064009943
deleting IPC queue 1064042712
deleting IPC queue 1064075481
deleting IPC queue 1064108250
deleting IPC queue 1064141019
deleting IPC queue 1064173788
deleting IPC queue 1064206557
deleting IPC queue 1064239326
deleting IPC queue 1064272095
deleting IPC queue 1064304864
deleting IPC queue 1064337633
deleting IPC queue 1064370402
deleting IPC queue 1064403171
deleting IPC queue 1064435940
deleting IPC queue 1064468709
deleting IPC queue 1064501478
deleting IPC queue 1064534247
deleting IPC queue 1064567016
deleting IPC queue 1064599785
deleting IPC queue 1064632554
deleting IPC queue 1064665323
deleting IPC queue 1064698092
deleting IPC queue 1064730861
deleting IPC queue 1064763630
deleting IPC queue 1064796399
deleting IPC queue 1064829168
deleting IPC queue 1064861937
deleting IPC queue 1064894706
deleting IPC queue 1064927475
deleting IPC queue 1064960244
deleting IPC queue 1064993013
deleting IPC queue 1065025782
deleting IPC queue 1065058551
deleting IPC queue 1065091320
deleting IPC queue 1065124089
deleting IPC queue 1065156858
deleting IPC queue 1065189627
deleting IPC queue 1065222396
deleting IPC queue 1065255165
deleting IPC queue 1065287934
deleting IPC queue 1065320703

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 287.314
system time used= 730.918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20602
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= 67194768
involuntary context switches= 9887286

runsolver used 4.18426 second user time and 10.9727 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 06:34:32
IDJOB=1779102
IDBENCH=70811
IDSOLVER=631
FILE ID=xenhost3-49/1779102-1244781272
PBS_JOBID=
Free space on /tmp= 7037 MiB

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

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

MD5SUM BENCH= da0c445b72f13d929ab0690c3bfa81ed
RANDOM SEED= 1243842220

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:      19140324 kB
Buffers:        433728 kB
Cached:       14103664 kB
SwapCached:          0 kB
Active:        4079052 kB
Inactive:     10466628 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             676 kB
Writeback:           0 kB
AnonPages:        8936 kB
Mapped:           3796 kB
Slab:           688176 kB
SReclaimable:   661400 kB
SUnreclaim:      26776 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    31200 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7037 MiB
End job on xenhost3-49 at 2009-06-12 06:51:14