Trace number 1776717

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namemizh-sha0-36-3.cnf
MD5SUM7e900a3d5c709e5167c14f906d6ebd88
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark304.76
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210235
Sum of the clauses size628383
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286992
Number of clauses of size 338042
Number of clauses of size 485024
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-1776717-1244754081/watcher-1776717-1244754081 -o /tmp/evaluation-result-1776717-1244754081/solver-1776717-1244754081 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776717-1244754081.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: 6.41 4.46 3.36 2/184 761
/proc/meminfo: memFree=19136740/36427776 swapFree=4156/7212
[pid=761] ppid=759 vsize=5124 CPUtime=0
/proc/761/stat : 761 (satake) D 759 761 27791 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 10 0 634714437 5246976 212 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/761/statm: 1314 212 62 164 0 1149 0
[pid=761/tid=762] ppid=759 vsize=6948 CPUtime=0
/proc/761/task/762/stat : 762 (satake) S 759 761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 634714437 7114752 388 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=761/tid=763] ppid=759 vsize=6948 CPUtime=0
/proc/761/task/763/stat : 763 (satake) D 759 761 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 16 0 634714437 7114752 390 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=761/tid=764] ppid=759 vsize=6948 CPUtime=0
/proc/761/task/764/stat : 764 (satake) S 759 761 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 634714437 7114752 392 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=761/tid=765] ppid=759 vsize=6948 CPUtime=0
/proc/761/task/765/stat : 765 (satake) D 759 761 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 16 0 634714437 7114752 392 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=761/tid=766] ppid=759 vsize=7076 CPUtime=0
/proc/761/task/766/stat : 766 (satake) D 759 761 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 16 0 634714437 7245824 392 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=767] ppid=759 vsize=7076 CPUtime=0
/proc/761/task/767/stat : 767 (satake) S 759 761 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 634714437 7245824 397 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=761/tid=768] ppid=759 vsize=7076 CPUtime=0
/proc/761/task/768/stat : 768 (satake) D 759 761 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 634714437 7245824 397 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=761/tid=769] ppid=759 vsize=7076 CPUtime=0
/proc/761/task/769/stat : 769 (satake) S 759 761 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634714437 7245824 399 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=761/tid=770] ppid=759 vsize=7208 CPUtime=0
/proc/761/task/770/stat : 770 (satake) S 759 761 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634714437 7380992 400 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=761/tid=771] ppid=759 vsize=7212 CPUtime=0
/proc/761/task/771/stat : 771 (satake) D 759 761 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634714437 7385088 403 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=772] ppid=759 vsize=7212 CPUtime=0
/proc/761/task/772/stat : 772 (satake) R 759 761 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 634714437 7385088 405 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=773] ppid=759 vsize=7212 CPUtime=0
/proc/761/task/773/stat : 773 (satake) R 759 761 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 634714438 7385088 407 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=761/tid=774] ppid=759 vsize=7212 CPUtime=0
/proc/761/task/774/stat : 774 (satake) R 759 761 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 634714438 7385088 407 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=775] ppid=759 vsize=7212 CPUtime=0
/proc/761/task/775/stat : 775 (satake) R 759 761 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634714438 7385088 407 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=761/tid=776] ppid=759 vsize=7212 CPUtime=0
/proc/761/task/776/stat : 776 (satake) R 759 761 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 634714438 7385088 414 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=761/tid=777] ppid=759 vsize=7344 CPUtime=0
/proc/761/task/777/stat : 777 (satake) D 759 761 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 634714438 7520256 418 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.099084 s]
/proc/loadavg: 6.41 4.46 3.36 2/184 761
/proc/meminfo: memFree=19136740/36427776 swapFree=4156/7212
[pid=761] ppid=759 vsize=52504 CPUtime=0.67
/proc/761/stat : 761 (satake) S 759 761 27791 0 -1 4202496 8291 0 0 0 1 66 0 0 20 0 17 0 634714437 53764096 8230 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/761/statm: 13126 8230 63 164 0 12961 0
[pid=761/tid=762] ppid=759 vsize=52504 CPUtime=0
/proc/761/task/762/stat : 762 (satake) S 759 761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634714437 53764096 8230 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=761/tid=763] ppid=759 vsize=52504 CPUtime=0.06
/proc/761/task/763/stat : 763 (satake) D 759 761 27791 0 -1 4202560 968 0 0 0 0 6 0 0 20 0 17 0 634714437 53764096 8230 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=761/tid=764] ppid=759 vsize=52504 CPUtime=0.06
/proc/761/task/764/stat : 764 (satake) D 759 761 27791 0 -1 4202560 755 0 0 0 0 6 0 0 20 0 17 0 634714437 53764096 8230 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=765] ppid=759 vsize=52504 CPUtime=0.06
/proc/761/task/765/stat : 765 (satake) D 759 761 27791 0 -1 4202560 916 0 0 0 0 6 0 0 20 0 17 0 634714437 53764096 8230 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=761/tid=766] ppid=759 vsize=54552 CPUtime=0.04
/proc/761/task/766/stat : 766 (satake) D 759 761 27791 0 -1 4202560 589 0 0 0 0 4 0 0 20 0 17 0 634714437 55861248 8230 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=767] ppid=759 vsize=54552 CPUtime=0.06
/proc/761/task/767/stat : 767 (satake) D 759 761 27791 0 -1 4202560 717 0 0 0 0 6 0 0 20 0 17 0 634714437 55861248 8233 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=761/tid=768] ppid=759 vsize=54552 CPUtime=0.04
/proc/761/task/768/stat : 768 (satake) D 759 761 27791 0 -1 4202560 538 0 0 0 0 4 0 0 20 0 17 0 634714437 55861248 8237 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=761/tid=769] ppid=759 vsize=54552 CPUtime=0.06
/proc/761/task/769/stat : 769 (satake) R 759 761 27791 0 -1 4202560 530 0 0 0 0 6 0 0 20 0 17 0 634714437 55861248 8237 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=761/tid=770] ppid=759 vsize=54552 CPUtime=0.06
/proc/761/task/770/stat : 770 (satake) R 759 761 27791 0 -1 4202560 698 0 0 0 0 6 0 0 20 0 17 0 634714437 55861248 8238 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=761/tid=771] ppid=759 vsize=54552 CPUtime=0
/proc/761/task/771/stat : 771 (satake) D 759 761 27791 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 17 0 634714437 55861248 8239 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=772] ppid=759 vsize=54552 CPUtime=0.04
/proc/761/task/772/stat : 772 (satake) R 759 761 27791 0 -1 4202560 549 0 0 0 0 4 0 0 20 0 17 0 634714437 55861248 8240 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=773] ppid=759 vsize=54552 CPUtime=0.06
/proc/761/task/773/stat : 773 (satake) R 759 761 27791 0 -1 4202560 693 0 0 0 0 6 0 0 20 0 17 0 634714438 55861248 8240 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=761/tid=774] ppid=759 vsize=54552 CPUtime=0
/proc/761/task/774/stat : 774 (satake) R 759 761 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 634714438 55861248 8240 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=775] ppid=759 vsize=54552 CPUtime=0.06
/proc/761/task/775/stat : 775 (satake) R 759 761 27791 0 -1 4202560 654 0 0 0 0 6 0 0 20 0 17 0 634714438 55861248 8240 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=761/tid=776] ppid=759 vsize=54552 CPUtime=0
/proc/761/task/776/stat : 776 (satake) R 759 761 27791 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 17 0 634714438 55861248 8240 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=761/tid=777] ppid=759 vsize=54552 CPUtime=0
/proc/761/task/777/stat : 777 (satake) R 759 761 27791 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 17 0 634714438 55861248 8241 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 52504

