Trace number 1776867

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

General information on the benchmark

Namevange-col-abb313GPIA-9-c.cnf
MD5SUM0baefedb2aaa81442743e253487854d8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables6228
Number of clauses484871
Sum of the clauses size3850952
Maximum clause length8
Minimum clause length1
Number of clauses of size 115
Number of clauses of size 24651
Number of clauses of size 31
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5480204

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-1776867-1244759523/watcher-1776867-1244759523 -o /tmp/evaluation-result-1776867-1244759523/solver-1776867-1244759523 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776867-1244759523.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: 3.33 3.00 2.96 2/184 1402
/proc/meminfo: memFree=19118272/36427776 swapFree=4280/8404
[pid=1402] ppid=1400 vsize=6048 CPUtime=0
/proc/1402/stat : 1402 (satake) R 1400 1402 27791 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 12 0 635258697 6193152 384 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1402/statm: 1512 390 63 164 0 1347 0
[pid=1402/tid=1403] ppid=1400 vsize=7160 CPUtime=0
/proc/1402/task/1403/stat : 1403 (satake) S 1400 1402 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 635258697 7331840 595 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1404] ppid=1400 vsize=7160 CPUtime=0
/proc/1402/task/1404/stat : 1404 (satake) D 1400 1402 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 16 0 635258697 7331840 595 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1402/tid=1405] ppid=1400 vsize=7160 CPUtime=0
/proc/1402/task/1405/stat : 1405 (satake) S 1400 1402 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 16 0 635258697 7331840 595 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1406] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1406/stat : 1406 (satake) R 1400 1402 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 598 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1407] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1407/stat : 1407 (satake) D 1400 1402 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 601 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1408] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1408/stat : 1408 (satake) R 1400 1402 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 602 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1409] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1409/stat : 1409 (satake) R 1400 1402 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 602 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1410] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1410/stat : 1410 (satake) D 1400 1402 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 602 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1411] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1411/stat : 1411 (satake) R 1400 1402 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 602 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1412] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1412/stat : 1412 (satake) D 1400 1402 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 603 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1402/tid=1413] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1413/stat : 1413 (satake) D 1400 1402 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 605 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1414] ppid=1400 vsize=7288 CPUtime=0
/proc/1402/task/1414/stat : 1414 (satake) D 1400 1402 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 635258697 7462912 605 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1415] ppid=1400 vsize=7352 CPUtime=0
/proc/1402/task/1415/stat : 1415 (satake) D 1400 1402 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 635258698 7528448 605 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1402/tid=1416] ppid=1400 vsize=7352 CPUtime=0
/proc/1402/task/1416/stat : 1416 (satake) D 1400 1402 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 635258698 7528448 606 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1402/tid=1417] ppid=1400 vsize=7352 CPUtime=0
/proc/1402/task/1417/stat : 1417 (satake) D 1400 1402 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 635258698 7528448 606 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.096903 s]
/proc/loadavg: 3.33 3.00 2.96 2/184 1402
/proc/meminfo: memFree=19118272/36427776 swapFree=4280/8404
[pid=1402] ppid=1400 vsize=55576 CPUtime=0.65
/proc/1402/stat : 1402 (satake) S 1400 1402 27791 0 -1 4202496 10354 0 0 0 0 65 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1402/statm: 13894 10293 63 164 0 13729 0
[pid=1402/tid=1403] ppid=1400 vsize=55576 CPUtime=0
/proc/1402/task/1403/stat : 1403 (satake) S 1400 1402 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1404] ppid=1400 vsize=55576 CPUtime=0.06
/proc/1402/task/1404/stat : 1404 (satake) D 1400 1402 27791 0 -1 4202560 985 0 0 0 0 6 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1402/tid=1405] ppid=1400 vsize=55576 CPUtime=0.04
/proc/1402/task/1405/stat : 1405 (satake) D 1400 1402 27791 0 -1 4202560 564 0 0 0 0 4 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1406] ppid=1400 vsize=55576 CPUtime=0.06
/proc/1402/task/1406/stat : 1406 (satake) D 1400 1402 27791 0 -1 4202560 773 0 0 0 0 6 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1407] ppid=1400 vsize=55576 CPUtime=0.06
/proc/1402/task/1407/stat : 1407 (satake) D 1400 1402 27791 0 -1 4202560 866 0 0 0 0 6 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1402/tid=1408] ppid=1400 vsize=55576 CPUtime=0.02
/proc/1402/task/1408/stat : 1408 (satake) D 1400 1402 27791 0 -1 4202560 336 0 0 0 0 2 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1409] ppid=1400 vsize=55576 CPUtime=0.04
/proc/1402/task/1409/stat : 1409 (satake) D 1400 1402 27791 0 -1 4202560 618 0 0 0 0 4 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1410] ppid=1400 vsize=55576 CPUtime=0.02
/proc/1402/task/1410/stat : 1410 (satake) D 1400 1402 27791 0 -1 4202560 354 0 0 0 0 2 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1411] ppid=1400 vsize=55576 CPUtime=0.06
/proc/1402/task/1411/stat : 1411 (satake) R 1400 1402 27791 0 -1 4202560 948 0 0 0 0 6 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1402/tid=1412] ppid=1400 vsize=55576 CPUtime=0.06
/proc/1402/task/1412/stat : 1412 (satake) D 1400 1402 27791 0 -1 4202560 806 0 0 0 0 6 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1402/tid=1413] ppid=1400 vsize=55576 CPUtime=0.04
/proc/1402/task/1413/stat : 1413 (satake) D 1400 1402 27791 0 -1 4202560 772 0 0 0 0 4 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1414] ppid=1400 vsize=55576 CPUtime=0
/proc/1402/task/1414/stat : 1414 (satake) D 1400 1402 27791 0 -1 4202560 349 0 0 0 0 0 0 0 20 0 17 0 635258697 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1415] ppid=1400 vsize=55576 CPUtime=0.06
/proc/1402/task/1415/stat : 1415 (satake) D 1400 1402 27791 0 -1 4202560 991 0 0 0 0 6 0 0 20 0 17 0 635258698 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1402/tid=1416] ppid=1400 vsize=55576 CPUtime=0.04
/proc/1402/task/1416/stat : 1416 (satake) D 1400 1402 27791 0 -1 4202560 615 0 0 0 0 4 0 0 20 0 17 0 635258698 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1402/tid=1417] ppid=1400 vsize=55576 CPUtime=0.02
/proc/1402/task/1417/stat : 1417 (satake) D 1400 1402 27791 0 -1 4202560 256 0 0 0 0 2 0 0 20 0 17 0 635258698 56909824 10293 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 55576

