Trace number 1775967

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) 5666.04 1000.11

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
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 variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

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-1775967-1244731373/watcher-1775967-1244731373 -o /tmp/evaluation-result-1775967-1244731373/solver-1775967-1244731373 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775967-1244731373.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: 10.92 11.14 8.52 2/184 30027
/proc/meminfo: memFree=19141064/36427776 swapFree=3984/8592
[pid=30027] ppid=30025 vsize=8296 CPUtime=0
/proc/30027/stat : 30027 (satake) S 30025 30027 27791 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 16 0 632443707 8495104 379 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30027/statm: 2074 379 63 164 0 1909 0
[pid=30027/tid=30028] ppid=30025 vsize=8296 CPUtime=0
/proc/30027/task/30028/stat : 30028 (satake) S 30025 30027 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 632443707 8495104 385 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30029] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30029/stat : 30029 (satake) D 30025 30027 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 387 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30030] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30030/stat : 30030 (satake) R 30025 30027 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 391 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30031] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30031/stat : 30031 (satake) R 30025 30027 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 392 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30032] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30032/stat : 30032 (satake) R 30025 30027 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 395 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30033] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30033/stat : 30033 (satake) R 30025 30027 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 421 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30027/tid=30034] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30034/stat : 30034 (satake) S 30025 30027 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 432 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30027/tid=30035] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30035/stat : 30035 (satake) S 30025 30027 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 433 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30036] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30036/stat : 30036 (satake) S 30025 30027 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 433 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30027/tid=30037] ppid=30025 vsize=7272 CPUtime=0
/proc/30027/task/30037/stat : 30037 (satake) D 30025 30027 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 16 0 632443707 7446528 433 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30038] ppid=30025 vsize=7400 CPUtime=0
/proc/30027/task/30038/stat : 30038 (satake) D 30025 30027 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 16 0 632443707 7577600 433 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30039] ppid=30025 vsize=7400 CPUtime=0
/proc/30027/task/30039/stat : 30039 (satake) D 30025 30027 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632443708 7577600 436 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30027/tid=30040] ppid=30025 vsize=9452 CPUtime=0
/proc/30027/task/30040/stat : 30040 (satake) D 30025 30027 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 16 0 632443708 9678848 436 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30041] ppid=30025 vsize=9452 CPUtime=0
/proc/30027/task/30041/stat : 30041 (satake) D 30025 30027 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 632443708 9678848 437 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30042] ppid=30025 vsize=9584 CPUtime=0
/proc/30027/task/30042/stat : 30042 (satake) D 30025 30027 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 632443708 9814016 438 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.098814 s]
/proc/loadavg: 10.92 11.14 8.52 2/184 30027
/proc/meminfo: memFree=19141064/36427776 swapFree=3984/8592
[pid=30027] ppid=30025 vsize=78872 CPUtime=0.61
/proc/30027/stat : 30027 (satake) S 30025 30027 27791 0 -1 4202496 12304 0 0 0 1 60 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30027/statm: 19718 12257 63 164 0 19553 0
[pid=30027/tid=30028] ppid=30025 vsize=78872 CPUtime=0
/proc/30027/task/30028/stat : 30028 (satake) S 30025 30027 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30029] ppid=30025 vsize=78872 CPUtime=0.06
/proc/30027/task/30029/stat : 30029 (satake) R 30025 30027 27791 0 -1 4202560 1063 0 0 0 0 6 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30030] ppid=30025 vsize=78872 CPUtime=0.06
/proc/30027/task/30030/stat : 30030 (satake) D 30025 30027 27791 0 -1 4202560 1020 0 0 0 0 6 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30031] ppid=30025 vsize=78872 CPUtime=0.04
/proc/30027/task/30031/stat : 30031 (satake) D 30025 30027 27791 0 -1 4202560 1089 0 0 0 0 4 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30032] ppid=30025 vsize=78872 CPUtime=0
/proc/30027/task/30032/stat : 30032 (satake) D 30025 30027 27791 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30033] ppid=30025 vsize=78872 CPUtime=0.06
/proc/30027/task/30033/stat : 30033 (satake) D 30025 30027 27791 0 -1 4202560 1137 0 0 0 0 6 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30027/tid=30034] ppid=30025 vsize=78872 CPUtime=0.06
/proc/30027/task/30034/stat : 30034 (satake) D 30025 30027 27791 0 -1 4202560 1390 0 0 0 0 6 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30027/tid=30035] ppid=30025 vsize=78872 CPUtime=0
/proc/30027/task/30035/stat : 30035 (satake) D 30025 30027 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30036] ppid=30025 vsize=78872 CPUtime=0.04
/proc/30027/task/30036/stat : 30036 (satake) D 30025 30027 27791 0 -1 4202560 745 0 0 0 0 4 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30027/tid=30037] ppid=30025 vsize=78872 CPUtime=0
/proc/30027/task/30037/stat : 30037 (satake) D 30025 30027 27791 0 -1 4202560 143 0 0 0 0 0 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30038] ppid=30025 vsize=78872 CPUtime=0.06
/proc/30027/task/30038/stat : 30038 (satake) D 30025 30027 27791 0 -1 4202560 1350 0 0 0 0 6 0 0 20 0 17 0 632443707 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30039] ppid=30025 vsize=78872 CPUtime=0.06
/proc/30027/task/30039/stat : 30039 (satake) D 30025 30027 27791 0 -1 4202560 1179 0 0 0 0 6 0 0 20 0 17 0 632443708 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30027/tid=30040] ppid=30025 vsize=78872 CPUtime=0.02
/proc/30027/task/30040/stat : 30040 (satake) D 30025 30027 27791 0 -1 4202560 524 0 0 0 0 2 0 0 20 0 17 0 632443708 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30041] ppid=30025 vsize=78872 CPUtime=0.02
/proc/30027/task/30041/stat : 30041 (satake) D 30025 30027 27791 0 -1 4202560 756 0 0 0 0 2 0 0 20 0 17 0 632443708 80764928 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30042] ppid=30025 vsize=82968 CPUtime=0.02
/proc/30027/task/30042/stat : 30042 (satake) D 30025 30027 27791 0 -1 4202560 335 0 0 0 0 2 0 0 20 0 17 0 632443708 84959232 12257 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 78872

