Trace number 3393878

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
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 21.4797 2.93219

General information on the benchmark

Nameindustrial/babic/hsatv17/
hsat_vc12062.cnf
MD5SUMcc0ca898241ac312882fa93ead2b644b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.507921
Satisfiable
(Un)Satisfiability was proved
Number of variables200205
Number of clauses566857
Sum of the clauses size1466561
Maximum clause length3
Minimum clause length1
Number of clauses of size 124585
Number of clauses of size 2184840
Number of clauses of size 3357432
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3393878-1306070152.cnf'
0.00/0.03	c -- header says num vars:         200230
0.00/0.03	c -- header says num clauses:      566857
4.08/0.74	c -- clauses added:            0 learnts,       566857 normals,            0 xors
4.08/0.74	c -- vars added     200230
4.08/0.74	c Parsing time:  0.30 s
4.08/0.74	c  N st     0         0    200230    357431    184366         0   1441025         0   no data   no data
6.41/1.07	c asymm  cl-useful: 0/12668/357143 lits-rem:0 time: 0.33
20.76/2.90	c Following stats are for *FIRST FINISHED THREAD ONLY*
20.76/2.90	c num threads              : 8          
20.76/2.90	c restarts                 : 5          
20.76/2.90	c dynamic restarts         : 0          
20.76/2.90	c static restarts          : 5          
20.76/2.90	c full restarts            : 0          
20.76/2.90	c total simplify time      : 0.51       
20.76/2.90	c learnts DL2              : 0          
20.76/2.90	c learnts size 2           : 184576     
20.76/2.90	c learnts size 1           : 26103       (13.04     % of vars)
20.76/2.90	c filedLit time            : 0.00        (0.00      % time)
20.76/2.90	c v-elim SatELite          : 0           (0.00      % vars)
20.76/2.90	c SatELite time            : 0.00        (0.00      % time)
20.76/2.90	c v-elim xor               : 0           (0.00      % vars)
20.76/2.90	c xor elim time            : 0.00        (0.00      % time)
20.76/2.90	c num binary xor trees     : 19616      
20.76/2.90	c binxor trees' crown      : 48530       (2.47      leafs/tree)
20.76/2.90	c bin xor find time        : 0.06       
20.76/2.90	c OTF clause improved      : 81          (0.06      clauses/conflict)
20.76/2.90	c OTF impr. size diff      : 81          (1.00       lits/clause)
20.76/2.90	c OTF cl watch-shrink      : 21          (0.02      clauses/conflict)
20.76/2.90	c OTF cl watch-sh-lit      : 39          (1.86       lits/clause)
20.76/2.90	c tried to recurMin cls    : 695         (55.51      % of conflicts)
20.76/2.90	c updated cache            : 1501        (2.16       lits/tried recurMin)
20.76/2.90	c unit cls recevied        : 0           (0.00      % of units)
20.76/2.90	c unit cls sent            : 0           (0.00      % of units)
20.76/2.90	c bin cls recevied         : 0          
20.76/2.90	c bin cls sent             : 0          
20.76/2.90	c clauses over max glue    : 0           (0.00      % of all clauses)
20.76/2.90	c conflicts                : 1252        (493.38    / sec)
20.76/2.90	c decisions                : 110823      (1.10      % random)
20.76/2.90	c bogo-props               : 35034339    (13806015.81 / sec)
20.76/2.90	c conflict literals        : 10089       (8.42      % deleted)
20.76/2.90	c Memory used              : 1338.99     MB
20.76/2.90	c single-thread CPU time   : 2.54        s
20.76/2.90	c all-threads sum CPU time : 19.74       s
20.76/2.90	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3393878-1306070152/watcher-3393878-1306070152 -o /tmp/evaluation-result-3393878-1306070152/solver-3393878-1306070152 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393878-1306070152.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.00 2.93 1.13 2/266 4259
/proc/meminfo: memFree=16444868/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) R 4257 4259 4161 0 -1 4202496 412 0 0 0 1 0 0 0 19 0 8 0 718616020 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 47268341192620 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4259/statm: 23036 352 299 95 0 18018 0
[pid=4259/tid=4260] ppid=4257 vsize=92144 CPUtime=0 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 8 0 718616021 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 47268341192620 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=92144 CPUtime=0 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 8 0 718616021 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 47268341192616 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=92144 CPUtime=0 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 718616021 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 47268341192626 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=92144 CPUtime=0 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 718616021 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=92144 CPUtime=0 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 718616021 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=92144 CPUtime=0 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 718616021 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 47268341192626 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=92144 CPUtime=0 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 718616021 94355456 352 33554432000 4194304 4580107 140735356126704 18446744073709551615 47268341192626 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0581791 s]
/proc/loadavg: 6.00 2.93 1.13 2/266 4259
/proc/meminfo: memFree=16444868/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=402296 CPUtime=0.35 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) D 4257 4259 4161 0 -1 4202496 26609 0 0 0 29 6 0 0 17 0 8 0 718616020 411951104 22154 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921474240 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 100574 22213 337 95 0 95556 0
[pid=4259/tid=4260] ppid=4257 vsize=402296 CPUtime=0.04 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 3732 0 0 0 4 0 0 0 18 0 8 0 718616021 411951104 22213 33554432000 4194304 4580107 140735356126704 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=402296 CPUtime=0.04 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 3226 0 0 0 3 1 0 0 18 0 8 0 718616021 411951104 22213 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921474425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=400244 CPUtime=0.03 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 3093 0 0 0 3 0 0 0 17 0 8 0 718616021 409849856 22009 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921474144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=400244 CPUtime=0.01 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 2888 0 0 0 1 0 0 0 17 0 8 0 718616021 409849856 22456 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 4 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=398192 CPUtime=0.04 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 3200 0 0 0 4 0 0 0 18 0 8 0 718616021 407748608 22453 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 7 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=398192 CPUtime=0.04 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 3216 0 0 0 3 1 0 0 17 0 8 0 718616021 407748608 22495 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=398192 CPUtime=0.04 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 4646 0 0 0 4 0 0 0 18 0 8 0 718616021 407748608 22530 33554432000 4194304 4580107 140735356126704 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 402296

