Trace number 3400619

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 1003.22 31.9054

General information on the benchmark

Nameindustrial/fuhs/medium/
AProVE07-21.cnf
MD5SUM627e3d704e5200c3037f9c9d83c939c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark565.95
Satisfiable
(Un)Satisfiability was proved
Number of variables3189
Number of clauses11039
Sum of the clauses size28509
Maximum clause length25
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25404
Number of clauses of size 35107
Number of clauses of size 4389
Number of clauses of size 586
Number of clauses of size over 552

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3400619-1306240742.cnf'
0.00/0.03	c -- header says num vars:           3189
0.00/0.03	c -- header says num clauses:       11039
1.47/0.16	c -- clauses added:            0 learnts,        11039 normals,            0 xors
1.47/0.16	c -- vars added       3189
1.47/0.16	c Parsing time:  0.01 s
1.47/0.16	c  N st     0         0      3189      5575      5354         0     28201         0   no data   no data
1.47/0.20	c asymm  cl-useful: 6/5575/5575 lits-rem:11 time: 0.04
4.18/0.25	c Flit:    14 Blit:      8 bXBeca:    0 bXProp:  261 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
4.18/0.26	c Replacing      261 vars Replaced     4511 lits Time:     0.00 s 
4.18/0.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4.18/0.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.18/0.30	c subs with bin:       12  lits-rem:         9  v-fix:    0  time:  0.00 s
4.18/0.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     1 done:   2482 time:  0.00 s
5.63/0.30	c Removed useless bin:       4  fixed:     0  props:   0.05M  time:  0.00 s
5.63/0.36	c lits-rem:        68  cl-subs:      570  v-elim:    827  v-fix:    0  time:  0.02 s
5.63/0.36	c Finding binary XORs  T:     0.00 s  found:       5
5.63/0.36	c Replacing        5 vars Replaced       53 lits Time:     0.00 s 
5.63/0.37	c Finding non-binary XORs:     0.00 s (found:     532, avg size: 3.2)
5.63/0.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    205 locsubst:     0 time:   0.00
5.63/0.37	c calculated reachability. Time: 0.00
5.63/0.37	c Calc default polars -  time:   0.00 s pos:     456 undec:    1942 neg:     791
5.63/0.37	c =========================================================================================
5.63/0.37	c types(t): F = full restart, N = normal restart
5.63/0.37	c types(t): S = simplification begin/end, E = solution found
5.63/0.37	c restart types(rt): st = static, dy = dynamic
5.63/0.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.63/0.37	c  B st     0         0      1444      2380      2096         0     13694         0   no data   no data
5.63/0.64	c Decided on static restart strategy
5.63/1.04	c  N st     8      4914      1443      2380      2148      4785     13694    147411   no data   no data
5.63/1.45	c  N st    10     11296      1443      2380      2457      4682     13694     67464   no data   no data
62.69/2.14	c  N st    11     17040      1437      2380      2461     10325     13694    222565   no data   no data
62.69/2.14	c Finding binary XORs  T:     0.00 s  found:      12
91.19/3.03	c  F st    12     25000      1437      2367      2557     12820     13621    267100   no data   no data
91.19/3.04	c Replacing       12 vars Replaced     6336 lits Time:     0.01 s 
91.19/3.04	c  N st    12     25000      1425      2366      2524     12799     13599    264705   no data   no data
107.81/3.57	c Decided on static restart strategy
107.81/3.57	c  N st    18     30002      1423      2366      2578     11253     13599    209564   no data   no data
107.81/3.57	c  S st    18     30002      1423      2366      2578     11253     13599    209564   no data   no data
111.03/3.64	c  S st    18     30505      1423      2366      2591     11740     13599    219605   no data   no data
111.03/3.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      3 locsubst:     0 time:   0.00
111.03/3.67	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   92 Bins:    853 BRemL:    561 BRemN:     13 P:  0.7M T:  0.02
111.03/3.68	c Replacing       92 vars Replaced    15925 lits Time:     0.01 s 
111.03/3.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111.03/3.68	c bin-w-bin subsume rem          272 bins  time:  0.00 s
111.03/3.68	c subs with bin:       65  lits-rem:       318  v-fix:    0  time:  0.00 s
111.03/3.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1327 time:  0.00 s
111.03/3.69	c Removed useless bin:      35  fixed:     0  props:   0.03M  time:  0.00 s
111.03/3.69	c lits-rem:        11  cl-subs:      123  v-elim:    270  v-fix:    0  time:  0.00 s
113.56/3.72	c subs with bin:       21  lits-rem:      1430  v-fix:    0  time:  0.01 s
113.56/3.77	c lits-rem:      1732  cl-subs:      527  v-elim:      0  v-fix:    0  time:  0.06 s
113.56/3.79	c asymm  cl-useful: 2/2366/2366 lits-rem:2 time: 0.02
113.56/3.79	c calculated reachability. Time: 0.00
113.56/3.79	c  N st    18     30505      1057      2366      1348      8060     11159    131207   no data   no data
135.93/4.42	c  N st    20     37616      1057      2366      1365      8964     11159    150949   no data   no data
135.93/4.42	c Finding binary XORs  T:     0.00 s  found:       3
155.09/5.03	c  N st    21     44015      1057      2366      1369     15259     11159    340518   no data   no data
155.09/5.03	c Finding binary XORs  T:     0.00 s  found:       1
161.49/5.25	c  S st    22     45757      1057      2366      1702      9141     11159    118781   no data   no data
164.69/5.31	c  S st    22     46265      1057      2366      1711      9630     11159    124320   no data   no data
164.69/5.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    15 time:   0.00
164.69/5.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    183 BRemL:    199 BRemN:      3 P:  0.5M T:  0.01
164.69/5.33	c Replacing       11 vars Replaced     1043 lits Time:     0.00 s 
164.69/5.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
164.69/5.33	c bin-w-bin subsume rem          160 bins  time:  0.00 s
164.69/5.33	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
164.69/5.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1046 time:  0.00 s
164.69/5.33	c Removed useless bin:       4  fixed:     0  props:   0.02M  time:  0.00 s
164.69/5.33	c lits-rem:         0  cl-subs:       16  v-elim:      0  v-fix:    0  time:  0.00 s
164.69/5.35	c subs with bin:       85  lits-rem:      1908  v-fix:    0  time:  0.01 s
164.69/5.38	c lits-rem:       489  cl-subs:      146  v-elim:      0  v-fix:    0  time:  0.02 s
164.69/5.38	c vivif2 --  cl tried     2348 cl shrink        1 lits rem          1 time: 0.00
164.69/5.38	c vivif2 --  cl tried     9391 cl shrink      603 lits rem        795 time: 0.00
167.89/5.40	c asymm  cl-useful: 0/2348/2348 lits-rem:0 time: 0.02
167.89/5.40	c calculated reachability. Time: 0.00
167.89/5.40	c  N st    22     46265      1046      2348      1514      9391     11021    117890   no data   no data
216.46/6.97	c  N st    23     60662      1046      2348      1514     14255     11021    219523   no data   no data
216.46/6.97	c Finding binary XORs  T:     0.00 s  found:       2
241.41/7.77	c  N st    24     69398      1046      2348      1587     12299     11021    148894   no data   no data
241.41/7.77	c  S st    24     69398      1046      2348      1587     12299     11021    148894   no data   no data
244.61/7.83	c  S st    24     69900      1046      2348      1630     12793     11021    157974   no data   no data
244.61/7.83	c x-sub:     5 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    12 time:   0.00
244.61/7.85	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   13 Bins:     11 BRemL:     32 BRemN:      0 P:  0.6M T:  0.02
244.61/7.85	c Replacing       19 vars Replaced     3032 lits Time:     0.01 s 
244.61/7.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
244.61/7.85	c bin-w-bin subsume rem           81 bins  time:  0.00 s
244.61/7.86	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
244.61/7.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1026 time:  0.00 s
244.61/7.86	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
244.61/7.86	c lits-rem:         2  cl-subs:       18  v-elim:      0  v-fix:    0  time:  0.00 s
244.61/7.88	c subs with bin:       93  lits-rem:       941  v-fix:    0  time:  0.01 s
248.42/7.94	c lits-rem:      1174  cl-subs:      629  v-elim:      0  v-fix:    0  time:  0.05 s
248.42/7.94	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
248.42/7.94	c vivif2 --  cl tried    12056 cl shrink      391 lits rem        550 time: 0.00
248.42/7.97	c asymm  cl-useful: 17/2325/2325 lits-rem:20 time: 0.03
248.42/7.97	c calculated reachability. Time: 0.00
248.42/7.97	c  N st    24     69900      1026      2324      1495     12056     10825    145883   no data   no data
305.32/9.77	c  F st    25     87501      1025      2324      1502     18063     10825    348422   no data   no data
305.32/9.78	c  N st    25     87501      1025      2322      1482     17855     10809    346158   no data   no data
305.32/9.78	c Finding binary XORs  T:     0.00 s  found:       1
327.69/10.43	c Decided on static restart strategy
340.49/10.83	c  N st    32     95544      1023      2322      1501     25790     10794    543333   no data   no data
372.45/11.87	c  N st    34    104852      1023      2322      1556     22440     10794    392801   no data   no data
372.45/11.87	c  S st    34    104852      1023      2322      1556     22440     10794    392801   no data   no data
372.45/11.87	c Finding binary XORs  T:     0.00 s  found:      13
372.45/11.88	c Replacing       14 vars Replaced     2242 lits Time:     0.01 s 
375.65/11.98	c  S st    34    105353      1009      2322      1633     22914     10789    399711   no data   no data
375.65/11.98	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    15 time:   0.00
378.85/12.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     42 BRemN:      0 P:  0.8M T:  0.02
378.85/12.01	c Replacing        5 vars Replaced     1380 lits Time:     0.00 s 
378.85/12.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
378.85/12.01	c bin-w-bin subsume rem           97 bins  time:  0.00 s
378.85/12.01	c subs with bin:       10  lits-rem:         2  v-fix:    0  time:  0.00 s
378.85/12.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1003 time:  0.00 s
378.85/12.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
378.85/12.02	c lits-rem:         3  cl-subs:       47  v-elim:      9  v-fix:    0  time:  0.01 s
378.85/12.08	c subs with bin:       97  lits-rem:       913  v-fix:    0  time:  0.04 s
385.24/12.29	c lits-rem:      1338  cl-subs:     1243  v-elim:      0  v-fix:    0  time:  0.22 s
385.24/12.29	c vivif2 --  cl tried     2272 cl shrink       15 lits rem         23 time: 0.00
385.24/12.31	c vivif2 --  cl tried    21527 cl shrink     1380 lits rem       2545 time: 0.02
389.06/12.35	c asymm  cl-useful: 12/2267/2267 lits-rem:22 time: 0.04
389.06/12.35	c calculated reachability. Time: 0.00
389.06/12.35	c  N st    34    105353       994      2262      1468     21527     10462    369722   no data   no data
429.97/13.67	c  N st    35    114953       994      2262      1468     17372     10462    227812   no data   no data
429.97/13.67	c Finding binary XORs  T:     0.00 s  found:       1
477.92/15.10	c  N st    36    129351       993      2262      1613     16830     10462    202900   no data   no data
583.40/18.46	c  N st    37    150948       993      2262      1613     22481     10462    303396   no data   no data
583.40/18.46	c Finding binary XORs  T:     0.00 s  found:      21
583.40/18.48	c Replacing       22 vars Replaced    10091 lits Time:     0.01 s 
615.36/19.46	c  S st    38    158029       969      2247      1528     28442     10375    432852   no data   no data
618.56/19.57	c  S st    38    158532       969      2247      1581     28939     10375    439184   no data   no data
618.56/19.58	c x-sub:     8 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    18 time:   0.00
621.75/19.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   30 Bins:     73 BRemL:    117 BRemN:      5 P:  1.2M T:  0.03
621.75/19.64	c Replacing       35 vars Replaced    23868 lits Time:     0.03 s 
621.75/19.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
621.75/19.64	c bin-w-bin subsume rem          128 bins  time:  0.00 s
621.75/19.64	c subs with bin:       13  lits-rem:         2  v-fix:    0  time:  0.00 s
621.75/19.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    934 time:  0.00 s
621.75/19.64	c Removed useless bin:      14  fixed:     0  props:   0.02M  time:  0.00 s
621.75/19.65	c lits-rem:         0  cl-subs:       75  v-elim:      5  v-fix:    0  time:  0.01 s
624.95/19.74	c subs with bin:       40  lits-rem:      6396  v-fix:    0  time:  0.06 s
638.36/20.17	c lits-rem:      2325  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  0.43 s
638.36/20.17	c vivif2 --  cl tried     2169 cl shrink       13 lits rem         17 time: 0.00
638.36/20.19	c vivif2 --  cl tried    26158 cl shrink     1583 lits rem       2254 time: 0.02
640.93/20.26	c asymm  cl-useful: 6/2167/2167 lits-rem:12 time: 0.06
640.93/20.26	c calculated reachability. Time: 0.00
640.93/20.26	c  N st    38    158532       929      2164      1313     26158      9855    384363   no data   no data
874.28/27.52	c  N st    39    207121       929      2164      1314     22304      9855    247654   no data   no data
874.28/27.53	c Finding binary XORs  T:     0.00 s  found:      54
874.28/27.54	c Replacing       55 vars Replaced    15711 lits Time:     0.01 s 
1003.06/31.84	c Following stats are for *FIRST FINISHED THREAD ONLY*
1003.06/31.84	c num threads              : 32         
1003.06/31.84	c restarts                 : 38         
1003.06/31.84	c dynamic restarts         : 0          
1003.06/31.84	c static restarts          : 38         
1003.06/31.84	c full restarts            : 2          
1003.06/31.84	c total simplify time      : 0.20       
1003.06/31.84	c learnts DL2              : 0          
1003.06/31.84	c learnts size 2           : 9337       
1003.06/31.84	c learnts size 1           : 809         (25.37     % of vars)
1003.06/31.84	c filedLit time            : 0.06        (0.19      % time)
1003.06/31.84	c v-elim SatELite          : 1056        (33.11     % vars)
1003.06/31.84	c SatELite time            : 0.08        (0.27      % time)
1003.06/31.84	c v-elim xor               : 209         (6.55      % vars)
1003.06/31.84	c xor elim time            : 0.00        (0.01      % time)
1003.06/31.84	c num binary xor trees     : 364        
1003.06/31.84	c binxor trees' crown      : 629         (1.73      leafs/tree)
1003.06/31.84	c bin xor find time        : 0.01       
1003.06/31.84	c OTF clause improved      : 4539        (0.02      clauses/conflict)
1003.06/31.84	c OTF impr. size diff      : 4934        (1.09       lits/clause)
1003.06/31.84	c OTF cl watch-shrink      : 133361      (0.60      clauses/conflict)
1003.06/31.84	c OTF cl watch-sh-lit      : 373019      (2.80       lits/clause)
1003.06/31.84	c tried to recurMin cls    : 57078       (25.71      % of conflicts)
1003.06/31.84	c updated cache            : 0           (0.00       lits/tried recurMin)
1003.06/31.84	c unit cls recevied        : 21          (2.60      % of units)
1003.06/31.84	c unit cls sent            : 28          (3.46      % of units)
1003.06/31.84	c bin cls recevied         : 3947       
1003.06/31.84	c bin cls sent             : 179        
1003.06/31.84	c clauses over max glue    : 0           (0.00      % of all clauses)
1003.06/31.84	c conflicts                : 222004      (7034.97   / sec)
1003.06/31.84	c decisions                : 272837      (7.37      % random)
1003.06/31.84	c bogo-props               : 2794125801  (88541620.42 / sec)
1003.06/31.84	c conflict literals        : 5091706     (43.30     % deleted)
1003.06/31.84	c Memory used              : 1897.95     MB
1003.06/31.84	c single-thread CPU time   : 31.56       s
1003.06/31.84	c all-threads sum CPU time : 999.59      s
1003.06/31.84	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-3400619-1306240742/watcher-3400619-1306240742 -o /tmp/evaluation-result-3400619-1306240742/solver-3400619-1306240742 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400619-1306240742.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 32.18 31.98 31.86 1/413 8243
/proc/meminfo: memFree=255171600/264257624 swapFree=67111528/67111528
[pid=8243] ppid=8241 vsize=929308 CPUtime=0.63 cores=0-31
/proc/8243/stat : 8243 (strangenight2-m) D 8241 8243 8217 0 -1 4202496 2106 0 0 0 54 9 0 0 18 0 32 0 735560589 951611392 1968 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/8243/statm: 232327 1976 330 95 0 227309 0
[pid=8243/tid=8244] ppid=8241 vsize=929308 CPUtime=0.02 cores=0-31
/proc/8243/task/8244/stat : 8244 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 39 0 0 0 2 0 0 0 25 0 32 0 735560589 951611392 2070 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8243/tid=8245] ppid=8241 vsize=929308 CPUtime=0.02 cores=0-31
/proc/8243/task/8245/stat : 8245 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 38 0 0 0 2 0 0 0 25 0 32 0 735560589 951611392 2083 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8243/tid=8246] ppid=8241 vsize=929308 CPUtime=0.01 cores=0-31
/proc/8243/task/8246/stat : 8246 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 51 0 0 0 1 0 0 0 18 0 32 0 735560589 951611392 2083 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8243/tid=8247] ppid=8241 vsize=929440 CPUtime=0 cores=0-31
/proc/8243/task/8247/stat : 8247 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 50 0 0 0 0 0 0 0 25 0 32 0 735560589 951746560 2097 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 24 0 0 0
[pid=8243/tid=8248] ppid=8241 vsize=929440 CPUtime=0.01 cores=0-31
/proc/8243/task/8248/stat : 8248 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 22 0 0 0 1 0 0 0 25 0 32 0 735560589 951746560 2097 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8243/tid=8249] ppid=8241 vsize=929440 CPUtime=0.01 cores=0-31
/proc/8243/task/8249/stat : 8249 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 60 0 0 0 1 0 0 0 18 0 32 0 735560589 951746560 2124 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8243/tid=8250] ppid=8241 vsize=929440 CPUtime=0.01 cores=0-31
/proc/8243/task/8250/stat : 8250 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 53 0 0 0 1 0 0 0 25 0 32 0 735560590 951746560 2164 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566926984 0 0 -1 16 0 0 0
[pid=8243/tid=8251] ppid=8241 vsize=929440 CPUtime=0.02 cores=0-31
/proc/8243/task/8251/stat : 8251 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 34 0 0 0 2 0 0 0 25 0 32 0 735560590 951746560 2164 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8243/tid=8252] ppid=8241 vsize=929440 CPUtime=0.01 cores=0-31
/proc/8243/task/8252/stat : 8252 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 43 0 0 0 1 0 0 0 25 0 32 0 735560590 951746560 2165 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8243/tid=8253] ppid=8241 vsize=929440 CPUtime=0.02 cores=0-31
/proc/8243/task/8253/stat : 8253 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 45 0 0 0 2 0 0 0 25 0 32 0 735560590 951746560 2175 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8243/tid=8254] ppid=8241 vsize=929440 CPUtime=0.01 cores=0-31
/proc/8243/task/8254/stat : 8254 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 68 0 0 0 1 0 0 0 25 0 32 0 735560590 951746560 2199 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8243/tid=8255] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8255/stat : 8255 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 41 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2236 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8243/tid=8256] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8256/stat : 8256 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 172 0 0 0 1 0 0 0 18 0 32 0 735560590 951750656 2236 268435456000 4194304 4580107 140735527702496 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8243/tid=8257] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8257/stat : 8257 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 56 0 0 0 1 0 0 0 18 0 32 0 735560590 951750656 2249 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8243/tid=8258] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8258/stat : 8258 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 44 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2262 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8243/tid=8259] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8259/stat : 8259 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 48 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2272 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8243/tid=8260] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8260/stat : 8260 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 48 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2276 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8243/tid=8261] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8261/stat : 8261 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 154 0 0 0 1 0 0 0 18 0 32 0 735560590 951750656 2288 268435456000 4194304 4580107 140735527702496 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8243/tid=8262] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8262/stat : 8262 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 49 0 0 0 1 0 0 0 18 0 32 0 735560590 951750656 2302 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8243/tid=8263] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8263/stat : 8263 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 172 0 0 0 1 0 0 0 18 0 32 0 735560590 951750656 2328 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8243/tid=8264] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8264/stat : 8264 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 55 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2330 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8243/tid=8265] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8265/stat : 8265 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 53 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2336 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566926064 0 0 -1 18 0 0 0
[pid=8243/tid=8266] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8266/stat : 8266 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 52 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2341 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8243/tid=8267] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8267/stat : 8267 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 57 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2345 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604476069846496 0 0 -1 21 0 0 0
[pid=8243/tid=8268] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8268/stat : 8268 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 53 0 0 0 1 0 0 0 17 0 32 0 735560590 951750656 2363 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604500039933408 0 0 -1 22 0 0 0
[pid=8243/tid=8269] ppid=8241 vsize=994980 CPUtime=0.01 cores=0-31
/proc/8243/task/8269/stat : 8269 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 55 0 0 0 1 0 0 0 25 0 32 0 735560590 1018859520 2365 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8243/tid=8270] ppid=8241 vsize=994980 CPUtime=0.01 cores=0-31
/proc/8243/task/8270/stat : 8270 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 49 0 0 0 1 0 0 0 25 0 32 0 735560590 1018859520 2382 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8243/tid=8271] ppid=8241 vsize=994980 CPUtime=0.01 cores=0-31
/proc/8243/task/8271/stat : 8271 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 65 0 0 0 1 0 0 0 18 0 32 0 735560590 1018859520 2382 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8243/tid=8272] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8272/stat : 8272 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 52 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2390 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8243/tid=8273] ppid=8241 vsize=929444 CPUtime=0.01 cores=0-31
/proc/8243/task/8273/stat : 8273 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 58 0 0 0 1 0 0 0 25 0 32 0 735560590 951750656 2400 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8243/tid=8274] ppid=8241 vsize=1060516 CPUtime=0.01 cores=0-31
/proc/8243/task/8274/stat : 8274 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 50 0 0 0 1 0 0 0 25 0 32 0 735560590 1085968384 2408 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.0433519 s]
/proc/loadavg: 32.18 31.98 31.86 1/413 8243
/proc/meminfo: memFree=255171600/264257624 swapFree=67111528/67111528
[pid=8243] ppid=8241 vsize=1060648 CPUtime=0.68 cores=0-31
/proc/8243/stat : 8243 (strangenight2-m) S 8241 8243 8217 0 -1 4202496 2819 0 0 0 54 14 0 0 17 0 32 0 735560589 1086103552 2681 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/8243/statm: 265198 2685 331 95 0 260180 0
[pid=8243/tid=8244] ppid=8241 vsize=1060792 CPUtime=0.02 cores=0-31
/proc/8243/task/8244/stat : 8244 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 49 0 0 0 2 0 0 0 25 0 32 0 735560589 1086251008 2695 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604503864065504 0 0 -1 1 0 0 0
[pid=8243/tid=8245] ppid=8241 vsize=1060792 CPUtime=0.02 cores=0-31
/proc/8243/task/8245/stat : 8245 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 54 0 0 0 2 0 0 0 25 0 32 0 735560589 1086251008 2700 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604480533315040 0 0 -1 2 0 0 0
[pid=8243/tid=8246] ppid=8241 vsize=1060792 CPUtime=0.01 cores=0-31
/proc/8243/task/8246/stat : 8246 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 67 0 0 0 1 0 0 0 17 0 32 0 735560589 1086251008 2704 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8243/tid=8247] ppid=8241 vsize=1126328 CPUtime=0 cores=0-31
/proc/8243/task/8247/stat : 8247 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 32 0 735560589 1153359872 2712 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604476069846496 0 0 -1 24 0 0 0
[pid=8243/tid=8248] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8248/stat : 8248 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 66 0 0 0 1 0 0 0 25 0 32 0 735560589 1153359872 2716 268435456000 4194304 4580107 140735527702496 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8243/tid=8249] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8249/stat : 8249 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 89 0 0 0 1 0 0 0 18 0 32 0 735560589 1153359872 2721 268435456000 4194304 4580107 140735527702496 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8243/tid=8250] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8250/stat : 8250 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 54 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2723 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604476069846496 0 0 -1 16 0 0 0
[pid=8243/tid=8251] ppid=8241 vsize=1126328 CPUtime=0.02 cores=0-31
/proc/8243/task/8251/stat : 8251 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 54 0 0 0 2 0 0 0 25 0 32 0 735560590 1153359872 2732 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604505153175008 0 0 -1 5 0 0 0
[pid=8243/tid=8252] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8252/stat : 8252 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 57 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2740 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566932864 0 0 -1 6 0 0 0
[pid=8243/tid=8253] ppid=8241 vsize=1126328 CPUtime=0.02 cores=0-31
/proc/8243/task/8253/stat : 8253 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 54 0 0 0 2 0 0 0 17 0 32 0 735560590 1153359872 2745 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566930304 0 0 -1 3 0 0 0
[pid=8243/tid=8254] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8254/stat : 8254 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 101 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2754 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604476069846496 0 0 -1 0 0 0 0
[pid=8243/tid=8255] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8255/stat : 8255 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 52 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2764 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604484541054432 0 0 -1 27 0 0 0
[pid=8243/tid=8256] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8256/stat : 8256 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 196 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2768 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604505134702048 0 0 -1 8 0 0 0
[pid=8243/tid=8257] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8257/stat : 8257 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 68 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2779 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8243/tid=8258] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8258/stat : 8258 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 70 0 0 0 1 0 0 0 18 0 32 0 735560590 1153359872 2779 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8243/tid=8259] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8259/stat : 8259 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 52 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2781 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604477175872992 0 0 -1 10 0 0 0
[pid=8243/tid=8260] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8260/stat : 8260 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 61 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2791 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 7 0 0 0
[pid=8243/tid=8261] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8261/stat : 8261 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 182 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2799 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8243/tid=8262] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8262/stat : 8262 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 76 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2803 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604489968106976 0 0 -1 14 0 0 0
[pid=8243/tid=8263] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8263/stat : 8263 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 210 0 0 0 1 0 0 0 18 0 32 0 735560590 1153359872 2805 268435456000 4194304 4580107 140735527702496 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8243/tid=8264] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8264/stat : 8264 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 85 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2811 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8243/tid=8265] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8265/stat : 8265 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 53 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2825 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604480755236320 0 0 -1 18 0 0 0
[pid=8243/tid=8266] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8266/stat : 8266 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 54 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2828 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604574098120160 0 0 -1 15 0 0 0
[pid=8243/tid=8267] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8267/stat : 8267 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 84 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2834 268435456000 4194304 4580107 140735527702496 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8243/tid=8268] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8268/stat : 8268 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 55 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2837 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604501082136032 0 0 -1 22 0 0 0
[pid=8243/tid=8269] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8269/stat : 8269 (strangenight2-m) D 8241 8243 8217 0 -1 4202560 84 0 0 0 1 0 0 0 18 0 32 0 735560590 1153359872 2844 268435456000 4194304 4580107 140735527702496 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8243/tid=8270] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8270/stat : 8270 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 52 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2859 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604503864065504 0 0 -1 25 0 0 0
[pid=8243/tid=8271] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8271/stat : 8271 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 101 0 0 0 1 0 0 0 18 0 32 0 735560590 1153359872 2860 268435456000 4194304 4580107 140735527702496 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8243/tid=8272] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8272/stat : 8272 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 53 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2866 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604506017013216 0 0 -1 23 0 0 0
[pid=8243/tid=8273] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8273/stat : 8273 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 85 0 0 0 1 0 0 0 25 0 32 0 735560590 1153359872 2879 268435456000 4194304 4580107 140735527702496 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8243/tid=8274] ppid=8241 vsize=1126328 CPUtime=0.01 cores=0-31
/proc/8243/task/8274/stat : 8274 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 55 0 0 0 1 0 0 0 17 0 32 0 735560590 1153359872 2914 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604489968106976 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1060648

