Trace number 1775637

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) 4649.61 501.128

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
MD5SUMb9de1594525a25a6c43932e2e172e913
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 variables252004
Number of clauses1178557
Sum of the clauses size2719782
Maximum clause length10
Minimum clause length1
Number of clauses of size 118836
Number of clauses of size 2918677
Number of clauses of size 3194224
Number of clauses of size 45200
Number of clauses of size 520800
Number of clauses of size over 520820

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-1775637-1244713291/watcher-1775637-1244713291 -o /tmp/evaluation-result-1775637-1244713291/solver-1775637-1244713291 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775637-1244713291.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: 7.80 7.11 7.84 2/184 28503
/proc/meminfo: memFree=19124944/36427776 swapFree=3780/8616
[pid=28503] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/stat : 28503 (satake) R 28501 28503 27791 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 343 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28503/statm: 2009 344 63 164 0 1844 0
[pid=28503/tid=28504] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28504/stat : 28504 (satake) S 28501 28503 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 350 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28505] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28505/stat : 28505 (satake) R 28501 28503 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 353 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28503/tid=28506] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28506/stat : 28506 (satake) S 28501 28503 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 355 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=28503/tid=28507] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28507/stat : 28507 (satake) R 28501 28503 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 356 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28508] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28508/stat : 28508 (satake) R 28501 28503 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 356 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28503/tid=28509] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28509/stat : 28509 (satake) R 28501 28503 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 362 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28503/tid=28510] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28510/stat : 28510 (satake) S 28501 28503 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=28503/tid=28511] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28511/stat : 28511 (satake) R 28501 28503 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28503/tid=28512] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28512/stat : 28512 (satake) S 28501 28503 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=28503/tid=28513] ppid=28501 vsize=8036 CPUtime=0
/proc/28503/task/28513/stat : 28513 (satake) R 28501 28503 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 630635583 8228864 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28503/tid=28514] ppid=28501 vsize=8168 CPUtime=0
/proc/28503/task/28514/stat : 28514 (satake) R 28501 28503 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 630635584 8364032 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28503/tid=28515] ppid=28501 vsize=8168 CPUtime=0
/proc/28503/task/28515/stat : 28515 (satake) R 28501 28503 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 630635584 8364032 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28503/tid=28516] ppid=28501 vsize=8168 CPUtime=0
/proc/28503/task/28516/stat : 28516 (satake) R 28501 28503 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 630635584 8364032 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28503/tid=28517] ppid=28501 vsize=8168 CPUtime=0
/proc/28503/task/28517/stat : 28517 (satake) R 28501 28503 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 630635584 8364032 363 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.06087 s]
/proc/loadavg: 7.80 7.11 7.84 2/184 28503
/proc/meminfo: memFree=19124944/36427776 swapFree=3780/8616
[pid=28503] ppid=28501 vsize=20696 CPUtime=0.38
/proc/28503/stat : 28503 (satake) S 28501 28503 27791 0 -1 4202496 2705 0 0 0 4 34 0 0 20 0 17 0 630635583 21192704 2663 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28503/statm: 5174 2706 63 164 0 5009 0
[pid=28503/tid=28504] ppid=28501 vsize=20696 CPUtime=0
/proc/28503/task/28504/stat : 28504 (satake) S 28501 28503 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630635583 21192704 2708 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28505] ppid=28501 vsize=21208 CPUtime=0.04
/proc/28503/task/28505/stat : 28505 (satake) D 28501 28503 27791 0 -1 4202560 219 0 0 0 0 4 0 0 20 0 17 0 630635583 21716992 2708 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28503/tid=28506] ppid=28501 vsize=21208 CPUtime=0
/proc/28503/task/28506/stat : 28506 (satake) D 28501 28503 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 630635583 21716992 2712 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28503/tid=28507] ppid=28501 vsize=21208 CPUtime=0.04
/proc/28503/task/28507/stat : 28507 (satake) R 28501 28503 27791 0 -1 4202560 215 0 0 0 0 4 0 0 20 0 17 0 630635583 21716992 2713 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28508] ppid=28501 vsize=21208 CPUtime=0.04
/proc/28503/task/28508/stat : 28508 (satake) R 28501 28503 27791 0 -1 4202560 208 0 0 0 0 4 0 0 20 0 17 0 630635583 21716992 2715 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28503/tid=28509] ppid=28501 vsize=21208 CPUtime=0.02
/proc/28503/task/28509/stat : 28509 (satake) R 28501 28503 27791 0 -1 4202560 207 0 0 0 0 2 0 0 20 0 17 0 630635583 21716992 2716 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28503/tid=28510] ppid=28501 vsize=21208 CPUtime=0.02
/proc/28503/task/28510/stat : 28510 (satake) R 28501 28503 27791 0 -1 4202560 151 0 0 0 2 0 0 0 20 0 17 0 630635583 21716992 2717 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28503/tid=28511] ppid=28501 vsize=21208 CPUtime=0.04
/proc/28503/task/28511/stat : 28511 (satake) R 28501 28503 27791 0 -1 4202560 192 0 0 0 0 4 0 0 20 0 17 0 630635583 21716992 2718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28503/tid=28512] ppid=28501 vsize=21208 CPUtime=0.02
/proc/28503/task/28512/stat : 28512 (satake) R 28501 28503 27791 0 -1 4202560 146 0 0 0 2 0 0 0 20 0 17 0 630635583 21716992 2718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28503/tid=28513] ppid=28501 vsize=21208 CPUtime=0.04
/proc/28503/task/28513/stat : 28513 (satake) R 28501 28503 27791 0 -1 4202560 219 0 0 0 0 4 0 0 20 0 17 0 630635583 21716992 2719 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28503/tid=28514] ppid=28501 vsize=21208 CPUtime=0.02
/proc/28503/task/28514/stat : 28514 (satake) R 28501 28503 27791 0 -1 4202560 199 0 0 0 0 2 0 0 20 0 17 0 630635584 21716992 2719 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28503/tid=28515] ppid=28501 vsize=21208 CPUtime=0.02
/proc/28503/task/28515/stat : 28515 (satake) R 28501 28503 27791 0 -1 4202560 219 0 0 0 0 2 0 0 20 0 17 0 630635584 21716992 2719 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28503/tid=28516] ppid=28501 vsize=21208 CPUtime=0.02
/proc/28503/task/28516/stat : 28516 (satake) R 28501 28503 27791 0 -1 4202560 192 0 0 0 0 2 0 0 20 0 17 0 630635584 21716992 2719 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28503/tid=28517] ppid=28501 vsize=21208 CPUtime=0
/proc/28503/task/28517/stat : 28517 (satake) R 28501 28503 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 630635584 21716992 2719 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 20696

