Trace number 1781562

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) 630.287 95.818

General information on the benchmark

Namevelev-pipe-uns-1.0-8.cnf
MD5SUM0767e5dbf6844720495e9eb5423112e1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1419
Satisfiable
(Un)Satisfiability was proved
Number of variables35065
Number of clauses1332773
Sum of the clauses size3936683
Maximum clause length178
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21290115
Number of clauses of size 314508
Number of clauses of size 4256
Number of clauses of size 5216
Number of clauses of size over 527677

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-1781562-1244871486/watcher-1781562-1244871486 -o /tmp/evaluation-result-1781562-1244871486/solver-1781562-1244871486 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781562-1244871486.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: 2.17 3.33 3.74 2/184 14660
/proc/meminfo: memFree=19100488/36427776 swapFree=4508/8468
[pid=14660] ppid=14658 vsize=7456 CPUtime=0
/proc/14660/stat : 14660 (satake) D 14658 14660 27791 0 -1 4202496 495 0 0 0 0 0 0 0 20 0 16 0 646455018 7634944 451 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14660/statm: 1864 451 63 164 0 1699 0
[pid=14660/tid=14661] ppid=14658 vsize=8916 CPUtime=0
/proc/14660/task/14661/stat : 14661 (satake) S 14658 14660 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 646455019 9129984 473 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14662] ppid=14658 vsize=8916 CPUtime=0
/proc/14660/task/14662/stat : 14662 (satake) S 14658 14660 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 646455019 9129984 473 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14663] ppid=14658 vsize=8916 CPUtime=0
/proc/14660/task/14663/stat : 14663 (satake) D 14658 14660 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 16 0 646455019 9129984 474 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14660/tid=14664] ppid=14658 vsize=8916 CPUtime=0
/proc/14660/task/14664/stat : 14664 (satake) S 14658 14660 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 16 0 646455019 9129984 474 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14665] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14665/stat : 14665 (satake) R 14658 14660 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 477 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14666] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14666/stat : 14666 (satake) R 14658 14660 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 481 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14660/tid=14667] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14667/stat : 14667 (satake) D 14658 14660 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 482 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14660/tid=14668] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14668/stat : 14668 (satake) R 14658 14660 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 483 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14660/tid=14669] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14669/stat : 14669 (satake) R 14658 14660 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 483 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14660/tid=14670] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14670/stat : 14670 (satake) R 14658 14660 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 483 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14660/tid=14671] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14671/stat : 14671 (satake) D 14658 14660 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 485 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14660/tid=14672] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14672/stat : 14672 (satake) S 14658 14660 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 485 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14660/tid=14673] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14673/stat : 14673 (satake) R 14658 14660 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 488 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14674] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14674/stat : 14674 (satake) R 14658 14660 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 491 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14660/tid=14675] ppid=14658 vsize=8612 CPUtime=0
/proc/14660/task/14675/stat : 14675 (satake) D 14658 14660 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 646455019 8818688 493 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.086334 s]
/proc/loadavg: 2.17 3.33 3.74 2/184 14660
/proc/meminfo: memFree=19100488/36427776 swapFree=4508/8468
[pid=14660] ppid=14658 vsize=47880 CPUtime=0.58
/proc/14660/stat : 14660 (satake) S 14658 14660 27791 0 -1 4202496 6671 0 0 0 0 58 0 0 20 0 17 0 646455018 49029120 6611 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14660/statm: 11970 6613 63 164 0 11805 0
[pid=14660/tid=14661] ppid=14658 vsize=47880 CPUtime=0
/proc/14660/task/14661/stat : 14661 (satake) S 14658 14660 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 646455019 49029120 6613 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14662] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14662/stat : 14662 (satake) R 14658 14660 27791 0 -1 4202560 593 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6615 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14663] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14663/stat : 14663 (satake) R 14658 14660 27791 0 -1 4202560 494 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6616 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14660/tid=14664] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14664/stat : 14664 (satake) R 14658 14660 27791 0 -1 4202560 421 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6618 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14665] ppid=14658 vsize=47880 CPUtime=0
/proc/14660/task/14665/stat : 14665 (satake) R 14658 14660 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 17 0 646455019 49029120 6619 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14666] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14666/stat : 14666 (satake) R 14658 14660 27791 0 -1 4202560 551 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6622 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14660/tid=14667] ppid=14658 vsize=47880 CPUtime=0
/proc/14660/task/14667/stat : 14667 (satake) R 14658 14660 27791 0 -1 4202560 99 0 0 0 0 0 0 0 20 0 17 0 646455019 49029120 6632 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14668] ppid=14658 vsize=47880 CPUtime=0.06
/proc/14660/task/14668/stat : 14668 (satake) R 14658 14660 27791 0 -1 4202560 538 0 0 0 0 6 0 0 20 0 17 0 646455019 49029120 6652 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14660/tid=14669] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14669/stat : 14669 (satake) R 14658 14660 27791 0 -1 4202560 536 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6679 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14660/tid=14670] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14670/stat : 14670 (satake) R 14658 14660 27791 0 -1 4202560 541 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6698 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14660/tid=14671] ppid=14658 vsize=47880 CPUtime=0.06
/proc/14660/task/14671/stat : 14671 (satake) R 14658 14660 27791 0 -1 4202560 464 0 0 0 0 6 0 0 20 0 17 0 646455019 49029120 6731 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14660/tid=14672] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14672/stat : 14672 (satake) R 14658 14660 27791 0 -1 4202560 469 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6745 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14660/tid=14673] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14673/stat : 14673 (satake) R 14658 14660 27791 0 -1 4202560 551 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6768 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14674] ppid=14658 vsize=47880 CPUtime=0.04
/proc/14660/task/14674/stat : 14674 (satake) R 14658 14660 27791 0 -1 4202560 645 0 0 0 0 4 0 0 20 0 17 0 646455019 49029120 6796 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14660/tid=14675] ppid=14658 vsize=47880 CPUtime=0
/proc/14660/task/14675/stat : 14675 (satake) R 14658 14660 27791 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 17 0 646455019 49029120 6817 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 47880

