Trace number 3400756

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 2573.32 102.914

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
MD5SUMceca868d07951273fdc2de08c57f2b6a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark481.092
Satisfiable
(Un)Satisfiability was proved
Number of variables259762
Number of clauses656573
Sum of the clauses size1532001
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2437714
Number of clauses of size 3218857
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.04	c Using 32 threads
1.15/0.05	c This is CryptoMiniSat 3.0.0
1.15/0.05	c WARNING: for repeatability, setting FPU to use double precision
1.15/0.05	c Reading file 'HOME/instance-3400756-1306754542.cnf'
1.15/0.08	c -- header says num vars:         259762
1.15/0.08	c -- header says num clauses:      656573
85.60/6.92	c -- clauses added:            0 learnts,       656573 normals,            0 xors
85.60/6.92	c -- vars added     259762
85.60/6.92	c Parsing time:  0.91 s
85.60/6.92	c  N st     0         0    259762    218857    437714         0   1531999         0   no data   no data
149.18/8.98	c asymm  cl-useful: 0/844/216224 lits-rem:0 time: 2.03
1072.08/37.80	c Flit:     0 Blit:   4662 bXBeca:    0 bXProp: 3592 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 28.83
1072.08/37.86	c Cleaning up after failed var search:     0.06 s 
1076.51/38.10	c Replacing     3592 vars Replaced    46696 lits Time:     0.11 s 
1109.38/40.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
1111.39/40.80	c bin-w-bin subsume rem            0 bins  time:  0.10 s
1116.36/41.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.28 s
1234.49/45.56	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:  9527 done:  47736 time:  3.25 s
1243.77/45.84	c Removed useless bin:     418  fixed:     0  props:  20.00M  time:  0.28 s
1599.82/59.59	c lits-rem:         0  cl-subs:      103  v-elim:  82958  v-fix:    0  time:  8.84 s
1603.02/59.69	c Finding binary XORs  T:     0.11 s  found:    8572
1606.21/59.79	c Replacing     8572 vars Replaced    77200 lits Time:     0.09 s 
1609.40/59.86	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1609.40/59.86	c calculated reachability. Time: 0.01
1609.40/59.90	c Calc default polars -  time:   0.04 s pos:   13258 undec:  114015 neg:  132489
1609.40/59.90	c =========================================================================================
1609.40/59.90	c types(t): F = full restart, N = normal restart
1609.40/59.90	c types(t): S = simplification begin/end, E = solution found
1609.40/59.90	c restart types(rt): st = static, dy = dynamic
1609.40/59.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1609.40/59.90	c  B st     0         0    147817    109942    307184         0    949717         0   no data   no data
2095.03/75.03	c  N dy    18      4469    135899    102865    290054      3847    893215   2500855     10.37     11.16
2111.01/75.57	c Finding binary XORs  T:     0.10 s  found:    8573
2117.40/75.73	c Replacing     8573 vars Replaced   117306 lits Time:     0.16 s 
2238.78/79.77	c  N dy    31      8738     87235     92325    307697      7956    780661   3085309      9.37     10.39
2269.04/80.70	c Finding binary XORs  T:     0.08 s  found:   31752
2269.04/80.79	c Replacing    31752 vars Replaced   643236 lits Time:     0.09 s 
2291.83/81.49	c  N dy    47     14021     26414     25949     59001     12938    191456    281036      8.68      9.28
2319.70/82.38	c  N dy    58     19528     26411     25949     89782     18279    191456    455126      8.12      8.60
2329.15/82.69	c Finding binary XORs  T:     0.03 s  found:       1
2345.05/83.14	c  N dy    69     23576     26410     25949     91989     12845    190440    244311      7.85      8.35
2351.43/83.36	c  F st    75     25000     26410     25949     91990     14238    190440    270329      7.81      7.18
2351.43/83.39	c Replacing        1 vars Replaced       12 lits Time:     0.03 s 
2373.72/84.08	c  N st    80     28298     26409     25949     96122     17422    190440    352096      7.81   no data
2380.11/84.26	c  S st    81     30000     26409     25949     96122     19085    190440    393016      7.81   no data
2389.27/84.52	c  S st    81     30504     26409     25949     96192     19515    190440    402862      7.81   no data
2389.27/84.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2558.45/97.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp: 7288 Bins:  17704 BRemL:   4917 BRemN:      0 P: 190.8M T: 12.55
2558.91/97.82	c Replacing     7288 vars Replaced   159084 lits Time:     0.04 s 
2558.91/97.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2558.91/97.87	c bin-w-bin subsume rem        48280 bins  time:  0.02 s
2558.91/97.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2560.05/98.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19121 time:  0.24 s
2560.44/98.24	c Removed useless bin:       0  fixed:     0  props:   9.24M  time:  0.10 s
2562.04/98.69	c lits-rem:         0  cl-subs:     7287  v-elim:  11238  v-fix:    0  time:  0.45 s
2562.44/98.71	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.01 s
2562.44/98.73	c lits-rem:        27  cl-subs:      156  v-elim:      0  v-fix:    0  time:  0.01 s
2562.44/98.75	c asymm  cl-useful: 0/8880/9724 lits-rem:0 time: 0.01
2562.44/98.78	c calculated reachability. Time: 0.03
2562.44/98.78	c  N dy    81     30504      7883      9724     16132      2380     92264     30030      7.81   no data
2572.56/102.31	c Following stats are for *FIRST FINISHED THREAD ONLY*
2572.56/102.31	c num threads              : 32         
2572.56/102.31	c restarts                 : 153        
2572.56/102.31	c dynamic restarts         : 141        
2572.56/102.31	c static restarts          : 12         
2572.56/102.31	c full restarts            : 1          
2572.56/102.31	c total simplify time      : 0.76       
2572.56/102.31	c learnts DL2              : 0          
2572.56/102.31	c learnts size 2           : 2922241    
2572.56/102.31	c learnts size 1           : 105462      (40.60     % of vars)
2572.56/102.31	c filedLit time            : 28.75       (32.85     % time)
2572.56/102.31	c v-elim SatELite          : 82958       (31.94     % vars)
2572.56/102.31	c SatELite time            : 11.60       (13.25     % time)
2572.56/102.31	c v-elim xor               : 0           (0.00      % vars)
2572.56/102.31	c xor elim time            : 0.00        (0.00      % time)
2572.56/102.31	c num binary xor trees     : 6818       
2572.56/102.31	c binxor trees' crown      : 46002       (6.75      leafs/tree)
2572.56/102.31	c bin xor find time        : 0.31       
2572.56/102.31	c OTF clause improved      : 1210        (0.02      clauses/conflict)
2572.56/102.31	c OTF impr. size diff      : 1483        (1.23       lits/clause)
2572.56/102.31	c OTF cl watch-shrink      : 10120       (0.17      clauses/conflict)
2572.56/102.31	c OTF cl watch-sh-lit      : 18211       (1.80       lits/clause)
2572.56/102.31	c tried to recurMin cls    : 0           (0.00       % of conflicts)
2572.56/102.31	c updated cache            : 0           (nan        lits/tried recurMin)
2572.56/102.31	c unit cls recevied        : 12908       (12.24     % of units)
2572.56/102.31	c unit cls sent            : 526         (0.50      % of units)
2572.56/102.31	c bin cls recevied         : 236535     
2572.56/102.31	c bin cls sent             : 6254       
2572.56/102.31	c clauses over max glue    : 0           (0.00      % of all clauses)
2572.56/102.31	c conflicts                : 58363       (666.89    / sec)
2572.56/102.31	c decisions                : 463442      (0.00      % random)
2572.56/102.31	c bogo-props               : 555564789   (6348245.73 / sec)
2572.56/102.31	c conflict literals        : 7869012     (4.30      % deleted)
2572.56/102.31	c Memory used              : 10336.16    MB
2572.56/102.31	c single-thread CPU time   : 87.51       s
2572.56/102.31	c all-threads sum CPU time : 2455.82     s
2572.56/102.31	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-3400756-1306754542/watcher-3400756-1306754542 -o /tmp/evaluation-result-3400756-1306754542/solver-3400756-1306754542 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400756-1306754542.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: 30.79 29.01 21.58 2/413 16346
/proc/meminfo: memFree=263823984/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=338000 CPUtime=0.86 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) R 16344 16346 16200 0 -1 4202496 437 0 0 0 86 0 0 0 25 0 32 0 1420258 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16346/statm: 84500 377 297 95 0 79482 0
[pid=16346/tid=16347] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278704 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278710 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=338000 CPUtime=0 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278704 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278710 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278704 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278696 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278710 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=338000 CPUtime=0 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.047187 s]
/proc/loadavg: 30.79 29.01 21.58 2/413 16346
/proc/meminfo: memFree=263823984/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=600176 CPUtime=1.15 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) S 16344 16346 16200 0 -1 4202496 799 0 0 0 113 2 0 0 25 0 32 0 1420258 614580224 654 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16346/statm: 150044 660 315 95 0 145026 0
[pid=16346/tid=16347] ppid=16344 vsize=600176 CPUtime=0.03 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 9 0 0 0 3 0 0 0 24 0 32 0 1420259 614580224 684 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604579430628832 0 0 -1 1 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=534660 CPUtime=0.03 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547491840 687 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=534796 CPUtime=0.03 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 76 0 0 0 3 0 0 0 18 0 32 0 1420259 547631104 693 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=534800 CPUtime=0.03 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 13 0 0 0 3 0 0 0 18 0 32 0 1420259 547635200 693 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 547618816 698 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 13 0 0 0 3 0 0 0 18 0 32 0 1420259 547618816 701 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 24 0 32 0 1420259 547618816 705 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566925784 0 0 -1 20 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 547618816 715 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604617240534496 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 716 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604642043395552 0 0 -1 22 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=534788 CPUtime=0 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 32 0 1420259 547622912 739 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604457076063712 0 0 -1 8 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 6 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 774 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604594641952224 0 0 -1 18 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 6 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 815 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604504916114912 0 0 -1 26 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 852 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604643631250912 0 0 -1 14 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 56 0 0 0 3 0 0 0 18 0 32 0 1420259 547622912 852 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=534792 CPUtime=0.03 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547627008 867 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566925784 0 0 -1 10 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 868 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616632 0 0 4096 2 6 0 0 -1 3 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 870 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604641250827744 0 0 -1 5 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 870 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604640283516384 0 0 -1 7 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 873 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604581011193312 0 0 -1 9 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=665868 CPUtime=0.03 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 681848832 873 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=665868 CPUtime=0.03 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 55 0 0 0 3 0 0 0 18 0 32 0 1420259 681848832 878 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 884 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 892 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604595964444128 0 0 -1 17 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 893 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604641250778592 0 0 -1 19 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 69 0 0 0 3 0 0 0 18 0 32 0 1420259 614739968 895 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 903 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604580496301536 0 0 -1 23 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 23 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 903 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 45 0 0 0 3 0 0 0 18 0 32 0 1420259 614739968 905 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 44 0 0 0 3 0 0 0 18 0 32 0 1420259 614739968 905 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=600332 CPUtime=0 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 32 0 1420259 614739968 909 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604573289651680 0 0 -1 31 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=600336 CPUtime=0.03 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 19 0 0 0 3 0 0 0 25 0 32 0 1420259 614744064 909 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 600176