[startup+0.105283 s]
/proc/loadavg: 3.33 3.00 2.96 2/184 1402
/proc/meminfo: memFree=19118272/36427776 swapFree=4280/8404
[pid=1402] ppid=1400 vsize=66840 CPUtime=0.74
/proc/1402/stat : 1402 (satake) S 1400 1402 27791 0 -1 4202496 10850 0 0 0 0 74 0 0 20 0 17 0 635258697 68444160 10789 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1402/statm: 16710 10789 63 164 0 16545 0
[pid=1402/tid=1403] ppid=1400 vsize=66840 CPUtime=0
/proc/1402/task/1403/stat : 1403 (satake) S 1400 1402 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 635258697 68444160 10793 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1404] ppid=1400 vsize=66840 CPUtime=0.06
/proc/1402/task/1404/stat : 1404 (satake) R 1400 1402 27791 0 -1 4202560 1028 0 0 0 0 6 0 0 20 0 17 0 635258697 68444160 10797 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1402/tid=1405] ppid=1400 vsize=66840 CPUtime=0.04
/proc/1402/task/1405/stat : 1405 (satake) R 1400 1402 27791 0 -1 4202560 603 0 0 0 0 4 0 0 20 0 17 0 635258697 68444160 10797 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1406] ppid=1400 vsize=66840 CPUtime=0.06
/proc/1402/task/1406/stat : 1406 (satake) R 1400 1402 27791 0 -1 4202560 813 0 0 0 0 6 0 0 20 0 17 0 635258697 68444160 10807 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1407] ppid=1400 vsize=66840 CPUtime=0.06
/proc/1402/task/1407/stat : 1407 (satake) R 1400 1402 27791 0 -1 4202560 911 0 0 0 0 6 0 0 20 0 17 0 635258697 68444160 10821 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1402/tid=1408] ppid=1400 vsize=66840 CPUtime=0.02
/proc/1402/task/1408/stat : 1408 (satake) R 1400 1402 27791 0 -1 4202560 343 0 0 0 0 2 0 0 20 0 17 0 635258697 68444160 10836 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1409] ppid=1400 vsize=66840 CPUtime=0.04
/proc/1402/task/1409/stat : 1409 (satake) R 1400 1402 27791 0 -1 4202560 672 0 0 0 0 4 0 0 20 0 17 0 635258697 68444160 10855 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1410] ppid=1400 vsize=66840 CPUtime=0.02
/proc/1402/task/1410/stat : 1410 (satake) R 1400 1402 27791 0 -1 4202560 357 0 0 0 0 2 0 0 20 0 17 0 635258697 68444160 10869 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1411] ppid=1400 vsize=66840 CPUtime=0.06
/proc/1402/task/1411/stat : 1411 (satake) R 1400 1402 27791 0 -1 4202560 989 0 0 0 0 6 0 0 20 0 17 0 635258697 68444160 10898 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1402/tid=1412] ppid=1400 vsize=66840 CPUtime=0.06
/proc/1402/task/1412/stat : 1412 (satake) R 1400 1402 27791 0 -1 4202560 851 0 0 0 0 6 0 0 20 0 17 0 635258697 68444160 10912 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1402/tid=1413] ppid=1400 vsize=66840 CPUtime=0.04
/proc/1402/task/1413/stat : 1413 (satake) R 1400 1402 27791 0 -1 4202560 775 0 0 0 0 4 0 0 20 0 17 0 635258697 68444160 10930 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1414] ppid=1400 vsize=66840 CPUtime=0.02
/proc/1402/task/1414/stat : 1414 (satake) R 1400 1402 27791 0 -1 4202560 426 0 0 0 0 2 0 0 20 0 17 0 635258697 68444160 10950 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1415] ppid=1400 vsize=66840 CPUtime=0.06
/proc/1402/task/1415/stat : 1415 (satake) R 1400 1402 27791 0 -1 4202560 1065 0 0 0 0 6 0 0 20 0 17 0 635258698 68444160 10967 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1402/tid=1416] ppid=1400 vsize=66840 CPUtime=0.04
/proc/1402/task/1416/stat : 1416 (satake) R 1400 1402 27791 0 -1 4202560 679 0 0 0 0 4 0 0 20 0 17 0 635258698 68444160 10994 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1402/tid=1417] ppid=1400 vsize=66840 CPUtime=0.02
/proc/1402/task/1417/stat : 1417 (satake) R 1400 1402 27791 0 -1 4202560 259 0 0 0 0 2 0 0 20 0 17 0 635258698 68444160 11012 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 66840