[startup+0.106232 s]
/proc/loadavg: 2.17 3.33 3.74 2/184 14660
/proc/meminfo: memFree=19100488/36427776 swapFree=4508/8468
[pid=14660] ppid=14658 vsize=58632 CPUtime=0.82
/proc/14660/stat : 14660 (satake) S 14658 14660 27791 0 -1 4202496 8925 0 0 0 0 82 0 0 20 0 17 0 646455018 60039168 8872 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14660/statm: 14658 8920 63 164 0 14493 0
[pid=14660/tid=14661] ppid=14658 vsize=58632 CPUtime=0
/proc/14660/task/14661/stat : 14661 (satake) S 14658 14660 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 646455019 60039168 8942 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14662] ppid=14658 vsize=58632 CPUtime=0.04
/proc/14660/task/14662/stat : 14662 (satake) R 14658 14660 27791 0 -1 4202560 600 0 0 0 0 4 0 0 20 0 17 0 646455019 60039168 9029 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14663] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14663/stat : 14663 (satake) R 14658 14660 27791 0 -1 4202560 673 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9069 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14660/tid=14664] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14664/stat : 14664 (satake) R 14658 14660 27791 0 -1 4202560 461 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9101 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14665] ppid=14658 vsize=58632 CPUtime=0.02
/proc/14660/task/14665/stat : 14665 (satake) R 14658 14660 27791 0 -1 4202560 232 0 0 0 0 2 0 0 20 0 17 0 646455019 60039168 9131 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14666] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14666/stat : 14666 (satake) R 14658 14660 27791 0 -1 4202560 743 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9163 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14660/tid=14667] ppid=14658 vsize=58632 CPUtime=0.02
/proc/14660/task/14667/stat : 14667 (satake) R 14658 14660 27791 0 -1 4202560 343 0 0 0 0 2 0 0 20 0 17 0 646455019 60039168 9206 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14668] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14668/stat : 14668 (satake) R 14658 14660 27791 0 -1 4202560 752 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9239 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14660/tid=14669] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14669/stat : 14669 (satake) R 14658 14660 27791 0 -1 4202560 716 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9285 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14660/tid=14670] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14670/stat : 14670 (satake) R 14658 14660 27791 0 -1 4202560 745 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9312 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14660/tid=14671] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14671/stat : 14671 (satake) R 14658 14660 27791 0 -1 4202560 693 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9335 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14660/tid=14672] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14672/stat : 14672 (satake) R 14658 14660 27791 0 -1 4202560 701 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9359 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14660/tid=14673] ppid=14658 vsize=58632 CPUtime=0.06
/proc/14660/task/14673/stat : 14673 (satake) R 14658 14660 27791 0 -1 4202560 756 0 0 0 0 6 0 0 20 0 17 0 646455019 60039168 9376 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14674] ppid=14658 vsize=58632 CPUtime=0.04
/proc/14660/task/14674/stat : 14674 (satake) R 14658 14660 27791 0 -1 4202560 826 0 0 0 0 4 0 0 20 0 17 0 646455019 60039168 9394 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14660/tid=14675] ppid=14658 vsize=58632 CPUtime=0.02
/proc/14660/task/14675/stat : 14675 (satake) R 14658 14660 27791 0 -1 4202560 231 0 0 0 0 2 0 0 20 0 17 0 646455019 60039168 9414 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 58632

