Trace number 3266069

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 TechDemo-Alpha-mtUNSAT 107.341 27.1455

General information on the benchmark

NameSAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
MD5SUM53d311456c8e25005c572fec79acd092
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.0082
Satisfiable
(Un)Satisfiability was proved
Number of variables1339
Number of clauses7095
Sum of the clauses size60253
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2289
Number of clauses of size 31520
Number of clauses of size 4130
Number of clauses of size 5168
Number of clauses of size over 54955

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3266069-1304181722.cnf'
0.00/0.00	c -- header says num vars:           1339
0.00/0.00	c -- header says num clauses:        7095
0.00/0.02	c -- clauses added:            0 learnts,         7095 normals,            0 xors
0.00/0.02	c -- vars added       1339
0.00/0.02	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0      1339      6278       547         0     59036         0   no data   no data  --
0.00/0.07	c asymm  cl-useful: 619/5646/5646 lits-rem:898 time: 0.17
0.00/0.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.2M T:  0.02
0.00/0.07	c Calc non-exist non-lernt bins v-fix:     0 done:   1297 time:  0.00 s
0.00/0.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.07	c Subs w/ non-existent bins:     87 time:  0.00 s
0.24/0.08	c bin-w-bin subsume rem          519 bins  time:  0.00 s
0.24/0.08	c subs with bin:        0  lits-rem:       107  v-fix:    0  time:  0.00 s
0.24/0.08	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
0.24/0.11	c lits-rem:      2039  cl-subs:     2138  v-elim:    664  v-fix:    0  time:  0.10 s
0.24/0.11	c learnt bin added due to v-elim: 0
0.24/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.24/0.11	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.24/0.11	c calculated reachability. Time: 0.00
0.24/0.11	c Calc default polars -  time:   0.00 s pos:     258 undec:     828 neg:     253
0.24/0.11	c =========================================================================================
0.24/0.11	c types(t): F = full restart, N = normal restart
0.24/0.11	c types(t): S = simplification begin/end, E = solution found
0.24/0.11	c restart types(rt): st = static, dy = dynamic
0.24/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.24/0.11	c  B st     0         0      1097      3264       550         0     30703         0   no data   no data  --
0.24/0.14	c Decided on static restart strategy
0.24/0.19	c  N dy    21      4027      1097      3264       565      3917     30702     57743     12.44      7.97  --
0.24/0.33	c  N dy    52      8145      1097      3264       599      5500     30699     76381     18.49      8.57  --
0.24/0.51	c  N dy    82     12170      1097      3264       609      5276     30696     55048     18.61      8.96  --
6.71/1.73	c  N dy    86     30000      1097      3264       635     10600     30694    136634     23.66      9.92  --
6.71/1.74	c  S st    86     30000      1097      3264       635     10600     30694    136634     23.66      9.92  --
6.71/1.78	c  S st    86     30501      1097      3264       690     11096     30694    144768     23.66      9.92  --
6.71/1.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.71/1.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.12/1.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      5 BRemL:      0 BRemN:      0 CBin:       0 P:  2.8M T:  0.21
7.12/1.83	c Calc non-exist non-lernt bins v-fix:     0 done:   1097 time:  0.00 s
7.12/1.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.12/1.83	c Subs w/ non-existent bins:      0 time:  0.01 s
7.12/1.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.12/1.86	c subs with bin:      684  lits-rem:      1244  v-fix:    0  time:  0.11 s
7.12/1.86	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
7.90/2.07	c lits-rem:       824  cl-subs:     1315  v-elim:    342  v-fix:    0  time:  0.83 s
7.90/2.07	c learnt bin added due to v-elim: 0
7.90/2.07	c vivif2 --  cl tried     3178 cl shrink        0 lits rem          0 time: 0.00
7.90/2.07	c vivif2 --  cl tried     9172 cl shrink        0 lits rem          0 time: 0.01
8.70/2.24	c asymm  cl-useful: 152/3034/3178 lits-rem:162 time: 0.65
8.70/2.24	c calculated reachability. Time: 0.00
8.70/2.24	c  N dy    86     30501      1077      3178       695      9172     29816    124768     23.66      9.92  --
8.70/2.24	c  F st    86     30501      1077      3178       695      9172     29816    124768     23.66      9.92  --
9.10/2.37	c Decided on static restart strategy
14.69/3.71	c  N dy    93     45751      1077      3178       696     16276     29816    285638     25.32     11.05  --
14.69/3.72	c  S st    93     45751      1077      3178       696     16276     29816    285638     25.32     11.05  --
14.69/3.78	c  S st    93     46251      1077      3178       747     16935     29816    294451     25.32     11.05  --
14.69/3.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.69/3.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.49/3.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.2M T:  0.49
15.49/3.90	c Calc non-exist non-lernt bins v-fix:     0 done:   1077 time:  0.00 s
15.49/3.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.49/3.91	c Subs w/ non-existent bins:      8 time:  0.02 s
15.49/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.49/3.98	c subs with bin:      231  lits-rem:       964  v-fix:    0  time:  0.26 s
15.49/3.98	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
19.90/5.08	c lits-rem:      1603  cl-subs:     1919  v-elim:    354  v-fix:    0  time:  4.39 s
19.90/5.08	c learnt bin added due to v-elim: 0
19.90/5.08	c vivif2 --  cl tried     3131 cl shrink        0 lits rem          0 time: 0.00
19.90/5.08	c vivif2 --  cl tried    14792 cl shrink        0 lits rem          0 time: 0.01
20.72/5.26	c asymm  cl-useful: 132/2254/3131 lits-rem:150 time: 0.72
20.72/5.26	c calculated reachability. Time: 0.00
20.72/5.26	c  N dy    93     46251      1044      3131       751     14792     29352    256869     25.32     11.05  --
31.48/7.99	c  N dy    94     69376      1044      3131       753     18683     29352    311083     24.43     11.38  --
31.88/8.00	c  S st    94     69376      1044      3131       753     18683     29352    311083     24.43     11.38  --
31.88/8.06	c  S st    94     69878      1044      3131       850     19193     29352    320855     24.43     11.38  --
31.88/8.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.88/8.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.68/8.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.9M T:  0.64
32.68/8.22	c Calc non-exist non-lernt bins v-fix:     0 done:   1044 time:  0.00 s
32.68/8.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.68/8.23	c Subs w/ non-existent bins:      0 time:  0.02 s
32.68/8.23	c bin-w-bin subsume rem            4 bins  time:  0.00 s
33.08/8.32	c subs with bin:      297  lits-rem:      6105  v-fix:    0  time:  0.37 s
33.08/8.32	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
37.47/9.43	c ORs :    210 avg-s:  4.9 cl-sh:  3156 l-rem:  11867 b-add:      9 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
41.07/10.37	c Added 11 vars  tried: 80000 time: 3.73
41.47/10.41	c ORs :     11 avg-s:  0.0 cl-sh:  9607 l-rem:   9607 b-add:     24 v-rep:   0 cl-rem: 0 avg s: nan T:    3.91
41.47/10.42	c lits-rem:      2096  cl-subs:     1880  v-elim:    345  v-fix:    0  time:  8.37 s
41.47/10.42	c learnt bin added due to v-elim: 0
41.47/10.42	c vivif2 --  cl tried     3105 cl shrink        0 lits rem          0 time: 0.00
41.47/10.43	c vivif2 --  cl tried    17022 cl shrink     1006 lits rem       2411 time: 0.03
41.47/10.49	c asymm  cl-useful: 2/851/3105 lits-rem:2 time: 0.27
41.47/10.49	c calculated reachability. Time: 0.00
41.47/10.49	c  N dy    94     69878      1029      3105       881     17020     27607    260083     24.43     11.38  --
41.47/10.49	c  F st    94     69878      1029      3105       881     17020     27607    260083     24.43     11.38  --
42.69/10.71	c Decided on static restart strategy
56.65/14.26	c  N dy   101    104818      1029      3105       894     15955     27601    148013     13.11     10.78  --
56.65/14.26	c  S st   101    104818      1029      3105       894     15955     27601    148013     13.11     10.78  --
57.05/14.32	c  S st   101    105321      1029      3105       930     16472     27601    157411     13.11     10.78  --
57.05/14.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.05/14.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.45/14.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:      0 BRemN:      0 CBin:       0 P:  9.9M T:  0.51
57.45/14.45	c Calc non-exist non-lernt bins v-fix:     0 done:   1029 time:  0.00 s
57.45/14.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.45/14.45	c Subs w/ non-existent bins:     11 time:  0.01 s
57.45/14.45	c bin-w-bin subsume rem           11 bins  time:  0.00 s
57.45/14.48	c subs with bin:      546  lits-rem:       216  v-fix:    0  time:  0.09 s
57.45/14.48	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
58.65/14.70	c ORs :    217 avg-s:  4.7 cl-sh:     2 l-rem:      2 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
58.65/14.71	c lits-rem:       953  cl-subs:     1897  v-elim:    335  v-fix:    0  time:  0.93 s
58.65/14.71	c learnt bin added due to v-elim: 0
58.65/14.71	c vivif2 --  cl tried     3063 cl shrink        0 lits rem          0 time: 0.00
58.65/14.71	c vivif2 --  cl tried    14047 cl shrink        1 lits rem          1 time: 0.01
59.05/14.86	c asymm  cl-useful: 153/1881/3063 lits-rem:153 time: 0.58
59.05/14.86	c calculated reachability. Time: 0.00
59.05/14.86	c  N dy   101    105321      1010      3063       926     14047     26961    135716     13.11     10.78  --
83.81/21.04	c  N dy   102    157983      1010      3063      1023     21364     26954    199715     10.43      9.98  --
83.81/21.05	c  S st   102    157983      1010      3063      1023     21364     26954    199715     10.43      9.98  --
84.21/21.11	c  S st   102    158487      1010      3063      1034     21871     26954    207842     10.43      9.98  --
84.21/21.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.21/21.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.61/21.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:      4 BRemN:      0 CBin:       0 P: 13.1M T:  0.65
84.61/21.28	c Calc non-exist non-lernt bins v-fix:     0 done:   1009 time:  0.00 s
84.61/21.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.61/21.28	c Subs w/ non-existent bins:      0 time:  0.02 s
84.61/21.29	c bin-w-bin subsume rem            3 bins  time:  0.00 s
85.01/21.34	c subs with bin:     2584  lits-rem:       746  v-fix:    0  time:  0.20 s
85.01/21.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
85.81/21.59	c ORs :    216 avg-s:  4.7 cl-sh:   126 l-rem:    378 b-add:      1 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
85.81/21.60	c lits-rem:      1762  cl-subs:     3554  v-elim:    462  v-fix:    0  time:  1.04 s
85.81/21.60	c learnt bin added due to v-elim: 0
85.81/21.60	c vivif2 --  cl tried     2506 cl shrink        4 lits rem          4 time: 0.00
85.81/21.60	c vivif2 --  cl tried    15026 cl shrink      321 lits rem        422 time: 0.01
86.23/21.65	c asymm  cl-useful: 3/625/2506 lits-rem:3 time: 0.19
86.23/21.65	c calculated reachability. Time: 0.00
86.23/21.65	c  N dy   102    158487       818      2506      1012     15026     20705    134258     10.43      9.98  --
106.19/26.67	c  E dy   103    194561       825      2506      1366     33335     20870    355413      8.71      9.48  --
107.28/27.13	c Following stats are for *FIRST FINISHED THREAD ONLY*
107.28/27.13	c num threads              : 4          
107.28/27.13	c restarts                 : 103        
107.28/27.13	c dynamic restarts         : 85         
107.28/27.13	c static restarts          : 18         
107.28/27.13	c full restarts            : 2          
107.28/27.13	c total simplify time      : 0.00       
107.28/27.13	c learnts DL2              : 0          
107.28/27.13	c learnts size 2           : 2063       
107.28/27.13	c learnts size 1           : 274         (19.67     % of vars)
107.28/27.13	c filedLit time            : 2.53        (2.35      % time)
107.28/27.13	c v-elim SatELite          : 489         (35.10     % vars)
107.28/27.13	c SatELite time            : 15.57       (14.51     % time)
107.28/27.13	c v-elim xor               : 0           (0.00      % vars)
107.28/27.13	c xor elim time            : 0.02        (0.02      % time)
107.28/27.13	c num binary xor trees     : 0          
107.28/27.13	c binxor trees' crown      : 0           (nan       leafs/tree)
107.28/27.13	c bin xor find time        : 0.00       
107.28/27.13	c OTF clause subsumed      : 6786        (0.03      clauses/conflict)
107.28/27.13	c OTF subs. size diff      : 8162        (1.20       lits/clause)
107.28/27.13	c OTF cl watch-shrink      : 119316      (0.61      clauses/conflict)
107.28/27.13	c OTF cl watch-sh-lit      : 343423      (2.88       lits/clause)
107.28/27.13	c tried to recurMin cls    : 194545      (99.99      % of conflicts)
107.28/27.13	c updated cache            : 27          (0.00       lits/tried recurMin)
107.28/27.14	c OTF Gate-Rem cl          : 14011       (0.07      clauses/conflict)
107.28/27.14	c OTF Gate-rem lits        : 55842       (3.99      lits/confl)
107.28/27.14	c unit cls received        : 0           (0.00      % of units)
107.28/27.14	c unit cls sent            : 8           (2.92      % of units)
107.28/27.14	c bin cls received         : 553        
107.28/27.14	c bin cls sent             : 903        
107.28/27.14	c tri cls recevied         : 300        
107.28/27.14	c tri cls sent             : 108        
107.28/27.14	c clauses over max glue    : 0           (0.00      % of all clauses)
107.28/27.14	c conflicts                : 194561      (1813.72   / sec)
107.28/27.14	c decisions                : 326139      (5.67      % random)
107.28/27.14	c bogo-props               : 1627174184  (15168719.29 / sec)
107.28/27.14	c props                    : 9620839     (89686.65  / sec)
107.28/27.14	c conflict literals        : 3594515     (39.34     % deleted)
107.28/27.14	c Memory used              : 676.86      MB
107.28/27.14	c single-thread CPU time   : 107.27      s
107.28/27.14	c all-threads sum CPU time : 107.27      s
107.28/27.14	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: 935)

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-3266069-1304181722/watcher-3266069-1304181722 -o /tmp/evaluation-result-3266069-1304181722/solver-3266069-1304181722 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266069-1304181722.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.78 8.01 8.00 6/180 6302
/proc/meminfo: memFree=24257168/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=52224 CPUtime=0 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 1114 0 0 0 0 0 0 0 25 0 1 0 608403018 53477376 1049 33554432000 4194304 4797429 140736779392352 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6302/statm: 13056 1050 349 148 0 7985 0

