Trace number 1781052

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) 2293.76 1000.05

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
MD5SUM6419e2e5b92274df2e7e43e6c6a98566
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark805.72
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses57446
Sum of the clauses size170514
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21939
Number of clauses of size 355484
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1781052-1244851564/watcher-1781052-1244851564 -o /tmp/evaluation-result-1781052-1244851564/solver-1781052-1244851564 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781052-1244851564.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: 8.43 9.37 9.13 2/184 12334
/proc/meminfo: memFree=19123320/36427776 swapFree=3260/8016
[pid=12334] ppid=12332 vsize=7272 CPUtime=0
/proc/12334/stat : 12334 (satake) S 12332 12334 27791 0 -1 4202496 464 0 0 0 0 0 0 0 20 0 15 0 644462738 7446528 416 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/12334/statm: 1818 416 63 164 0 1653 0
[pid=12334/tid=12335] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12335/stat : 12335 (satake) S 12332 12334 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 644462739 7790592 452 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12336] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12336/stat : 12336 (satake) S 12332 12334 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 16 0 644462739 7790592 453 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12337] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12337/stat : 12337 (satake) D 12332 12334 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 16 0 644462739 7790592 455 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12334/tid=12338] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12338/stat : 12338 (satake) R 12332 12334 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 644462739 7790592 461 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12339] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12339/stat : 12339 (satake) R 12332 12334 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 16 0 644462739 7790592 461 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12334/tid=12340] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12340/stat : 12340 (satake) R 12332 12334 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 16 0 644462739 7790592 461 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12334/tid=12341] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12341/stat : 12341 (satake) R 12332 12334 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 462 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12342] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12342/stat : 12342 (satake) S 12332 12334 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 462 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12343] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12343/stat : 12343 (satake) R 12332 12334 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 468 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12334/tid=12344] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12344/stat : 12344 (satake) S 12332 12334 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 491 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12345] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12345/stat : 12345 (satake) R 12332 12334 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 505 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12346] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12346/stat : 12346 (satake) S 12332 12334 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 505 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12347] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12347/stat : 12347 (satake) S 12332 12334 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 509 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12348] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12348/stat : 12348 (satake) D 12332 12334 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644462739 7790592 510 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12349] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12349/stat : 12349 (satake) D 12332 12334 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 644462740 7790592 510 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12350] ppid=12332 vsize=7608 CPUtime=0
/proc/12334/task/12350/stat : 12350 (satake) R 12332 12334 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 644462740 7790592 515 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.085016 s]
/proc/loadavg: 8.43 9.37 9.13 2/184 12334
/proc/meminfo: memFree=19123320/36427776 swapFree=3260/8016
[pid=12334] ppid=12332 vsize=26328 CPUtime=0.38
/proc/12334/stat : 12334 (satake) S 12332 12334 27791 0 -1 4202496 4302 0 0 0 10 28 0 0 20 0 17 0 644462738 26959872 4238 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/12334/statm: 6582 4240 63 164 0 6417 0
[pid=12334/tid=12335] ppid=12332 vsize=26328 CPUtime=0
/proc/12334/task/12335/stat : 12335 (satake) S 12332 12334 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644462739 26959872 4240 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12336] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12336/stat : 12336 (satake) S 12332 12334 27791 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 17 0 644462739 26959872 4240 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12337] ppid=12332 vsize=26328 CPUtime=0.04
/proc/12334/task/12337/stat : 12337 (satake) D 12332 12334 27791 0 -1 4202560 294 0 0 0 0 4 0 0 20 0 17 0 644462739 26959872 4241 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12334/tid=12338] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12338/stat : 12338 (satake) R 12332 12334 27791 0 -1 4202560 255 0 0 0 2 0 0 0 20 0 17 0 644462739 26959872 4249 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12339] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12339/stat : 12339 (satake) R 12332 12334 27791 0 -1 4202560 287 0 0 0 0 2 0 0 20 0 17 0 644462739 26959872 4254 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12334/tid=12340] ppid=12332 vsize=26328 CPUtime=0.04
/proc/12334/task/12340/stat : 12340 (satake) R 12332 12334 27791 0 -1 4202560 325 0 0 0 0 4 0 0 20 0 17 0 644462739 26959872 4258 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12334/tid=12341] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12341/stat : 12341 (satake) S 12332 12334 27791 0 -1 4202560 284 0 0 0 2 0 0 0 20 0 17 0 644462739 26959872 4260 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12342] ppid=12332 vsize=26328 CPUtime=0
/proc/12334/task/12342/stat : 12342 (satake) D 12332 12334 27791 0 -1 4202560 207 0 0 0 0 0 0 0 20 0 17 0 644462739 26959872 4260 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12343] ppid=12332 vsize=26328 CPUtime=0.04
/proc/12334/task/12343/stat : 12343 (satake) D 12332 12334 27791 0 -1 4202560 288 0 0 0 0 4 0 0 20 0 17 0 644462739 26959872 4262 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12334/tid=12344] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12344/stat : 12344 (satake) S 12332 12334 27791 0 -1 4202560 298 0 0 0 0 2 0 0 20 0 17 0 644462739 26959872 4263 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12345] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12345/stat : 12345 (satake) D 12332 12334 27791 0 -1 4202560 264 0 0 0 2 0 0 0 20 0 17 0 644462739 26959872 4264 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12346] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12346/stat : 12346 (satake) S 12332 12334 27791 0 -1 4202560 295 0 0 0 0 2 0 0 20 0 17 0 644462739 26959872 4267 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12347] ppid=12332 vsize=26328 CPUtime=0
/proc/12334/task/12347/stat : 12347 (satake) S 12332 12334 27791 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 17 0 644462739 26959872 4267 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12348] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12348/stat : 12348 (satake) R 12332 12334 27791 0 -1 4202560 277 0 0 0 0 2 0 0 20 0 17 0 644462739 26959872 4272 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12334/tid=12349] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12349/stat : 12349 (satake) R 12332 12334 27791 0 -1 4202560 269 0 0 0 0 2 0 0 20 0 17 0 644462740 26959872 4272 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12350] ppid=12332 vsize=26328 CPUtime=0.02
/proc/12334/task/12350/stat : 12350 (satake) R 12332 12334 27791 0 -1 4202560 270 0 0 0 0 2 0 0 20 0 17 0 644462740 26959872 4273 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 26328

