Trace number 3400769

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 1514.43 52.0761

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
MD5SUM7599aafec7bebba20ceab50260cd7197
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark235.625
Satisfiable
(Un)Satisfiability was proved
Number of variables70167
Number of clauses209513
Sum of the clauses size488861
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2139674
Number of clauses of size 369837
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.08	c This is CryptoMiniSat 3.0.0
0.00/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08	c Reading file 'HOME/instance-3400769-1306770456.cnf'
0.00/0.12	c -- header says num vars:          70167
0.00/0.12	c -- header says num clauses:      209513
28.32/2.03	c -- clauses added:            0 learnts,       209513 normals,            0 xors
28.32/2.03	c -- vars added      70167
28.32/2.04	c Parsing time:  0.31 s
28.32/2.04	c  N st     0         0     70167     69837    139674         0    488859         0   no data   no data
57.57/3.08	c asymm  cl-useful: 0/69836/69836 lits-rem:0 time: 1.04
102.76/4.44	c Flit:     6 Blit:      6 bXBeca:    0 bXProp:  242 Bins:      0 BRemL:      0 BRemN:      0 P: 19.6M T:  1.36
102.76/4.50	c Replacing      242 vars Replaced     2951 lits Time:     0.05 s 
110.36/4.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
110.36/4.86	c bin-w-bin subsume rem            7 bins  time:  0.03 s
112.64/4.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
118.29/5.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  69911 time:  0.24 s
123.83/5.37	c Removed useless bin:     224  fixed:     0  props:  16.81M  time:  0.18 s
162.91/7.14	c lits-rem:      1786  cl-subs:     1963  v-elim:  23303  v-fix:    0  time:  0.76 s
162.91/7.17	c Finding binary XORs  T:     0.03 s  found:       4
165.13/7.21	c Replacing        4 vars Replaced       86 lits Time:     0.03 s 
165.13/7.30	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
165.13/7.30	c calculated reachability. Time: 0.00
167.60/7.32	c Calc default polars -  time:   0.02 s pos:     828 undec:   23733 neg:   45606
167.60/7.32	c =========================================================================================
167.60/7.32	c types(t): F = full restart, N = normal restart
167.60/7.32	c types(t): S = simplification begin/end, E = solution found
167.60/7.32	c restart types(rt): st = static, dy = dynamic
167.60/7.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
167.60/7.32	c  B st     0         0     46604     66655     95195         0    432943         0   no data   no data
220.53/9.01	c  N dy    18      4280     46601     66655     95401      4001    432930     29800      4.43      4.77
271.66/10.67	c  N dy    42      8288     46598     66655     97887      7824    432920     64731      4.59      4.85
326.01/12.32	c  N dy    68     12353     46586     66655    101369     11753    432915    106514      4.75      5.02
351.56/13.15	c Finding binary XORs  T:     0.03 s  found:      42
383.52/14.13	c  N dy    98     16430     46567     66436    101378     15735    431808    142349      4.85      5.13
447.43/16.18	c  N dy   124     20468     46561     66436    104209     10071    431802     68179      4.92      5.27
508.15/18.03	c  N dy   151     24519     46561     66436    106192     14019    431799    109496      4.97      5.74
514.53/18.29	c  F st   154     25001     46561     66436    106195     14489    431799    113567      4.97      4.26
517.72/18.34	c Replacing       42 vars Replaced     2026 lits Time:     0.04 s 
604.55/21.03	c  N dy   160     30001     46515     66350    106145     19389    431263    176403      4.97   no data
604.55/21.03	c  S st   160     30001     46515     66350    106145     19389    431263    176403      4.97   no data
616.73/21.47	c  S st   160     30503     46514     66350    107857     19841    431263    183156      4.97   no data
616.73/21.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
770.11/26.25	c Flit:    11 Blit:     15 bXBeca:    0 bXProp:  310 Bins: 231559 BRemL:  71451 BRemN:     16 P: 30.1M T:  4.69
773.30/26.34	c Replacing      310 vars Replaced    26240 lits Time:     0.08 s 
773.30/26.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
777.09/26.43	c bin-w-bin subsume rem         4102 bins  time:  0.04 s
777.09/26.50	c subs with bin:     1385  lits-rem:      3966  v-fix:    0  time:  0.07 s
782.88/26.68	c Subs w/ non-existent bins:    244 l-rem:    901 v-fix:     0 done:  46172 time:  0.17 s
786.07/26.78	c Removed useless bin:      91  fixed:     0  props:   4.06M  time:  0.10 s
812.23/27.54	c lits-rem:      3848  cl-subs:     4595  v-elim:  30031  v-fix:    0  time:  0.66 s
812.23/27.57	c subs with bin:      221  lits-rem:       554  v-fix:    0  time:  0.02 s
815.43/27.65	c lits-rem:       282  cl-subs:      540  v-elim:      0  v-fix:    0  time:  0.04 s
818.02/27.71	c asymm  cl-useful: 0/3592/73428 lits-rem:0 time: 0.06
818.02/27.73	c calculated reachability. Time: 0.02
818.02/27.74	c  N dy   160     30503     16141     73428     54089      4522    374937     85249      4.97   no data
818.02/27.78	c Finding binary XORs  T:     0.04 s  found:       7
850.62/28.78	c  N dy   167     34934     16141     73428     54163      8802    374897    118479      4.87      5.18
878.35/29.71	c  N dy   177     39099     16141     73428     54844     12855    374881    153110      4.82      5.13
906.12/30.82	c  N dy   188     43255     16138     73428     69554      9238    374860    139413      4.78      5.04
911.65/30.99	c Finding binary XORs  T:     0.03 s  found:       4
921.02/31.32	c  S st   198     45756     16138     73414     69578     11683    374797    161064      4.77   no data
925.92/31.52	c  S st   198     46261     16138     73414     69609     12148    374794    164278      4.77   no data
925.92/31.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
950.84/32.62	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   23 Bins:  20334 BRemL:  34234 BRemN:    125 P: 13.6M T:  1.06
950.84/32.66	c Replacing       34 vars Replaced     1955 lits Time:     0.04 s 
953.31/32.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
953.31/32.73	c bin-w-bin subsume rem         1814 bins  time:  0.01 s
953.31/32.77	c subs with bin:     2248  lits-rem:      7011  v-fix:    0  time:  0.05 s
955.90/32.84	c Subs w/ non-existent bins:    209 l-rem:   1485 v-fix:     0 done:  16102 time:  0.06 s
955.90/32.87	c Removed useless bin:      23  fixed:     0  props:   0.63M  time:  0.02 s
961.84/33.04	c lits-rem:       509  cl-subs:     1545  v-elim:    757  v-fix:    0  time:  0.16 s
961.84/33.08	c subs with bin:       72  lits-rem:       242  v-fix:    0  time:  0.02 s
964.53/33.18	c lits-rem:       287  cl-subs:      632  v-elim:      0  v-fix:    0  time:  0.06 s
966.71/33.24	c vivif2 --  cl tried    70413 cl shrink     1468 lits rem       1696 time: 0.06
966.71/33.26	c vivif2 --  cl tried    10627 cl shrink      951 lits rem       1174 time: 0.01
1008.67/34.66	c asymm  cl-useful: 1976/13014/70378 lits-rem:2402 time: 1.40
1008.67/34.68	c calculated reachability. Time: 0.01
1008.67/34.68	c  N dy   198     46261     15345     70378     48018     10609    350513    111301      4.77   no data
1011.87/34.71	c Finding binary XORs  T:     0.03 s  found:       1
1043.79/35.71	c  N dy   214     50374     15345     70378     54825     14644    350500    159396      4.76      5.16
1075.63/36.75	c  N dy   235     54406     15343     70378     54839     18603    350478    195502      4.76      5.03
1082.02/36.92	c Finding binary XORs  T:     0.03 s  found:       5
1110.74/37.88	c  N dy   258     58602     15343     70370     63410     22701    350435    250983      4.76      5.05
1145.87/38.97	c  N dy   287     62645     15343     70370     63687     26683    350427    293026      4.78      5.11
1181.01/40.02	c  N dy   313     66683     15343     70370     63718     16490    350421    174770      4.79      5.17
1200.11/40.70	c  S st   328     69392     15343     70370     68206     19143    350418    209462      4.80   no data
1209.67/40.96	c  S st   328     69894     15343     70370     68226     19622    350417    213040      4.80   no data
1209.67/40.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1244.82/42.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   24 Bins:   4928 BRemL:  20236 BRemN:     99 P: 13.5M T:  1.04
1244.82/42.06	c Replacing       31 vars Replaced     2522 lits Time:     0.03 s 
1248.01/42.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1248.01/42.12	c bin-w-bin subsume rem         1039 bins  time:  0.01 s
1248.01/42.16	c subs with bin:      696  lits-rem:       306  v-fix:    0  time:  0.04 s
1251.21/42.22	c Subs w/ non-existent bins:    135 l-rem:     29 v-fix:     0 done:  15312 time:  0.06 s
1251.21/42.24	c Removed useless bin:      28  fixed:     0  props:   0.57M  time:  0.03 s
1254.41/42.38	c lits-rem:       173  cl-subs:      636  v-elim:    273  v-fix:    0  time:  0.13 s
1257.60/42.43	c subs with bin:      128  lits-rem:       257  v-fix:    0  time:  0.03 s
1260.79/42.54	c lits-rem:       506  cl-subs:      755  v-elim:      0  v-fix:    0  time:  0.07 s
1264.00/42.60	c vivif2 --  cl tried    69262 cl shrink      431 lits rem        523 time: 0.06
1264.00/42.63	c vivif2 --  cl tried    17979 cl shrink     1112 lits rem       1531 time: 0.02
1286.35/43.31	c asymm  cl-useful: 1997/6682/69245 lits-rem:2157 time: 0.68
1286.35/43.33	c calculated reachability. Time: 0.01
1286.35/43.33	c  N dy   328     69894     15039     69211     49612     17975    342714    163450      4.80   no data
1286.35/43.36	c Finding binary XORs  T:     0.03 s  found:       0
1318.31/44.35	c Finding binary XORs  T:     0.03 s  found:      12
1321.50/44.47	c  N dy   356     74363     15034     69171     57017     22264    342555    221933      4.81      5.20
1359.84/45.63	c  N dy   390     79197     15034     69171     57036     27031    342548    272907      4.83      7.08
1404.58/47.01	c  N dy   433     84328     15031     69171     59055     32092    342545    333986      4.87      5.33
1430.10/47.85	c  F st   460     87502     15027     69171     59143     35234    342544    371043      4.89   no data
1430.10/47.90	c Replacing       12 vars Replaced     1720 lits Time:     0.03 s 
1455.66/48.63	c  N st   465     90800     15015     69119     58985     22695    342324    214452      4.89   no data
1494.02/49.86	c Finding binary XORs  T:     0.03 s  found:       8
1500.41/50.06	c  N dy   490     96791     15011     69103     59043     27883    342213    271515      4.90      5.17
1506.81/50.20	c  E dy   492     97411     15005     69103     59073     28446    342212    276967      4.90      3.14
1514.01/51.75	c Following stats are for *FIRST FINISHED THREAD ONLY*
1514.01/51.75	c num threads              : 32         
1514.01/51.75	c restarts                 : 492        
1514.01/51.75	c dynamic restarts         : 474        
1514.01/51.75	c static restarts          : 18         
1514.01/51.75	c full restarts            : 2          
1514.01/51.75	c total simplify time      : 0.37       
1514.01/51.75	c learnts DL2              : 0          
1514.01/51.75	c learnts size 2           : 475744     
1514.01/51.75	c learnts size 1           : 258         (0.37      % of vars)
1514.01/51.75	c filedLit time            : 8.16        (16.90     % time)
1514.01/51.75	c v-elim SatELite          : 54364       (77.48     % vars)
1514.01/51.75	c SatELite time            : 2.05        (4.24      % time)
1514.01/51.75	c v-elim xor               : 0           (0.00      % vars)
1514.01/51.75	c xor elim time            : 0.07        (0.15      % time)
1514.01/51.75	c num binary xor trees     : 531        
1514.01/51.75	c binxor trees' crown      : 683         (1.29      leafs/tree)
1514.01/51.75	c bin xor find time        : 0.30       
1514.01/51.75	c OTF clause improved      : 1225        (0.01      clauses/conflict)
1514.01/51.75	c OTF impr. size diff      : 1354        (1.11       lits/clause)
1514.01/51.75	c OTF cl watch-shrink      : 37889       (0.39      clauses/conflict)
1514.01/51.75	c OTF cl watch-sh-lit      : 62469       (1.65       lits/clause)
1514.01/51.75	c tried to recurMin cls    : 15669       (16.09      % of conflicts)
1514.01/51.75	c updated cache            : 0           (0.00       lits/tried recurMin)
1514.01/51.75	c unit cls recevied        : 32          (12.40     % of units)
1514.01/51.75	c unit cls sent            : 26          (10.08     % of units)
1514.01/51.75	c bin cls recevied         : 58137      
1514.01/51.75	c bin cls sent             : 258339     
1514.01/51.75	c clauses over max glue    : 0           (0.00      % of all clauses)
1514.01/51.75	c conflicts                : 97411       (2017.31   / sec)
1514.01/51.75	c decisions                : 403752      (4.57      % random)
1514.01/51.75	c bogo-props               : 781555860   (16185416.24 / sec)
1514.01/51.75	c conflict literals        : 931055      (28.10     % deleted)
1514.01/51.75	c Memory used              : 3995.63     MB
1514.01/51.75	c single-thread CPU time   : 48.29       s
1514.01/51.75	c all-threads sum CPU time : 1475.87     s
1514.01/51.75	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-3400769-1306770456/watcher-3400769-1306770456 -o /tmp/evaluation-result-3400769-1306770456/solver-3400769-1306770456 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400769-1306770456.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: 29.03 31.21 31.77 2/413 17735
/proc/meminfo: memFree=263761800/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=338000 CPUtime=0.8 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) R 17733 17735 17649 0 -1 4202496 436 0 0 0 80 0 0 0 25 0 32 0 3011586 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/17735/statm: 84500 377 297 95 0 79482 0
[pid=17735/tid=17736] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949424 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=338000 CPUtime=0 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=338000 CPUtime=0 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949430 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949424 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.127207 s]
/proc/loadavg: 29.03 31.21 31.77 2/413 17735
/proc/meminfo: memFree=263761800/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=1323112 CPUtime=2.8 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) S 17733 17735 17649 0 -1 4202496 10048 0 0 0 205 75 0 0 17 0 32 0 3011586 1354866688 9916 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/17735/statm: 330778 9945 334 95 0 325760 0
[pid=17735/tid=17736] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 299 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9948 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=1323112 CPUtime=0.07 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 300 0 0 0 6 1 0 0 17 0 32 0 3011587 1354866688 9960 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453129223648 0 0 -1 2 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 301 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9967 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 274 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9967 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506186849760 0 0 -1 8 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 326 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9986 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453706194400 0 0 -1 4 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=1331316 CPUtime=0.07 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 302 0 0 0 5 2 0 0 17 0 32 0 3011587 1363267584 9987 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604470525017568 0 0 -1 31 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=1331316 CPUtime=0.03 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 311 0 0 0 1 2 0 0 17 0 32 0 3011587 1363267584 9998 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604454598090208 0 0 -1 28 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=1339520 CPUtime=0.05 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 267 0 0 0 3 2 0 0 24 0 32 0 3011587 1371668480 10000 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604479192686048 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=1339520 CPUtime=0.08 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 296 0 0 0 6 2 0 0 17 0 32 0 3011587 1371668480 10009 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604456969543136 0 0 -1 24 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=1339520 CPUtime=0.08 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 308 0 0 0 6 2 0 0 17 0 32 0 3011587 1371668480 10014 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 16 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=1339520 CPUtime=0.09 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 290 0 0 0 6 3 0 0 17 0 32 0 3011587 1371668480 10019 268435456000 4194304 4580107 140734493303856 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=1339520 CPUtime=0.08 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 309 0 0 0 6 2 0 0 17 0 32 0 3011587 1371668480 10030 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 17 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=1339684 CPUtime=0.07 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 334 0 0 0 6 1 0 0 17 0 32 0 3011587 1371836416 10033 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604575252422112 0 0 -1 6 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 286 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10034 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453706194400 0 0 -1 3 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 289 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10043 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=1339684 CPUtime=0.07 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 335 0 0 0 6 1 0 0 17 0 32 0 3011587 1371836416 10047 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650614596 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 306 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10062 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604499424337376 0 0 -1 7 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 308 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10064 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 9 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 342 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10067 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604456547933664 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 307 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10102 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 271 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10102 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 13 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=1339684 CPUtime=0.07 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 333 0 0 0 6 1 0 0 17 0 32 0 3011587 1371836416 10110 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 272 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10127 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 315 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10128 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931224 0 0 -1 21 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 377 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10132 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 300 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10136 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506186849760 0 0 -1 19 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=1347888 CPUtime=0.08 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 265 0 0 0 6 2 0 0 17 0 32 0 3011587 1380237312 10144 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506293640672 0 0 -1 25 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=1347888 CPUtime=0.07 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 327 0 0 0 6 1 0 0 17 0 32 0 3011587 1380237312 10145 268435456000 4194304 4580107 140734493303856 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=1347888 CPUtime=0.08 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 310 0 0 0 6 2 0 0 17 0 32 0 3011587 1380237312 10159 268435456000 4194304 4580107 140734493303856 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=1347888 CPUtime=0.08 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 268 0 0 0 6 2 0 0 17 0 32 0 3011587 1380237312 10171 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604504091991520 0 0 -1 29 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=1347888 CPUtime=0.07 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 324 0 0 0 6 1 0 0 17 0 32 0 3011587 1380237312 10185 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604500691189216 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 1323112