[startup+0.0815891 s]
/proc/loadavg: 7.78 8.01 8.00 6/180 6302
/proc/meminfo: memFree=24257168/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=677084 CPUtime=0.24 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) S 6300 6302 5713 0 -1 4202496 2645 0 0 0 23 1 0 0 25 0 4 0 608403018 693334016 2251 33554432000 4194304 4797429 140736779392352 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 169271 2270 398 148 0 164200 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 677084

[startup+0.111304 s]
/proc/loadavg: 7.78 8.01 8.00 6/180 6302
/proc/meminfo: memFree=24257168/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=682748 CPUtime=3.65 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 6451 0 0 0 363 2 0 0 25 0 4 0 608403018 699133952 4384 33554432000 4194304 4797429 140736779392352 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 170687 4384 416 148 0 165616 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 682748

[startup+1.0354 s]
/proc/loadavg: 7.78 8.01 8.00 6/180 6302
/proc/meminfo: memFree=24257168/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=682748 CPUtime=4.05 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 6527 0 0 0 403 2 0 0 25 0 4 0 608403018 699133952 4455 33554432000 4194304 4797429 140736779392352 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 170687 4455 416 148 0 165616 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 682748

[startup+1.13538 s]
/proc/loadavg: 7.78 8.01 8.00 6/180 6302
/proc/meminfo: memFree=24257168/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=682748 CPUtime=4.45 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 6613 0 0 0 443 2 0 0 25 0 4 0 608403018 699133952 4538 33554432000 4194304 4797429 140736779392352 18446744073709551615 4425896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 170687 4538 418 148 0 165616 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 682748