[startup+0.105305 s]
/proc/loadavg: 6.00 2.93 1.13 2/266 4259
/proc/meminfo: memFree=16444868/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=509412 CPUtime=0.66 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) D 4257 4259 4161 0 -1 4202496 76186 0 0 0 48 18 0 0 18 0 8 0 718616020 521637888 59734 33554432000 4194304 4580107 140735356126704 18446744073709551615 4307948 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 128163 62988 337 95 0 123145 0
[pid=4259/tid=4260] ppid=4257 vsize=512652 CPUtime=0.08 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 10816 0 0 0 6 2 0 0 18 0 8 0 718616021 524955648 62988 33554432000 4194304 4580107 140735356126704 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=512652 CPUtime=0.08 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 9681 0 0 0 5 3 0 0 17 0 8 0 718616021 524955648 62988 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=512652 CPUtime=0.07 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 10169 0 0 0 6 1 0 0 17 0 8 0 718616021 524955648 62988 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921474517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=512652 CPUtime=0.05 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 9708 0 0 0 4 1 0 0 17 0 8 0 718616021 524955648 62988 33554432000 4194304 4580107 140735356126704 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=515892 CPUtime=0.07 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 8336 0 0 0 6 1 0 0 18 0 8 0 718616021 528273408 62996 33554432000 4194304 4580107 140735356126704 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=515892 CPUtime=0.08 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 8409 0 0 0 6 2 0 0 17 0 8 0 718616021 528273408 63296 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921834922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=515892 CPUtime=0.09 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 12829 0 0 0 6 3 0 0 18 0 8 0 718616021 528273408 63296 33554432000 4194304 4580107 140735356126704 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 509412

[startup+0.304121 s]
/proc/loadavg: 6.00 2.93 1.13 2/266 4259
/proc/meminfo: memFree=16444868/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=884668 CPUtime=1.89 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) S 4257 4259 4161 0 -1 4202496 155511 0 0 0 122 67 0 0 17 0 8 0 718616020 905900032 122557 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 221167 122557 339 95 0 216149 0
[pid=4259/tid=4260] ppid=4257 vsize=884668 CPUtime=0.23 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 21105 0 0 0 16 7 0 0 17 0 8 0 718616021 905900032 122557 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 0 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=884668 CPUtime=0.22 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 19414 0 0 0 13 9 0 0 17 0 8 0 718616021 905900032 122557 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=884668 CPUtime=0.22 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 21710 0 0 0 14 8 0 0 17 0 8 0 718616021 905900032 122560 33554432000 4194304 4580107 140735356126704 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=884668 CPUtime=0.2 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 22382 0 0 0 12 8 0 0 17 0 8 0 718616021 905900032 122572 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921776955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=884668 CPUtime=0.23 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 16377 0 0 0 16 7 0 0 17 0 8 0 718616021 905900032 122586 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 7 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=884668 CPUtime=0.23 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 15624 0 0 0 15 8 0 0 17 0 8 0 718616021 905900032 122592 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=884668 CPUtime=0.24 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 20921 0 0 0 17 7 0 0 17 0 8 0 718616021 905900032 122597 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 884668

