Trace number 3400902

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 5202.83 179.319

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
MD5SUMc139a321e75833c70af36726562b66de
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark865.262
Satisfiable
(Un)Satisfiability was proved
Number of variables196306
Number of clauses582994
Sum of the clauses size1360318
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2388662
Number of clauses of size 3194331
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.02	c Using 32 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3400902-1307118324.cnf'
0.86/0.07	c -- header says num vars:         196306
0.86/0.07	c -- header says num clauses:      582994
83.57/5.63	c -- clauses added:            0 learnts,       582994 normals,            0 xors
83.57/5.63	c -- vars added     196306
83.57/5.63	c Parsing time:  0.93 s
83.57/5.63	c  N st     0         0    196306    194331    388662         0   1360317         0   no data   no data
124.39/6.98	c asymm  cl-useful: 0/21494/194330 lits-rem:0 time: 1.33
1057.49/36.16	c Flit:   455 Blit:  12299 bXBeca:    0 bXProp: 16649 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 29.17
1061.28/36.22	c Cleaning up after failed var search:     0.06 s 
1064.31/36.38	c Replacing    16649 vars Replaced   266278 lits Time:     0.13 s 
1075.63/36.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1075.63/36.78	c bin-w-bin subsume rem          797 bins  time:  0.06 s
1081.81/36.95	c subs with bin:       19  lits-rem:        19  v-fix:    0  time:  0.16 s
1113.83/38.08	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done: 128819 time:  1.07 s
1126.09/38.43	c Removed useless bin:      78  fixed:     0  props:  20.01M  time:  0.34 s
1193.03/41.02	c lits-rem:        32  cl-subs:      213  v-elim:  55261  v-fix:    0  time:  1.29 s
1195.84/41.11	c Finding binary XORs  T:     0.08 s  found:     611
1195.84/41.18	c Replacing      611 vars Replaced     6920 lits Time:     0.07 s 
1201.75/41.40	c Finding non-binary XORs:     0.14 s (found:    3701, avg size: 3.0)
1201.75/41.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     8 time:   0.07
1204.74/41.44	c calculated reachability. Time: 0.00
1204.74/41.48	c Calc default polars -  time:   0.04 s pos:   39197 undec:   86715 neg:   70394
1204.74/41.48	c =========================================================================================
1204.74/41.48	c types(t): F = full restart, N = normal restart
1204.74/41.48	c types(t): S = simplification begin/end, E = solution found
1204.74/41.48	c restart types(rt): st = static, dy = dynamic
1204.74/41.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1204.74/41.48	c  B st     0         0    109911    140139    215707         0    926051         0   no data   no data
1319.59/45.07	c  N dy    13      4297    109885    140139    215775      3962    926051     77130      6.90      7.27
1440.39/48.83	c  N dy    42      8317    109693    140139    216613      7558    926051    132837      8.04     11.18
1606.60/54.00	c  N dy    70     12375    109655    140139    216639     11207    926051    188228      8.39      8.85
1692.92/56.79	c  N dy    77     16547    108899    140139    217184     15145    926051    250675      8.07      8.98
1792.00/59.81	c  N dy   100     20579    108678    136591    214767      9564    906123     93299      8.15     12.30
1958.19/65.02	c  N dy   134     24769    108678    136591    214777     13472    906123    159529      8.42      9.29
1958.19/65.09	c Finding binary XORs  T:     0.07 s  found:    2044
1961.39/65.18	c Replacing     2074 vars Replaced    50593 lits Time:     0.08 s 
1970.98/65.43	c  F st   137     25001    106604    136438    209707     13638    897433    160640      8.43   no data
2198.31/72.53	c  N dy   143     30000    106505    136438    211186     18431    897433    265558      8.43   no data
2198.31/72.53	c  S st   143     30000    106505    136438    211186     18431    897433    265558      8.43   no data
2226.39/73.43	c  S st   143     30501    106078    136438    211197     18883    897433    271496      8.43   no data
2226.39/73.50	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:     26 locsubst:     0 time:   0.07
3098.84/100.77	c Flit:   103 Blit:    588 bXBeca:    0 bXProp: 3642 Bins: 144017 BRemL:  19224 BRemN:    679 P: 175.2M T: 27.24
3102.04/100.81	c Cleaning up after failed var search:     0.04 s 
3105.25/100.93	c Replacing     3644 vars Replaced   228464 lits Time:     0.11 s 
3108.44/101.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3112.26/101.14	c bin-w-bin subsume rem        24995 bins  time:  0.11 s
3115.46/101.26	c subs with bin:      422  lits-rem:       614  v-fix:    0  time:  0.11 s
3143.60/102.10	c Subs w/ non-existent bins:    431 l-rem:    319 v-fix:     0 done: 101209 time:  0.84 s
3153.16/102.44	c Removed useless bin:     178  fixed:     0  props:  12.57M  time:  0.34 s
3185.74/103.45	c lits-rem:       178  cl-subs:      942  v-elim:  67472  v-fix:    0  time:  0.88 s
3188.27/103.51	c subs with bin:      223  lits-rem:       734  v-fix:    0  time:  0.03 s
3191.46/103.66	c lits-rem:       720  cl-subs:      999  v-elim:      0  v-fix:    0  time:  0.10 s
3210.66/104.29	c asymm  cl-useful: 345/42303/134264 lits-rem:353 time: 0.62
3213.86/104.31	c calculated reachability. Time: 0.00
3213.86/104.31	c  N dy   143     30501     33737    134260     51282      9048    612017    134388      8.43   no data
3213.86/104.34	c Finding binary XORs  T:     0.03 s  found:      93
3303.29/107.18	c  N dy   176     34562     33457    134260     54994     12644    612017    207020      8.69      9.17
3370.28/109.24	c Finding binary XORs  T:     0.04 s  found:    1287
3373.47/109.33	c Replacing     1380 vars Replaced   108657 lits Time:     0.09 s 
3386.23/109.71	c  N dy   212     38677     32065    130851     60981     13561    593881    250063      8.99      9.58
3453.34/111.87	c  N dy   242     42679     32064    130851     61000      8731    593881    122355      9.18      9.82
3498.70/113.26	c  S st   263     45751     32053    130851     80554     11454    593881    211384      9.25   no data
3510.85/113.62	c  S st   263     46254     32052    130851     80564     11889    593881    215620      9.25   no data
3510.85/113.66	c x-sub:   240 x-cut:      0 vfix:      0 v-elim:     11 locsubst:   180 time:   0.04
3587.53/116.06	c Flit:     7 Blit:     40 bXBeca:    0 bXProp: 1422 Bins:  65896 BRemL:  42784 BRemN:     36 P: 20.6M T:  2.39
3590.72/116.16	c Replacing     1513 vars Replaced   101128 lits Time:     0.09 s 
3593.93/116.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3597.12/116.31	c bin-w-bin subsume rem        35055 bins  time:  0.08 s
3597.12/116.37	c subs with bin:     2422  lits-rem:      1993  v-fix:    0  time:  0.06 s
3600.29/116.47	c Subs w/ non-existent bins:    454 l-rem:    406 v-fix:     0 done:  30431 time:  0.09 s
3603.98/116.52	c Removed useless bin:     235  fixed:     0  props:   1.45M  time:  0.06 s
3616.10/116.91	c lits-rem:       364  cl-subs:     4000  v-elim:   8730  v-fix:    0  time:  0.38 s
3616.10/116.96	c subs with bin:      252  lits-rem:       620  v-fix:    0  time:  0.02 s
3619.29/117.08	c lits-rem:       373  cl-subs:      569  v-elim:      0  v-fix:    0  time:  0.08 s
3622.49/117.14	c vivif2 --  cl tried   108682 cl shrink     1785 lits rem       2573 time: 0.06
3622.49/117.15	c vivif2 --  cl tried     8909 cl shrink      380 lits rem        599 time: 0.01
3642.30/117.73	c asymm  cl-useful: 0/27733/108615 lits-rem:0 time: 0.58
3642.30/117.75	c calculated reachability. Time: 0.01
3642.30/117.75	c  N dy   263     46254     21701    108615     25218      8902    491961    106027      9.25   no data
3642.30/117.80	c Finding binary XORs  T:     0.04 s  found:       6
3696.00/119.40	c  N dy   279     50303     21701    108615     34773     12185    491961    174093      9.13      9.80
3727.97/120.41	c  N dy   287     54385     21701    108615     34790     15728    491959    223975      9.01      9.49
3727.97/120.47	c Finding binary XORs  T:     0.04 s  found:      31
3769.51/121.78	c Finding binary XORs  T:     0.04 s  found:       8
3779.72/122.10	c  N dy   306     58760     21697    108546     55544     19173    491493    321920      8.96      9.44
3814.82/123.16	c  N dy   317     62790     21697    108546     56932     22805    491493    385290      8.91      9.45
3865.31/124.79	c  N dy   331     66979     21697    108546     56937     14065    491493    191468      8.84      9.43
3884.95/125.40	c Finding binary XORs  T:     0.04 s  found:       9
3897.10/125.73	c  S st   345     69381     21697    108545     62599     16108    491454    235503      8.84      7.22
3906.68/126.00	c  S st   345     69881     21697    108545     62609     16526    491454    238735      8.84   no data
3906.68/126.04	c x-sub:    90 x-cut:      0 vfix:      0 v-elim:    227 locsubst:     8 time:   0.04
3932.02/126.82	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   14 Bins:  12250 BRemL:  28249 BRemN:     63 P:  9.5M T:  0.78
3932.02/126.89	c Replacing       70 vars Replaced    14880 lits Time:     0.06 s 
3935.21/126.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3935.21/126.99	c bin-w-bin subsume rem        20582 bins  time:  0.04 s
3938.41/127.03	c subs with bin:      614  lits-rem:        99  v-fix:    0  time:  0.04 s
3938.41/127.09	c Subs w/ non-existent bins:    369 l-rem:     18 v-fix:     0 done:  21396 time:  0.05 s
3941.61/127.12	c Removed useless bin:      64  fixed:     0  props:   0.55M  time:  0.03 s
3944.80/127.28	c lits-rem:        94  cl-subs:     1055  v-elim:    545  v-fix:    0  time:  0.16 s
3948.00/127.34	c subs with bin:       94  lits-rem:       448  v-fix:    0  time:  0.03 s
3951.19/127.47	c lits-rem:       860  cl-subs:      886  v-elim:      0  v-fix:    0  time:  0.09 s
3951.19/127.51	c vivif2 --  cl tried   105511 cl shrink      450 lits rem        558 time: 0.04
3955.02/127.53	c vivif2 --  cl tried    15031 cl shrink      300 lits rem        515 time: 0.01
3960.77/127.76	c asymm  cl-useful: 155/13976/105506 lits-rem:465 time: 0.23
3960.77/127.78	c calculated reachability. Time: 0.01
3960.77/127.79	c  N dy   345     69881     20851    105351     23383     15029    477516    142651      8.84   no data
3963.97/127.83	c Finding binary XORs  T:     0.04 s  found:       4
4005.28/129.18	c  N dy   368     74468     20851    105351     23389     19072    477515    203789      8.80      9.35
4052.94/130.63	c Finding binary XORs  T:     0.04 s  found:      36
4068.71/131.18	c  N dy   388     80663     20849    105306     33578     24490    477226    315464      8.73      9.20
4138.50/133.30	c  N dy   413     86190     20849    105306     36892     29345    477225    400009      8.71      9.28
4154.02/133.82	c  F st   421     87500     20849    105306     42725     30470    477225    427425      8.70      7.13
4154.02/133.86	c Replacing       40 vars Replaced     5581 lits Time:     0.04 s 
4188.94/134.99	c Finding binary XORs  T:     0.04 s  found:      10
4199.19/135.27	c  N dy   427     92695     20809    105260     42639     19297    476937    237034      8.70   no data
4258.85/137.17	c  N dy   457     98696     20809    105260     43461     24595    476937    324083      8.68     12.06
4312.82/138.88	c  S st   482    104823     20809    105260     43555     30061    476937    412073      8.65      6.55
4322.20/139.17	c  S st   482    105323     20809    105260     46521     30469    476937    421601      8.65   no data
4325.40/139.21	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:     52 locsubst:     0 time:   0.04
4344.57/139.86	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   21 Bins:   3491 BRemL:  23859 BRemN:     20 P:  8.1M T:  0.65
4347.76/139.93	c Replacing       31 vars Replaced     2269 lits Time:     0.06 s 
4347.76/139.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4350.96/140.00	c bin-w-bin subsume rem         5025 bins  time:  0.02 s
4350.96/140.04	c subs with bin:     1154  lits-rem:       139  v-fix:    0  time:  0.04 s
4350.96/140.09	c Subs w/ non-existent bins:    142 l-rem:     17 v-fix:     0 done:  20725 time:  0.05 s
4354.15/140.12	c Removed useless bin:      18  fixed:     0  props:   0.42M  time:  0.03 s
4360.53/140.30	c lits-rem:        38  cl-subs:      706  v-elim:    850  v-fix:    0  time:  0.18 s
4360.53/140.40	c subs with bin:      177  lits-rem:      1387  v-fix:    0  time:  0.04 s
4366.92/140.60	c lits-rem:      2316  cl-subs:     1773  v-elim:      0  v-fix:    0  time:  0.16 s
4370.11/140.64	c vivif2 --  cl tried   100471 cl shrink     1161 lits rem       2099 time: 0.04
4370.11/140.67	c vivif2 --  cl tried    27420 cl shrink     2001 lits rem       4009 time: 0.03
4389.12/141.26	c asymm  cl-useful: 1552/16828/100470 lits-rem:4290 time: 0.59
4389.12/141.28	c calculated reachability. Time: 0.01
4389.12/141.28	c  N dy   482    105323     19875    100091     19665     27417    454866    314334      8.65   no data
4392.31/141.32	c Finding binary XORs  T:     0.04 s  found:       4
4472.05/143.87	c  N dy   528    112398     19874    100091     23956     33779    454864    428815      8.66      9.12
4503.94/144.84	c Finding binary XORs  T:     0.03 s  found:      17
4552.51/146.35	c  N dy   568    120249     19874    100073     28213     22841    454771    215800      8.67      9.18
4622.66/148.54	c Finding binary XORs  T:     0.04 s  found:      19
4634.80/148.97	c  N dy   609    128335     19873    100072     28754     30110    454766    342069      8.66      9.22
4705.00/151.19	c  N dy   644    136534     19872    100072     30153     37651    454765    477911      8.63     12.21
4787.97/153.73	c  N dy   680    145579     19870    100072     30200     25655    454765    230506      8.59      9.49
4877.41/156.58	c Finding binary XORs  T:     0.04 s  found:      31
4887.00/156.87	c  N dy   732    154917     19870    100061     30344     34112    454667    377472      8.58      9.08
4909.38/157.54	c  S st   751    157985     19870    100061     30347     36946    454667    430065      8.59      6.85
4918.97/157.82	c  S st   751    158488     19869    100061     30351     37391    454667    435425      8.59   no data
4918.97/157.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     36 locsubst:     0 time:   0.04
4935.58/158.42	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   24 Bins:   3394 BRemL:  10332 BRemN:     16 P:  7.6M T:  0.56
4938.78/158.49	c Replacing       95 vars Replaced     7544 lits Time:     0.06 s 
4941.35/158.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4941.35/158.56	c bin-w-bin subsume rem         2960 bins  time:  0.01 s
4944.54/158.60	c subs with bin:     1217  lits-rem:       141  v-fix:    0  time:  0.04 s
4944.54/158.65	c Subs w/ non-existent bins:    180 l-rem:     11 v-fix:     0 done:  19735 time:  0.05 s
4944.54/158.68	c Removed useless bin:      77  fixed:     0  props:   0.40M  time:  0.03 s
4950.94/158.85	c lits-rem:       202  cl-subs:     1331  v-elim:    936  v-fix:    0  time:  0.17 s
4954.13/158.95	c subs with bin:      334  lits-rem:      1939  v-fix:    0  time:  0.05 s
4960.53/159.17	c lits-rem:      3161  cl-subs:     2517  v-elim:      0  v-fix:    0  time:  0.18 s
4963.73/159.20	c vivif2 --  cl tried    94750 cl shrink      962 lits rem       1426 time: 0.04
4963.73/159.24	c vivif2 --  cl tried    32567 cl shrink     2525 lits rem       6896 time: 0.03
4982.90/159.84	c asymm  cl-useful: 381/50258/94738 lits-rem:983 time: 0.60
4982.90/159.86	c calculated reachability. Time: 0.01
4982.90/159.87	c  N dy   751    158488     18799     94518     18661     32566    436405    327359      8.59   no data
5053.18/162.02	c Finding binary XORs  T:     0.04 s  found:    1121
5056.38/162.10	c Replacing     1121 vars Replaced   113214 lits Time:     0.09 s 
5069.17/162.51	c  N dy   787    169072     17524     90649     19277     17809    419171     98263      8.56      9.09
5201.96/178.69	c Following stats are for *FIRST FINISHED THREAD ONLY*
5201.96/178.69	c num threads              : 32         
5201.96/178.69	c restarts                 : 835        
5201.96/178.69	c dynamic restarts         : 817        
5201.96/178.69	c static restarts          : 18         
5201.96/178.69	c full restarts            : 2          
5201.96/178.69	c total simplify time      : 1.38       
5201.96/178.69	c learnts DL2              : 0          
5201.96/178.69	c learnts size 2           : 887632     
5201.96/178.69	c learnts size 1           : 19133       (9.75      % of vars)
5201.96/178.69	c filedLit time            : 55.17       (32.23     % time)
5201.96/178.69	c v-elim SatELite          : 130431      (66.44     % vars)
5201.96/178.69	c SatELite time            : 5.03        (2.94      % time)
5201.96/178.69	c v-elim xor               : 264         (0.13      % vars)
5201.96/178.69	c xor elim time            : 0.22        (0.13      % time)
5201.96/178.69	c num binary xor trees     : 5940       
5201.96/178.69	c binxor trees' crown      : 29498       (4.97      leafs/tree)
5201.96/178.69	c bin xor find time        : 0.69       
5201.96/178.69	c OTF clause improved      : 17777       (0.09      clauses/conflict)
5201.96/178.69	c OTF impr. size diff      : 19010       (1.07       lits/clause)
5201.96/178.69	c OTF cl watch-shrink      : 72013       (0.37      clauses/conflict)
5201.96/178.69	c OTF cl watch-sh-lit      : 202525      (2.81       lits/clause)
5201.96/178.69	c tried to recurMin cls    : 46540       (24.15      % of conflicts)
5201.96/178.69	c updated cache            : 0           (0.00       lits/tried recurMin)
5201.96/178.69	c unit cls recevied        : 216         (1.13      % of units)
5201.96/178.69	c unit cls sent            : 574         (3.00      % of units)
5201.96/178.69	c bin cls recevied         : 279914     
5201.96/178.69	c bin cls sent             : 155949     
5201.96/178.69	c clauses over max glue    : 0           (0.00      % of all clauses)
5201.96/178.69	c conflicts                : 192736      (1125.91   / sec)
5201.96/178.69	c decisions                : 2662229     (2.69      % random)
5201.96/178.69	c bogo-props               : 1707868460  (9976917.55 / sec)
5201.96/178.69	c conflict literals        : 3153084     (21.25     % deleted)
5201.96/178.69	c Memory used              : 7138.60     MB
5201.96/178.69	c single-thread CPU time   : 171.18      s
5201.96/178.69	c all-threads sum CPU time : 5102.79     s
5201.96/178.69	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: 977)

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-3400902-1307118324/watcher-3400902-1307118324 -o /tmp/evaluation-result-3400902-1307118324/solver-3400902-1307118324 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400902-1307118324.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 27.98 30.46 31.32 1/413 16837
/proc/meminfo: memFree=262869068/264257624 swapFree=67054988/67111528
[pid=16837] ppid=16835 vsize=600168 CPUtime=0.83 cores=0-31
/proc/16837/stat : 16837 (strangenight2-m) S 16835 16837 16461 0 -1 4202496 722 0 0 0 83 0 0 0 22 0 32 0 17744871 614572032 582 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/16837/statm: 133662 591 315 95 0 128644 0
[pid=16837/tid=16838] ppid=16835 vsize=534640 CPUtime=0.02 cores=0-31
/proc/16837/task/16838/stat : 16838 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 17744872 547471360 644 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604449534787040 0 0 -1 1 0 0 0
[pid=16837/tid=16839] ppid=16835 vsize=534640 CPUtime=0.02 cores=0-31
/proc/16837/task/16839/stat : 16839 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 17744872 547471360 670 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604468157144544 0 0 -1 2 0 0 0
[pid=16837/tid=16840] ppid=16835 vsize=534644 CPUtime=0.02 cores=0-31
/proc/16837/task/16840/stat : 16840 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 32 0 17744872 547475456 670 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16837/tid=16841] ppid=16835 vsize=534644 CPUtime=0 cores=0-31
/proc/16837/task/16841/stat : 16841 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 32 0 17744872 547475456 676 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604499728506336 0 0 -1 27 0 0 0
[pid=16837/tid=16842] ppid=16835 vsize=534644 CPUtime=0.02 cores=0-31
/proc/16837/task/16842/stat : 16842 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 32 0 17744872 547475456 677 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16837/tid=16843] ppid=16835 vsize=534644 CPUtime=0.02 cores=0-31
/proc/16837/task/16843/stat : 16843 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 32 0 17744872 547475456 680 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604498745032160 0 0 -1 8 0 0 0
[pid=16837/tid=16844] ppid=16835 vsize=534644 CPUtime=0.02 cores=0-31
/proc/16837/task/16844/stat : 16844 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 50 0 0 0 2 0 0 0 18 0 32 0 17744872 547475456 682 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16837/tid=16845] ppid=16835 vsize=665852 CPUtime=0.02 cores=0-31
/proc/16837/task/16845/stat : 16845 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 32 0 17744872 681832448 685 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604498470206944 0 0 -1 5 0 0 0
[pid=16837/tid=16846] ppid=16835 vsize=665852 CPUtime=0.02 cores=0-31
/proc/16837/task/16846/stat : 16846 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 21 0 32 0 17744872 681832448 690 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604504371453408 0 0 -1 6 0 0 0
[pid=16837/tid=16847] ppid=16835 vsize=665852 CPUtime=0.02 cores=0-31
/proc/16837/task/16847/stat : 16847 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 32 0 17744872 681832448 694 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604481494482400 0 0 -1 3 0 0 0
[pid=16837/tid=16848] ppid=16835 vsize=600316 CPUtime=0.02 cores=0-31
/proc/16837/task/16848/stat : 16848 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 21 0 32 0 17744872 614723584 694 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604502510271968 0 0 -1 9 0 0 0
[pid=16837/tid=16849] ppid=16835 vsize=600316 CPUtime=0.02 cores=0-31
/proc/16837/task/16849/stat : 16849 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 32 0 17744872 614723584 700 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604491841355232 0 0 -1 10 0 0 0
[pid=16837/tid=16850] ppid=16835 vsize=600316 CPUtime=0.02 cores=0-31
/proc/16837/task/16850/stat : 16850 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 25 0 0 0 2 0 0 0 21 0 32 0 17744872 614723584 704 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16837/tid=16851] ppid=16835 vsize=600316 CPUtime=0.02 cores=0-31
/proc/16837/task/16851/stat : 16851 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 32 0 17744872 614723584 707 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604500739014112 0 0 -1 13 0 0 0
[pid=16837/tid=16852] ppid=16835 vsize=600316 CPUtime=0.02 cores=0-31
/proc/16837/task/16852/stat : 16852 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 21 0 32 0 17744872 614723584 718 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604505984277984 0 0 -1 14 0 0 0
[pid=16837/tid=16853] ppid=16835 vsize=600320 CPUtime=0.02 cores=0-31
/proc/16837/task/16853/stat : 16853 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 17744872 614727680 718 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604495301647840 0 0 -1 11 0 0 0
[pid=16837/tid=16854] ppid=16835 vsize=600324 CPUtime=0.02 cores=0-31
/proc/16837/task/16854/stat : 16854 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 24 0 0 0 2 0 0 0 18 0 32 0 17744872 614731776 718 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16837/tid=16855] ppid=16835 vsize=600324 CPUtime=0.01 cores=0-31
/proc/16837/task/16855/stat : 16855 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 58 0 0 0 1 0 0 0 18 0 32 0 17744872 614731776 727 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16837/tid=16856] ppid=16835 vsize=600324 CPUtime=0 cores=0-31
/proc/16837/task/16856/stat : 16856 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 32 0 17744872 614731776 728 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16837/tid=16857] ppid=16835 vsize=600328 CPUtime=0.02 cores=0-31
/proc/16837/task/16857/stat : 16857 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 10 0 0 0 2 0 0 0 22 0 32 0 17744872 614735872 738 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16837/tid=16858] ppid=16835 vsize=600328 CPUtime=0.02 cores=0-31
/proc/16837/task/16858/stat : 16858 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 10 0 0 0 2 0 0 0 22 0 32 0 17744872 614735872 757 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16837/tid=16859] ppid=16835 vsize=600328 CPUtime=0.02 cores=0-31
/proc/16837/task/16859/stat : 16859 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 17744872 614735872 758 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604486366641632 0 0 -1 17 0 0 0
[pid=16837/tid=16860] ppid=16835 vsize=600332 CPUtime=0.02 cores=0-31
/proc/16837/task/16860/stat : 16860 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 17744872 614739968 763 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604500825996768 0 0 -1 18 0 0 0
[pid=16837/tid=16861] ppid=16835 vsize=600332 CPUtime=0.02 cores=0-31
/proc/16837/task/16861/stat : 16861 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 22 0 32 0 17744872 614739968 767 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446744071566925504 0 0 -1 15 0 0 0
[pid=16837/tid=16862] ppid=16835 vsize=600332 CPUtime=0.02 cores=0-31
/proc/16837/task/16862/stat : 16862 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 23 0 32 0 17744872 614739968 770 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16837/tid=16863] ppid=16835 vsize=600332 CPUtime=0.02 cores=0-31
/proc/16837/task/16863/stat : 16863 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 54 0 0 0 2 0 0 0 18 0 32 0 17744872 614739968 772 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16837/tid=16864] ppid=16835 vsize=600332 CPUtime=0.02 cores=0-31
/proc/16837/task/16864/stat : 16864 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 8 0 0 0 2 0 0 0 23 0 32 0 17744872 614739968 777 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16837/tid=16865] ppid=16835 vsize=665868 CPUtime=0.02 cores=0-31
/proc/16837/task/16865/stat : 16865 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 36 0 0 0 2 0 0 0 23 0 32 0 17744872 681848832 780 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16837/tid=16866] ppid=16835 vsize=665868 CPUtime=0.02 cores=0-31
/proc/16837/task/16866/stat : 16866 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 28 0 0 0 2 0 0 0 18 0 32 0 17744872 681848832 783 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16837/tid=16867] ppid=16835 vsize=665872 CPUtime=0.02 cores=0-31
/proc/16837/task/16867/stat : 16867 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 7 0 0 0 2 0 0 0 24 0 32 0 17744872 681852928 786 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16837/tid=16868] ppid=16835 vsize=665872 CPUtime=0.02 cores=0-31
/proc/16837/task/16868/stat : 16868 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 9 0 0 0 2 0 0 0 18 0 32 0 17744872 681852928 792 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.04087 s]
/proc/loadavg: 27.98 30.46 31.32 1/413 16837
/proc/meminfo: memFree=262869068/264257624 swapFree=67054988/67111528
[pid=16837] ppid=16835 vsize=666848 CPUtime=0.86 cores=0-31
/proc/16837/stat : 16837 (strangenight2-m) R 16835 16837 16461 0 -1 4202496 1099 0 0 0 83 3 0 0 23 0 32 0 17744871 682852352 959 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/16837/statm: 166712 1002 322 95 0 161694 0
[pid=16837/tid=16838] ppid=16835 vsize=666848 CPUtime=0.03 cores=0-31
/proc/16837/task/16838/stat : 16838 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 18 0 0 0 3 0 0 0 23 0 32 0 17744872 682852352 1029 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16837/tid=16839] ppid=16835 vsize=666848 CPUtime=0.02 cores=0-31
/proc/16837/task/16839/stat : 16839 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 17744872 682852352 1029 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16837/tid=16840] ppid=16835 vsize=666848 CPUtime=0.02 cores=0-31
/proc/16837/task/16840/stat : 16840 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 36 0 0 0 2 0 0 0 19 0 32 0 17744872 682852352 1030 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16837/tid=16841] ppid=16835 vsize=666852 CPUtime=0 cores=0-31
/proc/16837/task/16841/stat : 16841 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 32 0 17744872 682856448 1030 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16837/tid=16842] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16842/stat : 16842 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 20 0 0 0 2 0 0 0 19 0 32 0 17744872 682856448 1033 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16837/tid=16843] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16843/stat : 16843 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 32 0 17744872 682856448 1035 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446744071566925504 0 0 -1 8 0 0 0
[pid=16837/tid=16844] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16844/stat : 16844 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 66 0 0 0 2 0 0 0 18 0 32 0 17744872 682856448 1038 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16837/tid=16845] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16845/stat : 16845 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 9 0 0 0 2 0 0 0 18 0 32 0 17744872 682856448 1041 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16837/tid=16846] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16846/stat : 16846 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 32 0 17744872 682856448 1051 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16837/tid=16847] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16847/stat : 16847 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 32 0 17744872 682856448 1051 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16837/tid=16848] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16848/stat : 16848 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 21 0 32 0 17744872 682856448 1051 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604502510271968 0 0 -1 9 0 0 0
[pid=16837/tid=16849] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16849/stat : 16849 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 21 0 32 0 17744872 682856448 1051 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604499448258016 0 0 -1 10 0 0 0
[pid=16837/tid=16850] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16850/stat : 16850 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 49 0 0 0 2 0 0 0 21 0 32 0 17744872 682856448 1051 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16837/tid=16851] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16851/stat : 16851 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 32 0 17744872 682856448 1051 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16837/tid=16852] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16852/stat : 16852 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 22 0 0 0 2 0 0 0 22 0 32 0 17744872 682856448 1051 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16837/tid=16853] ppid=16835 vsize=666852 CPUtime=0.02 cores=0-31
/proc/16837/task/16853/stat : 16853 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 17744872 682856448 1052 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604499058195936 0 0 -1 11 0 0 0
[pid=16837/tid=16854] ppid=16835 vsize=797924 CPUtime=0.02 cores=0-31
/proc/16837/task/16854/stat : 16854 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 45 0 0 0 2 0 0 0 18 0 32 0 17744872 817074176 1052 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16837/tid=16855] ppid=16835 vsize=797924 CPUtime=0.01 cores=0-31
/proc/16837/task/16855/stat : 16855 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 72 0 0 0 1 0 0 0 18 0 32 0 17744872 817074176 1057 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16837/tid=16856] ppid=16835 vsize=797924 CPUtime=0 cores=0-31
/proc/16837/task/16856/stat : 16856 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 20 0 0 0 0 0 0 0 18 0 32 0 17744872 817074176 1059 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16837/tid=16857] ppid=16835 vsize=797928 CPUtime=0.02 cores=0-31
/proc/16837/task/16857/stat : 16857 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 22 0 0 0 2 0 0 0 22 0 32 0 17744872 817078272 1061 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16837/tid=16858] ppid=16835 vsize=797928 CPUtime=0.02 cores=0-31
/proc/16837/task/16858/stat : 16858 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 23 0 0 0 2 0 0 0 22 0 32 0 17744872 817078272 1071 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16837/tid=16859] ppid=16835 vsize=797928 CPUtime=0.02 cores=0-31
/proc/16837/task/16859/stat : 16859 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 17744872 817078272 1076 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604486366641632 0 0 -1 17 0 0 0
[pid=16837/tid=16860] ppid=16835 vsize=797928 CPUtime=0.02 cores=0-31
/proc/16837/task/16860/stat : 16860 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 6 0 0 0 2 0 0 0 23 0 32 0 17744872 817078272 1077 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16837/tid=16861] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16861/stat : 16861 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 9 0 0 0 2 0 0 0 23 0 32 0 17744872 749998080 1082 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16837/tid=16862] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16862/stat : 16862 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 21 0 0 0 2 0 0 0 23 0 32 0 17744872 749998080 1082 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16837/tid=16863] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16863/stat : 16863 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 72 0 0 0 2 0 0 0 18 0 32 0 17744872 749998080 1082 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16837/tid=16864] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16864/stat : 16864 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 26 0 0 0 2 0 0 0 23 0 32 0 17744872 749998080 1082 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16837/tid=16865] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16865/stat : 16865 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 54 0 0 0 2 0 0 0 23 0 32 0 17744872 749998080 1087 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16837/tid=16866] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16866/stat : 16866 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 47 0 0 0 2 0 0 0 18 0 32 0 17744872 749998080 1089 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16837/tid=16867] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16867/stat : 16867 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 26 0 0 0 2 0 0 0 24 0 32 0 17744872 749998080 1090 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16837/tid=16868] ppid=16835 vsize=732420 CPUtime=0.02 cores=0-31
/proc/16837/task/16868/stat : 16868 (strangenight2-m) D 16835 16837 16461 0 -1 4202560 26 0 0 0 2 0 0 0 18 0 32 0 17744872 749998080 1090 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 666848