[startup+0.107215 s]
/proc/loadavg: 7.80 7.11 7.84 2/184 28503
/proc/meminfo: memFree=19124944/36427776 swapFree=3780/8616
[pid=28503] ppid=28501 vsize=41816 CPUtime=0.96
/proc/28503/stat : 28503 (satake) S 28501 28503 27791 0 -1 4202496 6624 0 0 0 4 92 0 0 20 0 17 0 630635583 42819584 6581 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28503/statm: 10454 6581 63 164 0 10289 0
[pid=28503/tid=28504] ppid=28501 vsize=41816 CPUtime=0
/proc/28503/task/28504/stat : 28504 (satake) S 28501 28503 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630635583 42819584 6581 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28505] ppid=28501 vsize=41816 CPUtime=0.08
/proc/28503/task/28505/stat : 28505 (satake) D 28501 28503 27791 0 -1 4202560 577 0 0 0 0 8 0 0 20 0 17 0 630635583 42819584 6581 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28503/tid=28506] ppid=28501 vsize=41816 CPUtime=0.02
/proc/28503/task/28506/stat : 28506 (satake) D 28501 28503 27791 0 -1 4202560 212 0 0 0 0 2 0 0 20 0 17 0 630635583 42819584 6581 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28503/tid=28507] ppid=28501 vsize=41816 CPUtime=0.08
/proc/28503/task/28507/stat : 28507 (satake) D 28501 28503 27791 0 -1 4202560 574 0 0 0 0 8 0 0 20 0 17 0 630635583 42819584 6581 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28508] ppid=28501 vsize=43864 CPUtime=0.08
/proc/28503/task/28508/stat : 28508 (satake) R 28501 28503 27791 0 -1 4202560 530 0 0 0 0 8 0 0 20 0 17 0 630635583 44916736 6581 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28503/tid=28509] ppid=28501 vsize=43864 CPUtime=0.06
/proc/28503/task/28509/stat : 28509 (satake) D 28501 28503 27791 0 -1 4202560 382 0 0 0 0 6 0 0 20 0 17 0 630635583 44916736 6583 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28503/tid=28510] ppid=28501 vsize=43864 CPUtime=0.06
/proc/28503/task/28510/stat : 28510 (satake) D 28501 28503 27791 0 -1 4202560 366 0 0 0 2 4 0 0 20 0 17 0 630635583 44916736 6587 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28503/tid=28511] ppid=28501 vsize=43864 CPUtime=0.08
/proc/28503/task/28511/stat : 28511 (satake) D 28501 28503 27791 0 -1 4202560 422 0 0 0 0 8 0 0 20 0 17 0 630635583 44916736 6588 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28503/tid=28512] ppid=28501 vsize=43864 CPUtime=0.06
/proc/28503/task/28512/stat : 28512 (satake) R 28501 28503 27791 0 -1 4202560 397 0 0 0 2 4 0 0 20 0 17 0 630635583 44916736 6589 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28503/tid=28513] ppid=28501 vsize=43864 CPUtime=0.08
/proc/28503/task/28513/stat : 28513 (satake) R 28501 28503 27791 0 -1 4202560 573 0 0 0 0 8 0 0 20 0 17 0 630635583 44916736 6589 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28503/tid=28514] ppid=28501 vsize=43864 CPUtime=0.06
/proc/28503/task/28514/stat : 28514 (satake) R 28501 28503 27791 0 -1 4202560 490 0 0 0 0 6 0 0 20 0 17 0 630635584 44916736 6590 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28503/tid=28515] ppid=28501 vsize=43864 CPUtime=0.06
/proc/28503/task/28515/stat : 28515 (satake) D 28501 28503 27791 0 -1 4202560 456 0 0 0 0 6 0 0 20 0 17 0 630635584 44916736 6590 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28503/tid=28516] ppid=28501 vsize=43864 CPUtime=0.06
/proc/28503/task/28516/stat : 28516 (satake) R 28501 28503 27791 0 -1 4202560 476 0 0 0 0 6 0 0 20 0 17 0 630635584 44916736 6591 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28503/tid=28517] ppid=28501 vsize=43864 CPUtime=0
/proc/28503/task/28517/stat : 28517 (satake) D 28501 28503 27791 0 -1 4202560 93 0 0 0 0 0 0 0 20 0 17 0 630635584 44916736 6592 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 41816