[startup+0.102794 s]
/proc/loadavg: 10.92 11.14 8.52 2/184 30027
/proc/meminfo: memFree=19141064/36427776 swapFree=3984/8592
[pid=30027] ppid=30025 vsize=89368 CPUtime=0.61
/proc/30027/stat : 30027 (satake) S 30025 30027 27791 0 -1 4202496 12662 0 0 0 1 60 0 0 20 0 17 0 632443707 91512832 12616 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30027/statm: 22342 12636 63 164 0 22177 0
[pid=30027/tid=30028] ppid=30025 vsize=89368 CPUtime=0
/proc/30027/task/30028/stat : 30028 (satake) S 30025 30027 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632443707 91512832 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30029] ppid=30025 vsize=89368 CPUtime=0.06
/proc/30027/task/30029/stat : 30029 (satake) D 30025 30027 27791 0 -1 4202560 1096 0 0 0 0 6 0 0 20 0 17 0 632443707 91512832 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30030] ppid=30025 vsize=89368 CPUtime=0.06
/proc/30027/task/30030/stat : 30030 (satake) D 30025 30027 27791 0 -1 4202560 1048 0 0 0 0 6 0 0 20 0 17 0 632443707 91512832 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30031] ppid=30025 vsize=89368 CPUtime=0.06
/proc/30027/task/30031/stat : 30031 (satake) D 30025 30027 27791 0 -1 4202560 1130 0 0 0 0 6 0 0 20 0 17 0 632443707 91512832 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30032] ppid=30025 vsize=89368 CPUtime=0
/proc/30027/task/30032/stat : 30032 (satake) D 30025 30027 27791 0 -1 4202560 273 0 0 0 0 0 0 0 20 0 17 0 632443707 91512832 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30033] ppid=30025 vsize=89368 CPUtime=0.06
/proc/30027/task/30033/stat : 30033 (satake) D 30025 30027 27791 0 -1 4202560 1172 0 0 0 0 6 0 0 20 0 17 0 632443707 91512832 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30027/tid=30034] ppid=30025 vsize=89368 CPUtime=0.06
/proc/30027/task/30034/stat : 30034 (satake) D 30025 30027 27791 0 -1 4202560 1432 0 0 0 0 6 0 0 20 0 17 0 632443707 91512832 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30027/tid=30035] ppid=30025 vsize=89880 CPUtime=0
/proc/30027/task/30035/stat : 30035 (satake) D 30025 30027 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 632443707 92037120 12637 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30036] ppid=30025 vsize=89880 CPUtime=0.04
/proc/30027/task/30036/stat : 30036 (satake) R 30025 30027 27791 0 -1 4202560 773 0 0 0 0 4 0 0 20 0 17 0 632443707 92037120 12642 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30027/tid=30037] ppid=30025 vsize=89880 CPUtime=0
/proc/30027/task/30037/stat : 30037 (satake) R 30025 30027 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 632443707 92037120 12644 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30038] ppid=30025 vsize=89880 CPUtime=0.06
/proc/30027/task/30038/stat : 30038 (satake) R 30025 30027 27791 0 -1 4202560 1397 0 0 0 0 6 0 0 20 0 17 0 632443707 92037120 12645 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30039] ppid=30025 vsize=89880 CPUtime=0.06
/proc/30027/task/30039/stat : 30039 (satake) R 30025 30027 27791 0 -1 4202560 1216 0 0 0 0 6 0 0 20 0 17 0 632443708 92037120 12646 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30027/tid=30040] ppid=30025 vsize=89880 CPUtime=0.02
/proc/30027/task/30040/stat : 30040 (satake) R 30025 30027 27791 0 -1 4202560 533 0 0 0 0 2 0 0 20 0 17 0 632443708 92037120 12646 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30041] ppid=30025 vsize=89880 CPUtime=0.02
/proc/30027/task/30041/stat : 30041 (satake) R 30025 30027 27791 0 -1 4202560 792 0 0 0 0 2 0 0 20 0 17 0 632443708 92037120 12646 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30042] ppid=30025 vsize=89880 CPUtime=0.02
/proc/30027/task/30042/stat : 30042 (satake) R 30025 30027 27791 0 -1 4202560 342 0 0 0 0 2 0 0 20 0 17 0 632443708 92037120 12646 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 89368

