Trace number 1780992

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) 1781.23 1000.06

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
MD5SUMa30111c778b4a83ebe950f77b63a1b33
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark710.19
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses63345
Sum of the clauses size188200
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21950
Number of clauses of size 361372
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1780992-1244848839/watcher-1780992-1244848839 -o /tmp/evaluation-result-1780992-1244848839/solver-1780992-1244848839 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780992-1244848839.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.06 14.85 13.31 2/184 12070
/proc/meminfo: memFree=19127300/36427776 swapFree=3972/8240
[pid=12070] ppid=12068 vsize=10048 CPUtime=0
/proc/12070/stat : 12070 (satake) D 12068 12070 27791 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 16 0 644190231 10289152 353 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12070/statm: 2512 353 63 164 0 2347 0
[pid=12070/tid=12071] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12071/stat : 12071 (satake) S 12068 12070 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644190231 9437184 383 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12072] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12072/stat : 12072 (satake) R 12068 12070 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 644190231 9437184 387 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12073/stat : 12073 (satake) R 12068 12070 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 644190231 9437184 388 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12074/stat : 12074 (satake) R 12068 12070 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 644190231 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12075/stat : 12075 (satake) R 12068 12070 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 644190231 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12076/stat : 12076 (satake) S 12068 12070 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644190231 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12077/stat : 12077 (satake) R 12068 12070 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 644190232 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12078/stat : 12078 (satake) D 12068 12070 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 644190232 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12079/stat : 12079 (satake) R 12068 12070 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 644190232 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12080/stat : 12080 (satake) D 12068 12070 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 644190232 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=9216 CPUtime=0
/proc/12070/task/12081/stat : 12081 (satake) D 12068 12070 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644190232 9437184 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=9220 CPUtime=0
/proc/12070/task/12082/stat : 12082 (satake) D 12068 12070 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 644190232 9441280 389 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=9220 CPUtime=0
/proc/12070/task/12083/stat : 12083 (satake) D 12068 12070 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 644190232 9441280 391 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=9220 CPUtime=0
/proc/12070/task/12084/stat : 12084 (satake) D 12068 12070 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 644190232 9441280 391 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=9220 CPUtime=0
/proc/12070/task/12085/stat : 12085 (satake) D 12068 12070 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 644190232 9441280 391 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=9220 CPUtime=0
/proc/12070/task/12086/stat : 12086 (satake) D 12068 12070 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 644190232 9441280 391 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