[startup+0.103162 s]
/proc/loadavg: 30.79 29.01 21.58 2/413 16346
/proc/meminfo: memFree=263823984/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=1127892 CPUtime=2.14 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) D 16344 16346 16200 0 -1 4202496 10849 0 0 0 117 97 0 0 17 0 32 0 1420258 1154961408 10702 268435456000 4194304 4580107 140734518431344 18446744073709551615 4344560 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16346/statm: 281973 10713 331 95 0 276955 0
[pid=16346/tid=16347] ppid=16344 vsize=1127892 CPUtime=0.06 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 285 0 0 0 3 3 0 0 17 0 32 0 1420259 1154961408 10719 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 1 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=1127892 CPUtime=0.06 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 402 0 0 0 4 2 0 0 17 0 32 0 1420259 1154961408 10722 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=1127892 CPUtime=0.06 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 385 0 0 0 4 2 0 0 17 0 32 0 1420259 1154961408 10734 268435456000 4194304 4580107 140734518431344 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=1127892 CPUtime=0.05 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 343 0 0 0 3 2 0 0 17 0 32 0 1420259 1154961408 10734 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604598210485728 0 0 -1 4 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 279 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10742 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566929504 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 375 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10752 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604504272141792 0 0 -1 12 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=1128024 CPUtime=0.07 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 291 0 0 0 4 3 0 0 17 0 32 0 1420259 1155096576 10757 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 20 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 384 0 0 0 3 3 0 0 25 0 32 0 1420259 1155096576 10768 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 1420259 1155096576 10772 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604639908232672 0 0 -1 22 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=1128024 CPUtime=0.03 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 340 0 0 0 0 3 0 0 17 0 32 0 1420259 1155096576 10777 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 267 0 0 0 3 2 0 0 17 0 32 0 1420259 1155096576 10781 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604643631250912 0 0 -1 18 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 288 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10782 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604496098139616 0 0 -1 26 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1420259 1155096576 10807 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 435 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10814 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 350 0 0 0 3 2 0 0 25 0 32 0 1420259 1155096576 10821 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=1128156 CPUtime=0.06 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 366 0 0 0 4 2 0 0 18 0 32 0 1420259 1155231744 10845 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=1128156 CPUtime=0.06 cores=0-31

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

