Trace number 1779087

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779087-1244780525/watcher-1779087-1244780525 -o /tmp/evaluation-result-1779087-1244780525/solver-1779087-1244780525 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779087-1244780525.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: 4.56 4.18 5.77 2/184 3655
/proc/meminfo: memFree=19127204/36427776 swapFree=4360/8924
[pid=3655] ppid=3653 vsize=7008 CPUtime=0
/proc/3655/stat : 3655 (satake) D 3653 3655 27791 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 12 0 637358877 7176192 339 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134664766 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3655/statm: 1752 340 63 164 0 1587 0
[pid=3655/tid=3656] ppid=3653 vsize=7592 CPUtime=0
/proc/3655/task/3656/stat : 3656 (satake) S 3653 3655 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 13 0 637358877 7774208 452 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3657] ppid=3653 vsize=7592 CPUtime=0
/proc/3655/task/3657/stat : 3657 (satake) R 3653 3655 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 13 0 637358877 7774208 452 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3655/tid=3658] ppid=3653 vsize=7592 CPUtime=0
/proc/3655/task/3658/stat : 3658 (satake) R 3653 3655 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 13 0 637358877 7774208 452 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3659] ppid=3653 vsize=7592 CPUtime=0
/proc/3655/task/3659/stat : 3659 (satake) R 3653 3655 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 13 0 637358877 7774208 452 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3655/tid=3660] ppid=3653 vsize=7592 CPUtime=0
/proc/3655/task/3660/stat : 3660 (satake) D 3653 3655 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 13 0 637358877 7774208 452 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3655/tid=3661] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3661/stat : 3661 (satake) R 3653 3655 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 637358877 7778304 454 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3662] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3662/stat : 3662 (satake) R 3653 3655 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 14 0 637358877 7778304 456 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3655/tid=3663] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3663/stat : 3663 (satake) R 3653 3655 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 637358877 7778304 457 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3664] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3664/stat : 3664 (satake) R 3653 3655 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 14 0 637358877 7778304 458 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3665] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3665/stat : 3665 (satake) R 3653 3655 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 14 0 637358877 7778304 459 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3666] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3666/stat : 3666 (satake) R 3653 3655 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 637358877 7778304 461 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3655/tid=3667] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3667/stat : 3667 (satake) R 3653 3655 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 637358878 7778304 461 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3668] ppid=3653 vsize=7596 CPUtime=0
/proc/3655/task/3668/stat : 3668 (satake) R 3653 3655 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 14 0 637358878 7778304 461 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.097119 s]
/proc/loadavg: 4.56 4.18 5.77 2/184 3655
/proc/meminfo: memFree=19127204/36427776 swapFree=4360/8924
[pid=3655] ppid=3653 vsize=52248 CPUtime=0.65
/proc/3655/stat : 3655 (satake) S 3653 3655 27791 0 -1 4202496 9514 0 0 0 0 65 0 0 20 0 17 0 637358877 53501952 9475 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3655/statm: 13062 9540 63 164 0 12897 0
[pid=3655/tid=3656] ppid=3653 vsize=52248 CPUtime=0
/proc/3655/task/3656/stat : 3656 (satake) S 3653 3655 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637358877 53501952 9561 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3657] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3657/stat : 3657 (satake) R 3653 3655 27791 0 -1 4202560 841 0 0 0 0 6 0 0 20 0 17 0 637358877 53501952 9590 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3655/tid=3658] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3658/stat : 3658 (satake) R 3653 3655 27791 0 -1 4202560 946 0 0 0 0 6 0 0 20 0 17 0 637358877 53501952 9613 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3659] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3659/stat : 3659 (satake) D 3653 3655 27791 0 -1 4202560 1043 0 0 0 0 6 0 0 20 0 17 0 637358877 53501952 9630 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3655/tid=3660] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3660/stat : 3660 (satake) D 3653 3655 27791 0 -1 4202560 755 0 0 0 0 6 0 0 20 0 17 0 637358877 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3655/tid=3661] ppid=3653 vsize=52248 CPUtime=0.02
/proc/3655/task/3661/stat : 3661 (satake) D 3653 3655 27791 0 -1 4202560 353 0 0 0 0 2 0 0 20 0 17 0 637358877 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3662] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3662/stat : 3662 (satake) D 3653 3655 27791 0 -1 4202560 833 0 0 0 0 6 0 0 20 0 17 0 637358877 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3655/tid=3663] ppid=3653 vsize=52248 CPUtime=0
/proc/3655/task/3663/stat : 3663 (satake) D 3653 3655 27791 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 17 0 637358877 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3664] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3664/stat : 3664 (satake) D 3653 3655 27791 0 -1 4202560 926 0 0 0 0 6 0 0 20 0 17 0 637358877 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3665] ppid=3653 vsize=52248 CPUtime=0.04
/proc/3655/task/3665/stat : 3665 (satake) D 3653 3655 27791 0 -1 4202560 484 0 0 0 0 4 0 0 20 0 17 0 637358877 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3666] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3666/stat : 3666 (satake) D 3653 3655 27791 0 -1 4202560 937 0 0 0 0 6 0 0 20 0 17 0 637358877 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3655/tid=3667] ppid=3653 vsize=52248 CPUtime=0
/proc/3655/task/3667/stat : 3667 (satake) D 3653 3655 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 17 0 637358878 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3668] ppid=3653 vsize=52248 CPUtime=0.06
/proc/3655/task/3668/stat : 3668 (satake) D 3653 3655 27791 0 -1 4202560 832 0 0 0 0 6 0 0 20 0 17 0 637358878 53501952 9632 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 52248

