Trace number 1776882

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (TO) 1570.44 1000.03

General information on the benchmark

Namealoul-chnl11-13.cnf
MD5SUMc7162bc1ddb6d2592f237fef1b04b5ce
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.39
Satisfiable
(Un)Satisfiability was proved
Number of variables286
Number of clauses1742
Sum of the clauses size3718
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21716
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

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-1776882-1244760526/watcher-1776882-1244760526 -o /tmp/evaluation-result-1776882-1244760526/solver-1776882-1244760526 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776882-1244760526.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: 1.97 2.03 2.31 2/184 1472
/proc/meminfo: memFree=19142304/36427776 swapFree=3656/6368
[pid=1472] ppid=1470 vsize=7208 CPUtime=0
/proc/1472/stat : 1472 (satake) R 1470 1472 27791 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 15 0 635358913 7380992 231 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1472/statm: 1802 232 63 164 0 1637 0
[pid=1472/tid=1473] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1473/stat : 1473 (satake) S 1470 1472 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 420 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1474] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1474/stat : 1474 (satake) R 1470 1472 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 422 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134519544 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1475/stat : 1475 (satake) R 1470 1472 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 423 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1476] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1476/stat : 1476 (satake) R 1470 1472 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 425 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1477] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1477/stat : 1477 (satake) S 1470 1472 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 426 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1478] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1478/stat : 1478 (satake) R 1470 1472 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 429 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1479/stat : 1479 (satake) R 1470 1472 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 432 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1480] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1480/stat : 1480 (satake) R 1470 1472 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 436 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1472/tid=1481] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1481/stat : 1481 (satake) S 1470 1472 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 440 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1482] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1482/stat : 1482 (satake) R 1470 1472 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 441 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1483] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1483/stat : 1483 (satake) R 1470 1472 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 441 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1472/tid=1484] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1484/stat : 1484 (satake) R 1470 1472 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 442 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1485] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1485/stat : 1485 (satake) R 1470 1472 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 442 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1486] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1486/stat : 1486 (satake) R 1470 1472 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 444 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134674960 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1487] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1487/stat : 1487 (satake) R 1470 1472 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 447 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1472/tid=1488] ppid=1470 vsize=10484 CPUtime=0
/proc/1472/task/1488/stat : 1488 (satake) R 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10735616 448 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.055383 s]
/proc/loadavg: 1.97 2.03 2.31 2/184 1472
/proc/meminfo: memFree=19142304/36427776 swapFree=3656/6368
[pid=1472] ppid=1470 vsize=10564 CPUtime=0.04
/proc/1472/stat : 1472 (satake) S 1470 1472 27791 0 -1 4202496 713 0 0 0 2 2 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1472/statm: 2641 669 68 164 0 2476 0
[pid=1472/tid=1473] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1473/stat : 1473 (satake) R 1470 1472 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1474] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1474/stat : 1474 (satake) S 1470 1472 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1475/stat : 1475 (satake) S 1470 1472 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1476] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1476/stat : 1476 (satake) S 1470 1472 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1477] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1477/stat : 1477 (satake) S 1470 1472 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1478] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1478/stat : 1478 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1479/stat : 1479 (satake) S 1470 1472 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1480] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1480/stat : 1480 (satake) S 1470 1472 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=1472/tid=1481] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1481/stat : 1481 (satake) S 1470 1472 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1482] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1482/stat : 1482 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1483] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1483/stat : 1483 (satake) S 1470 1472 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 669 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1472/tid=1484] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1484/stat : 1484 (satake) S 1470 1472 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 670 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1485] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1485/stat : 1485 (satake) S 1470 1472 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 670 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1486] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1486/stat : 1486 (satake) S 1470 1472 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 670 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1487] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1487/stat : 1487 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 670 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1472/tid=1488] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1488/stat : 1488 (satake) R 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 670 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10564

