Trace number 1776012

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) 9585.75 1000.25

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
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 variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

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-1776012-1244733397/watcher-1776012-1244733397 -o /tmp/evaluation-result-1776012-1244733397/solver-1776012-1244733397 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776012-1244733397.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.84 4.67 5.57 2/184 30227
/proc/meminfo: memFree=19123168/36427776 swapFree=3720/7976
[pid=30227] ppid=30225 vsize=10636 CPUtime=0
/proc/30227/stat : 30227 (satake) R 30225 30227 27791 0 -1 4202496 491 0 0 0 0 0 0 0 20 0 16 0 632646102 10891264 446 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30227/statm: 2659 447 63 164 0 2494 0
[pid=30227/tid=30228] ppid=30225 vsize=10636 CPUtime=0
/proc/30227/task/30228/stat : 30228 (satake) S 30225 30227 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 632646102 10891264 447 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30229] ppid=30225 vsize=10636 CPUtime=0
/proc/30227/task/30229/stat : 30229 (satake) R 30225 30227 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 16 0 632646102 10891264 447 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30227/tid=30230] ppid=30225 vsize=10636 CPUtime=0
/proc/30227/task/30230/stat : 30230 (satake) R 30225 30227 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 16 0 632646102 10891264 448 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30231] ppid=30225 vsize=10636 CPUtime=0
/proc/30227/task/30231/stat : 30231 (satake) D 30225 30227 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 16 0 632646102 10891264 450 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30227/tid=30232] ppid=30225 vsize=10636 CPUtime=0
/proc/30227/task/30232/stat : 30232 (satake) R 30225 30227 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 16 0 632646102 10891264 452 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30233] ppid=30225 vsize=10636 CPUtime=0
/proc/30227/task/30233/stat : 30233 (satake) D 30225 30227 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 632646102 10891264 452 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30227/tid=30234] ppid=30225 vsize=10572 CPUtime=0
/proc/30227/task/30234/stat : 30234 (satake) D 30225 30227 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 16 0 632646102 10825728 452 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30235] ppid=30225 vsize=10572 CPUtime=0
/proc/30227/task/30235/stat : 30235 (satake) D 30225 30227 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 16 0 632646102 10825728 452 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30236] ppid=30225 vsize=10572 CPUtime=0
/proc/30227/task/30236/stat : 30236 (satake) R 30225 30227 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 632646102 10825728 454 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30237] ppid=30225 vsize=10572 CPUtime=0
/proc/30227/task/30237/stat : 30237 (satake) D 30225 30227 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 16 0 632646102 10825728 454 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30238] ppid=30225 vsize=10572 CPUtime=0
/proc/30227/task/30238/stat : 30238 (satake) D 30225 30227 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632646103 10825728 455 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30227/tid=30239] ppid=30225 vsize=10572 CPUtime=0
/proc/30227/task/30239/stat : 30239 (satake) R 30225 30227 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 632646103 10825728 455 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30227/tid=30240] ppid=30225 vsize=10704 CPUtime=0
/proc/30227/task/30240/stat : 30240 (satake) D 30225 30227 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 632646103 10960896 455 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30241] ppid=30225 vsize=10708 CPUtime=0
/proc/30227/task/30241/stat : 30241 (satake) D 30225 30227 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 632646103 10964992 455 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30242] ppid=30225 vsize=10708 CPUtime=0
/proc/30227/task/30242/stat : 30242 (satake) R 30225 30227 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 632646103 10964992 457 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.051426 s]
/proc/loadavg: 4.84 4.67 5.57 2/184 30227
/proc/meminfo: memFree=19123168/36427776 swapFree=3720/7976
[pid=30227] ppid=30225 vsize=21556 CPUtime=0.27
/proc/30227/stat : 30227 (satake) S 30225 30227 27791 0 -1 4202496 3038 0 0 0 0 27 0 0 20 0 17 0 632646102 22073344 2993 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30227/statm: 5389 2994 63 164 0 5224 0
[pid=30227/tid=30228] ppid=30225 vsize=21556 CPUtime=0
/proc/30227/task/30228/stat : 30228 (satake) S 30225 30227 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632646102 22073344 2996 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30229] ppid=30225 vsize=21556 CPUtime=0
/proc/30227/task/30229/stat : 30229 (satake) R 30225 30227 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 632646102 22073344 2999 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30227/tid=30230] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30230/stat : 30230 (satake) R 30225 30227 27791 0 -1 4202560 267 0 0 0 0 2 0 0 20 0 17 0 632646102 22073344 3008 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30231] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30231/stat : 30231 (satake) R 30225 30227 27791 0 -1 4202560 272 0 0 0 0 2 0 0 20 0 17 0 632646102 22073344 3029 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30227/tid=30232] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30232/stat : 30232 (satake) R 30225 30227 27791 0 -1 4202560 226 0 0 0 0 2 0 0 20 0 17 0 632646102 22073344 3054 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30227/tid=30233] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30233/stat : 30233 (satake) D 30225 30227 27791 0 -1 4202560 264 0 0 0 0 2 0 0 20 0 17 0 632646102 22073344 3072 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30227/tid=30234] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30234/stat : 30234 (satake) D 30225 30227 27791 0 -1 4202560 284 0 0 0 0 2 0 0 20 0 17 0 632646102 22073344 3073 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30235] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30235/stat : 30235 (satake) D 30225 30227 27791 0 -1 4202560 247 0 0 0 0 2 0 0 20 0 17 0 632646102 22073344 3073 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30236] ppid=30225 vsize=21556 CPUtime=0
/proc/30227/task/30236/stat : 30236 (satake) D 30225 30227 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 632646102 22073344 3073 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30237] ppid=30225 vsize=21556 CPUtime=0
/proc/30227/task/30237/stat : 30237 (satake) D 30225 30227 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 632646102 22073344 3073 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30238] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30238/stat : 30238 (satake) D 30225 30227 27791 0 -1 4202560 265 0 0 0 0 2 0 0 20 0 17 0 632646103 22073344 3073 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30227/tid=30239] ppid=30225 vsize=21556 CPUtime=0.02
/proc/30227/task/30239/stat : 30239 (satake) D 30225 30227 27791 0 -1 4202560 229 0 0 0 0 2 0 0 20 0 17 0 632646103 22073344 3073 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30227/tid=30240] ppid=30225 vsize=22580 CPUtime=0.02
/proc/30227/task/30240/stat : 30240 (satake) D 30225 30227 27791 0 -1 4202560 220 0 0 0 0 2 0 0 20 0 17 0 632646103 23121920 3073 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30241] ppid=30225 vsize=22580 CPUtime=0
/proc/30227/task/30241/stat : 30241 (satake) D 30225 30227 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 632646103 23121920 3077 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30242] ppid=30225 vsize=22580 CPUtime=0.02
/proc/30227/task/30242/stat : 30242 (satake) D 30225 30227 27791 0 -1 4202560 234 0 0 0 0 2 0 0 20 0 17 0 632646103 23121920 3079 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 21556

