Trace number 1776552

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (MO) 70.5524 7.97767

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
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 variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

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-1776552-1244750539/watcher-1776552-1244750539 -o /tmp/evaluation-result-1776552-1244750539/solver-1776552-1244750539 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776552-1244750539.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 6.58 7.26 7.03 2/184 32545
/proc/meminfo: memFree=19010588/36427776 swapFree=4488/8060
[pid=32545] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/stat : 32545 (satake) R 32543 32545 27791 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 14 0 634360663 6893568 316 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32545/statm: 1683 317 63 164 0 1518 0
[pid=32545/tid=32546] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32546/stat : 32546 (satake) S 32543 32545 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 318 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32547] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32547/stat : 32547 (satake) R 32543 32545 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 320 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32545/tid=32548] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32548/stat : 32548 (satake) R 32543 32545 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 320 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32545/tid=32549] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32549/stat : 32549 (satake) R 32543 32545 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 320 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32550] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32550/stat : 32550 (satake) R 32543 32545 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 320 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32545/tid=32551] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32551/stat : 32551 (satake) S 32543 32545 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 324 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=32545/tid=32552] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32552/stat : 32552 (satake) R 32543 32545 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 325 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32545/tid=32553] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32553/stat : 32553 (satake) R 32543 32545 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 326 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32545/tid=32554] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32554/stat : 32554 (satake) S 32543 32545 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 328 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=32545/tid=32555] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32555/stat : 32555 (satake) R 32543 32545 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 328 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32545/tid=32556] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32556/stat : 32556 (satake) R 32543 32545 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 328 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32545/tid=32557] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32557/stat : 32557 (satake) R 32543 32545 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 14 0 634360664 6893568 328 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32545/tid=32558] ppid=32543 vsize=6732 CPUtime=0
/proc/32545/task/32558/stat : 32558 (satake) R 32543 32545 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 14 0 634360665 6893568 329 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.065069 s]
/proc/loadavg: 6.58 7.26 7.03 2/184 32545
/proc/meminfo: memFree=19010588/36427776 swapFree=4488/8060
[pid=32545] ppid=32543 vsize=22296 CPUtime=0.38
/proc/32545/stat : 32545 (satake) S 32543 32545 27791 0 -1 4202496 3200 0 0 0 0 38 0 0 20 0 17 0 634360663 22831104 3164 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32545/statm: 5574 3218 63 164 0 5409 0
[pid=32545/tid=32546] ppid=32543 vsize=22296 CPUtime=0
/proc/32545/task/32546/stat : 32546 (satake) S 32543 32545 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 634360664 22831104 3241 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32547] ppid=32543 vsize=22296 CPUtime=0.02
/proc/32545/task/32547/stat : 32547 (satake) R 32543 32545 27791 0 -1 4202560 252 0 0 0 0 2 0 0 20 0 17 0 634360664 22831104 3260 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32545/tid=32548] ppid=32543 vsize=22296 CPUtime=0.04
/proc/32545/task/32548/stat : 32548 (satake) R 32543 32545 27791 0 -1 4202560 317 0 0 0 0 4 0 0 20 0 17 0 634360664 22831104 3273 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32545/tid=32549] ppid=32543 vsize=22296 CPUtime=0.02
/proc/32545/task/32549/stat : 32549 (satake) R 32543 32545 27791 0 -1 4202560 240 0 0 0 0 2 0 0 20 0 17 0 634360664 22831104 3299 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32550] ppid=32543 vsize=22296 CPUtime=0.04
/proc/32545/task/32550/stat : 32550 (satake) R 32543 32545 27791 0 -1 4202560 331 0 0 0 0 4 0 0 20 0 17 0 634360664 22831104 3322 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32545/tid=32551] ppid=32543 vsize=22296 CPUtime=0.02
/proc/32545/task/32551/stat : 32551 (satake) R 32543 32545 27791 0 -1 4202560 262 0 0 0 0 2 0 0 20 0 17 0 634360664 22831104 3340 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32545/tid=32552] ppid=32543 vsize=22296 CPUtime=0.02
/proc/32545/task/32552/stat : 32552 (satake) R 32543 32545 27791 0 -1 4202560 262 0 0 0 0 2 0 0 20 0 17 0 634360664 22831104 3360 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32545/tid=32553] ppid=32543 vsize=22296 CPUtime=0.04
/proc/32545/task/32553/stat : 32553 (satake) R 32543 32545 27791 0 -1 4202560 238 0 0 0 0 4 0 0 20 0 17 0 634360664 22831104 3387 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32545/tid=32554] ppid=32543 vsize=22296 CPUtime=0.04
/proc/32545/task/32554/stat : 32554 (satake) R 32543 32545 27791 0 -1 4202560 240 0 0 0 0 4 0 0 20 0 17 0 634360664 22831104 3407 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32545/tid=32555] ppid=32543 vsize=22296 CPUtime=0.02
/proc/32545/task/32555/stat : 32555 (satake) R 32543 32545 27791 0 -1 4202560 232 0 0 0 0 2 0 0 20 0 17 0 634360664 22831104 3433 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32545/tid=32556] ppid=32543 vsize=22296 CPUtime=0.02
/proc/32545/task/32556/stat : 32556 (satake) R 32543 32545 27791 0 -1 4202560 260 0 0 0 0 2 0 0 20 0 17 0 634360664 22831104 3465 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32545/tid=32557] ppid=32543 vsize=22296 CPUtime=0.02
/proc/32545/task/32557/stat : 32557 (satake) R 32543 32545 27791 0 -1 4202560 265 0 0 0 0 2 0 0 20 0 17 0 634360664 22831104 3480 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32545/tid=32558] ppid=32543 vsize=22296 CPUtime=0
/proc/32545/task/32558/stat : 32558 (satake) R 32543 32545 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 634360665 22831104 3492 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 22296