[startup+0.105116 s]
/proc/loadavg: 4.56 4.18 5.77 2/184 3655
/proc/meminfo: memFree=19127204/36427776 swapFree=4360/8924
[pid=3655] ppid=3653 vsize=60440 CPUtime=0.73
/proc/3655/stat : 3655 (satake) S 3653 3655 27791 0 -1 4202496 10686 0 0 0 0 73 0 0 20 0 17 0 637358877 61890560 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3655/statm: 15110 10640 63 164 0 14945 0
[pid=3655/tid=3656] ppid=3653 vsize=60440 CPUtime=0
/proc/3655/task/3656/stat : 3656 (satake) S 3653 3655 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637358877 61890560 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3657] ppid=3653 vsize=60440 CPUtime=0.06
/proc/3655/task/3657/stat : 3657 (satake) D 3653 3655 27791 0 -1 4202560 913 0 0 0 0 6 0 0 20 0 17 0 637358877 61890560 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3655/tid=3658] ppid=3653 vsize=60440 CPUtime=0.06
/proc/3655/task/3658/stat : 3658 (satake) D 3653 3655 27791 0 -1 4202560 1052 0 0 0 0 6 0 0 20 0 17 0 637358877 61890560 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3659] ppid=3653 vsize=60440 CPUtime=0.06
/proc/3655/task/3659/stat : 3659 (satake) D 3653 3655 27791 0 -1 4202560 1159 0 0 0 0 6 0 0 20 0 17 0 637358877 61890560 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3655/tid=3660] ppid=3653 vsize=60440 CPUtime=0.06
/proc/3655/task/3660/stat : 3660 (satake) D 3653 3655 27791 0 -1 4202560 843 0 0 0 0 6 0 0 20 0 17 0 637358877 61890560 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3655/tid=3661] ppid=3653 vsize=60440 CPUtime=0.02
/proc/3655/task/3661/stat : 3661 (satake) D 3653 3655 27791 0 -1 4202560 425 0 0 0 0 2 0 0 20 0 17 0 637358877 61890560 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3662] ppid=3653 vsize=68636 CPUtime=0.06
/proc/3655/task/3662/stat : 3662 (satake) D 3653 3655 27791 0 -1 4202560 936 0 0 0 0 6 0 0 20 0 17 0 637358877 70283264 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3655/tid=3663] ppid=3653 vsize=64536 CPUtime=0
/proc/3655/task/3663/stat : 3663 (satake) D 3653 3655 27791 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 17 0 637358877 66084864 10640 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3664] ppid=3653 vsize=64536 CPUtime=0.06
/proc/3655/task/3664/stat : 3664 (satake) R 3653 3655 27791 0 -1 4202560 1017 0 0 0 0 6 0 0 20 0 17 0 637358877 66084864 10642 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3665] ppid=3653 vsize=64536 CPUtime=0.04
/proc/3655/task/3665/stat : 3665 (satake) D 3653 3655 27791 0 -1 4202560 486 0 0 0 0 4 0 0 20 0 17 0 637358877 66084864 10648 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3666] ppid=3653 vsize=64536 CPUtime=0.06
/proc/3655/task/3666/stat : 3666 (satake) R 3653 3655 27791 0 -1 4202560 1043 0 0 0 0 6 0 0 20 0 17 0 637358877 66084864 10649 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3655/tid=3667] ppid=3653 vsize=64536 CPUtime=0
/proc/3655/task/3667/stat : 3667 (satake) R 3653 3655 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 637358878 66084864 10649 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3668] ppid=3653 vsize=64536 CPUtime=0.06
/proc/3655/task/3668/stat : 3668 (satake) R 3653 3655 27791 0 -1 4202560 923 0 0 0 0 6 0 0 20 0 17 0 637358878 66084864 10650 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 60440