[startup+0.102943 s]
/proc/loadavg: 6.41 4.46 3.36 2/184 761
/proc/meminfo: memFree=19136740/36427776 swapFree=4156/7212
[pid=761] ppid=759 vsize=55064 CPUtime=0.71
/proc/761/stat : 761 (satake) S 759 761 27791 0 -1 4202496 8877 0 0 0 1 70 0 0 20 0 17 0 634714437 56385536 8816 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/761/statm: 13766 8819 63 164 0 13601 0
[pid=761/tid=762] ppid=759 vsize=55064 CPUtime=0
/proc/761/task/762/stat : 762 (satake) S 759 761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634714437 56385536 8820 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=761/tid=763] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/763/stat : 763 (satake) R 759 761 27791 0 -1 4202560 1041 0 0 0 0 6 0 0 20 0 17 0 634714437 56385536 8821 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=761/tid=764] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/764/stat : 764 (satake) R 759 761 27791 0 -1 4202560 815 0 0 0 0 6 0 0 20 0 17 0 634714437 56385536 8826 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=761/tid=765] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/765/stat : 765 (satake) R 759 761 27791 0 -1 4202560 972 0 0 0 0 6 0 0 20 0 17 0 634714437 56385536 8850 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=761/tid=766] ppid=759 vsize=55064 CPUtime=0.04
/proc/761/task/766/stat : 766 (satake) R 759 761 27791 0 -1 4202560 635 0 0 0 0 4 0 0 20 0 17 0 634714437 56385536 8867 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=767] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/767/stat : 767 (satake) R 759 761 27791 0 -1 4202560 781 0 0 0 0 6 0 0 20 0 17 0 634714437 56385536 8884 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=761/tid=768] ppid=759 vsize=55064 CPUtime=0.04
/proc/761/task/768/stat : 768 (satake) R 759 761 27791 0 -1 4202560 539 0 0 0 0 4 0 0 20 0 17 0 634714437 56385536 8906 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=761/tid=769] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/769/stat : 769 (satake) D 759 761 27791 0 -1 4202560 579 0 0 0 0 6 0 0 20 0 17 0 634714437 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=761/tid=770] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/770/stat : 770 (satake) D 759 761 27791 0 -1 4202560 761 0 0 0 0 6 0 0 20 0 17 0 634714437 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=761/tid=771] ppid=759 vsize=55064 CPUtime=0
/proc/761/task/771/stat : 771 (satake) D 759 761 27791 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 17 0 634714437 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=772] ppid=759 vsize=55064 CPUtime=0.04
/proc/761/task/772/stat : 772 (satake) D 759 761 27791 0 -1 4202560 551 0 0 0 0 4 0 0 20 0 17 0 634714437 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=773] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/773/stat : 773 (satake) D 759 761 27791 0 -1 4202560 753 0 0 0 0 6 0 0 20 0 17 0 634714438 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=761/tid=774] ppid=759 vsize=55064 CPUtime=0
/proc/761/task/774/stat : 774 (satake) D 759 761 27791 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 17 0 634714438 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=775] ppid=759 vsize=55064 CPUtime=0.06
/proc/761/task/775/stat : 775 (satake) D 759 761 27791 0 -1 4202560 721 0 0 0 0 6 0 0 20 0 17 0 634714438 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=761/tid=776] ppid=759 vsize=55064 CPUtime=0
/proc/761/task/776/stat : 776 (satake) D 759 761 27791 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 17 0 634714438 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=761/tid=777] ppid=759 vsize=55064 CPUtime=0
/proc/761/task/777/stat : 777 (satake) D 759 761 27791 0 -1 4202560 216 0 0 0 0 0 0 0 20 0 17 0 634714438 56385536 8910 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 55064

