Trace number 3400810

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 245.137 10.2943

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
MD5SUMf0a59aeb3af8016fb8ec53aa337c4836
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark245.137
Satisfiable
(Un)Satisfiability was proved
Number of variables17298
Number of clauses57292
Sum of the clauses size145234
Maximum clause length615
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230583
Number of clauses of size 326391
Number of clauses of size 477
Number of clauses of size 510
Number of clauses of size over 5230

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400810-1306820659.cnf'
0.00/0.07	c -- header says num vars:          17298
0.00/0.07	c -- header says num clauses:       57292
9.18/0.56	c -- clauses added:            0 learnts,        57292 normals,            0 xors
9.18/0.56	c -- vars added      17298
9.18/0.56	c Parsing time:  0.09 s
9.18/0.56	c  N st     0         0     17298     26194     27671         0    137056         0   no data   no data
36.61/1.46	c asymm  cl-useful: 8/26194/26194 lits-rem:82 time: 0.89
91.23/5.28	c Flit:    56 Blit:   1670 bXBeca:    0 bXProp: 2814 Bins:      0 BRemL:      0 BRemN:      0 P: 11.3M T:  1.45
91.23/5.28	c Cleaning up after failed var search:     0.01 s 
91.23/5.28	c Replacing     2814 vars Replaced    74967 lits Time:     0.02 s 
91.23/5.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
91.23/5.30	c bin-w-bin subsume rem          461 bins  time:  0.00 s
94.38/5.31	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
94.38/5.34	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  11768 time:  0.03 s
94.38/5.37	c Removed useless bin:      37  fixed:     0  props:   1.53M  time:  0.03 s
100.91/5.66	c lits-rem:         0  cl-subs:      135  v-elim:   3922  v-fix:    0  time:  0.12 s
103.42/5.71	c Finding binary XORs  T:     0.05 s  found:      12
103.42/5.71	c Replacing       12 vars Replaced      159 lits Time:     0.00 s 
103.42/5.78	c Finding non-binary XORs:     0.02 s (found:    3486, avg size: 3.0)
103.42/5.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    540 locsubst:  2222 time:   0.02
103.42/5.78	c Replacing     1111 vars Replaced     6666 lits Time:     0.00 s 
103.42/5.79	c calculated reachability. Time: 0.00
103.42/5.79	c Calc default polars -  time:   0.00 s pos:     977 undec:   11143 neg:    5178
103.42/5.79	c =========================================================================================
103.42/5.79	c types(t): F = full restart, N = normal restart
103.42/5.79	c types(t): S = simplification begin/end, E = solution found
103.42/5.79	c restart types(rt): st = static, dy = dynamic
103.42/5.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
103.42/5.79	c  B st     0         0      6183     10001      8730         0     66186         0   no data   no data
123.24/6.41	c Decided on static restart strategy
135.98/6.83	c  N st     8      4917      6183     10001      8766      4714     66186    146658   no data   no data
165.34/7.79	c  N st    10     11301      6156     10001      9237      4632     66186    126585   no data   no data
197.30/8.74	c  N st    11     17044      6156     10001      9245     10240     66186    345936   no data   no data
197.30/8.77	c Finding binary XORs  T:     0.02 s  found:       5
241.43/10.11	c  F st    12     25005      6141      9991      9489     12509     65294    333329   no data   no data
241.43/10.13	c Replacing        5 vars Replaced    10040 lits Time:     0.02 s 
241.43/10.14	c  N st    12     25005      6136      9977      9479     12503     65173    333233   no data   no data
244.64/10.21	c Following stats are for *FIRST FINISHED THREAD ONLY*
244.64/10.21	c num threads              : 32         
244.64/10.21	c restarts                 : 18         
244.64/10.21	c dynamic restarts         : 0          
244.64/10.21	c static restarts          : 18         
244.64/10.21	c full restarts            : 1          
244.64/10.21	c total simplify time      : 0.02       
244.64/10.21	c learnts DL2              : 0          
244.64/10.21	c learnts size 2           : 32222      
244.64/10.21	c learnts size 1           : 3695        (21.36     % of vars)
244.64/10.21	c filedLit time            : 1.48        (20.48     % time)
244.64/10.21	c v-elim SatELite          : 3922        (22.67     % vars)
244.64/10.21	c SatELite time            : 0.14        (1.91      % time)
244.64/10.21	c v-elim xor               : 540         (3.12      % vars)
244.64/10.21	c xor elim time            : 0.01        (0.19      % time)
244.64/10.21	c num binary xor trees     : 1875       
244.64/10.21	c binxor trees' crown      : 3943        (2.10      leafs/tree)
244.64/10.21	c bin xor find time        : 0.07       
244.64/10.21	c OTF clause improved      : 1097        (0.04      clauses/conflict)
244.64/10.21	c OTF impr. size diff      : 1277        (1.16       lits/clause)
244.64/10.21	c OTF cl watch-shrink      : 9637        (0.34      clauses/conflict)
244.64/10.21	c OTF cl watch-sh-lit      : 16049       (1.67       lits/clause)
244.64/10.21	c tried to recurMin cls    : 7736        (26.89      % of conflicts)
244.64/10.21	c updated cache            : 0           (0.00       lits/tried recurMin)
244.64/10.21	c unit cls recevied        : 29          (0.78      % of units)
244.64/10.21	c unit cls sent            : 16          (0.43      % of units)
244.64/10.21	c bin cls recevied         : 10711      
244.64/10.21	c bin cls sent             : 102        
244.64/10.21	c clauses over max glue    : 0           (0.00      % of all clauses)
244.64/10.21	c conflicts                : 28766       (3983.71   / sec)
244.64/10.21	c decisions                : 40663       (0.00      % random)
244.64/10.21	c bogo-props               : 274977606   (38080783.54 / sec)
244.64/10.21	c conflict literals        : 697541      (31.29     % deleted)
244.64/10.21	c Memory used              : 3108.68     MB
244.64/10.21	c single-thread CPU time   : 7.22        s
244.64/10.21	c all-threads sum CPU time : 231.61      s
244.64/10.21	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-3400810-1306820659/watcher-3400810-1306820659 -o /tmp/evaluation-result-3400810-1306820659/solver-3400810-1306820659 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400810-1306820659.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: 31.80 31.53 31.77 1/413 22614
/proc/meminfo: memFree=263542988/264257624 swapFree=67044764/67111528
[pid=22614] ppid=22612 vsize=338000 CPUtime=0.79 cores=0-31
/proc/22614/stat : 22614 (strangenight2-m) R 22612 22614 22468 0 -1 4202496 437 0 0 0 79 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22614/statm: 84500 377 297 95 0 79482 0
[pid=22614/tid=22615] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22615/stat : 22615 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22614/tid=22616] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22616/stat : 22616 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22617] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22617/stat : 22617 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22614/tid=22618] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22618/stat : 22618 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22614/tid=22619] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22619/stat : 22619 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22614/tid=22620] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22620/stat : 22620 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22614/tid=22621] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22621/stat : 22621 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031852 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22614/tid=22622] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22622/stat : 22622 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22614/tid=22623] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22623/stat : 22623 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22624] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22624/stat : 22624 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22614/tid=22625] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22625/stat : 22625 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22614/tid=22626] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22626/stat : 22626 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22614/tid=22627] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22627/stat : 22627 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22614/tid=22628] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22628/stat : 22628 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22614/tid=22629] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22629/stat : 22629 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22614/tid=22630] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22630/stat : 22630 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22614/tid=22631] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22631/stat : 22631 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426536 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22614/tid=22632] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22632/stat : 22632 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22614/tid=22633] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22633/stat : 22633 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22614/tid=22634] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22634/stat : 22634 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22614/tid=22635] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22635/stat : 22635 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22614/tid=22636] ppid=22612 vsize=338000 CPUtime=0 cores=0-31
/proc/22614/task/22636/stat : 22636 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22614/tid=22637] ppid=22612 vsize=338000 CPUtime=0.01 cores=0-31
/proc/22614/task/22637/stat : 22637 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22614/tid=22638] ppid=22612 vsize=338000 CPUtime=0.01 cores=0-31
/proc/22614/task/22638/stat : 22638 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22614/tid=22639] ppid=22612 vsize=338000 CPUtime=0 cores=0-31
/proc/22614/task/22639/stat : 22639 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22614/tid=22640] ppid=22612 vsize=338000 CPUtime=0.01 cores=0-31
/proc/22614/task/22640/stat : 22640 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22614/tid=22641] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22641/stat : 22641 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22614/tid=22642] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22642/stat : 22642 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426544 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22614/tid=22643] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22643/stat : 22643 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426540 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22614/tid=22644] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22644/stat : 22644 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22614/tid=22645] ppid=22612 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22614/task/22645/stat : 22645 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8031853 346112000 377 268435456000 4194304 4580107 140734691724096 18446744073709551615 46935526426546 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.081847 s]
/proc/loadavg: 31.80 31.53 31.77 1/413 22614
/proc/meminfo: memFree=263542988/264257624 swapFree=67044764/67111528
[pid=22614] ppid=22612 vsize=798112 CPUtime=1.77 cores=0-31
/proc/22614/stat : 22614 (strangenight2-m) D 22612 22614 22468 0 -1 4202496 7884 0 0 0 105 72 0 0 18 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 4349556 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22614/statm: 199528 7722 331 95 0 194510 0
[pid=22614/tid=22615] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22615/stat : 22615 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 246 0 0 0 3 2 0 0 17 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 1 0 0 0
[pid=22614/tid=22616] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22616/stat : 22616 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 216 0 0 0 3 2 0 0 17 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22617] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22617/stat : 22617 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 260 0 0 0 3 2 0 0 18 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22614/tid=22618] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22618/stat : 22618 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 213 0 0 0 3 2 0 0 25 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22614/tid=22619] ppid=22612 vsize=798112 CPUtime=0.04 cores=0-31
/proc/22614/task/22619/stat : 22619 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 213 0 0 0 3 1 0 0 25 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22614/tid=22620] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22620/stat : 22620 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 262 0 0 0 3 2 0 0 18 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22614/tid=22621] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22621/stat : 22621 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 269 0 0 0 3 2 0 0 18 0 32 0 8031852 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22614/tid=22622] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22622/stat : 22622 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 203 0 0 0 3 2 0 0 25 0 32 0 8031853 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22614/tid=22623] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22623/stat : 22623 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 228 0 0 0 3 2 0 0 18 0 32 0 8031853 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22624] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22624/stat : 22624 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 245 0 0 0 3 2 0 0 25 0 32 0 8031853 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22614/tid=22625] ppid=22612 vsize=798112 CPUtime=0.04 cores=0-31
/proc/22614/task/22625/stat : 22625 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 198 0 0 0 3 1 0 0 25 0 32 0 8031853 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22614/tid=22626] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22626/stat : 22626 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 222 0 0 0 3 2 0 0 25 0 32 0 8031853 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22614/tid=22627] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22627/stat : 22627 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 244 0 0 0 3 2 0 0 18 0 32 0 8031853 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446604491236613600 0 0 -1 7 0 0 0
[pid=22614/tid=22628] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22628/stat : 22628 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 232 0 0 0 3 2 0 0 25 0 32 0 8031853 817266688 7722 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22614/tid=22629] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22629/stat : 22629 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 206 0 0 0 3 2 0 0 25 0 32 0 8031853 817266688 7739 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22614/tid=22630] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22630/stat : 22630 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 260 0 0 0 3 2 0 0 18 0 32 0 8031853 817266688 7754 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446604494972239328 0 0 -1 11 0 0 0
[pid=22614/tid=22631] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22631/stat : 22631 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 218 0 0 0 3 2 0 0 18 0 32 0 8031853 817266688 7760 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22614/tid=22632] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22632/stat : 22632 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 226 0 0 0 3 2 0 0 25 0 32 0 8031853 817266688 7760 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22614/tid=22633] ppid=22612 vsize=798112 CPUtime=0.05 cores=0-31
/proc/22614/task/22633/stat : 22633 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 257 0 0 0 3 2 0 0 18 0 32 0 8031853 817266688 7760 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22614/tid=22634] ppid=22612 vsize=929184 CPUtime=0.05 cores=0-31
/proc/22614/task/22634/stat : 22634 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 225 0 0 0 3 2 0 0 25 0 32 0 8031853 951484416 7764 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22614/tid=22635] ppid=22612 vsize=929184 CPUtime=0.05 cores=0-31
/proc/22614/task/22635/stat : 22635 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 189 0 0 0 3 2 0 0 25 0 32 0 8031853 951484416 7769 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22614/tid=22636] ppid=22612 vsize=929184 CPUtime=0.02 cores=0-31
/proc/22614/task/22636/stat : 22636 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 206 0 0 0 0 2 0 0 25 0 32 0 8031853 951484416 7785 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22614/tid=22637] ppid=22612 vsize=929184 CPUtime=0.03 cores=0-31
/proc/22614/task/22637/stat : 22637 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 224 0 0 0 1 2 0 0 25 0 32 0 8031853 951484416 7788 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22614/tid=22638] ppid=22612 vsize=929184 CPUtime=0.03 cores=0-31
/proc/22614/task/22638/stat : 22638 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 244 0 0 0 1 2 0 0 17 0 32 0 8031853 951484416 7788 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22614/tid=22639] ppid=22612 vsize=863648 CPUtime=0.02 cores=0-31
/proc/22614/task/22639/stat : 22639 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 245 0 0 0 0 2 0 0 25 0 32 0 8031853 884375552 7795 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22614/tid=22640] ppid=22612 vsize=863648 CPUtime=0.04 cores=0-31
/proc/22614/task/22640/stat : 22640 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 240 0 0 0 2 2 0 0 25 0 32 0 8031853 884375552 7803 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22614/tid=22641] ppid=22612 vsize=863648 CPUtime=0.05 cores=0-31
/proc/22614/task/22641/stat : 22641 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 253 0 0 0 3 2 0 0 17 0 32 0 8031853 884375552 7812 268435456000 4194304 4580107 140734691724096 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22614/tid=22642] ppid=22612 vsize=863648 CPUtime=0.05 cores=0-31
/proc/22614/task/22642/stat : 22642 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 246 0 0 0 3 2 0 0 17 0 32 0 8031853 884375552 7812 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 22 0 0 0
[pid=22614/tid=22643] ppid=22612 vsize=863648 CPUtime=0.05 cores=0-31
/proc/22614/task/22643/stat : 22643 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 278 0 0 0 3 2 0 0 17 0 32 0 8031853 884375552 7817 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22614/tid=22644] ppid=22612 vsize=863648 CPUtime=0.05 cores=0-31
/proc/22614/task/22644/stat : 22644 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 222 0 0 0 3 2 0 0 25 0 32 0 8031853 884375552 7822 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22614/tid=22645] ppid=22612 vsize=863648 CPUtime=0.05 cores=0-31
/proc/22614/task/22645/stat : 22645 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 227 0 0 0 3 2 0 0 25 0 32 0 8031853 884375552 7840 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 798112

