Trace number 3400774

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 1103.23 40.1319

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
MD5SUMa2c0a22b1392549d2fca6c4b89170828
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark30.5404
Satisfiable
(Un)Satisfiability was proved
Number of variables156721
Number of clauses469046
Sum of the clauses size1094438
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2312696
Number of clauses of size 3156348
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
2.09/0.08	c This is CryptoMiniSat 3.0.0
2.09/0.08	c WARNING: for repeatability, setting FPU to use double precision
2.09/0.08	c Reading file 'HOME/instance-3400774-1306778138.cnf'
2.65/0.11	c -- header says num vars:         156721
2.65/0.11	c -- header says num clauses:      469046
56.63/4.68	c -- clauses added:            0 learnts,       469046 normals,            0 xors
56.63/4.68	c -- vars added     156721
56.63/4.68	c Parsing time:  0.70 s
56.63/4.68	c  N st     0         0    156721    156348    312696         0   1094436         0   no data   no data
96.41/6.08	c asymm  cl-useful: 0/3783/156347 lits-rem:0 time: 1.35
1052.81/36.26	c Flit:   242 Blit:  11103 bXBeca:    0 bXProp: 4927 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 30.21
1052.81/36.32	c Cleaning up after failed var search:     0.05 s 
1056.58/36.44	c Replacing     4928 vars Replaced    94779 lits Time:     0.09 s 
1061.08/36.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1061.08/36.67	c bin-w-bin subsume rem          291 bins  time:  0.05 s
1065.31/36.80	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.13 s
1082.54/37.88	c Subs w/ non-existent bins:   2188 l-rem:   1987 v-fix:   201 done: 109576 time:  1.04 s
1085.42/38.03	c Removed useless bin:     546  fixed:     0  props:  20.00M  time:  0.16 s
1096.18/39.04	c lits-rem:       979  cl-subs:     9902  v-elim:  45704  v-fix:    0  time:  0.61 s
1096.18/39.10	c Finding binary XORs  T:     0.05 s  found:    5780
1097.18/39.17	c Replacing     5780 vars Replaced    84221 lits Time:     0.06 s 
1098.22/39.26	c Finding non-binary XORs:     0.04 s (found:      13, avg size: 3.0)
1098.22/39.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1098.22/39.28	c calculated reachability. Time: 0.00
1099.25/39.31	c Calc default polars -  time:   0.03 s pos:    1199 undec:   71330 neg:   84192
1099.25/39.31	c =========================================================================================
1099.25/39.31	c types(t): F = full restart, N = normal restart
1099.25/39.31	c types(t): S = simplification begin/end, E = solution found
1099.25/39.31	c restart types(rt): st = static, dy = dynamic
1099.25/39.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1099.25/39.31	c  B st     0         0     85427    127518    172118         0    785724         0   no data   no data
1102.72/39.85	c Following stats are for *FIRST FINISHED THREAD ONLY*
1102.72/39.85	c num threads              : 32         
1102.72/39.85	c restarts                 : 57         
1102.72/39.85	c dynamic restarts         : 51         
1102.72/39.85	c static restarts          : 6          
1102.72/39.85	c full restarts            : 0          
1102.72/39.85	c total simplify time      : 0.24       
1102.72/39.85	c learnts DL2              : 0          
1102.72/39.85	c learnts size 2           : 320650     
1102.72/39.85	c learnts size 1           : 13507       (8.62      % of vars)
1102.72/39.85	c filedLit time            : 0.00        (0.00      % time)
1102.72/39.85	c v-elim SatELite          : 0           (0.00      % vars)
1102.72/39.85	c SatELite time            : 0.00        (0.00      % time)
1102.72/39.85	c v-elim xor               : 0           (0.00      % vars)
1102.72/39.85	c xor elim time            : 0.00        (0.00      % time)
1102.72/39.85	c num binary xor trees     : 0          
1102.72/39.85	c binxor trees' crown      : 0           (nan       leafs/tree)
1102.72/39.85	c bin xor find time        : 0.10       
1102.72/39.85	c OTF clause improved      : 141         (0.01      clauses/conflict)
1102.72/39.85	c OTF impr. size diff      : 158         (1.12       lits/clause)
1102.72/39.85	c OTF cl watch-shrink      : 2196        (0.22      clauses/conflict)
1102.72/39.85	c OTF cl watch-sh-lit      : 5311        (2.42       lits/clause)
1102.72/39.85	c tried to recurMin cls    : 4724        (46.45      % of conflicts)
1102.72/39.85	c updated cache            : 6214        (1.32       lits/tried recurMin)
1102.72/39.85	c unit cls recevied        : 0           (0.00      % of units)
1102.72/39.85	c unit cls sent            : 3919        (29.01     % of units)
1102.72/39.85	c bin cls recevied         : 0          
1102.72/39.85	c bin cls sent             : 4696       
1102.72/39.85	c clauses over max glue    : 0           (0.00      % of all clauses)
1102.72/39.85	c conflicts                : 10169       (285.83    / sec)
1102.72/39.85	c decisions                : 29186       (1.62      % random)
1102.72/39.85	c bogo-props               : 155049937   (4358201.07 / sec)
1102.72/39.85	c conflict literals        : 178566      (38.60     % deleted)
1102.72/39.85	c Memory used              : 6127.54     MB
1102.72/39.85	c single-thread CPU time   : 35.58       s
1102.72/39.85	c all-threads sum CPU time : 1061.26     s
1102.72/39.85	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-3400774-1306778138/watcher-3400774-1306778138 -o /tmp/evaluation-result-3400774-1306778138/solver-3400774-1306778138 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400774-1306778138.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: 27.37 30.82 31.60 1/413 18322
/proc/meminfo: memFree=263746724/264257624 swapFree=67044744/67111528
[pid=18322] ppid=18320 vsize=338000 CPUtime=0.76 cores=0-31
/proc/18322/stat : 18322 (strangenight2-m) R 18320 18322 18232 0 -1 4202496 438 0 0 0 76 0 0 0 22 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682672 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/18322/statm: 84500 378 297 95 0 79482 0
[pid=18322/tid=18323] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18323/stat : 18323 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18322/tid=18324] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18324/stat : 18324 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682668 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18322/tid=18325] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18325/stat : 18325 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682668 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18322/tid=18326] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18326/stat : 18326 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18322/tid=18327] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18327/stat : 18327 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682678 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18322/tid=18328] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18328/stat : 18328 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682664 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18322/tid=18329] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18329/stat : 18329 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18322/tid=18330] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18330/stat : 18330 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18322/tid=18331] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18331/stat : 18331 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18322/tid=18332] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18332/stat : 18332 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18322/tid=18333] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18333/stat : 18333 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18322/tid=18334] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18334/stat : 18334 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682672 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18322/tid=18335] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18335/stat : 18335 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682668 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18322/tid=18336] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18336/stat : 18336 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 3779812 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18322/tid=18337] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18337/stat : 18337 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18322/tid=18338] ppid=18320 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18322/task/18338/stat : 18338 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18322/tid=18339] ppid=18320 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18322/task/18339/stat : 18339 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682664 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18322/tid=18340] ppid=18320 vsize=338000 CPUtime=0 cores=0-31
/proc/18322/task/18340/stat : 18340 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18322/tid=18341] ppid=18320 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18322/task/18341/stat : 18341 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682664 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18322/tid=18342] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18342/stat : 18342 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18322/tid=18343] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18343/stat : 18343 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682668 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18322/tid=18344] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18344/stat : 18344 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682668 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18322/tid=18345] ppid=18320 vsize=338000 CPUtime=0 cores=0-31
/proc/18322/task/18345/stat : 18345 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18322/tid=18346] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18346/stat : 18346 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18322/tid=18347] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18347/stat : 18347 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18322/tid=18348] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18348/stat : 18348 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18322/tid=18349] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18349/stat : 18349 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682664 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18322/tid=18350] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18350/stat : 18350 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18322/tid=18351] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18351/stat : 18351 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682668 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18322/tid=18352] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18352/stat : 18352 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18322/tid=18353] ppid=18320 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18322/task/18353/stat : 18353 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3779813 346112000 378 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682674 0 0 4096 2 0 0 0 -1 17 0 0 0