[startup+0.10385 s]
/proc/loadavg: 27.98 30.46 31.32 1/413 16837
/proc/meminfo: memFree=262869068/264257624 swapFree=67054988/67111528
[pid=16837] ppid=16835 vsize=1324180 CPUtime=1.83 cores=0-31
/proc/16837/stat : 16837 (strangenight2-m) S 16835 16837 16461 0 -1 4202496 11224 0 0 0 91 92 0 0 17 0 32 0 17744871 1355960320 11083 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/16837/statm: 331045 11093 334 95 0 326027 0
[pid=16837/tid=16838] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16838/stat : 16838 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 294 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11098 268435456000 4194304 4580107 140736917695904 18446744073709551615 4306832 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16837/tid=16839] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16839/stat : 16839 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 332 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11099 268435456000 4194304 4580107 140736917695904 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16837/tid=16840] ppid=16835 vsize=1324180 CPUtime=0.04 cores=0-31
/proc/16837/task/16840/stat : 16840 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 346 0 0 0 2 2 0 0 17 0 32 0 17744872 1355960320 11103 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604490081828320 0 0 -1 16 0 0 0
[pid=16837/tid=16841] ppid=16835 vsize=1324180 CPUtime=0.02 cores=0-31
/proc/16837/task/16841/stat : 16841 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 338 0 0 0 0 2 0 0 17 0 32 0 17744872 1355960320 11118 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16837/tid=16842] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16842/stat : 16842 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 367 0 0 0 2 3 0 0 17 0 32 0 17744872 1355960320 11118 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604491841355232 0 0 -1 4 0 0 0
[pid=16837/tid=16843] ppid=16835 vsize=1324180 CPUtime=0.04 cores=0-31
/proc/16837/task/16843/stat : 16843 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 315 0 0 0 2 2 0 0 17 0 32 0 17744872 1355960320 11125 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16837/tid=16844] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16844/stat : 16844 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 381 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11129 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16837/tid=16845] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16845/stat : 16845 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 329 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11129 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446744071566925264 0 0 -1 5 0 0 0
[pid=16837/tid=16846] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16846/stat : 16846 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 343 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11135 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16837/tid=16847] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16847/stat : 16847 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 325 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11138 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 3 0 0 0
[pid=16837/tid=16848] ppid=16835 vsize=1324180 CPUtime=0.06 cores=0-31
/proc/16837/task/16848/stat : 16848 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 327 0 0 0 3 3 0 0 17 0 32 0 17744872 1355960320 11157 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604503030021600 0 0 -1 9 0 0 0
[pid=16837/tid=16849] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16849/stat : 16849 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11167 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16837/tid=16850] ppid=16835 vsize=1324180 CPUtime=0.06 cores=0-31
/proc/16837/task/16850/stat : 16850 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 385 0 0 0 3 3 0 0 17 0 32 0 17744872 1355960320 11172 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16837/tid=16851] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16851/stat : 16851 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 329 0 0 0 3 2 0 0 17 0 32 0 17744872 1355960320 11176 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16837/tid=16852] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31
/proc/16837/task/16852/stat : 16852 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 353 0 0 0 2 3 0 0 17 0 32 0 17744872 1355960320 11181 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16837/tid=16853] ppid=16835 vsize=1324180 CPUtime=0.06 cores=0-31
/proc/16837/task/16853/stat : 16853 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 299 0 0 0 3 3 0 0 17 0 32 0 17744872 1355960320 11185 268435456000 4194304 4580107 140736917695904 18446744073709551615 258651060958 0 0 4096 2 18446604499058195936 0 0 -1 11 0 0 0
[pid=16837/tid=16854] ppid=16835 vsize=1324180 CPUtime=0.05 cores=0-31

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

