Trace number 3400909

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 1605.73 60.3922

General information on the benchmark

NameSAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
MD5SUMb15321a24257fa4bdfd9c20c782f4c0e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark47.7397
Satisfiable
(Un)Satisfiability was proved
Number of variables370048
Number of clauses1118066
Sum of the clauses size2910246
Maximum clause length493
Minimum clause length1
Number of clauses of size 194
Number of clauses of size 2742801
Number of clauses of size 3369913
Number of clauses of size 41454
Number of clauses of size 5618
Number of clauses of size over 53186

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.08	c This is CryptoMiniSat 3.0.0
0.00/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08	c Reading file 'HOME/instance-3400909-1307136526.cnf'
0.00/0.11	c -- header says num vars:         370048
0.00/0.11	c -- header says num clauses:     1118066
155.14/8.74	c -- clauses added:            0 learnts,      1118066 normals,            0 xors
155.14/8.74	c -- vars added     370048
155.14/8.74	c Parsing time:  1.89 s
155.14/8.74	c  N st     0         0    370048    342439    717495         0   2705884         0   no data   no data
237.86/11.36	c asymm  cl-useful: 64/64/322352 lits-rem:10363 time: 2.57
1235.86/43.29	c Flit:  8883 Blit:  13418 bXBeca:    0 bXProp: 23254 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 31.70
1241.63/43.43	c Cleaning up after failed var search:     0.13 s 
1250.17/43.71	c Replacing    23255 vars Replaced   349566 lits Time:     0.21 s 
1264.15/44.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1270.02/44.42	c bin-w-bin subsume rem          469 bins  time:  0.13 s
1288.16/45.08	c subs with bin:      330  lits-rem:      6757  v-fix:    0  time:  0.33 s
1436.04/50.00	c Subs w/ non-existent bins:    177 l-rem:   2469 v-fix:   969 done:  27023 time:  4.77 s
1448.67/50.45	c Removed useless bin:       3  fixed:     0  props:  20.03M  time:  0.45 s
1601.39/59.20	c lits-rem:      1326  cl-subs:      371  v-elim:  95148  v-fix:    0  time:  5.15 s
1602.30/59.34	c Finding binary XORs  T:     0.14 s  found:    7655
1603.31/59.50	c Replacing     7655 vars Replaced   103854 lits Time:     0.15 s 
1604.50/59.62	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1604.50/59.62	c calculated reachability. Time: 0.01
1604.50/59.69	c Calc default polars -  time:   0.07 s pos:  175533 undec:  188975 neg:    5540
1604.50/59.69	c =========================================================================================
1604.50/59.69	c types(t): F = full restart, N = normal restart
1604.50/59.69	c types(t): S = simplification begin/end, E = solution found
1604.50/59.69	c restart types(rt): st = static, dy = dynamic
1604.50/59.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1604.50/59.69	c  B st     0         0    181672    185751    447840         0   1574028         0   no data   no data
1604.99/59.70	c Following stats are for *FIRST FINISHED THREAD ONLY*
1604.99/59.70	c num threads              : 32         
1604.99/59.70	c restarts                 : 5          
1604.99/59.70	c dynamic restarts         : 0          
1604.99/59.70	c static restarts          : 5          
1604.99/59.70	c full restarts            : 0          
1604.99/59.70	c total simplify time      : 0.66       
1604.99/59.70	c learnts DL2              : 0          
1604.99/59.70	c learnts size 2           : 725279     
1604.99/59.70	c learnts size 1           : 36809       (9.95      % of vars)
1604.99/59.70	c filedLit time            : 0.00        (0.00      % time)
1604.99/59.70	c v-elim SatELite          : 0           (0.00      % vars)
1604.99/59.70	c SatELite time            : 0.00        (0.00      % time)
1604.99/59.70	c v-elim xor               : 0           (0.00      % vars)
1604.99/59.70	c xor elim time            : 0.00        (0.00      % time)
1604.99/59.70	c num binary xor trees     : 5736       
1604.99/59.70	c binxor trees' crown      : 17800       (3.10      leafs/tree)
1604.99/59.70	c bin xor find time        : 0.25       
1604.99/59.70	c OTF clause improved      : 40          (0.03      clauses/conflict)
1604.99/59.70	c OTF impr. size diff      : 53          (1.32       lits/clause)
1604.99/59.70	c OTF cl watch-shrink      : 233         (0.20      clauses/conflict)
1604.99/59.70	c OTF cl watch-sh-lit      : 783         (3.36       lits/clause)
1604.99/59.70	c tried to recurMin cls    : 661         (55.59      % of conflicts)
1604.99/59.70	c updated cache            : 1169        (1.77       lits/tried recurMin)
1604.99/59.70	c unit cls recevied        : 0           (0.00      % of units)
1604.99/59.70	c unit cls sent            : 0           (0.00      % of units)
1604.99/59.70	c bin cls recevied         : 0          
1604.99/59.70	c bin cls sent             : 0          
1604.99/59.70	c clauses over max glue    : 0           (0.00      % of all clauses)
1604.99/59.70	c conflicts                : 1189        (22.59     / sec)
1604.99/59.70	c decisions                : 4365        (1.44      % random)
1604.99/59.70	c bogo-props               : 89354524    (1697980.50 / sec)
1604.99/59.70	c conflict literals        : 44594       (34.55     % deleted)
1604.99/59.70	c Memory used              : 11334.09    MB
1604.99/59.70	c single-thread CPU time   : 52.62       s
1604.99/59.70	c all-threads sum CPU time : 1458.80     s
1604.99/59.70	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 21.17 18.61 20.16 1/413 17902
/proc/meminfo: memFree=262719884/264257624 swapFree=67054988/67111528
[pid=17902] ppid=17900 vsize=338000 CPUtime=0.78 cores=0-31
/proc/17902/stat : 17902 (strangenight2-m) R 17900 17902 17812 0 -1 4202496 437 0 0 0 78 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530344 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/17902/statm: 84500 377 297 95 0 79482 0
[pid=17902/tid=17903] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17903/stat : 17903 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17902/tid=17904] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17904/stat : 17904 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530344 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=338000 CPUtime=0 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17902/tid=17906] ppid=17900 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17902/task/17906/stat : 17906 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530348 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17902/tid=17907] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17907/stat : 17907 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530348 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17902/tid=17908] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17908/stat : 17908 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530348 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17902/tid=17909] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17909/stat : 17909 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17902/tid=17910] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17910/stat : 17910 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17902/tid=17911] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17911/stat : 17911 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530344 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17902/tid=17912] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17912/stat : 17912 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17902/tid=17913] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17913/stat : 17913 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17902/tid=17914] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17914/stat : 17914 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17902/tid=17915] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17915/stat : 17915 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17902/tid=17916] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17916/stat : 17916 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530352 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17902/tid=17917] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17917/stat : 17917 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17902/tid=17918] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17918/stat : 17918 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530358 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17902/tid=17919] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17919/stat : 17919 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17902/tid=17920] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17920/stat : 17920 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17902/tid=17921] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17921/stat : 17921 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530348 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17902/tid=17922] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17922/stat : 17922 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17902/tid=17923] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17923/stat : 17923 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17902/tid=17924] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17924/stat : 17924 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530344 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17902/tid=17925] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17925/stat : 17925 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530358 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17902/tid=17926] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17926/stat : 17926 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17902/tid=17927] ppid=17900 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17902/task/17927/stat : 17927 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17902/tid=17928] ppid=17900 vsize=338000 CPUtime=0 cores=0-31
/proc/17902/task/17928/stat : 17928 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17902/tid=17929] ppid=17900 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17902/task/17929/stat : 17929 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530352 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17902/tid=17930] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17930/stat : 17930 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530344 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17902/tid=17931] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17931/stat : 17931 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17902/tid=17932] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17932/stat : 17932 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17902/tid=17933] ppid=17900 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17902/task/17933/stat : 17933 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19565171 346112000 377 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640530354 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.134037 s]
/proc/loadavg: 21.17 18.61 20.16 1/413 17902
/proc/meminfo: memFree=262719884/264257624 swapFree=67054988/67111528
[pid=17902] ppid=17900 vsize=1065408 CPUtime=2.97 cores=0-31
/proc/17902/stat : 17902 (strangenight2-m) D 17900 17902 17812 0 -1 4202496 12282 0 0 0 201 96 0 0 17 0 32 0 19565171 1090977792 12088 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653120 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/17902/statm: 266352 12099 333 95 0 261334 0
[pid=17902/tid=17903] ppid=17900 vsize=1065408 CPUtime=0.09 cores=0-31
/proc/17902/task/17903/stat : 17903 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 344 0 0 0 7 2 0 0 24 0 32 0 19565171 1090977792 12130 268435456000 4194304 4580107 140734508461888 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17902/tid=17904] ppid=17900 vsize=1065408 CPUtime=0.08 cores=0-31
/proc/17902/task/17904/stat : 17904 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 399 0 0 0 5 3 0 0 25 0 32 0 19565171 1090977792 12170 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566924584 0 0 -1 14 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=1065444 CPUtime=0.04 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 382 0 0 0 2 2 0 0 17 0 32 0 19565171 1091014656 12186 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17902/tid=17906] ppid=17900 vsize=1065444 CPUtime=0.07 cores=0-31
/proc/17902/task/17906/stat : 17906 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 19565171 1091014656 12188 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604501234736608 0 0 -1 23 0 0 0
[pid=17902/tid=17907] ppid=17900 vsize=1065444 CPUtime=0.08 cores=0-31
/proc/17902/task/17907/stat : 17907 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 267 0 0 0 6 2 0 0 17 0 32 0 19565171 1091014656 12196 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604473875783136 0 0 -1 0 0 0 0
[pid=17902/tid=17908] ppid=17900 vsize=1065444 CPUtime=0.08 cores=0-31
/proc/17902/task/17908/stat : 17908 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 389 0 0 0 6 2 0 0 17 0 32 0 19565171 1091014656 12206 268435456000 4194304 4580107 140734508461888 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17902/tid=17909] ppid=17900 vsize=1065444 CPUtime=0.09 cores=0-31
/proc/17902/task/17909/stat : 17909 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 459 0 0 0 6 3 0 0 25 0 32 0 19565171 1091014656 12242 268435456000 4194304 4580107 140734508461888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17902/tid=17910] ppid=17900 vsize=1065444 CPUtime=0.08 cores=0-31
/proc/17902/task/17910/stat : 17910 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 268 0 0 0 6 2 0 0 17 0 32 0 19565171 1091014656 12316 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566929024 0 0 -1 16 0 0 0
[pid=17902/tid=17911] ppid=17900 vsize=1065704 CPUtime=0.08 cores=0-31
/proc/17902/task/17911/stat : 17911 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 350 0 0 0 6 2 0 0 17 0 32 0 19565171 1091280896 12332 268435456000 4194304 4580107 140734508461888 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17902/tid=17912] ppid=17900 vsize=1065964 CPUtime=0.09 cores=0-31
/proc/17902/task/17912/stat : 17912 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 378 0 0 0 6 3 0 0 17 0 32 0 19565171 1091547136 12341 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566929024 0 0 -1 6 0 0 0
[pid=17902/tid=17913] ppid=17900 vsize=1065832 CPUtime=0.09 cores=0-31
/proc/17902/task/17913/stat : 17913 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 469 0 0 0 6 3 0 0 17 0 32 0 19565171 1091411968 12308 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604465709932000 0 0 -1 3 0 0 0
[pid=17902/tid=17914] ppid=17900 vsize=1065832 CPUtime=0.09 cores=0-31
/proc/17902/task/17914/stat : 17914 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 363 0 0 0 6 3 0 0 25 0 32 0 19565171 1091411968 12323 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17902/tid=17915] ppid=17900 vsize=1065832 CPUtime=0.08 cores=0-31
/proc/17902/task/17915/stat : 17915 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 268 0 0 0 6 2 0 0 17 0 32 0 19565171 1091411968 12324 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604504807333344 0 0 -1 10 0 0 0
[pid=17902/tid=17916] ppid=17900 vsize=1065832 CPUtime=0.09 cores=0-31
/proc/17902/task/17916/stat : 17916 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 460 0 0 0 6 3 0 0 17 0 32 0 19565171 1091411968 12368 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17902/tid=17917] ppid=17900 vsize=1065700 CPUtime=0.08 cores=0-31
/proc/17902/task/17917/stat : 17917 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 284 0 0 0 6 2 0 0 17 0 32 0 19565171 1091276800 12401 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604505463102944 0 0 -1 9 0 0 0
[pid=17902/tid=17918] ppid=17900 vsize=1065960 CPUtime=0.09 cores=0-31
/proc/17902/task/17918/stat : 17918 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 326 0 0 0 6 3 0 0 17 0 32 0 19565171 1091543040 12445 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17902/tid=17919] ppid=17900 vsize=1065960 CPUtime=0.09 cores=0-31
/proc/17902/task/17919/stat : 17919 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 424 0 0 0 6 3 0 0 17 0 32 0 19565171 1091543040 12463 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17902/tid=17920] ppid=17900 vsize=1065828 CPUtime=0.09 cores=0-31
/proc/17902/task/17920/stat : 17920 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 534 0 0 0 6 3 0 0 25 0 32 0 19565171 1091407872 12459 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17902/tid=17921] ppid=17900 vsize=1065696 CPUtime=0.09 cores=0-31
/proc/17902/task/17921/stat : 17921 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 398 0 0 0 6 3 0 0 17 0 32 0 19565171 1091272704 12427 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17902/tid=17922] ppid=17900 vsize=1065696 CPUtime=0.08 cores=0-31
/proc/17902/task/17922/stat : 17922 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 502 0 0 0 6 2 0 0 17 0 32 0 19565171 1091272704 12487 268435456000 4194304 4580107 140734508461888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17902/tid=17923] ppid=17900 vsize=1065956 CPUtime=0.08 cores=0-31
/proc/17902/task/17923/stat : 17923 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 275 0 0 0 6 2 0 0 17 0 32 0 19565171 1091538944 12505 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604501234736608 0 0 -1 17 0 0 0
[pid=17902/tid=17924] ppid=17900 vsize=1074160 CPUtime=0.09 cores=0-31
/proc/17902/task/17924/stat : 17924 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 497 0 0 0 6 3 0 0 25 0 32 0 19565171 1099939840 12532 268435456000 4194304 4580107 140734508461888 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17902/tid=17925] ppid=17900 vsize=1074420 CPUtime=0.08 cores=0-31
/proc/17902/task/17925/stat : 17925 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 278 0 0 0 6 2 0 0 17 0 32 0 19565171 1100206080 12584 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566929024 0 0 -1 19 0 0 0
[pid=17902/tid=17926] ppid=17900 vsize=1074608 CPUtime=0.09 cores=0-31
/proc/17902/task/17926/stat : 17926 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 367 0 0 0 6 3 0 0 17 0 32 0 19565171 1100398592 12595 268435456000 4194304 4580107 140734508461888 18446744073709551615 4307217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17902/tid=17927] ppid=17900 vsize=1074608 CPUtime=0.07 cores=0-31
/proc/17902/task/17927/stat : 17927 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 268 0 0 0 5 2 0 0 17 0 32 0 19565171 1100398592 12624 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604561979317728 0 0 -1 25 0 0 0
[pid=17902/tid=17928] ppid=17900 vsize=1074608 CPUtime=0.06 cores=0-31
/proc/17902/task/17928/stat : 17928 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 548 0 0 0 4 2 0 0 17 0 32 0 19565171 1100398592 12624 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604473875791328 0 0 -1 31 0 0 0
[pid=17902/tid=17929] ppid=17900 vsize=1074476 CPUtime=0.07 cores=0-31
/proc/17902/task/17929/stat : 17929 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 526 0 0 0 5 2 0 0 17 0 32 0 19565171 1100263424 12603 268435456000 4194304 4580107 140734508461888 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17902/tid=17930] ppid=17900 vsize=1074476 CPUtime=0.09 cores=0-31
/proc/17902/task/17930/stat : 17930 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 482 0 0 0 6 3 0 0 17 0 32 0 19565171 1100263424 12607 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566931344 0 0 -1 8 0 0 0
[pid=17902/tid=17931] ppid=17900 vsize=1074476 CPUtime=0.09 cores=0-31
/proc/17902/task/17931/stat : 17931 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 495 0 0 0 5 4 0 0 17 0 32 0 19565171 1100263424 12613 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17902/tid=17932] ppid=17900 vsize=1074344 CPUtime=0.08 cores=0-31
/proc/17902/task/17932/stat : 17932 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 269 0 0 0 6 2 0 0 17 0 32 0 19565171 1100128256 12586 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604489954057696 0 0 -1 21 0 0 0
[pid=17902/tid=17933] ppid=17900 vsize=1074344 CPUtime=0.08 cores=0-31
/proc/17902/task/17933/stat : 17933 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 387 0 0 0 6 2 0 0 17 0 32 0 19565171 1100128256 12599 268435456000 4194304 4580107 140734508461888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1065408