[startup+0.306168 s]
/proc/loadavg: 2.17 3.33 3.74 2/184 14660
/proc/meminfo: memFree=19100488/36427776 swapFree=4508/8468
[pid=14660] ppid=14658 vsize=220424 CPUtime=2.93
/proc/14660/stat : 14660 (satake) S 14658 14660 27791 0 -1 4202496 42249 0 0 0 0 293 0 0 20 0 17 0 646455018 225714176 42197 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14660/statm: 55106 42272 63 164 0 54941 0
[pid=14660/tid=14661] ppid=14658 vsize=220424 CPUtime=0
/proc/14660/task/14661/stat : 14661 (satake) S 14658 14660 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 646455019 225714176 42314 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14662] ppid=14658 vsize=220424 CPUtime=0.16
/proc/14660/task/14662/stat : 14662 (satake) R 14658 14660 27791 0 -1 4202560 2649 0 0 0 0 16 0 0 20 0 17 0 646455019 225714176 42347 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14663] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14663/stat : 14663 (satake) R 14658 14660 27791 0 -1 4202560 3107 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42371 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14660/tid=14664] ppid=14658 vsize=220424 CPUtime=0.14
/proc/14660/task/14664/stat : 14664 (satake) R 14658 14660 27791 0 -1 4202560 1834 0 0 0 0 14 0 0 20 0 17 0 646455019 225714176 42399 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14665] ppid=14658 vsize=220424 CPUtime=0.1
/proc/14660/task/14665/stat : 14665 (satake) R 14658 14660 27791 0 -1 4202560 1374 0 0 0 0 10 0 0 20 0 17 0 646455019 225714176 42428 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14666] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14666/stat : 14666 (satake) R 14658 14660 27791 0 -1 4202560 3135 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42452 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14660/tid=14667] ppid=14658 vsize=220424 CPUtime=0.08
/proc/14660/task/14667/stat : 14667 (satake) R 14658 14660 27791 0 -1 4202560 1319 0 0 0 0 8 0 0 20 0 17 0 646455019 225714176 42484 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14668] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14668/stat : 14668 (satake) R 14658 14660 27791 0 -1 4202560 3632 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42525 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14660/tid=14669] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14669/stat : 14669 (satake) R 14658 14660 27791 0 -1 4202560 3159 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42553 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14660/tid=14670] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14670/stat : 14670 (satake) R 14658 14660 27791 0 -1 4202560 3163 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42578 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14660/tid=14671] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14671/stat : 14671 (satake) R 14658 14660 27791 0 -1 4202560 3728 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42593 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14660/tid=14672] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14672/stat : 14672 (satake) R 14658 14660 27791 0 -1 4202560 3620 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42638 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14660/tid=14673] ppid=14658 vsize=220424 CPUtime=0.24
/proc/14660/task/14673/stat : 14673 (satake) R 14658 14660 27791 0 -1 4202560 3632 0 0 0 0 24 0 0 20 0 17 0 646455019 225714176 42672 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14674] ppid=14658 vsize=220424 CPUtime=0.16
/proc/14660/task/14674/stat : 14674 (satake) R 14658 14660 27791 0 -1 4202560 3385 0 0 0 0 16 0 0 20 0 17 0 646455019 225714176 42725 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14660/tid=14675] ppid=14658 vsize=220424 CPUtime=0.08
/proc/14660/task/14675/stat : 14675 (satake) R 14658 14660 27791 0 -1 4202560 1541 0 0 0 0 8 0 0 20 0 17 0 646455019 225714176 42755 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 220424