[startup+0.103347 s]
/proc/loadavg: 32.18 31.98 31.86 1/413 8243
/proc/meminfo: memFree=255171600/264257624 swapFree=67111528/67111528
[pid=8243] ppid=8241 vsize=1398852 CPUtime=1.47 cores=0-31
/proc/8243/stat : 8243 (strangenight2-m) R 8241 8243 8217 0 -1 4202496 11143 0 0 0 75 72 0 0 17 0 32 0 735560589 1432424448 10539 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/8243/statm: 349713 10540 335 95 0 344695 0
[pid=8243/tid=8244] ppid=8241 vsize=1398852 CPUtime=0.03 cores=0-31
/proc/8243/task/8244/stat : 8244 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 227 0 0 0 2 1 0 0 17 0 32 0 735560589 1432424448 10542 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8243/tid=8245] ppid=8241 vsize=1398852 CPUtime=0.04 cores=0-31
/proc/8243/task/8245/stat : 8245 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 290 0 0 0 2 2 0 0 17 0 32 0 735560589 1432424448 10543 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8243/tid=8246] ppid=8241 vsize=1398852 CPUtime=0.04 cores=0-31
/proc/8243/task/8246/stat : 8246 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 279 0 0 0 2 2 0 0 17 0 32 0 735560589 1432424448 10545 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604484541054432 0 0 -1 4 0 0 0
[pid=8243/tid=8247] ppid=8241 vsize=1398852 CPUtime=0.02 cores=0-31
/proc/8243/task/8247/stat : 8247 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 298 0 0 0 1 1 0 0 17 0 32 0 735560589 1432424448 10546 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8243/tid=8248] ppid=8241 vsize=1398852 CPUtime=0.04 cores=0-31
/proc/8243/task/8248/stat : 8248 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 363 0 0 0 2 2 0 0 17 0 32 0 735560589 1432424448 10547 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8243/tid=8249] ppid=8241 vsize=1398852 CPUtime=0.04 cores=0-31
/proc/8243/task/8249/stat : 8249 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 382 0 0 0 2 2 0 0 17 0 32 0 735560589 1432424448 10548 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8243/tid=8250] ppid=8241 vsize=1398852 CPUtime=0.03 cores=0-31
/proc/8243/task/8250/stat : 8250 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 239 0 0 0 2 1 0 0 17 0 32 0 735560590 1432424448 10548 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8243/tid=8251] ppid=8241 vsize=1398852 CPUtime=0.03 cores=0-31
/proc/8243/task/8251/stat : 8251 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 257 0 0 0 2 1 0 0 17 0 32 0 735560590 1432424448 10549 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8243/tid=8252] ppid=8241 vsize=1398852 CPUtime=0.04 cores=0-31
/proc/8243/task/8252/stat : 8252 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 330 0 0 0 2 2 0 0 17 0 32 0 735560590 1432424448 10550 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566932984 0 0 -1 6 0 0 0
[pid=8243/tid=8253] ppid=8241 vsize=1398848 CPUtime=0.04 cores=0-31
/proc/8243/task/8253/stat : 8253 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 260 0 0 0 2 2 0 0 17 0 32 0 735560590 1432420352 10552 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446604477175872992 0 0 -1 3 0 0 0
[pid=8243/tid=8254] ppid=8241 vsize=1398848 CPUtime=0.04 cores=0-31
/proc/8243/task/8254/stat : 8254 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 389 0 0 0 2 2 0 0 17 0 32 0 735560590 1432420352 10552 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8243/tid=8255] ppid=8241 vsize=1398848 CPUtime=0.03 cores=0-31
/proc/8243/task/8255/stat : 8255 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 357 0 0 0 1 2 0 0 17 0 32 0 735560590 1432420352 10554 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8243/tid=8256] ppid=8241 vsize=1398848 CPUtime=0.04 cores=0-31
/proc/8243/task/8256/stat : 8256 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 433 0 0 0 2 2 0 0 17 0 32 0 735560590 1432420352 10556 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 18446744071566923824 0 0 -1 8 0 0 0
[pid=8243/tid=8257] ppid=8241 vsize=1398848 CPUtime=0.04 cores=0-31
/proc/8243/task/8257/stat : 8257 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 322 0 0 0 2 2 0 0 17 0 32 0 735560590 1432420352 10560 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8243/tid=8258] ppid=8241 vsize=1398848 CPUtime=0.04 cores=0-31
/proc/8243/task/8258/stat : 8258 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 420 0 0 0 2 2 0 0 17 0 32 0 735560590 1432420352 10563 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8243/tid=8259] ppid=8241 vsize=1398848 CPUtime=0.04 cores=0-31
/proc/8243/task/8259/stat : 8259 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 279 0 0 0 2 2 0 0 17 0 32 0 735560590 1432420352 10565 268435456000 4194304 4580107 140735527702496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8243/tid=8260] ppid=8241 vsize=1398848 CPUtime=0.04 cores=0-31

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