/proc/16837/stat : 16837 (strangenight2-m) S 16835 16837 16461 0 -1 4202496 11985971 0 0 0 509939 9932 0 0 25 0 32 0 17744871 7485358080 1468482 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/16837/statm: 1827480 1468483 379 95 0 1822462 0
[pid=16837/tid=16838] ppid=16835 vsize=7309920 CPUtime=173.46 cores=0-31
/proc/16837/task/16838/stat : 16838 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 303288 0 0 0 16998 348 0 0 25 0 32 0 17744872 7485358080 1468484 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354026027 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16837/tid=16839] ppid=16835 vsize=7309920 CPUtime=160.58 cores=0-31
/proc/16837/task/16839/stat : 16839 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 506564 0 0 0 15738 320 0 0 25 0 32 0 17744872 7485358080 1468484 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604530414067168 0 0 -1 22 0 0 0
[pid=16837/tid=16840] ppid=16835 vsize=7309920 CPUtime=160.27 cores=0-31
/proc/16837/task/16840/stat : 16840 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 292251 0 0 0 15752 275 0 0 25 0 32 0 17744872 7485358080 1468484 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604504371453408 0 0 -1 19 0 0 0
[pid=16837/tid=16841] ppid=16835 vsize=7309920 CPUtime=160.22 cores=0-31
/proc/16837/task/16841/stat : 16841 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 277346 0 0 0 15702 320 0 0 25 0 32 0 17744872 7485358080 1468485 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604491841355232 0 0 -1 20 0 0 0
[pid=16837/tid=16842] ppid=16835 vsize=7309920 CPUtime=160.88 cores=0-31
/proc/16837/task/16842/stat : 16842 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 246441 0 0 0 15833 255 0 0 25 0 32 0 17744872 7485358080 1468486 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604495301647840 0 0 -1 0 0 0 0
[pid=16837/tid=16843] ppid=16835 vsize=7309920 CPUtime=160.5 cores=0-31
/proc/16837/task/16843/stat : 16843 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 255187 0 0 0 15748 302 0 0 25 0 32 0 17744872 7485358080 1468487 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505446825440 0 0 -1 15 0 0 0
[pid=16837/tid=16844] ppid=16835 vsize=7309920 CPUtime=160.42 cores=0-31
/proc/16837/task/16844/stat : 16844 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 297181 0 0 0 15747 295 0 0 25 0 32 0 17744872 7485358080 1468488 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604503689174496 0 0 -1 3 0 0 0
[pid=16837/tid=16845] ppid=16835 vsize=7309920 CPUtime=159.37 cores=0-31
/proc/16837/task/16845/stat : 16845 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 266285 0 0 0 15641 296 0 0 25 0 32 0 17744872 7485358080 1468488 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604502510271968 0 0 -1 7 0 0 0
[pid=16837/tid=16846] ppid=16835 vsize=7309920 CPUtime=168.3 cores=0-31
/proc/16837/task/16846/stat : 16846 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 233547 0 0 0 16569 261 0 0 25 0 32 0 17744872 7485358080 1468489 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604486366641632 0 0 -1 18 0 0 0
[pid=16837/tid=16847] ppid=16835 vsize=7309920 CPUtime=172.47 cores=0-31
/proc/16837/task/16847/stat : 16847 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 362782 0 0 0 16955 292 0 0 25 0 32 0 17744872 7485358080 1468489 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604500825996768 0 0 -1 24 0 0 0
[pid=16837/tid=16848] ppid=16835 vsize=7309920 CPUtime=166.34 cores=0-31
/proc/16837/task/16848/stat : 16848 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 438097 0 0 0 16309 325 0 0 25 0 32 0 17744872 7485358080 1468490 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604458679500256 0 0 -1 13 0 0 0
[pid=16837/tid=16849] ppid=16835 vsize=7309920 CPUtime=173.51 cores=0-31
/proc/16837/task/16849/stat : 16849 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 284199 0 0 0 17074 277 0 0 18 0 32 0 17744872 7485358080 1468490 268435456000 4194304 4580107 140736917695904 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16837/tid=16850] ppid=16835 vsize=7309920 CPUtime=172.53 cores=0-31
/proc/16837/task/16850/stat : 16850 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 285753 0 0 0 16937 316 0 0 18 0 32 0 17744872 7485358080 1468491 268435456000 4194304 4580107 140736917695904 18446744073709551615 4417711 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16837/tid=16851] ppid=16835 vsize=7309920 CPUtime=160.19 cores=0-31
/proc/16837/task/16851/stat : 16851 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 374198 0 0 0 15685 334 0 0 25 0 32 0 17744872 7485358080 1468491 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604465118748128 0 0 -1 1 0 0 0
[pid=16837/tid=16852] ppid=16835 vsize=7309920 CPUtime=160.08 cores=0-31
/proc/16837/task/16852/stat : 16852 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 299595 0 0 0 15719 289 0 0 25 0 32 0 17744872 7485358080 1468493 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505220021728 0 0 -1 10 0 0 0
[pid=16837/tid=16853] ppid=16835 vsize=7309920 CPUtime=160.61 cores=0-31
/proc/16837/task/16853/stat : 16853 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 280627 0 0 0 15757 304 0 0 25 0 32 0 17744872 7485358080 1468493 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604500739014112 0 0 -1 25 0 0 0
[pid=16837/tid=16854] ppid=16835 vsize=7309920 CPUtime=161.12 cores=0-31
/proc/16837/task/16854/stat : 16854 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 379418 0 0 0 15812 300 0 0 25 0 32 0 17744872 7485358080 1468494 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604503030021600 0 0 -1 12 0 0 0
[pid=16837/tid=16855] ppid=16835 vsize=7309920 CPUtime=160.7 cores=0-31
/proc/16837/task/16855/stat : 16855 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 969720 0 0 0 15721 349 0 0 25 0 32 0 17744872 7485358080 1468495 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604495929343456 0 0 -1 4 0 0 0
[pid=16837/tid=16856] ppid=16835 vsize=7309920 CPUtime=160.75 cores=0-31
/proc/16837/task/16856/stat : 16856 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 617975 0 0 0 15743 332 0 0 25 0 32 0 17744872 7485358080 1468496 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604450006146528 0 0 -1 28 0 0 0
[pid=16837/tid=16857] ppid=16835 vsize=7309920 CPUtime=160.12 cores=0-31
/proc/16837/task/16857/stat : 16857 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 268246 0 0 0 15692 320 0 0 25 0 32 0 17744872 7485358080 1468496 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604499448258016 0 0 -1 16 0 0 0
[pid=16837/tid=16858] ppid=16835 vsize=7309920 CPUtime=159.86 cores=0-31
/proc/16837/task/16858/stat : 16858 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 545844 0 0 0 15612 374 0 0 25 0 32 0 17744872 7485358080 1468497 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604481494482400 0 0 -1 11 0 0 0
[pid=16837/tid=16859] ppid=16835 vsize=7309920 CPUtime=160.34 cores=0-31
/proc/16837/task/16859/stat : 16859 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 351217 0 0 0 15707 327 0 0 25 0 32 0 17744872 7485358080 1468498 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604500276182496 0 0 -1 21 0 0 0
[pid=16837/tid=16860] ppid=16835 vsize=7309920 CPUtime=160.66 cores=0-31
/proc/16837/task/16860/stat : 16860 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 349708 0 0 0 15754 312 0 0 25 0 32 0 17744872 7485358080 1468498 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604498745032160 0 0 -1 26 0 0 0
[pid=16837/tid=16861] ppid=16835 vsize=7309920 CPUtime=160.54 cores=0-31
/proc/16837/task/16861/stat : 16861 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 324580 0 0 0 15742 312 0 0 25 0 32 0 17744872 7485358080 1468500 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604490081828320 0 0 -1 6 0 0 0
[pid=16837/tid=16862] ppid=16835 vsize=7309920 CPUtime=161.36 cores=0-31
/proc/16837/task/16862/stat : 16862 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 272260 0 0 0 15850 286 0 0 25 0 32 0 17744872 7485358080 1468500 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604483507559904 0 0 -1 27 0 0 0
[pid=16837/tid=16863] ppid=16835 vsize=7309920 CPUtime=160.62 cores=0-31
/proc/16837/task/16863/stat : 16863 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 275808 0 0 0 15760 302 0 0 25 0 32 0 17744872 7485358080 1468501 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505984277984 0 0 -1 18 0 0 0
[pid=16837/tid=16864] ppid=16835 vsize=7309920 CPUtime=159.25 cores=0-31
/proc/16837/task/16864/stat : 16864 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 241421 0 0 0 15607 318 0 0 25 0 32 0 17744872 7485358080 1468501 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604501447753184 0 0 -1 31 0 0 0
[pid=16837/tid=16865] ppid=16835 vsize=7309920 CPUtime=160.53 cores=0-31
/proc/16837/task/16865/stat : 16865 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 931034 0 0 0 15646 407 0 0 25 0 32 0 17744872 7485358080 1468502 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604501474139616 0 0 -1 2 0 0 0
[pid=16837/tid=16866] ppid=16835 vsize=7309920 CPUtime=160.71 cores=0-31
/proc/16837/task/16866/stat : 16866 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 758405 0 0 0 15700 371 0 0 25 0 32 0 17744872 7485358080 1468502 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505135324640 0 0 -1 30 0 0 0
[pid=16837/tid=16867] ppid=16835 vsize=7309920 CPUtime=160.5 cores=0-31
/proc/16837/task/16867/stat : 16867 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 268820 0 0 0 15755 295 0 0 25 0 32 0 17744872 7485358080 1468504 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604468157144544 0 0 -1 17 0 0 0
[pid=16837/tid=16868] ppid=16835 vsize=7309920 CPUtime=161.45 cores=0-31
/proc/16837/task/16868/stat : 16868 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 56191 0 0 0 15960 185 0 0 25 0 32 0 17744872 7485358080 1468504 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604449534787040 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 5198.71
Current children cumulated vsize (KiB) 7309920

