Trace number 1779642

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) 8129.08 1000.08

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-20.cnf
MD5SUMd682d44f13c64e9669f2eded046ee8c4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark87.21
Satisfiable
(Un)Satisfiability was proved
Number of variables33054
Number of clauses108377
Sum of the clauses size276669
Maximum clause length61
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 251324
Number of clauses of size 355013
Number of clauses of size 41546
Number of clauses of size 5256
Number of clauses of size over 5236

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-1779642-1244804977/watcher-1779642-1244804977 -o /tmp/evaluation-result-1779642-1244804977/solver-1779642-1244804977 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779642-1244804977.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: 3.99 5.04 5.53 2/184 6267
/proc/meminfo: memFree=19133916/36427776 swapFree=3968/8248
[pid=6267] ppid=6265 vsize=6880 CPUtime=0
/proc/6267/stat : 6267 (satake) R 6265 6267 27791 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 15 0 639804113 7045120 350 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6267/statm: 1720 352 63 164 0 1555 0
[pid=6267/tid=6268] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6268/stat : 6268 (satake) S 6265 6267 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 418 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6269] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6269/stat : 6269 (satake) R 6265 6267 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 420 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6270] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6270/stat : 6270 (satake) D 6265 6267 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 421 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=6267/tid=6271] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6271/stat : 6271 (satake) R 6265 6267 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 421 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6272] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6272/stat : 6272 (satake) R 6265 6267 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 421 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6273] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6273/stat : 6273 (satake) S 6265 6267 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 422 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6274] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6274/stat : 6274 (satake) R 6265 6267 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 423 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6275] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6275/stat : 6275 (satake) R 6265 6267 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 424 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6276] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6276/stat : 6276 (satake) S 6265 6267 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 432 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6277] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6277/stat : 6277 (satake) S 6265 6267 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 453 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6278] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6278/stat : 6278 (satake) R 6265 6267 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 467 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6267/tid=6279] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6279/stat : 6279 (satake) R 6265 6267 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 639804113 7790592 480 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6280] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6280/stat : 6280 (satake) D 6265 6267 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639804114 7790592 492 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6267/tid=6281] ppid=6265 vsize=7608 CPUtime=0
/proc/6267/task/6281/stat : 6281 (satake) D 6265 6267 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 639804114 7790592 493 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6282] ppid=6265 vsize=7740 CPUtime=0
/proc/6267/task/6282/stat : 6282 (satake) D 6265 6267 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 639804114 7925760 494 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6283] ppid=6265 vsize=7740 CPUtime=0
/proc/6267/task/6283/stat : 6283 (satake) R 6265 6267 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 639804114 7925760 499 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.031604 s]
/proc/loadavg: 3.99 5.04 5.53 2/184 6267
/proc/meminfo: memFree=19133916/36427776 swapFree=3968/8248
[pid=6267] ppid=6265 vsize=16984 CPUtime=0.11
/proc/6267/stat : 6267 (satake) S 6265 6267 27791 0 -1 4202496 2271 0 0 0 5 6 0 0 20 0 17 0 639804113 17391616 2227 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6267/statm: 4246 2228 63 164 0 4081 0
[pid=6267/tid=6268] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6268/stat : 6268 (satake) S 6265 6267 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2247 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6269] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6269/stat : 6269 (satake) R 6265 6267 27791 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2269 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6270] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6270/stat : 6270 (satake) R 6265 6267 27791 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2294 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=6267/tid=6271] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6271/stat : 6271 (satake) R 6265 6267 27791 0 -1 4202560 261 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2313 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6272] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6272/stat : 6272 (satake) R 6265 6267 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2330 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6273] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6273/stat : 6273 (satake) R 6265 6267 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2349 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6274] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6274/stat : 6274 (satake) R 6265 6267 27791 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2370 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6275] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6275/stat : 6275 (satake) R 6265 6267 27791 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2397 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6276] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6276/stat : 6276 (satake) R 6265 6267 27791 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2414 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=6267/tid=6277] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6277/stat : 6277 (satake) R 6265 6267 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2436 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6278] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6278/stat : 6278 (satake) D 6265 6267 27791 0 -1 4202560 232 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2449 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6267/tid=6279] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6279/stat : 6279 (satake) D 6265 6267 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 639804113 17391616 2452 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6280] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6280/stat : 6280 (satake) D 6265 6267 27791 0 -1 4202560 215 0 0 0 0 0 0 0 20 0 17 0 639804114 17391616 2452 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6267/tid=6281] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6281/stat : 6281 (satake) D 6265 6267 27791 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 17 0 639804114 17391616 2452 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6282] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6282/stat : 6282 (satake) D 6265 6267 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 639804114 17391616 2452 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6283] ppid=6265 vsize=16984 CPUtime=0
/proc/6267/task/6283/stat : 6283 (satake) D 6265 6267 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 17 0 639804114 17391616 2452 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16984

