Trace number 3400735

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 8874.13 287.531

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
MD5SUMa85b6db657886fb2a1a46ae1fe4d7999
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6881.08
Satisfiable
(Un)Satisfiability was proved
Number of variables257380
Number of clauses2139615
Sum of the clauses size5163755
Maximum clause length541
Minimum clause length1
Number of clauses of size 1625
Number of clauses of size 22096290
Number of clauses of size 30
Number of clauses of size 4280
Number of clauses of size 51400
Number of clauses of size over 541020

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3400735-1306430147.cnf'
0.00/0.09	c -- header says num vars:         257380
0.00/0.09	c -- header says num clauses:     2139615
139.18/10.06	c -- clauses added:            0 learnts,      2139615 normals,            0 xors
139.18/10.06	c -- vars added     257380
139.18/10.06	c Parsing time:  1.85 s
139.18/10.06	c  N st     0         0    257380     34077   1655107         0   4062497         0   no data   no data
177.75/11.38	c asymm  cl-useful: 5/114/33345 lits-rem:628 time: 0.98
611.91/25.21	c Flit:   158 Blit:   8588 bXBeca:    0 bXProp:  155 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 14.04
611.91/25.30	c Cleaning up after failed var search:     0.08 s 
616.47/25.48	c Replacing      155 vars Replaced     3359 lits Time:     0.17 s 
665.66/27.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
674.98/28.14	c bin-w-bin subsume rem          393 bins  time:  0.26 s
792.34/31.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.64 s
935.01/37.45	c Subs w/ non-existent bins:      0 l-rem:     58 v-fix:   116 done:  14648 time:  3.54 s
940.79/37.65	c Removed useless bin:     499  fixed:     0  props:  20.01M  time:  0.20 s
1013.88/39.91	c lits-rem:         0  cl-subs:       67  v-elim:   3010  v-fix:    0  time:  2.17 s
1017.09/40.01	c Finding binary XORs  T:     0.10 s  found:     442
1020.29/40.16	c Replacing      442 vars Replaced    42586 lits Time:     0.16 s 
1023.48/40.29	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1023.48/40.29	c calculated reachability. Time: 0.01
1026.68/40.36	c Calc default polars -  time:   0.07 s pos:    1773 undec:   77250 neg:  178357
1026.68/40.36	c =========================================================================================
1026.68/40.36	c types(t): F = full restart, N = normal restart
1026.68/40.36	c types(t): S = simplification begin/end, E = solution found
1026.68/40.36	c restart types(rt): st = static, dy = dynamic
1026.68/40.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1026.68/40.36	c  B st     0         0    180131     37018   1487275         0   3691945         0   no data   no data
2098.10/73.89	c  N dy     9      4349    180098     37018   1487371      4185   3691945   6753587      9.17      9.76
3223.15/109.02	c  N dy    37      8535    178769     37018   1489215      5485   3691945   4995179     10.67     11.27
4488.75/148.70	c  N dy    58     12610    176995     36719   1467124      4735   3629170    970983     10.50     11.99
5395.84/177.00	c  N dy    83     16615    176852     36719   1467166      8666   3629170   6410696     10.83     11.63
7262.84/235.42	c  N dy   107     20958    175258     36719   1469538      6920   3629170   2132747     10.96     11.69
8493.38/273.95	c  F st   128     25001    175119     36383   1454576     10636   3591718   9899450     10.92     12.07
8508.76/274.41	c  N st   128     25001    175119     36383   1454554     10636   3591664   9899079     10.92     12.07
8774.67/282.76	c Finding binary XORs  T:     0.11 s  found:     428
8873.44/286.94	c Following stats are for *FIRST FINISHED THREAD ONLY*
8873.44/286.94	c num threads              : 32         
8873.44/286.94	c restarts                 : 90         
8873.44/286.94	c dynamic restarts         : 79         
8873.44/286.94	c static restarts          : 11         
8873.44/286.94	c full restarts            : 1          
8873.44/286.94	c total simplify time      : 0.58       
8873.44/286.94	c learnts DL2              : 0          
8873.44/286.94	c learnts size 2           : 1665693    
8873.44/286.94	c learnts size 1           : 200460      (77.88     % of vars)
8873.44/286.94	c filedLit time            : 14.34       (5.23      % time)
8873.44/286.94	c v-elim SatELite          : 2957        (1.15      % vars)
8873.44/286.94	c SatELite time            : 5.39        (1.97      % time)
8873.44/286.94	c v-elim xor               : 0           (0.00      % vars)
8873.44/286.94	c xor elim time            : 0.00        (0.00      % time)
8873.44/286.94	c num binary xor trees     : 599        
8873.44/286.94	c binxor trees' crown      : 607         (1.01      leafs/tree)
8873.44/286.94	c bin xor find time        : 0.10       
8873.44/286.94	c OTF clause improved      : 276         (0.01      clauses/conflict)
8873.44/286.94	c OTF impr. size diff      : 2129        (7.71       lits/clause)
8873.44/286.94	c OTF cl watch-shrink      : 18793       (0.69      clauses/conflict)
8873.44/286.94	c OTF cl watch-sh-lit      : 2794051     (148.68     lits/clause)
8873.44/286.94	c tried to recurMin cls    : 0           (0.00       % of conflicts)
8873.44/286.94	c updated cache            : 0           (nan        lits/tried recurMin)
8873.44/286.94	c unit cls recevied        : 2228        (1.11      % of units)
8873.44/286.94	c unit cls sent            : 367         (0.18      % of units)
8873.44/286.94	c bin cls recevied         : 8997       
8873.44/286.94	c bin cls sent             : 273        
8873.44/286.94	c clauses over max glue    : 0           (0.00      % of all clauses)
8873.44/286.94	c conflicts                : 27056       (98.64     / sec)
8873.44/286.94	c decisions                : 163860      (0.00      % random)
8873.44/286.94	c bogo-props               : 2772128510  (10106623.21 / sec)
8873.44/286.94	c conflict literals        : 49622246    (32.58     % deleted)
8873.44/286.94	c Memory used              : 11425.52    MB
8873.44/286.94	c single-thread CPU time   : 274.29      s
8873.44/286.94	c all-threads sum CPU time : 8759.30     s
8873.44/286.94	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400735-1306430147/watcher-3400735-1306430147 -o /tmp/evaluation-result-3400735-1306430147/solver-3400735-1306430147 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400735-1306430147.cnf 

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

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