[startup+0.305222 s]
/proc/loadavg: 4.56 4.18 5.77 2/184 3655
/proc/meminfo: memFree=19127204/36427776 swapFree=4360/8924
[pid=3655] ppid=3653 vsize=168112 CPUtime=2.37
/proc/3655/stat : 3655 (satake) S 3653 3655 27791 0 -1 4202496 32035 0 0 0 0 237 0 0 20 0 17 0 637358877 172146688 31989 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3655/statm: 42028 31990 63 164 0 41863 0
[pid=3655/tid=3656] ppid=3653 vsize=168112 CPUtime=0
/proc/3655/task/3656/stat : 3656 (satake) S 3653 3655 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637358877 172146688 31991 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3657] ppid=3653 vsize=168112 CPUtime=0.22
/proc/3655/task/3657/stat : 3657 (satake) D 3653 3655 27791 0 -1 4202560 2666 0 0 0 0 22 0 0 20 0 17 0 637358877 172146688 31993 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3655/tid=3658] ppid=3653 vsize=168112 CPUtime=0.14
/proc/3655/task/3658/stat : 3658 (satake) D 3653 3655 27791 0 -1 4202560 2159 0 0 0 0 14 0 0 20 0 17 0 637358877 172146688 31993 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3659] ppid=3653 vsize=168112 CPUtime=0.2
/proc/3655/task/3659/stat : 3659 (satake) S 3653 3655 27791 0 -1 4202560 2866 0 0 0 0 20 0 0 20 0 17 0 637358877 172146688 31997 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3655/tid=3660] ppid=3653 vsize=168112 CPUtime=0.2
/proc/3655/task/3660/stat : 3660 (satake) R 3653 3655 27791 0 -1 4202560 2694 0 0 0 0 20 0 0 20 0 17 0 637358877 172146688 31999 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3655/tid=3661] ppid=3653 vsize=168112 CPUtime=0.12
/proc/3655/task/3661/stat : 3661 (satake) R 3653 3655 27791 0 -1 4202560 1576 0 0 0 0 12 0 0 20 0 17 0 637358877 172146688 32001 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3662] ppid=3653 vsize=168112 CPUtime=0.2
/proc/3655/task/3662/stat : 3662 (satake) S 3653 3655 27791 0 -1 4202560 2678 0 0 0 0 20 0 0 20 0 17 0 637358877 172146688 32001 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3655/tid=3663] ppid=3653 vsize=168112 CPUtime=0.08
/proc/3655/task/3663/stat : 3663 (satake) R 3653 3655 27791 0 -1 4202560 1271 0 0 0 0 8 0 0 20 0 17 0 637358877 172146688 32001 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3664] ppid=3653 vsize=168112 CPUtime=0.14
/proc/3655/task/3664/stat : 3664 (satake) R 3653 3655 27791 0 -1 4202560 1854 0 0 0 0 14 0 0 20 0 17 0 637358877 172146688 32001 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3665] ppid=3653 vsize=168112 CPUtime=0.1
/proc/3655/task/3665/stat : 3665 (satake) R 3653 3655 27791 0 -1 4202560 1229 0 0 0 0 10 0 0 20 0 17 0 637358877 172146688 32002 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3666] ppid=3653 vsize=168112 CPUtime=0.14
/proc/3655/task/3666/stat : 3666 (satake) R 3653 3655 27791 0 -1 4202560 2342 0 0 0 0 14 0 0 20 0 17 0 637358877 172146688 32002 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3655/tid=3667] ppid=3653 vsize=168112 CPUtime=0.08
/proc/3655/task/3667/stat : 3667 (satake) R 3653 3655 27791 0 -1 4202560 1527 0 0 0 0 8 0 0 20 0 17 0 637358878 172146688 32004 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3668] ppid=3653 vsize=168112 CPUtime=0.2
/proc/3655/task/3668/stat : 3668 (satake) R 3653 3655 27791 0 -1 4202560 2766 0 0 0 0 20 0 0 20 0 17 0 637358878 172146688 32007 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 168112