[startup+178.302 s]
/proc/loadavg: 27.54 30.07 31.06 4/445 16875
/proc/meminfo: memFree=256977360/264257624 swapFree=67054988/67111528
[pid=16837] ppid=16835 vsize=7309920 CPUtime=5201.08 cores=0-31
/proc/16837/stat : 16837 (strangenight2-m) S 16835 16837 16461 0 -1 4202496 11991812 0 0 0 510171 9937 0 0 25 0 32 0 17744871 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/16837/statm: 1827480 1473793 379 95 0 1822462 0
[pid=16837/tid=16838] ppid=16835 vsize=7309920 CPUtime=174.26 cores=0-31
/proc/16837/task/16838/stat : 16838 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 303288 0 0 0 17078 348 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354026027 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16837/tid=16839] ppid=16835 vsize=7309920 CPUtime=160.58 cores=0-31
/proc/16837/task/16839/stat : 16839 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 506564 0 0 0 15738 320 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604530414067168 0 0 -1 22 0 0 0
[pid=16837/tid=16840] ppid=16835 vsize=7309920 CPUtime=160.27 cores=0-31
/proc/16837/task/16840/stat : 16840 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 292251 0 0 0 15752 275 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604504371453408 0 0 -1 19 0 0 0
[pid=16837/tid=16841] ppid=16835 vsize=7309920 CPUtime=160.22 cores=0-31
/proc/16837/task/16841/stat : 16841 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 277346 0 0 0 15702 320 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604491841355232 0 0 -1 20 0 0 0
[pid=16837/tid=16842] ppid=16835 vsize=7309920 CPUtime=160.88 cores=0-31
/proc/16837/task/16842/stat : 16842 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 246441 0 0 0 15833 255 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604495301647840 0 0 -1 0 0 0 0
[pid=16837/tid=16843] ppid=16835 vsize=7309920 CPUtime=160.5 cores=0-31
/proc/16837/task/16843/stat : 16843 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 255187 0 0 0 15748 302 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505446825440 0 0 -1 15 0 0 0
[pid=16837/tid=16844] ppid=16835 vsize=7309920 CPUtime=160.42 cores=0-31
/proc/16837/task/16844/stat : 16844 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 297181 0 0 0 15747 295 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604503689174496 0 0 -1 3 0 0 0
[pid=16837/tid=16845] ppid=16835 vsize=7309920 CPUtime=159.37 cores=0-31
/proc/16837/task/16845/stat : 16845 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 266285 0 0 0 15641 296 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604502510271968 0 0 -1 7 0 0 0
[pid=16837/tid=16846] ppid=16835 vsize=7309920 CPUtime=168.3 cores=0-31
/proc/16837/task/16846/stat : 16846 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 233547 0 0 0 16569 261 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604486366641632 0 0 -1 18 0 0 0
[pid=16837/tid=16847] ppid=16835 vsize=7309920 CPUtime=172.47 cores=0-31
/proc/16837/task/16847/stat : 16847 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 362782 0 0 0 16955 292 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604500825996768 0 0 -1 24 0 0 0
[pid=16837/tid=16848] ppid=16835 vsize=7309920 CPUtime=166.34 cores=0-31
/proc/16837/task/16848/stat : 16848 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 438097 0 0 0 16309 325 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604458679500256 0 0 -1 13 0 0 0
[pid=16837/tid=16849] ppid=16835 vsize=7309920 CPUtime=174.3 cores=0-31
/proc/16837/task/16849/stat : 16849 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 288055 0 0 0 17150 280 0 0 18 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16837/tid=16850] ppid=16835 vsize=7309920 CPUtime=173.31 cores=0-31
/proc/16837/task/16850/stat : 16850 (strangenight2-m) R 16835 16837 16461 0 -1 4202560 287730 0 0 0 17013 318 0 0 18 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16837/tid=16851] ppid=16835 vsize=7309920 CPUtime=160.19 cores=0-31
/proc/16837/task/16851/stat : 16851 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 374198 0 0 0 15685 334 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604465118748128 0 0 -1 1 0 0 0
[pid=16837/tid=16852] ppid=16835 vsize=7309920 CPUtime=160.08 cores=0-31
/proc/16837/task/16852/stat : 16852 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 299595 0 0 0 15719 289 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505220021728 0 0 -1 10 0 0 0
[pid=16837/tid=16853] ppid=16835 vsize=7309920 CPUtime=160.61 cores=0-31
/proc/16837/task/16853/stat : 16853 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 280627 0 0 0 15757 304 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604500739014112 0 0 -1 25 0 0 0
[pid=16837/tid=16854] ppid=16835 vsize=7309920 CPUtime=161.12 cores=0-31
/proc/16837/task/16854/stat : 16854 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 379418 0 0 0 15812 300 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604503030021600 0 0 -1 12 0 0 0
[pid=16837/tid=16855] ppid=16835 vsize=7309920 CPUtime=160.7 cores=0-31
/proc/16837/task/16855/stat : 16855 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 969720 0 0 0 15721 349 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604495929343456 0 0 -1 4 0 0 0
[pid=16837/tid=16856] ppid=16835 vsize=7309920 CPUtime=160.75 cores=0-31
/proc/16837/task/16856/stat : 16856 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 617975 0 0 0 15743 332 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604450006146528 0 0 -1 28 0 0 0
[pid=16837/tid=16857] ppid=16835 vsize=7309920 CPUtime=160.12 cores=0-31
/proc/16837/task/16857/stat : 16857 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 268246 0 0 0 15692 320 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604499448258016 0 0 -1 16 0 0 0
[pid=16837/tid=16858] ppid=16835 vsize=7309920 CPUtime=159.86 cores=0-31
/proc/16837/task/16858/stat : 16858 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 545844 0 0 0 15612 374 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604481494482400 0 0 -1 11 0 0 0
[pid=16837/tid=16859] ppid=16835 vsize=7309920 CPUtime=160.34 cores=0-31
/proc/16837/task/16859/stat : 16859 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 351217 0 0 0 15707 327 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604500276182496 0 0 -1 21 0 0 0
[pid=16837/tid=16860] ppid=16835 vsize=7309920 CPUtime=160.66 cores=0-31
/proc/16837/task/16860/stat : 16860 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 349708 0 0 0 15754 312 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604498745032160 0 0 -1 26 0 0 0
[pid=16837/tid=16861] ppid=16835 vsize=7309920 CPUtime=160.54 cores=0-31
/proc/16837/task/16861/stat : 16861 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 324580 0 0 0 15742 312 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604490081828320 0 0 -1 6 0 0 0
[pid=16837/tid=16862] ppid=16835 vsize=7309920 CPUtime=161.36 cores=0-31
/proc/16837/task/16862/stat : 16862 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 272260 0 0 0 15850 286 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604483507559904 0 0 -1 27 0 0 0
[pid=16837/tid=16863] ppid=16835 vsize=7309920 CPUtime=160.62 cores=0-31
/proc/16837/task/16863/stat : 16863 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 275808 0 0 0 15760 302 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505984277984 0 0 -1 18 0 0 0
[pid=16837/tid=16864] ppid=16835 vsize=7309920 CPUtime=159.25 cores=0-31
/proc/16837/task/16864/stat : 16864 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 241421 0 0 0 15607 318 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604501447753184 0 0 -1 31 0 0 0
[pid=16837/tid=16865] ppid=16835 vsize=7309920 CPUtime=160.53 cores=0-31
/proc/16837/task/16865/stat : 16865 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 931034 0 0 0 15646 407 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604501474139616 0 0 -1 2 0 0 0
[pid=16837/tid=16866] ppid=16835 vsize=7309920 CPUtime=160.71 cores=0-31
/proc/16837/task/16866/stat : 16866 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 758405 0 0 0 15700 371 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604505135324640 0 0 -1 30 0 0 0
[pid=16837/tid=16867] ppid=16835 vsize=7309920 CPUtime=160.5 cores=0-31
/proc/16837/task/16867/stat : 16867 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 268820 0 0 0 15755 295 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604468157144544 0 0 -1 17 0 0 0
[pid=16837/tid=16868] ppid=16835 vsize=7309920 CPUtime=161.45 cores=0-31
/proc/16837/task/16868/stat : 16868 (strangenight2-m) S 16835 16837 16461 0 -1 4202560 56191 0 0 0 15960 185 0 0 25 0 32 0 17744872 7485358080 1473793 268435456000 4194304 4580107 140736917695904 18446744073709551615 47170354050612 0 0 4096 2 18446604449534787040 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 5201.08
Current children cumulated vsize (KiB) 7309920