[startup+0.0810831 s]
/proc/loadavg: 27.37 30.82 31.60 1/413 18322
/proc/meminfo: memFree=263746724/264257624 swapFree=67044744/67111528
[pid=18322] ppid=18320 vsize=665900 CPUtime=2.09 cores=0-31
/proc/18322/stat : 18322 (strangenight2-m) R 18320 18322 18232 0 -1 4202496 1227 0 0 0 206 3 0 0 23 0 32 0 3779812 681881600 1078 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650999159 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/18322/statm: 166475 1084 315 95 0 161457 0
[pid=18322/tid=18323] ppid=18320 vsize=665900 CPUtime=0.07 cores=0-31
/proc/18322/task/18323/stat : 18323 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 10 0 0 0 7 0 0 0 23 0 32 0 3779812 681881600 1087 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18322/tid=18324] ppid=18320 vsize=665900 CPUtime=0.07 cores=0-31
/proc/18322/task/18324/stat : 18324 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 8 0 0 0 7 0 0 0 23 0 32 0 3779812 681881600 1087 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18322/tid=18325] ppid=18320 vsize=665900 CPUtime=0.06 cores=0-31
/proc/18322/task/18325/stat : 18325 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 13 0 0 0 6 0 0 0 20 0 32 0 3779812 681881600 1115 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18322/tid=18326] ppid=18320 vsize=665900 CPUtime=0.06 cores=0-31
/proc/18322/task/18326/stat : 18326 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 32 0 3779812 681881600 1115 268435456000 4194304 4580107 140735245690080 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18322/tid=18327] ppid=18320 vsize=665900 CPUtime=0.06 cores=0-31
/proc/18322/task/18327/stat : 18327 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 32 0 3779812 681881600 1115 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18322/tid=18328] ppid=18320 vsize=665900 CPUtime=0.06 cores=0-31
/proc/18322/task/18328/stat : 18328 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 77 0 0 0 6 0 0 0 18 0 32 0 3779812 681881600 1115 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18322/tid=18329] ppid=18320 vsize=665900 CPUtime=0.06 cores=0-31
/proc/18322/task/18329/stat : 18329 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 14 0 0 0 6 0 0 0 18 0 32 0 3779812 681881600 1116 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 18446604490472676832 0 0 -1 20 0 0 0
[pid=18322/tid=18330] ppid=18320 vsize=665900 CPUtime=0.07 cores=0-31
/proc/18322/task/18330/stat : 18330 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 5 0 0 0 7 0 0 0 21 0 32 0 3779812 681881600 1119 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 18446604506179452384 0 0 -1 5 0 0 0
[pid=18322/tid=18331] ppid=18320 vsize=665900 CPUtime=0.07 cores=0-31
/proc/18322/task/18331/stat : 18331 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 4 0 0 0 7 0 0 0 21 0 32 0 3779812 681881600 1119 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 18446604459716337120 0 0 -1 6 0 0 0
[pid=18322/tid=18332] ppid=18320 vsize=665904 CPUtime=0.07 cores=0-31
/proc/18322/task/18332/stat : 18332 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 11 0 0 0 7 0 0 0 21 0 32 0 3779812 681885696 1119 268435456000 4194304 4580107 140735245690080 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18322/tid=18333] ppid=18320 vsize=796980 CPUtime=0.06 cores=0-31
/proc/18322/task/18333/stat : 18333 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 5 0 0 0 6 0 0 0 21 0 32 0 3779812 816107520 1121 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 18446744071566926304 0 0 -1 9 0 0 0
[pid=18322/tid=18334] ppid=18320 vsize=796984 CPUtime=0.06 cores=0-31
/proc/18322/task/18334/stat : 18334 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 51 0 0 0 6 0 0 0 18 0 32 0 3779812 816111616 1139 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18322/tid=18335] ppid=18320 vsize=796988 CPUtime=0.06 cores=0-31
/proc/18322/task/18335/stat : 18335 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 9 0 0 0 6 0 0 0 21 0 32 0 3779812 816115712 1140 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18322/tid=18336] ppid=18320 vsize=731472 CPUtime=0.06 cores=0-31
/proc/18322/task/18336/stat : 18336 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 21 0 0 0 6 0 0 0 21 0 32 0 3779812 749027328 1146 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18322/tid=18337] ppid=18320 vsize=731472 CPUtime=0.06 cores=0-31
/proc/18322/task/18337/stat : 18337 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 25 0 0 0 6 0 0 0 22 0 32 0 3779813 749027328 1146 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18322/tid=18338] ppid=18320 vsize=731472 CPUtime=0.05 cores=0-31
/proc/18322/task/18338/stat : 18338 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 5 0 0 0 5 0 0 0 22 0 32 0 3779813 749027328 1165 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 18446604592504266208 0 0 -1 27 0 0 0
[pid=18322/tid=18339] ppid=18320 vsize=731452 CPUtime=0.05 cores=0-31
/proc/18322/task/18339/stat : 18339 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 23 0 0 0 5 0 0 0 22 0 32 0 3779813 749006848 1173 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18322/tid=18340] ppid=18320 vsize=731452 CPUtime=0.04 cores=0-31
/proc/18322/task/18340/stat : 18340 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 78 0 0 0 4 0 0 0 22 0 32 0 3779813 749006848 1191 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18322/tid=18341] ppid=18320 vsize=731456 CPUtime=0.05 cores=0-31
/proc/18322/task/18341/stat : 18341 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 74 0 0 0 5 0 0 0 18 0 32 0 3779813 749010944 1204 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18322/tid=18342] ppid=18320 vsize=731456 CPUtime=0.06 cores=0-31
/proc/18322/task/18342/stat : 18342 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 20 0 0 0 6 0 0 0 22 0 32 0 3779813 749010944 1400 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18322/tid=18343] ppid=18320 vsize=731456 CPUtime=0.06 cores=0-31
/proc/18322/task/18343/stat : 18343 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 18 0 0 0 6 0 0 0 22 0 32 0 3779813 749010944 1400 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18322/tid=18344] ppid=18320 vsize=731456 CPUtime=0.04 cores=0-31
/proc/18322/task/18344/stat : 18344 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 83 0 0 0 4 0 0 0 18 0 32 0 3779813 749010944 1400 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18322/tid=18345] ppid=18320 vsize=731456 CPUtime=0.01 cores=0-31
/proc/18322/task/18345/stat : 18345 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 9 0 0 0 1 0 0 0 22 0 32 0 3779813 749010944 1404 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18322/tid=18346] ppid=18320 vsize=731456 CPUtime=0.06 cores=0-31
/proc/18322/task/18346/stat : 18346 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 43 0 0 0 6 0 0 0 23 0 32 0 3779813 749010944 1409 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18322/tid=18347] ppid=18320 vsize=731460 CPUtime=0.06 cores=0-31
/proc/18322/task/18347/stat : 18347 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 21 0 0 0 6 0 0 0 23 0 32 0 3779813 749015040 1414 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18322/tid=18348] ppid=18320 vsize=731460 CPUtime=0.06 cores=0-31
/proc/18322/task/18348/stat : 18348 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 47 0 0 0 6 0 0 0 18 0 32 0 3779813 749015040 1423 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18322/tid=18349] ppid=18320 vsize=731464 CPUtime=0.06 cores=0-31
/proc/18322/task/18349/stat : 18349 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 37 0 0 0 6 0 0 0 18 0 32 0 3779813 749019136 1425 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18322/tid=18350] ppid=18320 vsize=731468 CPUtime=0.06 cores=0-31
/proc/18322/task/18350/stat : 18350 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 63 0 0 0 6 0 0 0 18 0 32 0 3779813 749023232 1439 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18322/tid=18351] ppid=18320 vsize=731468 CPUtime=0.06 cores=0-31
/proc/18322/task/18351/stat : 18351 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 20 0 0 0 6 0 0 0 18 0 32 0 3779813 749023232 1444 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18322/tid=18352] ppid=18320 vsize=731468 CPUtime=0.06 cores=0-31
/proc/18322/task/18352/stat : 18352 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 89 0 0 0 6 0 0 0 24 0 32 0 3779813 749023232 1452 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18322/tid=18353] ppid=18320 vsize=731468 CPUtime=0.06 cores=0-31
/proc/18322/task/18353/stat : 18353 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 58 0 0 0 6 0 0 0 18 0 32 0 3779813 749023232 1456 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 665900