[startup+0.204098 s]
/proc/loadavg: 29.03 31.21 31.77 2/413 17735
/proc/meminfo: memFree=263761800/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=1402564 CPUtime=3.91 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) S 17733 17735 17649 0 -1 4202496 21745 0 0 0 243 148 0 0 17 0 32 0 3011586 1436225536 20478 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/17735/statm: 350641 20491 334 95 0 345623 0
[pid=17735/tid=17736] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 698 0 0 0 7 5 0 0 17 0 32 0 3011587 1436225536 20498 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506195254752 0 0 -1 1 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 709 0 0 0 8 4 0 0 17 0 32 0 3011587 1436225536 20515 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604471664401888 0 0 -1 2 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 683 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20526 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 701 0 0 0 7 5 0 0 17 0 32 0 3011587 1436225536 20536 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 662 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20556 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=1402564 CPUtime=0.1 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 608 0 0 0 6 4 0 0 17 0 32 0 3011587 1436225536 20572 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604486696246752 0 0 -1 31 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=1402564 CPUtime=0.07 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 747 0 0 0 2 5 0 0 17 0 32 0 3011587 1436225536 20574 268435456000 4194304 4580107 140734493303856 18446744073709551615 4206232 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=1402564 CPUtime=0.08 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 537 0 0 0 4 4 0 0 17 0 32 0 3011587 1436225536 20586 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604451826032096 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 659 0 0 0 6 5 0 0 17 0 32 0 3011587 1436225536 20604 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604450048646624 0 0 -1 24 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 587 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20607 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506186849760 0 0 -1 16 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 661 0 0 0 8 4 0 0 17 0 32 0 3011587 1436225536 20629 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453129223648 0 0 -1 0 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 605 0 0 0 7 5 0 0 17 0 32 0 3011587 1436225536 20641 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604496341540320 0 0 -1 17 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 786 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20662 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 606 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20667 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 634 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20679 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 895 0 0 0 8 3 0 0 17 0 32 0 3011587 1436225536 20704 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604449721982432 0 0 -1 10 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31

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