[startup+0.107237 s]
/proc/loadavg: 6.58 7.26 7.03 2/184 32545
/proc/meminfo: memFree=19010588/36427776 swapFree=4488/8060
[pid=32545] ppid=32543 vsize=40984 CPUtime=0.85
/proc/32545/stat : 32545 (satake) S 32543 32545 27791 0 -1 4202496 7108 0 0 0 0 85 0 0 20 0 17 0 634360663 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32545/statm: 10246 7065 63 164 0 10081 0
[pid=32545/tid=32546] ppid=32543 vsize=40984 CPUtime=0
/proc/32545/task/32546/stat : 32546 (satake) S 32543 32545 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32547] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32547/stat : 32547 (satake) D 32543 32545 27791 0 -1 4202560 491 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32545/tid=32548] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32548/stat : 32548 (satake) D 32543 32545 27791 0 -1 4202560 618 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32545/tid=32549] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32549/stat : 32549 (satake) D 32543 32545 27791 0 -1 4202560 489 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32550] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32550/stat : 32550 (satake) D 32543 32545 27791 0 -1 4202560 766 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32545/tid=32551] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32551/stat : 32551 (satake) R 32543 32545 27791 0 -1 4202560 531 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32545/tid=32552] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32552/stat : 32552 (satake) D 32543 32545 27791 0 -1 4202560 512 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32545/tid=32553] ppid=32543 vsize=40984 CPUtime=0.08
/proc/32545/task/32553/stat : 32553 (satake) D 32543 32545 27791 0 -1 4202560 506 0 0 0 0 8 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32545/tid=32554] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32554/stat : 32554 (satake) D 32543 32545 27791 0 -1 4202560 505 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32545/tid=32555] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32555/stat : 32555 (satake) D 32543 32545 27791 0 -1 4202560 519 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32545/tid=32556] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32556/stat : 32556 (satake) D 32543 32545 27791 0 -1 4202560 595 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32545/tid=32557] ppid=32543 vsize=40984 CPUtime=0.06
/proc/32545/task/32557/stat : 32557 (satake) D 32543 32545 27791 0 -1 4202560 403 0 0 0 0 6 0 0 20 0 17 0 634360664 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32545/tid=32558] ppid=32543 vsize=40984 CPUtime=0
/proc/32545/task/32558/stat : 32558 (satake) D 32543 32545 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 634360665 41967616 7065 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 40984