[startup+1.50032 s]
/proc/loadavg: 7.78 8.01 8.00 6/180 6302
/proc/meminfo: memFree=24257168/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=682940 CPUtime=5.91 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 6967 0 0 0 589 2 0 0 25 0 4 0 608403018 699330560 4607 33554432000 4194304 4797429 140736779392352 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 170735 4607 418 148 0 165664 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 682940

[startup+3.10104 s]
/proc/loadavg: 7.78 8.01 8.00 9/184 6306
/proc/meminfo: memFree=24233576/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=684716 CPUtime=12.3 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 8479 0 0 0 1228 2 0 0 25 0 4 0 608403018 701149184 5717 33554432000 4194304 4797429 140736779392352 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 171179 5717 418 148 0 166108 0
[pid=6302/tid=6304] ppid=6300 vsize=684716 CPUtime=3.06 cores=0,2,4,6
/proc/6302/task/6304/stat : 6304 (techdemo) R 6300 6302 5713 0 -1 4202560 1345 0 0 0 306 0 0 0 25 0 4 0 608403021 701149184 5717 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6302/tid=6305] ppid=6300 vsize=684716 CPUtime=3.07 cores=0,2,4,6
/proc/6302/task/6305/stat : 6305 (techdemo) R 6300 6302 5713 0 -1 4202560 1475 0 0 0 307 0 0 0 25 0 4 0 608403021 701149184 5717 33554432000 4194304 4797429 140736779392352 18446744073709551615 4415647 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6302/tid=6306] ppid=6300 vsize=684716 CPUtime=3.05 cores=0,2,4,6
/proc/6302/task/6306/stat : 6306 (techdemo) R 6300 6302 5713 0 -1 4202560 1419 0 0 0 305 0 0 0 25 0 4 0 608403021 701149184 5717 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 684716