[startup+178.702 s]
/proc/loadavg: 27.54 30.07 31.06 4/445 16875
/proc/meminfo: memFree=256977360/264257624 swapFree=67054988/67111528
[pid=16837] ppid=16835 vsize=0 CPUtime=5202.21 cores=0-31
/proc/16837/stat : 16837 (strangenight2-m) Z 16835 16837 16461 0 -1 4203548 11991819 0 0 0 510279 9942 0 0 18 0 2 0 17744871 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/16837/statm: 0 0 0 0 0 0 0
[pid=16837/tid=16863] ppid=16835 vsize=0 CPUtime=160.63 cores=0-31
/proc/16837/task/16863/stat : 16863 (strangenight2-m) R 16835 16837 16461 0 -1 4203588 275808 0 0 0 15760 303 0 0 18 0 2 0 17744872 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 5202.21
Current children cumulated vsize (KiB) 0

[startup+179.101 s]
/proc/loadavg: 27.54 30.07 31.06 4/445 16875
/proc/meminfo: memFree=256977360/264257624 swapFree=67054988/67111528
[pid=16837] ppid=16835 vsize=0 CPUtime=5202.6 cores=0-31
/proc/16837/stat : 16837 (strangenight2-m) Z 16835 16837 16461 0 -1 4203548 11991819 0 0 0 510279 9981 0 0 18 0 2 0 17744871 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/16837/statm: 0 0 0 0 0 0 0
[pid=16837/tid=16863] ppid=16835 vsize=0 CPUtime=161.02 cores=0-31
/proc/16837/task/16863/stat : 16863 (strangenight2-m) R 16835 16837 16461 0 -1 4203588 275808 0 0 0 15760 342 0 0 18 0 2 0 17744872 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 5202.6
Current children cumulated vsize (KiB) 0