[startup+0.103536 s]
/proc/loadavg: 3.99 5.04 5.53 2/184 6267
/proc/meminfo: memFree=19133916/36427776 swapFree=3968/8248
[pid=6267] ppid=6265 vsize=74324 CPUtime=0.51
/proc/6267/stat : 6267 (satake) S 6265 6267 27791 0 -1 4202496 6255 0 0 0 7 44 0 0 20 0 17 0 639804113 76107776 6212 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6267/statm: 18581 6219 63 164 0 18416 0
[pid=6267/tid=6268] ppid=6265 vsize=74324 CPUtime=0
/proc/6267/task/6268/stat : 6268 (satake) S 6265 6267 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6269] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6269/stat : 6269 (satake) R 6265 6267 27791 0 -1 4202560 579 0 0 0 0 4 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6270] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6270/stat : 6270 (satake) R 6265 6267 27791 0 -1 4202560 591 0 0 0 0 4 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=6267/tid=6271] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6271/stat : 6271 (satake) R 6265 6267 27791 0 -1 4202560 601 0 0 0 0 4 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6272] ppid=6265 vsize=74324 CPUtime=0
/proc/6267/task/6272/stat : 6272 (satake) D 6265 6267 27791 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6273] ppid=6265 vsize=74324 CPUtime=0
/proc/6267/task/6273/stat : 6273 (satake) R 6265 6267 27791 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6274] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6274/stat : 6274 (satake) D 6265 6267 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6275] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6275/stat : 6275 (satake) D 6265 6267 27791 0 -1 4202560 553 0 0 0 0 4 0 0 20 0 17 0 639804113 76107776 6219 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6276] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6276/stat : 6276 (satake) D 6265 6267 27791 0 -1 4202560 508 0 0 0 0 4 0 0 20 0 17 0 639804113 76107776 6220 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=6267/tid=6277] ppid=6265 vsize=74324 CPUtime=0.02
/proc/6267/task/6277/stat : 6277 (satake) D 6265 6267 27791 0 -1 4202560 171 0 0 0 0 2 0 0 20 0 17 0 639804113 76107776 6220 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6278] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6278/stat : 6278 (satake) R 6265 6267 27791 0 -1 4202560 578 0 0 0 0 4 0 0 20 0 17 0 639804113 76107776 6225 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6267/tid=6279] ppid=6265 vsize=74324 CPUtime=0.02
/proc/6267/task/6279/stat : 6279 (satake) D 6265 6267 27791 0 -1 4202560 172 0 0 0 0 2 0 0 20 0 17 0 639804113 76107776 6227 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6280] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6280/stat : 6280 (satake) R 6265 6267 27791 0 -1 4202560 576 0 0 0 0 4 0 0 20 0 17 0 639804114 76107776 6228 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6267/tid=6281] ppid=6265 vsize=74324 CPUtime=0.04
/proc/6267/task/6281/stat : 6281 (satake) R 6265 6267 27791 0 -1 4202560 512 0 0 0 0 4 0 0 20 0 17 0 639804114 76107776 6228 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6282] ppid=6265 vsize=74324 CPUtime=0.02
/proc/6267/task/6282/stat : 6282 (satake) R 6265 6267 27791 0 -1 4202560 179 0 0 0 0 2 0 0 20 0 17 0 639804114 76107776 6228 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6283] ppid=6265 vsize=74324 CPUtime=0.02
/proc/6267/task/6283/stat : 6283 (satake) R 6265 6267 27791 0 -1 4202560 214 0 0 0 2 0 0 0 20 0 17 0 639804114 76107776 6228 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 74324