[startup+0.114044 s]
/proc/loadavg: 15.06 14.85 13.31 2/184 12070
/proc/meminfo: memFree=19127300/36427776 swapFree=3972/8240
[pid=12070] ppid=12068 vsize=27672 CPUtime=0.48
/proc/12070/stat : 12070 (satake) S 12068 12070 27791 0 -1 4202496 4890 0 0 0 3 45 0 0 20 0 17 0 644190231 28336128 4846 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12070/statm: 6918 4850 63 164 0 6753 0
[pid=12070/tid=12071] ppid=12068 vsize=27672 CPUtime=0
/proc/12070/task/12071/stat : 12071 (satake) S 12068 12070 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644190231 28336128 4853 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12072] ppid=12068 vsize=27672 CPUtime=0.04
/proc/12070/task/12072/stat : 12072 (satake) D 12068 12070 27791 0 -1 4202560 357 0 0 0 0 4 0 0 20 0 17 0 644190231 28336128 4853 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=27672 CPUtime=0.04
/proc/12070/task/12073/stat : 12073 (satake) S 12068 12070 27791 0 -1 4202560 330 0 0 0 0 4 0 0 20 0 17 0 644190231 28336128 4853 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=27672 CPUtime=0.04
/proc/12070/task/12074/stat : 12074 (satake) S 12068 12070 27791 0 -1 4202560 384 0 0 0 0 4 0 0 20 0 17 0 644190231 28336128 4854 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=27672 CPUtime=0.02
/proc/12070/task/12075/stat : 12075 (satake) S 12068 12070 27791 0 -1 4202560 316 0 0 0 0 2 0 0 20 0 17 0 644190231 28336128 4857 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=27672 CPUtime=0.02
/proc/12070/task/12076/stat : 12076 (satake) S 12068 12070 27791 0 -1 4202560 323 0 0 0 0 2 0 0 20 0 17 0 644190231 28336128 4857 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=27672 CPUtime=0.04
/proc/12070/task/12077/stat : 12077 (satake) R 12068 12070 27791 0 -1 4202560 368 0 0 0 0 4 0 0 20 0 17 0 644190232 28336128 4859 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=27672 CPUtime=0
/proc/12070/task/12078/stat : 12078 (satake) D 12068 12070 27791 0 -1 4202560 249 0 0 0 0 0 0 0 20 0 17 0 644190232 28336128 4860 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=27672 CPUtime=0.04
/proc/12070/task/12079/stat : 12079 (satake) R 12068 12070 27791 0 -1 4202560 332 0 0 0 0 4 0 0 20 0 17 0 644190232 28336128 4860 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=27672 CPUtime=0.02
/proc/12070/task/12080/stat : 12080 (satake) D 12068 12070 27791 0 -1 4202560 280 0 0 0 2 0 0 0 20 0 17 0 644190232 28336128 4860 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=27672 CPUtime=0.02
/proc/12070/task/12081/stat : 12081 (satake) D 12068 12070 27791 0 -1 4202560 316 0 0 0 0 2 0 0 20 0 17 0 644190232 28336128 4860 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=27672 CPUtime=0.04
/proc/12070/task/12082/stat : 12082 (satake) D 12068 12070 27791 0 -1 4202560 354 0 0 0 0 4 0 0 20 0 17 0 644190232 28336128 4860 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=27672 CPUtime=0.02
/proc/12070/task/12083/stat : 12083 (satake) R 12068 12070 27791 0 -1 4202560 299 0 0 0 0 2 0 0 20 0 17 0 644190232 28336128 4861 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=27672 CPUtime=0
/proc/12070/task/12084/stat : 12084 (satake) D 12068 12070 27791 0 -1 4202560 221 0 0 0 0 0 0 0 20 0 17 0 644190232 28336128 4861 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=27672 CPUtime=0.04
/proc/12070/task/12085/stat : 12085 (satake) D 12068 12070 27791 0 -1 4202560 354 0 0 0 0 4 0 0 20 0 17 0 644190232 28336128 4865 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=27672 CPUtime=0.02
/proc/12070/task/12086/stat : 12086 (satake) R 12068 12070 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 644190232 28336128 4865 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 27672