[pid=16346/tid=16347] ppid=16344 vsize=4436880 CPUtime=21.27 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27520 0 0 0 1959 168 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=4436880 CPUtime=21.19 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28282 0 0 0 1951 168 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27441 0 0 0 1955 167 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=4436880 CPUtime=20.72 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 30157 0 0 0 1903 169 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=4436880 CPUtime=21.36 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29883 0 0 0 1957 179 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=4436880 CPUtime=21.26 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29707 0 0 0 1960 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=4436880 CPUtime=21.33 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 30411 0 0 0 1960 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4235045 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=4436880 CPUtime=21.39 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 30742 0 0 0 1969 170 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=4436880 CPUtime=21.21 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29728 0 0 0 1955 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292947 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28315 0 0 0 1948 174 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=4436880 CPUtime=21.02 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28661 0 0 0 1944 158 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=4436880 CPUtime=21.24 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29650 0 0 0 1951 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=4436880 CPUtime=21.14 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28609 0 0 0 1955 159 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=4436880 CPUtime=21.24 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28604 0 0 0 1947 177 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=4436880 CPUtime=21.21 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29571 0 0 0 1947 174 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=4436880 CPUtime=21.29 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28912 0 0 0 1956 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4235045 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=4436880 CPUtime=21.28 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29243 0 0 0 1965 163 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=4436880 CPUtime=21.3 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 31561 0 0 0 1951 179 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4295390 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=4436880 CPUtime=21.32 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29804 0 0 0 1978 154 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=4436880 CPUtime=21.31 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29736 0 0 0 1956 175 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=4436880 CPUtime=21.26 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27804 0 0 0 1960 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=4436880 CPUtime=21.28 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28426 0 0 0 1952 176 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=4436880 CPUtime=21.32 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29156 0 0 0 1966 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=4436880 CPUtime=21.23 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 26801 0 0 0 1950 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=4436880 CPUtime=21.2 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29610 0 0 0 1951 169 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=4436880 CPUtime=21.33 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27333 0 0 0 1964 169 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29662 0 0 0 1961 161 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=4436880 CPUtime=21.33 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27781 0 0 0 1957 176 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=4436880 CPUtime=21.1 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 26511 0 0 0 1954 156 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28322 0 0 0 1955 167 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=4436880 CPUtime=21.27 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 35336 0 0 0 1977 150 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 679.81
Current children cumulated vsize (KiB) 4436880