[startup+0.10288 s]
/proc/loadavg: 31.80 31.53 31.77 1/413 22614
/proc/meminfo: memFree=263542988/264257624 swapFree=67044764/67111528
[pid=22614] ppid=22612 vsize=1127728 CPUtime=1.9 cores=0-31
/proc/22614/stat : 22614 (strangenight2-m) R 22612 22614 22468 0 -1 4202496 10061 0 0 0 107 83 0 0 17 0 32 0 8031852 1154793472 9900 268435456000 4194304 4580107 140734691724096 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22614/statm: 281965 9934 331 95 0 276947 0
[pid=22614/tid=22615] ppid=22612 vsize=1127860 CPUtime=0.06 cores=0-31
/proc/22614/task/22615/stat : 22615 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 329 0 0 0 4 2 0 0 17 0 32 0 8031852 1154928640 9943 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446744071566929384 0 0 -1 1 0 0 0
[pid=22614/tid=22616] ppid=22612 vsize=1127860 CPUtime=0.05 cores=0-31
/proc/22614/task/22616/stat : 22616 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 324 0 0 0 3 2 0 0 17 0 32 0 8031852 1154928640 9952 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22617] ppid=22612 vsize=1127860 CPUtime=0.05 cores=0-31
/proc/22614/task/22617/stat : 22617 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 334 0 0 0 3 2 0 0 17 0 32 0 8031852 1154928640 9966 268435456000 4194304 4580107 140734691724096 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22614/tid=22618] ppid=22612 vsize=1127860 CPUtime=0.05 cores=0-31
/proc/22614/task/22618/stat : 22618 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 257 0 0 0 3 2 0 0 17 0 32 0 8031852 1154928640 10035 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446604456371764704 0 0 -1 8 0 0 0
[pid=22614/tid=22619] ppid=22612 vsize=1127860 CPUtime=0.05 cores=0-31
/proc/22614/task/22619/stat : 22619 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 245 0 0 0 3 2 0 0 17 0 32 0 8031852 1154928640 10035 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446604497497284064 0 0 -1 28 0 0 0
[pid=22614/tid=22620] ppid=22612 vsize=1127860 CPUtime=0.05 cores=0-31
/proc/22614/task/22620/stat : 22620 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 359 0 0 0 3 2 0 0 17 0 32 0 8031852 1154928640 10058 268435456000 4194304 4580107 140734691724096 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22614/tid=22621] ppid=22612 vsize=1128124 CPUtime=0.05 cores=0-31
/proc/22614/task/22621/stat : 22621 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 406 0 0 0 3 2 0 0 17 0 32 0 8031852 1155198976 10069 268435456000 4194304 4580107 140734691724096 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22614/tid=22622] ppid=22612 vsize=1128124 CPUtime=0.05 cores=0-31
/proc/22614/task/22622/stat : 22622 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 295 0 0 0 3 2 0 0 17 0 32 0 8031853 1155198976 10111 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22614/tid=22623] ppid=22612 vsize=1128256 CPUtime=0.05 cores=0-31
/proc/22614/task/22623/stat : 22623 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 274 0 0 0 3 2 0 0 17 0 32 0 8031853 1155334144 10135 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446604482253651424 0 0 -1 6 0 0 0
[pid=22614/tid=22624] ppid=22612 vsize=1128256 CPUtime=0.05 cores=0-31
/proc/22614/task/22624/stat : 22624 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 384 0 0 0 3 2 0 0 18 0 32 0 8031853 1155334144 10147 268435456000 4194304 4580107 140734691724096 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22614/tid=22625] ppid=22612 vsize=1128256 CPUtime=0.05 cores=0-31
/proc/22614/task/22625/stat : 22625 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 355 0 0 0 3 2 0 0 25 0 32 0 8031853 1155334144 10172 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22614/tid=22626] ppid=22612 vsize=1128256 CPUtime=0.05 cores=0-31
/proc/22614/task/22626/stat : 22626 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 291 0 0 0 3 2 0 0 17 0 32 0 8031853 1155334144 10227 268435456000 4194304 4580107 140734691724096 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22614/tid=22627] ppid=22612 vsize=1128452 CPUtime=0.05 cores=0-31
/proc/22614/task/22627/stat : 22627 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 273 0 0 0 3 2 0 0 17 0 32 0 8031853 1155534848 10230 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446744071566929384 0 0 -1 7 0 0 0
[pid=22614/tid=22628] ppid=22612 vsize=1128584 CPUtime=0.05 cores=0-31
/proc/22614/task/22628/stat : 22628 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 245 0 0 0 3 2 0 0 25 0 32 0 8031853 1155670016 10242 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446604482253651424 0 0 -1 13 0 0 0
[pid=22614/tid=22629] ppid=22612 vsize=1128584 CPUtime=0.05 cores=0-31
/proc/22614/task/22629/stat : 22629 (strangenight2-m) S 22612 22614 22468 0 -1 4202560 260 0 0 0 3 2 0 0 17 0 32 0 8031853 1155670016 10269 268435456000 4194304 4580107 140734691724096 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 14 0 0 0
[pid=22614/tid=22630] ppid=22612 vsize=1128584 CPUtime=0.05 cores=0-31
/proc/22614/task/22630/stat : 22630 (strangenight2-m) D 22612 22614 22468 0 -1 4202560 359 0 0 0 3 2 0 0 17 0 32 0 8031853 1155670016 10273 268435456000 4194304 4580107 140734691724096 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22614/tid=22631] ppid=22612 vsize=1128584 CPUtime=0.05 cores=0-31

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

