Trace number 1781082

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) 8710.76 1000.1

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
MD5SUM3cd74d1813a4408b4123afc23df07d7d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1910
Number of clauses167931
Sum of the clauses size500698
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23312
Number of clauses of size 3164588
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1781082-1244853283/watcher-1781082-1244853283 -o /tmp/evaluation-result-1781082-1244853283/solver-1781082-1244853283 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781082-1244853283.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: 15.05 13.95 10.38 2/184 12472
/proc/meminfo: memFree=19126032/36427776 swapFree=3652/8104
[pid=12472] ppid=12470 vsize=7840 CPUtime=0
/proc/12472/stat : 12472 (satake) R 12470 12472 27791 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 14 0 644634725 8028160 345 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/12472/statm: 1993 345 63 164 0 1828 0
[pid=12472/tid=12473] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12473/stat : 12473 (satake) S 12470 12472 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 425 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12474/stat : 12474 (satake) S 12470 12472 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 428 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12475/stat : 12475 (satake) R 12470 12472 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 430 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12476/stat : 12476 (satake) R 12470 12472 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 432 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12477/stat : 12477 (satake) R 12470 12472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 433 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12478/stat : 12478 (satake) S 12470 12472 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 436 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12479/stat : 12479 (satake) S 12470 12472 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 438 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=8232 CPUtime=0
/proc/12472/task/12480/stat : 12480 (satake) R 12470 12472 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 16 0 644634725 8429568 444 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=8364 CPUtime=0
/proc/12472/task/12481/stat : 12481 (satake) D 12470 12472 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 16 0 644634725 8564736 444 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=8364 CPUtime=0
/proc/12472/task/12482/stat : 12482 (satake) S 12470 12472 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 644634725 8564736 444 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=8364 CPUtime=0
/proc/12472/task/12483/stat : 12483 (satake) S 12470 12472 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 644634725 8564736 449 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12484] ppid=12470 vsize=8364 CPUtime=0
/proc/12472/task/12484/stat : 12484 (satake) R 12470 12472 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 644634725 8564736 450 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12485] ppid=12470 vsize=8364 CPUtime=0
/proc/12472/task/12485/stat : 12485 (satake) R 12470 12472 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 644634725 8564736 451 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12472/tid=12486] ppid=12470 vsize=8364 CPUtime=0
/proc/12472/task/12486/stat : 12486 (satake) R 12470 12472 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 644634726 8564736 451 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12487] ppid=12470 vsize=8364 CPUtime=0
/proc/12472/task/12487/stat : 12487 (satake) R 12470 12472 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 644634726 8564736 451 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.050619 s]
/proc/loadavg: 15.05 13.95 10.38 2/184 12472
/proc/meminfo: memFree=19126032/36427776 swapFree=3652/8104
[pid=12472] ppid=12470 vsize=28312 CPUtime=0.17
/proc/12472/stat : 12472 (satake) S 12470 12472 27791 0 -1 4202496 4753 0 0 0 0 17 0 0 20 0 17 0 644634725 28991488 4693 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/12472/statm: 8103 4693 63 164 0 7938 0
[pid=12472/tid=12473] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12473/stat : 12473 (satake) S 12470 12472 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 644634725 31088640 4693 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=30360 CPUtime=0.02
/proc/12472/task/12474/stat : 12474 (satake) R 12470 12472 27791 0 -1 4202560 471 0 0 0 0 2 0 0 20 0 17 0 644634725 31088640 4700 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12475/stat : 12475 (satake) R 12470 12472 27791 0 -1 4202560 97 0 0 0 0 0 0 0 20 0 17 0 644634725 31088640 4701 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=30360 CPUtime=0.02
/proc/12472/task/12476/stat : 12476 (satake) R 12470 12472 27791 0 -1 4202560 530 0 0 0 0 2 0 0 20 0 17 0 644634725 31088640 4701 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=30360 CPUtime=0.02
/proc/12472/task/12477/stat : 12477 (satake) R 12470 12472 27791 0 -1 4202560 476 0 0 0 0 2 0 0 20 0 17 0 644634725 31088640 4701 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12478/stat : 12478 (satake) R 12470 12472 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 644634725 31088640 4701 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12479/stat : 12479 (satake) R 12470 12472 27791 0 -1 4202560 261 0 0 0 0 0 0 0 20 0 17 0 644634725 31088640 4705 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=30360 CPUtime=0.02
/proc/12472/task/12480/stat : 12480 (satake) R 12470 12472 27791 0 -1 4202560 509 0 0 0 0 2 0 0 20 0 17 0 644634725 31088640 4707 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=30360 CPUtime=0.02
/proc/12472/task/12481/stat : 12481 (satake) R 12470 12472 27791 0 -1 4202560 494 0 0 0 0 2 0 0 20 0 17 0 644634725 31088640 4708 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12482/stat : 12482 (satake) R 12470 12472 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 644634725 31088640 4709 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12483/stat : 12483 (satake) R 12470 12472 27791 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 17 0 644634725 31088640 4710 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12484] ppid=12470 vsize=30360 CPUtime=0.02
/proc/12472/task/12484/stat : 12484 (satake) R 12470 12472 27791 0 -1 4202560 428 0 0 0 0 2 0 0 20 0 17 0 644634725 31088640 4713 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12485] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12485/stat : 12485 (satake) R 12470 12472 27791 0 -1 4202560 366 0 0 0 0 0 0 0 20 0 17 0 644634725 31088640 4714 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12472/tid=12486] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12486/stat : 12486 (satake) R 12470 12472 27791 0 -1 4202560 213 0 0 0 0 0 0 0 20 0 17 0 644634726 31088640 4716 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12487] ppid=12470 vsize=30360 CPUtime=0
/proc/12472/task/12487/stat : 12487 (satake) R 12470 12472 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 644634726 31088640 4717 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 28312

