Trace number 3400680

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 1478.55 55.3056

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10t0.cnf
MD5SUM9029cec808e66e35ae213dc5615fd1f7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark46.7179
Satisfiable
(Un)Satisfiability was proved
Number of variables237336
Number of clauses1262609
Sum of the clauses size3042396
Maximum clause length10
Minimum clause length1
Number of clauses of size 113421
Number of clauses of size 2900089
Number of clauses of size 3288599
Number of clauses of size 46720
Number of clauses of size 526880
Number of clauses of size over 526900

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3400680-1306330849.cnf'
0.00/0.05	c -- header says num vars:         237336
0.00/0.05	c -- header says num clauses:     1262609
196.23/11.27	c -- clauses added:            0 learnts,      1262609 normals,            0 xors
196.23/11.27	c -- vars added     237336
196.23/11.27	c Parsing time:  1.93 s
196.23/11.27	c  N st     0         0    237336    318204    903807         0   2943726         0   no data   no data
234.49/12.43	c asymm  cl-useful: 407/5029/244334 lits-rem:1625 time: 1.11
1114.91/40.20	c Flit:  1208 Blit:   5694 bXBeca:    0 bXProp: 3132 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 27.76
1121.31/40.30	c Cleaning up after failed var search:     0.10 s 
1124.48/40.43	c Replacing     3132 vars Replaced    60635 lits Time:     0.11 s 
1130.76/40.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1134.59/40.76	c bin-w-bin subsume rem        21457 bins  time:  0.06 s
1137.76/40.90	c subs with bin:     1365  lits-rem:      7124  v-fix:    0  time:  0.13 s
1430.46/50.84	c Subs w/ non-existent bins:    232 l-rem:      0 v-fix:  6732 done:  19270 time:  9.88 s
1444.15/51.58	c Removed useless bin:     177  fixed:     0  props:  20.02M  time:  0.73 s
1462.25/52.66	c lits-rem:      9579  cl-subs:    19558  v-elim:  26437  v-fix:    0  time:  0.92 s
1463.66/52.74	c Finding binary XORs  T:     0.08 s  found:    1577
1465.32/52.82	c Replacing     1577 vars Replaced    19737 lits Time:     0.09 s 
1466.64/52.94	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
1466.64/52.94	c calculated reachability. Time: 0.00
1466.64/52.98	c Calc default polars -  time:   0.04 s pos:   20368 undec:  186760 neg:   30208
1466.64/52.98	c =========================================================================================
1466.64/52.98	c types(t): F = full restart, N = normal restart
1466.64/52.98	c types(t): S = simplification begin/end, E = solution found
1466.64/52.98	c restart types(rt): st = static, dy = dynamic
1466.64/52.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1466.64/52.98	c  B st     0         0     53746    193301    214203         0   1056526         0   no data   no data
1477.65/54.68	c Following stats are for *FIRST FINISHED THREAD ONLY*
1477.65/54.68	c num threads              : 32         
1477.65/54.68	c restarts                 : 26         
1477.65/54.68	c dynamic restarts         : 20         
1477.65/54.68	c static restarts          : 6          
1477.65/54.68	c full restarts            : 0          
1477.65/54.68	c total simplify time      : 0.91       
1477.65/54.68	c learnts DL2              : 0          
1477.65/54.68	c learnts size 2           : 965602     
1477.65/54.68	c learnts size 1           : 185255      (78.06     % of vars)
1477.65/54.68	c filedLit time            : 0.00        (0.00      % time)
1477.65/54.68	c v-elim SatELite          : 0           (0.00      % vars)
1477.65/54.68	c SatELite time            : 0.00        (0.00      % time)
1477.65/54.68	c v-elim xor               : 0           (0.00      % vars)
1477.65/54.68	c xor elim time            : 0.00        (0.00      % time)
1477.65/54.68	c num binary xor trees     : 6748       
1477.65/54.68	c binxor trees' crown      : 22025       (3.26      leafs/tree)
1477.65/54.68	c bin xor find time        : 0.29       
1477.65/54.68	c OTF clause improved      : 112         (0.02      clauses/conflict)
1477.65/54.68	c OTF impr. size diff      : 357         (3.19       lits/clause)
1477.65/54.68	c OTF cl watch-shrink      : 2913        (0.48      clauses/conflict)
1477.65/54.68	c OTF cl watch-sh-lit      : 16795       (5.77       lits/clause)
1477.65/54.68	c tried to recurMin cls    : 3689        (60.29      % of conflicts)
1477.65/54.68	c updated cache            : 5839        (1.58       lits/tried recurMin)
1477.65/54.68	c unit cls recevied        : 0           (0.00      % of units)
1477.65/54.68	c unit cls sent            : 0           (0.00      % of units)
1477.65/54.68	c bin cls recevied         : 0          
1477.65/54.68	c bin cls sent             : 0          
1477.65/54.68	c clauses over max glue    : 0           (0.00      % of all clauses)
1477.65/54.68	c conflicts                : 6119        (134.01    / sec)
1477.65/54.68	c decisions                : 44355       (1.07      % random)
1477.65/54.68	c bogo-props               : 120801302   (2645608.91 / sec)
1477.65/54.68	c conflict literals        : 487853      (30.01     % deleted)
1477.65/54.68	c Memory used              : 7255.44     MB
1477.65/54.68	c single-thread CPU time   : 45.66       s
1477.65/54.68	c all-threads sum CPU time : 1354.99     s
1477.65/54.68	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-3400680-1306330849/watcher-3400680-1306330849 -o /tmp/evaluation-result-3400680-1306330849/solver-3400680-1306330849 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400680-1306330849.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: 22.10 26.58 25.67 2/413 15799
/proc/meminfo: memFree=255128148/264257624 swapFree=67111528/67111528
[pid=15799] ppid=15797 vsize=732440 CPUtime=0.71 cores=0-31
/proc/15799/stat : 15799 (strangenight2-m) R 15797 15799 15773 0 -1 4202496 5062 0 0 0 47 24 0 0 18 0 32 0 744571507 750018560 4873 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15799/statm: 183110 4942 322 95 0 178092 0
[pid=15799/tid=15800] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 127 0 0 0 1 0 0 0 23 0 32 0 744571507 750018560 5295 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15799/tid=15801] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15801/stat : 15801 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 190 0 0 0 1 0 0 0 18 0 32 0 744571507 750018560 5406 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15799/tid=15802] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15802/stat : 15802 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 19 0 0 0 1 0 0 0 23 0 32 0 744571507 750018560 5495 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15799/tid=15803] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15803/stat : 15803 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 223 0 0 0 0 1 0 0 18 0 32 0 744571507 750018560 5612 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15799/tid=15804] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15804/stat : 15804 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 151 0 0 0 1 0 0 0 24 0 32 0 744571507 750018560 5697 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15799/tid=15805] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15805/stat : 15805 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 153 0 0 0 1 0 0 0 24 0 32 0 744571507 750018560 5780 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15799/tid=15806] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15806/stat : 15806 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 161 0 0 0 1 0 0 0 24 0 32 0 744571507 750018560 5856 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15799/tid=15807] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15807/stat : 15807 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 164 0 0 0 1 0 0 0 25 0 32 0 744571507 750018560 5934 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15799/tid=15808] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15808/stat : 15808 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 209 0 0 0 1 0 0 0 18 0 32 0 744571507 750018560 6013 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15799/tid=15809] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15809/stat : 15809 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 196 0 0 0 1 0 0 0 18 0 32 0 744571507 750018560 6096 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15799/tid=15810] ppid=15797 vsize=732440 CPUtime=0 cores=0-31
/proc/15799/task/15810/stat : 15810 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 200 0 0 0 0 0 0 0 24 0 32 0 744571507 750018560 6191 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15799/tid=15811] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15811/stat : 15811 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 202 0 0 0 1 0 0 0 18 0 32 0 744571507 750018560 6291 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15799/tid=15812] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15812/stat : 15812 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 188 0 0 0 1 0 0 0 25 0 32 0 744571507 750018560 6374 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15799/tid=15813] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15813/stat : 15813 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 173 0 0 0 1 0 0 0 25 0 32 0 744571507 750018560 6463 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15799/tid=15814] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15814/stat : 15814 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 185 0 0 0 1 0 0 0 25 0 32 0 744571508 750018560 6548 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15799/tid=15815] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15815/stat : 15815 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 197 0 0 0 1 0 0 0 18 0 32 0 744571508 750018560 6631 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15799/tid=15816] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15816/stat : 15816 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 255 0 0 0 1 1 0 0 18 0 32 0 744571508 750018560 6713 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15799/tid=15817] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15817/stat : 15817 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 264 0 0 0 1 1 0 0 18 0 32 0 744571508 750018560 6818 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15799/tid=15818] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15818/stat : 15818 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 215 0 0 0 1 1 0 0 25 0 32 0 744571508 750018560 6894 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15799/tid=15819] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15819/stat : 15819 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 229 0 0 0 1 1 0 0 18 0 32 0 744571508 750018560 6975 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15799/tid=15820] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15820/stat : 15820 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 199 0 0 0 1 0 0 0 25 0 32 0 744571508 750018560 7019 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15799/tid=15821] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15821/stat : 15821 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 220 0 0 0 1 1 0 0 18 0 32 0 744571508 750018560 7020 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15799/tid=15822] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15822/stat : 15822 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 223 0 0 0 1 0 0 0 25 0 32 0 744571508 750018560 7020 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15799/tid=15823] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15823/stat : 15823 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 202 0 0 0 1 0 0 0 25 0 32 0 744571508 750018560 7039 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15799/tid=15824] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15824/stat : 15824 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 187 0 0 0 1 0 0 0 25 0 32 0 744571508 750018560 7091 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15799/tid=15825] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15825/stat : 15825 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 266 0 0 0 1 1 0 0 18 0 32 0 744571508 750018560 7092 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15799/tid=15826] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15826/stat : 15826 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 194 0 0 0 1 1 0 0 25 0 32 0 744571508 750018560 7093 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15799/tid=15827] ppid=15797 vsize=732440 CPUtime=0.01 cores=0-31
/proc/15799/task/15827/stat : 15827 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 188 0 0 0 1 0 0 0 25 0 32 0 744571508 750018560 7111 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15799/tid=15828] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15828/stat : 15828 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 285 0 0 0 1 1 0 0 18 0 32 0 744571508 750018560 7129 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15799/tid=15829] ppid=15797 vsize=732440 CPUtime=0.02 cores=0-31
/proc/15799/task/15829/stat : 15829 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 203 0 0 0 1 1 0 0 25 0 32 0 744571508 750018560 7129 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15799/tid=15830] ppid=15797 vsize=732572 CPUtime=0.02 cores=0-31
/proc/15799/task/15830/stat : 15830 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 210 0 0 0 1 1 0 0 25 0 32 0 744571508 750153728 7135 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.125896 s]
/proc/loadavg: 22.10 26.58 25.67 2/413 15799
/proc/meminfo: memFree=255128148/264257624 swapFree=67111528/67111528
[pid=15799] ppid=15797 vsize=1470020 CPUtime=1.63 cores=0-31
/proc/15799/stat : 15799 (strangenight2-m) S 15797 15799 15773 0 -1 4202496 19813 0 0 0 58 105 0 0 17 0 32 0 744571507 1505300480 18498 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15799/statm: 367505 18528 336 95 0 362487 0
[pid=15799/tid=15800] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 432 0 0 0 2 2 0 0 17 0 32 0 744571507 1505300480 18528 268435456000 4194304 4580107 140735369968992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15799/tid=15801] ppid=15797 vsize=1470020 CPUtime=0.05 cores=0-31
/proc/15799/task/15801/stat : 15801 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 592 0 0 0 2 3 0 0 17 0 32 0 744571507 1505300480 18537 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446744071566927704 0 0 -1 2 0 0 0
[pid=15799/tid=15802] ppid=15797 vsize=1470020 CPUtime=0.03 cores=0-31
/proc/15799/task/15802/stat : 15802 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 538 0 0 0 1 2 0 0 18 0 32 0 744571507 1505300480 18564 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15799/tid=15803] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15803/stat : 15803 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 810 0 0 0 0 4 0 0 17 0 32 0 744571507 1505300480 18572 268435456000 4194304 4580107 140735369968992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15799/tid=15804] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15804/stat : 15804 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 507 0 0 0 1 3 0 0 17 0 32 0 744571507 1505300480 18572 268435456000 4194304 4580107 140735369968992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15799/tid=15805] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15805/stat : 15805 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 572 0 0 0 2 2 0 0 17 0 32 0 744571507 1505300480 18589 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446604481895103968 0 0 -1 0 0 0 0
[pid=15799/tid=15806] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15806/stat : 15806 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 618 0 0 0 1 3 0 0 17 0 32 0 744571507 1505300480 18606 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15799/tid=15807] ppid=15797 vsize=1470020 CPUtime=0.03 cores=0-31
/proc/15799/task/15807/stat : 15807 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 487 0 0 0 1 2 0 0 17 0 32 0 744571507 1505300480 18606 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446744071566928144 0 0 -1 5 0 0 0
[pid=15799/tid=15808] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15808/stat : 15808 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 640 0 0 0 1 3 0 0 17 0 32 0 744571507 1505300480 18615 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15799/tid=15809] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15809/stat : 15809 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 636 0 0 0 1 3 0 0 17 0 32 0 744571507 1505300480 18656 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15799/tid=15810] ppid=15797 vsize=1470020 CPUtime=0.03 cores=0-31
/proc/15799/task/15810/stat : 15810 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 587 0 0 0 1 2 0 0 17 0 32 0 744571507 1505300480 18709 268435456000 4194304 4580107 140735369968992 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15799/tid=15811] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15811/stat : 15811 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 487 0 0 0 1 3 0 0 17 0 32 0 744571507 1505300480 18775 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446604487555128800 0 0 -1 20 0 0 0
[pid=15799/tid=15812] ppid=15797 vsize=1470020 CPUtime=0.02 cores=0-31
/proc/15799/task/15812/stat : 15812 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 310 0 0 0 1 1 0 0 17 0 32 0 744571507 1505300480 18796 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446604565247335904 0 0 -1 12 0 0 0
[pid=15799/tid=15813] ppid=15797 vsize=1470020 CPUtime=0.04 cores=0-31
/proc/15799/task/15813/stat : 15813 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 762 0 0 0 1 3 0 0 17 0 32 0 744571507 1505300480 18796 268435456000 4194304 4580107 140735369968992 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15799/tid=15814] ppid=15797 vsize=1470208 CPUtime=0.03 cores=0-31
/proc/15799/task/15814/stat : 15814 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 548 0 0 0 1 2 0 0 17 0 32 0 744571508 1505492992 18802 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15799/tid=15815] ppid=15797 vsize=1470208 CPUtime=0.05 cores=0-31
/proc/15799/task/15815/stat : 15815 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 772 0 0 0 1 4 0 0 17 0 32 0 744571508 1505492992 18803 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15799/tid=15816] ppid=15797 vsize=1470208 CPUtime=0.04 cores=0-31
/proc/15799/task/15816/stat : 15816 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 803 0 0 0 1 3 0 0 17 0 32 0 744571508 1505492992 18803 268435456000 4194304 4580107 140735369968992 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15799/tid=15817] ppid=15797 vsize=1470724 CPUtime=0.04 cores=0-31
/proc/15799/task/15817/stat : 15817 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 729 0 0 0 1 3 0 0 17 0 32 0 744571508 1506021376 18818 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15799/tid=15818] ppid=15797 vsize=1470724 CPUtime=0.04 cores=0-31
/proc/15799/task/15818/stat : 15818 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 699 0 0 0 1 3 0 0 17 0 32 0 744571508 1506021376 18857 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15799/tid=15819] ppid=15797 vsize=1470724 CPUtime=0.04 cores=0-31
/proc/15799/task/15819/stat : 15819 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 665 0 0 0 1 3 0 0 17 0 32 0 744571508 1506021376 18871 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 7 0 0 0
[pid=15799/tid=15820] ppid=15797 vsize=1470724 CPUtime=0.05 cores=0-31
/proc/15799/task/15820/stat : 15820 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 644 0 0 0 1 4 0 0 17 0 32 0 744571508 1506021376 18871 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15799/tid=15821] ppid=15797 vsize=1470464 CPUtime=0.04 cores=0-31
/proc/15799/task/15821/stat : 15821 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 747 0 0 0 1 3 0 0 17 0 32 0 744571508 1505755136 18807 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15799/tid=15822] ppid=15797 vsize=1470464 CPUtime=0.04 cores=0-31
/proc/15799/task/15822/stat : 15822 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 665 0 0 0 1 3 0 0 17 0 32 0 744571508 1505755136 18824 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15799/tid=15823] ppid=15797 vsize=1470464 CPUtime=0.04 cores=0-31
/proc/15799/task/15823/stat : 15823 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 585 0 0 0 1 3 0 0 17 0 32 0 744571508 1505755136 18865 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15799/tid=15824] ppid=15797 vsize=1470464 CPUtime=0.03 cores=0-31
/proc/15799/task/15824/stat : 15824 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 347 0 0 0 1 2 0 0 17 0 32 0 744571508 1505755136 18866 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15799/tid=15825] ppid=15797 vsize=1470980 CPUtime=0.04 cores=0-31
/proc/15799/task/15825/stat : 15825 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 664 0 0 0 1 3 0 0 17 0 32 0 744571508 1506283520 18802 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15799/tid=15826] ppid=15797 vsize=1470720 CPUtime=0.04 cores=0-31
/proc/15799/task/15826/stat : 15826 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 574 0 0 0 1 3 0 0 17 0 32 0 744571508 1506017280 18809 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446744071566927504 0 0 -1 25 0 0 0
[pid=15799/tid=15827] ppid=15797 vsize=1470720 CPUtime=0.04 cores=0-31
/proc/15799/task/15827/stat : 15827 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 654 0 0 0 1 3 0 0 17 0 32 0 744571508 1506017280 18820 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653351 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15799/tid=15828] ppid=15797 vsize=1470720 CPUtime=0.04 cores=0-31
/proc/15799/task/15828/stat : 15828 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 827 0 0 0 1 3 0 0 17 0 32 0 744571508 1506017280 18826 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15799/tid=15829] ppid=15797 vsize=1470720 CPUtime=0.05 cores=0-31
/proc/15799/task/15829/stat : 15829 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 874 0 0 0 1 4 0 0 18 0 32 0 744571508 1506017280 18826 268435456000 4194304 4580107 140735369968992 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15799/tid=15830] ppid=15797 vsize=1470720 CPUtime=0.03 cores=0-31
/proc/15799/task/15830/stat : 15830 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 568 0 0 0 1 2 0 0 17 0 32 0 744571508 1506017280 18839 268435456000 4194304 4580107 140735369968992 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 1470020