[startup+0.304224 s]
/proc/loadavg: 6.58 7.26 7.03 2/184 32545
/proc/meminfo: memFree=19010588/36427776 swapFree=4488/8060
[pid=32545] ppid=32543 vsize=212184 CPUtime=3.06
/proc/32545/stat : 32545 (satake) S 32543 32545 27791 0 -1 4202496 30490 0 0 0 0 306 0 0 20 0 17 0 634360663 217276416 30431 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32545/statm: 53046 30434 63 164 0 52881 0
[pid=32545/tid=32546] ppid=32543 vsize=212184 CPUtime=0
/proc/32545/task/32546/stat : 32546 (satake) S 32543 32545 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 634360664 217276416 30437 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32547] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32547/stat : 32547 (satake) R 32543 32545 27791 0 -1 4202560 2551 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30437 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32545/tid=32548] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32548/stat : 32548 (satake) R 32543 32545 27791 0 -1 4202560 2195 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30438 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32545/tid=32549] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32549/stat : 32549 (satake) R 32543 32545 27791 0 -1 4202560 2095 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30439 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32550] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32550/stat : 32550 (satake) R 32543 32545 27791 0 -1 4202560 2564 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30442 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32545/tid=32551] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32551/stat : 32551 (satake) R 32543 32545 27791 0 -1 4202560 2161 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30443 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32545/tid=32552] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32552/stat : 32552 (satake) R 32543 32545 27791 0 -1 4202560 2301 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30445 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32545/tid=32553] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32553/stat : 32553 (satake) R 32543 32545 27791 0 -1 4202560 2239 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30445 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32545/tid=32554] ppid=32543 vsize=212184 CPUtime=0.16
/proc/32545/task/32554/stat : 32554 (satake) R 32543 32545 27791 0 -1 4202560 1286 0 0 0 0 16 0 0 20 0 17 0 634360664 217276416 30447 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32545/tid=32555] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32555/stat : 32555 (satake) R 32543 32545 27791 0 -1 4202560 2241 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30450 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32545/tid=32556] ppid=32543 vsize=212184 CPUtime=0.24
/proc/32545/task/32556/stat : 32556 (satake) R 32543 32545 27791 0 -1 4202560 2252 0 0 0 0 24 0 0 20 0 17 0 634360664 217276416 30452 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32545/tid=32557] ppid=32543 vsize=212184 CPUtime=0.14
/proc/32545/task/32557/stat : 32557 (satake) R 32543 32545 27791 0 -1 4202560 1231 0 0 0 0 14 0 0 20 0 17 0 634360664 217276416 30452 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32545/tid=32558] ppid=32543 vsize=212184 CPUtime=0.08
/proc/32545/task/32558/stat : 32558 (satake) R 32543 32545 27791 0 -1 4202560 758 0 0 0 0 8 0 0 20 0 17 0 634360665 217276416 30453 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 212184

