Trace number 1776282

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) 1034.96 1000.04

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
MD5SUMb1a6497b6934405ef70bfcc51fa85893
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1074.69
Satisfiable
(Un)Satisfiability was proved
Number of variables1111
Number of clauses3756
Sum of the clauses size9786
Maximum clause length19
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21603
Number of clauses of size 32090
Number of clauses of size 430
Number of clauses of size 518
Number of clauses of size over 512

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-1776282-1244743439/watcher-1776282-1244743439 -o /tmp/evaluation-result-1776282-1244743439/solver-1776282-1244743439 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776282-1244743439.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: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=7048 CPUtime=0
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 17 0 633650298 7217152 403 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 1762 404 63 164 0 1597 0
[pid=31435/tid=31436] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31436/stat : 31436 (satake) S 31433 31435 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 411 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 411 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 413 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) R 31433 31435 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 417 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) R 31433 31435 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 421 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) R 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 422 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) R 31433 31435 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 440 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 447 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31444/stat : 31444 (satake) D 31433 31435 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 447 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 449 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31446/stat : 31446 (satake) S 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 451 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31447/stat : 31447 (satake) R 31433 31435 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 452 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) D 31433 31435 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31449/stat : 31449 (satake) R 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) R 31433 31435 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) R 31433 31435 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.113201 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=10876 CPUtime=0.28
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1684 0 0 0 16 12 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2719 1318 68 164 0 2554 0
[pid=31435/tid=31436] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 15 0 0 0 0 2 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) S 31433 31435 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31444/stat : 31444 (satake) R 31433 31435 27791 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31446/stat : 31446 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31447/stat : 31447 (satake) S 31433 31435 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) S 31433 31435 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31449/stat : 31449 (satake) S 31433 31435 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) S 31433 31435 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) S 31433 31435 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10876

[startup+0.201203 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=10876 CPUtime=0.36
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1702 0 0 0 21 15 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2719 1336 68 164 0 2554 0
[pid=31435/tid=31436] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 18 0 0 0 0 4 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) S 31433 31435 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31444/stat : 31444 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 4 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31446/stat : 31446 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31447/stat : 31447 (satake) S 31433 31435 27791 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) S 31433 31435 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31449/stat : 31449 (satake) D 31433 31435 27791 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) S 31433 31435 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) S 31433 31435 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10876

[startup+0.301218 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=10876 CPUtime=0.46
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1715 0 0 0 24 22 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2719 1349 68 164 0 2554 0
[pid=31435/tid=31436] ppid=31433 vsize=10876 CPUtime=0.08
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 21 0 0 0 0 8 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) S 31433 31435 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31444/stat : 31444 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 4 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31446/stat : 31446 (satake) R 31433 31435 27791 0 -1 4202560 88 0 0 0 4 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31447/stat : 31447 (satake) S 31433 31435 27791 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) S 31433 31435 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=10876 CPUtime=0.06
/proc/31435/task/31449/stat : 31449 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 2 4 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) S 31433 31435 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) S 31433 31435 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10876