[startup+0.204322 s]
/proc/loadavg: 22.10 26.58 25.67 2/413 15799
/proc/meminfo: memFree=255128148/264257624 swapFree=67111528/67111528
[pid=15799] ppid=15797 vsize=1498960 CPUtime=2.58 cores=0-31
/proc/15799/stat : 15799 (strangenight2-m) S 15797 15799 15773 0 -1 4202496 37210 0 0 0 74 184 0 0 16 0 32 0 744571507 1534935040 31474 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15799/statm: 374740 31589 336 95 0 369722 0
[pid=15799/tid=15800] ppid=15797 vsize=1498960 CPUtime=0.08 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 984 0 0 0 3 5 0 0 17 0 32 0 744571507 1534935040 31590 268435456000 4194304 4580107 140735369968992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15799/tid=15801] ppid=15797 vsize=1499388 CPUtime=0.07 cores=0-31
/proc/15799/task/15801/stat : 15801 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1043 0 0 0 2 5 0 0 17 0 32 0 744571507 1535373312 31590 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15799/tid=15802] ppid=15797 vsize=1499100 CPUtime=0.06 cores=0-31
/proc/15799/task/15802/stat : 15802 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1182 0 0 0 1 5 0 0 18 0 32 0 744571507 1535078400 31618 268435456000 4194304 4580107 140735369968992 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15799/tid=15803] ppid=15797 vsize=1499100 CPUtime=0.07 cores=0-31
/proc/15799/task/15803/stat : 15803 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 1398 0 0 0 1 6 0 0 17 0 32 0 744571507 1535078400 31625 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15799/tid=15804] ppid=15797 vsize=1499100 CPUtime=0.07 cores=0-31
/proc/15799/task/15804/stat : 15804 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1107 0 0 0 2 5 0 0 17 0 32 0 744571507 1535078400 31691 268435456000 4194304 4580107 140735369968992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15799/tid=15805] ppid=15797 vsize=1499100 CPUtime=0.08 cores=0-31
/proc/15799/task/15805/stat : 15805 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1233 0 0 0 2 6 0 0 17 0 32 0 744571507 1535078400 31691 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15799/tid=15806] ppid=15797 vsize=1499100 CPUtime=0.07 cores=0-31
/proc/15799/task/15806/stat : 15806 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1120 0 0 0 2 5 0 0 17 0 32 0 744571507 1535078400 31697 268435456000 4194304 4580107 140735369968992 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15799/tid=15807] ppid=15797 vsize=1499100 CPUtime=0.07 cores=0-31
/proc/15799/task/15807/stat : 15807 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 887 0 0 0 2 5 0 0 17 0 32 0 744571507 1535078400 32025 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15799/tid=15808] ppid=15797 vsize=1499100 CPUtime=0.08 cores=0-31
/proc/15799/task/15808/stat : 15808 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1361 0 0 0 1 7 0 0 17 0 32 0 744571507 1535078400 32047 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15799/tid=15809] ppid=15797 vsize=1499100 CPUtime=0.07 cores=0-31
/proc/15799/task/15809/stat : 15809 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 1198 0 0 0 2 5 0 0 17 0 32 0 744571507 1535078400 32066 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446744071566927704 0 0 -1 8 0 0 0
[pid=15799/tid=15810] ppid=15797 vsize=1499100 CPUtime=0.05 cores=0-31
/proc/15799/task/15810/stat : 15810 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1100 0 0 0 1 4 0 0 17 0 32 0 744571507 1535078400 32087 268435456000 4194304 4580107 140735369968992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15799/tid=15811] ppid=15797 vsize=1499100 CPUtime=0.05 cores=0-31
/proc/15799/task/15811/stat : 15811 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 849 0 0 0 1 4 0 0 17 0 32 0 744571507 1535078400 32249 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446604575282257376 0 0 -1 20 0 0 0
[pid=15799/tid=15812] ppid=15797 vsize=1499240 CPUtime=0.03 cores=0-31
/proc/15799/task/15812/stat : 15812 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 518 0 0 0 1 2 0 0 16 0 32 0 744571507 1535221760 32451 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651060958 0 0 4096 2 18446604575282257376 0 0 -1 12 0 0 0
[pid=15799/tid=15813] ppid=15797 vsize=1499240 CPUtime=0.09 cores=0-31
/proc/15799/task/15813/stat : 15813 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1582 0 0 0 2 7 0 0 17 0 32 0 744571507 1535221760 32489 268435456000 4194304 4580107 140735369968992 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15799/tid=15814] ppid=15797 vsize=1499240 CPUtime=0.08 cores=0-31
/proc/15799/task/15814/stat : 15814 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 1357 0 0 0 2 6 0 0 17 0 32 0 744571508 1535221760 32502 268435456000 4194304 4580107 140735369968992 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15799/tid=15815] ppid=15797 vsize=1499240 CPUtime=0.09 cores=0-31
/proc/15799/task/15815/stat : 15815 (strangenight2-m) D 15797 15799 15773 0 -1 4202560 1458 0 0 0 2 7 0 0 17 0 32 0 744571508 1535221760 32503 268435456000 4194304 4580107 140735369968992 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15799/tid=15816] ppid=15797 vsize=1499240 CPUtime=0.08 cores=0-31

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