[startup+0.30573 s]
/proc/loadavg: 3.33 3.00 2.96 2/184 1402
/proc/meminfo: memFree=19118272/36427776 swapFree=4280/8404
[pid=1402] ppid=1400 vsize=312660 CPUtime=2.54
/proc/1402/stat : 1402 (satake) S 1400 1402 27791 0 -1 4202496 50606 0 0 0 0 254 0 0 20 0 17 0 635258697 320163840 50545 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1402/statm: 78165 50548 63 164 0 78000 0
[pid=1402/tid=1403] ppid=1400 vsize=312660 CPUtime=0
/proc/1402/task/1403/stat : 1403 (satake) S 1400 1402 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 635258697 320163840 50562 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1404] ppid=1400 vsize=312660 CPUtime=0.22
/proc/1402/task/1404/stat : 1404 (satake) D 1400 1402 27791 0 -1 4202560 4568 0 0 0 0 22 0 0 20 0 17 0 635258697 320163840 50571 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1402/tid=1405] ppid=1400 vsize=312660 CPUtime=0.12
/proc/1402/task/1405/stat : 1405 (satake) D 1400 1402 27791 0 -1 4202560 2168 0 0 0 0 12 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1406] ppid=1400 vsize=312660 CPUtime=0.22
/proc/1402/task/1406/stat : 1406 (satake) D 1400 1402 27791 0 -1 4202560 4453 0 0 0 0 22 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1407] ppid=1400 vsize=312660 CPUtime=0.22
/proc/1402/task/1407/stat : 1407 (satake) D 1400 1402 27791 0 -1 4202560 4450 0 0 0 0 22 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1402/tid=1408] ppid=1400 vsize=312660 CPUtime=0.1
/proc/1402/task/1408/stat : 1408 (satake) D 1400 1402 27791 0 -1 4202560 1873 0 0 0 0 10 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1409] ppid=1400 vsize=312660 CPUtime=0.14
/proc/1402/task/1409/stat : 1409 (satake) D 1400 1402 27791 0 -1 4202560 2536 0 0 0 0 14 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1410] ppid=1400 vsize=312660 CPUtime=0.1
/proc/1402/task/1410/stat : 1410 (satake) D 1400 1402 27791 0 -1 4202560 2160 0 0 0 0 10 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1411] ppid=1400 vsize=312660 CPUtime=0.22
/proc/1402/task/1411/stat : 1411 (satake) R 1400 1402 27791 0 -1 4202560 4295 0 0 0 0 22 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1402/tid=1412] ppid=1400 vsize=312660 CPUtime=0.22
/proc/1402/task/1412/stat : 1412 (satake) D 1400 1402 27791 0 -1 4202560 3856 0 0 0 0 22 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1402/tid=1413] ppid=1400 vsize=312660 CPUtime=0.14
/proc/1402/task/1413/stat : 1413 (satake) D 1400 1402 27791 0 -1 4202560 3577 0 0 0 0 14 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1414] ppid=1400 vsize=312660 CPUtime=0.08
/proc/1402/task/1414/stat : 1414 (satake) D 1400 1402 27791 0 -1 4202560 1982 0 0 0 0 8 0 0 20 0 17 0 635258697 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1415] ppid=1400 vsize=312660 CPUtime=0.24
/proc/1402/task/1415/stat : 1415 (satake) D 1400 1402 27791 0 -1 4202560 5234 0 0 0 0 24 0 0 20 0 17 0 635258698 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1402/tid=1416] ppid=1400 vsize=312660 CPUtime=0.14
/proc/1402/task/1416/stat : 1416 (satake) D 1400 1402 27791 0 -1 4202560 2604 0 0 0 0 14 0 0 20 0 17 0 635258698 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1402/tid=1417] ppid=1400 vsize=312660 CPUtime=0.08
/proc/1402/task/1417/stat : 1417 (satake) D 1400 1402 27791 0 -1 4202560 1729 0 0 0 0 8 0 0 20 0 17 0 635258698 320163840 50572 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 312660

