Trace number 3293108

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-1-mtUNSAT 48.8486 12.3131

General information on the benchmark

NameSAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
MD5SUM0e9d17eb95ee436fc1015c5591cfb63f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.2328
Satisfiable
(Un)Satisfiability was proved
Number of variables5910
Number of clauses16804
Sum of the clauses size38654
Maximum clause length28
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213041
Number of clauses of size 32838
Number of clauses of size 4787
Number of clauses of size 5103
Number of clauses of size over 534

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
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 WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3293108-1304181624.cnf'
0.00/0.00	c -- header says num vars:           5910
0.00/0.00	c -- header says num clauses:       16804
0.00/0.01	c -- clauses added:            0 learnts,        16804 normals,            0 xors
0.00/0.01	c -- vars added       5910
0.00/0.01	c Parsing time:  0.03 s
0.00/0.01	c  N st     0         0      5910      3762     13041         0     38653         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 17/3761/3761 lits-rem:17 time: 0.04
0.10/0.09	c Flit:     1 Blit:      5 bXBeca:    0 bXProp: 2118 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.23
0.10/0.09	c Replacing     2118 vars Replaced    33429 lits Time:     0.02 s 
0.10/0.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.10/0.09	c subs with bin:        4  lits-rem:         8  v-fix:    0  time:  0.00 s
0.39/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3783 time:  0.02 s
0.39/0.10	c Removed useless bin:      23  fixed:     0  props:   0.20M  time:  0.01 s
0.39/0.12	c lits-rem:         1  cl-subs:      563  v-elim:   1261  v-fix:    0  time:  0.06 s
0.39/0.12	c Finding binary XORs  T:     0.01 s  found:       5
0.39/0.12	c Replacing        5 vars Replaced       49 lits Time:     0.00 s 
0.39/0.12	c Finding non-binary XORs:     0.00 s (found:     106, avg size: 3.0)
0.39/0.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     13 locsubst:     0 time:   0.00
0.39/0.12	c calculated reachability. Time: 0.00
0.39/0.13	c Calc default polars -  time:   0.00 s pos:    1160 undec:    3513 neg:    1237
0.39/0.13	c =========================================================================================
0.39/0.13	c types(t): F = full restart, N = normal restart
0.39/0.13	c types(t): S = simplification begin/end, E = solution found
0.39/0.13	c restart types(rt): st = static, dy = dynamic
0.39/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.39/0.13	c  B st     0         0      2504      4380      4990         0     24820         0   no data   no data  --
1.16/0.35	c  N dy    15      4051      2504      4380      5179      3835     24820    101692      7.02      7.51  --
1.96/0.57	c  N dy    38      8098      2499      4380      5303      5350     24820     81207      7.09      7.64  --
3.17/0.86	c  N dy    69     12173      2492      4380      5704      5240     24816     68932      7.59     10.38  --
4.38/1.11	c  N dy    92     16275      2492      4380      5749      9264     24816    151581      7.59      8.06  --
5.15/1.32	c Finding binary XORs  T:     0.01 s  found:      14
5.55/1.42	c  N dy   121     20349      2492      4374      5654      7375     24299     90452      7.78     10.95  --
6.35/1.68	c  N dy   133     24754      2492      4374      5682     11691     24299    167472      7.68      8.26  --
6.75/1.71	c  F st   135     25001      2491      4374      5762     11931     24299    172514      7.68   no data  --
6.75/1.71	c Replacing       16 vars Replaced     1075 lits Time:     0.01 s 
8.37/2.19	c  N dy   141     30000      2474      4374      5755     10376     24278    156373      7.68   no data  --
8.37/2.19	c  S st   141     30000      2474      4374      5755     10376     24278    156373      7.68   no data  --
8.77/2.25	c  S st   141     30502      2474      4374      5757     10872     24278    169341      7.68   no data  --
8.77/2.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      3 locsubst:     0 time:   0.00
8.77/2.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.15/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   41 Bins:   1367 BRemL:    388 BRemN:      8 P:  1.2M T:  0.24
9.15/2.32	c Replacing       42 vars Replaced     3038 lits Time:     0.02 s 
9.15/2.33	c bin-w-bin subsume rem          142 bins  time:  0.00 s
9.15/2.35	c subs with bin:      574  lits-rem:      2713  v-fix:    0  time:  0.10 s
9.15/2.36	c Subs w/ non-existent bins:     13 l-rem:   1652 v-fix:     0 done:   2429 time:  0.03 s
9.15/2.36	c Removed useless bin:      26  fixed:     0  props:   0.06M  time:  0.00 s
9.94/2.50	c lits-rem:       323  cl-subs:     8476  v-elim:    869  v-fix:    0  time:  0.53 s
9.94/2.50	c asymm  cl-useful: 14/1957/5718 lits-rem:42 time: 0.03
9.94/2.51	c calculated reachability. Time: 0.00
9.94/2.51	c  N dy   141     30502      1560      5704      3014      2049     24369     13724      7.68   no data  --
9.94/2.51	c Finding binary XORs  T:     0.01 s  found:       0
10.34/2.69	c  N dy   160     34530      1559      5704      3093      5970     24369     83379      7.61      8.11  --
11.55/2.94	c  N dy   190     38588      1559      5704      3191      9989     24368    172365      7.69      8.98  --
12.77/3.25	c  N dy   211     42866      1559      5704      3200     14209     24368    266875      7.73      8.20  --
13.17/3.38	c  S st   217     45753      1559      5704      3229      9640     24368     80853      7.64      7.59  --
13.54/3.42	c  S st   217     46258      1559      5704      3232     10140     24368     89505      7.64   no data  --
13.54/3.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
13.54/3.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.54/3.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   19 Bins:    130 BRemL:    152 BRemN:     31 P:  0.6M T:  0.08
13.54/3.44	c Replacing       19 vars Replaced     2358 lits Time:     0.01 s 
13.54/3.45	c bin-w-bin subsume rem          124 bins  time:  0.00 s
13.54/3.45	c subs with bin:      697  lits-rem:      1021  v-fix:    0  time:  0.02 s
13.54/3.46	c Subs w/ non-existent bins:     40 l-rem:    292 v-fix:     0 done:   1539 time:  0.01 s
13.54/3.46	c Removed useless bin:      63  fixed:     0  props:   0.03M  time:  0.00 s
13.94/3.51	c lits-rem:       716  cl-subs:     2126  v-elim:    107  v-fix:    0  time:  0.22 s
13.94/3.51	c vivif2 --  cl tried     5385 cl shrink       95 lits rem        120 time: 0.00
13.94/3.51	c vivif2 --  cl tried     7117 cl shrink      193 lits rem        213 time: 0.01
13.94/3.54	c asymm  cl-useful: 16/5363/5363 lits-rem:16 time: 0.10
13.94/3.54	c calculated reachability. Time: 0.00
13.94/3.54	c  N dy   217     46258      1432      5363      2502      7114     22516     60522      7.64   no data  --
15.14/3.80	c Finding binary XORs  T:     0.00 s  found:      10
15.14/3.82	c  N dy   248     50339      1430      5358      2547      9622     22483    129823      7.73      9.24  --
16.34/4.12	c  N dy   281     54433      1429      5358      2560     13673     22483    222403      7.85      8.43  --
17.15/4.33	c  N dy   296     58498      1429      5358      2618     10185     22483     92197      7.80      9.28  --
18.33/4.64	c  N dy   329     62573      1429      5358      2678     14225     22479    187875      7.89      9.81  --
19.53/4.94	c  N dy   353     66639      1428      5358      2689     18239     22479    275607      7.93      8.51  --
19.93/5.07	c  S st   363     69387      1428      5358      2704     11772     22479     97428      7.88   no data  --
20.33/5.12	c  S st   363     69889      1428      5358      2704     12272     22479    107784      7.88   no data  --
20.33/5.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.33/5.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.33/5.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   39 Bins:     63 BRemL:    111 BRemN:     17 P:  0.5M T:  0.07
20.33/5.15	c Replacing       52 vars Replaced     5646 lits Time:     0.02 s 
20.33/5.15	c bin-w-bin subsume rem          125 bins  time:  0.00 s
20.33/5.16	c subs with bin:      656  lits-rem:      1208  v-fix:    0  time:  0.03 s
20.33/5.16	c Subs w/ non-existent bins:      5 l-rem:    335 v-fix:     0 done:   1376 time:  0.01 s
20.33/5.16	c Removed useless bin:      17  fixed:     0  props:   0.03M  time:  0.00 s
20.74/5.25	c lits-rem:       690  cl-subs:     1876  v-elim:     35  v-fix:    0  time:  0.33 s
20.74/5.25	c vivif2 --  cl tried     5238 cl shrink       24 lits rem         27 time: 0.00
20.74/5.25	c vivif2 --  cl tried     9093 cl shrink      248 lits rem        273 time: 0.01
20.74/5.28	c asymm  cl-useful: 41/5233/5233 lits-rem:97 time: 0.12
20.74/5.28	c calculated reachability. Time: 0.00
20.74/5.28	c  N dy   363     69889      1341      5212      2248      9093     21688     73858      7.88   no data  --
21.14/5.37	c Finding binary XORs  T:     0.00 s  found:       5
21.96/5.52	c  N dy   381     74416      1340      5212      2270     13506     21688    141862      7.83      9.61  --
23.13/5.84	c  N dy   411     79221      1340      5212      2313     18215     21688    228774      7.86      8.58  --
24.33/6.18	c  N dy   438     84326      1340      5212      2323     13252     21688    131364      7.88      8.45  --
25.13/6.38	c  F st   458     87500      1340      5212      2351     16378     21688    188965      7.90   no data  --
25.13/6.39	c Replacing        5 vars Replaced      766 lits Time:     0.01 s 
26.35/6.62	c  N st   463     90797      1334      5212      2336     18989     21662    259976      7.90   no data  --
27.92/7.06	c  N dy   486     96618      1334      5212      2422     13616     21661    107611      7.90      8.56  --
28.32/7.14	c Finding binary XORs  T:     0.01 s  found:      35
28.32/7.15	c Replacing       35 vars Replaced     4624 lits Time:     0.01 s 
29.52/7.47	c  N dy   520    102880      1299      5210      2368     19549     21653    225810      7.91      9.52  --
30.34/7.62	c  S st   532    104834      1299      5210      2371     21478     21653    260496      7.92   no data  --
30.34/7.68	c  S st   532    105334      1299      5210      2372     21975     21653    270036      7.92   no data  --
30.34/7.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.00
30.34/7.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.74/7.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   12 Bins:     33 BRemL:     60 BRemN:      5 P:  0.8M T:  0.09
30.74/7.71	c Replacing       13 vars Replaced     2879 lits Time:     0.01 s 
30.74/7.72	c bin-w-bin subsume rem          119 bins  time:  0.00 s
30.74/7.75	c subs with bin:      447  lits-rem:      1662  v-fix:    0  time:  0.08 s
30.74/7.75	c Subs w/ non-existent bins:      5 l-rem:   1002 v-fix:     0 done:   1286 time:  0.02 s
30.74/7.75	c Removed useless bin:       4  fixed:     0  props:   0.03M  time:  0.00 s
32.72/8.26	c lits-rem:      2051  cl-subs:     2430  v-elim:     14  v-fix:    0  time:  2.04 s
32.72/8.26	c vivif2 --  cl tried     5091 cl shrink       21 lits rem         21 time: 0.00
32.72/8.27	c vivif2 --  cl tried    19090 cl shrink      496 lits rem        567 time: 0.03
33.12/8.32	c asymm  cl-useful: 33/5085/5085 lits-rem:64 time: 0.21
33.12/8.33	c calculated reachability. Time: 0.00
33.12/8.33	c  N dy   532    105334      1272      5072      2165     19090     21038    231284      7.92   no data  --
35.13/8.86	c  N dy   559    112896      1270      5072      2194     14337     21038    104424      7.91      8.35  --
37.11/9.36	c  N dy   605    120113      1270      5072      2223     21457     21038    230667      7.96      8.49  --
37.91/9.50	c Finding binary XORs  T:     0.01 s  found:      11
39.53/9.99	c  N dy   650    127848      1270      5072      2234     15461     21022    120352      7.98     11.46  --
41.90/10.55	c  N dy   689    136455      1270      5072      2263     23853     21022    238218      7.96      8.44  --
44.70/11.27	c  N dy   715    146053      1270      5072      2277     18706     21022    140564      7.91      8.35  --
47.50/11.90	c  N dy   753    155532      1267      5072      2285     27956     21022    265651      7.90      8.33  --
48.82/12.30	c Following stats are for *FIRST FINISHED THREAD ONLY*
48.82/12.30	c num threads              : 4          
48.82/12.30	c restarts                 : 623        
48.82/12.30	c dynamic restarts         : 605        
48.82/12.30	c static restarts          : 18         
48.82/12.30	c full restarts            : 2          
48.82/12.30	c total simplify time      : 0.18       
48.82/12.30	c learnts DL2              : 0          
48.82/12.30	c learnts size 2           : 17032      
48.82/12.30	c learnts size 1           : 129         (2.18      % of vars)
48.82/12.30	c filedLit time            : 0.59        (1.21      % time)
48.82/12.30	c v-elim SatELite          : 2245        (37.99     % vars)
48.82/12.30	c SatELite time            : 4.72        (9.67      % time)
48.82/12.30	c v-elim xor               : 17          (0.29      % vars)
48.82/12.30	c xor elim time            : 0.02        (0.03      % time)
48.82/12.30	c num binary xor trees     : 1147       
48.82/12.30	c binxor trees' crown      : 2345        (2.04      leafs/tree)
48.82/12.30	c bin xor find time        : 0.06       
48.82/12.30	c OTF clause improved      : 3682        (0.02      clauses/conflict)
48.82/12.30	c OTF impr. size diff      : 4003        (1.09       lits/clause)
48.82/12.30	c OTF cl watch-shrink      : 77565       (0.52      clauses/conflict)
48.82/12.30	c OTF cl watch-sh-lit      : 173341      (2.23       lits/clause)
48.82/12.30	c tried to recurMin cls    : 58216       (39.11      % of conflicts)
48.82/12.30	c updated cache            : 0           (0.00       lits/tried recurMin)
48.82/12.30	c unit cls received        : 15          (11.63     % of units)
48.82/12.30	c unit cls sent            : 59          (45.74     % of units)
48.82/12.30	c bin cls received         : 7206       
48.82/12.30	c bin cls sent             : 507        
48.82/12.30	c clauses over max glue    : 0           (0.00      % of all clauses)
48.82/12.30	c conflicts                : 148846      (3053.72   / sec)
48.82/12.30	c decisions                : 222783      (2.14      % random)
48.82/12.30	c bogo-props               : 905368888   (18574492.82 / sec)
48.82/12.30	c conflict literals        : 2993818     (33.00     % deleted)
48.82/12.30	c Memory used              : 294.71      MB
48.82/12.30	c single-thread CPU time   : 48.74       s
48.82/12.30	c all-threads sum CPU time : 48.74       s
48.82/12.30	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-3293108-1304181624/watcher-3293108-1304181624 -o /tmp/evaluation-result-3293108-1304181624/solver-3293108-1304181624 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3293108-1304181624.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: 8.13 8.09 8.01 5/180 10989
/proc/meminfo: memFree=30367256/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 529761201 52465664 352 33554432000 4194304 4650419 140733939869696 18446744073709551615 47755412232114 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10989/statm: 12809 352 303 112 0 7774 0
[pid=10989/tid=10990] ppid=10987 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529761202 52465664 352 33554432000 4194304 4650419 140733939869696 18446744073709551615 47755412232118 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529761202 52465664 352 33554432000 4194304 4650419 140733939869696 18446744073709551615 47755412232114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529761202 52465664 352 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0324381 s]
/proc/loadavg: 8.13 8.09 8.01 5/180 10989
/proc/meminfo: memFree=30367256/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=287244 CPUtime=0.1 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 3730 0 0 0 9 1 0 0 25 0 4 0 529761201 294137856 3128 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594532085 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10989/statm: 71811 3130 372 112 0 66776 0
[pid=10989/tid=10990] ppid=10987 vsize=287244 CPUtime=0.02 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 824 0 0 0 2 0 0 0 25 0 4 0 529761202 294137856 3130 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594527777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=287244 CPUtime=0.02 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 869 0 0 0 2 0 0 0 25 0 4 0 529761202 294137856 3130 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=287244 CPUtime=0.01 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 764 0 0 0 1 0 0 0 25 0 4 0 529761202 294137856 3131 33554432000 4194304 4650419 140733939869696 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 287244