[startup+6.30648 s]
/proc/loadavg: 7.80 8.01 8.00 9/184 6306
/proc/meminfo: memFree=24240796/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=686620 CPUtime=25.11 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 10494 0 0 0 2508 3 0 0 25 0 4 0 608403018 703098880 6628 33554432000 4194304 4797429 140736779392352 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 171655 6628 418 148 0 166584 0
[pid=6302/tid=6304] ppid=6300 vsize=686620 CPUtime=6.27 cores=0,2,4,6
/proc/6302/task/6304/stat : 6304 (techdemo) R 6300 6302 5713 0 -1 4202560 1693 0 0 0 627 0 0 0 25 0 4 0 608403021 703098880 6628 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6302/tid=6305] ppid=6300 vsize=686620 CPUtime=6.27 cores=0,2,4,6
/proc/6302/task/6305/stat : 6305 (techdemo) R 6300 6302 5713 0 -1 4202560 1810 0 0 0 627 0 0 0 25 0 4 0 608403021 703098880 6628 33554432000 4194304 4797429 140736779392352 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6302/tid=6306] ppid=6300 vsize=686620 CPUtime=6.24 cores=0,2,4,6
/proc/6302/task/6306/stat : 6306 (techdemo) R 6300 6302 5713 0 -1 4202560 1821 0 0 0 624 0 0 0 25 0 4 0 608403021 703098880 6628 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 686620