[startup+0.206227 s]
/proc/loadavg: 21.17 18.61 20.16 1/413 17902
/proc/meminfo: memFree=262719884/264257624 swapFree=67054988/67111528
[pid=17902] ppid=17900 vsize=1289548 CPUtime=3.73 cores=0-31
/proc/17902/stat : 17902 (strangenight2-m) S 17900 17902 17812 0 -1 4202496 26455 0 0 0 213 160 0 0 17 0 32 0 19565171 1320497152 23702 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/17902/statm: 322387 23702 336 95 0 317369 0
[pid=17902/tid=17903] ppid=17900 vsize=1289548 CPUtime=0.1 cores=0-31
/proc/17902/task/17903/stat : 17903 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 653 0 0 0 7 3 0 0 24 0 32 0 19565171 1320497152 23702 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 1 0 0 0
[pid=17902/tid=17904] ppid=17900 vsize=1289784 CPUtime=0.1 cores=0-31
/proc/17902/task/17904/stat : 17904 (strangenight2-m) D 17900 17902 17812 0 -1 4202560 848 0 0 0 5 5 0 0 17 0 32 0 19565171 1320738816 23706 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653351 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=1289784 CPUtime=0.06 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 809 0 0 0 2 4 0 0 17 0 32 0 19565171 1320738816 23842 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604505463102944 0 0 -1 28 0 0 0
[pid=17902/tid=17906] ppid=17900 vsize=1289784 CPUtime=0.07 cores=0-31
/proc/17902/task/17906/stat : 17906 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 286 0 0 0 5 2 0 0 17 0 32 0 19565171 1320738816 23850 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604501234736608 0 0 -1 23 0 0 0
[pid=17902/tid=17907] ppid=17900 vsize=1289784 CPUtime=0.1 cores=0-31
/proc/17902/task/17907/stat : 17907 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 402 0 0 0 7 3 0 0 17 0 32 0 19565171 1320738816 23885 268435456000 4194304 4580107 140734508461888 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17902/tid=17908] ppid=17900 vsize=1289784 CPUtime=0.11 cores=0-31
/proc/17902/task/17908/stat : 17908 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 1014 0 0 0 6 5 0 0 17 0 32 0 19565171 1320738816 23935 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604463152414176 0 0 -1 24 0 0 0
[pid=17902/tid=17909] ppid=17900 vsize=1289784 CPUtime=0.14 cores=0-31
/proc/17902/task/17909/stat : 17909 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 1382 0 0 0 7 7 0 0 18 0 32 0 19565171 1320738816 23945 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17902/tid=17910] ppid=17900 vsize=1289784 CPUtime=0.08 cores=0-31
/proc/17902/task/17910/stat : 17910 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 269 0 0 0 6 2 0 0 17 0 32 0 19565171 1320738816 23955 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566929024 0 0 -1 16 0 0 0
[pid=17902/tid=17911] ppid=17900 vsize=1289784 CPUtime=0.12 cores=0-31
/proc/17902/task/17911/stat : 17911 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 905 0 0 0 7 5 0 0 17 0 32 0 19565171 1320738816 23980 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 2 0 0 0
[pid=17902/tid=17912] ppid=17900 vsize=1289784 CPUtime=0.12 cores=0-31
/proc/17902/task/17912/stat : 17912 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 874 0 0 0 7 5 0 0 17 0 32 0 19565171 1320738816 24032 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17902/tid=17913] ppid=17900 vsize=1289784 CPUtime=0.12 cores=0-31
/proc/17902/task/17913/stat : 17913 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 1078 0 0 0 7 5 0 0 17 0 32 0 19565171 1320738816 24065 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604473875791328 0 0 -1 3 0 0 0
[pid=17902/tid=17914] ppid=17900 vsize=1289784 CPUtime=0.11 cores=0-31
/proc/17902/task/17914/stat : 17914 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 965 0 0 0 6 5 0 0 17 0 32 0 19565171 1320738816 24111 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17902/tid=17915] ppid=17900 vsize=1289784 CPUtime=0.09 cores=0-31
/proc/17902/task/17915/stat : 17915 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 332 0 0 0 6 3 0 0 17 0 32 0 19565171 1320738816 24153 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604471758413280 0 0 -1 10 0 0 0
[pid=17902/tid=17916] ppid=17900 vsize=1289784 CPUtime=0.13 cores=0-31
/proc/17902/task/17916/stat : 17916 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 1025 0 0 0 7 6 0 0 17 0 32 0 19565171 1320738816 24185 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604484442185184 0 0 -1 7 0 0 0
[pid=17902/tid=17917] ppid=17900 vsize=1289784 CPUtime=0.11 cores=0-31
/proc/17902/task/17917/stat : 17917 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 660 0 0 0 7 4 0 0 17 0 32 0 19565171 1320738816 24185 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604465709932000 0 0 -1 9 0 0 0
[pid=17902/tid=17918] ppid=17900 vsize=1289784 CPUtime=0.1 cores=0-31
/proc/17902/task/17918/stat : 17918 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 673 0 0 0 6 4 0 0 17 0 32 0 19565171 1320738816 24185 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446604484442185184 0 0 -1 30 0 0 0
[pid=17902/tid=17919] ppid=17900 vsize=1289784 CPUtime=0.12 cores=0-31

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