[startup+0.10875 s]
/proc/loadavg: 8.13 8.09 8.01 5/180 10989
/proc/meminfo: memFree=30367256/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=289024 CPUtime=0.39 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 5478 0 0 0 38 1 0 0 25 0 4 0 529761201 295960576 4817 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594971630 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10989/statm: 72256 4817 387 112 0 67221 0
[pid=10989/tid=10990] ppid=10987 vsize=289024 CPUtime=0.09 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1409 0 0 0 9 0 0 0 18 0 4 0 529761202 295960576 4817 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=289024 CPUtime=0.09 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1393 0 0 0 9 0 0 0 25 0 4 0 529761202 295960576 4817 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=289024 CPUtime=0.09 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 808 0 0 0 9 0 0 0 25 0 4 0 529761202 295960576 4817 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 289024

[startup+0.300988 s]
/proc/loadavg: 8.13 8.09 8.01 5/180 10989
/proc/meminfo: memFree=30367256/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=289624 CPUtime=1.16 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 6533 0 0 0 114 2 0 0 25 0 4 0 529761201 296574976 5840 33554432000 4194304 4650419 140733939869696 18446744073709551615 4334669 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 72406 5840 392 112 0 67371 0
[pid=10989/tid=10990] ppid=10987 vsize=289624 CPUtime=0.28 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1706 0 0 0 28 0 0 0 18 0 4 0 529761202 296574976 5840 33554432000 4194304 4650419 140733939869696 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=289624 CPUtime=0.28 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1705 0 0 0 28 0 0 0 25 0 4 0 529761202 296574976 5840 33554432000 4194304 4650419 140733939869696 18446744073709551615 4330626 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=289624 CPUtime=0.28 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 900 0 0 0 28 0 0 0 25 0 4 0 529761202 296574976 5840 33554432000 4194304 4650419 140733939869696 18446744073709551615 4310677 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 289624