[startup+0.102611 s]
/proc/loadavg: 15.05 13.95 10.38 2/184 12472
/proc/meminfo: memFree=19126032/36427776 swapFree=3652/8104
[pid=12472] ppid=12470 vsize=44232 CPUtime=0.47
/proc/12472/stat : 12472 (satake) S 12470 12472 27791 0 -1 4202496 8001 0 0 0 2 45 0 0 20 0 17 0 644634725 45293568 7941 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/12472/statm: 11058 7941 63 164 0 10893 0
[pid=12472/tid=12473] ppid=12470 vsize=44232 CPUtime=0
/proc/12472/task/12473/stat : 12473 (satake) S 12470 12472 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 644634725 45293568 7941 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=44232 CPUtime=0.04
/proc/12472/task/12474/stat : 12474 (satake) R 12470 12472 27791 0 -1 4202560 732 0 0 0 0 4 0 0 20 0 17 0 644634725 45293568 7941 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=44232 CPUtime=0
/proc/12472/task/12475/stat : 12475 (satake) D 12470 12472 27791 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 17 0 644634725 45293568 7941 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=44232 CPUtime=0.04
/proc/12472/task/12476/stat : 12476 (satake) D 12470 12472 27791 0 -1 4202560 762 0 0 0 0 4 0 0 20 0 17 0 644634725 45293568 7942 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=44232 CPUtime=0.04
/proc/12472/task/12477/stat : 12477 (satake) R 12470 12472 27791 0 -1 4202560 707 0 0 0 0 4 0 0 20 0 17 0 644634725 45293568 7942 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=44232 CPUtime=0.02
/proc/12472/task/12478/stat : 12478 (satake) D 12470 12472 27791 0 -1 4202560 259 0 0 0 0 2 0 0 20 0 17 0 644634725 45293568 7942 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=44232 CPUtime=0.02
/proc/12472/task/12479/stat : 12479 (satake) D 12470 12472 27791 0 -1 4202560 551 0 0 0 0 2 0 0 20 0 17 0 644634725 45293568 7944 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=44232 CPUtime=0.06
/proc/12472/task/12480/stat : 12480 (satake) D 12470 12472 27791 0 -1 4202560 747 0 0 0 0 6 0 0 20 0 17 0 644634725 45293568 7944 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=44232 CPUtime=0.04
/proc/12472/task/12481/stat : 12481 (satake) R 12470 12472 27791 0 -1 4202560 732 0 0 0 0 4 0 0 20 0 17 0 644634725 45293568 7945 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=44232 CPUtime=0
/proc/12472/task/12482/stat : 12482 (satake) R 12470 12472 27791 0 -1 4202560 218 0 0 0 0 0 0 0 20 0 17 0 644634725 45293568 7948 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=44232 CPUtime=0.02
/proc/12472/task/12483/stat : 12483 (satake) R 12470 12472 27791 0 -1 4202560 358 0 0 0 0 2 0 0 20 0 17 0 644634725 45293568 7949 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12484] ppid=12470 vsize=44232 CPUtime=0.02
/proc/12472/task/12484/stat : 12484 (satake) R 12470 12472 27791 0 -1 4202560 678 0 0 0 0 2 0 0 20 0 17 0 644634725 45293568 7950 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12485] ppid=12470 vsize=44232 CPUtime=0.04
/proc/12472/task/12485/stat : 12485 (satake) D 12470 12472 27791 0 -1 4202560 695 0 0 0 0 4 0 0 20 0 17 0 644634725 45293568 7951 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12472/tid=12486] ppid=12470 vsize=44232 CPUtime=0.02
/proc/12472/task/12486/stat : 12486 (satake) R 12470 12472 27791 0 -1 4202560 327 0 0 0 0 2 0 0 20 0 17 0 644634726 45293568 7951 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12487] ppid=12470 vsize=44232 CPUtime=0
/proc/12472/task/12487/stat : 12487 (satake) R 12470 12472 27791 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 17 0 644634726 45293568 7951 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 44232