[startup+51.1027 s]
/proc/loadavg: 31.44 29.48 22.13 26/445 16380
/proc/meminfo: memFree=257915588/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=8392912 CPUtime=1371.39 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) S 16344 16346 16200 0 -1 4202496 1699039 0 0 0 128017 9122 0 0 16 0 32 0 1420258 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/16346/statm: 2098228 1510383 376 95 0 2093210 0
[pid=16346/tid=16347] ppid=16344 vsize=8392912 CPUtime=44.59 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 61024 0 0 0 4166 293 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=8392912 CPUtime=42.19 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 50025 0 0 0 3975 244 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604640283516384 0 0 -1 0 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=8392912 CPUtime=44.37 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 51724 0 0 0 4144 293 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=8392912 CPUtime=42.48 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 52545 0 0 0 3981 267 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604504916114912 0 0 -1 27 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=8392912 CPUtime=42.09 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 49772 0 0 0 3906 303 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=8392912 CPUtime=42.16 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 49786 0 0 0 3920 296 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=8392912 CPUtime=43.26 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 56547 0 0 0 4015 311 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4277626 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=8392912 CPUtime=44.17 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 70463 0 0 0 4139 278 0 0 17 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4321235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=8392912 CPUtime=42.12 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 48648 0 0 0 3924 288 0 0 15 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566929064 0 0 -1 7 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=8392912 CPUtime=44.25 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 51689 0 0 0 4121 304 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=8392912 CPUtime=42.4 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 51242 0 0 0 3950 290 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566927704 0 0 -1 23 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=8392912 CPUtime=42.71 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 53954 0 0 0 3966 305 0 0 15 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4517574 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=8392912 CPUtime=41.89 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 52833 0 0 0 3884 305 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=8392912 CPUtime=42.78 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 52928 0 0 0 3960 318 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=8392912 CPUtime=42.34 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 56354 0 0 0 3927 307 0 0 16 0 32 0 1420259 8594341888 1510384 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 6 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=8392912 CPUtime=42.85 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 52638 0 0 0 3989 296 0 0 16 0 32 0 1420259 8594341888 1510386 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399196 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=8392912 CPUtime=42 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 52574 0 0 0 3923 277 0 0 16 0 32 0 1420259 8594341888 1510387 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=8392912 CPUtime=42.33 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 52026 0 0 0 3962 271 0 0 16 0 32 0 1420259 8594341888 1510393 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604598210485728 0 0 -1 9 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=8392912 CPUtime=45.03 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 71240 0 0 0 4237 266 0 0 16 0 32 0 1420259 8594341888 1510401 268435456000 4194304 4580107 140734518431344 18446744073709551615 4363825 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=8392912 CPUtime=42.31 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 54108 0 0 0 3918 313 0 0 16 0 32 0 1420259 8594341888 1510403 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399459 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=8392912 CPUtime=42.1 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 49935 0 0 0 3921 289 0 0 16 0 32 0 1420259 8594341888 1510403 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604640283516384 0 0 -1 23 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=8392912 CPUtime=42.04 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 51465 0 0 0 3887 317 0 0 16 0 32 0 1420259 8594341888 1510407 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604451054198240 0 0 -1 22 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=8392912 CPUtime=44.09 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 62992 0 0 0 4183 226 0 0 19 0 32 0 1420259 8594341888 1510413 268435456000 4194304 4580107 140734518431344 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=8392912 CPUtime=42.21 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 50258 0 0 0 3935 286 0 0 15 0 32 0 1420259 8594341888 1510415 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=8392912 CPUtime=42.26 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 55753 0 0 0 3925 301 0 0 16 0 32 0 1420259 8594341888 1510416 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=8392912 CPUtime=43.11 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 47655 0 0 0 4022 289 0 0 15 0 32 0 1420259 8594341888 1510421 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399850 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=8392912 CPUtime=42.09 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 50403 0 0 0 3953 256 0 0 16 0 32 0 1420259 8594341888 1510422 268435456000 4194304 4580107 140734518431344 18446744073709551615 4409864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=8392912 CPUtime=42.49 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 49682 0 0 0 3979 270 0 0 16 0 32 0 1420259 8594341888 1510424 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399872 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=8392912 CPUtime=41.76 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 47760 0 0 0 3894 282 0 0 16 0 32 0 1420259 8594341888 1510426 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=8392912 CPUtime=42.92 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 49808 0 0 0 3984 308 0 0 16 0 32 0 1420259 8594341888 1510432 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=8392912 CPUtime=45.64 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 42975 0 0 0 4406 158 0 0 18 0 32 0 1420259 8594341888 1510440 268435456000 4194304 4580107 140734518431344 18446744073709551615 4316428 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1371.39
Current children cumulated vsize (KiB) 8392912