[startup+0 s]
/proc/loadavg: 18.04 27.87 29.70 1/413 9046
/proc/meminfo: memFree=263893704/264257624 swapFree=67046588/67111528
[pid=9046] ppid=9044 vsize=338000 CPUtime=0.79 cores=0-31
/proc/9046/stat : 9046 (strangenight2-m) R 9044 9046 9020 0 -1 4202496 465 0 0 0 79 0 0 0 22 0 32 0 2655015 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033872 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9046/statm: 84500 405 300 95 0 79482 0
[pid=9046/tid=9047] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9047/stat : 9047 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033875 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9046/tid=9048] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9048/stat : 9048 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033875 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9046/tid=9049] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9049/stat : 9049 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9046/tid=9050] ppid=9044 vsize=338000 CPUtime=0 cores=0-31
/proc/9046/task/9050/stat : 9050 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033872 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9046/tid=9051] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9051/stat : 9051 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033885 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9046/tid=9052] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9052/stat : 9052 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9046/tid=9053] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9053/stat : 9053 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9046/tid=9054] ppid=9044 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9046/task/9054/stat : 9054 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9046/tid=9055] ppid=9044 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9046/task/9055/stat : 9055 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9046/tid=9056] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9056/stat : 9056 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9046/tid=9057] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9057/stat : 9057 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9046/tid=9058] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9058/stat : 9058 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033872 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9046/tid=9059] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9059/stat : 9059 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033875 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9046/tid=9060] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9060/stat : 9060 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9046/tid=9061] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9061/stat : 9061 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9046/tid=9062] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9062/stat : 9062 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9046/tid=9063] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9063/stat : 9063 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9046/tid=9064] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9064/stat : 9064 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9046/tid=9065] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9065/stat : 9065 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9046/tid=9066] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9066/stat : 9066 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9046/tid=9067] ppid=9044 vsize=338000 CPUtime=0 cores=0-31
/proc/9046/task/9067/stat : 9067 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679034290 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9046/tid=9068] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9068/stat : 9068 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9046/tid=9069] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9069/stat : 9069 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9046/tid=9070] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9070/stat : 9070 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9046/tid=9071] ppid=9044 vsize=338000 CPUtime=0 cores=0-31
/proc/9046/task/9071/stat : 9071 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9046/tid=9072] ppid=9044 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9046/task/9072/stat : 9072 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9046/tid=9073] ppid=9044 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9046/task/9073/stat : 9073 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9046/tid=9074] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9074/stat : 9074 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033875 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9046/tid=9075] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9075/stat : 9075 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9046/tid=9076] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9076/stat : 9076 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033881 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9046/tid=9077] ppid=9044 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9046/task/9077/stat : 9077 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 2655016 346112000 405 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033885 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.134855 s]
/proc/loadavg: 18.04 27.87 29.70 1/413 9046
/proc/meminfo: memFree=263893704/264257624 swapFree=67046588/67111528
[pid=9046] ppid=9044 vsize=1071480 CPUtime=2.46 cores=0-31
/proc/9046/stat : 9046 (strangenight2-m) S 9044 9046 9020 0 -1 4202496 15901 0 0 0 172 74 0 0 17 0 32 0 2655015 1097195520 15128 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9046/statm: 267966 15212 333 95 0 262948 0
[pid=9046/tid=9047] ppid=9044 vsize=1071864 CPUtime=0.08 cores=0-31
/proc/9046/task/9047/stat : 9047 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 515 0 0 0 6 2 0 0 17 0 32 0 2655016 1097588736 15212 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566927544 0 0 -1 1 0 0 0
[pid=9046/tid=9048] ppid=9044 vsize=1071864 CPUtime=0.06 cores=0-31
/proc/9046/task/9048/stat : 9048 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 270 0 0 0 5 1 0 0 17 0 32 0 2655016 1097588736 15214 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566928064 0 0 -1 2 0 0 0
[pid=9046/tid=9049] ppid=9044 vsize=1072124 CPUtime=0.06 cores=0-31
/proc/9046/task/9049/stat : 9049 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 347 0 0 0 5 1 0 0 17 0 32 0 2655016 1097854976 15298 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9046/tid=9050] ppid=9044 vsize=1072124 CPUtime=0.02 cores=0-31
/proc/9046/task/9050/stat : 9050 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 587 0 0 0 0 2 0 0 17 0 32 0 2655016 1097854976 15312 268435456000 4194304 4580107 140737401905520 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9046/tid=9051] ppid=9044 vsize=1072124 CPUtime=0.06 cores=0-31
/proc/9046/task/9051/stat : 9051 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 372 0 0 0 5 1 0 0 17 0 32 0 2655016 1097854976 15312 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9046/tid=9052] ppid=9044 vsize=1072124 CPUtime=0.07 cores=0-31
/proc/9046/task/9052/stat : 9052 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 412 0 0 0 5 2 0 0 17 0 32 0 2655016 1097854976 15316 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9046/tid=9053] ppid=9044 vsize=1072124 CPUtime=0.07 cores=0-31
/proc/9046/task/9053/stat : 9053 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 740 0 0 0 5 2 0 0 18 0 32 0 2655016 1097854976 15405 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9046/tid=9054] ppid=9044 vsize=1072124 CPUtime=0.09 cores=0-31
/proc/9046/task/9054/stat : 9054 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 657 0 0 0 6 3 0 0 17 0 32 0 2655016 1097854976 15412 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9046/tid=9055] ppid=9044 vsize=1071864 CPUtime=0.07 cores=0-31
/proc/9046/task/9055/stat : 9055 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 367 0 0 0 6 1 0 0 17 0 32 0 2655016 1097588736 15382 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604493473193440 0 0 -1 6 0 0 0
[pid=9046/tid=9056] ppid=9044 vsize=1071864 CPUtime=0.06 cores=0-31
/proc/9046/task/9056/stat : 9056 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 375 0 0 0 5 1 0 0 17 0 32 0 2655016 1097588736 15542 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9046/tid=9057] ppid=9044 vsize=1071864 CPUtime=0.08 cores=0-31
/proc/9046/task/9057/stat : 9057 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 453 0 0 0 6 2 0 0 17 0 32 0 2655016 1097588736 15554 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566925824 0 0 -1 9 0 0 0
[pid=9046/tid=9058] ppid=9044 vsize=1071864 CPUtime=0.06 cores=0-31
/proc/9046/task/9058/stat : 9058 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 270 0 0 0 5 1 0 0 17 0 32 0 2655016 1097588736 15558 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566927544 0 0 -1 10 0 0 0
[pid=9046/tid=9059] ppid=9044 vsize=1071864 CPUtime=0.08 cores=0-31
/proc/9046/task/9059/stat : 9059 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 529 0 0 0 6 2 0 0 17 0 32 0 2655016 1097588736 15557 268435456000 4194304 4580107 140737401905520 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9046/tid=9060] ppid=9044 vsize=1071864 CPUtime=0.08 cores=0-31
/proc/9046/task/9060/stat : 9060 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 470 0 0 0 6 2 0 0 17 0 32 0 2655016 1097588736 15572 268435456000 4194304 4580107 140737401905520 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9046/tid=9061] ppid=9044 vsize=1071864 CPUtime=0.07 cores=0-31
/proc/9046/task/9061/stat : 9061 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 638 0 0 0 5 2 0 0 17 0 32 0 2655016 1097588736 15576 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9046/tid=9062] ppid=9044 vsize=1071864 CPUtime=0.07 cores=0-31
/proc/9046/task/9062/stat : 9062 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 643 0 0 0 5 2 0 0 17 0 32 0 2655016 1097588736 15582 268435456000 4194304 4580107 140737401905520 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9046/tid=9063] ppid=9044 vsize=1071864 CPUtime=0.06 cores=0-31
/proc/9046/task/9063/stat : 9063 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 277 0 0 0 5 1 0 0 17 0 32 0 2655016 1097588736 15588 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604491472420320 0 0 -1 17 0 0 0
[pid=9046/tid=9064] ppid=9044 vsize=1071864 CPUtime=0.07 cores=0-31
/proc/9046/task/9064/stat : 9064 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 566 0 0 0 5 2 0 0 17 0 32 0 2655016 1097588736 15604 268435456000 4194304 4580107 140737401905520 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9046/tid=9065] ppid=9044 vsize=1071864 CPUtime=0.08 cores=0-31
/proc/9046/task/9065/stat : 9065 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 650 0 0 0 6 2 0 0 17 0 32 0 2655016 1097588736 15605 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9046/tid=9066] ppid=9044 vsize=1071864 CPUtime=0.07 cores=0-31
/proc/9046/task/9066/stat : 9066 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 749 0 0 0 5 2 0 0 18 0 32 0 2655016 1097588736 15620 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9046/tid=9067] ppid=9044 vsize=1071864 CPUtime=0.01 cores=0-31
/proc/9046/task/9067/stat : 9067 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 323 0 0 0 0 1 0 0 17 0 32 0 2655016 1097588736 15631 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566930984 0 0 -1 23 0 0 0
[pid=9046/tid=9068] ppid=9044 vsize=1072380 CPUtime=0.06 cores=0-31
/proc/9046/task/9068/stat : 9068 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 275 0 0 0 5 1 0 0 17 0 32 0 2655016 1098117120 15654 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604493960166880 0 0 -1 21 0 0 0
[pid=9046/tid=9069] ppid=9044 vsize=1072380 CPUtime=0.07 cores=0-31
/proc/9046/task/9069/stat : 9069 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 621 0 0 0 5 2 0 0 17 0 32 0 2655016 1098117120 15690 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9046/tid=9070] ppid=9044 vsize=1072528 CPUtime=0.07 cores=0-31
/proc/9046/task/9070/stat : 9070 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 550 0 0 0 5 2 0 0 17 0 32 0 2655016 1098268672 15694 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604496347717088 0 0 -1 12 0 0 0
[pid=9046/tid=9071] ppid=9044 vsize=1072528 CPUtime=0.05 cores=0-31
/proc/9046/task/9071/stat : 9071 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 541 0 0 0 3 2 0 0 17 0 32 0 2655016 1098268672 15699 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566928544 0 0 -1 31 0 0 0
[pid=9046/tid=9072] ppid=9044 vsize=1072528 CPUtime=0.06 cores=0-31
/proc/9046/task/9072/stat : 9072 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 595 0 0 0 4 2 0 0 17 0 32 0 2655016 1098268672 15720 268435456000 4194304 4580107 140737401905520 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9046/tid=9073] ppid=9044 vsize=1072528 CPUtime=0.06 cores=0-31
/proc/9046/task/9073/stat : 9073 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 546 0 0 0 4 2 0 0 17 0 32 0 2655016 1098268672 15731 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604492680371680 0 0 -1 29 0 0 0
[pid=9046/tid=9074] ppid=9044 vsize=1072528 CPUtime=0.08 cores=0-31
/proc/9046/task/9074/stat : 9074 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 618 0 0 0 5 3 0 0 22 0 32 0 2655016 1098268672 15742 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9046/tid=9075] ppid=9044 vsize=1072528 CPUtime=0.07 cores=0-31
/proc/9046/task/9075/stat : 9075 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 650 0 0 0 5 2 0 0 17 0 32 0 2655016 1098268672 15768 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9046/tid=9076] ppid=9044 vsize=1072528 CPUtime=0.08 cores=0-31
/proc/9046/task/9076/stat : 9076 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 726 0 0 0 5 3 0 0 17 0 32 0 2655016 1098268672 15703 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9046/tid=9077] ppid=9044 vsize=1072268 CPUtime=0.06 cores=0-31
/proc/9046/task/9077/stat : 9077 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 303 0 0 0 5 1 0 0 17 0 32 0 2655016 1098002432 15712 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604498012519904 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 1071480