[startup+0.205569 s]
/proc/loadavg: 15.06 14.85 13.31 2/184 12070
/proc/meminfo: memFree=19127300/36427776 swapFree=3972/8240
[pid=12070] ppid=12068 vsize=38964 CPUtime=0.79
/proc/12070/stat : 12070 (satake) S 12068 12070 27791 0 -1 4202496 7022 0 0 0 11 68 0 0 20 0 17 0 644190231 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12070/statm: 9741 6978 63 164 0 9576 0
[pid=12070/tid=12071] ppid=12068 vsize=38964 CPUtime=0
/proc/12070/task/12071/stat : 12071 (satake) S 12068 12070 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644190231 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12072] ppid=12068 vsize=38964 CPUtime=0.06
/proc/12070/task/12072/stat : 12072 (satake) D 12068 12070 27791 0 -1 4202560 572 0 0 0 0 6 0 0 20 0 17 0 644190231 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=38964 CPUtime=0.08
/proc/12070/task/12073/stat : 12073 (satake) D 12068 12070 27791 0 -1 4202560 545 0 0 0 0 8 0 0 20 0 17 0 644190231 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=38964 CPUtime=0.08
/proc/12070/task/12074/stat : 12074 (satake) D 12068 12070 27791 0 -1 4202560 613 0 0 0 2 6 0 0 20 0 17 0 644190231 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=38964 CPUtime=0.02
/proc/12070/task/12075/stat : 12075 (satake) S 12068 12070 27791 0 -1 4202560 345 0 0 0 0 2 0 0 20 0 17 0 644190231 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=38964 CPUtime=0.04
/proc/12070/task/12076/stat : 12076 (satake) S 12068 12070 27791 0 -1 4202560 439 0 0 0 2 2 0 0 20 0 17 0 644190231 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=38964 CPUtime=0.08
/proc/12070/task/12077/stat : 12077 (satake) D 12068 12070 27791 0 -1 4202560 546 0 0 0 2 6 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=38964 CPUtime=0.02
/proc/12070/task/12078/stat : 12078 (satake) S 12068 12070 27791 0 -1 4202560 366 0 0 0 0 2 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=38964 CPUtime=0.06
/proc/12070/task/12079/stat : 12079 (satake) S 12068 12070 27791 0 -1 4202560 460 0 0 0 0 6 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=38964 CPUtime=0.02
/proc/12070/task/12080/stat : 12080 (satake) D 12068 12070 27791 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=38964 CPUtime=0.04
/proc/12070/task/12081/stat : 12081 (satake) D 12068 12070 27791 0 -1 4202560 486 0 0 0 0 4 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=38964 CPUtime=0.08
/proc/12070/task/12082/stat : 12082 (satake) D 12068 12070 27791 0 -1 4202560 550 0 0 0 0 8 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=38964 CPUtime=0.04
/proc/12070/task/12083/stat : 12083 (satake) D 12068 12070 27791 0 -1 4202560 391 0 0 0 0 4 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=38964 CPUtime=0.02
/proc/12070/task/12084/stat : 12084 (satake) R 12068 12070 27791 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=38964 CPUtime=0.08
/proc/12070/task/12085/stat : 12085 (satake) D 12068 12070 27791 0 -1 4202560 558 0 0 0 0 8 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=38964 CPUtime=0.02
/proc/12070/task/12086/stat : 12086 (satake) D 12068 12070 27791 0 -1 4202560 326 0 0 0 0 2 0 0 20 0 17 0 644190232 39899136 6978 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 38964