[pid=22614/tid=22633] ppid=22612 vsize=3182980 CPUtime=7.78 cores=0-31
/proc/22614/task/22633/stat : 22633 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9470 0 0 0 749 29 0 0 25 0 32 0 8031853 3259371520 266967 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22614/tid=22634] ppid=22612 vsize=3182980 CPUtime=7.13 cores=0-31
/proc/22614/task/22634/stat : 22634 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9814 0 0 0 670 43 0 0 21 0 32 0 8031853 3259371520 266967 268435456000 4194304 4580107 140734691724096 18446744073709551615 258650653090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22614/tid=22635] ppid=22612 vsize=3182980 CPUtime=7.64 cores=0-31
/proc/22614/task/22635/stat : 22635 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10181 0 0 0 724 40 0 0 25 0 32 0 8031853 3259371520 266967 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22614/tid=22636] ppid=22612 vsize=3182980 CPUtime=7.02 cores=0-31
/proc/22614/task/22636/stat : 22636 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10635 0 0 0 658 44 0 0 21 0 32 0 8031853 3259371520 266967 268435456000 4194304 4580107 140734691724096 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22614/tid=22637] ppid=22612 vsize=3182980 CPUtime=7.16 cores=0-31
/proc/22614/task/22637/stat : 22637 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10479 0 0 0 668 48 0 0 21 0 32 0 8031853 3259371520 266967 268435456000 4194304 4580107 140734691724096 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22614/tid=22638] ppid=22612 vsize=3182980 CPUtime=7.11 cores=0-31
/proc/22614/task/22638/stat : 22638 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10039 0 0 0 666 45 0 0 21 0 32 0 8031853 3259371520 266967 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22614/tid=22639] ppid=22612 vsize=3182980 CPUtime=7.21 cores=0-31
/proc/22614/task/22639/stat : 22639 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9707 0 0 0 679 42 0 0 21 0 32 0 8031853 3259371520 266968 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22614/tid=22640] ppid=22612 vsize=3182980 CPUtime=7.68 cores=0-31
/proc/22614/task/22640/stat : 22640 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10347 0 0 0 732 36 0 0 25 0 32 0 8031853 3259371520 266969 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22614/tid=22641] ppid=22612 vsize=3182980 CPUtime=7.11 cores=0-31
/proc/22614/task/22641/stat : 22641 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10190 0 0 0 665 46 0 0 21 0 32 0 8031853 3259371520 266969 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294998 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22614/tid=22642] ppid=22612 vsize=3182980 CPUtime=7.19 cores=0-31
/proc/22614/task/22642/stat : 22642 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9199 0 0 0 677 42 0 0 22 0 32 0 8031853 3259371520 266969 268435456000 4194304 4580107 140734691724096 18446744073709551615 4316638 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22614/tid=22643] ppid=22612 vsize=3182980 CPUtime=7.25 cores=0-31
/proc/22614/task/22643/stat : 22643 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10346 0 0 0 679 46 0 0 21 0 32 0 8031853 3259371520 266969 268435456000 4194304 4580107 140734691724096 18446744073709551615 4320696 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22614/tid=22644] ppid=22612 vsize=3182980 CPUtime=7.12 cores=0-31
/proc/22614/task/22644/stat : 22644 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9901 0 0 0 669 43 0 0 21 0 32 0 8031853 3259371520 266969 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22614/tid=22645] ppid=22612 vsize=3182980 CPUtime=8.64 cores=0-31
/proc/22614/task/22645/stat : 22645 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 5211 0 0 0 838 26 0 0 25 0 32 0 8031853 3259371520 266970 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 235.65
Current children cumulated vsize (KiB) 3182980