[startup+102.336 s]
/proc/loadavg: 27.44 28.94 22.35 3/445 16380
/proc/meminfo: memFree=255655012/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=0 CPUtime=2572.73 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) Z 16344 16346 16200 0 -1 4203548 2656087 0 0 0 245582 11691 0 0 18 0 2 0 1420258 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16346/statm: 0 0 0 0 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=0 CPUtime=91.52 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4203588 129640 0 0 0 8790 362 0 0 25 0 2 0 1420259 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) 2572.73
Current children cumulated vsize (KiB) 0

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

[startup+102.701 s]
/proc/loadavg: 27.44 28.94 22.35 3/445 16380
/proc/meminfo: memFree=255655012/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=0 CPUtime=2573.1 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) Z 16344 16346 16200 0 -1 4203548 2656087 0 0 0 245582 11728 0 0 18 0 2 0 1420258 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16346/statm: 0 0 0 0 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=0 CPUtime=91.88 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4203588 129640 0 0 0 8790 398 0 0 25 0 2 0 1420259 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) 2573.1
Current children cumulated vsize (KiB) 0

[startup+102.901 s]
/proc/loadavg: 27.44 28.94 22.35 3/445 16380
/proc/meminfo: memFree=255655012/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=0 CPUtime=2573.3 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) Z 16344 16346 16200 0 -1 4203548 2656087 0 0 0 245582 11748 0 0 18 0 2 0 1420258 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16346/statm: 0 0 0 0 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=0 CPUtime=92.08 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4203588 129640 0 0 0 8790 418 0 0 25 0 2 0 1420259 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) 2573.3
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 102.914
CPU time (s): 2573.32
CPU user time (s): 2455.82
CPU system time (s): 117.496
CPU usage (%): 2500.46
Max. virtual memory (cumulated for all children) (KiB): 12858016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2455.82
system time used= 117.496
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2656087
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= 4320248
involuntary context switches= 44017

runsolver used 0.747886 second user time and 2.6386 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 13:22:23
IDJOB=3400756
IDBENCH=82435
IDSOLVER=1886
FILE ID=node200/3400756-1306754542
RUNJOBID= node200-1306754353-16214
PBS_JOBID= 13471602
Free space on /tmp= 61568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400756-1306754542/watcher-3400756-1306754542 -o /tmp/evaluation-result-3400756-1306754542/solver-3400756-1306754542 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400756-1306754542.cnf

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

MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=1939455777

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263824396 kB
Buffers:         14260 kB
Cached:         238140 kB
SwapCached:      16104 kB
Active:         101496 kB
Inactive:       169388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263824396 kB
SwapTotal:    67111528 kB
SwapFree:     67044428 kB
Dirty:           17280 kB
Writeback:           0 kB
AnonPages:       17884 kB
Mapped:           7988 kB
Slab:            57428 kB
PageTables:       4836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190116 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= 61564 MiB
End job on node200 at 2011-05-30 13:24:06