Trace number 3400681

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 2189.1 72.3143

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-5p0.cnf
MD5SUM4385f03fe3bdaf0f127ae989ddd7908d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark535.574
Satisfiable
(Un)Satisfiability was proved
Number of variables162696
Number of clauses821000
Sum of the clauses size1953203
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2617825
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3400681-1306330907.cnf'
0.00/0.05	c -- header says num vars:         162696
0.00/0.05	c -- header says num clauses:      821000
123.41/6.75	c -- clauses added:            0 learnts,       821000 normals,            0 xors
123.41/6.75	c -- vars added     162696
123.41/6.75	c Parsing time:  1.16 s
123.41/6.75	c  N st     0         0    162696    194789    617205         0   1943577         0   no data   no data
148.46/7.60	c asymm  cl-useful: 12/1989/165696 lits-rem:48 time: 0.81
809.41/28.28	c Flit:  1787 Blit:   1646 bXBeca:    0 bXProp: 1290 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 20.67
812.47/28.34	c Cleaning up after failed var search:     0.07 s 
815.54/28.45	c Replacing     1290 vars Replaced    36327 lits Time:     0.09 s 
823.87/28.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
823.87/28.77	c bin-w-bin subsume rem        22617 bins  time:  0.06 s
828.92/28.91	c subs with bin:     3222  lits-rem:     30227  v-fix:    0  time:  0.13 s
1140.16/38.97	c Subs w/ non-existent bins:    237 l-rem:      0 v-fix:     0 done:  20323 time:  9.84 s
1149.57/39.24	c Removed useless bin:     253  fixed:     0  props:  20.00M  time:  0.27 s
1192.58/40.65	c lits-rem:       768  cl-subs:     2783  v-elim:  39415  v-fix:    0  time:  0.96 s
1195.57/40.72	c Finding binary XORs  T:     0.08 s  found:     874
1197.95/40.84	c Replacing      874 vars Replaced    34276 lits Time:     0.08 s 
1203.75/41.03	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
1203.75/41.03	c calculated reachability. Time: 0.00
1203.75/41.07	c Calc default polars -  time:   0.04 s pos:   15604 undec:   85092 neg:   62000
1203.75/41.07	c =========================================================================================
1203.75/41.07	c types(t): F = full restart, N = normal restart
1203.75/41.07	c types(t): S = simplification begin/end, E = solution found
1203.75/41.07	c restart types(rt): st = static, dy = dynamic
1203.75/41.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1203.75/41.07	c  B st     0         0     77957    193156    281279         0   1307073         0   no data   no data
1320.51/44.70	c  N dy    13      4126     69240    175098    249082      3769   1160598    391561     14.32     15.17
1397.22/47.13	c Finding binary XORs  T:     0.06 s  found:    2144
1397.22/47.22	c Replacing     2144 vars Replaced    92736 lits Time:     0.09 s 
1461.14/49.16	c  N dy    32      8184     47630    113362    176257      7204    738259    678051     12.31     13.11
1620.95/54.13	c  N dy    54     12345     47551    113362    176366     11183    738259   1239546     14.13     14.97
1700.87/56.68	c Finding binary XORs  T:     0.05 s  found:     877
1704.07/56.78	c Replacing      877 vars Replaced    48321 lits Time:     0.10 s 
1883.08/62.34	c  N dy    60     16368     44323     99917    171676     14697    668315   1960167     12.79     16.03
2183.48/71.78	c Finding binary XORs  T:     0.05 s  found:     769
2186.69/71.88	c Replacing      769 vars Replaced    60733 lits Time:     0.11 s 
2186.69/71.89	c Following stats are for *FIRST FINISHED THREAD ONLY*
2186.69/71.89	c num threads              : 32         
2186.69/71.89	c restarts                 : 86         
2186.69/71.89	c dynamic restarts         : 80         
2186.69/71.89	c static restarts          : 6          
2186.69/71.89	c full restarts            : 0          
2186.69/71.89	c total simplify time      : 0.73       
2186.69/71.89	c learnts DL2              : 0          
2186.69/71.89	c learnts size 2           : 710600     
2186.69/71.89	c learnts size 1           : 89023       (54.72     % of vars)
2186.69/71.89	c filedLit time            : 21.46       (33.00     % time)
2186.69/71.89	c v-elim SatELite          : 39375       (24.20     % vars)
2186.69/71.89	c SatELite time            : 10.55       (16.22     % time)
2186.69/71.89	c v-elim xor               : 0           (0.00      % vars)
2186.69/71.89	c xor elim time            : 0.00        (0.00      % time)
2186.69/71.89	c num binary xor trees     : 3991       
2186.69/71.89	c binxor trees' crown      : 6596        (1.65      leafs/tree)
2186.69/71.89	c bin xor find time        : 0.23       
2186.69/71.89	c OTF clause improved      : 334         (0.02      clauses/conflict)
2186.69/71.89	c OTF impr. size diff      : 485         (1.45       lits/clause)
2186.69/71.89	c OTF cl watch-shrink      : 7023        (0.34      clauses/conflict)
2186.69/71.89	c OTF cl watch-sh-lit      : 21126       (3.01       lits/clause)
2186.69/71.89	c tried to recurMin cls    : 0           (0.00       % of conflicts)
2186.69/71.89	c updated cache            : 0           (nan        lits/tried recurMin)
2186.69/71.89	c unit cls recevied        : 2800        (3.15      % of units)
2186.69/71.89	c unit cls sent            : 287         (0.32      % of units)
2186.69/71.89	c bin cls recevied         : 31182      
2186.69/71.89	c bin cls sent             : 638        
2186.69/71.89	c clauses over max glue    : 0           (0.00      % of all clauses)
2186.69/71.89	c conflicts                : 20365       (313.11    / sec)
2186.69/71.89	c decisions                : 123165      (0.00      % random)
2186.69/71.89	c bogo-props               : 785078294   (12070493.11 / sec)
2186.69/71.89	c conflict literals        : 2088279     (26.91     % deleted)
2186.69/71.89	c Memory used              : 5630.52     MB
2186.69/71.89	c single-thread CPU time   : 65.04       s
2186.69/71.89	c all-threads sum CPU time : 2095.57     s
2186.69/71.89	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-3400681-1306330907/watcher-3400681-1306330907 -o /tmp/evaluation-result-3400681-1306330907/solver-3400681-1306330907 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400681-1306330907.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: 25.29 26.87 25.83 1/413 15857
/proc/meminfo: memFree=255129368/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=798076 CPUtime=0.65 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) D 15855 15857 15773 0 -1 4202496 7712 0 0 0 23 42 0 0 22 0 32 0 744577174 817229824 7560 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15857/statm: 199519 7576 334 95 0 194501 0
[pid=15857/tid=15858] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 275 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7594 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930344 0 0 -1 1 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 273 0 0 0 0 1 0 0 24 0 32 0 744577174 817369088 7613 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=798212 CPUtime=0 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 111 0 0 0 0 0 0 0 19 0 32 0 744577174 817369088 7615 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 194 0 0 0 0 1 0 0 19 0 32 0 744577174 817369088 7617 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 200 0 0 0 0 1 0 0 19 0 32 0 744577174 817369088 7628 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 209 0 0 0 0 1 0 0 19 0 32 0 744577174 817369088 7645 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 230 0 0 0 0 1 0 0 20 0 32 0 744577174 817369088 7660 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 259 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7662 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 295 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7662 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 225 0 0 0 0 1 0 0 20 0 32 0 744577174 817369088 7683 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 222 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7685 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 280 0 0 0 0 1 0 0 17 0 32 0 744577174 817369088 7687 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 7 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 230 0 0 0 0 1 0 0 20 0 32 0 744577174 817369088 7694 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 267 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7712 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 283 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7722 268435456000 4194304 4580107 140736846975216 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 224 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7723 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 267 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7724 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604503979187680 0 0 -1 4 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 213 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7738 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 213 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7739 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 257 0 0 0 0 1 0 0 18 0 32 0 744577174 825769984 7752 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 225 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7755 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 220 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7770 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 287 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7772 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 232 0 0 0 0 1 0 0 18 0 32 0 744577174 825769984 7791 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 219 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7797 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 292 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7798 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=806416 CPUtime=0 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 32 0 744577174 825769984 7801 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 225 0 0 0 0 1 0 0 18 0 32 0 744577174 825769984 7822 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 285 0 0 0 0 1 0 0 24 0 32 0 744577174 825769984 7825 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 279 0 0 0 0 1 0 0 23 0 32 0 744577174 825769984 7827 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 198 0 0 0 0 1 0 0 23 0 32 0 744577174 825769984 7833 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.0920279 s]
/proc/loadavg: 25.29 26.87 25.83 1/413 15857
/proc/meminfo: memFree=255129368/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=1265716 CPUtime=1.12 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) D 15855 15857 15773 0 -1 4202496 15333 0 0 0 29 83 0 0 17 0 32 0 744577174 1296093184 14751 268435456000 4194304 4580107 140736846975216 18446744073709551615 4349457 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15857/statm: 316429 14793 335 95 0 311411 0
[pid=15857/tid=15858] ppid=15855 vsize=1265716 CPUtime=0.03 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 453 0 0 0 1 2 0 0 17 0 32 0 744577174 1296093184 14839 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566929744 0 0 -1 1 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=1265716 CPUtime=0.04 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 534 0 0 0 1 3 0 0 17 0 32 0 744577174 1296093184 14844 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 2 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=1265908 CPUtime=0.01 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 402 0 0 0 0 1 0 0 17 0 32 0 744577174 1296289792 14852 268435456000 4194304 4580107 140736846975216 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=1265908 CPUtime=0.01 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 323 0 0 0 0 1 0 0 17 0 32 0 744577174 1296289792 14866 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=1265908 CPUtime=0.02 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 273 0 0 0 0 2 0 0 17 0 32 0 744577174 1296289792 14907 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566931424 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=1265908 CPUtime=0.02 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 477 0 0 0 0 2 0 0 17 0 32 0 744577174 1296289792 14911 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=1265908 CPUtime=0.04 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 555 0 0 0 1 3 0 0 17 0 32 0 744577174 1296289792 14918 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=1265908 CPUtime=0.03 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 674 0 0 0 0 3 0 0 17 0 32 0 744577174 1296289792 14922 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=1265776 CPUtime=0.04 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 661 0 0 0 1 3 0 0 17 0 32 0 744577174 1296154624 14897 268435456000 4194304 4580107 140736846975216 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 471 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14904 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 9 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=1265776 CPUtime=0.02 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 427 0 0 0 0 2 0 0 17 0 32 0 744577174 1296154624 14958 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604494799158752 0 0 -1 10 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 431 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14959 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 573 0 0 0 0 3 0 0 17 0 32 0 744577174 1296154624 14970 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566928264 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 416 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14980 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604478330183136 0 0 -1 14 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 703 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14987 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=1265776 CPUtime=0.01 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 334 0 0 0 0 1 0 0 17 0 32 0 744577174 1296154624 14990 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604498628107744 0 0 -1 8 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=1265776 CPUtime=0.02 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 411 0 0 0 0 2 0 0 17 0 32 0 744577174 1296154624 14998 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604485057641952 0 0 -1 4 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 643 0 0 0 0 2 0 0 18 0 32 0 744577174 1296392192 15009 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 360 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15022 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 20 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 525 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15024 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 406 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15057 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930344 0 0 -1 17 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 414 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15103 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604477749214688 0 0 -1 18 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 639 0 0 0 1 2 0 0 17 0 32 0 744577174 1296392192 15103 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566929744 0 0 -1 15 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 443 0 0 0 1 2 0 0 17 0 32 0 744577174 1296392192 15120 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566924704 0 0 -1 21 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 524 0 0 0 1 2 0 0 17 0 32 0 744577174 1296392192 15132 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 533 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15142 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604484847476192 0 0 -1 19 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=1266008 CPUtime=0.01 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 311 0 0 0 0 1 0 0 17 0 32 0 744577174 1296392192 15189 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 24 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 325 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15205 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566926304 0 0 -1 25 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 642 0 0 0 0 3 0 0 17 0 32 0 744577174 1296392192 15214 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604505108544992 0 0 -1 26 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=1266200 CPUtime=0.02 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 662 0 0 0 0 2 0 0 17 0 32 0 744577174 1296588800 15220 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=1266200 CPUtime=0.01 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 316 0 0 0 0 1 0 0 17 0 32 0 744577174 1296588800 15247 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566928264 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 1265716

