Trace number 1780347

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) 5254.8 863.332

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p0.cnf
MD5SUM5588dd996576f939b8ae497437078705
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2387.37
Satisfiable
(Un)Satisfiability was proved
Number of variables225296
Number of clauses1192799
Sum of the clauses size2872868
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2852883
Number of clauses of size 3271793
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

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-1780347-1244824161/watcher-1780347-1244824161 -o /tmp/evaluation-result-1780347-1244824161/solver-1780347-1244824161 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780347-1244824161.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.93 7.52 6.39 2/184 9286
/proc/meminfo: memFree=19105252/36427776 swapFree=3828/8076
[pid=9286] ppid=9284 vsize=6644 CPUtime=0
/proc/9286/stat : 9286 (satake) D 9284 9286 27791 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 15 0 641722552 6803456 326 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9286/statm: 1661 326 63 164 0 1496 0
[pid=9286/tid=9287] ppid=9284 vsize=6848 CPUtime=0
/proc/9286/task/9287/stat : 9287 (satake) S 9284 9286 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 641722552 7012352 355 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9288] ppid=9284 vsize=6848 CPUtime=0
/proc/9286/task/9288/stat : 9288 (satake) D 9284 9286 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 16 0 641722552 7012352 355 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9286/tid=9289] ppid=9284 vsize=6848 CPUtime=0
/proc/9286/task/9289/stat : 9289 (satake) D 9284 9286 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 641722552 7012352 357 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9290] ppid=9284 vsize=6912 CPUtime=0
/proc/9286/task/9290/stat : 9290 (satake) D 9284 9286 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 16 0 641722553 7077888 358 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9286/tid=9291] ppid=9284 vsize=6912 CPUtime=0
/proc/9286/task/9291/stat : 9291 (satake) S 9284 9286 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 641722553 7077888 358 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9292] ppid=9284 vsize=6912 CPUtime=0
/proc/9286/task/9292/stat : 9292 (satake) D 9284 9286 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 16 0 641722553 7077888 358 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9286/tid=9293] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9293/stat : 9293 (satake) S 9284 9286 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 360 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9294] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9294/stat : 9294 (satake) R 9284 9286 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 365 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9295] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9295/stat : 9295 (satake) R 9284 9286 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 366 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9286/tid=9296] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9296/stat : 9296 (satake) R 9284 9286 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 366 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9297] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9297/stat : 9297 (satake) R 9284 9286 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 366 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9286/tid=9298] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9298/stat : 9298 (satake) R 9284 9286 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 366 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9299] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9299/stat : 9299 (satake) R 9284 9286 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 366 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9286/tid=9300] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9300/stat : 9300 (satake) D 9284 9286 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 366 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9301] ppid=9284 vsize=7040 CPUtime=0
/proc/9286/task/9301/stat : 9301 (satake) D 9284 9286 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 641722553 7208960 367 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0

[startup+0.022287 s]
/proc/loadavg: 6.93 7.52 6.39 2/184 9286
/proc/meminfo: memFree=19105252/36427776 swapFree=3828/8076
[pid=9286] ppid=9284 vsize=9904 CPUtime=0.01
/proc/9286/stat : 9286 (satake) S 9284 9286 27791 0 -1 4202496 930 0 0 0 0 1 0 0 20 0 17 0 641722552 10141696 887 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9286/statm: 2476 887 63 164 0 2311 0
[pid=9286/tid=9287] ppid=9284 vsize=9904 CPUtime=0
/proc/9286/task/9287/stat : 9287 (satake) S 9284 9286 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641722552 10141696 887 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9288] ppid=9284 vsize=9904 CPUtime=0
/proc/9286/task/9288/stat : 9288 (satake) R 9284 9286 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 641722552 10141696 887 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9286/tid=9289] ppid=9284 vsize=9904 CPUtime=0
/proc/9286/task/9289/stat : 9289 (satake) D 9284 9286 27791 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 17 0 641722552 10141696 887 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9290] ppid=9284 vsize=9904 CPUtime=0
/proc/9286/task/9290/stat : 9290 (satake) D 9284 9286 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 641722553 10141696 888 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9286/tid=9291] ppid=9284 vsize=9904 CPUtime=0
/proc/9286/task/9291/stat : 9291 (satake) D 9284 9286 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 641722553 10141696 888 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9292] ppid=9284 vsize=9904 CPUtime=0
/proc/9286/task/9292/stat : 9292 (satake) D 9284 9286 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 641722553 10141696 888 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9286/tid=9293] ppid=9284 vsize=9904 CPUtime=0
/proc/9286/task/9293/stat : 9293 (satake) D 9284 9286 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 641722553 10141696 888 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9294] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9294/stat : 9294 (satake) R 9284 9286 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 889 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9295] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9295/stat : 9295 (satake) R 9284 9286 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 893 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9286/tid=9296] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9296/stat : 9296 (satake) D 9284 9286 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 894 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9297] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9297/stat : 9297 (satake) D 9284 9286 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 895 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9286/tid=9298] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9298/stat : 9298 (satake) S 9284 9286 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 896 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9299] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9299/stat : 9299 (satake) R 9284 9286 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 897 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9286/tid=9300] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9300/stat : 9300 (satake) R 9284 9286 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 898 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9301] ppid=9284 vsize=10032 CPUtime=0
/proc/9286/task/9301/stat : 9301 (satake) R 9284 9286 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 641722553 10272768 898 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9904