[startup+0.700918 s]
/proc/loadavg: 8.13 8.09 8.01 5/180 10989
/proc/meminfo: memFree=30367256/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=291052 CPUtime=2.76 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 7810 0 0 0 274 2 0 0 25 0 4 0 529761201 298037248 6240 33554432000 4194304 4650419 140733939869696 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 72763 6240 393 112 0 67728 0
[pid=10989/tid=10990] ppid=10987 vsize=291052 CPUtime=0.68 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1996 0 0 0 68 0 0 0 18 0 4 0 529761202 298037248 6240 33554432000 4194304 4650419 140733939869696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=291052 CPUtime=0.68 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 2068 0 0 0 68 0 0 0 25 0 4 0 529761202 298037248 6240 33554432000 4194304 4650419 140733939869696 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=291052 CPUtime=0.68 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1157 0 0 0 68 0 0 0 25 0 4 0 529761202 298037248 6240 33554432000 4194304 4650419 140733939869696 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 291052

[startup+1.50078 s]
/proc/loadavg: 8.13 8.09 8.01 9/184 10993
/proc/meminfo: memFree=30341804/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=291928 CPUtime=5.95 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 10035 0 0 0 592 3 0 0 25 0 4 0 529761201 298934272 6815 33554432000 4194304 4650419 140733939869696 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 72982 6815 393 112 0 67947 0
[pid=10989/tid=10990] ppid=10987 vsize=291928 CPUtime=1.49 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 2534 0 0 0 148 1 0 0 19 0 4 0 529761202 298934272 6816 33554432000 4194304 4650419 140733939869696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=291928 CPUtime=1.48 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 2689 0 0 0 148 0 0 0 25 0 4 0 529761202 298934272 6816 33554432000 4194304 4650419 140733939869696 18446744073709551615 4363747 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=291928 CPUtime=1.48 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 1612 0 0 0 148 0 0 0 25 0 4 0 529761202 298934272 6816 33554432000 4194304 4650419 140733939869696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 291928

