Trace number 1778802

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) 8745.41 963.394

General information on the benchmark

NameAPPLICATIONS/
bitverif/minxor/minxor128.cnf
MD5SUM10b48467ea3d951975cb9264f0b654fe
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark630.94
Satisfiable
(Un)Satisfiability was proved
Number of variables54258
Number of clauses160469
Sum of the clauses size374425
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2106978
Number of clauses of size 353489
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-1778802-1244767790/watcher-1778802-1244767790 -o /tmp/evaluation-result-1778802-1244767790/solver-1778802-1244767790 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778802-1244767790.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: 13.91 12.48 8.81 2/184 2361
/proc/meminfo: memFree=19140636/36427776 swapFree=3464/7344
[pid=2361] ppid=2359 vsize=5976 CPUtime=0
/proc/2361/stat : 2361 (satake) D 2359 2361 27791 0 -1 4202496 436 0 0 0 0 0 0 0 20 0 13 0 636085359 6119424 394 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/2361/statm: 1494 394 63 164 0 1329 0
[pid=2361/tid=2362] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2362/stat : 2362 (satake) S 2359 2361 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 736 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2363] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2363/stat : 2363 (satake) R 2359 2361 27791 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 741 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2364] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2364/stat : 2364 (satake) R 2359 2361 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 741 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2365] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2365/stat : 2365 (satake) S 2359 2361 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 743 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2366] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2366/stat : 2366 (satake) R 2359 2361 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 744 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2367] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2367/stat : 2367 (satake) S 2359 2361 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 747 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2368] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2368/stat : 2368 (satake) D 2359 2361 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 748 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2369] ppid=2359 vsize=8004 CPUtime=0
/proc/2361/task/2369/stat : 2369 (satake) D 2359 2361 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 636085360 8196096 748 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2370] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2370/stat : 2370 (satake) D 2359 2361 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 749 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2371] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2371/stat : 2371 (satake) R 2359 2361 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 754 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2361/tid=2372] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2372/stat : 2372 (satake) S 2359 2361 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 754 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2361/tid=2373] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2373/stat : 2373 (satake) R 2359 2361 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 754 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2374] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2374/stat : 2374 (satake) S 2359 2361 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 756 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2375] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2375/stat : 2375 (satake) S 2359 2361 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 760 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2376] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2376/stat : 2376 (satake) R 2359 2361 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 760 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2377] ppid=2359 vsize=8132 CPUtime=0
/proc/2361/task/2377/stat : 2377 (satake) D 2359 2361 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 636085360 8327168 760 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

[startup+0.022588 s]
/proc/loadavg: 13.91 12.48 8.81 2/184 2361
/proc/meminfo: memFree=19140636/36427776 swapFree=3464/7344
[pid=2361] ppid=2359 vsize=13336 CPUtime=0
/proc/2361/stat : 2361 (satake) S 2359 2361 27791 0 -1 4202496 1837 0 0 0 0 0 0 0 20 0 17 0 636085359 13656064 1778 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/2361/statm: 3334 1778 63 164 0 3169 0
[pid=2361/tid=2362] ppid=2359 vsize=13336 CPUtime=0
/proc/2361/task/2362/stat : 2362 (satake) S 2359 2361 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 636085360 13656064 1778 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2363] ppid=2359 vsize=13336 CPUtime=0
/proc/2361/task/2363/stat : 2363 (satake) R 2359 2361 27791 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 17 0 636085360 13656064 1778 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2364] ppid=2359 vsize=13336 CPUtime=0
/proc/2361/task/2364/stat : 2364 (satake) D 2359 2361 27791 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 17 0 636085360 13656064 1784 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2365] ppid=2359 vsize=13336 CPUtime=0
/proc/2361/task/2365/stat : 2365 (satake) D 2359 2361 27791 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 17 0 636085360 13656064 1784 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2366] ppid=2359 vsize=13336 CPUtime=0
/proc/2361/task/2366/stat : 2366 (satake) D 2359 2361 27791 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 17 0 636085360 13656064 1784 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2367] ppid=2359 vsize=13336 CPUtime=0
/proc/2361/task/2367/stat : 2367 (satake) D 2359 2361 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 636085360 13656064 1784 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2361/tid=2368] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2368/stat : 2368 (satake) D 2359 2361 27791 0 -1 4202560 204 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1784 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2369] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2369/stat : 2369 (satake) D 2359 2361 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1787 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2370] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2370/stat : 2370 (satake) D 2359 2361 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1791 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2371] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2371/stat : 2371 (satake) R 2359 2361 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1792 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2361/tid=2372] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2372/stat : 2372 (satake) R 2359 2361 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1792 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=2361/tid=2373] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2373/stat : 2373 (satake) R 2359 2361 27791 0 -1 4202560 118 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1792 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2374] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2374/stat : 2374 (satake) R 2359 2361 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1792 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2375] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2375/stat : 2375 (satake) D 2359 2361 27791 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1796 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2376] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2376/stat : 2376 (satake) D 2359 2361 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1796 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2361/tid=2377] ppid=2359 vsize=13592 CPUtime=0
/proc/2361/task/2377/stat : 2377 (satake) D 2359 2361 27791 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 17 0 636085360 13918208 1796 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13336