/proc/8243/task/8267/stat : 8267 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9392 0 0 0 2982 11 0 0 25 0 32 0 735560590 1932394496 125571 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8243/tid=8268] ppid=8241 vsize=1887104 CPUtime=29.94 cores=0-31
/proc/8243/task/8268/stat : 8268 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10774 0 0 0 2983 11 0 0 25 0 32 0 735560590 1932394496 125571 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8243/tid=8269] ppid=8241 vsize=1887104 CPUtime=29.94 cores=0-31
/proc/8243/task/8269/stat : 8269 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10093 0 0 0 2982 12 0 0 25 0 32 0 735560590 1932394496 125572 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8243/tid=8270] ppid=8241 vsize=1887104 CPUtime=29.92 cores=0-31
/proc/8243/task/8270/stat : 8270 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10159 0 0 0 2982 10 0 0 25 0 32 0 735560590 1932394496 125572 268435456000 4194304 4580107 140735527702496 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8243/tid=8271] ppid=8241 vsize=1887104 CPUtime=29.97 cores=0-31
/proc/8243/task/8271/stat : 8271 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 8598 0 0 0 2987 10 0 0 25 0 32 0 735560590 1932394496 125572 268435456000 4194304 4580107 140735527702496 18446744073709551615 4321137 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8243/tid=8272] ppid=8241 vsize=1887104 CPUtime=29.92 cores=0-31
/proc/8243/task/8272/stat : 8272 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9602 0 0 0 2982 10 0 0 25 0 32 0 735560590 1932394496 125572 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8243/tid=8273] ppid=8241 vsize=1887104 CPUtime=29.95 cores=0-31
/proc/8243/task/8273/stat : 8273 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9749 0 0 0 2983 12 0 0 25 0 32 0 735560590 1932394496 125572 268435456000 4194304 4580107 140735527702496 18446744073709551615 4295096 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8243/tid=8274] ppid=8241 vsize=1887104 CPUtime=29.96 cores=0-31
/proc/8243/task/8274/stat : 8274 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 7039 0 0 0 2989 7 0 0 25 0 32 0 735560590 1932394496 125572 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 957.37
Current children cumulated vsize (KiB) 1887104