/proc/15799/stat : 15799 (strangenight2-m) R 15797 15799 15773 0 -1 4202496 1450200 0 0 0 134259 12273 0 0 18 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 4255315 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15799/statm: 1799987 1236644 376 95 0 1794969 0
[pid=15799/tid=15800] ppid=15797 vsize=7199948 CPUtime=41.65 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 53080 0 0 0 3813 352 0 0 18 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604505538723296 0 0 -1 12 0 0 0
[pid=15799/tid=15801] ppid=15797 vsize=7199948 CPUtime=40.52 cores=0-31
/proc/15799/task/15801/stat : 15801 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 52247 0 0 0 3633 419 0 0 18 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604502746635744 0 0 -1 26 0 0 0
[pid=15799/tid=15802] ppid=15797 vsize=7199948 CPUtime=45.37 cores=0-31
/proc/15799/task/15802/stat : 15802 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 46179 0 0 0 4189 348 0 0 18 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604485215133152 0 0 -1 15 0 0 0
[pid=15799/tid=15803] ppid=15797 vsize=7199948 CPUtime=47.21 cores=0-31
/proc/15799/task/15803/stat : 15803 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 38702 0 0 0 4351 370 0 0 25 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 4515262 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15799/tid=15804] ppid=15797 vsize=7199948 CPUtime=47.3 cores=0-31
/proc/15799/task/15804/stat : 15804 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 46374 0 0 0 4323 407 0 0 25 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 4515292 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15799/tid=15805] ppid=15797 vsize=7199948 CPUtime=45.89 cores=0-31
/proc/15799/task/15805/stat : 15805 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 41844 0 0 0 4226 363 0 0 18 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604504629345760 0 0 -1 20 0 0 0
[pid=15799/tid=15806] ppid=15797 vsize=7199948 CPUtime=47.13 cores=0-31
/proc/15799/task/15806/stat : 15806 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 46856 0 0 0 4349 364 0 0 18 0 32 0 744571507 7372746752 1236644 268435456000 4194304 4580107 140735369968992 18446744073709551615 4473268 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15799/tid=15807] ppid=15797 vsize=7199948 CPUtime=46.23 cores=0-31
/proc/15799/task/15807/stat : 15807 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 51320 0 0 0 4242 381 0 0 18 0 32 0 744571507 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483806133728 0 0 -1 25 0 0 0
[pid=15799/tid=15808] ppid=15797 vsize=7199948 CPUtime=41.48 cores=0-31
/proc/15799/task/15808/stat : 15808 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48448 0 0 0 3718 430 0 0 19 0 32 0 744571507 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604481895103968 0 0 -1 30 0 0 0
[pid=15799/tid=15809] ppid=15797 vsize=7199948 CPUtime=44.1 cores=0-31
/proc/15799/task/15809/stat : 15809 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 47442 0 0 0 4021 389 0 0 18 0 32 0 744571507 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604498257919456 0 0 -1 19 0 0 0
[pid=15799/tid=15810] ppid=15797 vsize=7199948 CPUtime=46.69 cores=0-31
/proc/15799/task/15810/stat : 15810 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 47596 0 0 0 4251 418 0 0 18 0 32 0 744571507 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15799/tid=15811] ppid=15797 vsize=7199948 CPUtime=47.07 cores=0-31
/proc/15799/task/15811/stat : 15811 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 38804 0 0 0 4341 366 0 0 25 0 32 0 744571507 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 4515212 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15799/tid=15812] ppid=15797 vsize=7199948 CPUtime=46.83 cores=0-31
/proc/15799/task/15812/stat : 15812 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 46251 0 0 0 4363 320 0 0 18 0 32 0 744571507 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483661413856 0 0 -1 24 0 0 0
[pid=15799/tid=15813] ppid=15797 vsize=7199948 CPUtime=48.94 cores=0-31
/proc/15799/task/15813/stat : 15813 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 46023 0 0 0 4629 265 0 0 18 0 32 0 744571507 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 4496808 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15799/tid=15814] ppid=15797 vsize=7199948 CPUtime=46.61 cores=0-31
/proc/15799/task/15814/stat : 15814 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48079 0 0 0 4304 357 0 0 18 0 32 0 744571508 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604505761799648 0 0 -1 17 0 0 0
[pid=15799/tid=15815] ppid=15797 vsize=7199948 CPUtime=48.21 cores=0-31
/proc/15799/task/15815/stat : 15815 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 43388 0 0 0 4423 398 0 0 18 0 32 0 744571508 7372746752 1236645 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604481504181728 0 0 -1 21 0 0 0
[pid=15799/tid=15816] ppid=15797 vsize=7199948 CPUtime=47.45 cores=0-31
/proc/15799/task/15816/stat : 15816 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 39586 0 0 0 4330 415 0 0 25 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 4292086 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15799/tid=15817] ppid=15797 vsize=7199948 CPUtime=46.31 cores=0-31
/proc/15799/task/15817/stat : 15817 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 49565 0 0 0 4208 423 0 0 18 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604478865759712 0 0 -1 17 0 0 0
[pid=15799/tid=15818] ppid=15797 vsize=7199948 CPUtime=45.79 cores=0-31
/proc/15799/task/15818/stat : 15818 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 47234 0 0 0 4187 392 0 0 18 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604504835931616 0 0 -1 4 0 0 0
[pid=15799/tid=15819] ppid=15797 vsize=7199948 CPUtime=47.39 cores=0-31
/proc/15799/task/15819/stat : 15819 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 41487 0 0 0 4334 405 0 0 18 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15799/tid=15820] ppid=15797 vsize=7199948 CPUtime=42.2 cores=0-31
/proc/15799/task/15820/stat : 15820 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48545 0 0 0 3823 397 0 0 25 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604498675023328 0 0 -1 5 0 0 0
[pid=15799/tid=15821] ppid=15797 vsize=7199948 CPUtime=47.78 cores=0-31
/proc/15799/task/15821/stat : 15821 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 44437 0 0 0 4370 408 0 0 18 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133651 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15799/tid=15822] ppid=15797 vsize=7199948 CPUtime=48.06 cores=0-31
/proc/15799/task/15822/stat : 15822 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 39110 0 0 0 4401 405 0 0 18 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15799/tid=15823] ppid=15797 vsize=7199948 CPUtime=43.18 cores=0-31
/proc/15799/task/15823/stat : 15823 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 45004 0 0 0 3927 391 0 0 25 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604482213625312 0 0 -1 28 0 0 0
[pid=15799/tid=15824] ppid=15797 vsize=7199948 CPUtime=46.92 cores=0-31
/proc/15799/task/15824/stat : 15824 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 44609 0 0 0 4328 364 0 0 18 0 32 0 744571508 7372746752 1236646 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133657 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15799/tid=15825] ppid=15797 vsize=7199948 CPUtime=43.8 cores=0-31
/proc/15799/task/15825/stat : 15825 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 45190 0 0 0 3971 409 0 0 19 0 32 0 744571508 7372746752 1236647 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483212140000 0 0 -1 6 0 0 0
[pid=15799/tid=15826] ppid=15797 vsize=7199948 CPUtime=45.05 cores=0-31
/proc/15799/task/15826/stat : 15826 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48667 0 0 0 4101 404 0 0 25 0 32 0 744571508 7372746752 1236647 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604479949626848 0 0 -1 9 0 0 0
[pid=15799/tid=15827] ppid=15797 vsize=7199948 CPUtime=41.07 cores=0-31
/proc/15799/task/15827/stat : 15827 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 49676 0 0 0 3714 393 0 0 18 0 32 0 744571508 7372746752 1236647 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446744071566932304 0 0 -1 14 0 0 0
[pid=15799/tid=15828] ppid=15797 vsize=7199948 CPUtime=47.73 cores=0-31
/proc/15799/task/15828/stat : 15828 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 40984 0 0 0 4356 417 0 0 25 0 32 0 744571508 7372746752 1236647 268435456000 4194304 4580107 140735369968992 18446744073709551615 4451726 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15799/tid=15829] ppid=15797 vsize=7199948 CPUtime=46.75 cores=0-31
/proc/15799/task/15829/stat : 15829 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 43407 0 0 0 4327 348 0 0 18 0 32 0 744571508 7372746752 1236647 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483040320992 0 0 -1 11 0 0 0
[pid=15799/tid=15830] ppid=15797 vsize=7199948 CPUtime=47.57 cores=0-31
/proc/15799/task/15830/stat : 15830 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 37361 0 0 0 4379 378 0 0 25 0 32 0 744571508 7372746752 1236647 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776109099 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 1465.32
Current children cumulated vsize (KiB) 7199948