[startup+0.204955 s]
/proc/loadavg: 18.04 27.87 29.70 1/413 9046
/proc/meminfo: memFree=263893704/264257624 swapFree=67046588/67111528
[pid=9046] ppid=9044 vsize=1321108 CPUtime=3.57 cores=0-31
/proc/9046/stat : 9046 (strangenight2-m) S 9044 9046 9020 0 -1 4202496 33634 0 0 0 226 131 0 0 17 0 32 0 2655015 1352814592 29780 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9046/statm: 330277 30089 336 95 0 325259 0
[pid=9046/tid=9047] ppid=9044 vsize=1321108 CPUtime=0.12 cores=0-31
/proc/9046/task/9047/stat : 9047 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 1225 0 0 0 8 4 0 0 17 0 32 0 2655016 1352814592 30089 268435456000 4194304 4580107 140737401905520 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9046/tid=9048] ppid=9044 vsize=1321108 CPUtime=0.07 cores=0-31
/proc/9046/task/9048/stat : 9048 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 313 0 0 0 6 1 0 0 17 0 32 0 2655016 1352814592 30089 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 2 0 0 0
[pid=9046/tid=9049] ppid=9044 vsize=1321108 CPUtime=0.11 cores=0-31
/proc/9046/task/9049/stat : 9049 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 1219 0 0 0 7 4 0 0 17 0 32 0 2655016 1352814592 30089 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650653361 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9046/tid=9050] ppid=9044 vsize=1321108 CPUtime=0.05 cores=0-31
/proc/9046/task/9050/stat : 9050 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 1130 0 0 0 1 4 0 0 17 0 32 0 2655016 1352814592 30089 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9046/tid=9051] ppid=9044 vsize=1321108 CPUtime=0.08 cores=0-31
/proc/9046/task/9051/stat : 9051 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 827 0 0 0 6 2 0 0 17 0 32 0 2655016 1352814592 30089 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604496347717088 0 0 -1 0 0 0 0
[pid=9046/tid=9052] ppid=9044 vsize=1321248 CPUtime=0.1 cores=0-31
/proc/9046/task/9052/stat : 9052 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 962 0 0 0 6 4 0 0 17 0 32 0 2655016 1352957952 30092 268435456000 4194304 4580107 140737401905520 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9046/tid=9053] ppid=9044 vsize=1321248 CPUtime=0.14 cores=0-31
/proc/9046/task/9053/stat : 9053 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1681 0 0 0 8 6 0 0 18 0 32 0 2655016 1352957952 30106 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9046/tid=9054] ppid=9044 vsize=1321248 CPUtime=0.13 cores=0-31
/proc/9046/task/9054/stat : 9054 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 1456 0 0 0 8 5 0 0 18 0 32 0 2655016 1352957952 30106 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9046/tid=9055] ppid=9044 vsize=1321248 CPUtime=0.1 cores=0-31
/proc/9046/task/9055/stat : 9055 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 837 0 0 0 8 2 0 0 17 0 32 0 2655016 1352957952 30106 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446744071566928544 0 0 -1 6 0 0 0
[pid=9046/tid=9056] ppid=9044 vsize=1321248 CPUtime=0.09 cores=0-31
/proc/9046/task/9056/stat : 9056 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 783 0 0 0 7 2 0 0 17 0 32 0 2655016 1352957952 30106 268435456000 4194304 4580107 140737401905520 18446744073709551615 4512101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9046/tid=9057] ppid=9044 vsize=1321248 CPUtime=0.11 cores=0-31
/proc/9046/task/9057/stat : 9057 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 961 0 0 0 8 3 0 0 17 0 32 0 2655016 1352957952 30106 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650653361 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9046/tid=9058] ppid=9044 vsize=1321388 CPUtime=0.07 cores=0-31
/proc/9046/task/9058/stat : 9058 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 552 0 0 0 6 1 0 0 17 0 32 0 2655016 1353101312 30108 268435456000 4194304 4580107 140737401905520 18446744073709551615 258651060958 0 0 4096 2 18446604490484153824 0 0 -1 10 0 0 0
[pid=9046/tid=9059] ppid=9044 vsize=1321388 CPUtime=0.12 cores=0-31
/proc/9046/task/9059/stat : 9059 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 1119 0 0 0 7 5 0 0 17 0 32 0 2655016 1353101312 30336 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9046/tid=9060] ppid=9044 vsize=1321388 CPUtime=0.11 cores=0-31
/proc/9046/task/9060/stat : 9060 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 966 0 0 0 8 3 0 0 17 0 32 0 2655016 1353101312 30339 268435456000 4194304 4580107 140737401905520 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9046/tid=9061] ppid=9044 vsize=1321388 CPUtime=0.11 cores=0-31
/proc/9046/task/9061/stat : 9061 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 1344 0 0 0 7 4 0 0 17 0 32 0 2655016 1353101312 30351 268435456000 4194304 4580107 140737401905520 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9046/tid=9062] ppid=9044 vsize=1322656 CPUtime=0.12 cores=0-31
/proc/9046/task/9062/stat : 9062 (strangenight2-m) D 9044 9046 9020 0 -1 4202560 1226 0 0 0 7 5 0 0 17 0 32 0 2655016 1354399744 30521 268435456000 4194304 4580107 140737401905520 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9046/tid=9063] ppid=9044 vsize=1322656 CPUtime=0.08 cores=0-31

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