[startup+0.106488 s]
/proc/loadavg: 6.93 7.52 6.39 2/184 9286
/proc/meminfo: memFree=19105252/36427776 swapFree=3828/8076
[pid=9286] ppid=9284 vsize=83124 CPUtime=0.65
/proc/9286/stat : 9286 (satake) S 9284 9286 27791 0 -1 4202496 13359 0 0 0 5 60 0 0 20 0 17 0 641722552 85118976 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9286/statm: 20781 13299 63 164 0 20616 0
[pid=9286/tid=9287] ppid=9284 vsize=83124 CPUtime=0
/proc/9286/task/9287/stat : 9287 (satake) S 9284 9286 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641722552 85118976 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9288] ppid=9284 vsize=83124 CPUtime=0.06
/proc/9286/task/9288/stat : 9288 (satake) D 9284 9286 27791 0 -1 4202560 1142 0 0 0 0 6 0 0 20 0 17 0 641722552 85118976 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9286/tid=9289] ppid=9284 vsize=83124 CPUtime=0.06
/proc/9286/task/9289/stat : 9289 (satake) D 9284 9286 27791 0 -1 4202560 1092 0 0 0 0 6 0 0 20 0 17 0 641722552 85118976 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9290] ppid=9284 vsize=83124 CPUtime=0.04
/proc/9286/task/9290/stat : 9290 (satake) D 9284 9286 27791 0 -1 4202560 994 0 0 0 0 4 0 0 20 0 17 0 641722553 85118976 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9286/tid=9291] ppid=9284 vsize=83124 CPUtime=0.02
/proc/9286/task/9291/stat : 9291 (satake) R 9284 9286 27791 0 -1 4202560 531 0 0 0 2 0 0 0 20 0 17 0 641722553 85118976 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9292] ppid=9284 vsize=83124 CPUtime=0.06
/proc/9286/task/9292/stat : 9292 (satake) D 9284 9286 27791 0 -1 4202560 1478 0 0 0 0 6 0 0 20 0 17 0 641722553 85118976 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9286/tid=9293] ppid=9284 vsize=87224 CPUtime=0.04
/proc/9286/task/9293/stat : 9293 (satake) D 9284 9286 27791 0 -1 4202560 996 0 0 0 0 4 0 0 20 0 17 0 641722553 89317376 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9294] ppid=9284 vsize=85172 CPUtime=0.02
/proc/9286/task/9294/stat : 9294 (satake) D 9284 9286 27791 0 -1 4202560 516 0 0 0 2 0 0 0 20 0 17 0 641722553 87216128 13299 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9295] ppid=9284 vsize=85172 CPUtime=0.02
/proc/9286/task/9295/stat : 9295 (satake) D 9284 9286 27791 0 -1 4202560 546 0 0 0 0 2 0 0 20 0 17 0 641722553 87216128 13305 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9286/tid=9296] ppid=9284 vsize=85172 CPUtime=0.06
/proc/9286/task/9296/stat : 9296 (satake) R 9284 9286 27791 0 -1 4202560 1355 0 0 0 0 6 0 0 20 0 17 0 641722553 87216128 13306 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9297] ppid=9284 vsize=85172 CPUtime=0.06
/proc/9286/task/9297/stat : 9297 (satake) R 9284 9286 27791 0 -1 4202560 1417 0 0 0 0 6 0 0 20 0 17 0 641722553 87216128 13308 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9286/tid=9298] ppid=9284 vsize=85172 CPUtime=0
/proc/9286/task/9298/stat : 9298 (satake) R 9284 9286 27791 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 17 0 641722553 87216128 13308 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9299] ppid=9284 vsize=85172 CPUtime=0.02
/proc/9286/task/9299/stat : 9299 (satake) R 9284 9286 27791 0 -1 4202560 425 0 0 0 0 2 0 0 20 0 17 0 641722553 87216128 13308 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9286/tid=9300] ppid=9284 vsize=85172 CPUtime=0.02
/proc/9286/task/9300/stat : 9300 (satake) R 9284 9286 27791 0 -1 4202560 632 0 0 0 0 2 0 0 20 0 17 0 641722553 87216128 13308 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9301] ppid=9284 vsize=85172 CPUtime=0.06
/proc/9286/task/9301/stat : 9301 (satake) R 9284 9286 27791 0 -1 4202560 1194 0 0 0 0 6 0 0 20 0 17 0 641722553 87216128 13308 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 83124