[startup+54.4018 s]
/proc/loadavg: 27.05 27.24 25.94 7/445 15831
/proc/meminfo: memFree=250135172/264257624 swapFree=67111528/67111528
[pid=15799] ppid=15797 vsize=7429564 CPUtime=1476.87 cores=0-31
/proc/15799/stat : 15799 (strangenight2-m) S 15797 15799 15773 0 -1 4202496 1486330 0 0 0 135395 12292 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15799/statm: 1857391 1248608 376 95 0 1852373 0
[pid=15799/tid=15800] ppid=15797 vsize=7429564 CPUtime=41.65 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 53080 0 0 0 3813 352 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604505538723296 0 0 -1 12 0 0 0
[pid=15799/tid=15801] ppid=15797 vsize=7429564 CPUtime=40.52 cores=0-31
/proc/15799/task/15801/stat : 15801 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 52247 0 0 0 3633 419 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604502746635744 0 0 -1 26 0 0 0
[pid=15799/tid=15802] ppid=15797 vsize=7429564 CPUtime=45.37 cores=0-31
/proc/15799/task/15802/stat : 15802 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 46179 0 0 0 4189 348 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604485215133152 0 0 -1 15 0 0 0
[pid=15799/tid=15803] ppid=15797 vsize=7429564 CPUtime=48.77 cores=0-31
/proc/15799/task/15803/stat : 15803 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 48656 0 0 0 4501 376 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15799/tid=15804] ppid=15797 vsize=7429564 CPUtime=48.87 cores=0-31
/proc/15799/task/15804/stat : 15804 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 54455 0 0 0 4475 412 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 4496872 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15799/tid=15805] ppid=15797 vsize=7429564 CPUtime=45.89 cores=0-31
/proc/15799/task/15805/stat : 15805 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 41844 0 0 0 4226 363 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604504629345760 0 0 -1 20 0 0 0
[pid=15799/tid=15806] ppid=15797 vsize=7429564 CPUtime=47.31 cores=0-31
/proc/15799/task/15806/stat : 15806 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 47288 0 0 0 4367 364 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604476499213792 0 0 -1 26 0 0 0
[pid=15799/tid=15807] ppid=15797 vsize=7429564 CPUtime=46.23 cores=0-31
/proc/15799/task/15807/stat : 15807 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 51320 0 0 0 4242 381 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483806133728 0 0 -1 25 0 0 0
[pid=15799/tid=15808] ppid=15797 vsize=7429564 CPUtime=41.48 cores=0-31
/proc/15799/task/15808/stat : 15808 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48448 0 0 0 3718 430 0 0 19 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604481895103968 0 0 -1 30 0 0 0
[pid=15799/tid=15809] ppid=15797 vsize=7429564 CPUtime=44.1 cores=0-31
/proc/15799/task/15809/stat : 15809 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 47442 0 0 0 4021 389 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604498257919456 0 0 -1 19 0 0 0
[pid=15799/tid=15810] ppid=15797 vsize=7429564 CPUtime=46.94 cores=0-31
/proc/15799/task/15810/stat : 15810 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48292 0 0 0 4276 418 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604496137493984 0 0 -1 18 0 0 0
[pid=15799/tid=15811] ppid=15797 vsize=7429564 CPUtime=48.64 cores=0-31
/proc/15799/task/15811/stat : 15811 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 42183 0 0 0 4496 368 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 4289512 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15799/tid=15812] ppid=15797 vsize=7429564 CPUtime=46.83 cores=0-31
/proc/15799/task/15812/stat : 15812 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 46251 0 0 0 4363 320 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483661413856 0 0 -1 24 0 0 0
[pid=15799/tid=15813] ppid=15797 vsize=7429564 CPUtime=49.3 cores=0-31
/proc/15799/task/15813/stat : 15813 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 47178 0 0 0 4664 266 0 0 18 0 32 0 744571507 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604565247335904 0 0 -1 23 0 0 0
[pid=15799/tid=15814] ppid=15797 vsize=7429564 CPUtime=46.61 cores=0-31
/proc/15799/task/15814/stat : 15814 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48079 0 0 0 4304 357 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604505761799648 0 0 -1 17 0 0 0
[pid=15799/tid=15815] ppid=15797 vsize=7429564 CPUtime=48.21 cores=0-31
/proc/15799/task/15815/stat : 15815 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 43388 0 0 0 4423 398 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604481504181728 0 0 -1 21 0 0 0
[pid=15799/tid=15816] ppid=15797 vsize=7429564 CPUtime=49.03 cores=0-31
/proc/15799/task/15816/stat : 15816 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 43175 0 0 0 4485 418 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133655 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15799/tid=15817] ppid=15797 vsize=7429564 CPUtime=46.31 cores=0-31
/proc/15799/task/15817/stat : 15817 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 49565 0 0 0 4208 423 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604478865759712 0 0 -1 17 0 0 0
[pid=15799/tid=15818] ppid=15797 vsize=7429564 CPUtime=45.79 cores=0-31
/proc/15799/task/15818/stat : 15818 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 47234 0 0 0 4187 392 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604504835931616 0 0 -1 4 0 0 0
[pid=15799/tid=15819] ppid=15797 vsize=7429564 CPUtime=48.13 cores=0-31
/proc/15799/task/15819/stat : 15819 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 43678 0 0 0 4407 406 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604498719792608 0 0 -1 29 0 0 0
[pid=15799/tid=15820] ppid=15797 vsize=7429564 CPUtime=42.2 cores=0-31
/proc/15799/task/15820/stat : 15820 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48545 0 0 0 3823 397 0 0 25 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604498675023328 0 0 -1 5 0 0 0
[pid=15799/tid=15821] ppid=15797 vsize=7429564 CPUtime=47.85 cores=0-31
/proc/15799/task/15821/stat : 15821 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 44437 0 0 0 4377 408 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604487555128800 0 0 -1 18 0 0 0
[pid=15799/tid=15822] ppid=15797 vsize=7429564 CPUtime=48.61 cores=0-31
/proc/15799/task/15822/stat : 15822 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 41390 0 0 0 4456 405 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604477144161760 0 0 -1 27 0 0 0
[pid=15799/tid=15823] ppid=15797 vsize=7429564 CPUtime=43.18 cores=0-31
/proc/15799/task/15823/stat : 15823 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 45004 0 0 0 3927 391 0 0 25 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604482213625312 0 0 -1 28 0 0 0
[pid=15799/tid=15824] ppid=15797 vsize=7429564 CPUtime=46.96 cores=0-31
/proc/15799/task/15824/stat : 15824 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 44609 0 0 0 4332 364 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604496399457760 0 0 -1 22 0 0 0
[pid=15799/tid=15825] ppid=15797 vsize=7429564 CPUtime=43.8 cores=0-31
/proc/15799/task/15825/stat : 15825 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 45190 0 0 0 3971 409 0 0 19 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483212140000 0 0 -1 6 0 0 0
[pid=15799/tid=15826] ppid=15797 vsize=7429564 CPUtime=45.05 cores=0-31
/proc/15799/task/15826/stat : 15826 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 48667 0 0 0 4101 404 0 0 25 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604479949626848 0 0 -1 9 0 0 0
[pid=15799/tid=15827] ppid=15797 vsize=7429564 CPUtime=41.07 cores=0-31
/proc/15799/task/15827/stat : 15827 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 49676 0 0 0 3714 393 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446744071566932304 0 0 -1 14 0 0 0
[pid=15799/tid=15828] ppid=15797 vsize=7429564 CPUtime=48.93 cores=0-31
/proc/15799/task/15828/stat : 15828 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 44633 0 0 0 4474 419 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604480033340896 0 0 -1 2 0 0 0
[pid=15799/tid=15829] ppid=15797 vsize=7429564 CPUtime=46.75 cores=0-31
/proc/15799/task/15829/stat : 15829 (strangenight2-m) S 15797 15799 15773 0 -1 4202560 43407 0 0 0 4327 348 0 0 18 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776133684 0 0 4096 2 18446604483040320992 0 0 -1 11 0 0 0
[pid=15799/tid=15830] ppid=15797 vsize=7429564 CPUtime=49.15 cores=0-31
/proc/15799/task/15830/stat : 15830 (strangenight2-m) R 15797 15799 15773 0 -1 4202560 37361 0 0 0 4537 378 0 0 25 0 32 0 744571508 7607873536 1248608 268435456000 4194304 4580107 140735369968992 18446744073709551615 47465776109099 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1476.87
Current children cumulated vsize (KiB) 7429564