/proc/9046/stat : 9046 (strangenight2-m) R 9044 9046 9020 0 -1 4202496 3109852 0 0 0 872696 11423 0 0 25 0 32 0 2655015 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316647 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/9046/statm: 2924933 1706529 377 95 0 2919915 0
[pid=9046/tid=9047] ppid=9044 vsize=11699732 CPUtime=275.54 cores=0-31
/proc/9046/task/9047/stat : 9047 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 94554 0 0 0 27214 340 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4317443 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9046/tid=9048] ppid=9044 vsize=11699732 CPUtime=277.87 cores=0-31
/proc/9046/task/9048/stat : 9048 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 101220 0 0 0 27443 344 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316519 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9046/tid=9049] ppid=9044 vsize=11699732 CPUtime=278.3 cores=0-31
/proc/9046/task/9049/stat : 9049 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 107438 0 0 0 27498 332 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316796 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9046/tid=9050] ppid=9044 vsize=11699732 CPUtime=276.97 cores=0-31
/proc/9046/task/9050/stat : 9050 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 96524 0 0 0 27309 388 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4317443 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9046/tid=9051] ppid=9044 vsize=11699732 CPUtime=275.52 cores=0-31
/proc/9046/task/9051/stat : 9051 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 93547 0 0 0 27215 337 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9046/tid=9052] ppid=9044 vsize=11699732 CPUtime=276.44 cores=0-31
/proc/9046/task/9052/stat : 9052 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 100654 0 0 0 27271 373 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9046/tid=9053] ppid=9044 vsize=11699732 CPUtime=278.35 cores=0-31
/proc/9046/task/9053/stat : 9053 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 99687 0 0 0 27528 307 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9046/tid=9054] ppid=9044 vsize=11699732 CPUtime=275.54 cores=0-31
/proc/9046/task/9054/stat : 9054 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 99327 0 0 0 27178 376 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9046/tid=9055] ppid=9044 vsize=11699732 CPUtime=278.09 cores=0-31
/proc/9046/task/9055/stat : 9055 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 86344 0 0 0 27476 333 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9046/tid=9056] ppid=9044 vsize=11699732 CPUtime=275.65 cores=0-31
/proc/9046/task/9056/stat : 9056 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 89530 0 0 0 27207 358 0 0 25 0 32 0 2655016 11980525568 1706529 268435456000 4194304 4580107 140737401905520 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9046/tid=9057] ppid=9044 vsize=11699732 CPUtime=275.38 cores=0-31
/proc/9046/task/9057/stat : 9057 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 94910 0 0 0 27181 357 0 0 25 0 32 0 2655016 11980525568 1706530 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9046/tid=9058] ppid=9044 vsize=11699732 CPUtime=276.06 cores=0-31
/proc/9046/task/9058/stat : 9058 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 93555 0 0 0 27235 371 0 0 25 0 32 0 2655016 11980525568 1706530 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316688 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9046/tid=9059] ppid=9044 vsize=11699732 CPUtime=275.94 cores=0-31
/proc/9046/task/9059/stat : 9059 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 97810 0 0 0 27219 375 0 0 25 0 32 0 2655016 11980525568 1706530 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9046/tid=9060] ppid=9044 vsize=11699732 CPUtime=275.34 cores=0-31
/proc/9046/task/9060/stat : 9060 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 100672 0 0 0 27160 374 0 0 25 0 32 0 2655016 11980525568 1706530 268435456000 4194304 4580107 140737401905520 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9046/tid=9061] ppid=9044 vsize=11699732 CPUtime=275.77 cores=0-31
/proc/9046/task/9061/stat : 9061 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 103804 0 0 0 27182 395 0 0 25 0 32 0 2655016 11980525568 1706530 268435456000 4194304 4580107 140737401905520 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9046/tid=9062] ppid=9044 vsize=11699732 CPUtime=277.85 cores=0-31
/proc/9046/task/9062/stat : 9062 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 101601 0 0 0 27423 362 0 0 25 0 32 0 2655016 11980525568 1706530 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316529 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9046/tid=9063] ppid=9044 vsize=11699732 CPUtime=275.41 cores=0-31
/proc/9046/task/9063/stat : 9063 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 98507 0 0 0 27173 368 0 0 25 0 32 0 2655016 11980525568 1706531 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9046/tid=9064] ppid=9044 vsize=11699732 CPUtime=277.7 cores=0-31
/proc/9046/task/9064/stat : 9064 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 106950 0 0 0 27411 359 0 0 25 0 32 0 2655016 11980525568 1706531 268435456000 4194304 4580107 140737401905520 18446744073709551615 4320741 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9046/tid=9065] ppid=9044 vsize=11699732 CPUtime=276.12 cores=0-31
/proc/9046/task/9065/stat : 9065 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 90209 0 0 0 27250 362 0 0 25 0 32 0 2655016 11980525568 1706531 268435456000 4194304 4580107 140737401905520 18446744073709551615 4320818 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9046/tid=9066] ppid=9044 vsize=11699732 CPUtime=275.74 cores=0-31
/proc/9046/task/9066/stat : 9066 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 99865 0 0 0 27235 339 0 0 25 0 32 0 2655016 11980525568 1706532 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316784 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9046/tid=9067] ppid=9044 vsize=11699732 CPUtime=277.43 cores=0-31
/proc/9046/task/9067/stat : 9067 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 96238 0 0 0 27373 370 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9046/tid=9068] ppid=9044 vsize=11699732 CPUtime=273.67 cores=0-31
/proc/9046/task/9068/stat : 9068 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 92259 0 0 0 27007 360 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316638 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9046/tid=9069] ppid=9044 vsize=11699732 CPUtime=275.6 cores=0-31
/proc/9046/task/9069/stat : 9069 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 94964 0 0 0 27194 366 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9046/tid=9070] ppid=9044 vsize=11699732 CPUtime=276.46 cores=0-31
/proc/9046/task/9070/stat : 9070 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 98470 0 0 0 27291 355 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9046/tid=9071] ppid=9044 vsize=11699732 CPUtime=275.83 cores=0-31
/proc/9046/task/9071/stat : 9071 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 91325 0 0 0 27226 357 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9046/tid=9072] ppid=9044 vsize=11699732 CPUtime=274.9 cores=0-31
/proc/9046/task/9072/stat : 9072 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 99502 0 0 0 27195 295 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4323028 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9046/tid=9073] ppid=9044 vsize=11699732 CPUtime=275.93 cores=0-31
/proc/9046/task/9073/stat : 9073 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 94257 0 0 0 27219 374 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9046/tid=9074] ppid=9044 vsize=11699732 CPUtime=276.83 cores=0-31
/proc/9046/task/9074/stat : 9074 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 107483 0 0 0 27282 401 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9046/tid=9075] ppid=9044 vsize=11699732 CPUtime=274.7 cores=0-31
/proc/9046/task/9075/stat : 9075 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 90930 0 0 0 27092 378 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9046/tid=9076] ppid=9044 vsize=11699732 CPUtime=275.66 cores=0-31
/proc/9046/task/9076/stat : 9076 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 106121 0 0 0 27192 374 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9046/tid=9077] ppid=9044 vsize=11699732 CPUtime=278.73 cores=0-31
/proc/9046/task/9077/stat : 9077 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 96285 0 0 0 27598 275 0 0 25 0 32 0 2655016 11980525568 1706533 268435456000 4194304 4580107 140737401905520 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8841.19
Current children cumulated vsize (KiB) 11699732