[startup+0.104071 s]
/proc/loadavg: 25.29 26.87 25.83 1/413 15857
/proc/meminfo: memFree=255129368/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=1269460 CPUtime=1.24 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) S 15855 15857 15773 0 -1 4202496 18107 0 0 0 30 94 0 0 17 0 32 0 744577174 1299927040 17096 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15857/statm: 317365 17110 335 95 0 312347 0
[pid=15857/tid=15858] ppid=15855 vsize=1269460 CPUtime=0.03 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 516 0 0 0 1 2 0 0 17 0 32 0 744577174 1299927040 17110 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604485057641952 0 0 -1 1 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=1269460 CPUtime=0.04 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 608 0 0 0 1 3 0 0 17 0 32 0 744577174 1299927040 17128 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604481375411680 0 0 -1 2 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 540 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17177 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 391 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17177 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604498628107744 0 0 -1 28 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 285 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17184 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566932744 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 558 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17184 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=1269460 CPUtime=0.05 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 724 0 0 0 1 4 0 0 17 0 32 0 744577174 1299927040 17184 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=1269556 CPUtime=0.04 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 842 0 0 0 0 4 0 0 18 0 32 0 744577174 1300025344 17185 268435456000 4194304 4580107 140736846975216 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=1269556 CPUtime=0.04 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 747 0 0 0 1 3 0 0 17 0 32 0 744577174 1300025344 17198 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=1269556 CPUtime=0.03 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 578 0 0 0 1 2 0 0 17 0 32 0 744577174 1300025344 17199 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604496470097376 0 0 -1 9 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=1269556 CPUtime=0.02 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 463 0 0 0 0 2 0 0 17 0 32 0 744577174 1300025344 17199 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604477749214688 0 0 -1 10 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=1269556 CPUtime=0.03 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 529 0 0 0 1 2 0 0 17 0 32 0 744577174 1300025344 17199 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 7 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=1269652 CPUtime=0.03 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 667 0 0 0 0 3 0 0 17 0 32 0 744577174 1300123648 17210 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307480 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=1269652 CPUtime=0.03 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 490 0 0 0 1 2 0 0 17 0 32 0 744577174 1300123648 17246 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=1269652 CPUtime=0.04 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 860 0 0 0 1 3 0 0 18 0 32 0 744577174 1300123648 17256 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=1269652 CPUtime=0.02 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 372 0 0 0 0 2 0 0 17 0 32 0 744577174 1300123648 17259 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=1269652 CPUtime=0.02 cores=0-31

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