[startup+0.105008 s]
/proc/loadavg: 8.43 9.37 9.13 2/184 12334
/proc/meminfo: memFree=19123320/36427776 swapFree=3260/8016
[pid=12334] ppid=12332 vsize=28676 CPUtime=0.42
/proc/12334/stat : 12334 (satake) S 12332 12334 27791 0 -1 4202496 4866 0 0 0 11 31 0 0 20 0 17 0 644462738 29364224 4802 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/12334/statm: 7169 4802 63 164 0 7004 0
[pid=12334/tid=12335] ppid=12332 vsize=28676 CPUtime=0
/proc/12334/task/12335/stat : 12335 (satake) S 12332 12334 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644462739 29364224 4802 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12336] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12336/stat : 12336 (satake) R 12332 12334 27791 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 17 0 644462739 29364224 4802 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12337] ppid=12332 vsize=28676 CPUtime=0.04
/proc/12334/task/12337/stat : 12337 (satake) D 12332 12334 27791 0 -1 4202560 334 0 0 0 0 4 0 0 20 0 17 0 644462739 29364224 4802 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=12334/tid=12338] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12338/stat : 12338 (satake) S 12332 12334 27791 0 -1 4202560 301 0 0 0 2 0 0 0 20 0 17 0 644462739 29364224 4802 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12339] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12339/stat : 12339 (satake) S 12332 12334 27791 0 -1 4202560 294 0 0 0 0 2 0 0 20 0 17 0 644462739 29364224 4804 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=12334/tid=12340] ppid=12332 vsize=28676 CPUtime=0.04
/proc/12334/task/12340/stat : 12340 (satake) D 12332 12334 27791 0 -1 4202560 378 0 0 0 0 4 0 0 20 0 17 0 644462739 29364224 4805 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=12334/tid=12341] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12341/stat : 12341 (satake) R 12332 12334 27791 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 17 0 644462739 29364224 4805 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12342] ppid=12332 vsize=28676 CPUtime=0
/proc/12334/task/12342/stat : 12342 (satake) D 12332 12334 27791 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 17 0 644462739 29364224 4806 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12343] ppid=12332 vsize=28676 CPUtime=0.04
/proc/12334/task/12343/stat : 12343 (satake) D 12332 12334 27791 0 -1 4202560 344 0 0 0 0 4 0 0 20 0 17 0 644462739 29364224 4806 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=12334/tid=12344] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12344/stat : 12344 (satake) R 12332 12334 27791 0 -1 4202560 317 0 0 0 0 2 0 0 20 0 17 0 644462739 29364224 4808 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12345] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12345/stat : 12345 (satake) R 12332 12334 27791 0 -1 4202560 308 0 0 0 2 0 0 0 20 0 17 0 644462739 29364224 4810 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12346] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12346/stat : 12346 (satake) R 12332 12334 27791 0 -1 4202560 312 0 0 0 0 2 0 0 20 0 17 0 644462739 29364224 4810 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12347] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12347/stat : 12347 (satake) R 12332 12334 27791 0 -1 4202560 292 0 0 0 2 0 0 0 20 0 17 0 644462739 29364224 4811 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12348] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12348/stat : 12348 (satake) R 12332 12334 27791 0 -1 4202560 298 0 0 0 0 2 0 0 20 0 17 0 644462739 29364224 4811 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12334/tid=12349] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12349/stat : 12349 (satake) S 12332 12334 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 644462740 29364224 4811 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12350] ppid=12332 vsize=28676 CPUtime=0.02
/proc/12334/task/12350/stat : 12350 (satake) S 12332 12334 27791 0 -1 4202560 312 0 0 0 0 2 0 0 20 0 17 0 644462740 29364224 4812 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 28676