/proc/17902/stat : 17902 (strangenight2-m) R 17900 17902 17812 0 -1 4202496 2408900 0 0 0 143334 14467 0 0 16 0 32 0 19565171 11734863872 2183441 268435456000 4194304 4580107 140734508461888 18446744073709551615 4412632 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/17902/statm: 2864957 2183443 376 95 0 2859939 0
[pid=17902/tid=17903] ppid=17900 vsize=11459828 CPUtime=48.55 cores=0-31
/proc/17902/task/17903/stat : 17903 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 75802 0 0 0 4391 464 0 0 16 0 32 0 19565171 11734863872 2183443 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604504807333344 0 0 -1 17 0 0 0
[pid=17902/tid=17904] ppid=17900 vsize=11459828 CPUtime=50.85 cores=0-31
/proc/17902/task/17904/stat : 17904 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 81691 0 0 0 4569 516 0 0 16 0 32 0 19565171 11734863872 2183444 268435456000 4194304 4580107 140734508461888 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=11459828 CPUtime=47.1 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80684 0 0 0 4333 377 0 0 18 0 32 0 19565171 11734863872 2183446 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604473875783136 0 0 -1 22 0 0 0
[pid=17902/tid=17906] ppid=17900 vsize=11459828 CPUtime=50.21 cores=0-31
/proc/17902/task/17906/stat : 17906 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 62893 0 0 0 4566 455 0 0 16 0 32 0 19565171 11734863872 2183447 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 18446744071566926664 0 0 -1 24 0 0 0
[pid=17902/tid=17907] ppid=17900 vsize=11459828 CPUtime=50.26 cores=0-31
/proc/17902/task/17907/stat : 17907 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 76738 0 0 0 4541 485 0 0 16 0 32 0 19565171 11734863872 2183449 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17902/tid=17908] ppid=17900 vsize=11459828 CPUtime=44.68 cores=0-31
/proc/17902/task/17908/stat : 17908 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 86021 0 0 0 4113 355 0 0 18 0 32 0 19565171 11734863872 2183449 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604459910897120 0 0 -1 26 0 0 0
[pid=17902/tid=17909] ppid=17900 vsize=11459828 CPUtime=44.09 cores=0-31
/proc/17902/task/17909/stat : 17909 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 71349 0 0 0 4094 315 0 0 18 0 32 0 19565171 11734863872 2183450 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446744071566924664 0 0 -1 29 0 0 0
[pid=17902/tid=17910] ppid=17900 vsize=11459828 CPUtime=49.66 cores=0-31
/proc/17902/task/17910/stat : 17910 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80381 0 0 0 4509 457 0 0 16 0 32 0 19565171 11734863872 2183451 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604485909454304 0 0 -1 26 0 0 0
[pid=17902/tid=17911] ppid=17900 vsize=11459828 CPUtime=49.82 cores=0-31
/proc/17902/task/17911/stat : 17911 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77807 0 0 0 4516 466 0 0 16 0 32 0 19565171 11734863872 2183451 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604471758413280 0 0 -1 21 0 0 0
[pid=17902/tid=17912] ppid=17900 vsize=11459828 CPUtime=50.6 cores=0-31
/proc/17902/task/17912/stat : 17912 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 84437 0 0 0 4574 486 0 0 16 0 32 0 19565171 11734863872 2183455 268435456000 4194304 4580107 140734508461888 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17902/tid=17913] ppid=17900 vsize=11459828 CPUtime=48.47 cores=0-31
/proc/17902/task/17913/stat : 17913 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80698 0 0 0 4425 422 0 0 16 0 32 0 19565171 11734863872 2183458 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604490502094304 0 0 -1 5 0 0 0
[pid=17902/tid=17914] ppid=17900 vsize=11459828 CPUtime=48.37 cores=0-31
/proc/17902/task/17914/stat : 17914 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77053 0 0 0 4365 472 0 0 16 0 32 0 19565171 11734863872 2183458 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604469094440416 0 0 -1 10 0 0 0
[pid=17902/tid=17915] ppid=17900 vsize=11459828 CPUtime=50.51 cores=0-31
/proc/17902/task/17915/stat : 17915 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 61112 0 0 0 4560 491 0 0 16 0 32 0 19565171 11734863872 2183458 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17902/tid=17916] ppid=17900 vsize=11459828 CPUtime=50.01 cores=0-31
/proc/17902/task/17916/stat : 17916 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 73805 0 0 0 4495 506 0 0 16 0 32 0 19565171 11734863872 2183459 268435456000 4194304 4580107 140734508461888 18446744073709551615 4399604 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17902/tid=17917] ppid=17900 vsize=11459828 CPUtime=49.8 cores=0-31
/proc/17902/task/17917/stat : 17917 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80689 0 0 0 4486 494 0 0 16 0 32 0 19565171 11734863872 2183463 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604465709932000 0 0 -1 6 0 0 0
[pid=17902/tid=17918] ppid=17900 vsize=11459828 CPUtime=50.92 cores=0-31
/proc/17902/task/17918/stat : 17918 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 74248 0 0 0 4613 479 0 0 16 0 32 0 19565171 11734863872 2183464 268435456000 4194304 4580107 140734508461888 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17902/tid=17919] ppid=17900 vsize=11459828 CPUtime=50.2 cores=0-31
/proc/17902/task/17919/stat : 17919 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 81880 0 0 0 4533 487 0 0 16 0 32 0 19565171 11734863872 2183464 268435456000 4194304 4580107 140734508461888 18446744073709551615 4412930 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17902/tid=17920] ppid=17900 vsize=11459828 CPUtime=45.37 cores=0-31
/proc/17902/task/17920/stat : 17920 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 79460 0 0 0 4210 327 0 0 18 0 32 0 19565171 11734863872 2183465 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604499201637856 0 0 -1 13 0 0 0
[pid=17902/tid=17921] ppid=17900 vsize=11459828 CPUtime=47.5 cores=0-31
/proc/17902/task/17921/stat : 17921 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77943 0 0 0 4323 427 0 0 18 0 32 0 19565171 11734863872 2183466 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604484442185184 0 0 -1 3 0 0 0
[pid=17902/tid=17922] ppid=17900 vsize=11459828 CPUtime=50.29 cores=0-31
/proc/17902/task/17922/stat : 17922 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 77309 0 0 0 4532 497 0 0 16 0 32 0 19565171 11734863872 2183466 268435456000 4194304 4580107 140734508461888 18446744073709551615 4419407 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17902/tid=17923] ppid=17900 vsize=11459828 CPUtime=48.31 cores=0-31
/proc/17902/task/17923/stat : 17923 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77941 0 0 0 4391 440 0 0 16 0 32 0 19565171 11734863872 2183468 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604501234736608 0 0 -1 18 0 0 0
[pid=17902/tid=17924] ppid=17900 vsize=11459828 CPUtime=51.05 cores=0-31
/proc/17902/task/17924/stat : 17924 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 76393 0 0 0 4580 525 0 0 16 0 32 0 19565171 11734863872 2183468 268435456000 4194304 4580107 140734508461888 18446744073709551615 4395791 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17902/tid=17925] ppid=17900 vsize=11459828 CPUtime=50.61 cores=0-31
/proc/17902/task/17925/stat : 17925 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 75511 0 0 0 4577 484 0 0 16 0 32 0 19565171 11734863872 2183469 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17902/tid=17926] ppid=17900 vsize=11459828 CPUtime=50.97 cores=0-31
/proc/17902/task/17926/stat : 17926 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 78760 0 0 0 4581 516 0 0 16 0 32 0 19565171 11734863872 2183469 268435456000 4194304 4580107 140734508461888 18446744073709551615 4419407 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17902/tid=17927] ppid=17900 vsize=11459828 CPUtime=49.94 cores=0-31
/proc/17902/task/17927/stat : 17927 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 68703 0 0 0 4527 467 0 0 16 0 32 0 19565171 11734863872 2183471 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17902/tid=17928] ppid=17900 vsize=11459828 CPUtime=50.07 cores=0-31
/proc/17902/task/17928/stat : 17928 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 83171 0 0 0 4511 496 0 0 16 0 32 0 19565171 11734863872 2183471 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17902/tid=17929] ppid=17900 vsize=11459828 CPUtime=50.4 cores=0-31
/proc/17902/task/17929/stat : 17929 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 72367 0 0 0 4533 507 0 0 16 0 32 0 19565171 11734863872 2183472 268435456000 4194304 4580107 140734508461888 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17902/tid=17930] ppid=17900 vsize=11459828 CPUtime=50.25 cores=0-31
/proc/17902/task/17930/stat : 17930 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 66006 0 0 0 4558 467 0 0 16 0 32 0 19565171 11734863872 2183475 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17902/tid=17931] ppid=17900 vsize=11459828 CPUtime=46.08 cores=0-31
/proc/17902/task/17931/stat : 17931 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 65222 0 0 0 4267 341 0 0 17 0 32 0 19565171 11734863872 2183475 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604501551693280 0 0 -1 18 0 0 0
[pid=17902/tid=17932] ppid=17900 vsize=11459828 CPUtime=48.17 cores=0-31
/proc/17902/task/17932/stat : 17932 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 66151 0 0 0 4361 456 0 0 16 0 32 0 19565171 11734863872 2183476 268435456000 4194304 4580107 140734508461888 18446744073709551615 4395808 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17902/tid=17933] ppid=17900 vsize=11459828 CPUtime=53.85 cores=0-31
/proc/17902/task/17933/stat : 17933 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 52041 0 0 0 5052 333 0 0 25 0 32 0 19565171 11734863872 2183476 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640505540 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1578.01
Current children cumulated vsize (KiB) 11459828