[pid=15857/tid=15887] ppid=15855 vsize=6069936 CPUtime=63.13 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38537 0 0 0 5993 320 0 0 25 0 32 0 744577174 6215614464 1060440 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=6069936 CPUtime=63.99 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 56198 0 0 0 6115 284 0 0 25 0 32 0 744577174 6215614464 1060440 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2037.16
Current children cumulated vsize (KiB) 6069936

[startup+70.3014 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251000900/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=5842808 CPUtime=2139.37 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) R 15855 15857 15773 0 -1 4202496 1371587 0 0 0 204635 9302 0 0 25 0 32 0 744577174 5983035392 1032444 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 1460702 1032444 377 95 0 1455684 0
[pid=15857/tid=15858] ppid=15855 vsize=5842808 CPUtime=67.03 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 35488 0 0 0 6412 291 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=5842808 CPUtime=66.57 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39418 0 0 0 6371 286 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=5842808 CPUtime=67.05 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41101 0 0 0 6428 277 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=5842808 CPUtime=66.89 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43948 0 0 0 6451 238 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=5842808 CPUtime=67.02 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42108 0 0 0 6392 310 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=5842808 CPUtime=67.5 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44433 0 0 0 6479 271 0 0 25 0 32 0 744577174 5983035392 1032446 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=5842808 CPUtime=66.96 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40363 0 0 0 6409 287 0 0 25 0 32 0 744577174 5983035392 1032446 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=5842808 CPUtime=66.37 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39040 0 0 0 6347 290 0 0 25 0 32 0 744577174 5983035392 1032446 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=5842808 CPUtime=67.17 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42583 0 0 0 6439 278 0 0 25 0 32 0 744577174 5983035392 1032447 268435456000 4194304 4580107 140736846975216 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=5842808 CPUtime=67.24 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44235 0 0 0 6413 311 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=5842808 CPUtime=66.44 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42480 0 0 0 6320 324 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=5842808 CPUtime=66.22 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41182 0 0 0 6349 273 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=5842808 CPUtime=67.22 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47618 0 0 0 6425 297 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=5842808 CPUtime=67.39 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42498 0 0 0 6445 294 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=5842808 CPUtime=67.28 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41516 0 0 0 6438 290 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=5842808 CPUtime=67.02 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43901 0 0 0 6429 273 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=5842808 CPUtime=66.42 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41943 0 0 0 6352 290 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=5842808 CPUtime=66.39 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38805 0 0 0 6364 275 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=5842808 CPUtime=66.44 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42848 0 0 0 6371 273 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=5842808 CPUtime=67.19 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38753 0 0 0 6453 266 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=5842808 CPUtime=67.12 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44658 0 0 0 6399 313 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=5842808 CPUtime=66.74 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47451 0 0 0 6371 303 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=5842808 CPUtime=66.35 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40409 0 0 0 6326 309 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=5842808 CPUtime=66.48 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44333 0 0 0 6343 305 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=5842808 CPUtime=67.09 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43507 0 0 0 6404 305 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=5842808 CPUtime=67.08 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43077 0 0 0 6417 291 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=5842808 CPUtime=66.67 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43739 0 0 0 6379 288 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294656 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=5842808 CPUtime=66.41 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47900 0 0 0 6345 296 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=5842808 CPUtime=67.26 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 48940 0 0 0 6432 294 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=5842808 CPUtime=66.32 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39718 0 0 0 6312 320 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=5842808 CPUtime=67.18 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 56300 0 0 0 6434 284 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2139.37
Current children cumulated vsize (KiB) 5842808