[startup+0.111227 s]
/proc/loadavg: 4.84 4.67 5.57 2/184 30227
/proc/meminfo: memFree=19123168/36427776 swapFree=3720/7976
[pid=30227] ppid=30225 vsize=55476 CPUtime=0.88
/proc/30227/stat : 30227 (satake) S 30225 30227 27791 0 -1 4202496 8480 0 0 0 2 86 0 0 20 0 17 0 632646102 56807424 8435 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30227/statm: 13869 8435 63 164 0 13704 0
[pid=30227/tid=30228] ppid=30225 vsize=55476 CPUtime=0
/proc/30227/task/30228/stat : 30228 (satake) S 30225 30227 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632646102 56807424 8435 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30229] ppid=30225 vsize=55476 CPUtime=0.04
/proc/30227/task/30229/stat : 30229 (satake) D 30225 30227 27791 0 -1 4202560 511 0 0 0 0 4 0 0 20 0 17 0 632646102 56807424 8435 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30227/tid=30230] ppid=30225 vsize=55476 CPUtime=0.08
/proc/30227/task/30230/stat : 30230 (satake) D 30225 30227 27791 0 -1 4202560 661 0 0 0 0 8 0 0 20 0 17 0 632646102 56807424 8435 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30231] ppid=30225 vsize=55476 CPUtime=0.08
/proc/30227/task/30231/stat : 30231 (satake) D 30225 30227 27791 0 -1 4202560 667 0 0 0 0 8 0 0 20 0 17 0 632646102 56807424 8435 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30227/tid=30232] ppid=30225 vsize=55476 CPUtime=0.06
/proc/30227/task/30232/stat : 30232 (satake) D 30225 30227 27791 0 -1 4202560 602 0 0 0 0 6 0 0 20 0 17 0 632646102 56807424 8435 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30227/tid=30233] ppid=30225 vsize=57524 CPUtime=0.06
/proc/30227/task/30233/stat : 30233 (satake) D 30225 30227 27791 0 -1 4202560 738 0 0 0 0 6 0 0 20 0 17 0 632646102 58904576 8435 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30227/tid=30234] ppid=30225 vsize=57524 CPUtime=0.06
/proc/30227/task/30234/stat : 30234 (satake) R 30225 30227 27791 0 -1 4202560 672 0 0 0 0 6 0 0 20 0 17 0 632646102 58904576 8439 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30235] ppid=30225 vsize=57524 CPUtime=0.06
/proc/30227/task/30235/stat : 30235 (satake) R 30225 30227 27791 0 -1 4202560 531 0 0 0 0 6 0 0 20 0 17 0 632646102 58904576 8442 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30236] ppid=30225 vsize=57524 CPUtime=0
/proc/30227/task/30236/stat : 30236 (satake) D 30225 30227 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 632646102 58904576 8443 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30237] ppid=30225 vsize=57524 CPUtime=0
/proc/30227/task/30237/stat : 30237 (satake) D 30225 30227 27791 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 17 0 632646102 58904576 8444 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30238] ppid=30225 vsize=57524 CPUtime=0.08
/proc/30227/task/30238/stat : 30238 (satake) R 30225 30227 27791 0 -1 4202560 762 0 0 0 0 8 0 0 20 0 17 0 632646103 58904576 8444 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30227/tid=30239] ppid=30225 vsize=57524 CPUtime=0.08
/proc/30227/task/30239/stat : 30239 (satake) R 30225 30227 27791 0 -1 4202560 657 0 0 0 0 8 0 0 20 0 17 0 632646103 58904576 8445 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30227/tid=30240] ppid=30225 vsize=57524 CPUtime=0.06
/proc/30227/task/30240/stat : 30240 (satake) R 30225 30227 27791 0 -1 4202560 631 0 0 0 0 6 0 0 20 0 17 0 632646103 58904576 8445 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30241] ppid=30225 vsize=57524 CPUtime=0
/proc/30227/task/30241/stat : 30241 (satake) R 30225 30227 27791 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 17 0 632646103 58904576 8445 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30242] ppid=30225 vsize=57524 CPUtime=0.06
/proc/30227/task/30242/stat : 30242 (satake) R 30225 30227 27791 0 -1 4202560 724 0 0 0 0 6 0 0 20 0 17 0 632646103 58904576 8445 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 55476