[startup+12.7004 s]
/proc/loadavg: 7.82 8.01 8.00 9/184 6307
/proc/meminfo: memFree=24227472/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=690020 CPUtime=50.65 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 13690 0 0 0 5062 3 0 0 25 0 4 0 608403018 706580480 7691 33554432000 4194304 4797429 140736779392352 18446744073709551615 4352398 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 172505 7691 419 148 0 167434 0
[pid=6302/tid=6304] ppid=6300 vsize=690020 CPUtime=12.66 cores=0,2,4,6
/proc/6302/task/6304/stat : 6304 (techdemo) R 6300 6302 5713 0 -1 4202560 2171 0 0 0 1266 0 0 0 25 0 4 0 608403021 706580480 7691 33554432000 4194304 4797429 140736779392352 18446744073709551615 4524578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6302/tid=6305] ppid=6300 vsize=690020 CPUtime=12.66 cores=0,2,4,6
/proc/6302/task/6305/stat : 6305 (techdemo) R 6300 6302 5713 0 -1 4202560 2274 0 0 0 1266 0 0 0 25 0 4 0 608403021 706580480 7691 33554432000 4194304 4797429 140736779392352 18446744073709551615 4524530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6302/tid=6306] ppid=6300 vsize=690020 CPUtime=12.61 cores=0,2,4,6
/proc/6302/task/6306/stat : 6306 (techdemo) R 6300 6302 5713 0 -1 4202560 2233 0 0 0 1261 0 0 0 25 0 4 0 608403021 706580480 7691 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 690020

