Trace number 1781112

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (TO) 10001.1 688.848

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
MD5SUM74b3bf25aa16f613ee15d6b4b9bc9486
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 variables2220
Number of clauses160694
Sum of the clauses size478924
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23434
Number of clauses of size 3157237
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1781112-1244854889/watcher-1781112-1244854889 -o /tmp/evaluation-result-1781112-1244854889/solver-1781112-1244854889 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781112-1244854889.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: 15.04 14.72 12.78 2/184 12612
/proc/meminfo: memFree=19125552/36427776 swapFree=4504/7884
[pid=12612] ppid=12610 vsize=7636 CPUtime=0
/proc/12612/stat : 12612 (satake) R 12610 12612 27791 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 16 0 644795283 7819264 300 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134705812 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/12612/statm: 1910 300 63 164 0 1745 0
[pid=12612/tid=12613] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12613/stat : 12613 (satake) S 12610 12612 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 365 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12614] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12614/stat : 12614 (satake) R 12610 12612 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 366 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12615] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12615/stat : 12615 (satake) S 12610 12612 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 367 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12612/tid=12616] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12616/stat : 12616 (satake) R 12610 12612 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 367 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12617] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12617/stat : 12617 (satake) R 12610 12612 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 367 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12618] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12618/stat : 12618 (satake) S 12610 12612 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 370 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12612/tid=12619] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12619/stat : 12619 (satake) R 12610 12612 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 373 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12612/tid=12620] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12620/stat : 12620 (satake) R 12610 12612 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 374 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12612/tid=12621] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12621/stat : 12621 (satake) S 12610 12612 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 377 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=12612/tid=12622] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12622/stat : 12622 (satake) S 12610 12612 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 378 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=12612/tid=12623] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12623/stat : 12623 (satake) S 12610 12612 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 379 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=12612/tid=12624] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12624/stat : 12624 (satake) S 12610 12612 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644795283 7114752 379 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=12612/tid=12625] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12625/stat : 12625 (satake) R 12610 12612 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 644795284 7114752 381 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12626] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12626/stat : 12626 (satake) D 12610 12612 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644795284 7114752 381 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12627] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12627/stat : 12627 (satake) D 12610 12612 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 644795284 7114752 384 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12628] ppid=12610 vsize=6948 CPUtime=0
/proc/12612/task/12628/stat : 12628 (satake) R 12610 12612 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 644795284 7114752 386 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0

[startup+0.028769 s]
/proc/loadavg: 15.04 14.72 12.78 2/184 12612
/proc/meminfo: memFree=19125552/36427776 swapFree=4504/7884
[pid=12612] ppid=12610 vsize=11028 CPUtime=0.12
/proc/12612/stat : 12612 (satake) S 12610 12612 27791 0 -1 4202496 1141 0 0 0 6 6 0 0 20 0 17 0 644795283 11292672 1082 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/12612/statm: 2757 1085 63 164 0 2592 0
[pid=12612/tid=12613] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12613/stat : 12613 (satake) S 12610 12612 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1085 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12614] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12614/stat : 12614 (satake) R 12610 12612 27791 0 -1 4202560 113 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1086 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12615] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12615/stat : 12615 (satake) R 12610 12612 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1086 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12612/tid=12616] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12616/stat : 12616 (satake) R 12610 12612 27791 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1086 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12617] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12617/stat : 12617 (satake) R 12610 12612 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1087 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12618] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12618/stat : 12618 (satake) S 12610 12612 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1088 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12612/tid=12619] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12619/stat : 12619 (satake) R 12610 12612 27791 0 -1 4202560 93 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1090 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12612/tid=12620] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12620/stat : 12620 (satake) R 12610 12612 27791 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1093 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12612/tid=12621] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12621/stat : 12621 (satake) R 12610 12612 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1096 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12612/tid=12622] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12622/stat : 12622 (satake) R 12610 12612 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1098 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12612/tid=12623] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12623/stat : 12623 (satake) R 12610 12612 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1099 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12612/tid=12624] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12624/stat : 12624 (satake) R 12610 12612 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 644795283 11292672 1101 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12612/tid=12625] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12625/stat : 12625 (satake) R 12610 12612 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 644795284 11292672 1102 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12626] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12626/stat : 12626 (satake) R 12610 12612 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 644795284 11292672 1103 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12627] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12627/stat : 12627 (satake) R 12610 12612 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 644795284 11292672 1105 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12612/tid=12628] ppid=12610 vsize=11028 CPUtime=0
/proc/12612/task/12628/stat : 12628 (satake) R 12610 12612 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 644795284 11292672 1106 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11028