[startup+59.2021 s]
/proc/loadavg: 25.30 20.29 20.64 17/445 17936
/proc/meminfo: memFree=253858824/264257624 swapFree=67054988/67111528
[pid=17902] ppid=17900 vsize=11606104 CPUtime=1601.39 cores=0-31
/proc/17902/stat : 17902 (strangenight2-m) R 17900 17902 17812 0 -1 4202496 2486064 0 0 0 145518 14621 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/17902/statm: 2901526 2245730 376 95 0 2896508 0
[pid=17902/tid=17903] ppid=17900 vsize=11606104 CPUtime=48.55 cores=0-31
/proc/17902/task/17903/stat : 17903 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 75802 0 0 0 4391 464 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604504807333344 0 0 -1 17 0 0 0
[pid=17902/tid=17904] ppid=17900 vsize=11606104 CPUtime=51.42 cores=0-31
/proc/17902/task/17904/stat : 17904 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 83144 0 0 0 4625 517 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604462006009312 0 0 -1 2 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=11606104 CPUtime=47.1 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80684 0 0 0 4333 377 0 0 18 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604473875783136 0 0 -1 22 0 0 0
[pid=17902/tid=17906] ppid=17900 vsize=11606104 CPUtime=51.73 cores=0-31
/proc/17902/task/17906/stat : 17906 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 68416 0 0 0 4704 469 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 4256946 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17902/tid=17907] ppid=17900 vsize=11606104 CPUtime=51.78 cores=0-31
/proc/17902/task/17907/stat : 17907 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 81340 0 0 0 4677 501 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 4496913 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17902/tid=17908] ppid=17900 vsize=11606104 CPUtime=44.68 cores=0-31
/proc/17902/task/17908/stat : 17908 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 86021 0 0 0 4113 355 0 0 18 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604459910897120 0 0 -1 26 0 0 0
[pid=17902/tid=17909] ppid=17900 vsize=11606104 CPUtime=44.09 cores=0-31
/proc/17902/task/17909/stat : 17909 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 71349 0 0 0 4094 315 0 0 18 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446744071566924664 0 0 -1 29 0 0 0
[pid=17902/tid=17910] ppid=17900 vsize=11606104 CPUtime=49.66 cores=0-31
/proc/17902/task/17910/stat : 17910 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80381 0 0 0 4509 457 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604485909454304 0 0 -1 26 0 0 0
[pid=17902/tid=17911] ppid=17900 vsize=11606104 CPUtime=49.82 cores=0-31
/proc/17902/task/17911/stat : 17911 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77807 0 0 0 4516 466 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604471758413280 0 0 -1 21 0 0 0
[pid=17902/tid=17912] ppid=17900 vsize=11606104 CPUtime=52.1 cores=0-31
/proc/17902/task/17912/stat : 17912 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 90833 0 0 0 4708 502 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 4497890 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17902/tid=17913] ppid=17900 vsize=11606104 CPUtime=48.47 cores=0-31
/proc/17902/task/17913/stat : 17913 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80698 0 0 0 4425 422 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604490502094304 0 0 -1 5 0 0 0
[pid=17902/tid=17914] ppid=17900 vsize=11606104 CPUtime=48.37 cores=0-31
/proc/17902/task/17914/stat : 17914 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77053 0 0 0 4365 472 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604469094440416 0 0 -1 10 0 0 0
[pid=17902/tid=17915] ppid=17900 vsize=11606104 CPUtime=51.62 cores=0-31
/proc/17902/task/17915/stat : 17915 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 66050 0 0 0 4667 495 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604499344244192 0 0 -1 28 0 0 0
[pid=17902/tid=17916] ppid=17900 vsize=11606104 CPUtime=51.3 cores=0-31
/proc/17902/task/17916/stat : 17916 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 78419 0 0 0 4618 512 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604489954057696 0 0 -1 15 0 0 0
[pid=17902/tid=17917] ppid=17900 vsize=11606104 CPUtime=49.8 cores=0-31
/proc/17902/task/17917/stat : 17917 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 80689 0 0 0 4486 494 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604465709932000 0 0 -1 6 0 0 0
[pid=17902/tid=17918] ppid=17900 vsize=11606104 CPUtime=51.55 cores=0-31
/proc/17902/task/17918/stat : 17918 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 74961 0 0 0 4675 480 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604463152430560 0 0 -1 9 0 0 0
[pid=17902/tid=17919] ppid=17900 vsize=11606104 CPUtime=51.7 cores=0-31
/proc/17902/task/17919/stat : 17919 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 86613 0 0 0 4667 503 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 4298703 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17902/tid=17920] ppid=17900 vsize=11606104 CPUtime=45.37 cores=0-31
/proc/17902/task/17920/stat : 17920 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 79460 0 0 0 4210 327 0 0 18 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604499201637856 0 0 -1 13 0 0 0
[pid=17902/tid=17921] ppid=17900 vsize=11606104 CPUtime=47.5 cores=0-31
/proc/17902/task/17921/stat : 17921 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77943 0 0 0 4323 427 0 0 18 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604484442185184 0 0 -1 3 0 0 0
[pid=17902/tid=17922] ppid=17900 vsize=11606104 CPUtime=51.81 cores=0-31
/proc/17902/task/17922/stat : 17922 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 83176 0 0 0 4670 511 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 4473268 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17902/tid=17923] ppid=17900 vsize=11606104 CPUtime=48.31 cores=0-31
/proc/17902/task/17923/stat : 17923 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 77941 0 0 0 4391 440 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604501234736608 0 0 -1 18 0 0 0
[pid=17902/tid=17924] ppid=17900 vsize=11606104 CPUtime=51.88 cores=0-31
/proc/17902/task/17924/stat : 17924 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 79480 0 0 0 4662 526 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604473875791328 0 0 -1 19 0 0 0
[pid=17902/tid=17925] ppid=17900 vsize=11606104 CPUtime=52.14 cores=0-31
/proc/17902/task/17925/stat : 17925 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 80637 0 0 0 4719 495 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529949 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17902/tid=17926] ppid=17900 vsize=11606104 CPUtime=52.47 cores=0-31
/proc/17902/task/17926/stat : 17926 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 84166 0 0 0 4722 525 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604465709915616 0 0 -1 22 0 0 0
[pid=17902/tid=17927] ppid=17900 vsize=11606104 CPUtime=51.48 cores=0-31
/proc/17902/task/17927/stat : 17927 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 73820 0 0 0 4672 476 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17902/tid=17928] ppid=17900 vsize=11606104 CPUtime=51.58 cores=0-31
/proc/17902/task/17928/stat : 17928 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 89311 0 0 0 4648 510 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17902/tid=17929] ppid=17900 vsize=11606104 CPUtime=50.78 cores=0-31
/proc/17902/task/17929/stat : 17929 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 73818 0 0 0 4570 508 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604503276150240 0 0 -1 10 0 0 0
[pid=17902/tid=17930] ppid=17900 vsize=11606104 CPUtime=51.31 cores=0-31
/proc/17902/task/17930/stat : 17930 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 70775 0 0 0 4661 470 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604505559612896 0 0 -1 21 0 0 0
[pid=17902/tid=17931] ppid=17900 vsize=11606104 CPUtime=46.08 cores=0-31
/proc/17902/task/17931/stat : 17931 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 65222 0 0 0 4267 341 0 0 17 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604501551693280 0 0 -1 18 0 0 0
[pid=17902/tid=17932] ppid=17900 vsize=11606104 CPUtime=48.91 cores=0-31
/proc/17902/task/17932/stat : 17932 (strangenight2-m) S 17900 17902 17812 0 -1 4202560 69239 0 0 0 4433 458 0 0 16 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640529972 0 0 4096 2 18446604489954549216 0 0 -1 22 0 0 0
[pid=17902/tid=17933] ppid=17900 vsize=11606104 CPUtime=55.44 cores=0-31
/proc/17902/task/17933/stat : 17933 (strangenight2-m) R 17900 17902 17812 0 -1 4202560 52041 0 0 0 5211 333 0 0 25 0 32 0 19565171 11884650496 2245730 268435456000 4194304 4580107 140734508461888 18446744073709551615 47720640505387 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1601.39
Current children cumulated vsize (KiB) 11606104