[startup+10.1022 s]
/proc/loadavg: 31.76 31.53 31.77 33/445 22648
/proc/meminfo: memFree=262475400/264257624 swapFree=67044764/67111528
[pid=22614] ppid=22612 vsize=3182980 CPUtime=241.43 cores=0-31
/proc/22614/stat : 22614 (strangenight2-m) R 22612 22614 22468 0 -1 4202496 320732 0 0 0 22803 1340 0 0 23 0 32 0 8031852 3259371520 268387 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294217 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22614/statm: 795745 268397 379 95 0 790727 0
[pid=22614/tid=22615] ppid=22612 vsize=3182980 CPUtime=7.6 cores=0-31
/proc/22614/task/22615/stat : 22615 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10362 0 0 0 719 41 0 0 25 0 32 0 8031852 3259371520 268402 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22614/tid=22616] ppid=22612 vsize=3182980 CPUtime=7.47 cores=0-31
/proc/22614/task/22616/stat : 22616 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10648 0 0 0 700 47 0 0 22 0 32 0 8031852 3259371520 268408 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22617] ppid=22612 vsize=3182980 CPUtime=7.36 cores=0-31
/proc/22614/task/22617/stat : 22617 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10222 0 0 0 688 48 0 0 22 0 32 0 8031852 3259371520 268413 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22614/tid=22618] ppid=22612 vsize=3182980 CPUtime=7.33 cores=0-31
/proc/22614/task/22618/stat : 22618 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9965 0 0 0 691 42 0 0 22 0 32 0 8031852 3259371520 268418 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22614/tid=22619] ppid=22612 vsize=3182980 CPUtime=7.35 cores=0-31
/proc/22614/task/22619/stat : 22619 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10435 0 0 0 694 41 0 0 22 0 32 0 8031852 3259371520 268424 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22614/tid=22620] ppid=22612 vsize=3182980 CPUtime=7.46 cores=0-31
/proc/22614/task/22620/stat : 22620 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9647 0 0 0 710 36 0 0 22 0 32 0 8031852 3259371520 268430 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22614/tid=22621] ppid=22612 vsize=3182980 CPUtime=7.99 cores=0-31
/proc/22614/task/22621/stat : 22621 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10324 0 0 0 759 40 0 0 25 0 32 0 8031852 3259371520 268435 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22614/tid=22622] ppid=22612 vsize=3182980 CPUtime=7.51 cores=0-31
/proc/22614/task/22622/stat : 22622 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9531 0 0 0 711 40 0 0 23 0 32 0 8031853 3259371520 268439 268435456000 4194304 4580107 140734691724096 18446744073709551615 4243910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22614/tid=22623] ppid=22612 vsize=3182980 CPUtime=7.3 cores=0-31
/proc/22614/task/22623/stat : 22623 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10064 0 0 0 685 45 0 0 22 0 32 0 8031853 3259371520 268446 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22624] ppid=22612 vsize=3182980 CPUtime=7.76 cores=0-31
/proc/22614/task/22624/stat : 22624 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10640 0 0 0 738 38 0 0 25 0 32 0 8031853 3259371520 268451 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22614/tid=22625] ppid=22612 vsize=3182980 CPUtime=7.99 cores=0-31
/proc/22614/task/22625/stat : 22625 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10890 0 0 0 764 35 0 0 25 0 32 0 8031853 3259371520 268455 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22614/tid=22626] ppid=22612 vsize=3182980 CPUtime=7.4 cores=0-31
/proc/22614/task/22626/stat : 22626 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10704 0 0 0 694 46 0 0 22 0 32 0 8031853 3259371520 268458 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295146 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22614/tid=22627] ppid=22612 vsize=3182980 CPUtime=7.3 cores=0-31
/proc/22614/task/22627/stat : 22627 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9666 0 0 0 692 38 0 0 22 0 32 0 8031853 3259371520 268463 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22614/tid=22628] ppid=22612 vsize=3182980 CPUtime=7.32 cores=0-31
/proc/22614/task/22628/stat : 22628 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10213 0 0 0 687 45 0 0 22 0 32 0 8031853 3259371520 268468 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22614/tid=22629] ppid=22612 vsize=3182980 CPUtime=7.36 cores=0-31
/proc/22614/task/22629/stat : 22629 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10378 0 0 0 692 44 0 0 22 0 32 0 8031853 3259371520 268472 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22614/tid=22630] ppid=22612 vsize=3182980 CPUtime=7.32 cores=0-31
/proc/22614/task/22630/stat : 22630 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10129 0 0 0 686 46 0 0 22 0 32 0 8031853 3259371520 268477 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22614/tid=22631] ppid=22612 vsize=3182980 CPUtime=7.36 cores=0-31
/proc/22614/task/22631/stat : 22631 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9394 0 0 0 694 42 0 0 22 0 32 0 8031853 3259371520 268482 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22614/tid=22632] ppid=22612 vsize=3182980 CPUtime=7.99 cores=0-31
/proc/22614/task/22632/stat : 22632 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10548 0 0 0 764 35 0 0 25 0 32 0 8031853 3259371520 268486 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22614/tid=22633] ppid=22612 vsize=3182980 CPUtime=7.96 cores=0-31
/proc/22614/task/22633/stat : 22633 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9471 0 0 0 767 29 0 0 25 0 32 0 8031853 3259371520 268490 268435456000 4194304 4580107 140734691724096 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22614/tid=22634] ppid=22612 vsize=3182980 CPUtime=7.32 cores=0-31
/proc/22614/task/22634/stat : 22634 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10053 0 0 0 689 43 0 0 22 0 32 0 8031853 3259371520 268495 268435456000 4194304 4580107 140734691724096 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22614/tid=22635] ppid=22612 vsize=3182980 CPUtime=7.82 cores=0-31
/proc/22614/task/22635/stat : 22635 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10220 0 0 0 742 40 0 0 25 0 32 0 8031853 3259371520 268499 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22614/tid=22636] ppid=22612 vsize=3182980 CPUtime=7.2 cores=0-31
/proc/22614/task/22636/stat : 22636 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10685 0 0 0 676 44 0 0 21 0 32 0 8031853 3259371520 268502 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22614/tid=22637] ppid=22612 vsize=3182980 CPUtime=7.34 cores=0-31
/proc/22614/task/22637/stat : 22637 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10524 0 0 0 686 48 0 0 22 0 32 0 8031853 3259371520 268506 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22614/tid=22638] ppid=22612 vsize=3182980 CPUtime=7.3 cores=0-31
/proc/22614/task/22638/stat : 22638 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10100 0 0 0 685 45 0 0 22 0 32 0 8031853 3259371520 268508 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22614/tid=22639] ppid=22612 vsize=3182980 CPUtime=7.39 cores=0-31
/proc/22614/task/22639/stat : 22639 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9767 0 0 0 697 42 0 0 22 0 32 0 8031853 3259371520 268508 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22614/tid=22640] ppid=22612 vsize=3182980 CPUtime=7.86 cores=0-31
/proc/22614/task/22640/stat : 22640 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10397 0 0 0 750 36 0 0 25 0 32 0 8031853 3259371520 268509 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295099 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22614/tid=22641] ppid=22612 vsize=3182980 CPUtime=7.29 cores=0-31
/proc/22614/task/22641/stat : 22641 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10232 0 0 0 683 46 0 0 22 0 32 0 8031853 3259371520 268509 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22614/tid=22642] ppid=22612 vsize=3182980 CPUtime=7.37 cores=0-31
/proc/22614/task/22642/stat : 22642 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9275 0 0 0 695 42 0 0 23 0 32 0 8031853 3259371520 268509 268435456000 4194304 4580107 140734691724096 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22614/tid=22643] ppid=22612 vsize=3182980 CPUtime=7.43 cores=0-31
/proc/22614/task/22643/stat : 22643 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10393 0 0 0 697 46 0 0 22 0 32 0 8031853 3259371520 268511 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22614/tid=22644] ppid=22612 vsize=3182980 CPUtime=7.3 cores=0-31
/proc/22614/task/22644/stat : 22644 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9934 0 0 0 687 43 0 0 22 0 32 0 8031853 3259371520 268512 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22614/tid=22645] ppid=22612 vsize=3182980 CPUtime=8.83 cores=0-31
/proc/22614/task/22645/stat : 22645 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 5244 0 0 0 857 26 0 0 25 0 32 0 8031853 3259371520 268512 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 241.43
Current children cumulated vsize (KiB) 3182980