[startup+0.105163 s]
/proc/loadavg: 27.37 30.82 31.60 1/413 18322
/proc/meminfo: memFree=263746724/264257624 swapFree=67044744/67111528
[pid=18322] ppid=18320 vsize=732576 CPUtime=2.65 cores=0-31
/proc/18322/stat : 18322 (strangenight2-m) R 18320 18322 18232 0 -1 4202496 8353 0 0 0 206 59 0 0 23 0 32 0 3779812 750157824 8197 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/18322/statm: 183144 8204 330 95 0 178126 0
[pid=18322/tid=18323] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18323/stat : 18323 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 228 0 0 0 7 1 0 0 23 0 32 0 3779812 750157824 8235 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18322/tid=18324] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18324/stat : 18324 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 248 0 0 0 7 1 0 0 23 0 32 0 3779812 750157824 8235 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18322/tid=18325] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18325/stat : 18325 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 235 0 0 0 6 2 0 0 20 0 32 0 3779812 750157824 8255 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18322/tid=18326] ppid=18320 vsize=732576 CPUtime=0.07 cores=0-31
/proc/18322/task/18326/stat : 18326 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 239 0 0 0 6 1 0 0 20 0 32 0 3779812 750157824 8332 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18322/tid=18327] ppid=18320 vsize=732576 CPUtime=0.07 cores=0-31
/proc/18322/task/18327/stat : 18327 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 249 0 0 0 6 1 0 0 20 0 32 0 3779812 750157824 8337 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18322/tid=18328] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18328/stat : 18328 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 277 0 0 0 7 1 0 0 17 0 32 0 3779812 750157824 8351 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 18446604453984402912 0 0 -1 4 0 0 0
[pid=18322/tid=18329] ppid=18320 vsize=732576 CPUtime=0.07 cores=0-31
/proc/18322/task/18329/stat : 18329 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 217 0 0 0 6 1 0 0 17 0 32 0 3779812 750157824 8353 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18322/tid=18330] ppid=18320 vsize=732576 CPUtime=0.09 cores=0-31
/proc/18322/task/18330/stat : 18330 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 198 0 0 0 7 2 0 0 21 0 32 0 3779812 750157824 8372 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18322/tid=18331] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18331/stat : 18331 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 240 0 0 0 7 1 0 0 21 0 32 0 3779812 750157824 8390 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18322/tid=18332] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18332/stat : 18332 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 254 0 0 0 7 1 0 0 18 0 32 0 3779812 750157824 8390 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18322/tid=18333] ppid=18320 vsize=732576 CPUtime=0.07 cores=0-31
/proc/18322/task/18333/stat : 18333 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 230 0 0 0 6 1 0 0 21 0 32 0 3779812 750157824 8402 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18322/tid=18334] ppid=18320 vsize=732576 CPUtime=0.07 cores=0-31
/proc/18322/task/18334/stat : 18334 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 281 0 0 0 6 1 0 0 17 0 32 0 3779812 750157824 8428 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650999207 0 0 4096 2 18446604644015069248 0 0 -1 10 0 0 0
[pid=18322/tid=18335] ppid=18320 vsize=732576 CPUtime=0.07 cores=0-31
/proc/18322/task/18335/stat : 18335 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 246 0 0 0 6 1 0 0 21 0 32 0 3779812 750157824 8431 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18322/tid=18336] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18336/stat : 18336 (strangenight2-m) D 18320 18322 18232 0 -1 4202560 253 0 0 0 6 2 0 0 21 0 32 0 3779812 750157824 8442 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18322/tid=18337] ppid=18320 vsize=732576 CPUtime=0.08 cores=0-31
/proc/18322/task/18337/stat : 18337 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 251 0 0 0 6 2 0 0 22 0 32 0 3779813 750157824 8453 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18322/tid=18338] ppid=18320 vsize=732576 CPUtime=0.06 cores=0-31
/proc/18322/task/18338/stat : 18338 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 248 0 0 0 5 1 0 0 22 0 32 0 3779813 750157824 8511 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18322/tid=18339] ppid=18320 vsize=732576 CPUtime=0.07 cores=0-31

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