[startup+0.303553 s]
/proc/loadavg: 3.99 5.04 5.53 2/184 6267
/proc/meminfo: memFree=19133916/36427776 swapFree=3968/8248
[pid=6267] ppid=6265 vsize=118620 CPUtime=1.34
/proc/6267/stat : 6267 (satake) S 6265 6267 27791 0 -1 4202496 12439 0 0 0 7 127 0 0 20 0 17 0 639804113 121466880 12396 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6267/statm: 29655 12397 63 164 0 29490 0
[pid=6267/tid=6268] ppid=6265 vsize=118620 CPUtime=0
/proc/6267/task/6268/stat : 6268 (satake) S 6265 6267 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639804113 121466880 12397 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6269] ppid=6265 vsize=118620 CPUtime=0.1
/proc/6267/task/6269/stat : 6269 (satake) D 6265 6267 27791 0 -1 4202560 959 0 0 0 0 10 0 0 20 0 17 0 639804113 121466880 12398 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6270] ppid=6265 vsize=118620 CPUtime=0.12
/proc/6267/task/6270/stat : 6270 (satake) D 6265 6267 27791 0 -1 4202560 1002 0 0 0 0 12 0 0 20 0 17 0 639804113 121466880 12398 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=6267/tid=6271] ppid=6265 vsize=118620 CPUtime=0.08
/proc/6267/task/6271/stat : 6271 (satake) D 6265 6267 27791 0 -1 4202560 992 0 0 0 0 8 0 0 20 0 17 0 639804113 121466880 12399 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6272] ppid=6265 vsize=118620 CPUtime=0.06
/proc/6267/task/6272/stat : 6272 (satake) D 6265 6267 27791 0 -1 4202560 614 0 0 0 0 6 0 0 20 0 17 0 639804113 121466880 12399 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6273] ppid=6265 vsize=118620 CPUtime=0.06
/proc/6267/task/6273/stat : 6273 (satake) D 6265 6267 27791 0 -1 4202560 629 0 0 0 0 6 0 0 20 0 17 0 639804113 121466880 12402 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6274] ppid=6265 vsize=118620 CPUtime=0.08
/proc/6267/task/6274/stat : 6274 (satake) R 6265 6267 27791 0 -1 4202560 947 0 0 0 0 8 0 0 20 0 17 0 639804113 121466880 12404 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6275] ppid=6265 vsize=118620 CPUtime=0.08
/proc/6267/task/6275/stat : 6275 (satake) R 6265 6267 27791 0 -1 4202560 933 0 0 0 0 8 0 0 20 0 17 0 639804113 121466880 12404 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6276] ppid=6265 vsize=118620 CPUtime=0.08
/proc/6267/task/6276/stat : 6276 (satake) D 6265 6267 27791 0 -1 4202560 897 0 0 0 0 8 0 0 20 0 17 0 639804113 121466880 12404 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=6267/tid=6277] ppid=6265 vsize=118620 CPUtime=0.06
/proc/6267/task/6277/stat : 6277 (satake) R 6265 6267 27791 0 -1 4202560 626 0 0 0 0 6 0 0 20 0 17 0 639804113 121466880 12404 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6278] ppid=6265 vsize=118620 CPUtime=0.1
/proc/6267/task/6278/stat : 6278 (satake) D 6265 6267 27791 0 -1 4202560 992 0 0 0 0 10 0 0 20 0 17 0 639804113 121466880 12405 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6267/tid=6279] ppid=6265 vsize=118620 CPUtime=0.06
/proc/6267/task/6279/stat : 6279 (satake) D 6265 6267 27791 0 -1 4202560 618 0 0 0 0 6 0 0 20 0 17 0 639804113 121466880 12405 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6280] ppid=6265 vsize=118620 CPUtime=0.12
/proc/6267/task/6280/stat : 6280 (satake) D 6265 6267 27791 0 -1 4202560 976 0 0 0 0 12 0 0 20 0 17 0 639804114 121466880 12405 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6267/tid=6281] ppid=6265 vsize=118620 CPUtime=0.08
/proc/6267/task/6281/stat : 6281 (satake) D 6265 6267 27791 0 -1 4202560 876 0 0 0 0 8 0 0 20 0 17 0 639804114 121466880 12405 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6282] ppid=6265 vsize=118620 CPUtime=0.06
/proc/6267/task/6282/stat : 6282 (satake) D 6265 6267 27791 0 -1 4202560 617 0 0 0 0 6 0 0 20 0 17 0 639804114 121466880 12406 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6267/tid=6283] ppid=6265 vsize=118620 CPUtime=0.06
/proc/6267/task/6283/stat : 6283 (satake) D 6265 6267 27791 0 -1 4202560 635 0 0 0 2 4 0 0 20 0 17 0 639804114 121466880 12410 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 118620