[startup+0.10475 s]
/proc/loadavg: 15.04 14.72 12.78 2/184 12612
/proc/meminfo: memFree=19125552/36427776 swapFree=4504/7884
[pid=12612] ppid=12610 vsize=47084 CPUtime=0.8
/proc/12612/stat : 12612 (satake) S 12610 12612 27791 0 -1 4202496 7404 0 0 0 6 74 0 0 20 0 17 0 644795283 48214016 7344 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/12612/statm: 11771 7344 63 164 0 11606 0
[pid=12612/tid=12613] ppid=12610 vsize=47084 CPUtime=0
/proc/12612/task/12613/stat : 12613 (satake) S 12610 12612 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644795283 48214016 7344 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12614] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12614/stat : 12614 (satake) R 12610 12612 27791 0 -1 4202560 702 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7344 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12615] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12615/stat : 12615 (satake) R 12610 12612 27791 0 -1 4202560 517 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7349 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12612/tid=12616] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12616/stat : 12616 (satake) R 12610 12612 27791 0 -1 4202560 704 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7349 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12617] ppid=12610 vsize=47084 CPUtime=0
/proc/12612/task/12617/stat : 12617 (satake) R 12610 12612 27791 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 17 0 644795283 48214016 7349 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12618] ppid=12610 vsize=47084 CPUtime=0.04
/proc/12612/task/12618/stat : 12618 (satake) R 12610 12612 27791 0 -1 4202560 406 0 0 0 0 4 0 0 20 0 17 0 644795283 48214016 7350 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12612/tid=12619] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12619/stat : 12619 (satake) R 12610 12612 27791 0 -1 4202560 610 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7351 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12612/tid=12620] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12620/stat : 12620 (satake) R 12610 12612 27791 0 -1 4202560 627 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7352 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12612/tid=12621] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12621/stat : 12621 (satake) R 12610 12612 27791 0 -1 4202560 579 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7353 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12612/tid=12622] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12622/stat : 12622 (satake) R 12610 12612 27791 0 -1 4202560 637 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7371 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12612/tid=12623] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12623/stat : 12623 (satake) R 12610 12612 27791 0 -1 4202560 603 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7395 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12612/tid=12624] ppid=12610 vsize=47084 CPUtime=0.06
/proc/12612/task/12624/stat : 12624 (satake) R 12610 12612 27791 0 -1 4202560 558 0 0 0 0 6 0 0 20 0 17 0 644795283 48214016 7422 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12612/tid=12625] ppid=12610 vsize=47084 CPUtime=0.02
/proc/12612/task/12625/stat : 12625 (satake) R 12610 12612 27791 0 -1 4202560 237 0 0 0 0 2 0 0 20 0 17 0 644795284 48214016 7456 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12626] ppid=12610 vsize=47084 CPUtime=0.04
/proc/12612/task/12626/stat : 12626 (satake) R 12610 12612 27791 0 -1 4202560 467 0 0 0 0 4 0 0 20 0 17 0 644795284 48214016 7484 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12627] ppid=12610 vsize=47084 CPUtime=0.02
/proc/12612/task/12627/stat : 12627 (satake) R 12610 12612 27791 0 -1 4202560 173 0 0 0 0 2 0 0 20 0 17 0 644795284 48214016 7518 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12612/tid=12628] ppid=12610 vsize=47084 CPUtime=0.04
/proc/12612/task/12628/stat : 12628 (satake) D 12610 12612 27791 0 -1 4202560 417 0 0 0 0 4 0 0 20 0 17 0 644795284 48214016 7520 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 47084

