Trace number 1779027

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
MD5SUM3022ff2a7ae31b29e9b784d8e848042f
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 variables365168
Number of clauses1093967
Sum of the clauses size2552587
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2729310
Number of clauses of size 3364655
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779027-1244777641/watcher-1779027-1244777641 -o /tmp/evaluation-result-1779027-1244777641/solver-1779027-1244777641 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779027-1244777641.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: 3.06 3.89 3.73 2/184 3373
/proc/meminfo: memFree=19118752/36427776 swapFree=3904/8392
[pid=3373] ppid=3371 vsize=6624 CPUtime=0
/proc/3373/stat : 3373 (satake) R 3371 3373 27791 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 13 0 637070481 6782976 279 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/3373/statm: 1656 282 63 164 0 1491 0
[pid=3373/tid=3374] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3374/stat : 3374 (satake) S 3371 3373 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 366 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3375] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3375/stat : 3375 (satake) R 3371 3373 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 370 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3376] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3376/stat : 3376 (satake) R 3371 3373 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 371 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3377] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3377/stat : 3377 (satake) R 3371 3373 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 372 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3378] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3378/stat : 3378 (satake) R 3371 3373 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 372 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3373/tid=3379] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3379/stat : 3379 (satake) S 3371 3373 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 373 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3380] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3380/stat : 3380 (satake) R 3371 3373 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 382 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3373/tid=3381] ppid=3371 vsize=7096 CPUtime=0
/proc/3373/task/3381/stat : 3381 (satake) S 3371 3373 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637070481 7266304 383 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3373/tid=3383] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3383/stat : 3383 (satake) S 3371 3373 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637070481 7270400 383 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3373/tid=3384] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3384/stat : 3384 (satake) D 3371 3373 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 637070481 7270400 387 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3385] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3385/stat : 3385 (satake) R 3371 3373 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 637070482 7270400 389 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3386] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3386/stat : 3386 (satake) R 3371 3373 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 637070482 7270400 390 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3373/tid=3387] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3387/stat : 3387 (satake) R 3371 3373 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 637070482 7270400 390 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3373/tid=3388] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3388/stat : 3388 (satake) R 3371 3373 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 637070482 7270400 390 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3389] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3389/stat : 3389 (satake) D 3371 3373 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 637070482 7270400 391 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3390] ppid=3371 vsize=7100 CPUtime=0
/proc/3373/task/3390/stat : 3390 (satake) R 3371 3373 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 637070482 7270400 392 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.041897 s]
/proc/loadavg: 3.06 3.89 3.73 2/184 3373
/proc/meminfo: memFree=19118752/36427776 swapFree=3904/8392
[pid=3373] ppid=3371 vsize=20968 CPUtime=0.19
/proc/3373/stat : 3373 (satake) S 3371 3373 27791 0 -1 4202496 3106 0 0 0 8 11 0 0 20 0 17 0 637070481 21471232 3060 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/3373/statm: 5274 3066 63 164 0 5109 0
[pid=3373/tid=3374] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3374/stat : 3374 (satake) S 3371 3373 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637070481 21602304 3068 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3375] ppid=3371 vsize=21096 CPUtime=0.02
/proc/3373/task/3375/stat : 3375 (satake) R 3371 3373 27791 0 -1 4202560 295 0 0 0 0 2 0 0 20 0 17 0 637070481 21602304 3069 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3376] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3376/stat : 3376 (satake) R 3371 3373 27791 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 17 0 637070481 21602304 3070 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3377] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3377/stat : 3377 (satake) R 3371 3373 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 637070481 21602304 3070 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3378] ppid=3371 vsize=21096 CPUtime=0.02
/proc/3373/task/3378/stat : 3378 (satake) R 3371 3373 27791 0 -1 4202560 315 0 0 0 0 2 0 0 20 0 17 0 637070481 21602304 3070 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3373/tid=3379] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3379/stat : 3379 (satake) R 3371 3373 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 637070481 21602304 3070 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3380] ppid=3371 vsize=21096 CPUtime=0.02
/proc/3373/task/3380/stat : 3380 (satake) R 3371 3373 27791 0 -1 4202560 309 0 0 0 0 2 0 0 20 0 17 0 637070481 21602304 3070 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3373/tid=3381] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3381/stat : 3381 (satake) R 3371 3373 27791 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 17 0 637070481 21602304 3070 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3373/tid=3383] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3383/stat : 3383 (satake) R 3371 3373 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 637070481 21602304 3074 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3373/tid=3384] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3384/stat : 3384 (satake) R 3371 3373 27791 0 -1 4202560 267 0 0 0 0 0 0 0 20 0 17 0 637070481 21602304 3076 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3385] ppid=3371 vsize=21096 CPUtime=0.02
/proc/3373/task/3385/stat : 3385 (satake) R 3371 3373 27791 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 17 0 637070482 21602304 3078 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3386] ppid=3371 vsize=21096 CPUtime=0.02
/proc/3373/task/3386/stat : 3386 (satake) R 3371 3373 27791 0 -1 4202560 249 0 0 0 2 0 0 0 20 0 17 0 637070482 21602304 3080 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3373/tid=3387] ppid=3371 vsize=21096 CPUtime=0.02
/proc/3373/task/3387/stat : 3387 (satake) R 3371 3373 27791 0 -1 4202560 259 0 0 0 2 0 0 0 20 0 17 0 637070482 21602304 3083 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3373/tid=3388] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3388/stat : 3388 (satake) R 3371 3373 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 637070482 21602304 3083 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3389] ppid=3371 vsize=21096 CPUtime=0
/proc/3373/task/3389/stat : 3389 (satake) R 3371 3373 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 637070482 21602304 3083 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3390] ppid=3371 vsize=21096 CPUtime=0.02
/proc/3373/task/3390/stat : 3390 (satake) D 3371 3373 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 637070482 21602304 3084 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20968