[startup+0.706519 s]
/proc/loadavg: 2.17 3.33 3.74 2/184 14660
/proc/meminfo: memFree=19100488/36427776 swapFree=4508/8468
[pid=14660] ppid=14658 vsize=400596 CPUtime=6.91
/proc/14660/stat : 14660 (satake) S 14658 14660 27791 0 -1 4202496 76725 0 0 0 1 690 0 0 20 0 17 0 646455018 410210304 76665 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14660/statm: 100149 76665 63 164 0 99984 0
[pid=14660/tid=14661] ppid=14658 vsize=400596 CPUtime=0
/proc/14660/task/14661/stat : 14661 (satake) S 14658 14660 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 646455019 410210304 76665 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14662] ppid=14658 vsize=400596 CPUtime=0.3
/proc/14660/task/14662/stat : 14662 (satake) R 14658 14660 27791 0 -1 4202560 3637 0 0 0 0 30 0 0 20 0 17 0 646455019 410210304 76665 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14663] ppid=14658 vsize=400596 CPUtime=0.56
/proc/14660/task/14663/stat : 14663 (satake) R 14658 14660 27791 0 -1 4202560 6027 0 0 0 0 56 0 0 20 0 17 0 646455019 410210304 76665 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14660/tid=14664] ppid=14658 vsize=400596 CPUtime=0.38
/proc/14660/task/14664/stat : 14664 (satake) R 14658 14660 27791 0 -1 4202560 3268 0 0 0 0 38 0 0 20 0 17 0 646455019 410210304 76665 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14660/tid=14665] ppid=14658 vsize=400596 CPUtime=0.38
/proc/14660/task/14665/stat : 14665 (satake) R 14658 14660 27791 0 -1 4202560 3517 0 0 0 0 38 0 0 20 0 17 0 646455019 410210304 76665 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14660/tid=14666] ppid=14658 vsize=400596 CPUtime=0.56
/proc/14660/task/14666/stat : 14666 (satake) R 14658 14660 27791 0 -1 4202560 5678 0 0 0 0 56 0 0 20 0 17 0 646455019 410210304 76665 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14660/tid=14667] ppid=14658 vsize=400596 CPUtime=0.26
/proc/14660/task/14667/stat : 14667 (satake) R 14658 14660 27791 0 -1 4202560 3588 0 0 0 0 26 0 0 20 0 17 0 646455019 410210304 76666 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14660/tid=14668] ppid=14658 vsize=400596 CPUtime=0.56
/proc/14660/task/14668/stat : 14668 (satake) R 14658 14660 27791 0 -1 4202560 6376 0 0 0 0 56 0 0 20 0 17 0 646455019 410210304 76667 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14660/tid=14669] ppid=14658 vsize=400596 CPUtime=0.54
/proc/14660/task/14669/stat : 14669 (satake) R 14658 14660 27791 0 -1 4202560 5622 0 0 0 0 54 0 0 20 0 17 0 646455019 410210304 76669 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14660/tid=14670] ppid=14658 vsize=400596 CPUtime=0.54
/proc/14660/task/14670/stat : 14670 (satake) R 14658 14660 27791 0 -1 4202560 5613 0 0 0 0 54 0 0 20 0 17 0 646455019 410210304 76670 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14660/tid=14671] ppid=14658 vsize=400596 CPUtime=0.56
/proc/14660/task/14671/stat : 14671 (satake) R 14658 14660 27791 0 -1 4202560 6213 0 0 0 0 56 0 0 20 0 17 0 646455019 410210304 76672 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14660/tid=14672] ppid=14658 vsize=400596 CPUtime=0.56
/proc/14660/task/14672/stat : 14672 (satake) R 14658 14660 27791 0 -1 4202560 6271 0 0 0 0 56 0 0 20 0 17 0 646455019 410210304 76674 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14660/tid=14673] ppid=14658 vsize=400596 CPUtime=0.56
/proc/14660/task/14673/stat : 14673 (satake) D 14658 14660 27791 0 -1 4202560 6172 0 0 0 0 56 0 0 20 0 17 0 646455019 410210304 76677 18446744073709551615 134512640 135180984 4292797648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14660/tid=14674] ppid=14658 vsize=400596 CPUtime=0.3

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