[startup+54.8009 s]
/proc/loadavg: 27.05 27.24 25.94 7/445 15831
/proc/meminfo: memFree=250135172/264257624 swapFree=67111528/67111528
[pid=15799] ppid=15797 vsize=0 CPUtime=1478.04 cores=0-31
/proc/15799/stat : 15799 (strangenight2-m) Z 15797 15799 15773 0 -1 4203548 1488621 0 0 0 135499 12305 0 0 18 0 2 0 744571507 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15799/statm: 0 0 0 0 0 0 0
[pid=15799/tid=15800] ppid=15797 vsize=0 CPUtime=41.76 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) R 15797 15799 15773 0 -1 4203588 53080 0 0 0 3813 363 0 0 18 0 2 0 744571507 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 1478.04
Current children cumulated vsize (KiB) 0

[startup+55.2009 s]
/proc/loadavg: 25.29 26.87 25.83 2/415 15831
/proc/meminfo: memFree=252343532/264257624 swapFree=67111528/67111528
[pid=15799] ppid=15797 vsize=0 CPUtime=1478.44 cores=0-31
/proc/15799/stat : 15799 (strangenight2-m) Z 15797 15799 15773 0 -1 4203548 1488621 0 0 0 135499 12345 0 0 18 0 2 0 744571507 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15799/statm: 0 0 0 0 0 0 0
[pid=15799/tid=15800] ppid=15797 vsize=0 CPUtime=42.16 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) R 15797 15799 15773 0 -1 4203588 53080 0 0 0 3813 403 0 0 18 0 2 0 744571507 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 1478.44
Current children cumulated vsize (KiB) 0