[pid=18322/tid=18352] ppid=18320 vsize=4323140 CPUtime=32.17 cores=0-31
/proc/18322/task/18352/stat : 18352 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 22357 0 0 0 3112 105 0 0 18 0 32 0 3779813 4426895360 670301 268435456000 4194304 4580107 140735245690080 18446744073709551615 258650980487 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18322/tid=18353] ppid=18320 vsize=4323140 CPUtime=31.85 cores=0-31
/proc/18322/task/18353/stat : 18353 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 22019 0 0 0 3085 100 0 0 25 0 32 0 3779813 4426895360 670302 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748657707 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1025.39
Current children cumulated vsize (KiB) 4323140

[startup+38.3015 s]
/proc/loadavg: 28.82 30.75 31.55 18/445 18354
/proc/meminfo: memFree=260352800/264257624 swapFree=67044744/67111528
[pid=18322] ppid=18320 vsize=5721036 CPUtime=1089.53 cores=0-31
/proc/18322/stat : 18322 (strangenight2-m) R 18320 18322 18232 0 -1 4202496 1092922 0 0 0 105048 3905 0 0 18 0 32 0 3779812 5858340864 885276 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18322/statm: 1430259 885278 377 95 0 1425241 0
[pid=18322/tid=18323] ppid=18320 vsize=5721036 CPUtime=33.4 cores=0-31
/proc/18322/task/18323/stat : 18323 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 39119 0 0 0 3209 131 0 0 17 0 32 0 3779812 5858340864 885278 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604630270885344 0 0 -1 17 0 0 0
[pid=18322/tid=18324] ppid=18320 vsize=5721036 CPUtime=34 cores=0-31
/proc/18322/task/18324/stat : 18324 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38229 0 0 0 3265 135 0 0 16 0 32 0 3779812 5858340864 885279 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604496459087328 0 0 -1 30 0 0 0
[pid=18322/tid=18325] ppid=18320 vsize=5721036 CPUtime=32.87 cores=0-31
/proc/18322/task/18325/stat : 18325 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36804 0 0 0 3169 118 0 0 17 0 32 0 3779812 5858340864 885280 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604452236656096 0 0 -1 20 0 0 0
[pid=18322/tid=18326] ppid=18320 vsize=5721036 CPUtime=35.33 cores=0-31
/proc/18322/task/18326/stat : 18326 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 30993 0 0 0 3420 113 0 0 18 0 32 0 3779812 5858340864 885282 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682265 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18322/tid=18327] ppid=18320 vsize=5721036 CPUtime=34 cores=0-31
/proc/18322/task/18327/stat : 18327 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 23851 0 0 0 3299 101 0 0 19 0 32 0 3779812 5858340864 885284 268435456000 4194304 4580107 140735245690080 18446744073709551615 4292116 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18322/tid=18328] ppid=18320 vsize=5721036 CPUtime=32.39 cores=0-31
/proc/18322/task/18328/stat : 18328 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 34979 0 0 0 3141 98 0 0 17 0 32 0 3779812 5858340864 885286 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446744071566929664 0 0 -1 24 0 0 0
[pid=18322/tid=18329] ppid=18320 vsize=5721036 CPUtime=33.25 cores=0-31
/proc/18322/task/18329/stat : 18329 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36855 0 0 0 3199 126 0 0 17 0 32 0 3779812 5858340864 885286 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604470575324640 0 0 -1 28 0 0 0
[pid=18322/tid=18330] ppid=18320 vsize=5721036 CPUtime=34.95 cores=0-31
/proc/18322/task/18330/stat : 18330 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 31302 0 0 0 3374 121 0 0 18 0 32 0 3779812 5858340864 885286 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18322/tid=18331] ppid=18320 vsize=5721036 CPUtime=34.97 cores=0-31
/proc/18322/task/18331/stat : 18331 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 29064 0 0 0 3378 119 0 0 17 0 32 0 3779812 5858340864 885289 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18322/tid=18332] ppid=18320 vsize=5721036 CPUtime=34.89 cores=0-31
/proc/18322/task/18332/stat : 18332 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 27715 0 0 0 3377 112 0 0 17 0 32 0 3779812 5858340864 885289 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18322/tid=18333] ppid=18320 vsize=5721036 CPUtime=35.18 cores=0-31
/proc/18322/task/18333/stat : 18333 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 35791 0 0 0 3398 120 0 0 17 0 32 0 3779812 5858340864 885290 268435456000 4194304 4580107 140735245690080 18446744073709551615 4473268 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18322/tid=18334] ppid=18320 vsize=5721036 CPUtime=33.27 cores=0-31
/proc/18322/task/18334/stat : 18334 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38914 0 0 0 3191 136 0 0 17 0 32 0 3779812 5858340864 885293 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604595874577888 0 0 -1 10 0 0 0
[pid=18322/tid=18335] ppid=18320 vsize=5721036 CPUtime=34.87 cores=0-31
/proc/18322/task/18335/stat : 18335 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 32446 0 0 0 3367 120 0 0 17 0 32 0 3779812 5858340864 885293 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18322/tid=18336] ppid=18320 vsize=5721036 CPUtime=33.94 cores=0-31
/proc/18322/task/18336/stat : 18336 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38269 0 0 0 3264 130 0 0 16 0 32 0 3779812 5858340864 885295 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604452986379744 0 0 -1 7 0 0 0
[pid=18322/tid=18337] ppid=18320 vsize=5721036 CPUtime=35.16 cores=0-31
/proc/18322/task/18337/stat : 18337 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 26034 0 0 0 3399 117 0 0 17 0 32 0 3779813 5858340864 885296 268435456000 4194304 4580107 140735245690080 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18322/tid=18338] ppid=18320 vsize=5721036 CPUtime=34.61 cores=0-31
/proc/18322/task/18338/stat : 18338 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 28927 0 0 0 3343 118 0 0 17 0 32 0 3779813 5858340864 885298 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 18446604490472676832 0 0 -1 20 0 0 0
[pid=18322/tid=18339] ppid=18320 vsize=5721036 CPUtime=32.48 cores=0-31
/proc/18322/task/18339/stat : 18339 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 35605 0 0 0 3123 125 0 0 17 0 32 0 3779813 5858340864 885298 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604635218296288 0 0 -1 17 0 0 0
[pid=18322/tid=18340] ppid=18320 vsize=5721036 CPUtime=33.39 cores=0-31
/proc/18322/task/18340/stat : 18340 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 39100 0 0 0 3201 138 0 0 16 0 32 0 3779813 5858340864 885299 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604592760315360 0 0 -1 9 0 0 0
[pid=18322/tid=18341] ppid=18320 vsize=5721036 CPUtime=34.83 cores=0-31
/proc/18322/task/18341/stat : 18341 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 31944 0 0 0 3369 114 0 0 18 0 32 0 3779813 5858340864 885299 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18322/tid=18342] ppid=18320 vsize=5721036 CPUtime=35.3 cores=0-31
/proc/18322/task/18342/stat : 18342 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 34676 0 0 0 3430 100 0 0 18 0 32 0 3779813 5858340864 885302 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682265 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18322/tid=18343] ppid=18320 vsize=5721036 CPUtime=33.01 cores=0-31
/proc/18322/task/18343/stat : 18343 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 34630 0 0 0 3177 124 0 0 16 0 32 0 3779813 5858340864 885302 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604592504266208 0 0 -1 16 0 0 0
[pid=18322/tid=18344] ppid=18320 vsize=5721036 CPUtime=33.64 cores=0-31
/proc/18322/task/18344/stat : 18344 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 39402 0 0 0 3224 140 0 0 17 0 32 0 3779813 5858340864 885302 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604641534131680 0 0 -1 11 0 0 0
[pid=18322/tid=18345] ppid=18320 vsize=5721036 CPUtime=32.5 cores=0-31
/proc/18322/task/18345/stat : 18345 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38413 0 0 0 3119 131 0 0 16 0 32 0 3779813 5858340864 885304 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604457075850720 0 0 -1 22 0 0 0
[pid=18322/tid=18346] ppid=18320 vsize=5721036 CPUtime=33.54 cores=0-31
/proc/18322/task/18346/stat : 18346 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 40792 0 0 0 3220 134 0 0 17 0 32 0 3779813 5858340864 885305 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604458395000288 0 0 -1 14 0 0 0
[pid=18322/tid=18347] ppid=18320 vsize=5721036 CPUtime=32.59 cores=0-31
/proc/18322/task/18347/stat : 18347 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38168 0 0 0 3139 120 0 0 17 0 32 0 3779813 5858340864 885306 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604495455190496 0 0 -1 18 0 0 0
[pid=18322/tid=18348] ppid=18320 vsize=5721036 CPUtime=33.56 cores=0-31
/proc/18322/task/18348/stat : 18348 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36139 0 0 0 3224 132 0 0 16 0 32 0 3779813 5858340864 885306 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604453984402912 0 0 -1 13 0 0 0
[pid=18322/tid=18349] ppid=18320 vsize=5721036 CPUtime=34.96 cores=0-31
/proc/18322/task/18349/stat : 18349 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 28896 0 0 0 3376 120 0 0 18 0 32 0 3779813 5858340864 885308 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18322/tid=18350] ppid=18320 vsize=5721036 CPUtime=33.99 cores=0-31
/proc/18322/task/18350/stat : 18350 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 40493 0 0 0 3272 127 0 0 17 0 32 0 3779813 5858340864 885309 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604506297794016 0 0 -1 23 0 0 0
[pid=18322/tid=18351] ppid=18320 vsize=5721036 CPUtime=32.97 cores=0-31
/proc/18322/task/18351/stat : 18351 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36884 0 0 0 3170 127 0 0 17 0 32 0 3779813 5858340864 885309 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604506179452384 0 0 -1 23 0 0 0
[pid=18322/tid=18352] ppid=18320 vsize=5721036 CPUtime=35.06 cores=0-31
/proc/18322/task/18352/stat : 18352 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 36827 0 0 0 3379 127 0 0 18 0 32 0 3779813 5858340864 885309 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18322/tid=18353] ppid=18320 vsize=5721036 CPUtime=35.02 cores=0-31
/proc/18322/task/18353/stat : 18353 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 22019 0 0 0 3402 100 0 0 25 0 32 0 3779813 5858340864 885309 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748657860 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1089.53
Current children cumulated vsize (KiB) 5721036