[startup+0.30362 s]
/proc/loadavg: 7.80 7.11 7.84 2/184 28503
/proc/meminfo: memFree=19124944/36427776 swapFree=3780/8616
[pid=28503] ppid=28501 vsize=148824 CPUtime=3.43
/proc/28503/stat : 28503 (satake) S 28501 28503 27791 0 -1 4202496 26600 0 0 0 4 339 0 0 20 0 17 0 630635583 152395776 26557 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28503/statm: 37206 26557 63 164 0 37041 0
[pid=28503/tid=28504] ppid=28501 vsize=148824 CPUtime=0
/proc/28503/task/28504/stat : 28504 (satake) S 28501 28503 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630635583 152395776 26557 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28505] ppid=28501 vsize=148824 CPUtime=0.26
/proc/28503/task/28505/stat : 28505 (satake) R 28501 28503 27791 0 -1 4202560 2068 0 0 0 0 26 0 0 20 0 17 0 630635583 152395776 26557 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28503/tid=28506] ppid=28501 vsize=148824 CPUtime=0.2
/proc/28503/task/28506/stat : 28506 (satake) R 28501 28503 27791 0 -1 4202560 1412 0 0 0 0 20 0 0 20 0 17 0 630635583 152395776 26557 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28503/tid=28507] ppid=28501 vsize=148824 CPUtime=0.24
/proc/28503/task/28507/stat : 28507 (satake) R 28501 28503 27791 0 -1 4202560 1901 0 0 0 0 24 0 0 20 0 17 0 630635583 152395776 26558 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28508] ppid=28501 vsize=148824 CPUtime=0.26
/proc/28503/task/28508/stat : 28508 (satake) R 28501 28503 27791 0 -1 4202560 2002 0 0 0 0 26 0 0 20 0 17 0 630635583 152395776 26559 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28503/tid=28509] ppid=28501 vsize=148824 CPUtime=0.18
/proc/28503/task/28509/stat : 28509 (satake) R 28501 28503 27791 0 -1 4202560 1409 0 0 0 0 18 0 0 20 0 17 0 630635583 152395776 26561 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28503/tid=28510] ppid=28501 vsize=148824 CPUtime=0.24
/proc/28503/task/28510/stat : 28510 (satake) R 28501 28503 27791 0 -1 4202560 1494 0 0 0 2 22 0 0 20 0 17 0 630635583 152395776 26564 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28503/tid=28511] ppid=28501 vsize=148824 CPUtime=0.26
/proc/28503/task/28511/stat : 28511 (satake) R 28501 28503 27791 0 -1 4202560 1782 0 0 0 0 26 0 0 20 0 17 0 630635583 152395776 26565 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28503/tid=28512] ppid=28501 vsize=148824 CPUtime=0.24
/proc/28503/task/28512/stat : 28512 (satake) R 28501 28503 27791 0 -1 4202560 1743 0 0 0 2 22 0 0 20 0 17 0 630635583 152395776 26565 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28503/tid=28513] ppid=28501 vsize=148824 CPUtime=0.24
/proc/28503/task/28513/stat : 28513 (satake) R 28501 28503 27791 0 -1 4202560 2406 0 0 0 0 24 0 0 20 0 17 0 630635583 152395776 26567 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28503/tid=28514] ppid=28501 vsize=148824 CPUtime=0.24
/proc/28503/task/28514/stat : 28514 (satake) R 28501 28503 27791 0 -1 4202560 1796 0 0 0 0 24 0 0 20 0 17 0 630635584 152395776 26569 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28503/tid=28515] ppid=28501 vsize=148824 CPUtime=0.24
/proc/28503/task/28515/stat : 28515 (satake) R 28501 28503 27791 0 -1 4202560 1611 0 0 0 0 24 0 0 20 0 17 0 630635584 152395776 26571 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28503/tid=28516] ppid=28501 vsize=148824 CPUtime=0.24
/proc/28503/task/28516/stat : 28516 (satake) R 28501 28503 27791 0 -1 4202560 2030 0 0 0 0 24 0 0 20 0 17 0 630635584 152395776 26572 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28503/tid=28517] ppid=28501 vsize=148824 CPUtime=0.08
/proc/28503/task/28517/stat : 28517 (satake) R 28501 28503 27791 0 -1 4202560 502 0 0 0 0 8 0 0 20 0 17 0 630635584 152395776 26573 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 148824