[startup+0.703588 s]
/proc/loadavg: 3.99 5.04 5.53 2/184 6267
/proc/meminfo: memFree=19133916/36427776 swapFree=3968/8248
[pid=6267] ppid=6265 vsize=138488 CPUtime=2.66
/proc/6267/stat : 6267 (satake) S 6265 6267 27791 0 -1 4202496 23559 0 0 0 12 254 0 0 20 0 17 0 639804113 141811712 23515 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6267/statm: 34622 23516 63 164 0 34457 0
[pid=6267/tid=6268] ppid=6265 vsize=138488 CPUtime=0
/proc/6267/task/6268/stat : 6268 (satake) S 6265 6267 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639804113 141811712 23518 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6269] ppid=6265 vsize=138488 CPUtime=0.18
/proc/6267/task/6269/stat : 6269 (satake) R 6265 6267 27791 0 -1 4202560 1601 0 0 0 0 18 0 0 20 0 17 0 639804113 141811712 23519 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6270] ppid=6265 vsize=138488 CPUtime=0.22
/proc/6267/task/6270/stat : 6270 (satake) R 6265 6267 27791 0 -1 4202560 1617 0 0 0 2 20 0 0 20 0 17 0 639804113 141811712 23520 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=6267/tid=6271] ppid=6265 vsize=138488 CPUtime=0.18
/proc/6267/task/6271/stat : 6271 (satake) R 6265 6267 27791 0 -1 4202560 1651 0 0 0 2 16 0 0 20 0 17 0 639804113 141811712 23520 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=6267/tid=6272] ppid=6265 vsize=138488 CPUtime=0.12
/proc/6267/task/6272/stat : 6272 (satake) S 6265 6267 27791 0 -1 4202560 1486 0 0 0 0 12 0 0 20 0 17 0 639804113 141811712 23521 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=6267/tid=6273] ppid=6265 vsize=138488 CPUtime=0.14
/proc/6267/task/6273/stat : 6273 (satake) S 6265 6267 27791 0 -1 4202560 1477 0 0 0 0 14 0 0 20 0 17 0 639804113 141811712 23521 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=6267/tid=6274] ppid=6265 vsize=138488 CPUtime=0.18
/proc/6267/task/6274/stat : 6274 (satake) S 6265 6267 27791 0 -1 4202560 1634 0 0 0 0 18 0 0 20 0 17 0 639804113 141811712 23521 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=6267/tid=6275] ppid=6265 vsize=138488 CPUtime=0.18
/proc/6267/task/6275/stat : 6275 (satake) D 6265 6267 27791 0 -1 4202560 1611 0 0 0 2 16 0 0 20 0 17 0 639804113 141811712 23522 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6267/tid=6276] ppid=6265 vsize=138488 CPUtime=0.18
/proc/6267/task/6276/stat : 6276 (satake) S 6265 6267 27791 0 -1 4202560 1585 0 0 0 0 18 0 0 20 0 17 0 639804113 141811712 23522 18446744073709551615 134512640 135180984 4286965568 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=6267/tid=6277] ppid=6265 vsize=138488 CPUtime=0.14

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