[startup+0.307627 s]
/proc/loadavg: 15.06 14.85 13.31 2/184 12070
/proc/meminfo: memFree=19127300/36427776 swapFree=3972/8240
[pid=12070] ppid=12068 vsize=43548 CPUtime=1.14
/proc/12070/stat : 12070 (satake) S 12068 12070 27791 0 -1 4202496 9097 0 0 0 23 91 0 0 20 0 17 0 644190231 44593152 9053 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12070/statm: 10887 9055 63 164 0 10722 0
[pid=12070/tid=12071] ppid=12068 vsize=43548 CPUtime=0
/proc/12070/task/12071/stat : 12071 (satake) S 12068 12070 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 644190231 44593152 9056 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12072] ppid=12068 vsize=43548 CPUtime=0.1
/proc/12070/task/12072/stat : 12072 (satake) D 12068 12070 27791 0 -1 4202560 734 0 0 0 2 8 0 0 20 0 17 0 644190231 44593152 9056 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=43548 CPUtime=0.1
/proc/12070/task/12073/stat : 12073 (satake) D 12068 12070 27791 0 -1 4202560 736 0 0 0 2 8 0 0 20 0 17 0 644190231 44593152 9056 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=43548 CPUtime=0.1
/proc/12070/task/12074/stat : 12074 (satake) D 12068 12070 27791 0 -1 4202560 830 0 0 0 4 6 0 0 20 0 17 0 644190231 44593152 9056 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=43548 CPUtime=0.04
/proc/12070/task/12075/stat : 12075 (satake) D 12068 12070 27791 0 -1 4202560 414 0 0 0 0 4 0 0 20 0 17 0 644190231 44593152 9057 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=43548 CPUtime=0.06
/proc/12070/task/12076/stat : 12076 (satake) D 12068 12070 27791 0 -1 4202560 611 0 0 0 4 2 0 0 20 0 17 0 644190231 44593152 9057 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=43548 CPUtime=0.1
/proc/12070/task/12077/stat : 12077 (satake) S 12068 12070 27791 0 -1 4202560 705 0 0 0 2 8 0 0 20 0 17 0 644190232 44593152 9057 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=43548 CPUtime=0.04
/proc/12070/task/12078/stat : 12078 (satake) R 12068 12070 27791 0 -1 4202560 492 0 0 0 0 4 0 0 20 0 17 0 644190232 44593152 9058 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=43548 CPUtime=0.08
/proc/12070/task/12079/stat : 12079 (satake) D 12068 12070 27791 0 -1 4202560 639 0 0 0 0 8 0 0 20 0 17 0 644190232 44593152 9058 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=43548 CPUtime=0.04
/proc/12070/task/12080/stat : 12080 (satake) R 12068 12070 27791 0 -1 4202560 459 0 0 0 2 2 0 0 20 0 17 0 644190232 44593152 9060 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=43548 CPUtime=0.08
/proc/12070/task/12081/stat : 12081 (satake) D 12068 12070 27791 0 -1 4202560 636 0 0 0 0 8 0 0 20 0 17 0 644190232 44593152 9060 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=43548 CPUtime=0.1
/proc/12070/task/12082/stat : 12082 (satake) D 12068 12070 27791 0 -1 4202560 699 0 0 0 0 10 0 0 20 0 17 0 644190232 44593152 9060 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=43548 CPUtime=0.06
/proc/12070/task/12083/stat : 12083 (satake) D 12068 12070 27791 0 -1 4202560 532 0 0 0 0 6 0 0 20 0 17 0 644190232 44593152 9060 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=43548 CPUtime=0.04
/proc/12070/task/12084/stat : 12084 (satake) R 12068 12070 27791 0 -1 4202560 419 0 0 0 4 0 0 0 20 0 17 0 644190232 44593152 9060 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=43548 CPUtime=0.1
/proc/12070/task/12085/stat : 12085 (satake) D 12068 12070 27791 0 -1 4202560 699 0 0 0 2 8 0 0 20 0 17 0 644190232 44593152 9062 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=43548 CPUtime=0.04
/proc/12070/task/12086/stat : 12086 (satake) S 12068 12070 27791 0 -1 4202560 365 0 0 0 0 4 0 0 20 0 17 0 644190232 44593152 9064 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 43548

[startup+0.702196 s]
/proc/loadavg: 15.06 14.85 13.31 2/184 12070
/proc/meminfo: memFree=19127300/36427776 swapFree=3972/8240
[pid=12070] ppid=12068 vsize=48880 CPUtime=2.47
/proc/12070/stat : 12070 (satake) S 12068 12070 27791 0 -1 4202496 13632 0 0 0 110 137 0 0 20 0 17 0 644190231 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12070/statm: 12220 10018 68 164 0 12055 0
[pid=12070/tid=12071] ppid=12068 vsize=48880 CPUtime=0.12
/proc/12070/task/12071/stat : 12071 (satake) R 12068 12070 27791 0 -1 4202560 36 0 0 0 2 10 0 0 20 0 17 0 644190231 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12072] ppid=12068 vsize=48880 CPUtime=0.18
/proc/12070/task/12072/stat : 12072 (satake) S 12068 12070 27791 0 -1 4202560 913 0 0 0 10 8 0 0 20 0 17 0 644190231 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=48880 CPUtime=0.2
/proc/12070/task/12073/stat : 12073 (satake) S 12068 12070 27791 0 -1 4202560 933 0 0 0 12 8 0 0 20 0 17 0 644190231 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=48880 CPUtime=0.2
/proc/12070/task/12074/stat : 12074 (satake) S 12068 12070 27791 0 -1 4202560 917 0 0 0 12 8 0 0 20 0 17 0 644190231 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=48880 CPUtime=0.12
/proc/12070/task/12075/stat : 12075 (satake) S 12068 12070 27791 0 -1 4202560 911 0 0 0 6 6 0 0 20 0 17 0 644190231 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=48880 CPUtime=0.16
/proc/12070/task/12076/stat : 12076 (satake) S 12068 12070 27791 0 -1 4202560 949 0 0 0 8 8 0 0 20 0 17 0 644190231 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=48880 CPUtime=0.18
/proc/12070/task/12077/stat : 12077 (satake) S 12068 12070 27791 0 -1 4202560 876 0 0 0 8 10 0 0 20 0 17 0 644190232 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=48880 CPUtime=0.1
/proc/12070/task/12078/stat : 12078 (satake) S 12068 12070 27791 0 -1 4202560 917 0 0 0 6 4 0 0 20 0 17 0 644190232 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=48880 CPUtime=0.14
/proc/12070/task/12079/stat : 12079 (satake) S 12068 12070 27791 0 -1 4202560 874 0 0 0 4 10 0 0 20 0 17 0 644190232 50053120 10018 18446744073709551615 134512640 135180984 4290937616 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=48880 CPUtime=0.12

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