deleting IPC queue 287768654
deleting IPC queue 287801423
deleting IPC queue 287834192
deleting IPC queue 287866961
deleting IPC queue 287899730
deleting IPC queue 287932499
deleting IPC queue 287965268
deleting IPC queue 287998037
deleting IPC queue 288030806
deleting IPC queue 288063575
deleting IPC queue 288096344
deleting IPC queue 288129113
deleting IPC queue 288161882
deleting IPC queue 288194651
deleting IPC queue 288227420
deleting IPC queue 288260189
deleting IPC queue 288292958
deleting IPC queue 288325727
deleting IPC queue 288358496
deleting IPC queue 288391265
deleting IPC queue 288424034
deleting IPC queue 288456803
deleting IPC queue 288489572
deleting IPC queue 288522341
deleting IPC queue 288555110
deleting IPC queue 288587879
deleting IPC queue 288620648
deleting IPC queue 288653417
deleting IPC queue 288686186
deleting IPC queue 288718955
deleting IPC queue 288751724
deleting IPC queue 288784493
deleting IPC queue 288817262
deleting IPC queue 288850031
deleting IPC queue 288882800
deleting IPC queue 288915569
deleting IPC queue 288948338
deleting IPC queue 288981107
deleting IPC queue 289013876
deleting IPC queue 289046645
deleting IPC queue 289079414
deleting IPC queue 289112183
deleting IPC queue 289144952
deleting IPC queue 289177721
deleting IPC queue 289210490
deleting IPC queue 289243259
deleting IPC queue 289276028
deleting IPC queue 289308797
deleting IPC queue 289341566
deleting IPC queue 289374335
deleting IPC queue 289407104
deleting IPC queue 289439873
deleting IPC queue 289472642
deleting IPC queue 289505411
deleting IPC queue 289538180
deleting IPC queue 289570949
deleting IPC queue 289603718
deleting IPC queue 289636487
deleting IPC queue 289669256
deleting IPC queue 289702025
deleting IPC queue 289734794
deleting IPC queue 289767563
deleting IPC queue 289800332
deleting IPC queue 289833101
deleting IPC queue 289865870
deleting IPC queue 289898639
deleting IPC queue 289931408
deleting IPC queue 289964177
deleting IPC queue 289996946
deleting IPC queue 290029715
deleting IPC queue 290062484
deleting IPC queue 290095253
deleting IPC queue 290128022
deleting IPC queue 290160791
deleting IPC queue 290193560
deleting IPC queue 290226329
deleting IPC queue 290259098
deleting IPC queue 290291867
deleting IPC queue 290324636
deleting IPC queue 290357405
deleting IPC queue 290390174
deleting IPC queue 290422943
deleting IPC queue 290455712
deleting IPC queue 290488481
deleting IPC queue 290521250
deleting IPC queue 290554019
deleting IPC queue 290586788
deleting IPC queue 290619557
deleting IPC queue 290652326
deleting IPC queue 290685095
deleting IPC queue 290717864
deleting IPC queue 290750633
deleting IPC queue 290783402
deleting IPC queue 290816171
deleting IPC queue 290848940
deleting IPC queue 290881709
deleting IPC queue 290914478
deleting IPC queue 290947247
deleting IPC queue 290980016
deleting IPC queue 291012785
deleting IPC queue 291045554
deleting IPC queue 291078323
deleting IPC queue 291111092
deleting IPC queue 291143861
deleting IPC queue 291176630
deleting IPC queue 291209399
deleting IPC queue 291242168
deleting IPC queue 291274937
deleting IPC queue 291307706
deleting IPC queue 291340475
deleting IPC queue 291373244
deleting IPC queue 291406013
deleting IPC queue 291438782
deleting IPC queue 291471551
deleting IPC queue 291504320
deleting IPC queue 291537089
deleting IPC queue 291569858
deleting IPC queue 291602627
deleting IPC queue 291635396
deleting IPC queue 291668165
deleting IPC queue 291700934
deleting IPC queue 291733703
deleting IPC queue 291766472
deleting IPC queue 291799241
deleting IPC queue 291832010
deleting IPC queue 291864779
deleting IPC queue 291897548
deleting IPC queue 291930317
deleting IPC queue 291963086
deleting IPC queue 291995855
deleting IPC queue 292028624
deleting IPC queue 292061393
deleting IPC queue 292094162
deleting IPC queue 292126931
deleting IPC queue 292159700
deleting IPC queue 292192469
deleting IPC queue 292225238
deleting IPC queue 292258007
deleting IPC queue 292290776
deleting IPC queue 292323545
deleting IPC queue 292356314
deleting IPC queue 292389083
deleting IPC queue 292421852
deleting IPC queue 292454621
deleting IPC queue 292487390
deleting IPC queue 292520159
deleting IPC queue 292552928
deleting IPC queue 292585697
deleting IPC queue 292618466
deleting IPC queue 292651235
deleting IPC queue 292684004
deleting IPC queue 292716773
deleting IPC queue 292749542
deleting IPC queue 292782311
deleting IPC queue 292815080
deleting IPC queue 292847849
deleting IPC queue 292880618
deleting IPC queue 292913387
deleting IPC queue 292946156
deleting IPC queue 292978925
deleting IPC queue 293011694
deleting IPC queue 293044463
deleting IPC queue 293077232
deleting IPC queue 293110001
deleting IPC queue 293142770
deleting IPC queue 293175539
deleting IPC queue 293208308
deleting IPC queue 293241077
deleting IPC queue 293273846
deleting IPC queue 293306615
deleting IPC queue 293339384
deleting IPC queue 293372153
deleting IPC queue 293404922
deleting IPC queue 293437691
deleting IPC queue 293470460
deleting IPC queue 293503229
deleting IPC queue 293535998
deleting IPC queue 293568767

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 565.787
system time used= 64.5
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582732
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= 4091816
involuntary context switches= 779620

runsolver used 0.392024 second user time and 1.30408 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 07:38:06
IDJOB=1781562
IDBENCH=71777
IDSOLVER=631
FILE ID=xenhost3-49/1781562-1244871486
PBS_JOBID=
Free space on /tmp= 7003 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/velev-pipe-uns-1.0-8.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781562-1244871486/watcher-1781562-1244871486 -o /tmp/evaluation-result-1781562-1244871486/solver-1781562-1244871486 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781562-1244871486.cnf 16 10000

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

MD5SUM BENCH= 0767e5dbf6844720495e9eb5423112e1
RANDOM SEED= 1992361727

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:      19100488 kB
Buffers:        436016 kB
Cached:       14137824 kB
SwapCached:          0 kB
Active:        4081444 kB
Inactive:     10500780 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           24844 kB
Writeback:           0 kB
AnonPages:        8468 kB
Mapped:           3844 kB
Slab:           690400 kB
SReclaimable:   663460 kB
SUnreclaim:      26940 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7003 MiB
End job on xenhost3-49 at 2009-06-13 07:39:44