[startup+0.105976 s]
/proc/loadavg: 3.06 3.89 3.73 2/184 3373
/proc/meminfo: memFree=19118752/36427776 swapFree=3904/8392
[pid=3373] ppid=3371 vsize=80744 CPUtime=0.72
/proc/3373/stat : 3373 (satake) S 3371 3373 27791 0 -1 4202496 12050 0 0 0 9 63 0 0 20 0 17 0 637070481 82681856 12005 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/3373/statm: 20186 12007 63 164 0 20021 0
[pid=3373/tid=3374] ppid=3371 vsize=80744 CPUtime=0
/proc/3373/task/3374/stat : 3374 (satake) S 3371 3373 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637070481 82681856 12008 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3375] ppid=3371 vsize=80744 CPUtime=0.06
/proc/3373/task/3375/stat : 3375 (satake) R 3371 3373 27791 0 -1 4202560 1008 0 0 0 0 6 0 0 20 0 17 0 637070481 82681856 12008 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3376] ppid=3371 vsize=80744 CPUtime=0.02
/proc/3373/task/3376/stat : 3376 (satake) R 3371 3373 27791 0 -1 4202560 497 0 0 0 0 2 0 0 20 0 17 0 637070481 82681856 12008 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3377] ppid=3371 vsize=80744 CPUtime=0.04
/proc/3373/task/3377/stat : 3377 (satake) R 3371 3373 27791 0 -1 4202560 547 0 0 0 0 4 0 0 20 0 17 0 637070481 82681856 12008 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3378] ppid=3371 vsize=80744 CPUtime=0.06
/proc/3373/task/3378/stat : 3378 (satake) R 3371 3373 27791 0 -1 4202560 984 0 0 0 0 6 0 0 20 0 17 0 637070481 82681856 12008 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3373/tid=3379] ppid=3371 vsize=80744 CPUtime=0
/proc/3373/task/3379/stat : 3379 (satake) R 3371 3373 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 637070481 82681856 12008 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3380] ppid=3371 vsize=80744 CPUtime=0.06
/proc/3373/task/3380/stat : 3380 (satake) R 3371 3373 27791 0 -1 4202560 1111 0 0 0 0 6 0 0 20 0 17 0 637070481 82681856 12009 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3373/tid=3381] ppid=3371 vsize=80744 CPUtime=0.06
/proc/3373/task/3381/stat : 3381 (satake) R 3371 3373 27791 0 -1 4202560 889 0 0 0 0 6 0 0 20 0 17 0 637070481 82681856 12011 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3373/tid=3383] ppid=3371 vsize=80744 CPUtime=0.04
/proc/3373/task/3383/stat : 3383 (satake) R 3371 3373 27791 0 -1 4202560 728 0 0 0 0 4 0 0 20 0 17 0 637070481 82681856 12014 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3373/tid=3384] ppid=3371 vsize=80744 CPUtime=0.02
/proc/3373/task/3384/stat : 3384 (satake) R 3371 3373 27791 0 -1 4202560 598 0 0 0 0 2 0 0 20 0 17 0 637070481 82681856 12015 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3385] ppid=3371 vsize=80744 CPUtime=0.04
/proc/3373/task/3385/stat : 3385 (satake) R 3371 3373 27791 0 -1 4202560 1045 0 0 0 2 2 0 0 20 0 17 0 637070482 82681856 12027 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3386] ppid=3371 vsize=80744 CPUtime=0.06
/proc/3373/task/3386/stat : 3386 (satake) R 3371 3373 27791 0 -1 4202560 1046 0 0 0 2 4 0 0 20 0 17 0 637070482 82681856 12053 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3373/tid=3387] ppid=3371 vsize=80744 CPUtime=0.06
/proc/3373/task/3387/stat : 3387 (satake) R 3371 3373 27791 0 -1 4202560 1070 0 0 0 2 4 0 0 20 0 17 0 637070482 82681856 12089 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3373/tid=3388] ppid=3371 vsize=80744 CPUtime=0
/proc/3373/task/3388/stat : 3388 (satake) R 3371 3373 27791 0 -1 4202560 323 0 0 0 0 0 0 0 20 0 17 0 637070482 82681856 12129 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3389] ppid=3371 vsize=80744 CPUtime=0.04
/proc/3373/task/3389/stat : 3389 (satake) R 3371 3373 27791 0 -1 4202560 781 0 0 0 0 4 0 0 20 0 17 0 637070482 82681856 12157 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3390] ppid=3371 vsize=80744 CPUtime=0.06
/proc/3373/task/3390/stat : 3390 (satake) R 3371 3373 27791 0 -1 4202560 1220 0 0 0 0 6 0 0 20 0 17 0 637070482 82681856 12182 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 80744