[startup+0.306785 s]
/proc/loadavg: 10.92 11.14 8.52 2/184 30027
/proc/meminfo: memFree=19141064/36427776 swapFree=3984/8592
[pid=30027] ppid=30025 vsize=118800 CPUtime=1.84
/proc/30027/stat : 30027 (satake) S 30025 30027 27791 0 -1 4202496 23969 0 0 0 2 182 0 0 20 0 17 0 632443707 121651200 23922 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30027/statm: 29700 23923 63 164 0 29535 0
[pid=30027/tid=30028] ppid=30025 vsize=118800 CPUtime=0
/proc/30027/task/30028/stat : 30028 (satake) S 30025 30027 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632443707 121651200 23927 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30029] ppid=30025 vsize=118800 CPUtime=0.12
/proc/30027/task/30029/stat : 30029 (satake) R 30025 30027 27791 0 -1 4202560 1679 0 0 0 0 12 0 0 20 0 17 0 632443707 121651200 23929 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30030] ppid=30025 vsize=118800 CPUtime=0.12
/proc/30027/task/30030/stat : 30030 (satake) S 30025 30027 27791 0 -1 4202560 1661 0 0 0 0 12 0 0 20 0 17 0 632443707 121651200 23929 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30031] ppid=30025 vsize=118800 CPUtime=0.12
/proc/30027/task/30031/stat : 30031 (satake) R 30025 30027 27791 0 -1 4202560 1713 0 0 0 0 12 0 0 20 0 17 0 632443707 121651200 23931 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30032] ppid=30025 vsize=118800 CPUtime=0.08
/proc/30027/task/30032/stat : 30032 (satake) R 30025 30027 27791 0 -1 4202560 1191 0 0 0 0 8 0 0 20 0 17 0 632443707 121651200 23934 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30033] ppid=30025 vsize=118800 CPUtime=0.16
/proc/30027/task/30033/stat : 30033 (satake) S 30025 30027 27791 0 -1 4202560 1752 0 0 0 0 16 0 0 20 0 17 0 632443707 121651200 23942 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30027/tid=30034] ppid=30025 vsize=118800 CPUtime=0.16
/proc/30027/task/30034/stat : 30034 (satake) R 30025 30027 27791 0 -1 4202560 2068 0 0 0 0 16 0 0 20 0 17 0 632443707 121651200 23952 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30027/tid=30035] ppid=30025 vsize=118800 CPUtime=0.08
/proc/30027/task/30035/stat : 30035 (satake) D 30025 30027 27791 0 -1 4202560 1072 0 0 0 0 8 0 0 20 0 17 0 632443707 121651200 23956 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30036] ppid=30025 vsize=118800 CPUtime=0.1
/proc/30027/task/30036/stat : 30036 (satake) S 30025 30027 27791 0 -1 4202560 1616 0 0 0 0 10 0 0 20 0 17 0 632443707 121651200 23957 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30027/tid=30037] ppid=30025 vsize=118972 CPUtime=0.08
/proc/30027/task/30037/stat : 30037 (satake) D 30025 30027 27791 0 -1 4202560 1114 0 0 0 0 8 0 0 20 0 17 0 632443707 121827328 23958 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30038] ppid=30025 vsize=118972 CPUtime=0.18
/proc/30027/task/30038/stat : 30038 (satake) S 30025 30027 27791 0 -1 4202560 1957 0 0 0 0 18 0 0 20 0 17 0 632443707 121827328 23959 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30039] ppid=30025 vsize=118972 CPUtime=0.16
/proc/30027/task/30039/stat : 30039 (satake) D 30025 30027 27791 0 -1 4202560 1899 0 0 0 0 16 0 0 20 0 17 0 632443708 121827328 23959 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30027/tid=30040] ppid=30025 vsize=118972 CPUtime=0.1
/proc/30027/task/30040/stat : 30040 (satake) R 30025 30027 27791 0 -1 4202560 1484 0 0 0 0 10 0 0 20 0 17 0 632443708 121827328 23964 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30041] ppid=30025 vsize=118972 CPUtime=0.08
/proc/30027/task/30041/stat : 30041 (satake) D 30025 30027 27791 0 -1 4202560 1635 0 0 0 0 8 0 0 20 0 17 0 632443708 121827328 23966 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30027/tid=30042] ppid=30025 vsize=118972 CPUtime=0.08
/proc/30027/task/30042/stat : 30042 (satake) D 30025 30027 27791 0 -1 4202560 1281 0 0 0 0 8 0 0 20 0 17 0 632443708 121827328 23966 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 118800