[startup+30.9014 s]
/proc/loadavg: 32.17 31.99 31.87 33/445 8277
/proc/meminfo: memFree=254654436/264257624 swapFree=67111528/67111528
[pid=8243] ppid=8241 vsize=1896824 CPUtime=982.92 cores=0-31
/proc/8243/stat : 8243 (strangenight2-m) R 8241 8243 8217 0 -1 4202496 334229 0 0 0 97938 354 0 0 25 0 32 0 735560589 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293918 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8243/statm: 474206 130239 379 95 0 469188 0
[pid=8243/tid=8244] ppid=8241 vsize=1896824 CPUtime=30.73 cores=0-31
/proc/8243/task/8244/stat : 8244 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10954 0 0 0 3062 11 0 0 25 0 32 0 735560589 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8243/tid=8245] ppid=8241 vsize=1896824 CPUtime=30.73 cores=0-31
/proc/8243/task/8245/stat : 8245 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 13628 0 0 0 3062 11 0 0 25 0 32 0 735560589 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8243/tid=8246] ppid=8241 vsize=1896824 CPUtime=30.7 cores=0-31
/proc/8243/task/8246/stat : 8246 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 12332 0 0 0 3059 11 0 0 25 0 32 0 735560589 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8243/tid=8247] ppid=8241 vsize=1896824 CPUtime=30.72 cores=0-31
/proc/8243/task/8247/stat : 8247 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 12513 0 0 0 3063 9 0 0 25 0 32 0 735560589 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8243/tid=8248] ppid=8241 vsize=1896824 CPUtime=30.7 cores=0-31
/proc/8243/task/8248/stat : 8248 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11083 0 0 0 3059 11 0 0 25 0 32 0 735560589 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8243/tid=8249] ppid=8241 vsize=1896824 CPUtime=30.72 cores=0-31
/proc/8243/task/8249/stat : 8249 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11080 0 0 0 3060 12 0 0 25 0 32 0 735560589 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8243/tid=8250] ppid=8241 vsize=1896824 CPUtime=30.71 cores=0-31
/proc/8243/task/8250/stat : 8250 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10275 0 0 0 3061 10 0 0 25 0 32 0 735560590 1942347776 130239 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8243/tid=8251] ppid=8241 vsize=1896824 CPUtime=30.74 cores=0-31
/proc/8243/task/8251/stat : 8251 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9821 0 0 0 3064 10 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8243/tid=8252] ppid=8241 vsize=1896824 CPUtime=30.73 cores=0-31
/proc/8243/task/8252/stat : 8252 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10364 0 0 0 3062 11 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4295644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8243/tid=8253] ppid=8241 vsize=1896824 CPUtime=29.93 cores=0-31
/proc/8243/task/8253/stat : 8253 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9819 0 0 0 2980 13 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8243/tid=8254] ppid=8241 vsize=1896824 CPUtime=30.72 cores=0-31
/proc/8243/task/8254/stat : 8254 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9246 0 0 0 3064 8 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8243/tid=8255] ppid=8241 vsize=1896824 CPUtime=30.73 cores=0-31
/proc/8243/task/8255/stat : 8255 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9978 0 0 0 3063 10 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8243/tid=8256] ppid=8241 vsize=1896824 CPUtime=30.78 cores=0-31
/proc/8243/task/8256/stat : 8256 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11587 0 0 0 3069 9 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8243/tid=8257] ppid=8241 vsize=1896824 CPUtime=30.7 cores=0-31
/proc/8243/task/8257/stat : 8257 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9716 0 0 0 3060 10 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4321089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8243/tid=8258] ppid=8241 vsize=1896824 CPUtime=30.73 cores=0-31
/proc/8243/task/8258/stat : 8258 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11578 0 0 0 3061 12 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8243/tid=8259] ppid=8241 vsize=1896824 CPUtime=30.71 cores=0-31
/proc/8243/task/8259/stat : 8259 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10768 0 0 0 3059 12 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8243/tid=8260] ppid=8241 vsize=1896824 CPUtime=30.73 cores=0-31
/proc/8243/task/8260/stat : 8260 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11611 0 0 0 3061 12 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8243/tid=8261] ppid=8241 vsize=1896824 CPUtime=30.75 cores=0-31
/proc/8243/task/8261/stat : 8261 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 7859 0 0 0 3069 6 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8243/tid=8262] ppid=8241 vsize=1896824 CPUtime=30.74 cores=0-31
/proc/8243/task/8262/stat : 8262 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 8987 0 0 0 3062 12 0 0 25 0 32 0 735560590 1942347776 130240 268435456000 4194304 4580107 140735527702496 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8243/tid=8263] ppid=8241 vsize=1896824 CPUtime=30.79 cores=0-31
/proc/8243/task/8263/stat : 8263 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11194 0 0 0 3070 9 0 0 25 0 32 0 735560590 1942347776 130242 268435456000 4194304 4580107 140735527702496 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8243/tid=8264] ppid=8241 vsize=1896824 CPUtime=30.72 cores=0-31
/proc/8243/task/8264/stat : 8264 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10199 0 0 0 3061 11 0 0 25 0 32 0 735560590 1942347776 130242 268435456000 4194304 4580107 140735527702496 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8243/tid=8265] ppid=8241 vsize=1896824 CPUtime=30.71 cores=0-31
/proc/8243/task/8265/stat : 8265 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11102 0 0 0 3061 10 0 0 25 0 32 0 735560590 1942347776 130242 268435456000 4194304 4580107 140735527702496 18446744073709551615 4298968 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8243/tid=8266] ppid=8241 vsize=1896824 CPUtime=30.72 cores=0-31
/proc/8243/task/8266/stat : 8266 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10464 0 0 0 3061 11 0 0 25 0 32 0 735560590 1942347776 130242 268435456000 4194304 4580107 140735527702496 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8243/tid=8267] ppid=8241 vsize=1896824 CPUtime=30.72 cores=0-31
/proc/8243/task/8267/stat : 8267 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9489 0 0 0 3061 11 0 0 25 0 32 0 735560590 1942347776 130242 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8243/tid=8268] ppid=8241 vsize=1896824 CPUtime=30.74 cores=0-31
/proc/8243/task/8268/stat : 8268 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10873 0 0 0 3063 11 0 0 25 0 32 0 735560590 1942347776 130242 268435456000 4194304 4580107 140735527702496 18446744073709551615 4296153 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8243/tid=8269] ppid=8241 vsize=1896824 CPUtime=30.73 cores=0-31
/proc/8243/task/8269/stat : 8269 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10128 0 0 0 3061 12 0 0 25 0 32 0 735560590 1942347776 130242 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8243/tid=8270] ppid=8241 vsize=1896824 CPUtime=30.71 cores=0-31
/proc/8243/task/8270/stat : 8270 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 10534 0 0 0 3061 10 0 0 25 0 32 0 735560590 1942347776 130243 268435456000 4194304 4580107 140735527702496 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8243/tid=8271] ppid=8241 vsize=1896824 CPUtime=30.76 cores=0-31
/proc/8243/task/8271/stat : 8271 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 8705 0 0 0 3066 10 0 0 25 0 32 0 735560590 1942347776 130243 268435456000 4194304 4580107 140735527702496 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8243/tid=8272] ppid=8241 vsize=1896824 CPUtime=30.72 cores=0-31
/proc/8243/task/8272/stat : 8272 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9644 0 0 0 3062 10 0 0 25 0 32 0 735560590 1942347776 130243 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8243/tid=8273] ppid=8241 vsize=1896824 CPUtime=30.75 cores=0-31
/proc/8243/task/8273/stat : 8273 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9847 0 0 0 3063 12 0 0 25 0 32 0 735560590 1942347776 130243 268435456000 4194304 4580107 140735527702496 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8243/tid=8274] ppid=8241 vsize=1896824 CPUtime=30.76 cores=0-31
/proc/8243/task/8274/stat : 8274 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 7042 0 0 0 3069 7 0 0 25 0 32 0 735560590 1942347776 130243 268435456000 4194304 4580107 140735527702496 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 982.92
Current children cumulated vsize (KiB) 1896824