[startup+0.303486 s]
/proc/loadavg: 4.84 4.67 5.57 2/184 30227
/proc/meminfo: memFree=19123168/36427776 swapFree=3720/7976
[pid=30227] ppid=30225 vsize=213172 CPUtime=2.86
/proc/30227/stat : 30227 (satake) S 30225 30227 27791 0 -1 4202496 37567 0 0 0 2 284 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30227/statm: 53293 37522 63 164 0 53128 0
[pid=30227/tid=30228] ppid=30225 vsize=213172 CPUtime=0
/proc/30227/task/30228/stat : 30228 (satake) S 30225 30227 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30229] ppid=30225 vsize=213172 CPUtime=0.2
/proc/30227/task/30229/stat : 30229 (satake) D 30225 30227 27791 0 -1 4202560 2480 0 0 0 0 20 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30227/tid=30230] ppid=30225 vsize=213172 CPUtime=0.24
/proc/30227/task/30230/stat : 30230 (satake) D 30225 30227 27791 0 -1 4202560 3098 0 0 0 0 24 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30231] ppid=30225 vsize=213172 CPUtime=0.24
/proc/30227/task/30231/stat : 30231 (satake) D 30225 30227 27791 0 -1 4202560 3366 0 0 0 0 24 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30227/tid=30232] ppid=30225 vsize=213172 CPUtime=0.24
/proc/30227/task/30232/stat : 30232 (satake) D 30225 30227 27791 0 -1 4202560 2580 0 0 0 0 24 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30227/tid=30233] ppid=30225 vsize=213172 CPUtime=0.22
/proc/30227/task/30233/stat : 30233 (satake) R 30225 30227 27791 0 -1 4202560 3051 0 0 0 0 22 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30227/tid=30234] ppid=30225 vsize=213172 CPUtime=0.14
/proc/30227/task/30234/stat : 30234 (satake) D 30225 30227 27791 0 -1 4202560 1513 0 0 0 0 14 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30235] ppid=30225 vsize=213172 CPUtime=0.14
/proc/30227/task/30235/stat : 30235 (satake) D 30225 30227 27791 0 -1 4202560 1395 0 0 0 0 14 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30236] ppid=30225 vsize=213172 CPUtime=0.1
/proc/30227/task/30236/stat : 30236 (satake) D 30225 30227 27791 0 -1 4202560 1255 0 0 0 0 10 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30237] ppid=30225 vsize=213172 CPUtime=0.1
/proc/30227/task/30237/stat : 30237 (satake) D 30225 30227 27791 0 -1 4202560 1301 0 0 0 0 10 0 0 20 0 17 0 632646102 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30238] ppid=30225 vsize=213172 CPUtime=0.24
/proc/30227/task/30238/stat : 30238 (satake) R 30225 30227 27791 0 -1 4202560 4114 0 0 0 0 24 0 0 20 0 17 0 632646103 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30227/tid=30239] ppid=30225 vsize=213172 CPUtime=0.24
/proc/30227/task/30239/stat : 30239 (satake) D 30225 30227 27791 0 -1 4202560 3081 0 0 0 0 24 0 0 20 0 17 0 632646103 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30227/tid=30240] ppid=30225 vsize=213172 CPUtime=0.14
/proc/30227/task/30240/stat : 30240 (satake) D 30225 30227 27791 0 -1 4202560 2066 0 0 0 0 14 0 0 20 0 17 0 632646103 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30241] ppid=30225 vsize=213172 CPUtime=0.08
/proc/30227/task/30241/stat : 30241 (satake) D 30225 30227 27791 0 -1 4202560 1566 0 0 0 0 8 0 0 20 0 17 0 632646103 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30242] ppid=30225 vsize=213172 CPUtime=0.24
/proc/30227/task/30242/stat : 30242 (satake) D 30225 30227 27791 0 -1 4202560 3058 0 0 0 0 24 0 0 20 0 17 0 632646103 218288128 37522 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 213172

