Trace number 3096357

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
MultiFlip 2011-02-11? (TO) 1300.04 1300.01

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf
MD5SUM7363c9bb5019132082aeb3e4836ce4d1
Bench CategoryRANDOM (random 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 variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

453.40/453.48	c MultiFlip version 1.01 by Jingchao Chen,  Feb. 2011 
453.40/453.48	c input CNF file=HOME/instance-3096357-1301759733.cnf 
453.40/453.48	c var#=700 clause#=2982 
453.40/453.48	c clause#=2982 var#=700 ratio=4 
453.40/453.48	c Unsat#=         3 flip#=     13234 
453.40/453.48	c Unsat#=         2 flip#=     74191 
453.40/453.48	c Unsat#=         1 flip#=    193616 
453.40/453.48	c try 1-th flip# 40000000
453.40/453.48	c Unsat#=         3 flip#=     17116 
453.40/453.48	c Unsat#=         2 flip#=     29122 
453.40/453.48	c Unsat#=         1 flip#=    214611 
453.40/453.48	c try 2-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     26253 
453.40/453.48	c Unsat#=         2 flip#=     40880 
453.40/453.48	c Unsat#=         1 flip#=    231002 
453.40/453.48	c try 3-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     28503 
453.40/453.48	c Unsat#=         2 flip#=     80149 
453.40/453.48	c Unsat#=         1 flip#=     80224 
453.40/453.48	c try 4-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     10963 
453.40/453.48	c Unsat#=         2 flip#=     21124 
453.40/453.48	c Unsat#=         1 flip#=     96477 
453.40/453.48	c try 5-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      7064 
453.40/453.48	c Unsat#=         2 flip#=     43234 
453.40/453.48	c Unsat#=         1 flip#=     77173 
453.40/453.48	c try 6-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      7776 
453.40/453.48	c Unsat#=         2 flip#=      8178 
453.40/453.48	c Unsat#=         1 flip#=      8194 
453.40/453.48	c try 7-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     12056 
453.40/453.48	c Unsat#=         2 flip#=     13727 
453.40/453.48	c Unsat#=         1 flip#=    118519 
453.40/453.48	c try 8-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      6581 
453.40/453.48	c Unsat#=         2 flip#=     11924 
453.40/453.48	c Unsat#=         1 flip#=     12499 
453.40/453.48	c try 9-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      7356 
453.40/453.48	c Unsat#=         2 flip#=     22093 
453.40/453.48	c Unsat#=         1 flip#=     76213 
453.40/453.48	c try 10-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     13191 
453.40/453.48	c Unsat#=         2 flip#=     73530 
453.40/453.48	c Unsat#=         1 flip#=     81287 
453.40/453.48	c try 11-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      3351 
453.40/453.48	c Unsat#=         2 flip#=     24109 
453.40/453.48	c Unsat#=         1 flip#=     27716 
453.40/453.48	c try 12-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     18925 
453.40/453.48	c Unsat#=         2 flip#=     19664 
453.40/453.48	c Unsat#=         1 flip#=     68070 
453.40/453.48	c try 13-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     11937 
453.40/453.48	c Unsat#=         2 flip#=     13607 
453.40/453.48	c Unsat#=         1 flip#=    273059 
453.40/453.48	c try 14-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     15566 
453.40/453.48	c Unsat#=         2 flip#=     33150 
453.40/453.48	c Unsat#=         1 flip#=     39103 
453.40/453.48	c try 15-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      6281 
453.40/453.48	c Unsat#=         2 flip#=      6283 
453.40/453.48	c Unsat#=         1 flip#=    184112 
453.40/453.48	c try 16-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      4581 
453.40/453.48	c Unsat#=         2 flip#=     94097 
453.40/453.48	c Unsat#=         1 flip#=    209700 
453.40/453.48	c try 17-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     15160 
453.40/453.48	c Unsat#=         2 flip#=     79212 
453.40/453.48	c Unsat#=         1 flip#=    136855 
453.40/453.48	c try 18-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      8743 
453.40/453.48	c Unsat#=         2 flip#=     82096 
453.40/453.48	c Unsat#=         1 flip#=    105830 
453.40/453.48	c try 19-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     11202 
453.40/453.48	c Unsat#=         2 flip#=     13593 
453.40/453.48	c Unsat#=         1 flip#=    104133 
453.40/453.48	c try 20-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      8575 
453.40/453.48	c Unsat#=         2 flip#=      8738 
453.40/453.48	c Unsat#=         1 flip#=    121362 
453.40/453.48	c try 21-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     35351 
453.40/453.48	c Unsat#=         2 flip#=     70453 
453.40/453.48	c Unsat#=         1 flip#=    173970 
453.40/453.48	c try 22-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     17078 
453.40/453.48	c Unsat#=         2 flip#=    111953 
453.40/453.48	c Unsat#=         1 flip#=    139991 
453.40/453.48	c try 23-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      5877 
453.40/453.48	c Unsat#=         2 flip#=      6368 
453.40/453.48	c Unsat#=         1 flip#=    314986 
453.40/453.48	c try 24-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=      8236 
453.40/453.48	c Unsat#=         2 flip#=      9164 
453.40/453.48	c Unsat#=         1 flip#=     15180 
453.40/453.48	c try 25-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     13296 
453.40/453.48	c Unsat#=         2 flip#=     14265 
453.40/453.48	c Unsat#=         1 flip#=    261217 
453.40/453.48	c try 26-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     15950 
453.40/453.48	c Unsat#=         2 flip#=    121046 
453.40/453.48	c Unsat#=         1 flip#=    121813 
453.40/453.48	c try 27-th flip# 30000000
453.40/453.48	c Unsat#=         3 flip#=     57730 
453.40/453.48	c Unsat#=         2 flip#=     60208 
453.40/453.48	c Unsat#=         1 flip#=     68533 
934.52/934.51	c try 28-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     27768 
934.52/934.51	c Unsat#=         2 flip#=     27776 
934.52/934.51	c Unsat#=         1 flip#=    150654 
934.52/934.51	c try 29-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=      3305 
934.52/934.51	c Unsat#=         2 flip#=     21206 
934.52/934.51	c Unsat#=         1 flip#=    278802 
934.52/934.51	c try 30-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=      5785 
934.52/934.51	c Unsat#=         2 flip#=      9515 
934.52/934.51	c Unsat#=         1 flip#=     24559 
934.52/934.51	c try 31-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     11542 
934.52/934.51	c Unsat#=         2 flip#=     11553 
934.52/934.51	c Unsat#=         1 flip#=     62972 
934.52/934.51	c try 32-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     26142 
934.52/934.51	c Unsat#=         2 flip#=     26743 
934.52/934.51	c Unsat#=         1 flip#=    146231 
934.52/934.51	c try 33-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=      4605 
934.52/934.51	c Unsat#=         2 flip#=     14626 
934.52/934.51	c Unsat#=         1 flip#=     25607 
934.52/934.51	c try 34-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     14019 
934.52/934.51	c Unsat#=         2 flip#=     33301 
934.52/934.51	c Unsat#=         1 flip#=    336380 
934.52/934.51	c try 35-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=    112340 
934.52/934.51	c Unsat#=         2 flip#=    112536 
934.52/934.51	c Unsat#=         1 flip#=    219203 
934.52/934.51	c try 36-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     14676 
934.52/934.51	c Unsat#=         2 flip#=     81428 
934.52/934.51	c Unsat#=         1 flip#=    140070 
934.52/934.51	c try 37-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     16403 
934.52/934.51	c Unsat#=         2 flip#=     21087 
934.52/934.51	c Unsat#=         1 flip#=    183965 
934.52/934.51	c try 38-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     13957 
934.52/934.51	c Unsat#=         2 flip#=     57758 
934.52/934.51	c Unsat#=         1 flip#=    231458 
934.52/934.51	c try 39-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     38848 
934.52/934.51	c Unsat#=         2 flip#=    223499 
934.52/934.51	c Unsat#=         1 flip#=    288045 
934.52/934.51	c try 40-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     15383 
934.52/934.51	c Unsat#=         2 flip#=     23019 
934.52/934.51	c Unsat#=         1 flip#=    350255 
934.52/934.51	c try 41-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     16819 
934.52/934.51	c Unsat#=         2 flip#=     70096 
934.52/934.51	c Unsat#=         1 flip#=    166808 
934.52/934.51	c try 42-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     22678 
934.52/934.51	c Unsat#=         2 flip#=     41397 
934.52/934.51	c Unsat#=         1 flip#=    130962 
934.52/934.51	c try 43-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     17228 
934.52/934.51	c Unsat#=         2 flip#=     35487 
934.52/934.51	c Unsat#=         1 flip#=    215566 
934.52/934.51	c try 44-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     12474 
934.52/934.51	c Unsat#=         2 flip#=     12757 
934.52/934.51	c Unsat#=         1 flip#=     95412 
934.52/934.51	c try 45-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     32038 
934.52/934.51	c Unsat#=         2 flip#=     32218 
934.52/934.51	c Unsat#=         1 flip#=     75963 
934.52/934.51	c try 46-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     18676 
934.52/934.51	c Unsat#=         2 flip#=     21135 
934.52/934.51	c Unsat#=         1 flip#=     22061 
934.52/934.51	c try 47-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     10086 
934.52/934.51	c Unsat#=         2 flip#=     37530 
934.52/934.51	c Unsat#=         1 flip#=    539884 
934.52/934.51	c try 48-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     11074 
934.52/934.51	c Unsat#=         2 flip#=     11178 
934.52/934.51	c Unsat#=         1 flip#=     13447 
934.52/934.51	c try 49-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     11971 
934.52/934.51	c Unsat#=         2 flip#=     19284 
934.52/934.51	c Unsat#=         1 flip#=     79535 
934.52/934.51	c try 50-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=      7429 
934.52/934.51	c Unsat#=         2 flip#=    151491 
934.52/934.51	c Unsat#=         1 flip#=    153619 
934.52/934.51	c try 51-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=      4263 
934.52/934.51	c Unsat#=         2 flip#=     54825 
934.52/934.51	c Unsat#=         1 flip#=     59746 
934.52/934.51	c try 52-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=      5765 
934.52/934.51	c Unsat#=         2 flip#=     17433 
934.52/934.51	c Unsat#=         1 flip#=    344553 
934.52/934.51	c try 53-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     17184 
934.52/934.51	c Unsat#=         2 flip#=     17252 
934.52/934.51	c Unsat#=         1 flip#=     44960 
934.52/934.51	c try 54-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=      6321 
934.52/934.51	c Unsat#=         2 flip#=      6871 
934.52/934.51	c Unsat#=         1 flip#=    108777 
934.52/934.51	c try 55-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     10028 
934.52/934.51	c Unsat#=         2 flip#=     50340 
934.52/934.51	c Unsat#=         1 flip#=    174237 
934.52/934.51	c try 56-th flip# 30000000
934.52/934.51	c Unsat#=         3 flip#=     47979 
934.52/934.51	c Unsat#=         2 flip#=    114309 
934.52/934.51	c Unsat#=         1 flip#=    1

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3096357-1301759733/watcher-3096357-1301759733 -o /tmp/evaluation-result-3096357-1301759733/solver-3096357-1301759733 -C 2400 -W 1300 -M 7680 MultiFlip HOME/instance-3096357-1301759733.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.92 3.99 3.93 4/189 28256
/proc/meminfo: memFree=22669496/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=2764 CPUtime=0 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4194304 195 0 0 0 0 0 0 0 25 0 1 0 287574091 2830336 145 33554432000 134512640 134540672 4293544368 18446744073709551615 11276112 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 678 136 116 7 0 35 0

[startup+0.060189 s]
/proc/loadavg: 3.92 3.99 3.93 4/189 28256
/proc/meminfo: memFree=22669496/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=0.05 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 5 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523769 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3112

[startup+0.100185 s]
/proc/loadavg: 3.92 3.99 3.93 4/189 28256
/proc/meminfo: memFree=22669496/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=0.09 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 9 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523832 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3112

[startup+0.300145 s]
/proc/loadavg: 3.92 3.99 3.93 4/189 28256
/proc/meminfo: memFree=22669496/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=0.29 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 29 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3112

[startup+0.701072 s]
/proc/loadavg: 3.92 3.99 3.93 4/189 28256
/proc/meminfo: memFree=22669496/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=0.69 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 69 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134526560 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3112

[startup+1.50094 s]
/proc/loadavg: 3.92 3.99 3.93 5/190 28257
/proc/meminfo: memFree=22668652/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=1.49 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 149 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523392 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3112

[startup+3.10063 s]
/proc/loadavg: 3.85 3.97 3.92 4/188 28258
/proc/meminfo: memFree=22668296/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=3.09 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 309 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134527286 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3112

[startup+6.30105 s]
/proc/loadavg: 3.85 3.97 3.92 5/190 28312
/proc/meminfo: memFree=22669528/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=6.29 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 629 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523513 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3112

[startup+12.7009 s]
/proc/loadavg: 3.86 3.97 3.92 5/190 28312
/proc/meminfo: memFree=22668532/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=12.69 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 1269 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523063 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3112

[startup+25.5005 s]
/proc/loadavg: 3.82 3.95 3.91 5/190 28449
/proc/meminfo: memFree=22668972/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=25.49 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 2549 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524133 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3112

[startup+51.1008 s]
/proc/loadavg: 3.88 3.96 3.91 5/190 28449
/proc/meminfo: memFree=22668480/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=51.09 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 5109 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523882 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3112

[startup+102.306 s]
/proc/loadavg: 3.95 3.96 3.91 5/190 28451
/proc/meminfo: memFree=22667100/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=102.3 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 10230 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524090 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 3112

[startup+162.3 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 28452
/proc/meminfo: memFree=22666804/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=162.29 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 16229 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523656 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 3112

[startup+222.3 s]
/proc/loadavg: 4.01 3.98 3.92 5/190 28454
/proc/meminfo: memFree=22666780/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=222.3 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 22230 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523184 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 3112

[startup+282.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/190 28455
/proc/meminfo: memFree=22666876/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=282.3 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 28230 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134526628 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 3112

[startup+342.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/190 28466
/proc/meminfo: memFree=22666812/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=342.3 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 34230 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524250 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3112

[startup+402.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/190 28468
/proc/meminfo: memFree=22667064/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=402.3 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 40230 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523584 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3112

[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/190 28469
/proc/meminfo: memFree=22667168/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=462.3 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 46230 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523184 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3112

[startup+522.301 s]
/proc/loadavg: 4.11 4.01 3.93 5/190 28474
/proc/meminfo: memFree=22666732/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=522.3 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 52230 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524142 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 3112

[startup+582.301 s]
/proc/loadavg: 4.04 4.01 3.93 5/190 28475
/proc/meminfo: memFree=22667172/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=582.31 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 58231 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524033 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 3112

[startup+642.301 s]
/proc/loadavg: 4.01 4.00 3.93 5/190 28477
/proc/meminfo: memFree=22667140/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=642.31 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 64231 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134526597 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 3112

[startup+702.301 s]
/proc/loadavg: 4.07 4.02 3.94 5/190 28479
/proc/meminfo: memFree=22666508/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=702.31 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 70231 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523312 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 3112

[startup+762.307 s]
/proc/loadavg: 4.02 4.01 3.94 5/190 28480
/proc/meminfo: memFree=22665976/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=762.32 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 76232 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523753 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 3112

[startup+822.301 s]
/proc/loadavg: 4.01 4.00 3.94 5/190 28482
/proc/meminfo: memFree=22666224/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=822.31 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 82231 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 3112

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 28483
/proc/meminfo: memFree=22666192/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=882.31 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 88231 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523654 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3112

[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 28485
/proc/meminfo: memFree=22666420/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=942.32 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 94232 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134526658 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 3112

[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 28487
/proc/meminfo: memFree=22666764/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=1002.32 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 100232 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134522953 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3112

[startup+1062.3 s]
/proc/loadavg: 4.08 4.02 3.94 5/190 28488
/proc/meminfo: memFree=22666756/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=1062.32 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 106232 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523457 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3112

[startup+1122.3 s]
/proc/loadavg: 4.07 4.03 3.95 5/190 28490
/proc/meminfo: memFree=22666852/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=1122.32 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 112232 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523343 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3112

[startup+1182.3 s]
/proc/loadavg: 4.02 4.02 3.95 5/190 28491
/proc/meminfo: memFree=22666944/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=1182.32 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 118232 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134523849 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3112

[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.95 5/190 28493
/proc/meminfo: memFree=22666288/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=1242.33 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 124233 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134526645 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3112



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.01 3.95 4/188 28496
/proc/meminfo: memFree=22666288/32951124 swapFree=67111528/67111528
[pid=28256] ppid=28254 vsize=3112 CPUtime=1300.03 cores=5,7
/proc/28256/stat : 28256 (MultiFlip) R 28254 28256 27553 0 -1 4202496 392 0 0 0 130003 0 0 0 25 0 1 0 287574091 3186688 330 33554432000 134512640 134540672 4293544368 18446744073709551615 134524017 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28256/statm: 778 330 220 7 0 135 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 3112

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.04
CPU user time (s): 1300.04
CPU system time (s): 0.001999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3112

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

runsolver used 1.92971 second user time and 3.99439 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-02 17:55:33
IDJOB=3096357
IDBENCH=83039
IDSOLVER=1523
FILE ID=node109/3096357-1301759733
RUNJOBID= node109-1301757124-27574
PBS_JOBID= 12841080
Free space on /tmp= 72060 MiB

SOLVER NAME= MultiFlip 2011-02-11
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf
COMMAND LINE= MultiFlip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3096357-1301759733/watcher-3096357-1301759733 -o /tmp/evaluation-result-3096357-1301759733/solver-3096357-1301759733 -C 2400 -W 1300 -M 7680  MultiFlip HOME/instance-3096357-1301759733.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 7363c9bb5019132082aeb3e4836ce4d1
RANDOM SEED=790913030

node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22669776 kB
Buffers:        345008 kB
Cached:        9604676 kB
SwapCached:          0 kB
Active:        5978564 kB
Inactive:      4037772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22669776 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             168 kB
Writeback:           0 kB
AnonPages:       66444 kB
Mapped:          16156 kB
Slab:           201532 kB
PageTables:       5212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   251376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72060 MiB
End job on node109 at 2011-04-02 18:17:15