[startup+31.7015 s]
/proc/loadavg: 32.15 31.99 31.87 33/445 8277
/proc/meminfo: memFree=254637204/264257624 swapFree=67111528/67111528
[pid=8243] ppid=8241 vsize=1943500 CPUtime=1002.78 cores=0-31
/proc/8243/stat : 8243 (strangenight2-m) S 8241 8243 8217 0 -1 4202496 339540 0 0 0 99922 356 0 0 18 0 32 0 735560589 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8243/statm: 485875 133530 379 95 0 480857 0
[pid=8243/tid=8244] ppid=8241 vsize=1943500 CPUtime=31.33 cores=0-31
/proc/8243/task/8244/stat : 8244 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 11012 0 0 0 3122 11 0 0 25 0 32 0 735560589 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604504737603040 0 0 -1 1 0 0 0
[pid=8243/tid=8245] ppid=8241 vsize=1943500 CPUtime=31.33 cores=0-31
/proc/8243/task/8245/stat : 8245 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 13706 0 0 0 3122 11 0 0 25 0 32 0 735560589 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604482465930720 0 0 -1 2 0 0 0
[pid=8243/tid=8246] ppid=8241 vsize=1943500 CPUtime=31.31 cores=0-31
/proc/8243/task/8246/stat : 8246 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 12397 0 0 0 3120 11 0 0 25 0 32 0 735560589 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604495753362912 0 0 -1 23 0 0 0
[pid=8243/tid=8247] ppid=8241 vsize=1943500 CPUtime=31.32 cores=0-31
/proc/8243/task/8247/stat : 8247 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 12578 0 0 0 3123 9 0 0 25 0 32 0 735560589 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604504051580384 0 0 -1 12 0 0 0
[pid=8243/tid=8248] ppid=8241 vsize=1943500 CPUtime=31.31 cores=0-31
/proc/8243/task/8248/stat : 8248 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 11150 0 0 0 3120 11 0 0 25 0 32 0 735560589 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604574098120160 0 0 -1 20 0 0 0
[pid=8243/tid=8249] ppid=8241 vsize=1943500 CPUtime=31.52 cores=0-31
/proc/8243/task/8249/stat : 8249 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 12800 0 0 0 3140 12 0 0 25 0 32 0 735560589 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 4451668 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8243/tid=8250] ppid=8241 vsize=1943500 CPUtime=31.31 cores=0-31
/proc/8243/task/8250/stat : 8250 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10340 0 0 0 3121 10 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604505247366624 0 0 -1 16 0 0 0
[pid=8243/tid=8251] ppid=8241 vsize=1943500 CPUtime=31.35 cores=0-31
/proc/8243/task/8251/stat : 8251 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 9877 0 0 0 3125 10 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604477175872992 0 0 -1 5 0 0 0
[pid=8243/tid=8252] ppid=8241 vsize=1943500 CPUtime=31.33 cores=0-31
/proc/8243/task/8252/stat : 8252 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10407 0 0 0 3122 11 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604506017013216 0 0 -1 6 0 0 0
[pid=8243/tid=8253] ppid=8241 vsize=1943500 CPUtime=30.51 cores=0-31
/proc/8243/task/8253/stat : 8253 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 9932 0 0 0 3038 13 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604478874156512 0 0 -1 31 0 0 0
[pid=8243/tid=8254] ppid=8241 vsize=1943500 CPUtime=31.32 cores=0-31
/proc/8243/task/8254/stat : 8254 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 9249 0 0 0 3124 8 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604503864065504 0 0 -1 0 0 0 0
[pid=8243/tid=8255] ppid=8241 vsize=1943500 CPUtime=31.34 cores=0-31
/proc/8243/task/8255/stat : 8255 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10036 0 0 0 3124 10 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604491175591392 0 0 -1 27 0 0 0
[pid=8243/tid=8256] ppid=8241 vsize=1943500 CPUtime=31.38 cores=0-31
/proc/8243/task/8256/stat : 8256 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 11660 0 0 0 3129 9 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604500039933408 0 0 -1 8 0 0 0
[pid=8243/tid=8257] ppid=8241 vsize=1943500 CPUtime=31.31 cores=0-31
/proc/8243/task/8257/stat : 8257 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 9838 0 0 0 3121 10 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604501082136032 0 0 -1 4 0 0 0
[pid=8243/tid=8258] ppid=8241 vsize=1943500 CPUtime=31.33 cores=0-31
/proc/8243/task/8258/stat : 8258 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 11640 0 0 0 3121 12 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604499660864992 0 0 -1 9 0 0 0
[pid=8243/tid=8259] ppid=8241 vsize=1943500 CPUtime=31.32 cores=0-31
/proc/8243/task/8259/stat : 8259 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10799 0 0 0 3120 12 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604505493650912 0 0 -1 10 0 0 0
[pid=8243/tid=8260] ppid=8241 vsize=1943500 CPUtime=31.34 cores=0-31
/proc/8243/task/8260/stat : 8260 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 11705 0 0 0 3122 12 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604505364168160 0 0 -1 7 0 0 0
[pid=8243/tid=8261] ppid=8241 vsize=1943500 CPUtime=31.36 cores=0-31
/proc/8243/task/8261/stat : 8261 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 7864 0 0 0 3130 6 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604484541054432 0 0 -1 13 0 0 0
[pid=8243/tid=8262] ppid=8241 vsize=1943500 CPUtime=31.34 cores=0-31
/proc/8243/task/8262/stat : 8262 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 9060 0 0 0 3122 12 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604504115764704 0 0 -1 14 0 0 0
[pid=8243/tid=8263] ppid=8241 vsize=1943500 CPUtime=31.39 cores=0-31
/proc/8243/task/8263/stat : 8263 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 11552 0 0 0 3130 9 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604477441506784 0 0 -1 11 0 0 0
[pid=8243/tid=8264] ppid=8241 vsize=1943500 CPUtime=31.32 cores=0-31
/proc/8243/task/8264/stat : 8264 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10257 0 0 0 3121 11 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604505153175008 0 0 -1 17 0 0 0
[pid=8243/tid=8265] ppid=8241 vsize=1943500 CPUtime=31.31 cores=0-31
/proc/8243/task/8265/stat : 8265 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 11130 0 0 0 3121 10 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604487833738720 0 0 -1 18 0 0 0
[pid=8243/tid=8266] ppid=8241 vsize=1943500 CPUtime=31.33 cores=0-31
/proc/8243/task/8266/stat : 8266 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10725 0 0 0 3121 12 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446744071566929224 0 0 -1 15 0 0 0
[pid=8243/tid=8267] ppid=8241 vsize=1943500 CPUtime=31.52 cores=0-31
/proc/8243/task/8267/stat : 8267 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 9535 0 0 0 3141 11 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8243/tid=8268] ppid=8241 vsize=1943500 CPUtime=31.34 cores=0-31
/proc/8243/task/8268/stat : 8268 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10936 0 0 0 3123 11 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604480533315040 0 0 -1 22 0 0 0
[pid=8243/tid=8269] ppid=8241 vsize=1943500 CPUtime=31.34 cores=0-31
/proc/8243/task/8269/stat : 8269 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10135 0 0 0 3122 12 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604505134702048 0 0 -1 19 0 0 0
[pid=8243/tid=8270] ppid=8241 vsize=1943500 CPUtime=31.32 cores=0-31
/proc/8243/task/8270/stat : 8270 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 10591 0 0 0 3121 11 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604476069846496 0 0 -1 25 0 0 0
[pid=8243/tid=8271] ppid=8241 vsize=1943500 CPUtime=31.37 cores=0-31
/proc/8243/task/8271/stat : 8271 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 8749 0 0 0 3127 10 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604481217707488 0 0 -1 26 0 0 0
[pid=8243/tid=8272] ppid=8241 vsize=1943500 CPUtime=31.52 cores=0-31
/proc/8243/task/8272/stat : 8272 (strangenight2-m) R 8241 8243 8217 0 -1 4202560 11061 0 0 0 3141 11 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033433 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8243/tid=8273] ppid=8241 vsize=1943500 CPUtime=31.35 cores=0-31
/proc/8243/task/8273/stat : 8273 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 9896 0 0 0 3123 12 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604480755236320 0 0 -1 29 0 0 0
[pid=8243/tid=8274] ppid=8241 vsize=1943500 CPUtime=31.36 cores=0-31
/proc/8243/task/8274/stat : 8274 (strangenight2-m) S 8241 8243 8217 0 -1 4202560 7048 0 0 0 3129 7 0 0 25 0 32 0 735560590 1990144000 133530 268435456000 4194304 4580107 140735527702496 18446744073709551615 47915934033460 0 0 4096 2 18446604504585608672 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1002.78
Current children cumulated vsize (KiB) 1943500