[startup+0.70521 s]
/proc/loadavg: 6.58 7.26 7.03 2/184 32545
/proc/meminfo: memFree=19010588/36427776 swapFree=4488/8060
[pid=32545] ppid=32543 vsize=498904 CPUtime=7.91
/proc/32545/stat : 32545 (satake) S 32543 32545 27791 0 -1 4202496 94358 0 0 0 0 791 0 0 20 0 17 0 634360663 510877696 94303 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32545/statm: 124726 94356 63 164 0 124561 0
[pid=32545/tid=32546] ppid=32543 vsize=498904 CPUtime=0
/proc/32545/task/32546/stat : 32546 (satake) S 32543 32545 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 634360664 510877696 94389 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32547] ppid=32543 vsize=498904 CPUtime=0.6
/proc/32545/task/32547/stat : 32547 (satake) R 32543 32545 27791 0 -1 4202560 7851 0 0 0 0 60 0 0 20 0 17 0 634360664 510877696 94408 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32545/tid=32548] ppid=32543 vsize=498904 CPUtime=0.62
/proc/32545/task/32548/stat : 32548 (satake) R 32543 32545 27791 0 -1 4202560 6287 0 0 0 0 62 0 0 20 0 17 0 634360664 510877696 94428 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32545/tid=32549] ppid=32543 vsize=498904 CPUtime=0.6
/proc/32545/task/32549/stat : 32549 (satake) R 32543 32545 27791 0 -1 4202560 6673 0 0 0 0 60 0 0 20 0 17 0 634360664 510877696 94459 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32550] ppid=32543 vsize=498904 CPUtime=0.62
/proc/32545/task/32550/stat : 32550 (satake) R 32543 32545 27791 0 -1 4202560 7265 0 0 0 0 62 0 0 20 0 17 0 634360664 510877696 94488 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32545/tid=32551] ppid=32543 vsize=498904 CPUtime=0.6
/proc/32545/task/32551/stat : 32551 (satake) R 32543 32545 27791 0 -1 4202560 6875 0 0 0 0 60 0 0 20 0 17 0 634360664 510877696 94509 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32545/tid=32552] ppid=32543 vsize=498904 CPUtime=0.6
/proc/32545/task/32552/stat : 32552 (satake) R 32543 32545 27791 0 -1 4202560 6913 0 0 0 0 60 0 0 20 0 17 0 634360664 510877696 94531 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32545/tid=32553] ppid=32543 vsize=498904 CPUtime=0.62
/proc/32545/task/32553/stat : 32553 (satake) R 32543 32545 27791 0 -1 4202560 8405 0 0 0 0 62 0 0 20 0 17 0 634360664 510877696 94549 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32545/tid=32554] ppid=32543 vsize=498904 CPUtime=0.34
/proc/32545/task/32554/stat : 32554 (satake) R 32543 32545 27791 0 -1 4202560 3610 0 0 0 0 34 0 0 20 0 17 0 634360664 510877696 94567 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32545/tid=32555] ppid=32543 vsize=498904 CPUtime=0.6
/proc/32545/task/32555/stat : 32555 (satake) R 32543 32545 27791 0 -1 4202560 6941 0 0 0 0 60 0 0 20 0 17 0 634360664 510877696 94599 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32545/tid=32556] ppid=32543 vsize=498904 CPUtime=0.6
/proc/32545/task/32556/stat : 32556 (satake) R 32543 32545 27791 0 -1 4202560 7036 0 0 0 0 60 0 0 20 0 17 0 634360664 510877696 94619 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32545/tid=32557] ppid=32543 vsize=498904 CPUtime=0.34
/proc/32545/task/32557/stat : 32557 (satake) R 32543 32545 27791 0 -1 4202560 3372 0 0 0 0 34 0 0 20 0 17 0 634360664 510877696 94650 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32545/tid=32558] ppid=32543 vsize=498904 CPUtime=0.28
/proc/32545/task/32558/stat : 32558 (satake) R 32543 32545 27791 0 -1 4202560 2695 0 0 0 0 28 0 0 20 0 17 0 634360665 510877696 94700 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 498904

