Trace number 1775562

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/anbulagan/
hard-sat/partial-10-15-s.cnf
MD5SUMa6b04ec2cace5c4e6bef212c7f2df796
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables261020
Number of clauses1211106
Sum of the clauses size2788072
Maximum clause length10
Minimum clause length1
Number of clauses of size 119537
Number of clauses of size 2952032
Number of clauses of size 3190917
Number of clauses of size 45400
Number of clauses of size 521600
Number of clauses of size over 521620

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-1775562-1244710762/watcher-1775562-1244710762 -o /tmp/evaluation-result-1775562-1244710762/solver-1775562-1244710762 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775562-1244710762.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: 14.45 11.11 7.51 2/184 28134
/proc/meminfo: memFree=19126192/36427776 swapFree=4520/8484
[pid=28134] ppid=28132 vsize=8576 CPUtime=0
/proc/28134/stat : 28134 (satake) R 28132 28134 27791 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 16 0 630382674 8781824 468 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/28134/statm: 2144 469 63 164 0 1979 0
[pid=28134/tid=28135] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28135/stat : 28135 (satake) S 28132 28134 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 471 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28136] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28136/stat : 28136 (satake) R 28132 28134 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 476 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28137] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28137/stat : 28137 (satake) R 28132 28134 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 479 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28134/tid=28138] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28138/stat : 28138 (satake) R 28132 28134 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 479 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28139] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28139/stat : 28139 (satake) R 28132 28134 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 479 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28140] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28140/stat : 28140 (satake) R 28132 28134 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 481 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28134/tid=28141] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28141/stat : 28141 (satake) S 28132 28134 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 484 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28142] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28142/stat : 28142 (satake) S 28132 28134 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 487 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=28134/tid=28143] ppid=28132 vsize=8580 CPUtime=0
/proc/28134/task/28143/stat : 28143 (satake) D 28132 28134 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 16 0 630382674 8785920 489 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28134/tid=28144] ppid=28132 vsize=8708 CPUtime=0
/proc/28134/task/28144/stat : 28144 (satake) D 28132 28134 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 16 0 630382674 8916992 489 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28145] ppid=28132 vsize=8708 CPUtime=0
/proc/28134/task/28145/stat : 28145 (satake) S 28132 28134 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 630382674 8916992 494 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=28134/tid=28146] ppid=28132 vsize=8708 CPUtime=0
/proc/28134/task/28146/stat : 28146 (satake) D 28132 28134 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 630382674 8916992 495 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28147] ppid=28132 vsize=8708 CPUtime=0
/proc/28134/task/28147/stat : 28147 (satake) D 28132 28134 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 630382674 8916992 498 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28148] ppid=28132 vsize=8708 CPUtime=0
/proc/28134/task/28148/stat : 28148 (satake) R 28132 28134 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 630382675 8916992 500 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28149] ppid=28132 vsize=8708 CPUtime=0
/proc/28134/task/28149/stat : 28149 (satake) D 28132 28134 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 630382675 8916992 500 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=28134/tid=28150] ppid=28132 vsize=8840 CPUtime=0
/proc/28134/task/28150/stat : 28150 (satake) D 28132 28134 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 630382675 9052160 502 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0