[startup+60.0012 s]
/proc/loadavg: 25.30 20.29 20.64 9/445 17936
/proc/meminfo: memFree=253716348/264257624 swapFree=67054988/67111528
[pid=17902] ppid=17900 vsize=0 CPUtime=1605.34 cores=0-31
/proc/17902/stat : 17902 (strangenight2-m) Z 17900 17902 17812 0 -1 4203548 2497228 0 0 0 145880 14654 0 0 17 0 2 0 19565171 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/17902/statm: 0 0 0 0 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=0 CPUtime=47.39 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) R 17900 17902 17812 0 -1 4203588 80684 0 0 0 4333 406 0 0 18 0 2 0 19565171 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1605.34
Current children cumulated vsize (KiB) 0

[startup+60.2012 s]
/proc/loadavg: 25.30 20.29 20.64 9/445 17936
/proc/meminfo: memFree=253716348/264257624 swapFree=67054988/67111528
[pid=17902] ppid=17900 vsize=0 CPUtime=1605.54 cores=0-31
/proc/17902/stat : 17902 (strangenight2-m) Z 17900 17902 17812 0 -1 4203548 2497228 0 0 0 145880 14674 0 0 17 0 2 0 19565171 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/17902/statm: 0 0 0 0 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=0 CPUtime=47.59 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) R 17900 17902 17812 0 -1 4203588 80684 0 0 0 4333 426 0 0 18 0 2 0 19565171 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1605.54
Current children cumulated vsize (KiB) 0