[startup+286.402 s]
/proc/loadavg: 30.56 30.03 30.13 6/445 9086
/proc/meminfo: memFree=257042184/264257624 swapFree=67046588/67111528
[pid=9046] ppid=9044 vsize=11699732 CPUtime=8872.09 cores=0-31
/proc/9046/stat : 9046 (strangenight2-m) S 9044 9046 9020 0 -1 4202496 3115329 0 0 0 875785 11424 0 0 25 0 32 0 2655015 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/9046/statm: 2924933 1711786 377 95 0 2919915 0
[pid=9046/tid=9047] ppid=9044 vsize=11699732 CPUtime=277.14 cores=0-31
/proc/9046/task/9047/stat : 9047 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 94720 0 0 0 27374 340 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9046/tid=9048] ppid=9044 vsize=11699732 CPUtime=279.07 cores=0-31
/proc/9046/task/9048/stat : 9048 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 101515 0 0 0 27563 344 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604498012511712 0 0 -1 17 0 0 0
[pid=9046/tid=9049] ppid=9044 vsize=11699732 CPUtime=279.14 cores=0-31
/proc/9046/task/9049/stat : 9049 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 107789 0 0 0 27582 332 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446744071566927304 0 0 -1 20 0 0 0
[pid=9046/tid=9050] ppid=9044 vsize=11699732 CPUtime=277.81 cores=0-31
/proc/9046/task/9050/stat : 9050 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 96603 0 0 0 27393 388 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604497506180576 0 0 -1 21 0 0 0
[pid=9046/tid=9051] ppid=9044 vsize=11699732 CPUtime=276.39 cores=0-31
/proc/9046/task/9051/stat : 9051 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 93805 0 0 0 27302 337 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604491472420320 0 0 -1 31 0 0 0
[pid=9046/tid=9052] ppid=9044 vsize=11699732 CPUtime=277.29 cores=0-31
/proc/9046/task/9052/stat : 9052 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 100784 0 0 0 27356 373 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604493473201632 0 0 -1 24 0 0 0
[pid=9046/tid=9053] ppid=9044 vsize=11699732 CPUtime=279.2 cores=0-31
/proc/9046/task/9053/stat : 9053 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 99856 0 0 0 27613 307 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604497319288288 0 0 -1 16 0 0 0
[pid=9046/tid=9054] ppid=9044 vsize=11699732 CPUtime=276.39 cores=0-31
/proc/9046/task/9054/stat : 9054 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 99476 0 0 0 27263 376 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604495378005472 0 0 -1 9 0 0 0
[pid=9046/tid=9055] ppid=9044 vsize=11699732 CPUtime=278.93 cores=0-31
/proc/9046/task/9055/stat : 9055 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 86548 0 0 0 27560 333 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604496347725280 0 0 -1 14 0 0 0
[pid=9046/tid=9056] ppid=9044 vsize=11699732 CPUtime=276.6 cores=0-31
/proc/9046/task/9056/stat : 9056 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 89863 0 0 0 27302 358 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604498012519904 0 0 -1 25 0 0 0
[pid=9046/tid=9057] ppid=9044 vsize=11699732 CPUtime=276.26 cores=0-31
/proc/9046/task/9057/stat : 9057 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 95084 0 0 0 27269 357 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604497485618656 0 0 -1 4 0 0 0
[pid=9046/tid=9058] ppid=9044 vsize=11699732 CPUtime=276.99 cores=0-31
/proc/9046/task/9058/stat : 9058 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 93592 0 0 0 27328 371 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604493960158688 0 0 -1 29 0 0 0
[pid=9046/tid=9059] ppid=9044 vsize=11699732 CPUtime=277.17 cores=0-31
/proc/9046/task/9059/stat : 9059 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 97922 0 0 0 27342 375 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604496347717088 0 0 -1 12 0 0 0
[pid=9046/tid=9060] ppid=9044 vsize=11699732 CPUtime=276.19 cores=0-31
/proc/9046/task/9060/stat : 9060 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 100799 0 0 0 27245 374 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604492739444192 0 0 -1 1 0 0 0
[pid=9046/tid=9061] ppid=9044 vsize=11699732 CPUtime=276.62 cores=0-31
/proc/9046/task/9061/stat : 9061 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 103948 0 0 0 27267 395 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604497485626848 0 0 -1 26 0 0 0
[pid=9046/tid=9062] ppid=9044 vsize=11699732 CPUtime=278.71 cores=0-31
/proc/9046/task/9062/stat : 9062 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 101785 0 0 0 27509 362 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604545724259808 0 0 -1 29 0 0 0
[pid=9046/tid=9063] ppid=9044 vsize=11699732 CPUtime=276.26 cores=0-31
/proc/9046/task/9063/stat : 9063 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 98663 0 0 0 27258 368 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604497506188768 0 0 -1 5 0 0 0
[pid=9046/tid=9064] ppid=9044 vsize=11699732 CPUtime=278.58 cores=0-31
/proc/9046/task/9064/stat : 9064 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 107077 0 0 0 27499 359 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604495723920864 0 0 -1 29 0 0 0
[pid=9046/tid=9065] ppid=9044 vsize=11699732 CPUtime=276.96 cores=0-31
/proc/9046/task/9065/stat : 9065 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 90430 0 0 0 27334 362 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604495377997280 0 0 -1 29 0 0 0
[pid=9046/tid=9066] ppid=9044 vsize=11699732 CPUtime=276.66 cores=0-31
/proc/9046/task/9066/stat : 9066 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 100008 0 0 0 27327 339 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604493960166880 0 0 -1 28 0 0 0
[pid=9046/tid=9067] ppid=9044 vsize=11699732 CPUtime=278.34 cores=0-31
/proc/9046/task/9067/stat : 9067 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 96277 0 0 0 27464 370 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604497319296480 0 0 -1 27 0 0 0
[pid=9046/tid=9068] ppid=9044 vsize=11699732 CPUtime=275.27 cores=0-31
/proc/9046/task/9068/stat : 9068 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 92290 0 0 0 27167 360 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9046/tid=9069] ppid=9044 vsize=11699732 CPUtime=276.46 cores=0-31
/proc/9046/task/9069/stat : 9069 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 95041 0 0 0 27280 366 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604493473193440 0 0 -1 0 0 0 0
[pid=9046/tid=9070] ppid=9044 vsize=11699732 CPUtime=277.32 cores=0-31
/proc/9046/task/9070/stat : 9070 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 98540 0 0 0 27377 355 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604492739436000 0 0 -1 8 0 0 0
[pid=9046/tid=9071] ppid=9044 vsize=11699732 CPUtime=276.68 cores=0-31
/proc/9046/task/9071/stat : 9071 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 91480 0 0 0 27311 357 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604495723912672 0 0 -1 12 0 0 0
[pid=9046/tid=9072] ppid=9044 vsize=11699732 CPUtime=275.9 cores=0-31
/proc/9046/task/9072/stat : 9072 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 99843 0 0 0 27295 295 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604491472412128 0 0 -1 30 0 0 0
[pid=9046/tid=9073] ppid=9044 vsize=11699732 CPUtime=276.88 cores=0-31
/proc/9046/task/9073/stat : 9073 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 94257 0 0 0 27314 374 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604490484145632 0 0 -1 17 0 0 0
[pid=9046/tid=9074] ppid=9044 vsize=11699732 CPUtime=277.76 cores=0-31
/proc/9046/task/9074/stat : 9074 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 107719 0 0 0 27375 401 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604493585030624 0 0 -1 22 0 0 0
[pid=9046/tid=9075] ppid=9044 vsize=11699732 CPUtime=276.3 cores=0-31
/proc/9046/task/9075/stat : 9075 (strangenight2-m) R 9044 9046 9020 0 -1 4202560 91186 0 0 0 27252 378 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 4316688 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9046/tid=9076] ppid=9044 vsize=11699732 CPUtime=276.5 cores=0-31
/proc/9046/task/9076/stat : 9076 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 106261 0 0 0 27276 374 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604505769786848 0 0 -1 13 0 0 0
[pid=9046/tid=9077] ppid=9044 vsize=11699732 CPUtime=279.6 cores=0-31
/proc/9046/task/9077/stat : 9077 (strangenight2-m) S 9044 9046 9020 0 -1 4202560 96654 0 0 0 27685 275 0 0 25 0 32 0 2655016 11980525568 1711786 268435456000 4194304 4580107 140737401905520 18446744073709551615 47977679033908 0 0 4096 2 18446604492680379872 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 8872.09
Current children cumulated vsize (KiB) 11699732