[startup+0.103431 s]
/proc/loadavg: 1.97 2.03 2.31 2/184 1472
/proc/meminfo: memFree=19142304/36427776 swapFree=3656/6368
[pid=1472] ppid=1470 vsize=10564 CPUtime=0.1
/proc/1472/stat : 1472 (satake) S 1470 1472 27791 0 -1 4202496 720 0 0 0 7 3 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1472/statm: 2641 676 68 164 0 2476 0
[pid=1472/tid=1473] ppid=1470 vsize=10564 CPUtime=0.02
/proc/1472/task/1473/stat : 1473 (satake) R 1470 1472 27791 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1474] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1474/stat : 1474 (satake) S 1470 1472 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1475/stat : 1475 (satake) S 1470 1472 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1476] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1476/stat : 1476 (satake) S 1470 1472 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1477] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1477/stat : 1477 (satake) S 1470 1472 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1478] ppid=1470 vsize=10564 CPUtime=0.02
/proc/1472/task/1478/stat : 1478 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 2 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1479/stat : 1479 (satake) S 1470 1472 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1480] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1480/stat : 1480 (satake) S 1470 1472 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=1472/tid=1481] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1481/stat : 1481 (satake) R 1470 1472 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1482] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1482/stat : 1482 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1483] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1483/stat : 1483 (satake) S 1470 1472 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1472/tid=1484] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1484/stat : 1484 (satake) S 1470 1472 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1485] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1485/stat : 1485 (satake) S 1470 1472 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1486] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1486/stat : 1486 (satake) S 1470 1472 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1487] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1487/stat : 1487 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1472/tid=1488] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1488/stat : 1488 (satake) S 1470 1472 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 676 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10564

[startup+0.303393 s]
/proc/loadavg: 1.97 2.03 2.31 2/184 1472
/proc/meminfo: memFree=19142304/36427776 swapFree=3656/6368
[pid=1472] ppid=1470 vsize=10564 CPUtime=0.3
/proc/1472/stat : 1472 (satake) S 1470 1472 27791 0 -1 4202496 741 0 0 0 14 16 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1472/statm: 2641 697 68 164 0 2476 0
[pid=1472/tid=1473] ppid=1470 vsize=10564 CPUtime=0.12
/proc/1472/task/1473/stat : 1473 (satake) D 1470 1472 27791 0 -1 4202560 17 0 0 0 4 8 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1474] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1474/stat : 1474 (satake) S 1470 1472 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1475/stat : 1475 (satake) S 1470 1472 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1476] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1476/stat : 1476 (satake) S 1470 1472 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1477] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1477/stat : 1477 (satake) S 1470 1472 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1478] ppid=1470 vsize=10564 CPUtime=0.02
/proc/1472/task/1478/stat : 1478 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 2 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=10564 CPUtime=0.02
/proc/1472/task/1479/stat : 1479 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 2 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1480] ppid=1470 vsize=10564 CPUtime=0.02
/proc/1472/task/1480/stat : 1480 (satake) S 1470 1472 27791 0 -1 4202560 46 0 0 0 2 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=1472/tid=1481] ppid=1470 vsize=10564 CPUtime=0.02
/proc/1472/task/1481/stat : 1481 (satake) S 1470 1472 27791 0 -1 4202560 41 0 0 0 0 2 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1482] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1482/stat : 1482 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1483] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1483/stat : 1483 (satake) S 1470 1472 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1472/tid=1484] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1484/stat : 1484 (satake) S 1470 1472 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1472/tid=1485] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1485/stat : 1485 (satake) S 1470 1472 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1486] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1486/stat : 1486 (satake) S 1470 1472 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1487] ppid=1470 vsize=10564 CPUtime=0.02
/proc/1472/task/1487/stat : 1487 (satake) R 1470 1472 27791 0 -1 4202560 40 0 0 0 0 2 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1472/tid=1488] ppid=1470 vsize=10564 CPUtime=0
/proc/1472/task/1488/stat : 1488 (satake) S 1470 1472 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 635358913 10817536 697 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10564