deleting IPC queue 2116485198
deleting IPC queue 2116517967
deleting IPC queue 2116550736
deleting IPC queue 2116583505
deleting IPC queue 2116616274
deleting IPC queue 2116649043
deleting IPC queue 2116681812
deleting IPC queue 2116714581
deleting IPC queue 2116747350
deleting IPC queue 2116780119
deleting IPC queue 2116812888
deleting IPC queue 2116845657
deleting IPC queue 2116878426
deleting IPC queue 2116911195
deleting IPC queue 2116943964
deleting IPC queue 2116976733
deleting IPC queue 2117009502
deleting IPC queue 2117042271
deleting IPC queue 2117075040
deleting IPC queue 2117107809
deleting IPC queue 2117140578
deleting IPC queue 2117173347
deleting IPC queue 2117206116
deleting IPC queue 2117238885
deleting IPC queue 2117271654
deleting IPC queue 2117304423
deleting IPC queue 2117337192
deleting IPC queue 2117369961
deleting IPC queue 2117402730
deleting IPC queue 2117435499
deleting IPC queue 2117468268
deleting IPC queue 2117501037
deleting IPC queue 2117533806
deleting IPC queue 2117566575
deleting IPC queue 2117599344
deleting IPC queue 2117632113
deleting IPC queue 2117664882
deleting IPC queue 2117697651
deleting IPC queue 2117730420
deleting IPC queue 2117763189
deleting IPC queue 2117795958
deleting IPC queue 2117828727
deleting IPC queue 2117861496
deleting IPC queue 2117894265
deleting IPC queue 2117927034
deleting IPC queue 2117959803
deleting IPC queue 2117992572
deleting IPC queue 2118025341
deleting IPC queue 2118058110
deleting IPC queue 2118090879
deleting IPC queue 2118123648
deleting IPC queue 2118156417
deleting IPC queue 2118189186
deleting IPC queue 2118221955
deleting IPC queue 2118254724
deleting IPC queue 2118287493
deleting IPC queue 2118320262
deleting IPC queue 2118353031
deleting IPC queue 2118385800
deleting IPC queue 2118418569
deleting IPC queue 2118451338
deleting IPC queue 2118484107
deleting IPC queue 2118516876
deleting IPC queue 2118549645
deleting IPC queue 2118582414
deleting IPC queue 2118615183
deleting IPC queue 2118647952
deleting IPC queue 2118680721
deleting IPC queue 2118713490
deleting IPC queue 2118746259
deleting IPC queue 2118779028
deleting IPC queue 2118811797
deleting IPC queue 2118844566
deleting IPC queue 2118877335
deleting IPC queue 2118910104
deleting IPC queue 2118942873
deleting IPC queue 2118975642
deleting IPC queue 2119008411
deleting IPC queue 2119041180
deleting IPC queue 2119073949
deleting IPC queue 2119106718
deleting IPC queue 2119139487
deleting IPC queue 2119172256
deleting IPC queue 2119205025
deleting IPC queue 2119237794
deleting IPC queue 2119270563
deleting IPC queue 2119303332
deleting IPC queue 2119336101
deleting IPC queue 2119368870
deleting IPC queue 2119401639
deleting IPC queue 2119434408
deleting IPC queue 2119467177
deleting IPC queue 2119499946
deleting IPC queue 2119532715
deleting IPC queue 2119565484
deleting IPC queue 2119598253
deleting IPC queue 2119631022
deleting IPC queue 2119663791
deleting IPC queue 2119696560
deleting IPC queue 2119729329
deleting IPC queue 2119762098
deleting IPC queue 2119794867
deleting IPC queue 2119827636
deleting IPC queue 2119860405
deleting IPC queue 2119893174
deleting IPC queue 2119925943
deleting IPC queue 2119958712
deleting IPC queue 2119991481
deleting IPC queue 2120024250
deleting IPC queue 2120057019
deleting IPC queue 2120089788
deleting IPC queue 2120122557
deleting IPC queue 2120155326
deleting IPC queue 2120188095
deleting IPC queue 2120220864
deleting IPC queue 2120253633
deleting IPC queue 2120286402
deleting IPC queue 2120319171
deleting IPC queue 2120351940
deleting IPC queue 2120384709
deleting IPC queue 2120417478
deleting IPC queue 2120450247
deleting IPC queue 2120483016
deleting IPC queue 2120515785
deleting IPC queue 2120548554
deleting IPC queue 2120581323
deleting IPC queue 2120614092
deleting IPC queue 2120646861
deleting IPC queue 2120679630
deleting IPC queue 2120712399
deleting IPC queue 2120745168
deleting IPC queue 2120777937
deleting IPC queue 2120810706
deleting IPC queue 2120843475
deleting IPC queue 2120876244
deleting IPC queue 2120909013
deleting IPC queue 2120941782
deleting IPC queue 2120974551
deleting IPC queue 2121007320
deleting IPC queue 2121040089
deleting IPC queue 2121072858
deleting IPC queue 2121105627
deleting IPC queue 2121138396
deleting IPC queue 2121171165
deleting IPC queue 2121203934
deleting IPC queue 2121236703
deleting IPC queue 2121269472
deleting IPC queue 2121302241
deleting IPC queue 2121335010
deleting IPC queue 2121367779
deleting IPC queue 2121400548
deleting IPC queue 2121433317
deleting IPC queue 2121466086
deleting IPC queue 2121498855
deleting IPC queue 2121531624
deleting IPC queue 2121564393
deleting IPC queue 2121597162
deleting IPC queue 2121629931
deleting IPC queue 2121662700
deleting IPC queue 2121695469
deleting IPC queue 2121728238
deleting IPC queue 2121761007
deleting IPC queue 2121793776
deleting IPC queue 2121826545
deleting IPC queue 2121859314
deleting IPC queue 2121892083
deleting IPC queue 2121924852
deleting IPC queue 2121957621
deleting IPC queue 2121990390
deleting IPC queue 2122023159
deleting IPC queue 2122055928
deleting IPC queue 2122088697
deleting IPC queue 2122121466
deleting IPC queue 2122154235
deleting IPC queue 2122187004
deleting IPC queue 2122219773
deleting IPC queue 2122252542
deleting IPC queue 2122285311

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1061.44
system time used= 719.793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63522
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= 62515075
involuntary context switches= 3847555

runsolver used 4.38027 second user time and 11.2527 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 01:20:39
IDJOB=1780992
IDBENCH=71086
IDSOLVER=631
FILE ID=xenhost3-49/1780992-1244848839
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= a30111c778b4a83ebe950f77b63a1b33
RANDOM SEED= 1912831830

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:      19127744 kB
Buffers:        435624 kB
Cached:       14113648 kB
SwapCached:          0 kB
Active:        4080516 kB
Inactive:     10476308 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1400 kB
Writeback:           0 kB
AnonPages:        8240 kB
Mapped:           3308 kB
Slab:           689596 kB
SReclaimable:   662724 kB
SUnreclaim:      26872 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29972 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7027 MiB
End job on xenhost3-49 at 2009-06-13 01:37:21