[startup+0.704609 s]
/proc/loadavg: 7.80 7.11 7.84 2/184 28503
/proc/meminfo: memFree=19124944/36427776 swapFree=3780/8616
[pid=28503] ppid=28501 vsize=396016 CPUtime=8.28
/proc/28503/stat : 28503 (satake) S 28501 28503 27791 0 -1 4202496 66499 0 0 0 4 824 0 0 20 0 17 0 630635583 405520384 66456 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28503/statm: 99004 66456 63 164 0 98839 0
[pid=28503/tid=28504] ppid=28501 vsize=396016 CPUtime=0
/proc/28503/task/28504/stat : 28504 (satake) S 28501 28503 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630635583 405520384 66456 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28505] ppid=28501 vsize=396016 CPUtime=0.6
/proc/28503/task/28505/stat : 28505 (satake) R 28501 28503 27791 0 -1 4202560 4615 0 0 0 0 60 0 0 20 0 17 0 630635583 405520384 66456 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28503/tid=28506] ppid=28501 vsize=396016 CPUtime=0.54
/proc/28503/task/28506/stat : 28506 (satake) R 28501 28503 27791 0 -1 4202560 3624 0 0 0 0 54 0 0 20 0 17 0 630635583 405520384 66456 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28503/tid=28507] ppid=28501 vsize=396016 CPUtime=0.6
/proc/28503/task/28507/stat : 28507 (satake) R 28501 28503 27791 0 -1 4202560 4105 0 0 0 0 60 0 0 20 0 17 0 630635583 405520384 66456 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28503/tid=28508] ppid=28501 vsize=396016 CPUtime=0.6
/proc/28503/task/28508/stat : 28508 (satake) R 28501 28503 27791 0 -1 4202560 4758 0 0 0 0 60 0 0 20 0 17 0 630635583 405520384 66456 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28503/tid=28509] ppid=28501 vsize=396016 CPUtime=0.32
/proc/28503/task/28509/stat : 28509 (satake) R 28501 28503 27791 0 -1 4202560 2889 0 0 0 0 32 0 0 20 0 17 0 630635583 405520384 66456 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28503/tid=28510] ppid=28501 vsize=396016 CPUtime=0.58
/proc/28503/task/28510/stat : 28510 (satake) R 28501 28503 27791 0 -1 4202560 5717 0 0 0 2 56 0 0 20 0 17 0 630635583 405520384 66458 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28503/tid=28511] ppid=28501 vsize=396016 CPUtime=0.6
/proc/28503/task/28511/stat : 28511 (satake) R 28501 28503 27791 0 -1 4202560 4616 0 0 0 0 60 0 0 20 0 17 0 630635583 405520384 66459 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28503/tid=28512] ppid=28501 vsize=396016 CPUtime=0.58
/proc/28503/task/28512/stat : 28512 (satake) R 28501 28503 27791 0 -1 4202560 4619 0 0 0 2 56 0 0 20 0 17 0 630635583 405520384 66463 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28503/tid=28513] ppid=28501 vsize=396016 CPUtime=0.6
/proc/28503/task/28513/stat : 28513 (satake) R 28501 28503 27791 0 -1 4202560 4865 0 0 0 0 60 0 0 20 0 17 0 630635583 405520384 66464 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28503/tid=28514] ppid=28501 vsize=396016 CPUtime=0.6
/proc/28503/task/28514/stat : 28514 (satake) R 28501 28503 27791 0 -1 4202560 5209 0 0 0 0 60 0 0 20 0 17 0 630635584 405520384 66465 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28503/tid=28515] ppid=28501 vsize=396016 CPUtime=0.58
/proc/28503/task/28515/stat : 28515 (satake) R 28501 28503 27791 0 -1 4202560 3979 0 0 0 0 58 0 0 20 0 17 0 630635584 405520384 66466 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28503/tid=28516] ppid=28501 vsize=396016 CPUtime=0.58
/proc/28503/task/28516/stat : 28516 (satake) R 28501 28503 27791 0 -1 4202560 4257 0 0 0 0 58 0 0 20 0 17 0 630635584 405520384 66466 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28503/tid=28517] ppid=28501 vsize=396016 CPUtime=0.28
/proc/28503/task/28517/stat : 28517 (satake) R 28501 28503 27791 0 -1 4202560 2440 0 0 0 0 28 0 0 20 0 17 0 630635584 405520384 66467 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 396016