[startup+39.1015 s]
/proc/loadavg: 27.71 30.49 31.46 11/445 18354
/proc/meminfo: memFree=260172504/264257624 swapFree=67044744/67111528
[pid=18322] ppid=18320 vsize=6034020 CPUtime=1097.18 cores=0-31
/proc/18322/stat : 18322 (strangenight2-m) R 18320 18322 18232 0 -1 4202496 1155375 0 0 0 105590 4128 0 0 17 0 32 0 3779812 6178836480 942830 268435456000 4194304 4580107 140735245690080 18446744073709551615 4496898 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/18322/statm: 1508505 942833 379 95 0 1503487 0
[pid=18322/tid=18323] ppid=18320 vsize=6034020 CPUtime=33.4 cores=0-31
/proc/18322/task/18323/stat : 18323 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 39119 0 0 0 3209 131 0 0 17 0 32 0 3779812 6178836480 942835 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604630270885344 0 0 -1 17 0 0 0
[pid=18322/tid=18324] ppid=18320 vsize=6034020 CPUtime=34 cores=0-31
/proc/18322/task/18324/stat : 18324 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38229 0 0 0 3265 135 0 0 16 0 32 0 3779812 6178836480 942837 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604496459087328 0 0 -1 30 0 0 0
[pid=18322/tid=18325] ppid=18320 vsize=6034020 CPUtime=32.87 cores=0-31
/proc/18322/task/18325/stat : 18325 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36804 0 0 0 3169 118 0 0 17 0 32 0 3779812 6178836480 942839 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604452236656096 0 0 -1 20 0 0 0
[pid=18322/tid=18326] ppid=18320 vsize=6034020 CPUtime=35.39 cores=0-31
/proc/18322/task/18326/stat : 18326 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 30993 0 0 0 3426 113 0 0 18 0 32 0 3779812 6178836480 942841 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604499223289312 0 0 -1 19 0 0 0
[pid=18322/tid=18327] ppid=18320 vsize=6034020 CPUtime=34.62 cores=0-31
/proc/18322/task/18327/stat : 18327 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 29951 0 0 0 3340 122 0 0 17 0 32 0 3779812 6178836480 942844 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18322/tid=18328] ppid=18320 vsize=6034020 CPUtime=32.39 cores=0-31
/proc/18322/task/18328/stat : 18328 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 34979 0 0 0 3141 98 0 0 17 0 32 0 3779812 6178836480 942846 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446744071566929664 0 0 -1 24 0 0 0
[pid=18322/tid=18329] ppid=18320 vsize=6034020 CPUtime=33.25 cores=0-31
/proc/18322/task/18329/stat : 18329 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36855 0 0 0 3199 126 0 0 17 0 32 0 3779812 6178836480 942847 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604470575324640 0 0 -1 28 0 0 0
[pid=18322/tid=18330] ppid=18320 vsize=6034020 CPUtime=35.57 cores=0-31
/proc/18322/task/18330/stat : 18330 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 38093 0 0 0 3414 143 0 0 17 0 32 0 3779812 6178836480 942848 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18322/tid=18331] ppid=18320 vsize=6034020 CPUtime=35.57 cores=0-31
/proc/18322/task/18331/stat : 18331 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 32308 0 0 0 3408 149 0 0 17 0 32 0 3779812 6178836480 942851 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18322/tid=18332] ppid=18320 vsize=6034020 CPUtime=35.51 cores=0-31
/proc/18322/task/18332/stat : 18332 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 32266 0 0 0 3420 131 0 0 17 0 32 0 3779812 6178836480 942852 268435456000 4194304 4580107 140735245690080 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18322/tid=18333] ppid=18320 vsize=6034020 CPUtime=35.35 cores=0-31
/proc/18322/task/18333/stat : 18333 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36097 0 0 0 3415 120 0 0 17 0 32 0 3779812 6178836480 942853 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604457285983712 0 0 -1 18 0 0 0
[pid=18322/tid=18334] ppid=18320 vsize=6034020 CPUtime=33.27 cores=0-31
/proc/18322/task/18334/stat : 18334 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38914 0 0 0 3191 136 0 0 17 0 32 0 3779812 6178836480 942854 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604595874577888 0 0 -1 10 0 0 0
[pid=18322/tid=18335] ppid=18320 vsize=6034020 CPUtime=35.48 cores=0-31
/proc/18322/task/18335/stat : 18335 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 37125 0 0 0 3402 146 0 0 17 0 32 0 3779812 6178836480 942855 268435456000 4194304 4580107 140735245690080 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18322/tid=18336] ppid=18320 vsize=6034020 CPUtime=33.94 cores=0-31
/proc/18322/task/18336/stat : 18336 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38269 0 0 0 3264 130 0 0 16 0 32 0 3779812 6178836480 942856 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604452986379744 0 0 -1 7 0 0 0
[pid=18322/tid=18337] ppid=18320 vsize=6034020 CPUtime=35.8 cores=0-31
/proc/18322/task/18337/stat : 18337 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 34526 0 0 0 3450 130 0 0 18 0 32 0 3779813 6178836480 942857 268435456000 4194304 4580107 140735245690080 18446744073709551615 4256943 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18322/tid=18338] ppid=18320 vsize=6034020 CPUtime=35.23 cores=0-31
/proc/18322/task/18338/stat : 18338 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 34192 0 0 0 3383 140 0 0 17 0 32 0 3779813 6178836480 942859 268435456000 4194304 4580107 140735245690080 18446744073709551615 4398074 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18322/tid=18339] ppid=18320 vsize=6034020 CPUtime=32.48 cores=0-31
/proc/18322/task/18339/stat : 18339 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 35605 0 0 0 3123 125 0 0 17 0 32 0 3779813 6178836480 942860 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604635218296288 0 0 -1 17 0 0 0
[pid=18322/tid=18340] ppid=18320 vsize=6034020 CPUtime=33.39 cores=0-31
/proc/18322/task/18340/stat : 18340 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 39100 0 0 0 3201 138 0 0 16 0 32 0 3779813 6178836480 942861 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604592760315360 0 0 -1 9 0 0 0
[pid=18322/tid=18341] ppid=18320 vsize=6034020 CPUtime=35.52 cores=0-31
/proc/18322/task/18341/stat : 18341 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 41484 0 0 0 3420 132 0 0 18 0 32 0 3779813 6178836480 942861 268435456000 4194304 4580107 140735245690080 18446744073709551615 4496860 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18322/tid=18342] ppid=18320 vsize=6034020 CPUtime=35.33 cores=0-31
/proc/18322/task/18342/stat : 18342 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 34676 0 0 0 3433 100 0 0 18 0 32 0 3779813 6178836480 942862 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604580830256608 0 0 -1 15 0 0 0
[pid=18322/tid=18343] ppid=18320 vsize=6034020 CPUtime=33.01 cores=0-31
/proc/18322/task/18343/stat : 18343 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 34630 0 0 0 3177 124 0 0 16 0 32 0 3779813 6178836480 942865 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604592504266208 0 0 -1 16 0 0 0
[pid=18322/tid=18344] ppid=18320 vsize=6034020 CPUtime=33.64 cores=0-31
/proc/18322/task/18344/stat : 18344 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 39402 0 0 0 3224 140 0 0 17 0 32 0 3779813 6178836480 942865 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604641534131680 0 0 -1 11 0 0 0
[pid=18322/tid=18345] ppid=18320 vsize=6034020 CPUtime=32.5 cores=0-31
/proc/18322/task/18345/stat : 18345 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38413 0 0 0 3119 131 0 0 16 0 32 0 3779813 6178836480 942866 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604457075850720 0 0 -1 22 0 0 0
[pid=18322/tid=18346] ppid=18320 vsize=6034020 CPUtime=33.54 cores=0-31
/proc/18322/task/18346/stat : 18346 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 40792 0 0 0 3220 134 0 0 17 0 32 0 3779813 6178836480 942866 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604458395000288 0 0 -1 14 0 0 0
[pid=18322/tid=18347] ppid=18320 vsize=6034020 CPUtime=32.59 cores=0-31
/proc/18322/task/18347/stat : 18347 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 38168 0 0 0 3139 120 0 0 17 0 32 0 3779813 6178836480 942869 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604495455190496 0 0 -1 18 0 0 0
[pid=18322/tid=18348] ppid=18320 vsize=6034020 CPUtime=33.56 cores=0-31
/proc/18322/task/18348/stat : 18348 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36139 0 0 0 3224 132 0 0 16 0 32 0 3779813 6178836480 942871 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604453984402912 0 0 -1 13 0 0 0
[pid=18322/tid=18349] ppid=18320 vsize=6034020 CPUtime=35.58 cores=0-31
/proc/18322/task/18349/stat : 18349 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 32354 0 0 0 3406 152 0 0 17 0 32 0 3779813 6178836480 942872 268435456000 4194304 4580107 140735245690080 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18322/tid=18350] ppid=18320 vsize=6034020 CPUtime=33.99 cores=0-31
/proc/18322/task/18350/stat : 18350 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 40493 0 0 0 3272 127 0 0 17 0 32 0 3779813 6178836480 942872 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604506297794016 0 0 -1 23 0 0 0
[pid=18322/tid=18351] ppid=18320 vsize=6034020 CPUtime=32.97 cores=0-31
/proc/18322/task/18351/stat : 18351 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 36884 0 0 0 3170 127 0 0 17 0 32 0 3779813 6178836480 942874 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604506179452384 0 0 -1 23 0 0 0
[pid=18322/tid=18352] ppid=18320 vsize=6034020 CPUtime=35.36 cores=0-31
/proc/18322/task/18352/stat : 18352 (strangenight2-m) S 18320 18322 18232 0 -1 4202560 37194 0 0 0 3408 128 0 0 18 0 32 0 3779813 6178836480 942875 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748682292 0 0 4096 2 18446604459716337120 0 0 -1 22 0 0 0
[pid=18322/tid=18353] ppid=18320 vsize=6034020 CPUtime=35.82 cores=0-31
/proc/18322/task/18353/stat : 18353 (strangenight2-m) R 18320 18322 18232 0 -1 4202560 22019 0 0 0 3482 100 0 0 25 0 32 0 3779813 6178836480 942876 268435456000 4194304 4580107 140735245690080 18446744073709551615 47345748657707 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1097.18
Current children cumulated vsize (KiB) 6034020