[startup+0.106644 s]
/proc/loadavg: 13.91 12.48 8.81 2/184 2361
/proc/meminfo: memFree=19140636/36427776 swapFree=3464/7344
[pid=2361] ppid=2359 vsize=51352 CPUtime=0.48
/proc/2361/stat : 2361 (satake) S 2359 2361 27791 0 -1 4202496 9967 0 0 0 0 48 0 0 20 0 17 0 636085359 52584448 9908 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/2361/statm: 12838 9913 63 164 0 12673 0
[pid=2361/tid=2362] ppid=2359 vsize=51352 CPUtime=0
/proc/2361/task/2362/stat : 2362 (satake) S 2359 2361 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 636085360 52584448 9913 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2363] ppid=2359 vsize=51352 CPUtime=0.04
/proc/2361/task/2363/stat : 2363 (satake) S 2359 2361 27791 0 -1 4202560 724 0 0 0 0 4 0 0 20 0 17 0 636085360 52584448 9913 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2364] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2364/stat : 2364 (satake) R 2359 2361 27791 0 -1 4202560 689 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9914 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2365] ppid=2359 vsize=51352 CPUtime=0.04
/proc/2361/task/2365/stat : 2365 (satake) S 2359 2361 27791 0 -1 4202560 759 0 0 0 0 4 0 0 20 0 17 0 636085360 52584448 9916 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2366] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2366/stat : 2366 (satake) R 2359 2361 27791 0 -1 4202560 686 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9917 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2367] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2367/stat : 2367 (satake) R 2359 2361 27791 0 -1 4202560 703 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9920 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2361/tid=2368] ppid=2359 vsize=51352 CPUtime=0.04
/proc/2361/task/2368/stat : 2368 (satake) S 2359 2361 27791 0 -1 4202560 713 0 0 0 0 4 0 0 20 0 17 0 636085360 52584448 9921 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2369] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2369/stat : 2369 (satake) D 2359 2361 27791 0 -1 4202560 451 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9922 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2370] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2370/stat : 2370 (satake) D 2359 2361 27791 0 -1 4202560 440 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9922 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2371] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2371/stat : 2371 (satake) R 2359 2361 27791 0 -1 4202560 645 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9924 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2361/tid=2372] ppid=2359 vsize=51352 CPUtime=0.04
/proc/2361/task/2372/stat : 2372 (satake) S 2359 2361 27791 0 -1 4202560 710 0 0 0 0 4 0 0 20 0 17 0 636085360 52584448 9926 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2361/tid=2373] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2373/stat : 2373 (satake) R 2359 2361 27791 0 -1 4202560 540 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9926 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2374] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2374/stat : 2374 (satake) R 2359 2361 27791 0 -1 4202560 702 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9929 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2375] ppid=2359 vsize=51352 CPUtime=0.02
/proc/2361/task/2375/stat : 2375 (satake) D 2359 2361 27791 0 -1 4202560 638 0 0 0 0 2 0 0 20 0 17 0 636085360 52584448 9929 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2376] ppid=2359 vsize=51352 CPUtime=0.04
/proc/2361/task/2376/stat : 2376 (satake) S 2359 2361 27791 0 -1 4202560 709 0 0 0 0 4 0 0 20 0 17 0 636085360 52584448 9929 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2361/tid=2377] ppid=2359 vsize=51352 CPUtime=0.04
/proc/2361/task/2377/stat : 2377 (satake) D 2359 2361 27791 0 -1 4202560 743 0 0 0 0 4 0 0 20 0 17 0 636085360 52584448 9932 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 51352