[startup+25.5011 s]
/proc/loadavg: 7.94 8.03 8.01 9/184 6307
/proc/meminfo: memFree=24223532/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=693104 CPUtime=101.8 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 18888 0 0 0 10175 5 0 0 25 0 4 0 608403018 709738496 8511 33554432000 4194304 4797429 140736779392352 18446744073709551615 4424752 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 173276 8511 421 148 0 168205 0
[pid=6302/tid=6304] ppid=6300 vsize=693104 CPUtime=25.47 cores=0,2,4,6
/proc/6302/task/6304/stat : 6304 (techdemo) R 6300 6302 5713 0 -1 4202560 2824 0 0 0 2546 1 0 0 25 0 4 0 608403021 709738496 8511 33554432000 4194304 4797429 140736779392352 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6302/tid=6305] ppid=6300 vsize=693104 CPUtime=25.46 cores=0,2,4,6
/proc/6302/task/6305/stat : 6305 (techdemo) R 6300 6302 5713 0 -1 4202560 2944 0 0 0 2546 0 0 0 25 0 4 0 608403021 709738496 8511 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6302/tid=6306] ppid=6300 vsize=693104 CPUtime=25.35 cores=0,2,4,6
/proc/6302/task/6306/stat : 6306 (techdemo) R 6300 6302 5713 0 -1 4202560 2932 0 0 0 2535 0 0 0 25 0 4 0 608403021 709738496 8511 33554432000 4194304 4797429 140736779392352 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 693104

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

[startup+26.301 s]
/proc/loadavg: 7.94 8.03 8.01 9/184 6307
/proc/meminfo: memFree=24223408/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=693104 CPUtime=104.99 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) R 6300 6302 5713 0 -1 4202496 19047 0 0 0 10494 5 0 0 25 0 4 0 608403018 709738496 8663 33554432000 4194304 4797429 140736779392352 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 173276 8663 421 148 0 168205 0
[pid=6302/tid=6304] ppid=6300 vsize=693104 CPUtime=26.27 cores=0,2,4,6
/proc/6302/task/6304/stat : 6304 (techdemo) R 6300 6302 5713 0 -1 4202560 2855 0 0 0 2626 1 0 0 25 0 4 0 608403021 709738496 8663 33554432000 4194304 4797429 140736779392352 18446744073709551615 4503824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6302/tid=6305] ppid=6300 vsize=693104 CPUtime=26.26 cores=0,2,4,6
/proc/6302/task/6305/stat : 6305 (techdemo) R 6300 6302 5713 0 -1 4202560 2978 0 0 0 2626 0 0 0 25 0 4 0 608403021 709738496 8663 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6302/tid=6306] ppid=6300 vsize=693104 CPUtime=26.14 cores=0,2,4,6
/proc/6302/task/6306/stat : 6306 (techdemo) R 6300 6302 5713 0 -1 4202560 2958 0 0 0 2614 0 0 0 25 0 4 0 608403021 709738496 8663 33554432000 4194304 4797429 140736779392352 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 104.99
Current children cumulated vsize (KiB) 693104