[startup+0.306309 s]
/proc/loadavg: 6.93 7.52 6.39 2/184 9286
/proc/meminfo: memFree=19105252/36427776 swapFree=3828/8076
[pid=9286] ppid=9284 vsize=325812 CPUtime=2.49
/proc/9286/stat : 9286 (satake) S 9284 9286 27791 0 -1 4202496 51235 0 0 0 5 244 0 0 20 0 17 0 641722552 333631488 51175 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9286/statm: 89646 51175 63 164 0 89481 0
[pid=9286/tid=9287] ppid=9284 vsize=342196 CPUtime=0
/proc/9286/task/9287/stat : 9287 (satake) S 9284 9286 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641722552 350408704 51175 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9288] ppid=9284 vsize=342196 CPUtime=0.22
/proc/9286/task/9288/stat : 9288 (satake) R 9284 9286 27791 0 -1 4202560 4122 0 0 0 0 22 0 0 20 0 17 0 641722552 350408704 51177 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9286/tid=9289] ppid=9284 vsize=342196 CPUtime=0.24
/proc/9286/task/9289/stat : 9289 (satake) R 9284 9286 27791 0 -1 4202560 4431 0 0 0 0 24 0 0 20 0 17 0 641722552 350408704 51182 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9290] ppid=9284 vsize=342196 CPUtime=0.22
/proc/9286/task/9290/stat : 9290 (satake) R 9284 9286 27791 0 -1 4202560 4026 0 0 0 0 22 0 0 20 0 17 0 641722553 350408704 51183 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9286/tid=9291] ppid=9284 vsize=342196 CPUtime=0.12
/proc/9286/task/9291/stat : 9291 (satake) R 9284 9286 27791 0 -1 4202560 2695 0 0 0 2 10 0 0 20 0 17 0 641722553 350408704 51184 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9292] ppid=9284 vsize=342196 CPUtime=0.22
/proc/9286/task/9292/stat : 9292 (satake) R 9284 9286 27791 0 -1 4202560 4556 0 0 0 0 22 0 0 20 0 17 0 641722553 350408704 51184 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9286/tid=9293] ppid=9284 vsize=342196 CPUtime=0.14
/proc/9286/task/9293/stat : 9293 (satake) R 9284 9286 27791 0 -1 4202560 3240 0 0 0 0 14 0 0 20 0 17 0 641722553 350408704 51184 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9294] ppid=9284 vsize=342196 CPUtime=0.1
/proc/9286/task/9294/stat : 9294 (satake) R 9284 9286 27791 0 -1 4202560 2452 0 0 0 2 8 0 0 20 0 17 0 641722553 350408704 51184 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9295] ppid=9284 vsize=342196 CPUtime=0.18
/proc/9286/task/9295/stat : 9295 (satake) R 9284 9286 27791 0 -1 4202560 4691 0 0 0 0 18 0 0 20 0 17 0 641722553 350408704 51186 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9286/tid=9296] ppid=9284 vsize=342196 CPUtime=0.14
/proc/9286/task/9296/stat : 9296 (satake) R 9284 9286 27791 0 -1 4202560 3075 0 0 0 0 14 0 0 20 0 17 0 641722553 350408704 51187 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9297] ppid=9284 vsize=342196 CPUtime=0.24
/proc/9286/task/9297/stat : 9297 (satake) R 9284 9286 27791 0 -1 4202560 4703 0 0 0 0 24 0 0 20 0 17 0 641722553 350408704 51189 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9286/tid=9298] ppid=9284 vsize=342196 CPUtime=0.08
/proc/9286/task/9298/stat : 9298 (satake) R 9284 9286 27791 0 -1 4202560 1851 0 0 0 0 8 0 0 20 0 17 0 641722553 350408704 51199 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9299] ppid=9284 vsize=342196 CPUtime=0.12
/proc/9286/task/9299/stat : 9299 (satake) R 9284 9286 27791 0 -1 4202560 2364 0 0 0 0 12 0 0 20 0 17 0 641722553 350408704 51218 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9286/tid=9300] ppid=9284 vsize=342196 CPUtime=0.1
/proc/9286/task/9300/stat : 9300 (satake) R 9284 9286 27791 0 -1 4202560 2380 0 0 0 0 10 0 0 20 0 17 0 641722553 350408704 51237 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9286/tid=9301] ppid=9284 vsize=342196 CPUtime=0.22
/proc/9286/task/9301/stat : 9301 (satake) R 9284 9286 27791 0 -1 4202560 4348 0 0 0 0 22 0 0 20 0 17 0 641722553 350408704 51256 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 325812