[startup+0.066552 s]
/proc/loadavg: 14.45 11.11 7.51 2/184 28134
/proc/meminfo: memFree=19126192/36427776 swapFree=4520/8484
[pid=28134] ppid=28132 vsize=29160 CPUtime=0.48
/proc/28134/stat : 28134 (satake) S 28132 28134 27791 0 -1 4202496 3886 0 0 0 0 48 0 0 20 0 17 0 630382674 29859840 3827 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/28134/statm: 7290 3830 63 164 0 7125 0
[pid=28134/tid=28135] ppid=28132 vsize=29160 CPUtime=0
/proc/28134/task/28135/stat : 28135 (satake) S 28132 28134 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 630382674 29859840 3831 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28136] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28136/stat : 28136 (satake) R 28132 28134 27791 0 -1 4202560 295 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3831 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28137] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28137/stat : 28137 (satake) R 28132 28134 27791 0 -1 4202560 304 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3831 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28134/tid=28138] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28138/stat : 28138 (satake) D 28132 28134 27791 0 -1 4202560 251 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3832 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28134/tid=28139] ppid=28132 vsize=29160 CPUtime=0.02
/proc/28134/task/28139/stat : 28139 (satake) D 28132 28134 27791 0 -1 4202560 168 0 0 0 0 2 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28140] ppid=28132 vsize=29160 CPUtime=0.02
/proc/28134/task/28140/stat : 28140 (satake) D 28132 28134 27791 0 -1 4202560 231 0 0 0 0 2 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28134/tid=28141] ppid=28132 vsize=29160 CPUtime=0.02
/proc/28134/task/28141/stat : 28141 (satake) D 28132 28134 27791 0 -1 4202560 212 0 0 0 0 2 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28142] ppid=28132 vsize=29160 CPUtime=0.02
/proc/28134/task/28142/stat : 28142 (satake) R 28132 28134 27791 0 -1 4202560 246 0 0 0 0 2 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28134/tid=28143] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28143/stat : 28143 (satake) D 28132 28134 27791 0 -1 4202560 305 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28134/tid=28144] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28144/stat : 28144 (satake) D 28132 28134 27791 0 -1 4202560 309 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28145] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28145/stat : 28145 (satake) D 28132 28134 27791 0 -1 4202560 271 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28134/tid=28146] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28146/stat : 28146 (satake) D 28132 28134 27791 0 -1 4202560 275 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28147] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28147/stat : 28147 (satake) D 28132 28134 27791 0 -1 4202560 282 0 0 0 0 4 0 0 20 0 17 0 630382674 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28148] ppid=28132 vsize=29160 CPUtime=0
/proc/28134/task/28148/stat : 28148 (satake) D 28132 28134 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 630382675 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28149] ppid=28132 vsize=29160 CPUtime=0.02
/proc/28134/task/28149/stat : 28149 (satake) D 28132 28134 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 630382675 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=28134/tid=28150] ppid=28132 vsize=29160 CPUtime=0.04
/proc/28134/task/28150/stat : 28150 (satake) D 28132 28134 27791 0 -1 4202560 274 0 0 0 0 4 0 0 20 0 17 0 630382675 29859840 3833 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 29160

[startup+0.107193 s]
/proc/loadavg: 14.45 11.11 7.51 2/184 28134
/proc/meminfo: memFree=19126192/36427776 swapFree=4520/8484
[pid=28134] ppid=28132 vsize=54504 CPUtime=0.87
/proc/28134/stat : 28134 (satake) S 28132 28134 27791 0 -1 4202496 7741 0 0 0 2 85 0 0 20 0 17 0 630382674 55812096 7682 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/28134/statm: 13626 7705 63 164 0 13461 0
[pid=28134/tid=28135] ppid=28132 vsize=54504 CPUtime=0
/proc/28134/task/28135/stat : 28135 (satake) S 28132 28134 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 630382674 55812096 7720 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28136] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28136/stat : 28136 (satake) R 28132 28134 27791 0 -1 4202560 541 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7736 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28137] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28137/stat : 28137 (satake) R 28132 28134 27791 0 -1 4202560 579 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7756 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28134/tid=28138] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28138/stat : 28138 (satake) R 28132 28134 27791 0 -1 4202560 569 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7769 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28134/tid=28139] ppid=28132 vsize=54504 CPUtime=0.02
/proc/28134/task/28139/stat : 28139 (satake) D 28132 28134 27791 0 -1 4202560 221 0 0 0 0 2 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28140] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28140/stat : 28140 (satake) D 28132 28134 27791 0 -1 4202560 440 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28134/tid=28141] ppid=28132 vsize=54504 CPUtime=0.04
/proc/28134/task/28141/stat : 28141 (satake) D 28132 28134 27791 0 -1 4202560 462 0 0 0 0 4 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28142] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28142/stat : 28142 (satake) R 28132 28134 27791 0 -1 4202560 573 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28134/tid=28143] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28143/stat : 28143 (satake) D 28132 28134 27791 0 -1 4202560 530 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28134/tid=28144] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28144/stat : 28144 (satake) D 28132 28134 27791 0 -1 4202560 604 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28145] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28145/stat : 28145 (satake) D 28132 28134 27791 0 -1 4202560 561 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28134/tid=28146] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28146/stat : 28146 (satake) D 28132 28134 27791 0 -1 4202560 535 0 0 0 0 6 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28147] ppid=28132 vsize=54504 CPUtime=0.04
/proc/28134/task/28147/stat : 28147 (satake) D 28132 28134 27791 0 -1 4202560 417 0 0 0 0 4 0 0 20 0 17 0 630382674 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28148] ppid=28132 vsize=54504 CPUtime=0.02
/proc/28134/task/28148/stat : 28148 (satake) D 28132 28134 27791 0 -1 4202560 219 0 0 0 2 0 0 0 20 0 17 0 630382675 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28149] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28149/stat : 28149 (satake) D 28132 28134 27791 0 -1 4202560 765 0 0 0 0 6 0 0 20 0 17 0 630382675 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=28134/tid=28150] ppid=28132 vsize=54504 CPUtime=0.06
/proc/28134/task/28150/stat : 28150 (satake) D 28132 28134 27791 0 -1 4202560 679 0 0 0 0 6 0 0 20 0 17 0 630382675 55812096 7771 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 54504