[startup+3.1005 s]
/proc/loadavg: 8.13 8.09 8.01 9/184 10994
/proc/meminfo: memFree=30339324/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=292952 CPUtime=12.35 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 14571 0 0 0 1230 5 0 0 25 0 4 0 529761201 299982848 8725 33554432000 4194304 4650419 140733939869696 18446744073709551615 4363720 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 73238 8725 394 112 0 68203 0
[pid=10989/tid=10990] ppid=10987 vsize=292952 CPUtime=3.08 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 3414 0 0 0 307 1 0 0 24 0 4 0 529761202 299982848 8726 33554432000 4194304 4650419 140733939869696 18446744073709551615 235594527777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=292952 CPUtime=3.08 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 3570 0 0 0 308 0 0 0 25 0 4 0 529761202 299982848 8726 33554432000 4194304 4650419 140733939869696 18446744073709551615 4363307 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=292952 CPUtime=3.08 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 2423 0 0 0 308 0 0 0 25 0 4 0 529761202 299982848 8726 33554432000 4194304 4650419 140733939869696 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 292952

[startup+6.30093 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 10994
/proc/meminfo: memFree=30318668/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=280988 CPUtime=25.13 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 25750 0 0 0 2506 7 0 0 25 0 4 0 529761201 287731712 14816 33554432000 4194304 4650419 140733939869696 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 70247 14816 394 112 0 65212 0
[pid=10989/tid=10990] ppid=10987 vsize=280988 CPUtime=6.29 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 6535 0 0 0 627 2 0 0 25 0 4 0 529761202 287731712 14816 33554432000 4194304 4650419 140733939869696 18446744073709551615 4229503 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=280988 CPUtime=6.28 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 6602 0 0 0 627 1 0 0 25 0 4 0 529761202 287731712 14816 33554432000 4194304 4650419 140733939869696 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=280988 CPUtime=6.28 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 5247 0 0 0 627 1 0 0 25 0 4 0 529761202 287731712 14816 33554432000 4194304 4650419 140733939869696 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 280988

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

[startup+9.50037 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 10994
/proc/meminfo: memFree=30293248/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=283764 CPUtime=37.91 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 33059 0 0 0 3783 8 0 0 25 0 4 0 529761201 290574336 17988 33554432000 4194304 4650419 140733939869696 18446744073709551615 4528503 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 70941 17988 394 112 0 65906 0
[pid=10989/tid=10990] ppid=10987 vsize=283764 CPUtime=9.48 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 8187 0 0 0 946 2 0 0 25 0 4 0 529761202 290574336 17988 33554432000 4194304 4650419 140733939869696 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=283764 CPUtime=9.48 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 8741 0 0 0 947 1 0 0 25 0 4 0 529761202 290574336 17988 33554432000 4194304 4650419 140733939869696 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=283764 CPUtime=9.47 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 6619 0 0 0 946 1 0 0 25 0 4 0 529761202 290574336 17988 33554432000 4194304 4650419 140733939869696 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 283764

[startup+11.1011 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 10994
/proc/meminfo: memFree=30283712/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=301756 CPUtime=44.3 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 35699 0 0 0 4421 9 0 0 25 0 4 0 529761201 308998144 20099 33554432000 4194304 4650419 140733939869696 18446744073709551615 4366998 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 75439 20099 394 112 0 70404 0
[pid=10989/tid=10990] ppid=10987 vsize=301756 CPUtime=11.08 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 8787 0 0 0 1106 2 0 0 25 0 4 0 529761202 308998144 20100 33554432000 4194304 4650419 140733939869696 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=301756 CPUtime=11.09 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 9559 0 0 0 1107 2 0 0 25 0 4 0 529761202 308998144 20100 33554432000 4194304 4650419 140733939869696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=301756 CPUtime=11.07 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 7163 0 0 0 1106 1 0 0 25 0 4 0 529761202 308998144 20100 33554432000 4194304 4650419 140733939869696 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 44.3
Current children cumulated vsize (KiB) 301756

[startup+11.901 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 10994
/proc/meminfo: memFree=30283712/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=301784 CPUtime=47.5 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) R 10987 10989 10804 0 -1 4202496 36687 0 0 0 4740 10 0 0 25 0 4 0 529761201 309026816 20267 33554432000 4194304 4650419 140733939869696 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 75446 20267 394 112 0 70411 0
[pid=10989/tid=10990] ppid=10987 vsize=301784 CPUtime=11.88 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 9159 0 0 0 1186 2 0 0 25 0 4 0 529761202 309026816 20267 33554432000 4194304 4650419 140733939869696 18446744073709551615 4364968 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=301784 CPUtime=11.88 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 9818 0 0 0 1186 2 0 0 25 0 4 0 529761202 309026816 20267 33554432000 4194304 4650419 140733939869696 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=301784 CPUtime=11.87 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 7321 0 0 0 1186 1 0 0 25 0 4 0 529761202 309026816 20267 33554432000 4194304 4650419 140733939869696 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.5
Current children cumulated vsize (KiB) 301784

[startup+12.3009 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 10994
/proc/meminfo: memFree=30279992/32950928 swapFree=67111404/67111528
[pid=10989] ppid=10987 vsize=301784 CPUtime=48.82 cores=0,2,4,6
/proc/10989/stat : 10989 (strangenight1-m) S 10987 10989 10804 0 -1 4202496 37071 0 0 0 4872 10 0 0 25 0 4 0 529761201 309026816 20651 33554432000 4194304 4650419 140733939869696 18446744073709551615 47755412231732 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10989/statm: 75446 20651 394 112 0 70411 0
[pid=10989/tid=10990] ppid=10987 vsize=301784 CPUtime=12.15 cores=0,2,4,6
/proc/10989/task/10990/stat : 10990 (strangenight1-m) S 10987 10989 10804 0 -1 4202560 9208 0 0 0 1213 2 0 0 25 0 4 0 529761202 309026816 20651 33554432000 4194304 4650419 140733939869696 18446744073709551615 47755412231732 0 0 4096 2 18446604446596986048 0 0 -1 4 0 0 0
[pid=10989/tid=10991] ppid=10987 vsize=301784 CPUtime=12.28 cores=0,2,4,6
/proc/10989/task/10991/stat : 10991 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 9818 0 0 0 1226 2 0 0 25 0 4 0 529761202 309026816 20651 33554432000 4194304 4650419 140733939869696 18446744073709551615 47755412207300 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10989/tid=10992] ppid=10987 vsize=301784 CPUtime=12.28 cores=0,2,4,6
/proc/10989/task/10992/stat : 10992 (strangenight1-m) R 10987 10989 10804 0 -1 4202560 7627 0 0 0 1226 2 0 0 25 0 4 0 529761202 309026816 20651 33554432000 4194304 4650419 140733939869696 18446744073709551615 4420404 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.82
Current children cumulated vsize (KiB) 301784

Child status: 20
Real time (s): 12.3131
CPU time (s): 48.8486
CPU user time (s): 48.7426
CPU system time (s): 0.105983
CPU usage (%): 396.721
Max. virtual memory (cumulated for all children) (KiB): 310780

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

runsolver used 0.021996 second user time and 0.051992 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 18:40:24
IDJOB=3293108
IDBENCH=88045
IDSOLVER=1588
FILE ID=node120/3293108-1304181624
RUNJOBID= node120-1304180724-10822
PBS_JOBID= 13172454
Free space on /tmp= 73164 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293108-1304181624/watcher-3293108-1304181624 -o /tmp/evaluation-result-3293108-1304181624/solver-3293108-1304181624 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3293108-1304181624.cnf

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

MD5SUM BENCH= 0e9d17eb95ee436fc1015c5591cfb63f
RANDOM SEED=1822557395

node120.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	: 5226.07
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.82
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.78
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30367536 kB
Buffers:        544360 kB
Cached:        1064724 kB
SwapCached:          8 kB
Active:        1218612 kB
Inactive:      1003592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30367536 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            6552 kB
Writeback:           0 kB
AnonPages:      613100 kB
Mapped:          15716 kB
Slab:           297472 kB
PageTables:       5680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   821660 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= 73156 MiB
End job on node120 at 2011-04-30 18:40:37