[startup+0.703439 s]
/proc/loadavg: 1.97 2.03 2.31 2/184 1472
/proc/meminfo: memFree=19142304/36427776 swapFree=3656/6368
[pid=1472] ppid=1470 vsize=10696 CPUtime=0.66
/proc/1472/stat : 1472 (satake) S 1470 1472 27791 0 -1 4202496 805 0 0 0 16 50 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1472/statm: 2674 761 68 164 0 2509 0
[pid=1472/tid=1473] ppid=1470 vsize=10696 CPUtime=0.3
/proc/1472/task/1473/stat : 1473 (satake) R 1470 1472 27791 0 -1 4202560 25 0 0 0 4 26 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1474] ppid=1470 vsize=10696 CPUtime=0.02
/proc/1472/task/1474/stat : 1474 (satake) S 1470 1472 27791 0 -1 4202560 48 0 0 0 0 2 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1475] ppid=1470 vsize=10696 CPUtime=0
/proc/1472/task/1475/stat : 1475 (satake) S 1470 1472 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1476] ppid=1470 vsize=10696 CPUtime=0
/proc/1472/task/1476/stat : 1476 (satake) S 1470 1472 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1472/tid=1477] ppid=1470 vsize=10696 CPUtime=0.02
/proc/1472/task/1477/stat : 1477 (satake) S 1470 1472 27791 0 -1 4202560 54 0 0 0 2 0 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1472/tid=1478] ppid=1470 vsize=10696 CPUtime=0.02
/proc/1472/task/1478/stat : 1478 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 2 0 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1472/tid=1479] ppid=1470 vsize=10696 CPUtime=0.02
/proc/1472/task/1479/stat : 1479 (satake) S 1470 1472 27791 0 -1 4202560 38 0 0 0 2 0 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1472/tid=1480] ppid=1470 vsize=10696 CPUtime=0.02
/proc/1472/task/1480/stat : 1480 (satake) S 1470 1472 27791 0 -1 4202560 46 0 0 0 2 0 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=1472/tid=1481] ppid=1470 vsize=10696 CPUtime=0.02
/proc/1472/task/1481/stat : 1481 (satake) S 1470 1472 27791 0 -1 4202560 41 0 0 0 0 2 0 0 20 0 17 0 635358913 10952704 761 18446744073709551615 134512640 135180984 4287756288 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1472/tid=1482] ppid=1470 vsize=10696 CPUtime=0.04

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