[startup+0.307549 s]
/proc/loadavg: 14.45 11.11 7.51 2/184 28134
/proc/meminfo: memFree=19126192/36427776 swapFree=4520/8484
[pid=28134] ppid=28132 vsize=212200 CPUtime=3.17
/proc/28134/stat : 28134 (satake) S 28132 28134 27791 0 -1 4202496 33590 0 0 0 2 315 0 0 20 0 17 0 630382674 217292800 33533 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/28134/statm: 53050 33536 63 164 0 52885 0
[pid=28134/tid=28135] ppid=28132 vsize=212200 CPUtime=0
/proc/28134/task/28135/stat : 28135 (satake) S 28132 28134 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 630382674 217292800 33537 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28136] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28136/stat : 28136 (satake) R 28132 28134 27791 0 -1 4202560 2151 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33540 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28137] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28137/stat : 28137 (satake) R 28132 28134 27791 0 -1 4202560 2490 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33541 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28134/tid=28138] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28138/stat : 28138 (satake) R 28132 28134 27791 0 -1 4202560 2957 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33553 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28134/tid=28139] ppid=28132 vsize=212200 CPUtime=0.12
/proc/28134/task/28139/stat : 28139 (satake) R 28132 28134 27791 0 -1 4202560 1219 0 0 0 0 12 0 0 20 0 17 0 630382674 217292800 33593 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28140] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28140/stat : 28140 (satake) R 28132 28134 27791 0 -1 4202560 2030 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33608 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28134/tid=28141] ppid=28132 vsize=212200 CPUtime=0.12
/proc/28134/task/28141/stat : 28141 (satake) R 28132 28134 27791 0 -1 4202560 1407 0 0 0 0 12 0 0 20 0 17 0 630382674 217292800 33643 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28142] ppid=28132 vsize=212200 CPUtime=0.22
/proc/28134/task/28142/stat : 28142 (satake) R 28132 28134 27791 0 -1 4202560 2977 0 0 0 0 22 0 0 20 0 17 0 630382674 217292800 33699 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28134/tid=28143] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28143/stat : 28143 (satake) R 28132 28134 27791 0 -1 4202560 2416 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33726 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28134/tid=28144] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28144/stat : 28144 (satake) R 28132 28134 27791 0 -1 4202560 2091 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33743 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28145] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28145/stat : 28145 (satake) R 28132 28134 27791 0 -1 4202560 2368 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33770 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28134/tid=28146] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28146/stat : 28146 (satake) R 28132 28134 27791 0 -1 4202560 2139 0 0 0 0 24 0 0 20 0 17 0 630382674 217292800 33790 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28147] ppid=28132 vsize=212200 CPUtime=0.14
/proc/28134/task/28147/stat : 28147 (satake) R 28132 28134 27791 0 -1 4202560 1225 0 0 0 0 14 0 0 20 0 17 0 630382674 217292800 33815 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28148] ppid=28132 vsize=212200 CPUtime=0.1
/proc/28134/task/28148/stat : 28148 (satake) R 28132 28134 27791 0 -1 4202560 1032 0 0 0 2 8 0 0 20 0 17 0 630382675 217292800 33859 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28149] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28149/stat : 28149 (satake) R 28132 28134 27791 0 -1 4202560 3896 0 0 0 0 24 0 0 20 0 17 0 630382675 217292800 33885 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=28134/tid=28150] ppid=28132 vsize=212200 CPUtime=0.24
/proc/28134/task/28150/stat : 28150 (satake) R 28132 28134 27791 0 -1 4202560 3239 0 0 0 0 24 0 0 20 0 17 0 630382675 217292800 33924 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 212200