[startup+26.7009 s]
/proc/loadavg: 7.94 8.03 8.01 9/184 6307
/proc/meminfo: memFree=24223408/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=693104 CPUtime=106.57 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) S 6300 6302 5713 0 -1 4202496 19105 0 0 0 10652 5 0 0 25 0 4 0 608403018 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 216000421489 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 173276 8719 422 148 0 168205 0
[pid=6302/tid=6304] ppid=6300 vsize=693104 CPUtime=26.67 cores=0,2,4,6
/proc/6302/task/6304/stat : 6304 (techdemo) R 6300 6302 5713 0 -1 4202560 2882 0 0 0 2666 1 0 0 25 0 4 0 608403021 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6302/tid=6305] ppid=6300 vsize=693104 CPUtime=26.66 cores=0,2,4,6
/proc/6302/task/6305/stat : 6305 (techdemo) R 6300 6302 5713 0 -1 4202560 2978 0 0 0 2666 0 0 0 25 0 4 0 608403021 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 4428848 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6302/tid=6306] ppid=6300 vsize=693104 CPUtime=26.54 cores=0,2,4,6
/proc/6302/task/6306/stat : 6306 (techdemo) R 6300 6302 5713 0 -1 4202560 2958 0 0 0 2654 0 0 0 25 0 4 0 608403021 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 106.57
Current children cumulated vsize (KiB) 693104

[startup+27.1009 s]
/proc/loadavg: 7.94 8.03 8.01 6/184 6307
/proc/meminfo: memFree=24223272/32950940 swapFree=67111364/67111528
[pid=6302] ppid=6300 vsize=693104 CPUtime=107.28 cores=0,2,4,6
/proc/6302/stat : 6302 (techdemo) S 6300 6302 5713 0 -1 4202496 19105 0 0 0 10723 5 0 0 21 0 4 0 608403018 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 216000421489 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6302/statm: 173276 8719 422 148 0 168205 0
[pid=6302/tid=6304] ppid=6300 vsize=693104 CPUtime=27.07 cores=0,2,4,6
/proc/6302/task/6304/stat : 6304 (techdemo) R 6300 6302 5713 0 -1 4202560 2882 0 0 0 2706 1 0 0 25 0 4 0 608403021 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6302/tid=6305] ppid=6300 vsize=693104 CPUtime=26.82 cores=0,2,4,6
/proc/6302/task/6305/stat : 6305 (techdemo) S 6300 6302 5713 0 -1 4202560 2978 0 0 0 2682 0 0 0 25 0 4 0 608403021 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 47364912682548 0 0 4096 2 18446604452403698560 0 0 -1 0 0 0 0
[pid=6302/tid=6306] ppid=6300 vsize=693104 CPUtime=26.68 cores=0,2,4,6
/proc/6302/task/6306/stat : 6306 (techdemo) S 6300 6302 5713 0 -1 4202560 2958 0 0 0 2668 0 0 0 25 0 4 0 608403021 709738496 8719 33554432000 4194304 4797429 140736779392352 18446744073709551615 47364912682548 0 0 4096 2 18446604452403698560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 107.28
Current children cumulated vsize (KiB) 693104

Child status: 20
Real time (s): 27.1455
CPU time (s): 107.341
CPU user time (s): 107.288
CPU system time (s): 0.052991
CPU usage (%): 395.427
Max. virtual memory (cumulated for all children) (KiB): 693104

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

runsolver used 0.042993 second user time and 0.092985 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 18:42:02
IDJOB=3266069
IDBENCH=85959
IDSOLVER=1584
FILE ID=node117/3266069-1304181722
RUNJOBID= node117-1304181418-6148
PBS_JOBID= 13172440
Free space on /tmp= 72612 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT05/crafted/sorge05/QG6/dead-dnd002.shuffled-as.sat05-2713.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266069-1304181722/watcher-3266069-1304181722 -o /tmp/evaluation-result-3266069-1304181722/solver-3266069-1304181722 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3266069-1304181722.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 53d311456c8e25005c572fec79acd092
RANDOM SEED=168590742

node117.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.849
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.69
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.849
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.849
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.849
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24257208 kB
Buffers:       1896732 kB
Cached:        5638332 kB
SwapCached:        160 kB
Active:        1471328 kB
Inactive:      6658228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24257208 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            8196 kB
Writeback:           4 kB
AnonPages:      594496 kB
Mapped:          15748 kB
Slab:           500412 kB
PageTables:       5600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:  1209644 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= 72604 MiB
End job on node117 at 2011-04-30 18:42:30