[startup+0.304786 s]
/proc/loadavg: 15.04 14.72 12.78 2/184 12612
/proc/meminfo: memFree=19125552/36427776 swapFree=4504/7884
[pid=12612] ppid=12610 vsize=60660 CPUtime=1.76
/proc/12612/stat : 12612 (satake) S 12610 12612 27791 0 -1 4202496 13226 0 0 0 12 164 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/12612/statm: 15165 13166 63 164 0 15000 0
[pid=12612/tid=12613] ppid=12610 vsize=60660 CPUtime=0
/proc/12612/task/12613/stat : 12613 (satake) S 12610 12612 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12614] ppid=12610 vsize=60660 CPUtime=0.12
/proc/12612/task/12614/stat : 12614 (satake) D 12610 12612 27791 0 -1 4202560 1006 0 0 0 2 10 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12615] ppid=12610 vsize=60660 CPUtime=0.14
/proc/12612/task/12615/stat : 12615 (satake) D 12610 12612 27791 0 -1 4202560 868 0 0 0 0 14 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12612/tid=12616] ppid=12610 vsize=60660 CPUtime=0.14
/proc/12612/task/12616/stat : 12616 (satake) S 12610 12612 27791 0 -1 4202560 1036 0 0 0 2 12 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12617] ppid=12610 vsize=60660 CPUtime=0.06
/proc/12612/task/12617/stat : 12617 (satake) D 12610 12612 27791 0 -1 4202560 791 0 0 0 0 6 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12618] ppid=12610 vsize=60660 CPUtime=0.12
/proc/12612/task/12618/stat : 12618 (satake) R 12610 12612 27791 0 -1 4202560 810 0 0 0 0 12 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12612/tid=12619] ppid=12610 vsize=60660 CPUtime=0.14
/proc/12612/task/12619/stat : 12619 (satake) D 12610 12612 27791 0 -1 4202560 942 0 0 0 2 12 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12612/tid=12620] ppid=12610 vsize=60660 CPUtime=0.12
/proc/12612/task/12620/stat : 12620 (satake) S 12610 12612 27791 0 -1 4202560 830 0 0 0 0 12 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=12612/tid=12621] ppid=12610 vsize=60660 CPUtime=0.12
/proc/12612/task/12621/stat : 12621 (satake) S 12610 12612 27791 0 -1 4202560 782 0 0 0 0 12 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=12612/tid=12622] ppid=12610 vsize=60660 CPUtime=0.16
/proc/12612/task/12622/stat : 12622 (satake) D 12610 12612 27791 0 -1 4202560 993 0 0 0 0 16 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12612/tid=12623] ppid=12610 vsize=60660 CPUtime=0.14
/proc/12612/task/12623/stat : 12623 (satake) D 12610 12612 27791 0 -1 4202560 946 0 0 0 2 12 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12612/tid=12624] ppid=12610 vsize=60660 CPUtime=0.14
/proc/12612/task/12624/stat : 12624 (satake) S 12610 12612 27791 0 -1 4202560 880 0 0 0 0 14 0 0 20 0 17 0 644795283 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=12612/tid=12625] ppid=12610 vsize=60660 CPUtime=0.06
/proc/12612/task/12625/stat : 12625 (satake) S 12610 12612 27791 0 -1 4202560 795 0 0 0 0 6 0 0 20 0 17 0 644795284 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12626] ppid=12610 vsize=60660 CPUtime=0.08
/proc/12612/task/12626/stat : 12626 (satake) S 12610 12612 27791 0 -1 4202560 808 0 0 0 0 8 0 0 20 0 17 0 644795284 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=12612/tid=12627] ppid=12610 vsize=60660 CPUtime=0.06
/proc/12612/task/12627/stat : 12627 (satake) S 12610 12612 27791 0 -1 4202560 774 0 0 0 0 6 0 0 20 0 17 0 644795284 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=12612/tid=12628] ppid=12610 vsize=60660 CPUtime=0.08
/proc/12612/task/12628/stat : 12628 (satake) D 12610 12612 27791 0 -1 4202560 836 0 0 0 0 8 0 0 20 0 17 0 644795284 62115840 13166 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 60660