deleting IPC queue 1361510478
deleting IPC queue 1361543247
deleting IPC queue 1361576016
deleting IPC queue 1361608785
deleting IPC queue 1361641554
deleting IPC queue 1361674323
deleting IPC queue 1361707092
deleting IPC queue 1361739861
deleting IPC queue 1361772630
deleting IPC queue 1361805399
deleting IPC queue 1361838168
deleting IPC queue 1361870937
deleting IPC queue 1361903706
deleting IPC queue 1361936475
deleting IPC queue 1361969244
deleting IPC queue 1362002013
deleting IPC queue 1362034782
deleting IPC queue 1362067551
deleting IPC queue 1362100320
deleting IPC queue 1362133089
deleting IPC queue 1362165858
deleting IPC queue 1362198627
deleting IPC queue 1362231396
deleting IPC queue 1362264165
deleting IPC queue 1362296934
deleting IPC queue 1362329703
deleting IPC queue 1362362472
deleting IPC queue 1362395241
deleting IPC queue 1362428010
deleting IPC queue 1362460779
deleting IPC queue 1362493548
deleting IPC queue 1362526317
deleting IPC queue 1362559086
deleting IPC queue 1362591855
deleting IPC queue 1362624624
deleting IPC queue 1362657393
deleting IPC queue 1362690162
deleting IPC queue 1362722931
deleting IPC queue 1362755700
deleting IPC queue 1362788469
deleting IPC queue 1362821238
deleting IPC queue 1362854007
deleting IPC queue 1362886776
deleting IPC queue 1362919545
deleting IPC queue 1362952314
deleting IPC queue 1362985083
deleting IPC queue 1363017852
deleting IPC queue 1363050621
deleting IPC queue 1363083390
deleting IPC queue 1363116159
deleting IPC queue 1363148928
deleting IPC queue 1363181697
deleting IPC queue 1363214466
deleting IPC queue 1363247235
deleting IPC queue 1363280004
deleting IPC queue 1363312773
deleting IPC queue 1363345542
deleting IPC queue 1363378311
deleting IPC queue 1363411080
deleting IPC queue 1363443849
deleting IPC queue 1363476618
deleting IPC queue 1363509387
deleting IPC queue 1363542156
deleting IPC queue 1363574925
deleting IPC queue 1363607694
deleting IPC queue 1363640463
deleting IPC queue 1363673232
deleting IPC queue 1363706001
deleting IPC queue 1363738770
deleting IPC queue 1363771539
deleting IPC queue 1363804308
deleting IPC queue 1363837077
deleting IPC queue 1363869846
deleting IPC queue 1363902615
deleting IPC queue 1363935384
deleting IPC queue 1363968153
deleting IPC queue 1364000922
deleting IPC queue 1364033691
deleting IPC queue 1364066460
deleting IPC queue 1364099229
deleting IPC queue 1364131998
deleting IPC queue 1364164767
deleting IPC queue 1364197536
deleting IPC queue 1364230305
deleting IPC queue 1364263074
deleting IPC queue 1364295843
deleting IPC queue 1364328612
deleting IPC queue 1364361381
deleting IPC queue 1364394150
deleting IPC queue 1364426919
deleting IPC queue 1364459688
deleting IPC queue 1364492457
deleting IPC queue 1364525226
deleting IPC queue 1364557995
deleting IPC queue 1364590764
deleting IPC queue 1364623533
deleting IPC queue 1364656302
deleting IPC queue 1364689071
deleting IPC queue 1364721840
deleting IPC queue 1364754609
deleting IPC queue 1364787378
deleting IPC queue 1364820147
deleting IPC queue 1364852916
deleting IPC queue 1364885685
deleting IPC queue 1364918454
deleting IPC queue 1364951223
deleting IPC queue 1364983992
deleting IPC queue 1365016761
deleting IPC queue 1365049530
deleting IPC queue 1365082299
deleting IPC queue 1365115068
deleting IPC queue 1365147837
deleting IPC queue 1365180606
deleting IPC queue 1365213375
deleting IPC queue 1365246144
deleting IPC queue 1365278913
deleting IPC queue 1365311682
deleting IPC queue 1365344451
deleting IPC queue 1365377220
deleting IPC queue 1365409989
deleting IPC queue 1365442758
deleting IPC queue 1365475527
deleting IPC queue 1365508296
deleting IPC queue 1365541065
deleting IPC queue 1365573834
deleting IPC queue 1365606603
deleting IPC queue 1365639372
deleting IPC queue 1365672141
deleting IPC queue 1365704910
deleting IPC queue 1365737679
deleting IPC queue 1365770448
deleting IPC queue 1365803217
deleting IPC queue 1365835986
deleting IPC queue 1365868755
deleting IPC queue 1365901524
deleting IPC queue 1365934293
deleting IPC queue 1365967062
deleting IPC queue 1365999831
deleting IPC queue 1366032600
deleting IPC queue 1366065369
deleting IPC queue 1366098138
deleting IPC queue 1366130907
deleting IPC queue 1366163676
deleting IPC queue 1366196445
deleting IPC queue 1366229214
deleting IPC queue 1366261983
deleting IPC queue 1366294752
deleting IPC queue 1366327521
deleting IPC queue 1366360290
deleting IPC queue 1366393059
deleting IPC queue 1366425828
deleting IPC queue 1366458597
deleting IPC queue 1366491366
deleting IPC queue 1366524135
deleting IPC queue 1366556904
deleting IPC queue 1366589673
deleting IPC queue 1366622442
deleting IPC queue 1366655211
deleting IPC queue 1366687980
deleting IPC queue 1366720749
deleting IPC queue 1366753518
deleting IPC queue 1366786287
deleting IPC queue 1366819056
deleting IPC queue 1366851825
deleting IPC queue 1366884594
deleting IPC queue 1366917363
deleting IPC queue 1366950132
deleting IPC queue 1366982901
deleting IPC queue 1367015670
deleting IPC queue 1367048439
deleting IPC queue 1367081208
deleting IPC queue 1367113977
deleting IPC queue 1367146746
deleting IPC queue 1367179515
deleting IPC queue 1367212284
deleting IPC queue 1367245053
deleting IPC queue 1367277822
deleting IPC queue 1367310591

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7648.75
system time used= 480.322
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160595
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= 42735752
involuntary context switches= 1961005

runsolver used 4.50028 second user time and 13.4728 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 13:09:37
IDJOB=1779642
IDBENCH=70883
IDSOLVER=631
FILE ID=xenhost3-49/1779642-1244804977
PBS_JOBID=
Free space on /tmp= 7034 MiB

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

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

MD5SUM BENCH= d682d44f13c64e9669f2eded046ee8c4
RANDOM SEED= 466907940

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:      19133916 kB
Buffers:        433856 kB
Cached:       14106784 kB
SwapCached:          0 kB
Active:        4079676 kB
Inactive:     10469636 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2700 kB
Writeback:           0 kB
AnonPages:        8248 kB
Mapped:           3968 kB
Slab:           688416 kB
SReclaimable:   661616 kB
SUnreclaim:      26800 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7034 MiB
End job on xenhost3-49 at 2009-06-12 13:26:20