[startup+1.50439 s]
/proc/loadavg: 7.26 7.39 7.07 16/201 32562
/proc/meminfo: memFree=18450592/36427776 swapFree=4940/571148
[pid=32545] ppid=32543 vsize=1350872 CPUtime=17.17
/proc/32545/stat : 32545 (satake) S 32543 32545 27791 0 -1 4202496 223520 0 0 0 0 1717 0 0 20 0 17 0 634360663 1383292928 223468 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32545/statm: 337718 223523 63 164 0 337553 0
[pid=32545/tid=32546] ppid=32543 vsize=1350872 CPUtime=0
/proc/32545/task/32546/stat : 32546 (satake) S 32543 32545 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 634360664 1383292928 223558 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=32545/tid=32547] ppid=32543 vsize=1350872 CPUtime=1.32
/proc/32545/task/32547/stat : 32547 (satake) R 32543 32545 27791 0 -1 4202560 16320 0 0 0 0 132 0 0 20 0 17 0 634360664 1383292928 223596 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32545/tid=32548] ppid=32543 vsize=1350872 CPUtime=1.32
/proc/32545/task/32548/stat : 32548 (satake) R 32543 32545 27791 0 -1 4202560 14969 0 0 0 0 132 0 0 20 0 17 0 634360664 1383292928 223620 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32545/tid=32549] ppid=32543 vsize=1350872 CPUtime=1.32
/proc/32545/task/32549/stat : 32549 (satake) R 32543 32545 27791 0 -1 4202560 15617 0 0 0 0 132 0 0 20 0 17 0 634360664 1383292928 223650 18446744073709551615 134512640 135180984 4288782592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0

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