[startup+0.703596 s]
/proc/loadavg: 4.84 4.67 5.57 2/184 30227
/proc/meminfo: memFree=19123168/36427776 swapFree=3720/7976
[pid=30227] ppid=30225 vsize=365060 CPUtime=6.61
/proc/30227/stat : 30227 (satake) S 30225 30227 27791 0 -1 4202496 67548 0 0 0 2 659 0 0 20 0 17 0 632646102 373821440 67503 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30227/statm: 91265 67511 63 164 0 91100 0
[pid=30227/tid=30228] ppid=30225 vsize=365060 CPUtime=0
/proc/30227/task/30228/stat : 30228 (satake) S 30225 30227 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632646102 373821440 67537 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30229] ppid=30225 vsize=365060 CPUtime=0.5
/proc/30227/task/30229/stat : 30229 (satake) R 30225 30227 27791 0 -1 4202560 4847 0 0 0 0 50 0 0 20 0 17 0 632646102 373821440 67558 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30227/tid=30230] ppid=30225 vsize=365060 CPUtime=0.54
/proc/30227/task/30230/stat : 30230 (satake) D 30225 30227 27791 0 -1 4202560 5627 0 0 0 0 54 0 0 20 0 17 0 632646102 373821440 67572 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30227/tid=30231] ppid=30225 vsize=365060 CPUtime=0.54
/proc/30227/task/30231/stat : 30231 (satake) D 30225 30227 27791 0 -1 4202560 5991 0 0 0 0 54 0 0 20 0 17 0 632646102 373821440 67572 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30227/tid=30232] ppid=30225 vsize=365060 CPUtime=0.54
/proc/30227/task/30232/stat : 30232 (satake) D 30225 30227 27791 0 -1 4202560 4883 0 0 0 0 54 0 0 20 0 17 0 632646102 373821440 67572 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30227/tid=30233] ppid=30225 vsize=365060 CPUtime=0.52
/proc/30227/task/30233/stat : 30233 (satake) R 30225 30227 27791 0 -1 4202560 5383 0 0 0 0 52 0 0 20 0 17 0 632646102 373821440 67573 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30227/tid=30234] ppid=30225 vsize=365060 CPUtime=0.32
/proc/30227/task/30234/stat : 30234 (satake) D 30225 30227 27791 0 -1 4202560 3055 0 0 0 0 32 0 0 20 0 17 0 632646102 373821440 67576 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30235] ppid=30225 vsize=365060 CPUtime=0.32
/proc/30227/task/30235/stat : 30235 (satake) R 30225 30227 27791 0 -1 4202560 2870 0 0 0 0 32 0 0 20 0 17 0 632646102 373821440 67577 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30236] ppid=30225 vsize=365060 CPUtime=0.24
/proc/30227/task/30236/stat : 30236 (satake) R 30225 30227 27791 0 -1 4202560 2309 0 0 0 0 24 0 0 20 0 17 0 632646102 373821440 67578 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30227/tid=30237] ppid=30225 vsize=365060 CPUtime=0.26
/proc/30227/task/30237/stat : 30237 (satake) D 30225 30227 27791 0 -1 4202560 2351 0 0 0 0 26 0 0 20 0 17 0 632646102 373821440 67579 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30227/tid=30238] ppid=30225 vsize=365060 CPUtime=0.56
/proc/30227/task/30238/stat : 30238 (satake) D 30225 30227 27791 0 -1 4202560 6260 0 0 0 0 56 0 0 20 0 17 0 632646103 373821440 67579 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30227/tid=30239] ppid=30225 vsize=365060 CPUtime=0.54
/proc/30227/task/30239/stat : 30239 (satake) R 30225 30227 27791 0 -1 4202560 5654 0 0 0 0 54 0 0 20 0 17 0 632646103 373821440 67579 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30227/tid=30240] ppid=30225 vsize=365060 CPUtime=0.32
/proc/30227/task/30240/stat : 30240 (satake) D 30225 30227 27791 0 -1 4202560 3554 0 0 0 0 32 0 0 20 0 17 0 632646103 373821440 67579 18446744073709551615 134512640 135180984 4288010304 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30227/tid=30241] ppid=30225 vsize=365060 CPUtime=0.24

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