[startup+0.305864 s]
/proc/loadavg: 3.06 3.89 3.73 2/184 3373
/proc/meminfo: memFree=19118752/36427776 swapFree=3904/8392
[pid=3373] ppid=3371 vsize=321448 CPUtime=2.64
/proc/3373/stat : 3373 (satake) S 3371 3373 27791 0 -1 4202496 49187 0 0 0 9 255 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/3373/statm: 80362 49142 63 164 0 80197 0
[pid=3373/tid=3374] ppid=3371 vsize=321448 CPUtime=0
/proc/3373/task/3374/stat : 3374 (satake) S 3371 3373 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3375] ppid=3371 vsize=321448 CPUtime=0.14
/proc/3373/task/3375/stat : 3375 (satake) D 3371 3373 27791 0 -1 4202560 2521 0 0 0 0 14 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3376] ppid=3371 vsize=321448 CPUtime=0.14
/proc/3373/task/3376/stat : 3376 (satake) D 3371 3373 27791 0 -1 4202560 2433 0 0 0 0 14 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3377] ppid=3371 vsize=321448 CPUtime=0.14
/proc/3373/task/3377/stat : 3377 (satake) R 3371 3373 27791 0 -1 4202560 2303 0 0 0 0 14 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3373/tid=3378] ppid=3371 vsize=321448 CPUtime=0.24
/proc/3373/task/3378/stat : 3378 (satake) D 3371 3373 27791 0 -1 4202560 4874 0 0 0 0 24 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3373/tid=3379] ppid=3371 vsize=321448 CPUtime=0.1
/proc/3373/task/3379/stat : 3379 (satake) D 3371 3373 27791 0 -1 4202560 1677 0 0 0 0 10 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3380] ppid=3371 vsize=321448 CPUtime=0.24
/proc/3373/task/3380/stat : 3380 (satake) D 3371 3373 27791 0 -1 4202560 4511 0 0 0 0 24 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3373/tid=3381] ppid=3371 vsize=321448 CPUtime=0.22
/proc/3373/task/3381/stat : 3381 (satake) D 3371 3373 27791 0 -1 4202560 3863 0 0 0 0 22 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3373/tid=3383] ppid=3371 vsize=321448 CPUtime=0.2
/proc/3373/task/3383/stat : 3383 (satake) D 3371 3373 27791 0 -1 4202560 4680 0 0 0 0 20 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3373/tid=3384] ppid=3371 vsize=321448 CPUtime=0.1
/proc/3373/task/3384/stat : 3384 (satake) D 3371 3373 27791 0 -1 4202560 2111 0 0 0 0 10 0 0 20 0 17 0 637070481 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3385] ppid=3371 vsize=321448 CPUtime=0.14
/proc/3373/task/3385/stat : 3385 (satake) D 3371 3373 27791 0 -1 4202560 2274 0 0 0 2 12 0 0 20 0 17 0 637070482 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3386] ppid=3371 vsize=321448 CPUtime=0.22
/proc/3373/task/3386/stat : 3386 (satake) D 3371 3373 27791 0 -1 4202560 4495 0 0 0 2 20 0 0 20 0 17 0 637070482 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3373/tid=3387] ppid=3371 vsize=321448 CPUtime=0.22
/proc/3373/task/3387/stat : 3387 (satake) D 3371 3373 27791 0 -1 4202560 4274 0 0 0 2 20 0 0 20 0 17 0 637070482 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3373/tid=3388] ppid=3371 vsize=321448 CPUtime=0.1
/proc/3373/task/3388/stat : 3388 (satake) D 3371 3373 27791 0 -1 4202560 1885 0 0 0 0 10 0 0 20 0 17 0 637070482 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3373/tid=3389] ppid=3371 vsize=321448 CPUtime=0.12
/proc/3373/task/3389/stat : 3389 (satake) D 3371 3373 27791 0 -1 4202560 2100 0 0 0 0 12 0 0 20 0 17 0 637070482 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3373/tid=3390] ppid=3371 vsize=321448 CPUtime=0.22
/proc/3373/task/3390/stat : 3390 (satake) D 3371 3373 27791 0 -1 4202560 5054 0 0 0 0 22 0 0 20 0 17 0 637070482 329162752 49142 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 321448