[startup+0.702926 s]
/proc/loadavg: 10.92 11.14 8.52 2/184 30027
/proc/meminfo: memFree=19141064/36427776 swapFree=3984/8592
[pid=30027] ppid=30025 vsize=165456 CPUtime=3.63
/proc/30027/stat : 30027 (satake) S 30025 30027 27791 0 -1 4202496 37900 0 0 0 72 291 0 0 20 0 17 0 632443707 169426944 37853 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30027/statm: 41364 37854 63 164 0 41199 0
[pid=30027/tid=30028] ppid=30025 vsize=165456 CPUtime=0
/proc/30027/task/30028/stat : 30028 (satake) S 30025 30027 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632443707 169426944 37854 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30029] ppid=30025 vsize=165456 CPUtime=0.22
/proc/30027/task/30029/stat : 30029 (satake) S 30025 30027 27791 0 -1 4202560 2345 0 0 0 2 20 0 0 20 0 17 0 632443707 169426944 37857 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30030] ppid=30025 vsize=165456 CPUtime=0.22
/proc/30027/task/30030/stat : 30030 (satake) S 30025 30027 27791 0 -1 4202560 2382 0 0 0 6 16 0 0 20 0 17 0 632443707 169426944 37857 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30031] ppid=30025 vsize=165456 CPUtime=0.22
/proc/30027/task/30031/stat : 30031 (satake) S 30025 30027 27791 0 -1 4202560 2414 0 0 0 4 18 0 0 20 0 17 0 632443707 169426944 37858 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30032] ppid=30025 vsize=165456 CPUtime=0.18
/proc/30027/task/30032/stat : 30032 (satake) S 30025 30027 27791 0 -1 4202560 2247 0 0 0 2 16 0 0 20 0 17 0 632443707 169426944 37858 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30027/tid=30033] ppid=30025 vsize=165456 CPUtime=0.3
/proc/30027/task/30033/stat : 30033 (satake) R 30025 30027 27791 0 -1 4202560 2757 0 0 0 6 24 0 0 20 0 17 0 632443707 169426944 37865 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30027/tid=30034] ppid=30025 vsize=165456 CPUtime=0.32
/proc/30027/task/30034/stat : 30034 (satake) S 30025 30027 27791 0 -1 4202560 3207 0 0 0 6 26 0 0 20 0 17 0 632443707 169426944 37866 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30027/tid=30035] ppid=30025 vsize=165456 CPUtime=0.2
/proc/30027/task/30035/stat : 30035 (satake) S 30025 30027 27791 0 -1 4202560 2213 0 0 0 4 16 0 0 20 0 17 0 632443707 169426944 37866 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30027/tid=30036] ppid=30025 vsize=165456 CPUtime=0.22
/proc/30027/task/30036/stat : 30036 (satake) D 30025 30027 27791 0 -1 4202560 2526 0 0 0 10 12 0 0 20 0 17 0 632443707 169426944 37866 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30027/tid=30037] ppid=30025 vsize=165456 CPUtime=0.2
/proc/30027/task/30037/stat : 30037 (satake) S 30025 30027 27791 0 -1 4202560 2275 0 0 0 6 14 0 0 20 0 17 0 632443707 169426944 37866 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30027/tid=30038] ppid=30025 vsize=165456 CPUtime=0.32
/proc/30027/task/30038/stat : 30038 (satake) R 30025 30027 27791 0 -1 4202560 2950 0 0 0 6 26 0 0 20 0 17 0 632443707 169426944 37869 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30027/tid=30039] ppid=30025 vsize=165456 CPUtime=0.3
/proc/30027/task/30039/stat : 30039 (satake) R 30025 30027 27791 0 -1 4202560 2947 0 0 0 6 24 0 0 20 0 17 0 632443708 169426944 37874 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30027/tid=30040] ppid=30025 vsize=165456 CPUtime=0.2
/proc/30027/task/30040/stat : 30040 (satake) D 30025 30027 27791 0 -1 4202560 2309 0 0 0 0 20 0 0 20 0 17 0 632443708 169426944 37875 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30027/tid=30041] ppid=30025 vsize=165456 CPUtime=0.18

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