[startup+60.3012 s]
/proc/loadavg: 25.30 20.29 20.64 9/445 17936
/proc/meminfo: memFree=253716348/264257624 swapFree=67054988/67111528
[pid=17902] ppid=17900 vsize=0 CPUtime=1605.64 cores=0-31
/proc/17902/stat : 17902 (strangenight2-m) Z 17900 17902 17812 0 -1 4203548 2497228 0 0 0 145880 14684 0 0 17 0 2 0 19565171 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/17902/statm: 0 0 0 0 0 0 0
[pid=17902/tid=17905] ppid=17900 vsize=0 CPUtime=47.69 cores=0-31
/proc/17902/task/17905/stat : 17905 (strangenight2-m) R 17900 17902 17812 0 -1 4203588 80684 0 0 0 4333 436 0 0 18 0 2 0 19565171 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1605.64
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 60.3922
CPU time (s): 1605.73
CPU user time (s): 1458.8
CPU system time (s): 146.933
CPU usage (%): 2658.84
Max. virtual memory (cumulated for all children) (KiB): 11606104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1458.8
system time used= 146.933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2497228
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= 4257532
involuntary context switches= 52138

runsolver used 0.472928 second user time and 1.60975 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 23:28:48
IDJOB=3400909
IDBENCH=88178
IDSOLVER=1886
FILE ID=node200/3400909-1307136526
RUNJOBID= node200-1307136333-17826
PBS_JOBID= 13498420
Free space on /tmp= 61720 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400909-1307136526/watcher-3400909-1307136526 -o /tmp/evaluation-result-3400909-1307136526/solver-3400909-1307136526 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400909-1307136526.cnf

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

MD5SUM BENCH= b15321a24257fa4bdfd9c20c782f4c0e
RANDOM SEED=666281617

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262720164 kB
Buffers:        140584 kB
Cached:        1197204 kB
SwapCached:       8472 kB
Active:         141124 kB
Inactive:      1215172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262720164 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:           28328 kB
Writeback:          32 kB
AnonPages:       15300 kB
Mapped:           8564 kB
Slab:            92916 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   184396 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= 61716 MiB
End job on node200 at 2011-06-03 23:29:48