[startup+0.705097 s]
/proc/loadavg: 3.06 3.89 3.73 2/184 3373
/proc/meminfo: memFree=19118752/36427776 swapFree=3904/8392
[pid=3373] ppid=3371 vsize=350388 CPUtime=5.4
/proc/3373/stat : 3373 (satake) S 3371 3373 27791 0 -1 4202496 73973 0 0 0 12 528 0 0 20 0 17 0 637070481 358797312 73930 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/3373/statm: 87597 73932 63 164 0 87432 0
[pid=3373/tid=3374] ppid=3371 vsize=350388 CPUtime=0
/proc/3373/task/3374/stat : 3374 (satake) S 3371 3373 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3375] ppid=3371 vsize=350388 CPUtime=0.28
/proc/3373/task/3375/stat : 3375 (satake) D 3371 3373 27791 0 -1 4202560 4502 0 0 0 0 28 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3376] ppid=3371 vsize=350388 CPUtime=0.38
/proc/3373/task/3376/stat : 3376 (satake) D 3371 3373 27791 0 -1 4202560 5096 0 0 0 0 38 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3373/tid=3377] ppid=3371 vsize=350388 CPUtime=0.38
/proc/3373/task/3377/stat : 3377 (satake) R 3371 3373 27791 0 -1 4202560 5147 0 0 0 0 38 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3373/tid=3378] ppid=3371 vsize=350388 CPUtime=0.46
/proc/3373/task/3378/stat : 3378 (satake) S 3371 3373 27791 0 -1 4202560 5682 0 0 0 0 46 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=3373/tid=3379] ppid=3371 vsize=350388 CPUtime=0.24
/proc/3373/task/3379/stat : 3379 (satake) D 3371 3373 27791 0 -1 4202560 3606 0 0 0 0 24 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3373/tid=3380] ppid=3371 vsize=350388 CPUtime=0.4
/proc/3373/task/3380/stat : 3380 (satake) S 3371 3373 27791 0 -1 4202560 5345 0 0 0 0 40 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3373/tid=3381] ppid=3371 vsize=350388 CPUtime=0.42
/proc/3373/task/3381/stat : 3381 (satake) S 3371 3373 27791 0 -1 4202560 5305 0 0 0 0 42 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3373/tid=3383] ppid=3371 vsize=350388 CPUtime=0.42
/proc/3373/task/3383/stat : 3383 (satake) D 3371 3373 27791 0 -1 4202560 5594 0 0 0 0 42 0 0 20 0 17 0 637070481 358797312 73932 18446744073709551615 134512640 135180984 4293199152 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3373/tid=3384] ppid=3371 vsize=350388 CPUtime=0.26

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