[startup+0.702453 s]
/proc/loadavg: 6.93 7.52 6.39 2/184 9286
/proc/meminfo: memFree=19105252/36427776 swapFree=3828/8076
[pid=9286] ppid=9284 vsize=365676 CPUtime=5.4
/proc/9286/stat : 9286 (satake) S 9284 9286 27791 0 -1 4202496 75127 0 0 0 5 535 0 0 20 0 17 0 641722552 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9286/statm: 91419 75067 63 164 0 91254 0
[pid=9286/tid=9287] ppid=9284 vsize=365676 CPUtime=0
/proc/9286/task/9287/stat : 9287 (satake) S 9284 9286 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641722552 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9288] ppid=9284 vsize=365676 CPUtime=0.46
/proc/9286/task/9288/stat : 9288 (satake) D 9284 9286 27791 0 -1 4202560 5997 0 0 0 0 46 0 0 20 0 17 0 641722552 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9286/tid=9289] ppid=9284 vsize=365676 CPUtime=0.48
/proc/9286/task/9289/stat : 9289 (satake) D 9284 9286 27791 0 -1 4202560 6334 0 0 0 0 48 0 0 20 0 17 0 641722552 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9286/tid=9290] ppid=9284 vsize=365676 CPUtime=0.46
/proc/9286/task/9290/stat : 9290 (satake) D 9284 9286 27791 0 -1 4202560 6021 0 0 0 0 46 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9286/tid=9291] ppid=9284 vsize=365676 CPUtime=0.26
/proc/9286/task/9291/stat : 9291 (satake) R 9284 9286 27791 0 -1 4202560 3611 0 0 0 2 24 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9286/tid=9292] ppid=9284 vsize=365676 CPUtime=0.44
/proc/9286/task/9292/stat : 9292 (satake) D 9284 9286 27791 0 -1 4202560 6123 0 0 0 0 44 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9286/tid=9293] ppid=9284 vsize=365676 CPUtime=0.28
/proc/9286/task/9293/stat : 9293 (satake) D 9284 9286 27791 0 -1 4202560 4225 0 0 0 0 28 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9294] ppid=9284 vsize=365676 CPUtime=0.24
/proc/9286/task/9294/stat : 9294 (satake) D 9284 9286 27791 0 -1 4202560 4350 0 0 0 2 22 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9286/tid=9295] ppid=9284 vsize=365676 CPUtime=0.34
/proc/9286/task/9295/stat : 9295 (satake) R 9284 9286 27791 0 -1 4202560 6208 0 0 0 0 34 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9286/tid=9296] ppid=9284 vsize=365676 CPUtime=0.28
/proc/9286/task/9296/stat : 9296 (satake) D 9284 9286 27791 0 -1 4202560 4101 0 0 0 0 28 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9297] ppid=9284 vsize=365676 CPUtime=0.5
/proc/9286/task/9297/stat : 9297 (satake) D 9284 9286 27791 0 -1 4202560 6589 0 0 0 0 50 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9286/tid=9298] ppid=9284 vsize=365676 CPUtime=0.24
/proc/9286/task/9298/stat : 9298 (satake) D 9284 9286 27791 0 -1 4202560 3487 0 0 0 0 24 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9286/tid=9299] ppid=9284 vsize=365676 CPUtime=0.28
/proc/9286/task/9299/stat : 9299 (satake) D 9284 9286 27791 0 -1 4202560 3916 0 0 0 0 28 0 0 20 0 17 0 641722553 374452224 75067 18446744073709551615 134512640 135180984 4287451072 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9286/tid=9300] ppid=9284 vsize=365676 CPUtime=0.36

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