[startup+55.3009 s]
/proc/loadavg: 25.29 26.87 25.83 2/415 15831
/proc/meminfo: memFree=252343532/264257624 swapFree=67111528/67111528
[pid=15799] ppid=15797 vsize=0 CPUtime=1478.54 cores=0-31
/proc/15799/stat : 15799 (strangenight2-m) Z 15797 15799 15773 0 -1 4203548 1488621 0 0 0 135499 12355 0 0 18 0 2 0 744571507 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15799/statm: 0 0 0 0 0 0 0
[pid=15799/tid=15800] ppid=15797 vsize=0 CPUtime=42.26 cores=0-31
/proc/15799/task/15800/stat : 15800 (strangenight2-m) R 15797 15799 15773 0 -1 4203588 53080 0 0 0 3813 413 0 0 18 0 2 0 744571507 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 1478.54
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 55.3056
CPU time (s): 1478.55
CPU user time (s): 1354.99
CPU system time (s): 123.558
CPU usage (%): 2673.41
Max. virtual memory (cumulated for all children) (KiB): 7429564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1354.99
system time used= 123.558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1488621
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= 2665907
involuntary context switches= 27327

runsolver used 0.410937 second user time and 1.51177 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 15:40:51
IDJOB=3400680
IDBENCH=71012
IDSOLVER=1886
FILE ID=node200/3400680-1306330849
RUNJOBID= node200-1306330849-15787
PBS_JOBID= 13411792
Free space on /tmp= 62024 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400680-1306330849/watcher-3400680-1306330849 -o /tmp/evaluation-result-3400680-1306330849/solver-3400680-1306330849 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400680-1306330849.cnf

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

MD5SUM BENCH= 9029cec808e66e35ae213dc5615fd1f7
RANDOM SEED=754424276

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

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

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

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

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.049
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.09
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.049
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.049
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255128312 kB
Buffers:        467620 kB
Cached:        8257176 kB
SwapCached:          0 kB
Active:        7797420 kB
Inactive:       996376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255128312 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           29296 kB
Writeback:           0 kB
AnonPages:       69032 kB
Mapped:          14480 kB
Slab:           256884 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   177736 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= 62016 MiB
End job on node200 at 2011-05-25 15:41:46