[startup+0.30272 s]
/proc/loadavg: 13.91 12.48 8.81 2/184 2361
/proc/meminfo: memFree=19140636/36427776 swapFree=3464/7344
[pid=2361] ppid=2359 vsize=84500 CPUtime=1.27
/proc/2361/stat : 2361 (satake) S 2359 2361 27791 0 -1 4202496 17755 0 0 0 26 101 0 0 20 0 17 0 636085359 86528000 17696 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/2361/statm: 21125 17697 63 164 0 20960 0
[pid=2361/tid=2362] ppid=2359 vsize=84500 CPUtime=0
/proc/2361/task/2362/stat : 2362 (satake) S 2359 2361 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 636085360 86528000 17698 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2363] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2363/stat : 2363 (satake) R 2359 2361 27791 0 -1 4202560 1221 0 0 0 4 4 0 0 20 0 17 0 636085360 86528000 17704 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2364] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2364/stat : 2364 (satake) R 2359 2361 27791 0 -1 4202560 1188 0 0 0 0 8 0 0 20 0 17 0 636085360 86528000 17705 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2365] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2365/stat : 2365 (satake) R 2359 2361 27791 0 -1 4202560 1262 0 0 0 0 8 0 0 20 0 17 0 636085360 86528000 17708 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2366] ppid=2359 vsize=84500 CPUtime=0.06
/proc/2361/task/2366/stat : 2366 (satake) D 2359 2361 27791 0 -1 4202560 1066 0 0 0 2 4 0 0 20 0 17 0 636085360 86528000 17708 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2367] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2367/stat : 2367 (satake) R 2359 2361 27791 0 -1 4202560 1205 0 0 0 2 6 0 0 20 0 17 0 636085360 86528000 17708 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2361/tid=2368] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2368/stat : 2368 (satake) R 2359 2361 27791 0 -1 4202560 1114 0 0 0 4 4 0 0 20 0 17 0 636085360 86528000 17708 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2369] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2369/stat : 2369 (satake) S 2359 2361 27791 0 -1 4202560 1192 0 0 0 2 6 0 0 20 0 17 0 636085360 86528000 17708 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=2361/tid=2370] ppid=2359 vsize=84500 CPUtime=0.06
/proc/2361/task/2370/stat : 2370 (satake) R 2359 2361 27791 0 -1 4202560 1028 0 0 0 0 6 0 0 20 0 17 0 636085360 86528000 17708 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2371] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2371/stat : 2371 (satake) D 2359 2361 27791 0 -1 4202560 1184 0 0 0 0 8 0 0 20 0 17 0 636085360 86528000 17710 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2372] ppid=2359 vsize=84500 CPUtime=0.1
/proc/2361/task/2372/stat : 2372 (satake) R 2359 2361 27791 0 -1 4202560 1291 0 0 0 0 10 0 0 20 0 17 0 636085360 86528000 17710 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=2361/tid=2373] ppid=2359 vsize=84500 CPUtime=0.06
/proc/2361/task/2373/stat : 2373 (satake) R 2359 2361 27791 0 -1 4202560 1041 0 0 0 2 4 0 0 20 0 17 0 636085360 86528000 17710 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2374] ppid=2359 vsize=84500 CPUtime=0.08
/proc/2361/task/2374/stat : 2374 (satake) D 2359 2361 27791 0 -1 4202560 1136 0 0 0 4 4 0 0 20 0 17 0 636085360 86528000 17710 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2375] ppid=2359 vsize=84500 CPUtime=0.06
/proc/2361/task/2375/stat : 2375 (satake) S 2359 2361 27791 0 -1 4202560 1163 0 0 0 0 6 0 0 20 0 17 0 636085360 86528000 17712 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=2361/tid=2376] ppid=2359 vsize=84500 CPUtime=0.12
/proc/2361/task/2376/stat : 2376 (satake) S 2359 2361 27791 0 -1 4202560 1230 0 0 0 4 8 0 0 20 0 17 0 636085360 86528000 17712 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2361/tid=2377] ppid=2359 vsize=84500 CPUtime=0.1
/proc/2361/task/2377/stat : 2377 (satake) S 2359 2361 27791 0 -1 4202560 1315 0 0 0 2 8 0 0 20 0 17 0 636085360 86528000 17716 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 84500