[startup+71.1015 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251000900/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=5791304 CPUtime=2164.32 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) R 15855 15857 15773 0 -1 4202496 1374849 0 0 0 207128 9304 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 1447826 1026894 377 95 0 1442808 0
[pid=15857/tid=15858] ppid=15855 vsize=5791304 CPUtime=67.81 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 35529 0 0 0 6490 291 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=5791304 CPUtime=67.35 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40450 0 0 0 6448 287 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=5791304 CPUtime=67.83 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41140 0 0 0 6506 277 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=5791304 CPUtime=67.67 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44002 0 0 0 6529 238 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=5791304 CPUtime=67.8 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42146 0 0 0 6470 310 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=5791304 CPUtime=68.29 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44468 0 0 0 6557 272 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=5791304 CPUtime=67.74 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40397 0 0 0 6487 287 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=5791304 CPUtime=67.14 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40053 0 0 0 6424 290 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=5791304 CPUtime=67.95 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42605 0 0 0 6517 278 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=5791304 CPUtime=68.02 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44263 0 0 0 6491 311 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=5791304 CPUtime=67.22 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42507 0 0 0 6398 324 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=5791304 CPUtime=66.99 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41210 0 0 0 6426 273 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306066 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=5791304 CPUtime=68 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47839 0 0 0 6503 297 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=5791304 CPUtime=68.17 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42529 0 0 0 6523 294 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=5791304 CPUtime=68.06 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41550 0 0 0 6516 290 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=5791304 CPUtime=67.8 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43962 0 0 0 6507 273 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=5791304 CPUtime=67.2 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41963 0 0 0 6430 290 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=5791304 CPUtime=67.16 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38844 0 0 0 6441 275 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4324529 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=5791304 CPUtime=67.22 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42869 0 0 0 6449 273 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=5791304 CPUtime=67.97 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38781 0 0 0 6531 266 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=5791304 CPUtime=67.9 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44691 0 0 0 6477 313 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=5791304 CPUtime=67.52 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47478 0 0 0 6449 303 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=5791304 CPUtime=67.13 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40442 0 0 0 6404 309 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=5791304 CPUtime=67.25 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44375 0 0 0 6420 305 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=5791304 CPUtime=67.87 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43569 0 0 0 6482 305 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=5791304 CPUtime=67.86 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43089 0 0 0 6495 291 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=5791304 CPUtime=67.45 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43776 0 0 0 6457 288 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=5791304 CPUtime=67.19 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47927 0 0 0 6423 296 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=5791304 CPUtime=68.04 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 48970 0 0 0 6510 294 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=5791304 CPUtime=67.1 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39734 0 0 0 6390 320 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=5791304 CPUtime=67.96 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 56340 0 0 0 6512 284 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2164.32
Current children cumulated vsize (KiB) 5791304