[startup+0.301515 s]
/proc/loadavg: 6.41 4.46 3.36 2/184 761
/proc/meminfo: memFree=19136740/36427776 swapFree=4156/7212
[pid=761] ppid=759 vsize=79592 CPUtime=2
/proc/761/stat : 761 (satake) S 759 761 27791 0 -1 4202496 17243 0 0 0 8 192 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/761/statm: 19898 17182 63 164 0 19733 0
[pid=761/tid=762] ppid=759 vsize=79592 CPUtime=0
/proc/761/task/762/stat : 762 (satake) S 759 761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=761/tid=763] ppid=759 vsize=79592 CPUtime=0.16
/proc/761/task/763/stat : 763 (satake) S 759 761 27791 0 -1 4202560 1323 0 0 0 4 12 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=761/tid=764] ppid=759 vsize=79592 CPUtime=0.16
/proc/761/task/764/stat : 764 (satake) S 759 761 27791 0 -1 4202560 1328 0 0 0 0 16 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=761/tid=765] ppid=759 vsize=79592 CPUtime=0.16
/proc/761/task/765/stat : 765 (satake) D 759 761 27791 0 -1 4202560 1300 0 0 0 0 16 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=761/tid=766] ppid=759 vsize=79592 CPUtime=0.14
/proc/761/task/766/stat : 766 (satake) D 759 761 27791 0 -1 4202560 1237 0 0 0 0 14 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=767] ppid=759 vsize=79592 CPUtime=0.16
/proc/761/task/767/stat : 767 (satake) D 759 761 27791 0 -1 4202560 1303 0 0 0 2 14 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=761/tid=768] ppid=759 vsize=79592 CPUtime=0.12
/proc/761/task/768/stat : 768 (satake) D 759 761 27791 0 -1 4202560 1115 0 0 0 0 12 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=761/tid=769] ppid=759 vsize=79592 CPUtime=0.12
/proc/761/task/769/stat : 769 (satake) D 759 761 27791 0 -1 4202560 1134 0 0 0 0 12 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=761/tid=770] ppid=759 vsize=79592 CPUtime=0.16
/proc/761/task/770/stat : 770 (satake) D 759 761 27791 0 -1 4202560 1226 0 0 0 0 16 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=761/tid=771] ppid=759 vsize=79592 CPUtime=0.1
/proc/761/task/771/stat : 771 (satake) R 759 761 27791 0 -1 4202560 1058 0 0 0 0 10 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=761/tid=772] ppid=759 vsize=79592 CPUtime=0.12
/proc/761/task/772/stat : 772 (satake) D 759 761 27791 0 -1 4202560 1117 0 0 0 0 12 0 0 20 0 17 0 634714437 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=773] ppid=759 vsize=79592 CPUtime=0.16
/proc/761/task/773/stat : 773 (satake) D 759 761 27791 0 -1 4202560 1279 0 0 0 0 16 0 0 20 0 17 0 634714438 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=761/tid=774] ppid=759 vsize=79592 CPUtime=0.06
/proc/761/task/774/stat : 774 (satake) D 759 761 27791 0 -1 4202560 818 0 0 0 0 6 0 0 20 0 17 0 634714438 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=761/tid=775] ppid=759 vsize=79592 CPUtime=0.18
/proc/761/task/775/stat : 775 (satake) D 759 761 27791 0 -1 4202560 1250 0 0 0 0 18 0 0 20 0 17 0 634714438 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=761/tid=776] ppid=759 vsize=79592 CPUtime=0.08
/proc/761/task/776/stat : 776 (satake) D 759 761 27791 0 -1 4202560 784 0 0 0 0 8 0 0 20 0 17 0 634714438 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=761/tid=777] ppid=759 vsize=79592 CPUtime=0.06
/proc/761/task/777/stat : 777 (satake) D 759 761 27791 0 -1 4202560 840 0 0 0 0 6 0 0 20 0 17 0 634714438 81502208 17182 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 79592