[startup+0.702632 s]
/proc/loadavg: 13.91 12.48 8.81 2/184 2361
/proc/meminfo: memFree=19140636/36427776 swapFree=3464/7344
[pid=2361] ppid=2359 vsize=134700 CPUtime=2.65
/proc/2361/stat : 2361 (satake) S 2359 2361 27791 0 -1 4202496 29108 0 0 0 105 160 0 0 20 0 17 0 636085359 137932800 29049 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/2361/statm: 33675 29054 63 164 0 33510 0
[pid=2361/tid=2362] ppid=2359 vsize=134700 CPUtime=0
/proc/2361/task/2362/stat : 2362 (satake) S 2359 2361 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 636085360 137932800 29057 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2363] ppid=2359 vsize=134700 CPUtime=0.18
/proc/2361/task/2363/stat : 2363 (satake) R 2359 2361 27791 0 -1 4202560 1985 0 0 0 10 8 0 0 20 0 17 0 636085360 137932800 29057 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2364] ppid=2359 vsize=134700 CPUtime=0.18
/proc/2361/task/2364/stat : 2364 (satake) S 2359 2361 27791 0 -1 4202560 1956 0 0 0 6 12 0 0 20 0 17 0 636085360 137932800 29057 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=2361/tid=2365] ppid=2359 vsize=134700 CPUtime=0.18
/proc/2361/task/2365/stat : 2365 (satake) D 2359 2361 27791 0 -1 4202560 2054 0 0 0 4 14 0 0 20 0 17 0 636085360 137932800 29058 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2361/tid=2366] ppid=2359 vsize=134700 CPUtime=0.16
/proc/2361/task/2366/stat : 2366 (satake) D 2359 2361 27791 0 -1 4202560 1746 0 0 0 8 8 0 0 20 0 17 0 636085360 137932800 29058 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2361/tid=2367] ppid=2359 vsize=134700 CPUtime=0.18
/proc/2361/task/2367/stat : 2367 (satake) S 2359 2361 27791 0 -1 4202560 2034 0 0 0 8 10 0 0 20 0 17 0 636085360 137932800 29058 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=2361/tid=2368] ppid=2359 vsize=134700 CPUtime=0.16
/proc/2361/task/2368/stat : 2368 (satake) S 2359 2361 27791 0 -1 4202560 1798 0 0 0 6 10 0 0 20 0 17 0 636085360 137932800 29059 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2361/tid=2369] ppid=2359 vsize=134700 CPUtime=0.16
/proc/2361/task/2369/stat : 2369 (satake) D 2359 2361 27791 0 -1 4202560 1948 0 0 0 8 8 0 0 20 0 17 0 636085360 137932800 29059 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2370] ppid=2359 vsize=134700 CPUtime=0.14
/proc/2361/task/2370/stat : 2370 (satake) S 2359 2361 27791 0 -1 4202560 1755 0 0 0 6 8 0 0 20 0 17 0 636085360 137932800 29059 18446744073709551615 134512640 135180984 4292605088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=2361/tid=2371] ppid=2359 vsize=134700 CPUtime=0.16

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