[startup+0.701042 s]
/proc/loadavg: 6.00 2.93 1.13 2/266 4259
/proc/meminfo: memFree=16444868/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=1166916 CPUtime=4.08 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) D 4257 4259 4161 0 -1 4202496 189862 0 0 0 250 158 0 0 17 0 8 0 718616020 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921438241 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 291729 156908 345 95 0 286711 0
[pid=4259/tid=4260] ppid=4257 vsize=1166916 CPUtime=0.51 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 24189 0 0 0 34 17 0 0 17 0 8 0 718616021 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 4 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=1166916 CPUtime=0.5 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 23680 0 0 0 27 23 0 0 17 0 8 0 718616021 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=1166916 CPUtime=0.5 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 25396 0 0 0 30 20 0 0 17 0 8 0 718616021 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=1166916 CPUtime=0.46 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 26501 0 0 0 27 19 0 0 17 0 8 0 718616021 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=1166916 CPUtime=0.51 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 21438 0 0 0 33 18 0 0 17 0 8 0 718616021 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=1166916 CPUtime=0.5 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) S 4257 4259 4161 0 -1 4202560 20413 0 0 0 31 19 0 0 17 0 8 0 718616021 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921882094 0 0 4096 2 18446604471129901184 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=1166916 CPUtime=0.52 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) D 4257 4259 4161 0 -1 4202560 25749 0 0 0 34 18 0 0 17 0 8 0 718616021 1194921984 156908 33554432000 4194304 4580107 140735356126704 18446744073709551615 222921437893 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 1166916

[startup+1.5009 s]
/proc/loadavg: 6.00 2.93 1.13 9/274 4267
/proc/meminfo: memFree=15784504/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=1370168 CPUtime=10.37 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) R 4257 4259 4161 0 -1 4202496 203573 0 0 0 868 169 0 0 17 0 8 0 718616020 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 342542 170223 361 95 0 337524 0
[pid=4259/tid=4260] ppid=4257 vsize=1370168 CPUtime=1.28 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26336 0 0 0 110 18 0 0 17 0 8 0 718616021 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=1370168 CPUtime=1.29 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26504 0 0 0 104 25 0 0 17 0 8 0 718616021 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=1370168 CPUtime=1.27 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 28323 0 0 0 106 21 0 0 17 0 8 0 718616021 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4234928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=1370168 CPUtime=1.25 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 29529 0 0 0 103 22 0 0 17 0 8 0 718616021 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=1370168 CPUtime=1.31 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 21787 0 0 0 112 19 0 0 18 0 8 0 718616021 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=1370168 CPUtime=1.29 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 20994 0 0 0 109 20 0 0 17 0 8 0 718616021 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=1370168 CPUtime=1.32 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26085 0 0 0 113 19 0 0 18 0 8 0 718616021 1403052032 170223 33554432000 4194304 4580107 140735356126704 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.37
Current children cumulated vsize (KiB) 1370168

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

[startup+2.30075 s]
/proc/loadavg: 6.00 2.93 1.13 10/274 4267
/proc/meminfo: memFree=15761840/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=1370604 CPUtime=16.76 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) R 4257 4259 4161 0 -1 4202496 204745 0 0 0 1506 170 0 0 18 0 8 0 718616020 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 342651 170820 361 95 0 337633 0
[pid=4259/tid=4260] ppid=4257 vsize=1370604 CPUtime=2.08 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26402 0 0 0 190 18 0 0 18 0 8 0 718616021 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=1370604 CPUtime=2.09 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26561 0 0 0 184 25 0 0 18 0 8 0 718616021 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=1370604 CPUtime=2.07 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 28382 0 0 0 186 21 0 0 18 0 8 0 718616021 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=1370604 CPUtime=2.05 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 29609 0 0 0 183 22 0 0 18 0 8 0 718616021 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=1370604 CPUtime=2.1 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 21881 0 0 0 191 19 0 0 19 0 8 0 718616021 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=1370604 CPUtime=2.09 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 21050 0 0 0 189 20 0 0 19 0 8 0 718616021 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=1370604 CPUtime=2.12 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26752 0 0 0 193 19 0 0 19 0 8 0 718616021 1403498496 170820 33554432000 4194304 4580107 140735356126704 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.76
Current children cumulated vsize (KiB) 1370604