[startup+1.50272 s]
/proc/loadavg: 7.80 7.11 7.84 15/201 28520
/proc/meminfo: memFree=18827400/36427776 swapFree=4564/309796
[pid=28503] ppid=28501 vsize=385180 CPUtime=15.55

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

deleting IPC queue 78053454
deleting IPC queue 78086223
deleting IPC queue 78118992
deleting IPC queue 78151761
deleting IPC queue 78184530
deleting IPC queue 78217299
deleting IPC queue 78250068
deleting IPC queue 78282837
deleting IPC queue 78315606
deleting IPC queue 78348375
deleting IPC queue 78381144
deleting IPC queue 78413913
deleting IPC queue 78446682
deleting IPC queue 78479451
deleting IPC queue 78512220
deleting IPC queue 78544989
deleting IPC queue 78577758
deleting IPC queue 78610527
deleting IPC queue 78643296
deleting IPC queue 78676065
deleting IPC queue 78708834
deleting IPC queue 78741603
deleting IPC queue 78774372
deleting IPC queue 78807141
deleting IPC queue 78839910
deleting IPC queue 78872679
deleting IPC queue 78905448
deleting IPC queue 78938217
deleting IPC queue 78970986
deleting IPC queue 79003755
deleting IPC queue 79036524
deleting IPC queue 79069293
deleting IPC queue 79102062
deleting IPC queue 79134831
deleting IPC queue 79167600
deleting IPC queue 79200369
deleting IPC queue 79233138
deleting IPC queue 79265907
deleting IPC queue 79298676
deleting IPC queue 79331445
deleting IPC queue 79364214
deleting IPC queue 79396983
deleting IPC queue 79429752
deleting IPC queue 79462521
deleting IPC queue 79495290
deleting IPC queue 79528059
deleting IPC queue 79560828
deleting IPC queue 79593597
deleting IPC queue 79626366
deleting IPC queue 79659135
deleting IPC queue 79691904
deleting IPC queue 79724673
deleting IPC queue 79757442
deleting IPC queue 79790211
deleting IPC queue 79822980
deleting IPC queue 79855749
deleting IPC queue 79888518
deleting IPC queue 79921287
deleting IPC queue 79954056
deleting IPC queue 79986825
deleting IPC queue 80019594
deleting IPC queue 80052363
deleting IPC queue 80085132
deleting IPC queue 80117901
deleting IPC queue 80150670
deleting IPC queue 80183439
deleting IPC queue 80216208
deleting IPC queue 80248977
deleting IPC queue 80281746
deleting IPC queue 80314515
deleting IPC queue 80347284
deleting IPC queue 80380053
deleting IPC queue 80412822
deleting IPC queue 80445591
deleting IPC queue 80478360
deleting IPC queue 80511129
deleting IPC queue 80543898
deleting IPC queue 80576667
deleting IPC queue 80609436
deleting IPC queue 80642205
deleting IPC queue 80674974
deleting IPC queue 80707743
deleting IPC queue 80740512
deleting IPC queue 80773281
deleting IPC queue 80806050
deleting IPC queue 80838819
deleting IPC queue 80871588
deleting IPC queue 80904357
deleting IPC queue 80937126
deleting IPC queue 80969895
deleting IPC queue 81002664
deleting IPC queue 81035433
deleting IPC queue 81068202
deleting IPC queue 81100971
deleting IPC queue 81133740
deleting IPC queue 81166509
deleting IPC queue 81199278
deleting IPC queue 81232047
deleting IPC queue 81264816
deleting IPC queue 81297585
deleting IPC queue 81330354
deleting IPC queue 81363123
deleting IPC queue 81395892
deleting IPC queue 81428661
deleting IPC queue 81461430
deleting IPC queue 81494199
deleting IPC queue 81526968
deleting IPC queue 81559737
deleting IPC queue 81592506
deleting IPC queue 81625275
deleting IPC queue 81658044
deleting IPC queue 81690813
deleting IPC queue 81723582
deleting IPC queue 81756351
deleting IPC queue 81789120
deleting IPC queue 81821889
deleting IPC queue 81854658
deleting IPC queue 81887427
deleting IPC queue 81920196
deleting IPC queue 81952965
deleting IPC queue 81985734
deleting IPC queue 82018503
deleting IPC queue 82051272
deleting IPC queue 82084041
deleting IPC queue 82116810
deleting IPC queue 82149579
deleting IPC queue 82182348
deleting IPC queue 82215117
deleting IPC queue 82247886
deleting IPC queue 82280655
deleting IPC queue 82313424
deleting IPC queue 82346193
deleting IPC queue 82378962
deleting IPC queue 82411731
deleting IPC queue 82444500
deleting IPC queue 82477269
deleting IPC queue 82510038
deleting IPC queue 82542807
deleting IPC queue 82575576
deleting IPC queue 82608345
deleting IPC queue 82641114
deleting IPC queue 82673883
deleting IPC queue 82706652
deleting IPC queue 82739421
deleting IPC queue 82772190
deleting IPC queue 82804959
deleting IPC queue 82837728
deleting IPC queue 82870497
deleting IPC queue 82903266
deleting IPC queue 82936035
deleting IPC queue 82968804
deleting IPC queue 83001573
deleting IPC queue 83034342
deleting IPC queue 83067111
deleting IPC queue 83099880
deleting IPC queue 83132649
deleting IPC queue 83165418
deleting IPC queue 83198187
deleting IPC queue 83230956
deleting IPC queue 83263725
deleting IPC queue 83296494
deleting IPC queue 83329263
deleting IPC queue 83362032
deleting IPC queue 83394801
deleting IPC queue 83427570
deleting IPC queue 83460339
deleting IPC queue 83493108
deleting IPC queue 83525877
deleting IPC queue 83558646
deleting IPC queue 83591415
deleting IPC queue 83624184
deleting IPC queue 83656953
deleting IPC queue 83689722
deleting IPC queue 83722491
deleting IPC queue 83755260
deleting IPC queue 83788029
deleting IPC queue 83820798
deleting IPC queue 83853567

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4371.57
system time used= 278.033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594690
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= 19690957
involuntary context switches= 840515

runsolver used 2.12013 second user time and 6.99244 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 11:41:31
IDJOB=1775637
IDBENCH=20366
IDSOLVER=631
FILE ID=xenhost3-49/1775637-1244713291
PBS_JOBID=
Free space on /tmp= 7020 MiB

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

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

MD5SUM BENCH= b9de1594525a25a6c43932e2e172e913
RANDOM SEED= 1404642881

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:      19124944 kB
Buffers:        431920 kB
Cached:       14120412 kB
SwapCached:          0 kB
Active:        4077036 kB
Inactive:     10483776 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           21960 kB
Writeback:           0 kB
AnonPages:        8616 kB
Mapped:           3116 kB
Slab:           687900 kB
SReclaimable:   661124 kB
SUnreclaim:      26776 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= 7020 MiB
End job on xenhost3-49 at 2009-06-11 11:49:55