[startup+0.701239 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=11008 CPUtime=0.86
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1770 0 0 0 31 55 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2752 1404 68 164 0 2587 0
[pid=31435/tid=31436] ppid=31433 vsize=11008 CPUtime=0.26
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 28 0 0 0 2 24 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=11008 CPUtime=0.06
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 99 0 0 0 0 6 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=11008 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=11008 CPUtime=0.06
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 115 0 0 0 0 6 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=11008 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=11008 CPUtime=0.04
/proc/31435/task/31441/stat : 31441 (satake) R 31433 31435 27791 0 -1 4202560 114 0 0 0 4 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=11008 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=11008 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=11008 CPUtime=0.04
/proc/31435/task/31444/stat : 31444 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 4 0 0 0 20 0 17 0 633650299 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=11008 CPUtime=0

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

deleting IPC queue 438763598
deleting IPC queue 438796367
deleting IPC queue 438829136
deleting IPC queue 438861905
deleting IPC queue 438894674
deleting IPC queue 438927443
deleting IPC queue 438960212
deleting IPC queue 438992981
deleting IPC queue 439025750
deleting IPC queue 439058519
deleting IPC queue 439091288
deleting IPC queue 439124057
deleting IPC queue 439156826
deleting IPC queue 439189595
deleting IPC queue 439222364
deleting IPC queue 439255133
deleting IPC queue 439287902
deleting IPC queue 439320671
deleting IPC queue 439353440
deleting IPC queue 439386209
deleting IPC queue 439418978
deleting IPC queue 439451747
deleting IPC queue 439484516
deleting IPC queue 439517285
deleting IPC queue 439550054
deleting IPC queue 439582823
deleting IPC queue 439615592
deleting IPC queue 439648361
deleting IPC queue 439681130
deleting IPC queue 439713899
deleting IPC queue 439746668
deleting IPC queue 439779437
deleting IPC queue 439812206
deleting IPC queue 439844975
deleting IPC queue 439877744
deleting IPC queue 439910513
deleting IPC queue 439943282
deleting IPC queue 439976051
deleting IPC queue 440008820
deleting IPC queue 440041589
deleting IPC queue 440074358
deleting IPC queue 440107127
deleting IPC queue 440139896
deleting IPC queue 440172665
deleting IPC queue 440205434
deleting IPC queue 440238203
deleting IPC queue 440270972
deleting IPC queue 440303741
deleting IPC queue 440336510
deleting IPC queue 440369279
deleting IPC queue 440402048
deleting IPC queue 440434817
deleting IPC queue 440467586
deleting IPC queue 440500355
deleting IPC queue 440533124
deleting IPC queue 440565893
deleting IPC queue 440598662
deleting IPC queue 440631431
deleting IPC queue 440664200
deleting IPC queue 440696969
deleting IPC queue 440729738
deleting IPC queue 440762507
deleting IPC queue 440795276
deleting IPC queue 440828045
deleting IPC queue 440860814
deleting IPC queue 440893583
deleting IPC queue 440926352
deleting IPC queue 440959121
deleting IPC queue 440991890
deleting IPC queue 441024659
deleting IPC queue 441057428
deleting IPC queue 441090197
deleting IPC queue 441122966
deleting IPC queue 441155735
deleting IPC queue 441188504
deleting IPC queue 441221273
deleting IPC queue 441254042
deleting IPC queue 441286811
deleting IPC queue 441319580
deleting IPC queue 441352349
deleting IPC queue 441385118
deleting IPC queue 441417887
deleting IPC queue 441450656
deleting IPC queue 441483425
deleting IPC queue 441516194
deleting IPC queue 441548963
deleting IPC queue 441581732
deleting IPC queue 441614501
deleting IPC queue 441647270
deleting IPC queue 441680039
deleting IPC queue 441712808
deleting IPC queue 441745577
deleting IPC queue 441778346
deleting IPC queue 441811115
deleting IPC queue 441843884
deleting IPC queue 441876653
deleting IPC queue 441909422
deleting IPC queue 441942191
deleting IPC queue 441974960
deleting IPC queue 442007729
deleting IPC queue 442040498
deleting IPC queue 442073267
deleting IPC queue 442106036
deleting IPC queue 442138805
deleting IPC queue 442171574
deleting IPC queue 442204343
deleting IPC queue 442237112
deleting IPC queue 442269881
deleting IPC queue 442302650
deleting IPC queue 442335419
deleting IPC queue 442368188
deleting IPC queue 442400957
deleting IPC queue 442433726
deleting IPC queue 442466495
deleting IPC queue 442499264
deleting IPC queue 442532033
deleting IPC queue 442564802
deleting IPC queue 442597571
deleting IPC queue 442630340
deleting IPC queue 442663109
deleting IPC queue 442695878
deleting IPC queue 442728647
deleting IPC queue 442761416
deleting IPC queue 442794185
deleting IPC queue 442826954
deleting IPC queue 442859723
deleting IPC queue 442892492
deleting IPC queue 442925261
deleting IPC queue 442958030
deleting IPC queue 442990799
deleting IPC queue 443023568
deleting IPC queue 443056337
deleting IPC queue 443089106
deleting IPC queue 443121875
deleting IPC queue 443154644
deleting IPC queue 443187413
deleting IPC queue 443220182
deleting IPC queue 443252951
deleting IPC queue 443285720
deleting IPC queue 443318489
deleting IPC queue 443351258
deleting IPC queue 443384027
deleting IPC queue 443416796
deleting IPC queue 443449565
deleting IPC queue 443482334
deleting IPC queue 443515103
deleting IPC queue 443547872
deleting IPC queue 443580641
deleting IPC queue 443613410
deleting IPC queue 443646179
deleting IPC queue 443678948
deleting IPC queue 443711717
deleting IPC queue 443744486
deleting IPC queue 443777255
deleting IPC queue 443810024
deleting IPC queue 443842793
deleting IPC queue 443875562
deleting IPC queue 443908331
deleting IPC queue 443941100
deleting IPC queue 443973869
deleting IPC queue 444006638
deleting IPC queue 444039407
deleting IPC queue 444072176
deleting IPC queue 444104945
deleting IPC queue 444137714
deleting IPC queue 444170483
deleting IPC queue 444203252
deleting IPC queue 444236021
deleting IPC queue 444268790
deleting IPC queue 444301559
deleting IPC queue 444334328
deleting IPC queue 444367097
deleting IPC queue 444399866
deleting IPC queue 444432635
deleting IPC queue 444465404
deleting IPC queue 444498173
deleting IPC queue 444530942
deleting IPC queue 444563711

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 293.158
system time used= 741.798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13426
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= 68027513
involuntary context switches= 11949599

runsolver used 3.97225 second user time and 10.9567 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 20:03:59
IDJOB=1776282
IDBENCH=20474
IDSOLVER=631
FILE ID=xenhost3-49/1776282-1244743439
PBS_JOBID=
Free space on /tmp= 7040 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.10.unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776282-1244743439/watcher-1776282-1244743439 -o /tmp/evaluation-result-1776282-1244743439/solver-1776282-1244743439 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776282-1244743439.cnf 16 10000

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

MD5SUM BENCH= b1a6497b6934405ef70bfcc51fa85893
RANDOM SEED= 1551248294

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:      19144184 kB
Buffers:        432348 kB
Cached:       14101080 kB
SwapCached:          0 kB
Active:        4077516 kB
Inactive:     10464636 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             688 kB
Writeback:           0 kB
AnonPages:        8952 kB
Mapped:           4160 kB
Slab:           687532 kB
SReclaimable:   660840 kB
SUnreclaim:      26692 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7039 MiB
End job on xenhost3-49 at 2009-06-11 20:20:42