[startup+0.705781 s]
/proc/loadavg: 3.33 3.00 2.96 2/184 1402
/proc/meminfo: memFree=19118272/36427776 swapFree=4280/8404
[pid=1402] ppid=1400 vsize=318876 CPUtime=5.33
/proc/1402/stat : 1402 (satake) S 1400 1402 27791 0 -1 4202496 64165 0 0 0 5 528 0 0 20 0 17 0 635258697 326529024 64105 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/1402/statm: 79719 64109 63 164 0 79554 0
[pid=1402/tid=1403] ppid=1400 vsize=318876 CPUtime=0
/proc/1402/task/1403/stat : 1403 (satake) S 1400 1402 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 635258697 326529024 64110 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1404] ppid=1400 vsize=318876 CPUtime=0.48
/proc/1402/task/1404/stat : 1404 (satake) R 1400 1402 27791 0 -1 4202560 5525 0 0 0 2 46 0 0 20 0 17 0 635258697 326529024 64111 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1402/tid=1405] ppid=1400 vsize=318876 CPUtime=0.26
/proc/1402/task/1405/stat : 1405 (satake) R 1400 1402 27791 0 -1 4202560 3071 0 0 0 0 26 0 0 20 0 17 0 635258697 326529024 64115 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1406] ppid=1400 vsize=318876 CPUtime=0.46
/proc/1402/task/1406/stat : 1406 (satake) R 1400 1402 27791 0 -1 4202560 5421 0 0 0 0 46 0 0 20 0 17 0 635258697 326529024 64115 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1402/tid=1407] ppid=1400 vsize=318876 CPUtime=0.44
/proc/1402/task/1407/stat : 1407 (satake) S 1400 1402 27791 0 -1 4202560 5397 0 0 0 0 44 0 0 20 0 17 0 635258697 326529024 64115 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1402/tid=1408] ppid=1400 vsize=318876 CPUtime=0.26
/proc/1402/task/1408/stat : 1408 (satake) D 1400 1402 27791 0 -1 4202560 2791 0 0 0 0 26 0 0 20 0 17 0 635258697 326529024 64115 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1402/tid=1409] ppid=1400 vsize=318876 CPUtime=0.28
/proc/1402/task/1409/stat : 1409 (satake) D 1400 1402 27791 0 -1 4202560 3431 0 0 0 0 28 0 0 20 0 17 0 635258697 326529024 64115 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1410] ppid=1400 vsize=318876 CPUtime=0.22
/proc/1402/task/1410/stat : 1410 (satake) D 1400 1402 27791 0 -1 4202560 3091 0 0 0 0 22 0 0 20 0 17 0 635258697 326529024 64118 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1402/tid=1411] ppid=1400 vsize=318876 CPUtime=0.48
/proc/1402/task/1411/stat : 1411 (satake) R 1400 1402 27791 0 -1 4202560 5354 0 0 0 0 48 0 0 20 0 17 0 635258697 326529024 64120 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1402/tid=1412] ppid=1400 vsize=318876 CPUtime=0.44
/proc/1402/task/1412/stat : 1412 (satake) R 1400 1402 27791 0 -1 4202560 5115 0 0 0 0 44 0 0 20 0 17 0 635258697 326529024 64120 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1402/tid=1413] ppid=1400 vsize=318876 CPUtime=0.28
/proc/1402/task/1413/stat : 1413 (satake) R 1400 1402 27791 0 -1 4202560 4505 0 0 0 0 28 0 0 20 0 17 0 635258697 326529024 64121 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1414] ppid=1400 vsize=318876 CPUtime=0.22
/proc/1402/task/1414/stat : 1414 (satake) R 1400 1402 27791 0 -1 4202560 2883 0 0 0 0 22 0 0 20 0 17 0 635258697 326529024 64123 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1402/tid=1415] ppid=1400 vsize=318876 CPUtime=0.5
/proc/1402/task/1415/stat : 1415 (satake) R 1400 1402 27791 0 -1 4202560 5707 0 0 0 2 48 0 0 20 0 17 0 635258698 326529024 64123 18446744073709551615 134512640 135180984 4287244176 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1402/tid=1416] ppid=1400 vsize=318876 CPUtime=0.26

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