[startup+31.9015 s]
/proc/loadavg: 32.15 31.99 31.87 33/445 8277
/proc/meminfo: memFree=254637204/264257624 swapFree=67111528/67111528
[pid=8243] ppid=8241 vsize=0 CPUtime=1003.21 cores=0-31
/proc/8243/stat : 8243 (strangenight2-m) Z 8241 8243 8217 0 -1 4203548 339632 0 0 0 99958 363 0 0 15 0 2 0 735560589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8243/statm: 0 0 0 0 0 0 0
[pid=8243/tid=8254] ppid=8241 vsize=0 CPUtime=31.38 cores=0-31
/proc/8243/task/8254/stat : 8254 (strangenight2-m) R 8241 8243 8217 0 -1 4203588 9249 0 0 0 3124 14 0 0 22 0 2 0 735560590 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1003.21
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 31.9054
CPU time (s): 1003.22
CPU user time (s): 999.588
CPU system time (s): 3.63345
CPU usage (%): 3144.36
Max. virtual memory (cumulated for all children) (KiB): 2014912

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

runsolver used 0.179972 second user time and 0.730888 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 14:39:02
IDJOB=3400619
IDBENCH=20393
IDSOLVER=1886
FILE ID=node200/3400619-1306240742
RUNJOBID= node200-1306240742-8231
PBS_JOBID= 13411754
Free space on /tmp= 62048 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-21.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400619-1306240742/watcher-3400619-1306240742 -o /tmp/evaluation-result-3400619-1306240742/solver-3400619-1306240742 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400619-1306240742.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 627e3d704e5200c3037f9c9d83c939c1
RANDOM SEED=707972859

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255172136 kB
Buffers:        463080 kB
Cached:        8213908 kB
SwapCached:          0 kB
Active:        7765420 kB
Inactive:       980376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255172136 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5804 kB
Writeback:           0 kB
AnonPages:       70964 kB
Mapped:          13484 kB
Slab:           254976 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-24 14:39:34