[startup+0.304999 s]
/proc/loadavg: 8.43 9.37 9.13 2/184 12334
/proc/meminfo: memFree=19123320/36427776 swapFree=3260/8016
[pid=12334] ppid=12332 vsize=49056 CPUtime=1.13
/proc/12334/stat : 12334 (satake) S 12332 12334 27791 0 -1 4202496 9238 0 0 0 35 78 0 0 20 0 17 0 644462738 50233344 8958 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/12334/statm: 12264 8960 66 164 0 12099 0
[pid=12334/tid=12335] ppid=12332 vsize=49056 CPUtime=0
/proc/12334/task/12335/stat : 12335 (satake) S 12332 12334 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644462739 50233344 8960 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12336] ppid=12332 vsize=49056 CPUtime=0.06
/proc/12334/task/12336/stat : 12336 (satake) S 12332 12334 27791 0 -1 4202560 716 0 0 0 4 2 0 0 20 0 17 0 644462739 50233344 8960 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12337] ppid=12332 vsize=49056 CPUtime=0.1
/proc/12334/task/12337/stat : 12337 (satake) S 12332 12334 27791 0 -1 4202560 634 0 0 0 4 6 0 0 20 0 17 0 644462739 50233344 8960 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=12334/tid=12338] ppid=12332 vsize=49056 CPUtime=0.06
/proc/12334/task/12338/stat : 12338 (satake) D 12332 12334 27791 0 -1 4202560 520 0 0 0 2 4 0 0 20 0 17 0 644462739 50233344 8960 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12339] ppid=12332 vsize=49056 CPUtime=0.08
/proc/12334/task/12339/stat : 12339 (satake) D 12332 12334 27791 0 -1 4202560 568 0 0 0 0 8 0 0 20 0 17 0 644462739 50233344 8961 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=12334/tid=12340] ppid=12332 vsize=49056 CPUtime=0.1
/proc/12334/task/12340/stat : 12340 (satake) S 12332 12334 27791 0 -1 4202560 717 0 0 0 2 8 0 0 20 0 17 0 644462739 50233344 8961 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=12334/tid=12341] ppid=12332 vsize=49056 CPUtime=0.08
/proc/12334/task/12341/stat : 12341 (satake) R 12332 12334 27791 0 -1 4202560 644 0 0 0 8 0 0 0 20 0 17 0 644462739 50233344 8964 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12342] ppid=12332 vsize=49056 CPUtime=0.06
/proc/12334/task/12342/stat : 12342 (satake) D 12332 12334 27791 0 -1 4202560 632 0 0 0 2 4 0 0 20 0 17 0 644462739 50233344 8964 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12343] ppid=12332 vsize=49056 CPUtime=0.1
/proc/12334/task/12343/stat : 12343 (satake) S 12332 12334 27791 0 -1 4202560 693 0 0 0 2 8 0 0 20 0 17 0 644462739 50233344 8964 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=12334/tid=12344] ppid=12332 vsize=49056 CPUtime=0.08
/proc/12334/task/12344/stat : 12344 (satake) R 12332 12334 27791 0 -1 4202560 701 0 0 0 2 6 0 0 20 0 17 0 644462739 50233344 8966 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12345] ppid=12332 vsize=49056 CPUtime=0.06
/proc/12334/task/12345/stat : 12345 (satake) R 12332 12334 27791 0 -1 4202560 614 0 0 0 2 4 0 0 20 0 17 0 644462739 50233344 8967 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=12334/tid=12346] ppid=12332 vsize=49056 CPUtime=0.06
/proc/12334/task/12346/stat : 12346 (satake) R 12332 12334 27791 0 -1 4202560 621 0 0 0 0 6 0 0 20 0 17 0 644462739 50233344 8969 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12347] ppid=12332 vsize=49056 CPUtime=0.02
/proc/12334/task/12347/stat : 12347 (satake) S 12332 12334 27791 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 17 0 644462739 50233344 8970 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=12334/tid=12348] ppid=12332 vsize=49056 CPUtime=0.04
/proc/12334/task/12348/stat : 12348 (satake) D 12332 12334 27791 0 -1 4202560 491 0 0 0 0 4 0 0 20 0 17 0 644462739 50233344 8971 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=12334/tid=12349] ppid=12332 vsize=49056 CPUtime=0.08
/proc/12334/task/12349/stat : 12349 (satake) S 12332 12334 27791 0 -1 4202560 617 0 0 0 0 8 0 0 20 0 17 0 644462740 50233344 8971 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12350] ppid=12332 vsize=49056 CPUtime=0.06
/proc/12334/task/12350/stat : 12350 (satake) D 12332 12334 27791 0 -1 4202560 581 0 0 0 2 4 0 0 20 0 17 0 644462740 50233344 8971 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 49056