deleting IPC queue 1755775054
deleting IPC queue 1755807823
deleting IPC queue 1755840592
deleting IPC queue 1755873361
deleting IPC queue 1755906130
deleting IPC queue 1755938899
deleting IPC queue 1755971668
deleting IPC queue 1756004437
deleting IPC queue 1756037206
deleting IPC queue 1756069975
deleting IPC queue 1756102744
deleting IPC queue 1756135513
deleting IPC queue 1756168282
deleting IPC queue 1756201051
deleting IPC queue 1756233820
deleting IPC queue 1756266589
deleting IPC queue 1756299358
deleting IPC queue 1756332127
deleting IPC queue 1756364896
deleting IPC queue 1756397665
deleting IPC queue 1756430434
deleting IPC queue 1756463203
deleting IPC queue 1756495972
deleting IPC queue 1756528741
deleting IPC queue 1756561510
deleting IPC queue 1756594279
deleting IPC queue 1756627048
deleting IPC queue 1756659817
deleting IPC queue 1756692586
deleting IPC queue 1756725355
deleting IPC queue 1756758124
deleting IPC queue 1756790893
deleting IPC queue 1756823662
deleting IPC queue 1756856431
deleting IPC queue 1756889200
deleting IPC queue 1756921969
deleting IPC queue 1756954738
deleting IPC queue 1756987507
deleting IPC queue 1757020276
deleting IPC queue 1757053045
deleting IPC queue 1757085814
deleting IPC queue 1757118583
deleting IPC queue 1757151352
deleting IPC queue 1757184121
deleting IPC queue 1757216890
deleting IPC queue 1757249659
deleting IPC queue 1757282428
deleting IPC queue 1757315197
deleting IPC queue 1757347966
deleting IPC queue 1757380735
deleting IPC queue 1757413504
deleting IPC queue 1757446273
deleting IPC queue 1757479042
deleting IPC queue 1757511811
deleting IPC queue 1757544580
deleting IPC queue 1757577349
deleting IPC queue 1757610118
deleting IPC queue 1757642887
deleting IPC queue 1757675656
deleting IPC queue 1757708425
deleting IPC queue 1757741194
deleting IPC queue 1757773963
deleting IPC queue 1757806732
deleting IPC queue 1757839501
deleting IPC queue 1757872270
deleting IPC queue 1757905039
deleting IPC queue 1757937808
deleting IPC queue 1757970577
deleting IPC queue 1758003346
deleting IPC queue 1758036115
deleting IPC queue 1758068884
deleting IPC queue 1758101653
deleting IPC queue 1758134422
deleting IPC queue 1758167191
deleting IPC queue 1758199960
deleting IPC queue 1758232729
deleting IPC queue 1758265498
deleting IPC queue 1758298267
deleting IPC queue 1758331036
deleting IPC queue 1758363805
deleting IPC queue 1758396574
deleting IPC queue 1758429343
deleting IPC queue 1758462112
deleting IPC queue 1758494881
deleting IPC queue 1758527650
deleting IPC queue 1758560419
deleting IPC queue 1758593188
deleting IPC queue 1758625957
deleting IPC queue 1758658726
deleting IPC queue 1758691495
deleting IPC queue 1758724264
deleting IPC queue 1758757033
deleting IPC queue 1758789802
deleting IPC queue 1758822571
deleting IPC queue 1758855340
deleting IPC queue 1758888109
deleting IPC queue 1758920878
deleting IPC queue 1758953647
deleting IPC queue 1758986416
deleting IPC queue 1759019185
deleting IPC queue 1759051954
deleting IPC queue 1759084723
deleting IPC queue 1759117492
deleting IPC queue 1759150261
deleting IPC queue 1759183030
deleting IPC queue 1759215799
deleting IPC queue 1759248568
deleting IPC queue 1759281337
deleting IPC queue 1759314106
deleting IPC queue 1759346875
deleting IPC queue 1759379644
deleting IPC queue 1759412413
deleting IPC queue 1759445182
deleting IPC queue 1759477951
deleting IPC queue 1759510720
deleting IPC queue 1759543489
deleting IPC queue 1759576258
deleting IPC queue 1759609027
deleting IPC queue 1759641796
deleting IPC queue 1759674565
deleting IPC queue 1759707334
deleting IPC queue 1759740103
deleting IPC queue 1759772872
deleting IPC queue 1759805641
deleting IPC queue 1759838410
deleting IPC queue 1759871179
deleting IPC queue 1759903948
deleting IPC queue 1759936717
deleting IPC queue 1759969486
deleting IPC queue 1760002255
deleting IPC queue 1760035024
deleting IPC queue 1760067793
deleting IPC queue 1760100562
deleting IPC queue 1760133331
deleting IPC queue 1760166100
deleting IPC queue 1760198869
deleting IPC queue 1760231638
deleting IPC queue 1760264407
deleting IPC queue 1760297176
deleting IPC queue 1760329945
deleting IPC queue 1760362714
deleting IPC queue 1760395483
deleting IPC queue 1760428252
deleting IPC queue 1760461021
deleting IPC queue 1760493790
deleting IPC queue 1760526559
deleting IPC queue 1760559328
deleting IPC queue 1760592097
deleting IPC queue 1760624866
deleting IPC queue 1760657635
deleting IPC queue 1760690404
deleting IPC queue 1760723173
deleting IPC queue 1760755942
deleting IPC queue 1760788711
deleting IPC queue 1760821480
deleting IPC queue 1760854249
deleting IPC queue 1760887018
deleting IPC queue 1760919787
deleting IPC queue 1760952556
deleting IPC queue 1760985325
deleting IPC queue 1761018094
deleting IPC queue 1761050863
deleting IPC queue 1761083632
deleting IPC queue 1761116401
deleting IPC queue 1761149170
deleting IPC queue 1761181939
deleting IPC queue 1761214708
deleting IPC queue 1761247477
deleting IPC queue 1761280246
deleting IPC queue 1761313015
deleting IPC queue 1761345784
deleting IPC queue 1761378553
deleting IPC queue 1761411322
deleting IPC queue 1761444091
deleting IPC queue 1761476860
deleting IPC queue 1761509629
deleting IPC queue 1761542398
deleting IPC queue 1761575167

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.93
system time used= 454.872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590571
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= 41411133
involuntary context switches= 3670058

runsolver used 4.03225 second user time and 10.9367 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 18:29:21
IDJOB=1780347
IDBENCH=70985
IDSOLVER=631
FILE ID=xenhost3-49/1780347-1244824161
PBS_JOBID=
Free space on /tmp= 7008 MiB

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

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

MD5SUM BENCH= 5588dd996576f939b8ae497437078705
RANDOM SEED= 2019850809

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:      19105252 kB
Buffers:        435184 kB
Cached:       14133080 kB
SwapCached:          0 kB
Active:        4080772 kB
Inactive:     10496100 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           23032 kB
Writeback:           0 kB
AnonPages:        8076 kB
Mapped:           3828 kB
Slab:           689744 kB
SReclaimable:   662828 kB
SUnreclaim:      26916 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= 7008 MiB
End job on xenhost3-49 at 2009-06-12 18:43:47