[startup+0.302597 s]
/proc/loadavg: 15.05 13.95 10.38 2/184 12472
/proc/meminfo: memFree=19126032/36427776 swapFree=3652/8104
[pid=12472] ppid=12470 vsize=63180 CPUtime=1.19
/proc/12472/stat : 12472 (satake) S 12470 12472 27791 0 -1 4202496 13923 0 0 0 9 110 0 0 20 0 17 0 644634725 64696320 13863 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/12472/statm: 15795 13864 63 164 0 15630 0
[pid=12472/tid=12473] ppid=12470 vsize=63180 CPUtime=0
/proc/12472/task/12473/stat : 12473 (satake) S 12470 12472 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 644634725 64696320 13864 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=63180 CPUtime=0.08
/proc/12472/task/12474/stat : 12474 (satake) D 12470 12472 27791 0 -1 4202560 1031 0 0 0 0 8 0 0 20 0 17 0 644634725 64696320 13865 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=63180 CPUtime=0.04
/proc/12472/task/12475/stat : 12475 (satake) R 12470 12472 27791 0 -1 4202560 776 0 0 0 0 4 0 0 20 0 17 0 644634725 64696320 13865 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=63180 CPUtime=0.1
/proc/12472/task/12476/stat : 12476 (satake) D 12470 12472 27791 0 -1 4202560 1181 0 0 0 2 8 0 0 20 0 17 0 644634725 64696320 13865 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=63180 CPUtime=0.1
/proc/12472/task/12477/stat : 12477 (satake) R 12470 12472 27791 0 -1 4202560 1021 0 0 0 0 10 0 0 20 0 17 0 644634725 64696320 13871 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=63180 CPUtime=0.04
/proc/12472/task/12478/stat : 12478 (satake) R 12470 12472 27791 0 -1 4202560 791 0 0 0 0 4 0 0 20 0 17 0 644634725 64696320 13871 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=63180 CPUtime=0.06
/proc/12472/task/12479/stat : 12479 (satake) S 12470 12472 27791 0 -1 4202560 814 0 0 0 0 6 0 0 20 0 17 0 644634725 64696320 13871 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=63180 CPUtime=0.12
/proc/12472/task/12480/stat : 12480 (satake) D 12470 12472 27791 0 -1 4202560 1089 0 0 0 2 10 0 0 20 0 17 0 644634725 64696320 13872 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=63180 CPUtime=0.12
/proc/12472/task/12481/stat : 12481 (satake) D 12470 12472 27791 0 -1 4202560 1080 0 0 0 2 10 0 0 20 0 17 0 644634725 64696320 13872 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=63180 CPUtime=0.04
/proc/12472/task/12482/stat : 12482 (satake) S 12470 12472 27791 0 -1 4202560 773 0 0 0 0 4 0 0 20 0 17 0 644634725 64696320 13873 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=63180 CPUtime=0.06
/proc/12472/task/12483/stat : 12483 (satake) S 12470 12472 27791 0 -1 4202560 785 0 0 0 0 6 0 0 20 0 17 0 644634725 64696320 13873 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=12472/tid=12484] ppid=12470 vsize=63180 CPUtime=0.08
/proc/12472/task/12484/stat : 12484 (satake) D 12470 12472 27791 0 -1 4202560 1052 0 0 0 0 8 0 0 20 0 17 0 644634725 64696320 13875 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12485] ppid=12470 vsize=63180 CPUtime=0.08
/proc/12472/task/12485/stat : 12485 (satake) D 12470 12472 27791 0 -1 4202560 943 0 0 0 0 8 0 0 20 0 17 0 644634725 64696320 13875 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=12472/tid=12486] ppid=12470 vsize=63180 CPUtime=0.06
/proc/12472/task/12486/stat : 12486 (satake) D 12470 12472 27791 0 -1 4202560 864 0 0 0 0 6 0 0 20 0 17 0 644634726 64696320 13875 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12487] ppid=12470 vsize=63180 CPUtime=0.04
/proc/12472/task/12487/stat : 12487 (satake) S 12470 12472 27791 0 -1 4202560 800 0 0 0 0 4 0 0 20 0 17 0 644634726 64696320 13875 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 63180