[startup+179.201 s]
/proc/loadavg: 25.42 29.59 30.90 2/415 16875
/proc/meminfo: memFree=261391016/264257624 swapFree=67054988/67111528
[pid=16837] ppid=16835 vsize=0 CPUtime=5202.74 cores=0-31
/proc/16837/stat : 16837 (strangenight2-m) Z 16835 16837 16461 0 -1 4203548 11991819 0 0 0 510279 9995 0 0 18 0 2 0 17744871 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/16837/statm: 0 0 0 0 0 0 0
[pid=16837/tid=16863] ppid=16835 vsize=0 CPUtime=161.16 cores=0-31
/proc/16837/task/16863/stat : 16863 (strangenight2-m) R 16835 16837 16461 0 -1 4203588 275808 0 0 0 15760 356 0 0 18 0 2 0 17744872 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 5202.74
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 179.319
CPU time (s): 5202.83
CPU user time (s): 5102.79
CPU system time (s): 100.037
CPU usage (%): 2901.43
Max. virtual memory (cumulated for all children) (KiB): 7309920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5102.79
system time used= 100.037
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11991819
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= 1887867
involuntary context switches= 26996

runsolver used 1.15682 second user time and 4.14637 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 18:25:25
IDJOB=3400902
IDBENCH=88143
IDSOLVER=1886
FILE ID=node200/3400902-1307118324
RUNJOBID= node200-1307118202-16475
PBS_JOBID= 13498415
Free space on /tmp= 61732 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400902-1307118324/watcher-3400902-1307118324 -o /tmp/evaluation-result-3400902-1307118324/solver-3400902-1307118324 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400902-1307118324.cnf

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

MD5SUM BENCH= c139a321e75833c70af36726562b66de
RANDOM SEED=520707892

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.043
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.043
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.05
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.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.06
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.043
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	: 3989.96
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.043
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.09
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.043
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.05
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.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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	: 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.043
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.35
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.043
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:      262869464 kB
Buffers:        125424 kB
Cached:        1060568 kB
SwapCached:       8472 kB
Active:         124652 kB
Inactive:      1080384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262869464 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:           16088 kB
Writeback:         104 kB
AnonPages:       16852 kB
Mapped:           8528 kB
Slab:            90656 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   177200 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= 61728 MiB
End job on node200 at 2011-06-03 18:28:24