deleting IPC queue 589758542
deleting IPC queue 589791311
deleting IPC queue 589824080
deleting IPC queue 589856849
deleting IPC queue 589889618
deleting IPC queue 589922387
deleting IPC queue 589955156
deleting IPC queue 589987925
deleting IPC queue 590020694
deleting IPC queue 590053463
deleting IPC queue 590086232
deleting IPC queue 590119001
deleting IPC queue 590151770
deleting IPC queue 590184539
deleting IPC queue 590217308
deleting IPC queue 590250077
deleting IPC queue 590282846
deleting IPC queue 590315615
deleting IPC queue 590348384
deleting IPC queue 590381153
deleting IPC queue 590413922
deleting IPC queue 590446691
deleting IPC queue 590479460
deleting IPC queue 590512229
deleting IPC queue 590544998
deleting IPC queue 590577767
deleting IPC queue 590610536
deleting IPC queue 590643305
deleting IPC queue 590676074
deleting IPC queue 590708843
deleting IPC queue 590741612
deleting IPC queue 590774381
deleting IPC queue 590807150
deleting IPC queue 590839919
deleting IPC queue 590872688
deleting IPC queue 590905457
deleting IPC queue 590938226
deleting IPC queue 590970995
deleting IPC queue 591003764
deleting IPC queue 591036533
deleting IPC queue 591069302
deleting IPC queue 591102071
deleting IPC queue 591134840
deleting IPC queue 591167609
deleting IPC queue 591200378
deleting IPC queue 591233147
deleting IPC queue 591265916
deleting IPC queue 591298685
deleting IPC queue 591331454
deleting IPC queue 591364223
deleting IPC queue 591396992
deleting IPC queue 591429761
deleting IPC queue 591462530
deleting IPC queue 591495299
deleting IPC queue 591528068
deleting IPC queue 591560837
deleting IPC queue 591593606
deleting IPC queue 591626375
deleting IPC queue 591659144
deleting IPC queue 591691913
deleting IPC queue 591724682
deleting IPC queue 591757451
deleting IPC queue 591790220
deleting IPC queue 591822989
deleting IPC queue 591855758
deleting IPC queue 591888527
deleting IPC queue 591921296
deleting IPC queue 591954065
deleting IPC queue 591986834
deleting IPC queue 592019603
deleting IPC queue 592052372
deleting IPC queue 592085141
deleting IPC queue 592117910
deleting IPC queue 592150679
deleting IPC queue 592183448
deleting IPC queue 592216217
deleting IPC queue 592248986
deleting IPC queue 592281755
deleting IPC queue 592314524
deleting IPC queue 592347293
deleting IPC queue 592380062
deleting IPC queue 592412831
deleting IPC queue 592445600
deleting IPC queue 592478369
deleting IPC queue 592511138
deleting IPC queue 592543907
deleting IPC queue 592576676
deleting IPC queue 592609445
deleting IPC queue 592642214
deleting IPC queue 592674983
deleting IPC queue 592707752
deleting IPC queue 592740521
deleting IPC queue 592773290
deleting IPC queue 592806059
deleting IPC queue 592838828
deleting IPC queue 592871597
deleting IPC queue 592904366
deleting IPC queue 592937135
deleting IPC queue 592969904
deleting IPC queue 593002673
deleting IPC queue 593035442
deleting IPC queue 593068211
deleting IPC queue 593100980
deleting IPC queue 593133749
deleting IPC queue 593166518
deleting IPC queue 593199287
deleting IPC queue 593232056
deleting IPC queue 593264825
deleting IPC queue 593297594
deleting IPC queue 593330363
deleting IPC queue 593363132
deleting IPC queue 593395901
deleting IPC queue 593428670
deleting IPC queue 593461439
deleting IPC queue 593494208
deleting IPC queue 593526977
deleting IPC queue 593559746
deleting IPC queue 593592515
deleting IPC queue 593625284
deleting IPC queue 593658053
deleting IPC queue 593690822
deleting IPC queue 593723591
deleting IPC queue 593756360
deleting IPC queue 593789129
deleting IPC queue 593821898
deleting IPC queue 593854667
deleting IPC queue 593887436
deleting IPC queue 593920205
deleting IPC queue 593952974
deleting IPC queue 593985743
deleting IPC queue 594018512
deleting IPC queue 594051281
deleting IPC queue 594084050
deleting IPC queue 594116819
deleting IPC queue 594149588
deleting IPC queue 594182357
deleting IPC queue 594215126
deleting IPC queue 594247895
deleting IPC queue 594280664
deleting IPC queue 594313433
deleting IPC queue 594346202
deleting IPC queue 594378971
deleting IPC queue 594411740
deleting IPC queue 594444509
deleting IPC queue 594477278
deleting IPC queue 594510047
deleting IPC queue 594542816
deleting IPC queue 594575585
deleting IPC queue 594608354
deleting IPC queue 594641123
deleting IPC queue 594673892
deleting IPC queue 594706661
deleting IPC queue 594739430
deleting IPC queue 594772199
deleting IPC queue 594804968
deleting IPC queue 594837737
deleting IPC queue 594870506
deleting IPC queue 594903275
deleting IPC queue 594936044
deleting IPC queue 594968813
deleting IPC queue 595001582
deleting IPC queue 595034351
deleting IPC queue 595067120
deleting IPC queue 595099889
deleting IPC queue 595132658
deleting IPC queue 595165427
deleting IPC queue 595198196
deleting IPC queue 595230965
deleting IPC queue 595263734
deleting IPC queue 595296503
deleting IPC queue 595329272
deleting IPC queue 595362041
deleting IPC queue 595394810
deleting IPC queue 595427579
deleting IPC queue 595460348
deleting IPC queue 595493117
deleting IPC queue 595525886
deleting IPC queue 595558655

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.28808
system time used= 69.2643
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517841
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= 101577
involuntary context switches= 3219

runsolver used 0.016001 second user time and 0.244015 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 22:02:19
IDJOB=1776552
IDBENCH=20580
IDSOLVER=631
FILE ID=xenhost3-49/1776552-1244750539
PBS_JOBID=
Free space on /tmp= 6911 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776552-1244750539/watcher-1776552-1244750539 -o /tmp/evaluation-result-1776552-1244750539/solver-1776552-1244750539 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776552-1244750539.cnf 16 10000

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED= 341931718

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:      19010588 kB
Buffers:        433020 kB
Cached:       14232628 kB
SwapCached:          0 kB
Active:        4078404 kB
Inactive:     10595840 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:          132448 kB
Writeback:           0 kB
AnonPages:        8060 kB
Mapped:           3824 kB
Slab:           690444 kB
SReclaimable:   663088 kB
SUnreclaim:      27356 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= 6910 MiB
End job on xenhost3-49 at 2009-06-11 22:02:33