[startup+2.70067 s]
/proc/loadavg: 6.00 2.93 1.13 10/274 4267
/proc/meminfo: memFree=15761840/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=1370988 CPUtime=19.96 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) R 4257 4259 4161 0 -1 4202496 205147 0 0 0 1826 170 0 0 19 0 8 0 718616020 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 342747 171222 361 95 0 337729 0
[pid=4259/tid=4260] ppid=4257 vsize=1370988 CPUtime=2.48 cores=0-7
/proc/4259/task/4260/stat : 4260 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26461 0 0 0 230 18 0 0 19 0 8 0 718616021 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4259/tid=4261] ppid=4257 vsize=1370988 CPUtime=2.49 cores=0-7
/proc/4259/task/4261/stat : 4261 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26617 0 0 0 224 25 0 0 19 0 8 0 718616021 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4259/tid=4262] ppid=4257 vsize=1370988 CPUtime=2.47 cores=0-7
/proc/4259/task/4262/stat : 4262 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 28436 0 0 0 226 21 0 0 19 0 8 0 718616021 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4259/tid=4263] ppid=4257 vsize=1370988 CPUtime=2.45 cores=0-7
/proc/4259/task/4263/stat : 4263 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 29662 0 0 0 223 22 0 0 19 0 8 0 718616021 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4259/tid=4264] ppid=4257 vsize=1370988 CPUtime=2.5 cores=0-7
/proc/4259/task/4264/stat : 4264 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 21944 0 0 0 231 19 0 0 19 0 8 0 718616021 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=1370988 CPUtime=2.49 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 21105 0 0 0 229 20 0 0 19 0 8 0 718616021 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4259/tid=4266] ppid=4257 vsize=1370988 CPUtime=2.52 cores=0-7
/proc/4259/task/4266/stat : 4266 (strangenight2-m) R 4257 4259 4161 0 -1 4202560 26753 0 0 0 233 19 0 0 20 0 8 0 718616021 1403891712 171222 33554432000 4194304 4580107 140735356126704 18446744073709551615 47268341167659 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (KiB) 1370988

[startup+2.90064 s]
/proc/loadavg: 6.00 2.93 1.13 10/274 4267
/proc/meminfo: memFree=15761840/32951124 swapFree=61559604/67111528
[pid=4259] ppid=4257 vsize=0 CPUtime=21.44 cores=0-7
/proc/4259/stat : 4259 (strangenight2-m) Z 4257 4259 4161 0 -1 4203548 205406 0 0 0 1974 170 0 0 19 0 2 0 718616020 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4259/statm: 0 0 0 0 0 0 0
[pid=4259/tid=4265] ppid=4257 vsize=0 CPUtime=2.63 cores=0-7
/proc/4259/task/4265/stat : 4265 (strangenight2-m) R 4257 4259 4161 0 -1 4203588 21131 0 0 0 243 20 0 0 19 0 2 0 718616021 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.44
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2.93219
CPU time (s): 21.4797
CPU user time (s): 19.742
CPU system time (s): 1.73773
CPU usage (%): 732.548
Max. virtual memory (cumulated for all children) (KiB): 1371120

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

runsolver used 0.006998 second user time and 0.026995 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-22 15:15:53
IDJOB=3393878
IDBENCH=20467
IDSOLVER=1878
FILE ID=node109/3393878-1306070152
RUNJOBID= node109-1306069998-4175
PBS_JOBID= 13387894
Free space on /tmp= 73044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393878-1306070152/watcher-3393878-1306070152 -o /tmp/evaluation-result-3393878-1306070152/solver-3393878-1306070152 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393878-1306070152.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= cc0ca898241ac312882fa93ead2b644b
RANDOM SEED=597051683

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:      16445396 kB
Buffers:        324244 kB
Cached:        8284484 kB
SwapCached:      28388 kB
Active:        4282036 kB
Inactive:     11966248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16445396 kB
SwapTotal:    67111528 kB
SwapFree:     61559604 kB
Dirty:           16432 kB
Writeback:           0 kB
AnonPages:     7617604 kB
Mapped:          20416 kB
Slab:           155200 kB
PageTables:      37508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30861196 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= 73040 MiB
End job on node109 at 2011-05-22 15:15:56