[startup+0.702722 s]
/proc/loadavg: 15.05 13.95 10.38 2/184 12472
/proc/meminfo: memFree=19126032/36427776 swapFree=3652/8104
[pid=12472] ppid=12470 vsize=100864 CPUtime=2.45
/proc/12472/stat : 12472 (satake) S 12470 12472 27791 0 -1 4202496 22091 0 0 0 73 172 0 0 20 0 17 0 644634725 103284736 22031 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/12472/statm: 25216 22032 63 164 0 25051 0
[pid=12472/tid=12473] ppid=12470 vsize=100864 CPUtime=0
/proc/12472/task/12473/stat : 12473 (satake) S 12470 12472 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 644634725 103284736 22033 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=100864 CPUtime=0.16
/proc/12472/task/12474/stat : 12474 (satake) S 12470 12472 27791 0 -1 4202560 1660 0 0 0 6 10 0 0 20 0 17 0 644634725 103284736 22033 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=100864 CPUtime=0.1
/proc/12472/task/12475/stat : 12475 (satake) D 12470 12472 27791 0 -1 4202560 1200 0 0 0 2 8 0 0 20 0 17 0 644634725 103284736 22033 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=100864 CPUtime=0.22
/proc/12472/task/12476/stat : 12476 (satake) S 12470 12472 27791 0 -1 4202560 2003 0 0 0 6 16 0 0 20 0 17 0 644634725 103284736 22034 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=100864 CPUtime=0.2
/proc/12472/task/12477/stat : 12477 (satake) R 12470 12472 27791 0 -1 4202560 1690 0 0 0 4 16 0 0 20 0 17 0 644634725 103284736 22035 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=100864 CPUtime=0.14
/proc/12472/task/12478/stat : 12478 (satake) S 12470 12472 27791 0 -1 4202560 1219 0 0 0 8 6 0 0 20 0 17 0 644634725 103284736 22036 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=100864 CPUtime=0.14
/proc/12472/task/12479/stat : 12479 (satake) D 12470 12472 27791 0 -1 4202560 1357 0 0 0 6 8 0 0 20 0 17 0 644634725 103284736 22039 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=100864 CPUtime=0.2
/proc/12472/task/12480/stat : 12480 (satake) R 12470 12472 27791 0 -1 4202560 1709 0 0 0 6 14 0 0 20 0 17 0 644634725 103284736 22039 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=100864 CPUtime=0.22
/proc/12472/task/12481/stat : 12481 (satake) D 12470 12472 27791 0 -1 4202560 1789 0 0 0 8 14 0 0 20 0 17 0 644634725 103284736 22040 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=100864 CPUtime=0.08
/proc/12472/task/12482/stat : 12482 (satake) R 12470 12472 27791 0 -1 4202560 1063 0 0 0 2 6 0 0 20 0 17 0 644634725 103284736 22040 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=100864 CPUtime=0.12
/proc/12472/task/12483/stat : 12483 (satake) D 12470 12472 27791 0 -1 4202560 1243 0 0 0 2 10 0 0 20 0 17 0 644634725 103284736 22043 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12472/tid=12484] ppid=12470 vsize=100864 CPUtime=0.2
/proc/12472/task/12484/stat : 12484 (satake) D 12470 12472 27791 0 -1 4202560 1775 0 0 0 8 12 0 0 20 0 17 0 644634725 103284736 22045 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12472/tid=12485] ppid=12470 vsize=100864 CPUtime=0.16
/proc/12472/task/12485/stat : 12485 (satake) S 12470 12472 27791 0 -1 4202560 1456 0 0 0 2 14 0 0 20 0 17 0 644634725 103284736 22045 18446744073709551615 134512640 135180984 4294053376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=12472/tid=12486] ppid=12470 vsize=100864 CPUtime=0.14

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