[startup+0.707072 s]
/proc/loadavg: 4.56 4.18 5.77 2/184 3655
/proc/meminfo: memFree=19127204/36427776 swapFree=4360/8924
[pid=3655] ppid=3653 vsize=222896 CPUtime=4.36
/proc/3655/stat : 3655 (satake) S 3653 3655 27791 0 -1 4202496 51628 0 0 0 36 400 0 0 20 0 17 0 637358877 228245504 51583 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3655/statm: 55724 51586 63 164 0 55559 0
[pid=3655/tid=3656] ppid=3653 vsize=222896 CPUtime=0
/proc/3655/task/3656/stat : 3656 (satake) S 3653 3655 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637358877 228245504 51586 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3657] ppid=3653 vsize=222896 CPUtime=0.34
/proc/3655/task/3657/stat : 3657 (satake) R 3653 3655 27791 0 -1 4202560 3627 0 0 0 0 34 0 0 20 0 17 0 637358877 228245504 51587 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3655/tid=3658] ppid=3653 vsize=222896 CPUtime=0.26
/proc/3655/task/3658/stat : 3658 (satake) D 3653 3655 27791 0 -1 4202560 3217 0 0 0 2 24 0 0 20 0 17 0 637358877 228245504 51588 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3655/tid=3659] ppid=3653 vsize=222896 CPUtime=0.34
/proc/3655/task/3659/stat : 3659 (satake) R 3653 3655 27791 0 -1 4202560 3729 0 0 0 6 28 0 0 20 0 17 0 637358877 228245504 51590 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3655/tid=3660] ppid=3653 vsize=222896 CPUtime=0.34
/proc/3655/task/3660/stat : 3660 (satake) R 3653 3655 27791 0 -1 4202560 3557 0 0 0 0 34 0 0 20 0 17 0 637358877 228245504 51592 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3655/tid=3661] ppid=3653 vsize=222896 CPUtime=0.22
/proc/3655/task/3661/stat : 3661 (satake) R 3653 3655 27791 0 -1 4202560 3220 0 0 0 2 20 0 0 20 0 17 0 637358877 228245504 51592 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3662] ppid=3653 vsize=222896 CPUtime=0.32
/proc/3655/task/3662/stat : 3662 (satake) R 3653 3655 27791 0 -1 4202560 3595 0 0 0 2 30 0 0 20 0 17 0 637358877 228245504 51592 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3655/tid=3663] ppid=3653 vsize=222896 CPUtime=0.22
/proc/3655/task/3663/stat : 3663 (satake) S 3653 3655 27791 0 -1 4202560 3316 0 0 0 6 16 0 0 20 0 17 0 637358877 228245504 51594 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=3655/tid=3664] ppid=3653 vsize=222896 CPUtime=0.26
/proc/3655/task/3664/stat : 3664 (satake) R 3653 3655 27791 0 -1 4202560 3322 0 0 0 4 22 0 0 20 0 17 0 637358877 228245504 51596 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3655/tid=3665] ppid=3653 vsize=222896 CPUtime=0.22
/proc/3655/task/3665/stat : 3665 (satake) R 3653 3655 27791 0 -1 4202560 3336 0 0 0 0 22 0 0 20 0 17 0 637358877 228245504 51596 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3655/tid=3666] ppid=3653 vsize=222896 CPUtime=0.26
/proc/3655/task/3666/stat : 3666 (satake) R 3653 3655 27791 0 -1 4202560 3290 0 0 0 2 24 0 0 20 0 17 0 637358877 228245504 51597 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3655/tid=3667] ppid=3653 vsize=222896 CPUtime=0.22
/proc/3655/task/3667/stat : 3667 (satake) S 3653 3655 27791 0 -1 4202560 3358 0 0 0 2 20 0 0 20 0 17 0 637358878 228245504 51597 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3668] ppid=3653 vsize=222896 CPUtime=0.34
/proc/3655/task/3668/stat : 3668 (satake) D 3653 3655 27791 0 -1 4202560 3636 0 0 0 2 32 0 0 20 0 17 0 637358878 228245504 51599 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134520025 0 0 1 0 18446744071565523402 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 222896