deleting IPC queue 765919310
deleting IPC queue 765952079
deleting IPC queue 765984848
deleting IPC queue 766017617
deleting IPC queue 766050386
deleting IPC queue 766083155
deleting IPC queue 766115924
deleting IPC queue 766148693
deleting IPC queue 766181462
deleting IPC queue 766214231
deleting IPC queue 766247000
deleting IPC queue 766279769
deleting IPC queue 766312538
deleting IPC queue 766345307
deleting IPC queue 766378076
deleting IPC queue 766410845
deleting IPC queue 766443614
deleting IPC queue 766476383
deleting IPC queue 766509152
deleting IPC queue 766541921
deleting IPC queue 766574690
deleting IPC queue 766607459
deleting IPC queue 766640228
deleting IPC queue 766672997
deleting IPC queue 766705766
deleting IPC queue 766738535
deleting IPC queue 766771304
deleting IPC queue 766804073
deleting IPC queue 766836842
deleting IPC queue 766869611
deleting IPC queue 766902380
deleting IPC queue 766935149
deleting IPC queue 766967918
deleting IPC queue 767000687
deleting IPC queue 767033456
deleting IPC queue 767066225
deleting IPC queue 767098994
deleting IPC queue 767131763
deleting IPC queue 767164532
deleting IPC queue 767197301
deleting IPC queue 767230070
deleting IPC queue 767262839
deleting IPC queue 767295608
deleting IPC queue 767328377
deleting IPC queue 767361146
deleting IPC queue 767393915
deleting IPC queue 767426684
deleting IPC queue 767459453
deleting IPC queue 767492222
deleting IPC queue 767524991
deleting IPC queue 767557760
deleting IPC queue 767590529
deleting IPC queue 767623298
deleting IPC queue 767656067
deleting IPC queue 767688836
deleting IPC queue 767721605
deleting IPC queue 767754374
deleting IPC queue 767787143
deleting IPC queue 767819912
deleting IPC queue 767852681
deleting IPC queue 767885450
deleting IPC queue 767918219
deleting IPC queue 767950988
deleting IPC queue 767983757
deleting IPC queue 768016526
deleting IPC queue 768049295
deleting IPC queue 768082064
deleting IPC queue 768114833
deleting IPC queue 768147602
deleting IPC queue 768180371
deleting IPC queue 768213140
deleting IPC queue 768245909
deleting IPC queue 768278678
deleting IPC queue 768311447
deleting IPC queue 768344216
deleting IPC queue 768376985
deleting IPC queue 768409754
deleting IPC queue 768442523
deleting IPC queue 768475292
deleting IPC queue 768508061
deleting IPC queue 768540830
deleting IPC queue 768573599
deleting IPC queue 768606368
deleting IPC queue 768639137
deleting IPC queue 768671906
deleting IPC queue 768704675
deleting IPC queue 768737444
deleting IPC queue 768770213
deleting IPC queue 768802982
deleting IPC queue 768835751
deleting IPC queue 768868520
deleting IPC queue 768901289
deleting IPC queue 768934058
deleting IPC queue 768966827
deleting IPC queue 768999596
deleting IPC queue 769032365
deleting IPC queue 769065134
deleting IPC queue 769097903
deleting IPC queue 769130672
deleting IPC queue 769163441
deleting IPC queue 769196210
deleting IPC queue 769228979
deleting IPC queue 769261748
deleting IPC queue 769294517
deleting IPC queue 769327286
deleting IPC queue 769360055
deleting IPC queue 769392824
deleting IPC queue 769425593
deleting IPC queue 769458362
deleting IPC queue 769491131
deleting IPC queue 769523900
deleting IPC queue 769556669
deleting IPC queue 769589438
deleting IPC queue 769622207
deleting IPC queue 769654976
deleting IPC queue 769687745
deleting IPC queue 769720514
deleting IPC queue 769753283
deleting IPC queue 769786052
deleting IPC queue 769818821
deleting IPC queue 769851590
deleting IPC queue 769884359
deleting IPC queue 769917128
deleting IPC queue 769949897
deleting IPC queue 769982666
deleting IPC queue 770015435
deleting IPC queue 770048204
deleting IPC queue 770080973
deleting IPC queue 770113742
deleting IPC queue 770146511
deleting IPC queue 770179280
deleting IPC queue 770212049
deleting IPC queue 770244818
deleting IPC queue 770277587
deleting IPC queue 770310356
deleting IPC queue 770343125
deleting IPC queue 770375894
deleting IPC queue 770408663
deleting IPC queue 770441432
deleting IPC queue 770474201
deleting IPC queue 770506970
deleting IPC queue 770539739
deleting IPC queue 770572508
deleting IPC queue 770605277
deleting IPC queue 770638046
deleting IPC queue 770670815
deleting IPC queue 770703584
deleting IPC queue 770736353
deleting IPC queue 770769122
deleting IPC queue 770801891
deleting IPC queue 770834660
deleting IPC queue 770867429
deleting IPC queue 770900198
deleting IPC queue 770932967
deleting IPC queue 770965736
deleting IPC queue 770998505
deleting IPC queue 771031274
deleting IPC queue 771064043
deleting IPC queue 771096812
deleting IPC queue 771129581
deleting IPC queue 771162350
deleting IPC queue 771195119
deleting IPC queue 771227888
deleting IPC queue 771260657
deleting IPC queue 771293426
deleting IPC queue 771326195
deleting IPC queue 771358964
deleting IPC queue 771391733
deleting IPC queue 771424502
deleting IPC queue 771457271
deleting IPC queue 771490040
deleting IPC queue 771522809
deleting IPC queue 771555578
deleting IPC queue 771588347
deleting IPC queue 771621116
deleting IPC queue 771653885
deleting IPC queue 771686654
deleting IPC queue 771719423

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.594
system time used= 790.153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283640
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= 65870821
involuntary context switches= 8976439

runsolver used 4.16826 second user time and 11.0367 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 00:32:03
IDJOB=1776867
IDBENCH=69600
IDSOLVER=631
FILE ID=xenhost3-49/1776867-1244759523
PBS_JOBID=
Free space on /tmp= 7018 MiB

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

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

MD5SUM BENCH= 0baefedb2aaa81442743e253487854d8
RANDOM SEED= 626684475

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:      19118272 kB
Buffers:        433560 kB
Cached:       14122876 kB
SwapCached:          0 kB
Active:        4078560 kB
Inactive:     10486072 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           21276 kB
Writeback:           0 kB
AnonPages:        8404 kB
Mapped:           3616 kB
Slab:           688648 kB
SReclaimable:   661816 kB
SUnreclaim:      26832 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7018 MiB
End job on xenhost3-49 at 2009-06-12 00:48:46