deleting IPC queue 891748430
deleting IPC queue 891781199
deleting IPC queue 891813968
deleting IPC queue 891846737
deleting IPC queue 891879506
deleting IPC queue 891912275
deleting IPC queue 891945044
deleting IPC queue 891977813
deleting IPC queue 892010582
deleting IPC queue 892043351
deleting IPC queue 892076120
deleting IPC queue 892108889
deleting IPC queue 892141658
deleting IPC queue 892174427
deleting IPC queue 892207196
deleting IPC queue 892239965
deleting IPC queue 892272734
deleting IPC queue 892305503
deleting IPC queue 892338272
deleting IPC queue 892371041
deleting IPC queue 892403810
deleting IPC queue 892436579
deleting IPC queue 892469348
deleting IPC queue 892502117
deleting IPC queue 892534886
deleting IPC queue 892567655
deleting IPC queue 892600424
deleting IPC queue 892633193
deleting IPC queue 892665962
deleting IPC queue 892698731
deleting IPC queue 892731500
deleting IPC queue 892764269
deleting IPC queue 892797038
deleting IPC queue 892829807
deleting IPC queue 892862576
deleting IPC queue 892895345
deleting IPC queue 892928114
deleting IPC queue 892960883
deleting IPC queue 892993652
deleting IPC queue 893026421
deleting IPC queue 893059190
deleting IPC queue 893091959
deleting IPC queue 893124728
deleting IPC queue 893157497
deleting IPC queue 893190266
deleting IPC queue 893223035
deleting IPC queue 893255804
deleting IPC queue 893288573
deleting IPC queue 893321342
deleting IPC queue 893354111
deleting IPC queue 893386880
deleting IPC queue 893419649
deleting IPC queue 893452418
deleting IPC queue 893485187
deleting IPC queue 893517956
deleting IPC queue 893550725
deleting IPC queue 893583494
deleting IPC queue 893616263
deleting IPC queue 893649032
deleting IPC queue 893681801
deleting IPC queue 893714570
deleting IPC queue 893747339
deleting IPC queue 893780108
deleting IPC queue 893812877
deleting IPC queue 893845646
deleting IPC queue 893878415
deleting IPC queue 893911184
deleting IPC queue 893943953
deleting IPC queue 893976722
deleting IPC queue 894009491
deleting IPC queue 894042260
deleting IPC queue 894075029
deleting IPC queue 894107798
deleting IPC queue 894140567
deleting IPC queue 894173336
deleting IPC queue 894206105
deleting IPC queue 894238874
deleting IPC queue 894271643
deleting IPC queue 894304412
deleting IPC queue 894337181
deleting IPC queue 894369950
deleting IPC queue 894402719
deleting IPC queue 894435488
deleting IPC queue 894468257
deleting IPC queue 894501026
deleting IPC queue 894533795
deleting IPC queue 894566564
deleting IPC queue 894599333
deleting IPC queue 894632102
deleting IPC queue 894664871
deleting IPC queue 894697640
deleting IPC queue 894730409
deleting IPC queue 894763178
deleting IPC queue 894795947
deleting IPC queue 894828716
deleting IPC queue 894861485
deleting IPC queue 894894254
deleting IPC queue 894927023
deleting IPC queue 894959792
deleting IPC queue 894992561
deleting IPC queue 895025330
deleting IPC queue 895058099
deleting IPC queue 895090868
deleting IPC queue 895123637
deleting IPC queue 895156406
deleting IPC queue 895189175
deleting IPC queue 895221944
deleting IPC queue 895254713
deleting IPC queue 895287482
deleting IPC queue 895320251
deleting IPC queue 895353020
deleting IPC queue 895385789
deleting IPC queue 895418558
deleting IPC queue 895451327
deleting IPC queue 895484096
deleting IPC queue 895516865
deleting IPC queue 895549634
deleting IPC queue 895582403
deleting IPC queue 895615172
deleting IPC queue 895647941
deleting IPC queue 895680710
deleting IPC queue 895713479
deleting IPC queue 895746248
deleting IPC queue 895779017
deleting IPC queue 895811786
deleting IPC queue 895844555
deleting IPC queue 895877324
deleting IPC queue 895910093
deleting IPC queue 895942862
deleting IPC queue 895975631
deleting IPC queue 896008400
deleting IPC queue 896041169
deleting IPC queue 896073938
deleting IPC queue 896106707
deleting IPC queue 896139476
deleting IPC queue 896172245
deleting IPC queue 896205014
deleting IPC queue 896237783
deleting IPC queue 896270552
deleting IPC queue 896303321
deleting IPC queue 896336090
deleting IPC queue 896368859
deleting IPC queue 896401628
deleting IPC queue 896434397
deleting IPC queue 896467166
deleting IPC queue 896499935
deleting IPC queue 896532704
deleting IPC queue 896565473
deleting IPC queue 896598242
deleting IPC queue 896631011
deleting IPC queue 896663780
deleting IPC queue 896696549
deleting IPC queue 896729318
deleting IPC queue 896762087
deleting IPC queue 896794856
deleting IPC queue 896827625
deleting IPC queue 896860394
deleting IPC queue 896893163
deleting IPC queue 896925932
deleting IPC queue 896958701
deleting IPC queue 896991470
deleting IPC queue 897024239
deleting IPC queue 897057008
deleting IPC queue 897089777
deleting IPC queue 897122546
deleting IPC queue 897155315
deleting IPC queue 897188084
deleting IPC queue 897220853
deleting IPC queue 897253622
deleting IPC queue 897286391
deleting IPC queue 897319160
deleting IPC queue 897351929
deleting IPC queue 897384698
deleting IPC queue 897417467
deleting IPC queue 897450236
deleting IPC queue 897483005
deleting IPC queue 897515774
deleting IPC queue 897548543

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8254.42
system time used= 490.987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525860
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= 41049307
involuntary context switches= 3140062

runsolver used 4.50028 second user time and 12.5008 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 02:49:50
IDJOB=1778802
IDBENCH=70762
IDSOLVER=631
FILE ID=xenhost3-49/1778802-1244767790
PBS_JOBID=
Free space on /tmp= 7035 MiB

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

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

MD5SUM BENCH= 10b48467ea3d951975cb9264f0b654fe
RANDOM SEED= 704979359

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:      19140636 kB
Buffers:        433648 kB
Cached:       14105748 kB
SwapCached:          0 kB
Active:        4079132 kB
Inactive:     10468932 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3356 kB
Writeback:           0 kB
AnonPages:        7344 kB
Mapped:           3464 kB
Slab:           688144 kB
SReclaimable:   661332 kB
SUnreclaim:      26812 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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