[startup+0.704736 s]
/proc/loadavg: 15.04 14.72 12.78 2/184 12612
/proc/meminfo: memFree=19125552/36427776 swapFree=4504/7884
[pid=12612] ppid=12610 vsize=94784 CPUtime=3.13
/proc/12612/stat : 12612 (satake) S 12610 12612 27791 0 -1 4202496 21227 0 0 0 56 257 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/12612/statm: 23696 21167 63 164 0 23531 0
[pid=12612/tid=12613] ppid=12610 vsize=94784 CPUtime=0
/proc/12612/task/12613/stat : 12613 (satake) S 12610 12612 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12614] ppid=12610 vsize=94784 CPUtime=0.22
/proc/12612/task/12614/stat : 12614 (satake) D 12610 12612 27791 0 -1 4202560 1608 0 0 0 8 14 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12615] ppid=12610 vsize=94784 CPUtime=0.24
/proc/12612/task/12615/stat : 12615 (satake) S 12610 12612 27791 0 -1 4202560 1530 0 0 0 6 18 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12612/tid=12616] ppid=12610 vsize=94784 CPUtime=0.26
/proc/12612/task/12616/stat : 12616 (satake) D 12610 12612 27791 0 -1 4202560 1752 0 0 0 8 18 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12612/tid=12617] ppid=12610 vsize=94784 CPUtime=0.14
/proc/12612/task/12617/stat : 12617 (satake) D 12610 12612 27791 0 -1 4202560 1386 0 0 0 4 10 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12612/tid=12618] ppid=12610 vsize=94784 CPUtime=0.2
/proc/12612/task/12618/stat : 12618 (satake) R 12610 12612 27791 0 -1 4202560 1336 0 0 0 2 18 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12612/tid=12619] ppid=12610 vsize=94784 CPUtime=0.24
/proc/12612/task/12619/stat : 12619 (satake) S 12610 12612 27791 0 -1 4202560 1523 0 0 0 4 20 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=12612/tid=12620] ppid=12610 vsize=94784 CPUtime=0.2
/proc/12612/task/12620/stat : 12620 (satake) S 12610 12612 27791 0 -1 4202560 1288 0 0 0 0 20 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=12612/tid=12621] ppid=12610 vsize=94784 CPUtime=0.18
/proc/12612/task/12621/stat : 12621 (satake) D 12610 12612 27791 0 -1 4202560 1081 0 0 0 2 16 0 0 20 0 17 0 644795283 97058816 21167 18446744073709551615 134512640 135180984 4294786752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12612/tid=12622] ppid=12610 vsize=94784 CPUtime=0.26

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9917.32
system time used= 83.7932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404601
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= 3743256
involuntary context switches= 275922

runsolver used 3.2002 second user time and 9.93262 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 03:01:29
IDJOB=1781112
IDBENCH=71097
IDSOLVER=631
FILE ID=xenhost3-49/1781112-1244854889
PBS_JOBID=
Free space on /tmp= 7025 MiB

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

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

MD5SUM BENCH= 74b3bf25aa16f613ee15d6b4b9bc9486
RANDOM SEED= 1445753351

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:      19125552 kB
Buffers:        435664 kB
Cached:       14115724 kB
SwapCached:          0 kB
Active:        4081384 kB
Inactive:     10478664 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3288 kB
Writeback:           0 kB
AnonPages:        7884 kB
Mapped:           3840 kB
Slab:           689700 kB
SReclaimable:   662736 kB
SUnreclaim:      26964 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-13 03:13:00