[startup+0.706394 s]
/proc/loadavg: 14.45 11.11 7.51 2/184 28134
/proc/meminfo: memFree=19126192/36427776 swapFree=4520/8484
[pid=28134] ppid=28132 vsize=389256 CPUtime=7.44
/proc/28134/stat : 28134 (satake) S 28132 28134 27791 0 -1 4202496 63288 0 0 0 2 742 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/28134/statm: 97314 63229 63 164 0 97149 0
[pid=28134/tid=28135] ppid=28132 vsize=389256 CPUtime=0
/proc/28134/task/28135/stat : 28135 (satake) S 28132 28134 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28134/tid=28136] ppid=28132 vsize=389256 CPUtime=0.56
/proc/28134/task/28136/stat : 28136 (satake) D 28132 28134 27791 0 -1 4202560 4677 0 0 0 0 56 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28137] ppid=28132 vsize=389256 CPUtime=0.58
/proc/28134/task/28137/stat : 28137 (satake) D 28132 28134 27791 0 -1 4202560 4658 0 0 0 0 58 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28134/tid=28138] ppid=28132 vsize=389256 CPUtime=0.56
/proc/28134/task/28138/stat : 28138 (satake) D 28132 28134 27791 0 -1 4202560 5502 0 0 0 0 56 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28134/tid=28139] ppid=28132 vsize=389256 CPUtime=0.28
/proc/28134/task/28139/stat : 28139 (satake) D 28132 28134 27791 0 -1 4202560 2339 0 0 0 0 28 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28140] ppid=28132 vsize=389256 CPUtime=0.56
/proc/28134/task/28140/stat : 28140 (satake) D 28132 28134 27791 0 -1 4202560 4113 0 0 0 0 56 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28134/tid=28141] ppid=28132 vsize=389256 CPUtime=0.3
/proc/28134/task/28141/stat : 28141 (satake) D 28132 28134 27791 0 -1 4202560 2682 0 0 0 0 30 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28142] ppid=28132 vsize=389256 CPUtime=0.56
/proc/28134/task/28142/stat : 28142 (satake) R 28132 28134 27791 0 -1 4202560 5028 0 0 0 0 56 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28134/tid=28143] ppid=28132 vsize=389256 CPUtime=0.52
/proc/28134/task/28143/stat : 28143 (satake) D 28132 28134 27791 0 -1 4202560 4856 0 0 0 0 52 0 0 20 0 17 0 630382674 398598144 63229 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28134/tid=28144] ppid=28132 vsize=389256 CPUtime=0.58

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