/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 68652 0 0 0 4664 95 0 0 25 0 32 0 3011587 4189720576 640580 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604496341540320 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=4091524 CPUtime=46.17 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 59468 0 0 0 4505 112 0 0 20 0 32 0 3011587 4189720576 640580 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449721982432 0 0 -1 5 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=4091524 CPUtime=47.17 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62981 0 0 0 4591 126 0 0 25 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506293640672 0 0 -1 11 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=4091524 CPUtime=44.83 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 52179 0 0 0 4369 114 0 0 21 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604504091991520 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=4091524 CPUtime=46.78 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 96632 0 0 0 4548 130 0 0 25 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506195254752 0 0 -1 8 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=4091524 CPUtime=48.14 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51738 0 0 0 4698 116 0 0 21 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499096796640 0 0 -1 21 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 18906 0 0 0 4784 69 0 0 25 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499257794016 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 1512.78
Current children cumulated vsize (KiB) 4091524

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

[startup+51.2031 s]
/proc/loadavg: 30.43 31.25 31.76 3/445 17769
/proc/meminfo: memFree=261182424/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=4091524 CPUtime=1512.98 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) R 17733 17735 17649 0 -1 4202496 2016162 0 0 0 147478 3820 0 0 25 0 32 0 3011586 4189720576 642389 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108924612 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17735/statm: 1022881 642390 378 95 0 1017863 0
[pid=17735/tid=17736] ppid=17733 vsize=4091524 CPUtime=46.87 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56317 0 0 0 4545 142 0 0 25 0 32 0 3011587 4189720576 642390 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604471664401888 0 0 -1 0 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=4091524 CPUtime=47.07 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 113975 0 0 0 4537 170 0 0 21 0 32 0 3011587 4189720576 642391 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604479192686048 0 0 -1 25 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=4091524 CPUtime=46.98 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63153 0 0 0 4552 146 0 0 21 0 32 0 3011587 4189720576 642391 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506186849760 0 0 -1 31 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 112899 0 0 0 4725 128 0 0 21 0 32 0 3011587 4189720576 642392 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506324966880 0 0 -1 20 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=4091524 CPUtime=46.8 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63282 0 0 0 4538 142 0 0 21 0 32 0 3011587 4189720576 642392 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604500691189216 0 0 -1 28 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=4091524 CPUtime=49.08 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 67891 0 0 0 4793 115 0 0 25 0 32 0 3011587 4189720576 642394 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=4091524 CPUtime=48.03 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51762 0 0 0 4683 120 0 0 25 0 32 0 3011587 4189720576 642394 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446744071566925864 0 0 -1 6 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=4091524 CPUtime=46.03 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 46818 0 0 0 4487 116 0 0 21 0 32 0 3011587 4189720576 642395 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450167987680 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=4091524 CPUtime=46.95 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56004 0 0 0 4570 125 0 0 25 0 32 0 3011587 4189720576 642395 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449397415392 0 0 -1 16 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=4091524 CPUtime=48.47 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63131 0 0 0 4734 113 0 0 25 0 32 0 3011587 4189720576 642395 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604470525017568 0 0 -1 24 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=4091524 CPUtime=46.13 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56955 0 0 0 4509 104 0 0 21 0 32 0 3011587 4189720576 642396 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453129223648 0 0 -1 7 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=4091524 CPUtime=46.97 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51538 0 0 0 4572 125 0 0 25 0 32 0 3011587 4189720576 642396 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506220551648 0 0 -1 9 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=4091524 CPUtime=46.48 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57515 0 0 0 4553 95 0 0 25 0 32 0 3011587 4189720576 642397 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499660217824 0 0 -1 23 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=4091524 CPUtime=46.73 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 53971 0 0 0 4546 127 0 0 21 0 32 0 3011587 4189720576 642397 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450048646624 0 0 -1 15 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=4091524 CPUtime=46.94 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75281 0 0 0 4572 122 0 0 24 0 32 0 3011587 4189720576 642398 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488382922208 0 0 -1 4 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=4091524 CPUtime=48.78 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62466 0 0 0 4791 87 0 0 25 0 32 0 3011587 4189720576 642399 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453706194400 0 0 -1 19 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=4091524 CPUtime=46.46 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75459 0 0 0 4536 110 0 0 20 0 32 0 3011587 4189720576 642399 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456547933664 0 0 -1 12 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=4091524 CPUtime=46.82 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 49276 0 0 0 4571 111 0 0 21 0 32 0 3011587 4189720576 642400 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604454598090208 0 0 -1 2 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=4091524 CPUtime=48.57 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 78221 0 0 0 4752 105 0 0 20 0 32 0 3011587 4189720576 642400 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453604875744 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=4091524 CPUtime=47.88 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 43866 0 0 0 4673 115 0 0 25 0 32 0 3011587 4189720576 642401 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488608177632 0 0 -1 30 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=4091524 CPUtime=46 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 50372 0 0 0 4485 115 0 0 20 0 32 0 3011587 4189720576 642401 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456969543136 0 0 -1 29 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=4091524 CPUtime=48.39 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57881 0 0 0 4720 119 0 0 25 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604451826032096 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=4091524 CPUtime=45.41 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 45436 0 0 0 4418 123 0 0 21 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604486696246752 0 0 -1 1 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=4091524 CPUtime=48.05 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 77763 0 0 0 4671 134 0 0 25 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604469053283808 0 0 -1 17 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=4091524 CPUtime=47.59 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 68652 0 0 0 4664 95 0 0 25 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604496341540320 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=4091524 CPUtime=46.17 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 59468 0 0 0 4505 112 0 0 20 0 32 0 3011587 4189720576 642403 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449721982432 0 0 -1 5 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=4091524 CPUtime=47.17 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62981 0 0 0 4591 126 0 0 25 0 32 0 3011587 4189720576 642403 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506293640672 0 0 -1 11 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=4091524 CPUtime=44.83 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 52179 0 0 0 4369 114 0 0 21 0 32 0 3011587 4189720576 642404 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604504091991520 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=4091524 CPUtime=46.78 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 96632 0 0 0 4548 130 0 0 25 0 32 0 3011587 4189720576 642405 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506195254752 0 0 -1 8 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=4091524 CPUtime=48.14 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51738 0 0 0 4698 116 0 0 21 0 32 0 3011587 4189720576 642405 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499096796640 0 0 -1 21 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 18906 0 0 0 4784 69 0 0 25 0 32 0 3011587 4189720576 642406 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499257794016 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 1512.98
Current children cumulated vsize (KiB) 4091524