[startup+1.50542 s]
/proc/loadavg: 5.39 4.36 5.81 12/201 3672
/proc/meminfo: memFree=18892624/36427776 swapFree=4416/248336
[pid=3655] ppid=3653 vsize=331692 CPUtime=7.44
/proc/3655/stat : 3655 (satake) S 3653 3655 27791 0 -1 4202496 73048 0 0 0 158 586 0 0 20 0 17 0 637358877 339652608 73002 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/3655/statm: 82923 73002 63 164 0 82758 0
[pid=3655/tid=3656] ppid=3653 vsize=331692 CPUtime=0
/proc/3655/task/3656/stat : 3656 (satake) S 3653 3655 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637358877 339652608 73002 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3655/tid=3657] ppid=3653 vsize=331692 CPUtime=0.58
/proc/3655/task/3657/stat : 3657 (satake) D 3653 3655 27791 0 -1 4202560 5000 0 0 0 8 50 0 0 20 0 17 0 637358877 339652608 73003 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3655/tid=3658] ppid=3653 vsize=331692 CPUtime=0.44
/proc/3655/task/3658/stat : 3658 (satake) R 3653 3655 27791 0 -1 4202560 4473 0 0 0 12 32 0 0 20 0 17 0 637358877 339652608 73004 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3655/tid=3659] ppid=3653 vsize=331692 CPUtime=0.52
/proc/3655/task/3659/stat : 3659 (satake) R 3653 3655 27791 0 -1 4202560 5106 0 0 0 12 40 0 0 20 0 17 0 637358877 339652608 73012 18446744073709551615 134512640 135180984 4289093968 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

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