deleting IPC queue 1017577550
deleting IPC queue 1017610319
deleting IPC queue 1017643088
deleting IPC queue 1017675857
deleting IPC queue 1017708626
deleting IPC queue 1017741395
deleting IPC queue 1017774164
deleting IPC queue 1017806933
deleting IPC queue 1017839702
deleting IPC queue 1017872471
deleting IPC queue 1017905240
deleting IPC queue 1017938009
deleting IPC queue 1017970778
deleting IPC queue 1018003547
deleting IPC queue 1018036316
deleting IPC queue 1018069085
deleting IPC queue 1018101854
deleting IPC queue 1018134623
deleting IPC queue 1018167392
deleting IPC queue 1018200161
deleting IPC queue 1018232930
deleting IPC queue 1018265699
deleting IPC queue 1018298468
deleting IPC queue 1018331237
deleting IPC queue 1018364006
deleting IPC queue 1018396775
deleting IPC queue 1018429544
deleting IPC queue 1018462313
deleting IPC queue 1018495082
deleting IPC queue 1018527851
deleting IPC queue 1018560620
deleting IPC queue 1018593389
deleting IPC queue 1018626158
deleting IPC queue 1018658927
deleting IPC queue 1018691696
deleting IPC queue 1018724465
deleting IPC queue 1018757234
deleting IPC queue 1018790003
deleting IPC queue 1018822772
deleting IPC queue 1018855541
deleting IPC queue 1018888310
deleting IPC queue 1018921079
deleting IPC queue 1018953848
deleting IPC queue 1018986617
deleting IPC queue 1019019386
deleting IPC queue 1019052155
deleting IPC queue 1019084924
deleting IPC queue 1019117693
deleting IPC queue 1019150462
deleting IPC queue 1019183231
deleting IPC queue 1019216000
deleting IPC queue 1019248769
deleting IPC queue 1019281538
deleting IPC queue 1019314307
deleting IPC queue 1019347076
deleting IPC queue 1019379845
deleting IPC queue 1019412614
deleting IPC queue 1019445383
deleting IPC queue 1019478152
deleting IPC queue 1019510921
deleting IPC queue 1019543690
deleting IPC queue 1019576459
deleting IPC queue 1019609228
deleting IPC queue 1019641997
deleting IPC queue 1019674766
deleting IPC queue 1019707535
deleting IPC queue 1019740304
deleting IPC queue 1019773073
deleting IPC queue 1019805842
deleting IPC queue 1019838611
deleting IPC queue 1019871380
deleting IPC queue 1019904149
deleting IPC queue 1019936918
deleting IPC queue 1019969687
deleting IPC queue 1020002456
deleting IPC queue 1020035225
deleting IPC queue 1020067994
deleting IPC queue 1020100763
deleting IPC queue 1020133532
deleting IPC queue 1020166301
deleting IPC queue 1020199070
deleting IPC queue 1020231839
deleting IPC queue 1020264608
deleting IPC queue 1020297377
deleting IPC queue 1020330146
deleting IPC queue 1020362915
deleting IPC queue 1020395684
deleting IPC queue 1020428453
deleting IPC queue 1020461222
deleting IPC queue 1020493991
deleting IPC queue 1020526760
deleting IPC queue 1020559529
deleting IPC queue 1020592298
deleting IPC queue 1020625067
deleting IPC queue 1020657836
deleting IPC queue 1020690605
deleting IPC queue 1020723374
deleting IPC queue 1020756143
deleting IPC queue 1020788912
deleting IPC queue 1020821681
deleting IPC queue 1020854450
deleting IPC queue 1020887219
deleting IPC queue 1020919988
deleting IPC queue 1020952757
deleting IPC queue 1020985526
deleting IPC queue 1021018295
deleting IPC queue 1021051064
deleting IPC queue 1021083833
deleting IPC queue 1021116602
deleting IPC queue 1021149371
deleting IPC queue 1021182140
deleting IPC queue 1021214909
deleting IPC queue 1021247678
deleting IPC queue 1021280447
deleting IPC queue 1021313216
deleting IPC queue 1021345985
deleting IPC queue 1021378754
deleting IPC queue 1021411523
deleting IPC queue 1021444292
deleting IPC queue 1021477061
deleting IPC queue 1021509830
deleting IPC queue 1021542599
deleting IPC queue 1021575368
deleting IPC queue 1021608137
deleting IPC queue 1021640906
deleting IPC queue 1021673675
deleting IPC queue 1021706444
deleting IPC queue 1021739213
deleting IPC queue 1021771982
deleting IPC queue 1021804751
deleting IPC queue 1021837520
deleting IPC queue 1021870289
deleting IPC queue 1021903058
deleting IPC queue 1021935827
deleting IPC queue 1021968596
deleting IPC queue 1022001365
deleting IPC queue 1022034134
deleting IPC queue 1022066903
deleting IPC queue 1022099672
deleting IPC queue 1022132441
deleting IPC queue 1022165210
deleting IPC queue 1022197979
deleting IPC queue 1022230748
deleting IPC queue 1022263517
deleting IPC queue 1022296286
deleting IPC queue 1022329055
deleting IPC queue 1022361824
deleting IPC queue 1022394593
deleting IPC queue 1022427362
deleting IPC queue 1022460131
deleting IPC queue 1022492900
deleting IPC queue 1022525669
deleting IPC queue 1022558438
deleting IPC queue 1022591207
deleting IPC queue 1022623976
deleting IPC queue 1022656745
deleting IPC queue 1022689514
deleting IPC queue 1022722283
deleting IPC queue 1022755052
deleting IPC queue 1022787821
deleting IPC queue 1022820590
deleting IPC queue 1022853359
deleting IPC queue 1022886128
deleting IPC queue 1022918897
deleting IPC queue 1022951666
deleting IPC queue 1022984435
deleting IPC queue 1023017204
deleting IPC queue 1023049973
deleting IPC queue 1023082742
deleting IPC queue 1023115511
deleting IPC queue 1023148280
deleting IPC queue 1023181049
deleting IPC queue 1023213818
deleting IPC queue 1023246587
deleting IPC queue 1023279356
deleting IPC queue 1023312125
deleting IPC queue 1023344894
deleting IPC queue 1023377663

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5361.01
system time used= 481.186
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545845
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= 43491382
involuntary context switches= 3939164

runsolver used 4.06425 second user time and 12.2288 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 05:34:01
IDJOB=1779027
IDBENCH=70794
IDSOLVER=631
FILE ID=xenhost3-49/1779027-1244777641
PBS_JOBID=
Free space on /tmp= 7017 MiB

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

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

MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED= 480925994

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:      19118752 kB
Buffers:        433708 kB
Cached:       14123352 kB
SwapCached:          0 kB
Active:        4078988 kB
Inactive:     10487052 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           20692 kB
Writeback:           0 kB
AnonPages:        8392 kB
Mapped:           3904 kB
Slab:           688756 kB
SReclaimable:   661856 kB
SUnreclaim:      26900 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7017 MiB
End job on xenhost3-49 at 2009-06-12 05:49:38