[startup+0.701756 s]
/proc/loadavg: 6.41 4.46 3.36 2/184 761
/proc/meminfo: memFree=19136740/36427776 swapFree=4156/7212
[pid=761] ppid=759 vsize=138640 CPUtime=3.91
/proc/761/stat : 761 (satake) S 759 761 27791 0 -1 4202496 29987 0 0 0 90 301 0 0 20 0 17 0 634714437 141967360 29926 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/761/statm: 34660 29927 63 164 0 34495 0
[pid=761/tid=762] ppid=759 vsize=138640 CPUtime=0
/proc/761/task/762/stat : 762 (satake) S 759 761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634714437 141967360 29927 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=761/tid=763] ppid=759 vsize=138640 CPUtime=0.28
/proc/761/task/763/stat : 763 (satake) R 759 761 27791 0 -1 4202560 2117 0 0 0 6 22 0 0 20 0 17 0 634714437 141967360 29928 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=761/tid=764] ppid=759 vsize=138640 CPUtime=0.3
/proc/761/task/764/stat : 764 (satake) S 759 761 27791 0 -1 4202560 2066 0 0 0 4 26 0 0 20 0 17 0 634714437 141967360 29928 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=761/tid=765] ppid=759 vsize=138640 CPUtime=0.28
/proc/761/task/765/stat : 765 (satake) D 759 761 27791 0 -1 4202560 2104 0 0 0 4 24 0 0 20 0 17 0 634714437 141967360 29928 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=761/tid=766] ppid=759 vsize=138640 CPUtime=0.28
/proc/761/task/766/stat : 766 (satake) D 759 761 27791 0 -1 4202560 2068 0 0 0 6 22 0 0 20 0 17 0 634714437 141967360 29930 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=761/tid=767] ppid=759 vsize=138640 CPUtime=0.28
/proc/761/task/767/stat : 767 (satake) R 759 761 27791 0 -1 4202560 2126 0 0 0 8 20 0 0 20 0 17 0 634714437 141967360 29935 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=761/tid=768] ppid=759 vsize=138640 CPUtime=0.24
/proc/761/task/768/stat : 768 (satake) R 759 761 27791 0 -1 4202560 1958 0 0 0 8 16 0 0 20 0 17 0 634714437 141967360 29935 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=761/tid=769] ppid=759 vsize=138640 CPUtime=0.26
/proc/761/task/769/stat : 769 (satake) S 759 761 27791 0 -1 4202560 2036 0 0 0 4 22 0 0 20 0 17 0 634714437 141967360 29936 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=761/tid=770] ppid=759 vsize=138640 CPUtime=0.26
/proc/761/task/770/stat : 770 (satake) R 759 761 27791 0 -1 4202560 1964 0 0 0 2 24 0 0 20 0 17 0 634714437 141967360 29936 18446744073709551615 134512640 135180984 4287285136 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=761/tid=771] ppid=759 vsize=138640 CPUtime=0.24

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