[startup+71.9015 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251021484/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=0 CPUtime=2188.68 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) Z 15855 15857 15773 0 -1 4203548 1376737 0 0 0 209557 9311 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 0 0 0 0 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=0 CPUtime=68.73 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4203588 56357 0 0 0 6588 285 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2188.68
Current children cumulated vsize (KiB) 0

[startup+72.3006 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251021484/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=0 CPUtime=2189.08 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) Z 15855 15857 15773 0 -1 4203548 1376737 0 0 0 209557 9351 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 0 0 0 0 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=0 CPUtime=69.13 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4203588 56357 0 0 0 6588 325 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2189.08
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 72.3143
CPU time (s): 2189.1
CPU user time (s): 2095.57
CPU system time (s): 93.5248
CPU usage (%): 3027.2
Max. virtual memory (cumulated for all children) (KiB): 6275684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2095.57
system time used= 93.5248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1376737
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= 2273801
involuntary context switches= 24076

runsolver used 0.486925 second user time and 1.81572 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 15:41:48
IDJOB=3400681
IDBENCH=71019
IDSOLVER=1886
FILE ID=node200/3400681-1306330907
RUNJOBID= node200-1306330849-15787
PBS_JOBID= 13411792
Free space on /tmp= 62032 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400681-1306330907/watcher-3400681-1306330907 -o /tmp/evaluation-result-3400681-1306330907/solver-3400681-1306330907 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400681-1306330907.cnf

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

MD5SUM BENCH= 4385f03fe3bdaf0f127ae989ddd7908d
RANDOM SEED=907606963

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:      255129648 kB
Buffers:        467664 kB
Cached:        8248388 kB
SwapCached:          0 kB
Active:        7788704 kB
Inactive:       996392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255129648 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20448 kB
Writeback:           0 kB
AnonPages:       69788 kB
Mapped:          14308 kB
Slab:           256500 kB
PageTables:       5324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   176000 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= 62028 MiB
End job on node200 at 2011-05-25 15:43:00