[startup+51.6021 s]
/proc/loadavg: 30.43 31.25 31.76 3/445 17769
/proc/meminfo: memFree=261182424/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=4091524 CPUtime=1513.77 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) R 17733 17735 17649 0 -1 4202496 2021905 0 0 0 147556 3821 0 0 25 0 32 0 3011586 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108924612 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17735/statm: 1022881 645963 378 95 0 1017863 0
[pid=17735/tid=17736] ppid=17733 vsize=4091524 CPUtime=46.87 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56317 0 0 0 4545 142 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604471664401888 0 0 -1 0 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=4091524 CPUtime=47.07 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 113975 0 0 0 4537 170 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604479192686048 0 0 -1 25 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=4091524 CPUtime=46.98 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63153 0 0 0 4552 146 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506186849760 0 0 -1 31 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 112899 0 0 0 4725 128 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506324966880 0 0 -1 20 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=4091524 CPUtime=46.8 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63282 0 0 0 4538 142 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604500691189216 0 0 -1 28 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=4091524 CPUtime=49.47 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 73629 0 0 0 4831 116 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 4507434 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=4091524 CPUtime=48.03 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51762 0 0 0 4683 120 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446744071566925864 0 0 -1 6 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=4091524 CPUtime=46.03 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 46818 0 0 0 4487 116 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450167987680 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=4091524 CPUtime=46.95 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56004 0 0 0 4570 125 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449397415392 0 0 -1 16 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=4091524 CPUtime=48.47 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63131 0 0 0 4734 113 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604470525017568 0 0 -1 24 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=4091524 CPUtime=46.13 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56955 0 0 0 4509 104 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453129223648 0 0 -1 7 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=4091524 CPUtime=46.97 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51538 0 0 0 4572 125 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506220551648 0 0 -1 9 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=4091524 CPUtime=46.48 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57515 0 0 0 4553 95 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499660217824 0 0 -1 23 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=4091524 CPUtime=46.73 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 53971 0 0 0 4546 127 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450048646624 0 0 -1 15 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=4091524 CPUtime=46.94 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75281 0 0 0 4572 122 0 0 24 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488382922208 0 0 -1 4 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=4091524 CPUtime=48.78 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62466 0 0 0 4791 87 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453706194400 0 0 -1 19 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=4091524 CPUtime=46.46 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75459 0 0 0 4536 110 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456547933664 0 0 -1 12 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=4091524 CPUtime=46.82 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 49276 0 0 0 4571 111 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604454598090208 0 0 -1 2 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=4091524 CPUtime=48.57 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 78221 0 0 0 4752 105 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453604875744 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=4091524 CPUtime=47.88 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 43866 0 0 0 4673 115 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488608177632 0 0 -1 30 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=4091524 CPUtime=46 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 50372 0 0 0 4485 115 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456969543136 0 0 -1 29 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=4091524 CPUtime=48.39 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57881 0 0 0 4720 119 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604451826032096 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=4091524 CPUtime=45.41 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 45436 0 0 0 4418 123 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604486696246752 0 0 -1 1 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=4091524 CPUtime=48.05 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 77763 0 0 0 4671 134 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604469053283808 0 0 -1 17 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=4091524 CPUtime=47.59 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 68652 0 0 0 4664 95 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604496341540320 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=4091524 CPUtime=46.17 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 59468 0 0 0 4505 112 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449721982432 0 0 -1 5 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=4091524 CPUtime=47.17 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62981 0 0 0 4591 126 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506293640672 0 0 -1 11 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=4091524 CPUtime=44.83 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 52179 0 0 0 4369 114 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604504091991520 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=4091524 CPUtime=46.78 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 96632 0 0 0 4548 130 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506195254752 0 0 -1 8 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=4091524 CPUtime=48.14 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51738 0 0 0 4698 116 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499096796640 0 0 -1 21 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 18906 0 0 0 4784 69 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499257794016 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 1513.77
Current children cumulated vsize (KiB) 4091524