[startup+10.2022 s]
/proc/loadavg: 31.76 31.53 31.77 33/445 22648
/proc/meminfo: memFree=262475400/264257624 swapFree=67044764/67111528
[pid=22614] ppid=22612 vsize=3183280 CPUtime=244.64 cores=0-31
/proc/22614/stat : 22614 (strangenight2-m) R 22612 22614 22468 0 -1 4202496 321916 0 0 0 23123 1341 0 0 24 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295107 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22614/statm: 795820 268726 379 95 0 790802 0
[pid=22614/tid=22615] ppid=22612 vsize=3183280 CPUtime=7.7 cores=0-31
/proc/22614/task/22615/stat : 22615 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10387 0 0 0 729 41 0 0 25 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22614/tid=22616] ppid=22612 vsize=3183280 CPUtime=7.57 cores=0-31
/proc/22614/task/22616/stat : 22616 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 11014 0 0 0 710 47 0 0 22 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22617] ppid=22612 vsize=3183280 CPUtime=7.46 cores=0-31
/proc/22614/task/22617/stat : 22617 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10234 0 0 0 698 48 0 0 22 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295103 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22614/tid=22618] ppid=22612 vsize=3183280 CPUtime=7.43 cores=0-31
/proc/22614/task/22618/stat : 22618 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9985 0 0 0 701 42 0 0 22 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22614/tid=22619] ppid=22612 vsize=3183280 CPUtime=7.45 cores=0-31
/proc/22614/task/22619/stat : 22619 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10456 0 0 0 704 41 0 0 23 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22614/tid=22620] ppid=22612 vsize=3183280 CPUtime=7.56 cores=0-31
/proc/22614/task/22620/stat : 22620 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9660 0 0 0 720 36 0 0 22 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22614/tid=22621] ppid=22612 vsize=3183280 CPUtime=8.09 cores=0-31
/proc/22614/task/22621/stat : 22621 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10337 0 0 0 769 40 0 0 25 0 32 0 8031852 3259678720 268726 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22614/tid=22622] ppid=22612 vsize=3183280 CPUtime=7.61 cores=0-31
/proc/22614/task/22622/stat : 22622 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9558 0 0 0 721 40 0 0 23 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22614/tid=22623] ppid=22612 vsize=3183280 CPUtime=7.4 cores=0-31
/proc/22614/task/22623/stat : 22623 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10081 0 0 0 695 45 0 0 22 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22624] ppid=22612 vsize=3183280 CPUtime=7.86 cores=0-31
/proc/22614/task/22624/stat : 22624 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10654 0 0 0 748 38 0 0 25 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4296238 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22614/tid=22625] ppid=22612 vsize=3183280 CPUtime=8.09 cores=0-31
/proc/22614/task/22625/stat : 22625 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10916 0 0 0 774 35 0 0 25 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22614/tid=22626] ppid=22612 vsize=3183280 CPUtime=7.5 cores=0-31
/proc/22614/task/22626/stat : 22626 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10734 0 0 0 704 46 0 0 22 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22614/tid=22627] ppid=22612 vsize=3183280 CPUtime=7.4 cores=0-31
/proc/22614/task/22627/stat : 22627 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9693 0 0 0 702 38 0 0 22 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4252463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22614/tid=22628] ppid=22612 vsize=3183280 CPUtime=7.42 cores=0-31
/proc/22614/task/22628/stat : 22628 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10246 0 0 0 697 45 0 0 22 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295327 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22614/tid=22629] ppid=22612 vsize=3183280 CPUtime=7.46 cores=0-31
/proc/22614/task/22629/stat : 22629 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10391 0 0 0 702 44 0 0 22 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22614/tid=22630] ppid=22612 vsize=3183280 CPUtime=7.42 cores=0-31
/proc/22614/task/22630/stat : 22630 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10158 0 0 0 696 46 0 0 22 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22614/tid=22631] ppid=22612 vsize=3183280 CPUtime=7.46 cores=0-31
/proc/22614/task/22631/stat : 22631 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9418 0 0 0 704 42 0 0 22 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22614/tid=22632] ppid=22612 vsize=3183280 CPUtime=8.09 cores=0-31
/proc/22614/task/22632/stat : 22632 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10570 0 0 0 774 35 0 0 25 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295149 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22614/tid=22633] ppid=22612 vsize=3183280 CPUtime=8.06 cores=0-31
/proc/22614/task/22633/stat : 22633 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9471 0 0 0 777 29 0 0 25 0 32 0 8031853 3259678720 268727 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293971 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22614/tid=22634] ppid=22612 vsize=3183280 CPUtime=7.42 cores=0-31
/proc/22614/task/22634/stat : 22634 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10091 0 0 0 699 43 0 0 22 0 32 0 8031853 3259678720 268728 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22614/tid=22635] ppid=22612 vsize=3183280 CPUtime=7.92 cores=0-31
/proc/22614/task/22635/stat : 22635 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10243 0 0 0 752 40 0 0 25 0 32 0 8031853 3259678720 268728 268435456000 4194304 4580107 140734691724096 18446744073709551615 4295409 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22614/tid=22636] ppid=22612 vsize=3183280 CPUtime=7.3 cores=0-31
/proc/22614/task/22636/stat : 22636 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10709 0 0 0 686 44 0 0 22 0 32 0 8031853 3259678720 268728 268435456000 4194304 4580107 140734691724096 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22614/tid=22637] ppid=22612 vsize=3183280 CPUtime=7.44 cores=0-31
/proc/22614/task/22637/stat : 22637 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10544 0 0 0 696 48 0 0 22 0 32 0 8031853 3259678720 268728 268435456000 4194304 4580107 140734691724096 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22614/tid=22638] ppid=22612 vsize=3183280 CPUtime=7.4 cores=0-31
/proc/22614/task/22638/stat : 22638 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10115 0 0 0 695 45 0 0 22 0 32 0 8031853 3259678720 268728 268435456000 4194304 4580107 140734691724096 18446744073709551615 4325173 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22614/tid=22639] ppid=22612 vsize=3183280 CPUtime=7.49 cores=0-31
/proc/22614/task/22639/stat : 22639 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9809 0 0 0 707 42 0 0 22 0 32 0 8031853 3259678720 268728 268435456000 4194304 4580107 140734691724096 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22614/tid=22640] ppid=22612 vsize=3183280 CPUtime=7.96 cores=0-31
/proc/22614/task/22640/stat : 22640 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10424 0 0 0 760 36 0 0 25 0 32 0 8031853 3259678720 268729 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22614/tid=22641] ppid=22612 vsize=3183280 CPUtime=7.39 cores=0-31
/proc/22614/task/22641/stat : 22641 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10253 0 0 0 693 46 0 0 22 0 32 0 8031853 3259678720 268729 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22614/tid=22642] ppid=22612 vsize=3183280 CPUtime=7.47 cores=0-31
/proc/22614/task/22642/stat : 22642 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9320 0 0 0 705 42 0 0 23 0 32 0 8031853 3259678720 268731 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22614/tid=22643] ppid=22612 vsize=3183280 CPUtime=7.53 cores=0-31
/proc/22614/task/22643/stat : 22643 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 10420 0 0 0 707 46 0 0 22 0 32 0 8031853 3259678720 268731 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22614/tid=22644] ppid=22612 vsize=3183280 CPUtime=7.4 cores=0-31
/proc/22614/task/22644/stat : 22644 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 9949 0 0 0 697 43 0 0 22 0 32 0 8031853 3259678720 268731 268435456000 4194304 4580107 140734691724096 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22614/tid=22645] ppid=22612 vsize=3183280 CPUtime=8.93 cores=0-31
/proc/22614/task/22645/stat : 22645 (strangenight2-m) R 22612 22614 22468 0 -1 4202560 5259 0 0 0 867 26 0 0 25 0 32 0 8031853 3259678720 268731 268435456000 4194304 4580107 140734691724096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 244.64
Current children cumulated vsize (KiB) 3183280

Child status: 20
Real time (s): 10.2943
CPU time (s): 245.137
CPU user time (s): 231.615
CPU system time (s): 13.5219
CPU usage (%): 2381.29
Max. virtual memory (cumulated for all children) (KiB): 3263364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.615
system time used= 13.5219
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322000
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= 499640
involuntary context switches= 3355

runsolver used 0.110983 second user time and 0.357945 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 07:44:19
IDJOB=3400810
IDBENCH=83118
IDSOLVER=1886
FILE ID=node200/3400810-1306820659
RUNJOBID= node200-1306820480-22482
PBS_JOBID= 13471338
Free space on /tmp= 61580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400810-1306820659/watcher-3400810-1306820659 -o /tmp/evaluation-result-3400810-1306820659/solver-3400810-1306820659 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400810-1306820659.cnf

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

MD5SUM BENCH= f0a59aeb3af8016fb8ec53aa337c4836
RANDOM SEED=211070715

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:      263543268 kB
Buffers:        108928 kB
Cached:         395544 kB
SwapCached:      29992 kB
Active:         126492 kB
Inactive:       411096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263543268 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            6172 kB
Writeback:           4 kB
AnonPages:       30120 kB
Mapped:           8708 kB
Slab:            73016 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-31 07:44:29