[startup+287.216 s]
/proc/loadavg: 30.56 30.03 30.13 2/415 9086
/proc/meminfo: memFree=259148084/264257624 swapFree=67046588/67111528
[pid=9046] ppid=9044 vsize=0 CPUtime=8873.81 cores=0-31
/proc/9046/stat : 9046 (strangenight2-m) Z 9044 9046 9020 0 -1 4203548 3115380 0 0 0 875930 11451 0 0 18 0 2 0 2655015 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/9046/statm: 0 0 0 0 0 0 0
[pid=9046/tid=9068] ppid=9044 vsize=0 CPUtime=275.89 cores=0-31
/proc/9046/task/9068/stat : 9068 (strangenight2-m) R 9044 9046 9020 0 -1 4203588 92321 0 0 0 27203 386 0 0 24 0 2 0 2655016 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 8873.81
Current children cumulated vsize (KiB) 0

[startup+287.401 s]
/proc/loadavg: 30.56 30.03 30.13 2/415 9086
/proc/meminfo: memFree=259148084/264257624 swapFree=67046588/67111528
[pid=9046] ppid=9044 vsize=0 CPUtime=8874 cores=0-31
/proc/9046/stat : 9046 (strangenight2-m) Z 9044 9046 9020 0 -1 4203548 3115380 0 0 0 875930 11470 0 0 18 0 2 0 2655015 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/9046/statm: 0 0 0 0 0 0 0
[pid=9046/tid=9068] ppid=9044 vsize=0 CPUtime=276.08 cores=0-31
/proc/9046/task/9068/stat : 9068 (strangenight2-m) R 9044 9046 9020 0 -1 4203588 92321 0 0 0 27203 405 0 0 25 0 2 0 2655016 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 8874
Current children cumulated vsize (KiB) 0