deleting IPC queue 1051131982
deleting IPC queue 1051164751
deleting IPC queue 1051197520
deleting IPC queue 1051230289
deleting IPC queue 1051263058
deleting IPC queue 1051295827
deleting IPC queue 1051328596
deleting IPC queue 1051361365
deleting IPC queue 1051394134
deleting IPC queue 1051426903
deleting IPC queue 1051459672
deleting IPC queue 1051492441
deleting IPC queue 1051525210
deleting IPC queue 1051557979
deleting IPC queue 1051590748
deleting IPC queue 1051623517
deleting IPC queue 1051656286
deleting IPC queue 1051689055
deleting IPC queue 1051721824
deleting IPC queue 1051754593
deleting IPC queue 1051787362
deleting IPC queue 1051820131
deleting IPC queue 1051852900
deleting IPC queue 1051885669
deleting IPC queue 1051918438
deleting IPC queue 1051951207
deleting IPC queue 1051983976
deleting IPC queue 1052016745
deleting IPC queue 1052049514
deleting IPC queue 1052082283
deleting IPC queue 1052115052
deleting IPC queue 1052147821
deleting IPC queue 1052180590
deleting IPC queue 1052213359
deleting IPC queue 1052246128
deleting IPC queue 1052278897
deleting IPC queue 1052311666
deleting IPC queue 1052344435
deleting IPC queue 1052377204
deleting IPC queue 1052409973
deleting IPC queue 1052442742
deleting IPC queue 1052475511
deleting IPC queue 1052508280
deleting IPC queue 1052541049
deleting IPC queue 1052573818
deleting IPC queue 1052606587
deleting IPC queue 1052639356
deleting IPC queue 1052672125
deleting IPC queue 1052704894
deleting IPC queue 1052737663
deleting IPC queue 1052770432
deleting IPC queue 1052803201
deleting IPC queue 1052835970
deleting IPC queue 1052868739
deleting IPC queue 1052901508
deleting IPC queue 1052934277
deleting IPC queue 1052967046
deleting IPC queue 1052999815
deleting IPC queue 1053032584
deleting IPC queue 1053065353
deleting IPC queue 1053098122
deleting IPC queue 1053130891
deleting IPC queue 1053163660
deleting IPC queue 1053196429
deleting IPC queue 1053229198
deleting IPC queue 1053261967
deleting IPC queue 1053294736
deleting IPC queue 1053327505
deleting IPC queue 1053360274
deleting IPC queue 1053393043
deleting IPC queue 1053425812
deleting IPC queue 1053458581
deleting IPC queue 1053491350
deleting IPC queue 1053524119
deleting IPC queue 1053556888
deleting IPC queue 1053589657
deleting IPC queue 1053622426
deleting IPC queue 1053655195
deleting IPC queue 1053687964
deleting IPC queue 1053720733
deleting IPC queue 1053753502
deleting IPC queue 1053786271
deleting IPC queue 1053819040
deleting IPC queue 1053851809
deleting IPC queue 1053884578
deleting IPC queue 1053917347
deleting IPC queue 1053950116
deleting IPC queue 1053982885
deleting IPC queue 1054015654
deleting IPC queue 1054048423
deleting IPC queue 1054081192
deleting IPC queue 1054113961
deleting IPC queue 1054146730
deleting IPC queue 1054179499
deleting IPC queue 1054212268
deleting IPC queue 1054245037
deleting IPC queue 1054277806
deleting IPC queue 1054310575
deleting IPC queue 1054343344
deleting IPC queue 1054376113
deleting IPC queue 1054408882
deleting IPC queue 1054441651
deleting IPC queue 1054474420
deleting IPC queue 1054507189
deleting IPC queue 1054539958
deleting IPC queue 1054572727
deleting IPC queue 1054605496
deleting IPC queue 1054638265
deleting IPC queue 1054671034
deleting IPC queue 1054703803
deleting IPC queue 1054736572
deleting IPC queue 1054769341
deleting IPC queue 1054802110
deleting IPC queue 1054834879
deleting IPC queue 1054867648
deleting IPC queue 1054900417
deleting IPC queue 1054933186
deleting IPC queue 1054965955
deleting IPC queue 1054998724
deleting IPC queue 1055031493
deleting IPC queue 1055064262
deleting IPC queue 1055097031
deleting IPC queue 1055129800
deleting IPC queue 1055162569
deleting IPC queue 1055195338
deleting IPC queue 1055228107
deleting IPC queue 1055260876
deleting IPC queue 1055293645
deleting IPC queue 1055326414
deleting IPC queue 1055359183
deleting IPC queue 1055391952
deleting IPC queue 1055424721
deleting IPC queue 1055457490
deleting IPC queue 1055490259
deleting IPC queue 1055523028
deleting IPC queue 1055555797
deleting IPC queue 1055588566
deleting IPC queue 1055621335
deleting IPC queue 1055654104
deleting IPC queue 1055686873
deleting IPC queue 1055719642
deleting IPC queue 1055752411
deleting IPC queue 1055785180
deleting IPC queue 1055817949
deleting IPC queue 1055850718
deleting IPC queue 1055883487
deleting IPC queue 1055916256
deleting IPC queue 1055949025
deleting IPC queue 1055981794
deleting IPC queue 1056014563
deleting IPC queue 1056047332
deleting IPC queue 1056080101
deleting IPC queue 1056112870
deleting IPC queue 1056145639
deleting IPC queue 1056178408
deleting IPC queue 1056211177
deleting IPC queue 1056243946
deleting IPC queue 1056276715
deleting IPC queue 1056309484
deleting IPC queue 1056342253
deleting IPC queue 1056375022
deleting IPC queue 1056407791
deleting IPC queue 1056440560
deleting IPC queue 1056473329
deleting IPC queue 1056506098
deleting IPC queue 1056538867
deleting IPC queue 1056571636
deleting IPC queue 1056604405
deleting IPC queue 1056637174
deleting IPC queue 1056669943
deleting IPC queue 1056702712
deleting IPC queue 1056735481
deleting IPC queue 1056768250
deleting IPC queue 1056801019
deleting IPC queue 1056833788
deleting IPC queue 1056866557
deleting IPC queue 1056899326
deleting IPC queue 1056932095

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5579.46
system time used= 365.387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539153
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= 31737709
involuntary context switches= 3709139

runsolver used 3.64823 second user time and 9.90062 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 06:22:05
IDJOB=1779087
IDBENCH=70808
IDSOLVER=631
FILE ID=xenhost3-49/1779087-1244780525
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED= 503647895

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:      19127020 kB
Buffers:        433716 kB
Cached:       14114324 kB
SwapCached:          0 kB
Active:        4079320 kB
Inactive:     10477848 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           11376 kB
Writeback:           0 kB
AnonPages:        8660 kB
Mapped:           4440 kB
Slab:           688200 kB
SReclaimable:   661392 kB
SUnreclaim:      26808 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-12 06:34:32