deleting IPC queue 19333198
deleting IPC queue 19365967
deleting IPC queue 19398736
deleting IPC queue 19431505
deleting IPC queue 19464274
deleting IPC queue 19497043
deleting IPC queue 19529812
deleting IPC queue 19562581
deleting IPC queue 19595350
deleting IPC queue 19628119
deleting IPC queue 19660888
deleting IPC queue 19693657
deleting IPC queue 19726426
deleting IPC queue 19759195
deleting IPC queue 19791964
deleting IPC queue 19824733
deleting IPC queue 19857502
deleting IPC queue 19890271
deleting IPC queue 19923040
deleting IPC queue 19955809
deleting IPC queue 19988578
deleting IPC queue 20021347
deleting IPC queue 20054116
deleting IPC queue 20086885
deleting IPC queue 20119654
deleting IPC queue 20152423
deleting IPC queue 20185192
deleting IPC queue 20217961
deleting IPC queue 20250730
deleting IPC queue 20283499
deleting IPC queue 20316268
deleting IPC queue 20349037
deleting IPC queue 20381806
deleting IPC queue 20414575
deleting IPC queue 20447344
deleting IPC queue 20480113
deleting IPC queue 20512882
deleting IPC queue 20545651
deleting IPC queue 20578420
deleting IPC queue 20611189
deleting IPC queue 20643958
deleting IPC queue 20676727
deleting IPC queue 20709496
deleting IPC queue 20742265
deleting IPC queue 20775034
deleting IPC queue 20807803
deleting IPC queue 20840572
deleting IPC queue 20873341
deleting IPC queue 20906110
deleting IPC queue 20938879
deleting IPC queue 20971648
deleting IPC queue 21004417
deleting IPC queue 21037186
deleting IPC queue 21069955
deleting IPC queue 21102724
deleting IPC queue 21135493
deleting IPC queue 21168262
deleting IPC queue 21201031
deleting IPC queue 21233800
deleting IPC queue 21266569
deleting IPC queue 21299338
deleting IPC queue 21332107
deleting IPC queue 21364876
deleting IPC queue 21397645
deleting IPC queue 21430414
deleting IPC queue 21463183
deleting IPC queue 21495952
deleting IPC queue 21528721
deleting IPC queue 21561490
deleting IPC queue 21594259
deleting IPC queue 21627028
deleting IPC queue 21659797
deleting IPC queue 21692566
deleting IPC queue 21725335
deleting IPC queue 21758104
deleting IPC queue 21790873
deleting IPC queue 21823642
deleting IPC queue 21856411
deleting IPC queue 21889180
deleting IPC queue 21921949
deleting IPC queue 21954718
deleting IPC queue 21987487
deleting IPC queue 22020256
deleting IPC queue 22053025
deleting IPC queue 22085794
deleting IPC queue 22118563
deleting IPC queue 22151332
deleting IPC queue 22184101
deleting IPC queue 22216870
deleting IPC queue 22249639
deleting IPC queue 22282408
deleting IPC queue 22315177
deleting IPC queue 22347946
deleting IPC queue 22380715
deleting IPC queue 22413484
deleting IPC queue 22446253
deleting IPC queue 22479022
deleting IPC queue 22511791
deleting IPC queue 22544560
deleting IPC queue 22577329
deleting IPC queue 22610098
deleting IPC queue 22642867
deleting IPC queue 22675636
deleting IPC queue 22708405
deleting IPC queue 22741174
deleting IPC queue 22773943
deleting IPC queue 22806712
deleting IPC queue 22839481
deleting IPC queue 22872250
deleting IPC queue 22905019
deleting IPC queue 22937788
deleting IPC queue 22970557
deleting IPC queue 23003326
deleting IPC queue 23036095
deleting IPC queue 23068864
deleting IPC queue 23101633
deleting IPC queue 23134402
deleting IPC queue 23167171
deleting IPC queue 23199940
deleting IPC queue 23232709
deleting IPC queue 23265478
deleting IPC queue 23298247
deleting IPC queue 23331016
deleting IPC queue 23363785
deleting IPC queue 23396554
deleting IPC queue 23429323
deleting IPC queue 23462092
deleting IPC queue 23494861
deleting IPC queue 23527630
deleting IPC queue 23560399
deleting IPC queue 23593168
deleting IPC queue 23625937
deleting IPC queue 23658706
deleting IPC queue 23691475
deleting IPC queue 23724244
deleting IPC queue 23757013
deleting IPC queue 23789782
deleting IPC queue 23822551
deleting IPC queue 23855320
deleting IPC queue 23888089
deleting IPC queue 23920858
deleting IPC queue 23953627
deleting IPC queue 23986396
deleting IPC queue 24019165
deleting IPC queue 24051934
deleting IPC queue 24084703
deleting IPC queue 24117472
deleting IPC queue 24150241
deleting IPC queue 24183010
deleting IPC queue 24215779
deleting IPC queue 24248548
deleting IPC queue 24281317
deleting IPC queue 24314086
deleting IPC queue 24346855
deleting IPC queue 24379624
deleting IPC queue 24412393
deleting IPC queue 24445162
deleting IPC queue 24477931
deleting IPC queue 24510700
deleting IPC queue 24543469
deleting IPC queue 24576238
deleting IPC queue 24609007
deleting IPC queue 24641776
deleting IPC queue 24674545
deleting IPC queue 24707314
deleting IPC queue 24740083
deleting IPC queue 24772852
deleting IPC queue 24805621
deleting IPC queue 24838390
deleting IPC queue 24871159
deleting IPC queue 24903928
deleting IPC queue 24936697
deleting IPC queue 24969466
deleting IPC queue 25002235
deleting IPC queue 25035004
deleting IPC queue 25067773
deleting IPC queue 25100542
deleting IPC queue 25133311

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8251.02
system time used= 459.741
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218715
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= 42361164
involuntary context switches= 12267216

runsolver used 4.27227 second user time and 13.6569 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 02:34:43
IDJOB=1781082
IDBENCH=71093
IDSOLVER=631
FILE ID=xenhost3-49/1781082-1244853283
PBS_JOBID=
Free space on /tmp= 7025 MiB

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

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

MD5SUM BENCH= 3cd74d1813a4408b4123afc23df07d7d
RANDOM SEED= 327144434

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:      19126032 kB
Buffers:        435640 kB
Cached:       14115696 kB
SwapCached:          0 kB
Active:        4080940 kB
Inactive:     10478508 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3352 kB
Writeback:           0 kB
AnonPages:        8104 kB
Mapped:           3652 kB
Slab:           689516 kB
SReclaimable:   662696 kB
SUnreclaim:      26820 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-13 02:51:26