[startup+39.9016 s]
/proc/loadavg: 27.71 30.49 31.46 8/445 18354
/proc/meminfo: memFree=259899828/264257624 swapFree=67044744/67111528
[pid=18322] ppid=18320 vsize=0 CPUtime=1102.99 cores=0-31
/proc/18322/stat : 18322 (strangenight2-m) Z 18320 18322 18232 0 -1 4203548 1179762 0 0 0 106125 4174 0 0 15 0 2 0 3779812 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/18322/statm: 0 0 0 0 0 0 0
[pid=18322/tid=18326] ppid=18320 vsize=0 CPUtime=35.44 cores=0-31
/proc/18322/task/18326/stat : 18326 (strangenight2-m) R 18320 18322 18232 0 -1 4203588 30993 0 0 0 3426 118 0 0 18 0 2 0 3779812 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1102.99
Current children cumulated vsize (KiB) 0

[startup+40.1006 s]
/proc/loadavg: 27.71 30.49 31.46 8/445 18354
/proc/meminfo: memFree=259899828/264257624 swapFree=67044744/67111528
[pid=18322] ppid=18320 vsize=0 CPUtime=1103.19 cores=0-31
/proc/18322/stat : 18322 (strangenight2-m) Z 18320 18322 18232 0 -1 4203548 1179762 0 0 0 106125 4194 0 0 15 0 2 0 3779812 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/18322/statm: 0 0 0 0 0 0 0
[pid=18322/tid=18326] ppid=18320 vsize=0 CPUtime=35.64 cores=0-31
/proc/18322/task/18326/stat : 18326 (strangenight2-m) R 18320 18322 18232 0 -1 4203588 30993 0 0 0 3426 138 0 0 18 0 2 0 3779812 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1103.19
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 40.1319
CPU time (s): 1103.23
CPU user time (s): 1061.26
CPU system time (s): 41.9776
CPU usage (%): 2749.02
Max. virtual memory (cumulated for all children) (KiB): 6274596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1061.26
system time used= 41.9776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1179762
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= 1239905
involuntary context switches= 10128

runsolver used 0.282956 second user time and 0.996848 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 19:55:38
IDJOB=3400774
IDBENCH=82470
IDSOLVER=1886
FILE ID=node200/3400774-1306778138
RUNJOBID= node200-1306777938-18246
PBS_JOBID= 13471832
Free space on /tmp= 61572 MiB

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

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

MD5SUM BENCH= a2c0a22b1392549d2fca6c4b89170828
RANDOM SEED=1144571544

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:      263747004 kB
Buffers:         46676 kB
Cached:         288668 kB
SwapCached:      29732 kB
Active:         123256 kB
Inactive:       244144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263747004 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:           13852 kB
Writeback:           0 kB
AnonPages:       29412 kB
Mapped:           8804 kB
Slab:            59464 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   180584 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= 61568 MiB
End job on node200 at 2011-05-30 19:56:19