deleting IPC queue 774307918
deleting IPC queue 774340687
deleting IPC queue 774373456
deleting IPC queue 774406225
deleting IPC queue 774438994
deleting IPC queue 774471763
deleting IPC queue 774504532
deleting IPC queue 774537301
deleting IPC queue 774570070
deleting IPC queue 774602839
deleting IPC queue 774635608
deleting IPC queue 774668377
deleting IPC queue 774701146
deleting IPC queue 774733915
deleting IPC queue 774766684
deleting IPC queue 774799453
deleting IPC queue 774832222
deleting IPC queue 774864991
deleting IPC queue 774897760
deleting IPC queue 774930529
deleting IPC queue 774963298
deleting IPC queue 774996067
deleting IPC queue 775028836
deleting IPC queue 775061605
deleting IPC queue 775094374
deleting IPC queue 775127143
deleting IPC queue 775159912
deleting IPC queue 775192681
deleting IPC queue 775225450
deleting IPC queue 775258219
deleting IPC queue 775290988
deleting IPC queue 775323757
deleting IPC queue 775356526
deleting IPC queue 775389295
deleting IPC queue 775422064
deleting IPC queue 775454833
deleting IPC queue 775487602
deleting IPC queue 775520371
deleting IPC queue 775553140
deleting IPC queue 775585909
deleting IPC queue 775618678
deleting IPC queue 775651447
deleting IPC queue 775684216
deleting IPC queue 775716985
deleting IPC queue 775749754
deleting IPC queue 775782523
deleting IPC queue 775815292
deleting IPC queue 775848061
deleting IPC queue 775880830
deleting IPC queue 775913599
deleting IPC queue 775946368
deleting IPC queue 775979137
deleting IPC queue 776011906
deleting IPC queue 776044675
deleting IPC queue 776077444
deleting IPC queue 776110213
deleting IPC queue 776142982
deleting IPC queue 776175751
deleting IPC queue 776208520
deleting IPC queue 776241289
deleting IPC queue 776274058
deleting IPC queue 776306827
deleting IPC queue 776339596
deleting IPC queue 776372365
deleting IPC queue 776405134
deleting IPC queue 776437903
deleting IPC queue 776470672
deleting IPC queue 776503441
deleting IPC queue 776536210
deleting IPC queue 776568979
deleting IPC queue 776601748
deleting IPC queue 776634517
deleting IPC queue 776667286
deleting IPC queue 776700055
deleting IPC queue 776732824
deleting IPC queue 776765593
deleting IPC queue 776798362
deleting IPC queue 776831131
deleting IPC queue 776863900
deleting IPC queue 776896669
deleting IPC queue 776929438
deleting IPC queue 776962207
deleting IPC queue 776994976
deleting IPC queue 777027745
deleting IPC queue 777060514
deleting IPC queue 777093283
deleting IPC queue 777126052
deleting IPC queue 777158821
deleting IPC queue 777191590
deleting IPC queue 777224359
deleting IPC queue 777257128
deleting IPC queue 777289897
deleting IPC queue 777322666
deleting IPC queue 777355435
deleting IPC queue 777388204
deleting IPC queue 777420973
deleting IPC queue 777453742
deleting IPC queue 777486511
deleting IPC queue 777519280
deleting IPC queue 777552049
deleting IPC queue 777584818
deleting IPC queue 777617587
deleting IPC queue 777650356
deleting IPC queue 777683125
deleting IPC queue 777715894
deleting IPC queue 777748663
deleting IPC queue 777781432
deleting IPC queue 777814201
deleting IPC queue 777846970
deleting IPC queue 777879739
deleting IPC queue 777912508
deleting IPC queue 777945277
deleting IPC queue 777978046
deleting IPC queue 778010815
deleting IPC queue 778043584
deleting IPC queue 778076353
deleting IPC queue 778109122
deleting IPC queue 778141891
deleting IPC queue 778174660
deleting IPC queue 778207429
deleting IPC queue 778240198
deleting IPC queue 778272967
deleting IPC queue 778305736
deleting IPC queue 778338505
deleting IPC queue 778371274
deleting IPC queue 778404043
deleting IPC queue 778436812
deleting IPC queue 778469581
deleting IPC queue 778502350
deleting IPC queue 778535119
deleting IPC queue 778567888
deleting IPC queue 778600657
deleting IPC queue 778633426
deleting IPC queue 778666195
deleting IPC queue 778698964
deleting IPC queue 778731733
deleting IPC queue 778764502
deleting IPC queue 778797271
deleting IPC queue 778830040
deleting IPC queue 778862809
deleting IPC queue 778895578
deleting IPC queue 778928347
deleting IPC queue 778961116
deleting IPC queue 778993885
deleting IPC queue 779026654
deleting IPC queue 779059423
deleting IPC queue 779092192
deleting IPC queue 779124961
deleting IPC queue 779157730
deleting IPC queue 779190499
deleting IPC queue 779223268
deleting IPC queue 779256037
deleting IPC queue 779288806
deleting IPC queue 779321575
deleting IPC queue 779354344
deleting IPC queue 779387113
deleting IPC queue 779419882
deleting IPC queue 779452651
deleting IPC queue 779485420
deleting IPC queue 779518189
deleting IPC queue 779550958
deleting IPC queue 779583727
deleting IPC queue 779616496
deleting IPC queue 779649265
deleting IPC queue 779682034
deleting IPC queue 779714803
deleting IPC queue 779747572
deleting IPC queue 779780341
deleting IPC queue 779813110
deleting IPC queue 779845879
deleting IPC queue 779878648
deleting IPC queue 779911417
deleting IPC queue 779944186
deleting IPC queue 779976955
deleting IPC queue 780009724
deleting IPC queue 780042493
deleting IPC queue 780075262
deleting IPC queue 780108031

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1083.71
system time used= 486.73
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17415
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= 55500932
involuntary context switches= 12449119

runsolver used 4.26427 second user time and 11.3767 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 00:48:46
IDJOB=1776882
IDBENCH=69602
IDSOLVER=631
FILE ID=xenhost3-49/1776882-1244760526
PBS_JOBID=
Free space on /tmp= 7038 MiB

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

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

MD5SUM BENCH= c7162bc1ddb6d2592f237fef1b04b5ce
RANDOM SEED= 765974880

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:      19142304 kB
Buffers:        433564 kB
Cached:       14102480 kB
SwapCached:          0 kB
Active:        4078912 kB
Inactive:     10465436 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             672 kB
Writeback:           0 kB
AnonPages:        6368 kB
Mapped:           3656 kB
Slab:           688004 kB
SReclaimable:   661252 kB
SUnreclaim:      26752 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7038 MiB
End job on xenhost3-49 at 2009-06-12 01:05:28