deleting IPC queue 287768654
deleting IPC queue 287801423
deleting IPC queue 287834192
deleting IPC queue 287866961
deleting IPC queue 287899730
deleting IPC queue 287932499
deleting IPC queue 287965268
deleting IPC queue 287998037
deleting IPC queue 288030806
deleting IPC queue 288063575
deleting IPC queue 288096344
deleting IPC queue 288129113
deleting IPC queue 288161882
deleting IPC queue 288194651
deleting IPC queue 288227420
deleting IPC queue 288260189
deleting IPC queue 288292958
deleting IPC queue 288325727
deleting IPC queue 288358496
deleting IPC queue 288391265
deleting IPC queue 288424034
deleting IPC queue 288456803
deleting IPC queue 288489572
deleting IPC queue 288522341
deleting IPC queue 288555110
deleting IPC queue 288587879
deleting IPC queue 288620648
deleting IPC queue 288653417
deleting IPC queue 288686186
deleting IPC queue 288718955
deleting IPC queue 288751724
deleting IPC queue 288784493
deleting IPC queue 288817262
deleting IPC queue 288850031
deleting IPC queue 288882800
deleting IPC queue 288915569
deleting IPC queue 288948338
deleting IPC queue 288981107
deleting IPC queue 289013876
deleting IPC queue 289046645
deleting IPC queue 289079414
deleting IPC queue 289112183
deleting IPC queue 289144952
deleting IPC queue 289177721
deleting IPC queue 289210490
deleting IPC queue 289243259
deleting IPC queue 289276028
deleting IPC queue 289308797
deleting IPC queue 289341566
deleting IPC queue 289374335
deleting IPC queue 289407104
deleting IPC queue 289439873
deleting IPC queue 289472642
deleting IPC queue 289505411
deleting IPC queue 289538180
deleting IPC queue 289570949
deleting IPC queue 289603718
deleting IPC queue 289636487
deleting IPC queue 289669256
deleting IPC queue 289702025
deleting IPC queue 289734794
deleting IPC queue 289767563
deleting IPC queue 289800332
deleting IPC queue 289833101
deleting IPC queue 289865870
deleting IPC queue 289898639
deleting IPC queue 289931408
deleting IPC queue 289964177
deleting IPC queue 289996946
deleting IPC queue 290029715
deleting IPC queue 290062484
deleting IPC queue 290095253
deleting IPC queue 290128022
deleting IPC queue 290160791
deleting IPC queue 290193560
deleting IPC queue 290226329
deleting IPC queue 290259098
deleting IPC queue 290291867
deleting IPC queue 290324636
deleting IPC queue 290357405
deleting IPC queue 290390174
deleting IPC queue 290422943
deleting IPC queue 290455712
deleting IPC queue 290488481
deleting IPC queue 290521250
deleting IPC queue 290554019
deleting IPC queue 290586788
deleting IPC queue 290619557
deleting IPC queue 290652326
deleting IPC queue 290685095
deleting IPC queue 290717864
deleting IPC queue 290750633
deleting IPC queue 290783402
deleting IPC queue 290816171
deleting IPC queue 290848940
deleting IPC queue 290881709
deleting IPC queue 290914478
deleting IPC queue 290947247
deleting IPC queue 290980016
deleting IPC queue 291012785
deleting IPC queue 291045554
deleting IPC queue 291078323
deleting IPC queue 291111092
deleting IPC queue 291143861
deleting IPC queue 291176630
deleting IPC queue 291209399
deleting IPC queue 291242168
deleting IPC queue 291274937
deleting IPC queue 291307706
deleting IPC queue 291340475
deleting IPC queue 291373244
deleting IPC queue 291406013
deleting IPC queue 291438782
deleting IPC queue 291471551
deleting IPC queue 291504320
deleting IPC queue 291537089
deleting IPC queue 291569858
deleting IPC queue 291602627
deleting IPC queue 291635396
deleting IPC queue 291668165
deleting IPC queue 291700934
deleting IPC queue 291733703
deleting IPC queue 291766472
deleting IPC queue 291799241
deleting IPC queue 291832010
deleting IPC queue 291864779
deleting IPC queue 291897548
deleting IPC queue 291930317
deleting IPC queue 291963086
deleting IPC queue 291995855
deleting IPC queue 292028624
deleting IPC queue 292061393
deleting IPC queue 292094162
deleting IPC queue 292126931
deleting IPC queue 292159700
deleting IPC queue 292192469
deleting IPC queue 292225238
deleting IPC queue 292258007
deleting IPC queue 292290776
deleting IPC queue 292323545
deleting IPC queue 292356314
deleting IPC queue 292389083
deleting IPC queue 292421852
deleting IPC queue 292454621
deleting IPC queue 292487390
deleting IPC queue 292520159
deleting IPC queue 292552928
deleting IPC queue 292585697
deleting IPC queue 292618466
deleting IPC queue 292651235
deleting IPC queue 292684004
deleting IPC queue 292716773
deleting IPC queue 292749542
deleting IPC queue 292782311
deleting IPC queue 292815080
deleting IPC queue 292847849
deleting IPC queue 292880618
deleting IPC queue 292913387
deleting IPC queue 292946156
deleting IPC queue 292978925
deleting IPC queue 293011694
deleting IPC queue 293044463
deleting IPC queue 293077232
deleting IPC queue 293110001
deleting IPC queue 293142770
deleting IPC queue 293175539
deleting IPC queue 293208308
deleting IPC queue 293241077
deleting IPC queue 293273846
deleting IPC queue 293306615
deleting IPC queue 293339384
deleting IPC queue 293372153
deleting IPC queue 293404922
deleting IPC queue 293437691
deleting IPC queue 293470460
deleting IPC queue 293503229
deleting IPC queue 293535998
deleting IPC queue 293568767

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9116.4
system time used= 469.349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484453
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= 39294871
involuntary context switches= 8754051

runsolver used 4.7443 second user time and 13.6729 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 17:16:37
IDJOB=1776012
IDBENCH=20410
IDSOLVER=631
FILE ID=xenhost3-49/1776012-1244733397
PBS_JOBID=
Free space on /tmp= 7018 MiB

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

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

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED= 1202873323

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:      19123292 kB
Buffers:        432172 kB
Cached:       14122844 kB
SwapCached:          0 kB
Active:        4077436 kB
Inactive:     10486124 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           23536 kB
Writeback:           0 kB
AnonPages:        7868 kB
Mapped:           3708 kB
Slab:           687928 kB
SReclaimable:   661072 kB
SUnreclaim:      26856 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= 7018 MiB
End job on xenhost3-49 at 2009-06-11 17:33:20