[startup+287.501 s]
/proc/loadavg: 30.56 30.03 30.13 2/415 9086
/proc/meminfo: memFree=259148084/264257624 swapFree=67046588/67111528
[pid=9046] ppid=9044 vsize=0 CPUtime=8874.1 cores=0-31
/proc/9046/stat : 9046 (strangenight2-m) Z 9044 9046 9020 0 -1 4203548 3115380 0 0 0 875930 11480 0 0 18 0 2 0 2655015 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/9046/statm: 0 0 0 0 0 0 0
[pid=9046/tid=9068] ppid=9044 vsize=0 CPUtime=276.18 cores=0-31
/proc/9046/task/9068/stat : 9068 (strangenight2-m) R 9044 9046 9020 0 -1 4203588 92321 0 0 0 27203 415 0 0 25 0 2 0 2655016 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 8874.1
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 287.531
CPU time (s): 8874.13
CPU user time (s): 8759.3
CPU system time (s): 114.833
CPU usage (%): 3086.32
Max. virtual memory (cumulated for all children) (KiB): 11994092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8759.3
system time used= 114.833
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3115380
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= 4440516
involuntary context switches= 59295

runsolver used 1.80972 second user time and 6.578 second system time

The end

Launcher Data

Begin job on node200 at 2011-05-26 19:15:49
IDJOB=3400735
IDBENCH=82403
IDSOLVER=1886
FILE ID=node200/3400735-1306430147
RUNJOBID= node200-1306430147-9034
PBS_JOBID= 13470324
Free space on /tmp= 61784 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400735-1306430147/watcher-3400735-1306430147 -o /tmp/evaluation-result-3400735-1306430147/solver-3400735-1306430147 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400735-1306430147.cnf

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

MD5SUM BENCH= a85b6db657886fb2a1a46ae1fe4d7999
RANDOM SEED=1581537488

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

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

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

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

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

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

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

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.047
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.09
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.047
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.06
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.047
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.07
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.047
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:      263894596 kB
Buffers:         22064 kB
Cached:         172572 kB
SwapCached:      30736 kB
Active:         130472 kB
Inactive:        96188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263894596 kB
SwapTotal:    67111528 kB
SwapFree:     67046588 kB
Dirty:           45792 kB
Writeback:           0 kB
AnonPages:       25456 kB
Mapped:           8448 kB
Slab:            53536 kB
PageTables:       4444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   182308 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= 61780 MiB
End job on node200 at 2011-05-26 19:20:37