deleting IPC queue 262602830
deleting IPC queue 262635599
deleting IPC queue 262668368
deleting IPC queue 262701137
deleting IPC queue 262733906
deleting IPC queue 262766675
deleting IPC queue 262799444
deleting IPC queue 262832213
deleting IPC queue 262864982
deleting IPC queue 262897751
deleting IPC queue 262930520
deleting IPC queue 262963289
deleting IPC queue 262996058
deleting IPC queue 263028827
deleting IPC queue 263061596
deleting IPC queue 263094365
deleting IPC queue 263127134
deleting IPC queue 263159903
deleting IPC queue 263192672
deleting IPC queue 263225441
deleting IPC queue 263258210
deleting IPC queue 263290979
deleting IPC queue 263323748
deleting IPC queue 263356517
deleting IPC queue 263389286
deleting IPC queue 263422055
deleting IPC queue 263454824
deleting IPC queue 263487593
deleting IPC queue 263520362
deleting IPC queue 263553131
deleting IPC queue 263585900
deleting IPC queue 263618669
deleting IPC queue 263651438
deleting IPC queue 263684207
deleting IPC queue 263716976
deleting IPC queue 263749745
deleting IPC queue 263782514
deleting IPC queue 263815283
deleting IPC queue 263848052
deleting IPC queue 263880821
deleting IPC queue 263913590
deleting IPC queue 263946359
deleting IPC queue 263979128
deleting IPC queue 264011897
deleting IPC queue 264044666
deleting IPC queue 264077435
deleting IPC queue 264110204
deleting IPC queue 264142973
deleting IPC queue 264175742
deleting IPC queue 264208511
deleting IPC queue 264241280
deleting IPC queue 264274049
deleting IPC queue 264306818
deleting IPC queue 264339587
deleting IPC queue 264372356
deleting IPC queue 264405125
deleting IPC queue 264437894
deleting IPC queue 264470663
deleting IPC queue 264503432
deleting IPC queue 264536201
deleting IPC queue 264568970
deleting IPC queue 264601739
deleting IPC queue 264634508
deleting IPC queue 264667277
deleting IPC queue 264700046
deleting IPC queue 264732815
deleting IPC queue 264765584
deleting IPC queue 264798353
deleting IPC queue 264831122
deleting IPC queue 264863891
deleting IPC queue 264896660
deleting IPC queue 264929429
deleting IPC queue 264962198
deleting IPC queue 264994967
deleting IPC queue 265027736
deleting IPC queue 265060505
deleting IPC queue 265093274
deleting IPC queue 265126043
deleting IPC queue 265158812
deleting IPC queue 265191581
deleting IPC queue 265224350
deleting IPC queue 265257119
deleting IPC queue 265289888
deleting IPC queue 265322657
deleting IPC queue 265355426
deleting IPC queue 265388195
deleting IPC queue 265420964
deleting IPC queue 265453733
deleting IPC queue 265486502
deleting IPC queue 265519271
deleting IPC queue 265552040
deleting IPC queue 265584809
deleting IPC queue 265617578
deleting IPC queue 265650347
deleting IPC queue 265683116
deleting IPC queue 265715885
deleting IPC queue 265748654
deleting IPC queue 265781423
deleting IPC queue 265814192
deleting IPC queue 265846961
deleting IPC queue 265879730
deleting IPC queue 265912499
deleting IPC queue 265945268
deleting IPC queue 265978037
deleting IPC queue 266010806
deleting IPC queue 266043575
deleting IPC queue 266076344
deleting IPC queue 266109113
deleting IPC queue 266141882
deleting IPC queue 266174651
deleting IPC queue 266207420
deleting IPC queue 266240189
deleting IPC queue 266272958
deleting IPC queue 266305727
deleting IPC queue 266338496
deleting IPC queue 266371265
deleting IPC queue 266404034
deleting IPC queue 266436803
deleting IPC queue 266469572
deleting IPC queue 266502341
deleting IPC queue 266535110
deleting IPC queue 266567879
deleting IPC queue 266600648
deleting IPC queue 266633417
deleting IPC queue 266666186
deleting IPC queue 266698955
deleting IPC queue 266731724
deleting IPC queue 266764493
deleting IPC queue 266797262
deleting IPC queue 266830031
deleting IPC queue 266862800
deleting IPC queue 266895569
deleting IPC queue 266928338
deleting IPC queue 266961107
deleting IPC queue 266993876
deleting IPC queue 267026645
deleting IPC queue 267059414
deleting IPC queue 267092183
deleting IPC queue 267124952
deleting IPC queue 267157721
deleting IPC queue 267190490
deleting IPC queue 267223259
deleting IPC queue 267256028
deleting IPC queue 267288797
deleting IPC queue 267321566
deleting IPC queue 267354335
deleting IPC queue 267387104
deleting IPC queue 267419873
deleting IPC queue 267452642
deleting IPC queue 267485411
deleting IPC queue 267518180
deleting IPC queue 267550949
deleting IPC queue 267583718
deleting IPC queue 267616487
deleting IPC queue 267649256
deleting IPC queue 267682025
deleting IPC queue 267714794
deleting IPC queue 267747563
deleting IPC queue 267780332
deleting IPC queue 267813101
deleting IPC queue 267845870
deleting IPC queue 267878639
deleting IPC queue 267911408
deleting IPC queue 267944177
deleting IPC queue 267976946
deleting IPC queue 268009715
deleting IPC queue 268042484
deleting IPC queue 268075253
deleting IPC queue 268108022
deleting IPC queue 268140791
deleting IPC queue 268173560
deleting IPC queue 268206329
deleting IPC queue 268239098
deleting IPC queue 268271867
deleting IPC queue 268304636
deleting IPC queue 268337405
deleting IPC queue 268370174
deleting IPC queue 268402943

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5163.99
system time used= 502.047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218866
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= 48515637
involuntary context switches= 6061572

runsolver used 4.46028 second user time and 12.8408 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 16:42:53
IDJOB=1775967
IDBENCH=20406
IDSOLVER=631
FILE ID=xenhost3-49/1775967-1244731373
PBS_JOBID=
Free space on /tmp= 7034 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775967-1244731373/watcher-1775967-1244731373 -o /tmp/evaluation-result-1775967-1244731373/solver-1775967-1244731373 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775967-1244731373.cnf 16 10000

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED= 1099314897

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:      19141064 kB
Buffers:        432136 kB
Cached:       14106040 kB
SwapCached:          0 kB
Active:        4077476 kB
Inactive:     10469348 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            6624 kB
Writeback:           0 kB
AnonPages:        8592 kB
Mapped:           3320 kB
Slab:           687468 kB
SReclaimable:   660744 kB
SUnreclaim:      26724 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7034 MiB
End job on xenhost3-49 at 2009-06-11 16:59:36