[startup+0.700965 s]
/proc/loadavg: 8.43 9.37 9.13 2/184 12334
/proc/meminfo: memFree=19123320/36427776 swapFree=3260/8016
[pid=12334] ppid=12332 vsize=47316 CPUtime=2.09
/proc/12334/stat : 12334 (satake) S 12332 12334 27791 0 -1 4202496 12462 0 0 0 94 115 0 0 20 0 17 0 644462738 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/12334/statm: 11829 9158 68 164 0 11664 0
[pid=12334/tid=12335] ppid=12332 vsize=47316 CPUtime=0.12
/proc/12334/task/12335/stat : 12335 (satake) R 12332 12334 27791 0 -1 4202560 32 0 0 0 2 10 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=12334/tid=12336] ppid=12332 vsize=47316 CPUtime=0.12
/proc/12334/task/12336/stat : 12336 (satake) S 12332 12334 27791 0 -1 4202560 886 0 0 0 8 4 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12337] ppid=12332 vsize=47316 CPUtime=0.16
/proc/12334/task/12337/stat : 12337 (satake) S 12332 12334 27791 0 -1 4202560 787 0 0 0 8 8 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=12334/tid=12338] ppid=12332 vsize=47316 CPUtime=0.1
/proc/12334/task/12338/stat : 12338 (satake) S 12332 12334 27791 0 -1 4202560 834 0 0 0 4 6 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=12334/tid=12339] ppid=12332 vsize=47316 CPUtime=0.14
/proc/12334/task/12339/stat : 12339 (satake) S 12332 12334 27791 0 -1 4202560 813 0 0 0 6 8 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=12334/tid=12340] ppid=12332 vsize=47316 CPUtime=0.18
/proc/12334/task/12340/stat : 12340 (satake) S 12332 12334 27791 0 -1 4202560 764 0 0 0 8 10 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=12334/tid=12341] ppid=12332 vsize=47316 CPUtime=0.1
/proc/12334/task/12341/stat : 12341 (satake) S 12332 12334 27791 0 -1 4202560 801 0 0 0 8 2 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12342] ppid=12332 vsize=47316 CPUtime=0.14
/proc/12334/task/12342/stat : 12342 (satake) S 12332 12334 27791 0 -1 4202560 892 0 0 0 6 8 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=12334/tid=12343] ppid=12332 vsize=47316 CPUtime=0.16
/proc/12334/task/12343/stat : 12343 (satake) S 12332 12334 27791 0 -1 4202560 740 0 0 0 8 8 0 0 20 0 17 0 644462739 48451584 9158 18446744073709551615 134512640 135180984 4289339792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=12334/tid=12344] ppid=12332 vsize=47316 CPUtime=0.12

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