[startup+52.0011 s]
/proc/loadavg: 30.43 31.25 31.76 3/445 17769
/proc/meminfo: memFree=261155640/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=0 CPUtime=1514.34 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) Z 17733 17735 17649 0 -1 4202524 2022328 0 0 0 147586 3848 0 0 18 0 2 0 3011586 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17735/statm: 0 0 0 0 0 0 0
[pid=17735/tid=17736] ppid=17733 vsize=0 CPUtime=47.12 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) R 17733 17735 17649 0 -1 4203588 56317 0 0 0 4545 167 0 0 18 0 2 0 3011587 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) 1514.34
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 52.0761
CPU time (s): 1514.43
CPU user time (s): 1475.87
CPU system time (s): 38.5631
CPU usage (%): 2908.11
Max. virtual memory (cumulated for all children) (KiB): 4099324

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

runsolver used 0.340948 second user time and 1.27081 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 17:47:36
IDJOB=3400769
IDBENCH=82465
IDSOLVER=1886
FILE ID=node200/3400769-1306770456
RUNJOBID= node200-1306770376-17663
PBS_JOBID= 13471829
Free space on /tmp= 61576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400769-1306770456/watcher-3400769-1306770456 -o /tmp/evaluation-result-3400769-1306770456/solver-3400769-1306770456 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400769-1306770456.cnf

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

MD5SUM BENCH= 7599aafec7bebba20ceab50260cd7197
RANDOM SEED=1827450357

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.042
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.08
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.042
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.042
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.12
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.042
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.14
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.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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	: 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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	: 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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	: 3996.76
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.042
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.08
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.042
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.042
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.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263761964 kB
Buffers:         36524 kB
Cached:         275852 kB
SwapCached:      29688 kB
Active:         118024 kB
Inactive:       226656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263761964 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:            8732 kB
Writeback:           0 kB
AnonPages:       29060 kB
Mapped:           8380 kB
Slab:            58612 kB
PageTables:       4424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   193372 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= 61572 MiB
End job on node200 at 2011-05-30 17:48:28