deleting IPC queue 36110414
deleting IPC queue 36143183
deleting IPC queue 36175952
deleting IPC queue 36208721
deleting IPC queue 36241490
deleting IPC queue 36274259
deleting IPC queue 36307028
deleting IPC queue 36339797
deleting IPC queue 36372566
deleting IPC queue 36405335
deleting IPC queue 36438104
deleting IPC queue 36470873
deleting IPC queue 36503642
deleting IPC queue 36536411
deleting IPC queue 36569180
deleting IPC queue 36601949
deleting IPC queue 36634718
deleting IPC queue 36667487
deleting IPC queue 36700256
deleting IPC queue 36733025
deleting IPC queue 36765794
deleting IPC queue 36798563
deleting IPC queue 36831332
deleting IPC queue 36864101
deleting IPC queue 36896870
deleting IPC queue 36929639
deleting IPC queue 36962408
deleting IPC queue 36995177
deleting IPC queue 37027946
deleting IPC queue 37060715
deleting IPC queue 37093484
deleting IPC queue 37126253
deleting IPC queue 37159022
deleting IPC queue 37191791
deleting IPC queue 37224560
deleting IPC queue 37257329
deleting IPC queue 37290098
deleting IPC queue 37322867
deleting IPC queue 37355636
deleting IPC queue 37388405
deleting IPC queue 37421174
deleting IPC queue 37453943
deleting IPC queue 37486712
deleting IPC queue 37519481
deleting IPC queue 37552250
deleting IPC queue 37585019
deleting IPC queue 37617788
deleting IPC queue 37650557
deleting IPC queue 37683326
deleting IPC queue 37716095
deleting IPC queue 37748864
deleting IPC queue 37781633
deleting IPC queue 37814402
deleting IPC queue 37847171
deleting IPC queue 37879940
deleting IPC queue 37912709
deleting IPC queue 37945478
deleting IPC queue 37978247
deleting IPC queue 38011016
deleting IPC queue 38043785
deleting IPC queue 38076554
deleting IPC queue 38109323
deleting IPC queue 38142092
deleting IPC queue 38174861
deleting IPC queue 38207630
deleting IPC queue 38240399
deleting IPC queue 38273168
deleting IPC queue 38305937
deleting IPC queue 38338706
deleting IPC queue 38371475
deleting IPC queue 38404244
deleting IPC queue 38437013
deleting IPC queue 38469782
deleting IPC queue 38502551
deleting IPC queue 38535320
deleting IPC queue 38568089
deleting IPC queue 38600858
deleting IPC queue 38633627
deleting IPC queue 38666396
deleting IPC queue 38699165
deleting IPC queue 38731934
deleting IPC queue 38764703
deleting IPC queue 38797472
deleting IPC queue 38830241
deleting IPC queue 38863010
deleting IPC queue 38895779
deleting IPC queue 38928548
deleting IPC queue 38961317
deleting IPC queue 38994086
deleting IPC queue 39026855
deleting IPC queue 39059624
deleting IPC queue 39092393
deleting IPC queue 39125162
deleting IPC queue 39157931
deleting IPC queue 39190700
deleting IPC queue 39223469
deleting IPC queue 39256238
deleting IPC queue 39289007
deleting IPC queue 39321776
deleting IPC queue 39354545
deleting IPC queue 39387314
deleting IPC queue 39420083
deleting IPC queue 39452852
deleting IPC queue 39485621
deleting IPC queue 39518390
deleting IPC queue 39551159
deleting IPC queue 39583928
deleting IPC queue 39616697
deleting IPC queue 39649466
deleting IPC queue 39682235
deleting IPC queue 39715004
deleting IPC queue 39747773
deleting IPC queue 39780542
deleting IPC queue 39813311
deleting IPC queue 39846080
deleting IPC queue 39878849
deleting IPC queue 39911618
deleting IPC queue 39944387
deleting IPC queue 39977156
deleting IPC queue 40009925
deleting IPC queue 40042694
deleting IPC queue 40075463
deleting IPC queue 40108232
deleting IPC queue 40141001
deleting IPC queue 40173770
deleting IPC queue 40206539
deleting IPC queue 40239308
deleting IPC queue 40272077
deleting IPC queue 40304846
deleting IPC queue 40337615
deleting IPC queue 40370384
deleting IPC queue 40403153
deleting IPC queue 40435922
deleting IPC queue 40468691
deleting IPC queue 40501460
deleting IPC queue 40534229
deleting IPC queue 40566998
deleting IPC queue 40599767
deleting IPC queue 40632536
deleting IPC queue 40665305
deleting IPC queue 40698074
deleting IPC queue 40730843
deleting IPC queue 40763612
deleting IPC queue 40796381
deleting IPC queue 40829150
deleting IPC queue 40861919
deleting IPC queue 40894688
deleting IPC queue 40927457
deleting IPC queue 40960226
deleting IPC queue 40992995
deleting IPC queue 41025764
deleting IPC queue 41058533
deleting IPC queue 41091302
deleting IPC queue 41124071
deleting IPC queue 41156840
deleting IPC queue 41189609
deleting IPC queue 41222378
deleting IPC queue 41255147
deleting IPC queue 41287916
deleting IPC queue 41320685
deleting IPC queue 41353454
deleting IPC queue 41386223
deleting IPC queue 41418992
deleting IPC queue 41451761
deleting IPC queue 41484530
deleting IPC queue 41517299
deleting IPC queue 41550068
deleting IPC queue 41582837
deleting IPC queue 41615606
deleting IPC queue 41648375
deleting IPC queue 41681144
deleting IPC queue 41713913
deleting IPC queue 41746682
deleting IPC queue 41779451
deleting IPC queue 41812220
deleting IPC queue 41844989
deleting IPC queue 41877758
deleting IPC queue 41910527

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3692.92
system time used= 240.203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598869
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= 18064294
involuntary context switches= 626281

runsolver used 2.06013 second user time and 5.59235 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 10:59:22
IDJOB=1775562
IDBENCH=20352
IDSOLVER=631
FILE ID=xenhost3-49/1775562-1244710762
PBS_JOBID=
Free space on /tmp= 7020 MiB

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

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

MD5SUM BENCH= a6b04ec2cace5c4e6bef212c7f2df796
RANDOM SEED= 1276350193

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:      19126192 kB
Buffers:        431840 kB
Cached:       14121360 kB
SwapCached:          0 kB
Active:        4076804 kB
Inactive:     10484120 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           22676 kB
Writeback:           0 kB
AnonPages:        8484 kB
Mapped:           3856 kB
Slab:           687968 kB
SReclaimable:   661104 kB
SUnreclaim:      26864 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-11 11:06:46