deleting IPC queue 2555982
deleting IPC queue 2588751
deleting IPC queue 2621520
deleting IPC queue 2654289
deleting IPC queue 2687058
deleting IPC queue 2719827
deleting IPC queue 2752596
deleting IPC queue 2785365
deleting IPC queue 2818134
deleting IPC queue 2850903
deleting IPC queue 2883672
deleting IPC queue 2916441
deleting IPC queue 2949210
deleting IPC queue 2981979
deleting IPC queue 3014748
deleting IPC queue 3047517
deleting IPC queue 3080286
deleting IPC queue 3113055
deleting IPC queue 3145824
deleting IPC queue 3178593
deleting IPC queue 3211362
deleting IPC queue 3244131
deleting IPC queue 3276900
deleting IPC queue 3309669
deleting IPC queue 3342438
deleting IPC queue 3375207
deleting IPC queue 3407976
deleting IPC queue 3440745
deleting IPC queue 3473514
deleting IPC queue 3506283
deleting IPC queue 3539052
deleting IPC queue 3571821
deleting IPC queue 3604590
deleting IPC queue 3637359
deleting IPC queue 3670128
deleting IPC queue 3702897
deleting IPC queue 3735666
deleting IPC queue 3768435
deleting IPC queue 3801204
deleting IPC queue 3833973
deleting IPC queue 3866742
deleting IPC queue 3899511
deleting IPC queue 3932280
deleting IPC queue 3965049
deleting IPC queue 3997818
deleting IPC queue 4030587
deleting IPC queue 4063356
deleting IPC queue 4096125
deleting IPC queue 4128894
deleting IPC queue 4161663
deleting IPC queue 4194432
deleting IPC queue 4227201
deleting IPC queue 4259970
deleting IPC queue 4292739
deleting IPC queue 4325508
deleting IPC queue 4358277
deleting IPC queue 4391046
deleting IPC queue 4423815
deleting IPC queue 4456584
deleting IPC queue 4489353
deleting IPC queue 4522122
deleting IPC queue 4554891
deleting IPC queue 4587660
deleting IPC queue 4620429
deleting IPC queue 4653198
deleting IPC queue 4685967
deleting IPC queue 4718736
deleting IPC queue 4751505
deleting IPC queue 4784274
deleting IPC queue 4817043
deleting IPC queue 4849812
deleting IPC queue 4882581
deleting IPC queue 4915350
deleting IPC queue 4948119
deleting IPC queue 4980888
deleting IPC queue 5013657
deleting IPC queue 5046426
deleting IPC queue 5079195
deleting IPC queue 5111964
deleting IPC queue 5144733
deleting IPC queue 5177502
deleting IPC queue 5210271
deleting IPC queue 5243040
deleting IPC queue 5275809
deleting IPC queue 5308578
deleting IPC queue 5341347
deleting IPC queue 5374116
deleting IPC queue 5406885
deleting IPC queue 5439654
deleting IPC queue 5472423
deleting IPC queue 5505192
deleting IPC queue 5537961
deleting IPC queue 5570730
deleting IPC queue 5603499
deleting IPC queue 5636268
deleting IPC queue 5669037
deleting IPC queue 5701806
deleting IPC queue 5734575
deleting IPC queue 5767344
deleting IPC queue 5800113
deleting IPC queue 5832882
deleting IPC queue 5865651
deleting IPC queue 5898420
deleting IPC queue 5931189
deleting IPC queue 5963958
deleting IPC queue 5996727
deleting IPC queue 6029496
deleting IPC queue 6062265
deleting IPC queue 6095034
deleting IPC queue 6127803
deleting IPC queue 6160572
deleting IPC queue 6193341
deleting IPC queue 6226110
deleting IPC queue 6258879
deleting IPC queue 6291648
deleting IPC queue 6324417
deleting IPC queue 6357186
deleting IPC queue 6389955
deleting IPC queue 6422724
deleting IPC queue 6455493
deleting IPC queue 6488262
deleting IPC queue 6521031
deleting IPC queue 6553800
deleting IPC queue 6586569
deleting IPC queue 6619338
deleting IPC queue 6652107
deleting IPC queue 6684876
deleting IPC queue 6717645
deleting IPC queue 6750414
deleting IPC queue 6783183
deleting IPC queue 6815952
deleting IPC queue 6848721
deleting IPC queue 6881490
deleting IPC queue 6914259
deleting IPC queue 6947028
deleting IPC queue 6979797
deleting IPC queue 7012566
deleting IPC queue 7045335
deleting IPC queue 7078104
deleting IPC queue 7110873
deleting IPC queue 7143642
deleting IPC queue 7176411
deleting IPC queue 7209180
deleting IPC queue 7241949
deleting IPC queue 7274718
deleting IPC queue 7307487
deleting IPC queue 7340256
deleting IPC queue 7373025
deleting IPC queue 7405794
deleting IPC queue 7438563
deleting IPC queue 7471332
deleting IPC queue 7504101
deleting IPC queue 7536870
deleting IPC queue 7569639
deleting IPC queue 7602408
deleting IPC queue 7635177
deleting IPC queue 7667946
deleting IPC queue 7700715
deleting IPC queue 7733484
deleting IPC queue 7766253
deleting IPC queue 7799022
deleting IPC queue 7831791
deleting IPC queue 7864560
deleting IPC queue 7897329
deleting IPC queue 7930098
deleting IPC queue 7962867
deleting IPC queue 7995636
deleting IPC queue 8028405
deleting IPC queue 8061174
deleting IPC queue 8093943
deleting IPC queue 8126712
deleting IPC queue 8159481
deleting IPC queue 8192250
deleting IPC queue 8225019
deleting IPC queue 8257788
deleting IPC queue 8290557
deleting IPC queue 8323326
deleting IPC queue 8356095

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1644.01
system time used= 649.749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67740
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= 57366225
involuntary context switches= 4609500

runsolver used 4.06825 second user time and 11.8367 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 02:06:04
IDJOB=1781052
IDBENCH=71091
IDSOLVER=631
FILE ID=xenhost3-49/1781052-1244851564
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED= 1384284390

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:      19123320 kB
Buffers:        435636 kB
Cached:       14113568 kB
SwapCached:          0 kB
Active:        4080576 kB
Inactive:     10477072 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1480 kB
Writeback:           0 kB
AnonPages:        8016 kB
Mapped:           3260 kB
Slab:           690280 kB
SReclaimable:   662888 kB
SUnreclaim:      27392 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= 7027 MiB
End job on xenhost3-49 at 2009-06-13 02:22:46