deleting IPC queue 682033230
deleting IPC queue 682065999
deleting IPC queue 682098768
deleting IPC queue 682131537
deleting IPC queue 682164306
deleting IPC queue 682197075
deleting IPC queue 682229844
deleting IPC queue 682262613
deleting IPC queue 682295382
deleting IPC queue 682328151
deleting IPC queue 682360920
deleting IPC queue 682393689
deleting IPC queue 682426458
deleting IPC queue 682459227
deleting IPC queue 682491996
deleting IPC queue 682524765
deleting IPC queue 682557534
deleting IPC queue 682590303
deleting IPC queue 682623072
deleting IPC queue 682655841
deleting IPC queue 682688610
deleting IPC queue 682721379
deleting IPC queue 682754148
deleting IPC queue 682786917
deleting IPC queue 682819686
deleting IPC queue 682852455
deleting IPC queue 682885224
deleting IPC queue 682917993
deleting IPC queue 682950762
deleting IPC queue 682983531
deleting IPC queue 683016300
deleting IPC queue 683049069
deleting IPC queue 683081838
deleting IPC queue 683114607
deleting IPC queue 683147376
deleting IPC queue 683180145
deleting IPC queue 683212914
deleting IPC queue 683245683
deleting IPC queue 683278452
deleting IPC queue 683311221
deleting IPC queue 683343990
deleting IPC queue 683376759
deleting IPC queue 683409528
deleting IPC queue 683442297
deleting IPC queue 683475066
deleting IPC queue 683507835
deleting IPC queue 683540604
deleting IPC queue 683573373
deleting IPC queue 683606142
deleting IPC queue 683638911
deleting IPC queue 683671680
deleting IPC queue 683704449
deleting IPC queue 683737218
deleting IPC queue 683769987
deleting IPC queue 683802756
deleting IPC queue 683835525
deleting IPC queue 683868294
deleting IPC queue 683901063
deleting IPC queue 683933832
deleting IPC queue 683966601
deleting IPC queue 683999370
deleting IPC queue 684032139
deleting IPC queue 684064908
deleting IPC queue 684097677
deleting IPC queue 684130446
deleting IPC queue 684163215
deleting IPC queue 684195984
deleting IPC queue 684228753
deleting IPC queue 684261522
deleting IPC queue 684294291
deleting IPC queue 684327060
deleting IPC queue 684359829
deleting IPC queue 684392598
deleting IPC queue 684425367
deleting IPC queue 684458136
deleting IPC queue 684490905
deleting IPC queue 684523674
deleting IPC queue 684556443
deleting IPC queue 684589212
deleting IPC queue 684621981
deleting IPC queue 684654750
deleting IPC queue 684687519
deleting IPC queue 684720288
deleting IPC queue 684753057
deleting IPC queue 684785826
deleting IPC queue 684818595
deleting IPC queue 684851364
deleting IPC queue 684884133
deleting IPC queue 684916902
deleting IPC queue 684949671
deleting IPC queue 684982440
deleting IPC queue 685015209
deleting IPC queue 685047978
deleting IPC queue 685080747
deleting IPC queue 685113516
deleting IPC queue 685146285
deleting IPC queue 685179054
deleting IPC queue 685211823
deleting IPC queue 685244592
deleting IPC queue 685277361
deleting IPC queue 685310130
deleting IPC queue 685342899
deleting IPC queue 685375668
deleting IPC queue 685408437
deleting IPC queue 685441206
deleting IPC queue 685473975
deleting IPC queue 685506744
deleting IPC queue 685539513
deleting IPC queue 685572282
deleting IPC queue 685605051
deleting IPC queue 685637820
deleting IPC queue 685670589
deleting IPC queue 685703358
deleting IPC queue 685736127
deleting IPC queue 685768896
deleting IPC queue 685801665
deleting IPC queue 685834434
deleting IPC queue 685867203
deleting IPC queue 685899972
deleting IPC queue 685932741
deleting IPC queue 685965510
deleting IPC queue 685998279
deleting IPC queue 686031048
deleting IPC queue 686063817
deleting IPC queue 686096586
deleting IPC queue 686129355
deleting IPC queue 686162124
deleting IPC queue 686194893
deleting IPC queue 686227662
deleting IPC queue 686260431
deleting IPC queue 686293200
deleting IPC queue 686325969
deleting IPC queue 686358738
deleting IPC queue 686391507
deleting IPC queue 686424276
deleting IPC queue 686457045
deleting IPC queue 686489814
deleting IPC queue 686522583
deleting IPC queue 686555352
deleting IPC queue 686588121
deleting IPC queue 686620890
deleting IPC queue 686653659
deleting IPC queue 686686428
deleting IPC queue 686719197
deleting IPC queue 686751966
deleting IPC queue 686784735
deleting IPC queue 686817504
deleting IPC queue 686850273
deleting IPC queue 686883042
deleting IPC queue 686915811
deleting IPC queue 686948580
deleting IPC queue 686981349
deleting IPC queue 687014118
deleting IPC queue 687046887
deleting IPC queue 687079656
deleting IPC queue 687112425
deleting IPC queue 687145194
deleting IPC queue 687177963
deleting IPC queue 687210732
deleting IPC queue 687243501
deleting IPC queue 687276270
deleting IPC queue 687309039
deleting IPC queue 687341808
deleting IPC queue 687374577
deleting IPC queue 687407346
deleting IPC queue 687440115
deleting IPC queue 687472884
deleting IPC queue 687505653
deleting IPC queue 687538422
deleting IPC queue 687571191
deleting IPC queue 687603960
deleting IPC queue 687636729
deleting IPC queue 687669498
deleting IPC queue 687702267
deleting IPC queue 687735036
deleting IPC queue 687767805
deleting IPC queue 687800574
deleting IPC queue 687833343

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.95
system time used= 676.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217617
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= 57594269
involuntary context switches= 2816097

runsolver used 4.38027 second user time and 11.4927 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 23:01:21
IDJOB=1776717
IDBENCH=69574
IDSOLVER=631
FILE ID=xenhost3-49/1776717-1244754081
PBS_JOBID=
Free space on /tmp= 7035 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-3.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776717-1244754081/watcher-1776717-1244754081 -o /tmp/evaluation-result-1776717-1244754081/solver-1776717-1244754081 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776717-1244754081.cnf 16 10000

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

MD5SUM BENCH= 7e900a3d5c709e5167c14f906d6ebd88
RANDOM SEED= 1368902036

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:      19136740 kB
Buffers:        433468 kB
Cached:       14105380 kB
SwapCached:          0 kB
Active:        4078112 kB
Inactive:     10468568 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4352 kB
Writeback:           0 kB
AnonPages:        7212 kB
Mapped:           3492 kB
Slab:           688080 kB
SReclaimable:   661256 kB
SUnreclaim:      26824 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= 7034 MiB
End job on xenhost3-49 at 2009-06-11 23:18:03