Trace number 3400782

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 864.992 32.0396

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
MD5SUM78f66492ac42d4b6896175e486263134
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark77.7602
Satisfiable
(Un)Satisfiability was proved
Number of variables154038
Number of clauses460862
Sum of the clauses size1075342
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2307240
Number of clauses of size 3153620
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400782-1306778455.cnf'
0.00/0.07	c -- header says num vars:         154038
0.00/0.07	c -- header says num clauses:      460862
56.67/4.28	c -- clauses added:            0 learnts,       460862 normals,            0 xors
56.67/4.28	c -- vars added     154038
56.67/4.28	c Parsing time:  0.62 s
56.67/4.28	c  N st     0         0    154038    153620    307240         0   1075340         0   no data   no data
116.78/6.11	c asymm  cl-useful: 0/5464/153619 lits-rem:0 time: 1.00
724.07/25.19	c Flit:   125 Blit:  10725 bXBeca:    0 bXProp: 5115 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 19.90
727.86/25.24	c Cleaning up after failed var search:     0.04 s 
731.09/25.32	c Replacing     5116 vars Replaced   101868 lits Time:     0.08 s 
733.62/25.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
733.62/25.49	c bin-w-bin subsume rem          344 bins  time:  0.05 s
739.99/25.60	c subs with bin:       37  lits-rem:        37  v-fix:    0  time:  0.11 s
761.05/26.39	c Subs w/ non-existent bins:    334 l-rem:    266 v-fix:    69 done: 119100 time:  0.76 s
764.65/26.57	c Removed useless bin:     116  fixed:     0  props:  20.00M  time:  0.17 s
813.66/28.41	c lits-rem:      3071  cl-subs:    13440  v-elim:  45073  v-fix:    0  time:  1.02 s
813.66/28.47	c Finding binary XORs  T:     0.06 s  found:     176
816.64/28.56	c Replacing      176 vars Replaced     3231 lits Time:     0.07 s 
819.14/28.69	c Finding non-binary XORs:     0.07 s (found:      57, avg size: 3.0)
819.14/28.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
821.17/28.72	c calculated reachability. Time: 0.00
821.17/28.75	c Calc default polars -  time:   0.03 s pos:    1101 undec:   64177 neg:   88760
821.17/28.75	c =========================================================================================
821.17/28.75	c types(t): F = full restart, N = normal restart
821.17/28.75	c types(t): S = simplification begin/end, E = solution found
821.17/28.75	c restart types(rt): st = static, dy = dynamic
821.17/28.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
821.17/28.75	c  B st     0         0     89903    124824    182810         0    805283         0   no data   no data
864.46/31.73	c Following stats are for *FIRST FINISHED THREAD ONLY*
864.46/31.73	c num threads              : 32         
864.46/31.73	c restarts                 : 73         
864.46/31.73	c dynamic restarts         : 67         
864.46/31.73	c static restarts          : 6          
864.46/31.73	c full restarts            : 0          
864.46/31.73	c total simplify time      : 0.32       
864.46/31.73	c learnts DL2              : 0          
864.46/31.73	c learnts size 2           : 314545     
864.46/31.73	c learnts size 1           : 25597       (16.62     % of vars)
864.46/31.73	c filedLit time            : 0.00        (0.00      % time)
864.46/31.73	c v-elim SatELite          : 0           (0.00      % vars)
864.46/31.73	c SatELite time            : 0.00        (0.00      % time)
864.46/31.73	c v-elim xor               : 0           (0.00      % vars)
864.46/31.73	c xor elim time            : 0.00        (0.00      % time)
864.46/31.73	c num binary xor trees     : 0          
864.46/31.73	c binxor trees' crown      : 0           (nan       leafs/tree)
864.46/31.73	c bin xor find time        : 0.09       
864.46/31.73	c OTF clause improved      : 197         (0.01      clauses/conflict)
864.46/31.73	c OTF impr. size diff      : 225         (1.14       lits/clause)
864.46/31.73	c OTF cl watch-shrink      : 3995        (0.26      clauses/conflict)
864.46/31.73	c OTF cl watch-sh-lit      : 11430       (2.86       lits/clause)
864.46/31.73	c tried to recurMin cls    : 8148        (53.65      % of conflicts)
864.46/31.73	c updated cache            : 12705       (1.56       lits/tried recurMin)
864.46/31.73	c unit cls recevied        : 0           (0.00      % of units)
864.46/31.73	c unit cls sent            : 16764       (65.49     % of units)
864.46/31.73	c bin cls recevied         : 0          
864.46/31.73	c bin cls sent             : 5998       
864.46/31.73	c clauses over max glue    : 0           (0.00      % of all clauses)
864.46/31.73	c conflicts                : 15188       (539.39    / sec)
864.46/31.73	c decisions                : 50799       (1.48      % random)
864.46/31.73	c bogo-props               : 261762023   (9296279.40 / sec)
864.46/31.73	c conflict literals        : 316593      (46.73     % deleted)
864.46/31.73	c Memory used              : 5908.87     MB
864.46/31.73	c single-thread CPU time   : 28.16       s
864.46/31.73	c all-threads sum CPU time : 811.58      s
864.46/31.73	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-3400782-1306778455/watcher-3400782-1306778455 -o /tmp/evaluation-result-3400782-1306778455/solver-3400782-1306778455 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400782-1306778455.cnf 

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

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


[startup+0 s]
/proc/loadavg: 27.48 28.81 30.50 1/413 18816
/proc/meminfo: memFree=263712880/264257624 swapFree=67044744/67111528
[pid=18816] ppid=18814 vsize=338000 CPUtime=0.78 cores=0-31
/proc/18816/stat : 18816 (strangenight2-m) R 18814 18816 18554 0 -1 4202496 466 0 0 0 78 0 0 0 22 0 32 0 3811573 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18816/statm: 84500 406 300 95 0 79482 0
[pid=18816/tid=18817] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18817/stat : 18817 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18816/tid=18818] ppid=18814 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18816/task/18818/stat : 18818 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18816/tid=18819] ppid=18814 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18816/task/18819/stat : 18819 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060467122 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18816/tid=18820] ppid=18814 vsize=338000 CPUtime=0 cores=0-31
/proc/18816/task/18820/stat : 18820 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18816/tid=18821] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18821/stat : 18821 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18816/tid=18822] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18822/stat : 18822 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466711 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18816/tid=18823] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18823/stat : 18823 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18816/tid=18824] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18824/stat : 18824 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18816/tid=18825] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18825/stat : 18825 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466717 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18816/tid=18826] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18826/stat : 18826 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18816/tid=18827] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18827/stat : 18827 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18816/tid=18828] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18828/stat : 18828 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18816/tid=18829] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18829/stat : 18829 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18816/tid=18830] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18830/stat : 18830 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18816/tid=18831] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18831/stat : 18831 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18816/tid=18832] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18832/stat : 18832 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060467122 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18816/tid=18833] ppid=18814 vsize=338000 CPUtime=0 cores=0-31
/proc/18816/task/18833/stat : 18833 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18816/tid=18834] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18834/stat : 18834 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18816/tid=18835] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18835/stat : 18835 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18816/tid=18836] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18836/stat : 18836 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18816/tid=18837] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18837/stat : 18837 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18816/tid=18838] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18838/stat : 18838 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18816/tid=18839] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18839/stat : 18839 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466704 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18816/tid=18840] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18840/stat : 18840 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18816/tid=18841] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18841/stat : 18841 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18816/tid=18842] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18842/stat : 18842 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466711 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18816/tid=18843] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18843/stat : 18843 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18816/tid=18844] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18844/stat : 18844 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18816/tid=18845] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18845/stat : 18845 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18816/tid=18846] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18846/stat : 18846 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18816/tid=18847] ppid=18814 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18816/task/18847/stat : 18847 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 3811574 346112000 406 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.0949351 s]
/proc/loadavg: 27.48 28.81 30.50 1/413 18816
/proc/meminfo: memFree=263712880/264257624 swapFree=67044744/67111528
[pid=18816] ppid=18814 vsize=1200108 CPUtime=1.91 cores=0-31
/proc/18816/stat : 18816 (strangenight2-m) S 18814 18816 18554 0 -1 4202496 9873 0 0 0 114 77 0 0 17 0 32 0 3811573 1228910592 9709 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18816/statm: 300027 9715 334 95 0 295009 0
[pid=18816/tid=18817] ppid=18814 vsize=1200108 CPUtime=0.05 cores=0-31
/proc/18816/task/18817/stat : 18817 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 269 0 0 0 3 2 0 0 23 0 32 0 3811574 1228910592 9721 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744071566929784 0 0 -1 1 0 0 0
[pid=18816/tid=18818] ppid=18814 vsize=1200108 CPUtime=0.04 cores=0-31
/proc/18816/task/18818/stat : 18818 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 271 0 0 0 2 2 0 0 17 0 32 0 3811574 1228910592 9731 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604452116282848 0 0 -1 24 0 0 0
[pid=18816/tid=18819] ppid=18814 vsize=1200108 CPUtime=0.03 cores=0-31
/proc/18816/task/18819/stat : 18819 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 329 0 0 0 1 2 0 0 17 0 32 0 3811574 1228910592 9731 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604494088568288 0 0 -1 30 0 0 0
[pid=18816/tid=18820] ppid=18814 vsize=1200108 CPUtime=0.03 cores=0-31
/proc/18816/task/18820/stat : 18820 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 268 0 0 0 1 2 0 0 17 0 32 0 3811574 1228910592 9736 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604459058544096 0 0 -1 27 0 0 0
[pid=18816/tid=18821] ppid=18814 vsize=1200108 CPUtime=0.05 cores=0-31
/proc/18816/task/18821/stat : 18821 (strangenight2-m) D 18814 18816 18554 0 -1 4202560 301 0 0 0 3 2 0 0 17 0 32 0 3811574 1228910592 9742 268435456000 4194304 4580107 140733491786960 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18816/tid=18822] ppid=18814 vsize=1200108 CPUtime=0.05 cores=0-31
/proc/18816/task/18822/stat : 18822 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 3811574 1228910592 9750 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604459728526816 0 0 -1 13 0 0 0
[pid=18816/tid=18823] ppid=18814 vsize=1208312 CPUtime=0.05 cores=0-31
/proc/18816/task/18823/stat : 18823 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 284 0 0 0 3 2 0 0 17 0 32 0 3811574 1237311488 9751 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744071566930304 0 0 -1 4 0 0 0
[pid=18816/tid=18824] ppid=18814 vsize=1208312 CPUtime=0.06 cores=0-31
/proc/18816/task/18824/stat : 18824 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 303 0 0 0 4 2 0 0 17 0 32 0 3811574 1237311488 9769 268435456000 4194304 4580107 140733491786960 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18816/tid=18825] ppid=18814 vsize=1208312 CPUtime=0.05 cores=0-31
/proc/18816/task/18825/stat : 18825 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 285 0 0 0 3 2 0 0 17 0 32 0 3811574 1237311488 9771 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604453839257056 0 0 -1 2 0 0 0
[pid=18816/tid=18826] ppid=18814 vsize=1224720 CPUtime=0.06 cores=0-31
/proc/18816/task/18826/stat : 18826 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 314 0 0 0 4 2 0 0 18 0 32 0 3811574 1254113280 9777 268435456000 4194304 4580107 140733491786960 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18816/tid=18827] ppid=18814 vsize=1224720 CPUtime=0.05 cores=0-31
/proc/18816/task/18827/stat : 18827 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 303 0 0 0 3 2 0 0 17 0 32 0 3811574 1254113280 9782 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604448426237408 0 0 -1 3 0 0 0
[pid=18816/tid=18828] ppid=18814 vsize=1224720 CPUtime=0.05 cores=0-31
/proc/18816/task/18828/stat : 18828 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 3811574 1254113280 9785 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744071566930304 0 0 -1 9 0 0 0
[pid=18816/tid=18829] ppid=18814 vsize=1224720 CPUtime=0.06 cores=0-31
/proc/18816/task/18829/stat : 18829 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 331 0 0 0 4 2 0 0 17 0 32 0 3811574 1254113280 9792 268435456000 4194304 4580107 140733491786960 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18816/tid=18830] ppid=18814 vsize=1232924 CPUtime=0.06 cores=0-31
/proc/18816/task/18830/stat : 18830 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 320 0 0 0 4 2 0 0 17 0 32 0 3811574 1262514176 9796 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18816/tid=18831] ppid=18814 vsize=1232924 CPUtime=0.05 cores=0-31
/proc/18816/task/18831/stat : 18831 (strangenight2-m) D 18814 18816 18554 0 -1 4202560 340 0 0 0 3 2 0 0 17 0 32 0 3811574 1262514176 9801 268435456000 4194304 4580107 140733491786960 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18816/tid=18832] ppid=18814 vsize=1232924 CPUtime=0.04 cores=0-31
/proc/18816/task/18832/stat : 18832 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 324 0 0 0 2 2 0 0 17 0 32 0 3811574 1262514176 9805 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744071566927224 0 0 -1 28 0 0 0
[pid=18816/tid=18833] ppid=18814 vsize=1232924 CPUtime=0.01 cores=0-31
/proc/18816/task/18833/stat : 18833 (strangenight2-m) D 18814 18816 18554 0 -1 4202560 154 0 0 0 1 0 0 0 21 0 32 0 3811574 1262514176 9808 268435456000 4194304 4580107 140733491786960 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18816/tid=18834] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18834/stat : 18834 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 293 0 0 0 3 2 0 0 17 0 32 0 3811574 1270915072 9814 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604500167572960 0 0 -1 16 0 0 0
[pid=18816/tid=18835] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18835/stat : 18835 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 284 0 0 0 3 2 0 0 18 0 32 0 3811574 1270915072 9825 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604497064017376 0 0 -1 8 0 0 0
[pid=18816/tid=18836] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18836/stat : 18836 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 298 0 0 0 3 2 0 0 21 0 32 0 3811574 1270915072 9833 268435456000 4194304 4580107 140733491786960 18446744073709551615 258650623178 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18816/tid=18837] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18837/stat : 18837 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 300 0 0 0 3 2 0 0 17 0 32 0 3811574 1270915072 9834 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604504913427936 0 0 -1 0 0 0 0
[pid=18816/tid=18838] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18838/stat : 18838 (strangenight2-m) D 18814 18816 18554 0 -1 4202560 304 0 0 0 3 2 0 0 17 0 32 0 3811574 1270915072 9835 268435456000 4194304 4580107 140733491786960 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18816/tid=18839] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18839/stat : 18839 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 330 0 0 0 3 2 0 0 17 0 32 0 3811574 1270915072 9842 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604453195455968 0 0 -1 18 0 0 0
[pid=18816/tid=18840] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18840/stat : 18840 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 303 0 0 0 3 2 0 0 17 0 32 0 3811574 1270915072 9850 268435456000 4194304 4580107 140733491786960 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18816/tid=18841] ppid=18814 vsize=1241128 CPUtime=0.05 cores=0-31
/proc/18816/task/18841/stat : 18841 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 306 0 0 0 3 2 0 0 18 0 32 0 3811574 1270915072 9856 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18816/tid=18842] ppid=18814 vsize=1249332 CPUtime=0.05 cores=0-31
/proc/18816/task/18842/stat : 18842 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 307 0 0 0 3 2 0 0 17 0 32 0 3811574 1279315968 9860 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604506559454688 0 0 -1 22 0 0 0
[pid=18816/tid=18843] ppid=18814 vsize=1249332 CPUtime=0.04 cores=0-31
/proc/18816/task/18843/stat : 18843 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 307 0 0 0 3 1 0 0 17 0 32 0 3811574 1279315968 9883 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604480989453792 0 0 -1 19 0 0 0
[pid=18816/tid=18844] ppid=18814 vsize=1249332 CPUtime=0.05 cores=0-31
/proc/18816/task/18844/stat : 18844 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 298 0 0 0 3 2 0 0 17 0 32 0 3811574 1279315968 9887 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18816/tid=18845] ppid=18814 vsize=1257536 CPUtime=0.05 cores=0-31
/proc/18816/task/18845/stat : 18845 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 331 0 0 0 3 2 0 0 17 0 32 0 3811574 1287716864 9888 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18816/tid=18846] ppid=18814 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/18816/task/18846/stat : 18846 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 303 0 0 0 3 2 0 0 17 0 32 0 3811574 1287852032 9895 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744071566930824 0 0 -1 23 0 0 0
[pid=18816/tid=18847] ppid=18814 vsize=1257668 CPUtime=0.05 cores=0-31
/proc/18816/task/18847/stat : 18847 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 310 0 0 0 3 2 0 0 18 0 32 0 3811574 1287852032 9901 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 1200108

[startup+0.102907 s]
/proc/loadavg: 27.48 28.81 30.50 1/413 18816
/proc/meminfo: memFree=263712880/264257624 swapFree=67044744/67111528
[pid=18816] ppid=18814 vsize=1307216 CPUtime=1.99 cores=0-31
/proc/18816/stat : 18816 (strangenight2-m) R 18814 18816 18554 0 -1 4202496 10819 0 0 0 117 82 0 0 17 0 32 0 3811573 1338589184 10655 268435456000 4194304 4580107 140733491786960 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18816/statm: 326804 10665 334 95 0 321786 0
[pid=18816/tid=18817] ppid=18814 vsize=1307216 CPUtime=0.06 cores=0-31
/proc/18816/task/18817/stat : 18817 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 298 0 0 0 4 2 0 0 17 0 32 0 3811574 1338589184 10674 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744071566930304 0 0 -1 1 0 0 0
[pid=18816/tid=18818] ppid=18814 vsize=1307216 CPUtime=0.04 cores=0-31
/proc/18816/task/18818/stat : 18818 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 289 0 0 0 2 2 0 0 17 0 32 0 3811574 1338589184 10681 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604457687260640 0 0 -1 24 0 0 0
[pid=18816/tid=18819] ppid=18814 vsize=1307216 CPUtime=0.04 cores=0-31
/proc/18816/task/18819/stat : 18819 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 357 0 0 0 2 2 0 0 17 0 32 0 3811574 1338589184 10685 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18816/tid=18820] ppid=18814 vsize=1307216 CPUtime=0.03 cores=0-31
/proc/18816/task/18820/stat : 18820 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 278 0 0 0 1 2 0 0 17 0 32 0 3811574 1338589184 10685 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604504913427936 0 0 -1 27 0 0 0
[pid=18816/tid=18821] ppid=18814 vsize=1307216 CPUtime=0.05 cores=0-31
/proc/18816/task/18821/stat : 18821 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 323 0 0 0 3 2 0 0 17 0 32 0 3811574 1338589184 10685 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604445706173920 0 0 -1 17 0 0 0
[pid=18816/tid=18822] ppid=18814 vsize=1307216 CPUtime=0.05 cores=0-31
/proc/18816/task/18822/stat : 18822 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 283 0 0 0 3 2 0 0 17 0 32 0 3811574 1338589184 10700 268435456000 4194304 4580107 140733491786960 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18816/tid=18823] ppid=18814 vsize=1307216 CPUtime=0.05 cores=0-31
/proc/18816/task/18823/stat : 18823 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 316 0 0 0 3 2 0 0 17 0 32 0 3811574 1338589184 10703 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446744071566930824 0 0 -1 4 0 0 0
[pid=18816/tid=18824] ppid=18814 vsize=1307216 CPUtime=0.06 cores=0-31
/proc/18816/task/18824/stat : 18824 (strangenight2-m) D 18814 18816 18554 0 -1 4202560 316 0 0 0 4 2 0 0 17 0 32 0 3811574 1338589184 10706 268435456000 4194304 4580107 140733491786960 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18816/tid=18825] ppid=18814 vsize=1307216 CPUtime=0.05 cores=0-31
/proc/18816/task/18825/stat : 18825 (strangenight2-m) D 18814 18816 18554 0 -1 4202560 299 0 0 0 3 2 0 0 17 0 32 0 3811574 1338589184 10711 268435456000 4194304 4580107 140733491786960 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18816/tid=18826] ppid=18814 vsize=1307216 CPUtime=0.06 cores=0-31
/proc/18816/task/18826/stat : 18826 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 364 0 0 0 4 2 0 0 17 0 32 0 3811574 1338589184 10727 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604453839257056 0 0 -1 6 0 0 0
[pid=18816/tid=18827] ppid=18814 vsize=1307216 CPUtime=0.07 cores=0-31
/proc/18816/task/18827/stat : 18827 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 327 0 0 0 4 3 0 0 17 0 32 0 3811574 1338589184 10731 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18816/tid=18828] ppid=18814 vsize=1307216 CPUtime=0.05 cores=0-31
/proc/18816/task/18828/stat : 18828 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 321 0 0 0 3 2 0 0 17 0 32 0 3811574 1338589184 10742 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604500167572960 0 0 -1 9 0 0 0
[pid=18816/tid=18829] ppid=18814 vsize=1315420 CPUtime=0.06 cores=0-31
/proc/18816/task/18829/stat : 18829 (strangenight2-m) D 18814 18816 18554 0 -1 4202560 393 0 0 0 4 2 0 0 17 0 32 0 3811574 1346990080 10746 268435456000 4194304 4580107 140733491786960 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18816/tid=18830] ppid=18814 vsize=1315420 CPUtime=0.06 cores=0-31
/proc/18816/task/18830/stat : 18830 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 347 0 0 0 4 2 0 0 17 0 32 0 3811574 1346990080 10749 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604492847390176 0 0 -1 7 0 0 0
[pid=18816/tid=18831] ppid=18814 vsize=1315420 CPUtime=0.05 cores=0-31
/proc/18816/task/18831/stat : 18831 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 355 0 0 0 3 2 0 0 17 0 32 0 3811574 1346990080 10752 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18816/tid=18832] ppid=18814 vsize=1315420 CPUtime=0.04 cores=0-31
/proc/18816/task/18832/stat : 18832 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 348 0 0 0 2 2 0 0 17 0 32 0 3811574 1346990080 10770 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651060958 0 0 4096 2 18446604459058544096 0 0 -1 28 0 0 0
[pid=18816/tid=18833] ppid=18814 vsize=1315420 CPUtime=0.01 cores=0-31

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

[pid=18816/tid=18846] ppid=18814 vsize=5576216 CPUtime=25.96 cores=0-31
/proc/18816/task/18846/stat : 18846 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34874 0 0 0 2458 138 0 0 17 0 32 0 3811574 5710045184 899259 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604449008713184 0 0 -1 19 0 0 0
[pid=18816/tid=18847] ppid=18814 vsize=5576216 CPUtime=27.87 cores=0-31
/proc/18816/task/18847/stat : 18847 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 22631 0 0 0 2673 114 0 0 25 0 32 0 3811574 5710045184 899264 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060442155 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 847.95
Current children cumulated vsize (KiB) 5543400

[startup+31.102 s]
/proc/loadavg: 28.24 28.90 30.47 13/445 18857
/proc/meminfo: memFree=260009208/264257624 swapFree=67044744/67111528
[pid=18816] ppid=18814 vsize=6050676 CPUtime=858.2 cores=0-31
/proc/18816/stat : 18816 (strangenight2-m) S 18814 18816 18554 0 -1 4202496 1155535 0 0 0 80517 5303 0 0 16 0 32 0 3811573 6195892224 952533 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/18816/statm: 1512669 952534 377 95 0 1507651 0
[pid=18816/tid=18817] ppid=18814 vsize=6050676 CPUtime=27.15 cores=0-31
/proc/18816/task/18817/stat : 18817 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 38278 0 0 0 2542 173 0 0 16 0 32 0 3811574 6195892224 952534 268435456000 4194304 4580107 140733491786960 18446744073709551615 4368171 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18816/tid=18818] ppid=18814 vsize=6050676 CPUtime=26.97 cores=0-31
/proc/18816/task/18818/stat : 18818 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 37368 0 0 0 2525 172 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604494088568288 0 0 -1 20 0 0 0
[pid=18816/tid=18819] ppid=18814 vsize=6050676 CPUtime=27.1 cores=0-31
/proc/18816/task/18819/stat : 18819 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 35881 0 0 0 2521 189 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18816/tid=18820] ppid=18814 vsize=6050676 CPUtime=26.48 cores=0-31
/proc/18816/task/18820/stat : 18820 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 38820 0 0 0 2468 180 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18816/tid=18821] ppid=18814 vsize=6050676 CPUtime=27.1 cores=0-31
/proc/18816/task/18821/stat : 18821 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 36403 0 0 0 2540 170 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18816/tid=18822] ppid=18814 vsize=6050676 CPUtime=27.32 cores=0-31
/proc/18816/task/18822/stat : 18822 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 35180 0 0 0 2550 182 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18816/tid=18823] ppid=18814 vsize=6050676 CPUtime=26.82 cores=0-31
/proc/18816/task/18823/stat : 18823 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34816 0 0 0 2533 149 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604506149699040 0 0 -1 15 0 0 0
[pid=18816/tid=18824] ppid=18814 vsize=6050676 CPUtime=27.24 cores=0-31
/proc/18816/task/18824/stat : 18824 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 35984 0 0 0 2544 180 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 4305010 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18816/tid=18825] ppid=18814 vsize=6050676 CPUtime=27.25 cores=0-31
/proc/18816/task/18825/stat : 18825 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 38186 0 0 0 2539 186 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 4290385 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18816/tid=18826] ppid=18814 vsize=6050676 CPUtime=27.25 cores=0-31
/proc/18816/task/18826/stat : 18826 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 37119 0 0 0 2553 172 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604453195455968 0 0 -1 30 0 0 0
[pid=18816/tid=18827] ppid=18814 vsize=6050676 CPUtime=27.25 cores=0-31
/proc/18816/task/18827/stat : 18827 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 33689 0 0 0 2559 166 0 0 16 0 32 0 3811574 6195892224 952535 268435456000 4194304 4580107 140733491786960 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18816/tid=18828] ppid=18814 vsize=6050676 CPUtime=27.45 cores=0-31
/proc/18816/task/18828/stat : 18828 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 36356 0 0 0 2572 173 0 0 16 0 32 0 3811574 6195892224 952536 268435456000 4194304 4580107 140733491786960 18446744073709551615 4397477 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18816/tid=18829] ppid=18814 vsize=6050676 CPUtime=27.25 cores=0-31
/proc/18816/task/18829/stat : 18829 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 30629 0 0 0 2545 180 0 0 16 0 32 0 3811574 6195892224 952537 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604452787551712 0 0 -1 22 0 0 0
[pid=18816/tid=18830] ppid=18814 vsize=6050676 CPUtime=24.93 cores=0-31
/proc/18816/task/18830/stat : 18830 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 41653 0 0 0 2357 136 0 0 16 0 32 0 3811574 6195892224 952537 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604500167572960 0 0 -1 19 0 0 0
[pid=18816/tid=18831] ppid=18814 vsize=6050676 CPUtime=26.77 cores=0-31
/proc/18816/task/18831/stat : 18831 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 35331 0 0 0 2508 169 0 0 16 0 32 0 3811574 6195892224 952537 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604480989453792 0 0 -1 23 0 0 0
[pid=18816/tid=18832] ppid=18814 vsize=6050676 CPUtime=26.47 cores=0-31
/proc/18816/task/18832/stat : 18832 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 36242 0 0 0 2505 142 0 0 17 0 32 0 3811574 6195892224 952537 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604512051248608 0 0 -1 26 0 0 0
[pid=18816/tid=18833] ppid=18814 vsize=6050676 CPUtime=27.16 cores=0-31
/proc/18816/task/18833/stat : 18833 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 37952 0 0 0 2540 176 0 0 16 0 32 0 3811574 6195892224 952538 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604506554801632 0 0 -1 16 0 0 0
[pid=18816/tid=18834] ppid=18814 vsize=6050676 CPUtime=26.41 cores=0-31
/proc/18816/task/18834/stat : 18834 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34842 0 0 0 2473 168 0 0 16 0 32 0 3811574 6195892224 952538 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604499085147616 0 0 -1 24 0 0 0
[pid=18816/tid=18835] ppid=18814 vsize=6050676 CPUtime=26.87 cores=0-31
/proc/18816/task/18835/stat : 18835 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 33192 0 0 0 2526 161 0 0 16 0 32 0 3811574 6195892224 952538 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604478121205216 0 0 -1 4 0 0 0
[pid=18816/tid=18836] ppid=18814 vsize=6050676 CPUtime=26.23 cores=0-31
/proc/18816/task/18836/stat : 18836 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 35047 0 0 0 2459 164 0 0 16 0 32 0 3811574 6195892224 952539 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604454438026720 0 0 -1 8 0 0 0
[pid=18816/tid=18837] ppid=18814 vsize=6050676 CPUtime=25.41 cores=0-31
/proc/18816/task/18837/stat : 18837 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 39375 0 0 0 2402 139 0 0 16 0 32 0 3811574 6195892224 952539 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604459728526816 0 0 -1 14 0 0 0
[pid=18816/tid=18838] ppid=18814 vsize=6050676 CPUtime=27.08 cores=0-31
/proc/18816/task/18838/stat : 18838 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 35140 0 0 0 2545 163 0 0 16 0 32 0 3811574 6195892224 952541 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604457687260640 0 0 -1 7 0 0 0
[pid=18816/tid=18839] ppid=18814 vsize=6050676 CPUtime=27.08 cores=0-31
/proc/18816/task/18839/stat : 18839 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 38276 0 0 0 2533 175 0 0 16 0 32 0 3811574 6195892224 952555 268435456000 4194304 4580107 140733491786960 18446744073709551615 4289512 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18816/tid=18840] ppid=18814 vsize=6050676 CPUtime=26.87 cores=0-31
/proc/18816/task/18840/stat : 18840 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 36092 0 0 0 2529 158 0 0 16 0 32 0 3811574 6195892224 952569 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604485789089248 0 0 -1 27 0 0 0
[pid=18816/tid=18841] ppid=18814 vsize=6050676 CPUtime=27.22 cores=0-31
/proc/18816/task/18841/stat : 18841 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 35960 0 0 0 2540 182 0 0 16 0 32 0 3811574 6195892224 952571 268435456000 4194304 4580107 140733491786960 18446744073709551615 4496913 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18816/tid=18842] ppid=18814 vsize=6050676 CPUtime=24.73 cores=0-31
/proc/18816/task/18842/stat : 18842 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 40054 0 0 0 2340 133 0 0 17 0 32 0 3811574 6195892224 952575 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446744071566932224 0 0 -1 22 0 0 0
[pid=18816/tid=18843] ppid=18814 vsize=6050676 CPUtime=27.03 cores=0-31
/proc/18816/task/18843/stat : 18843 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34092 0 0 0 2521 182 0 0 16 0 32 0 3811574 6195892224 952589 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604504913427936 0 0 -1 3 0 0 0
[pid=18816/tid=18844] ppid=18814 vsize=6050676 CPUtime=27.37 cores=0-31
/proc/18816/task/18844/stat : 18844 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 37230 0 0 0 2556 181 0 0 16 0 32 0 3811574 6195892224 952604 268435456000 4194304 4580107 140733491786960 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18816/tid=18845] ppid=18814 vsize=6050676 CPUtime=27.14 cores=0-31
/proc/18816/task/18845/stat : 18845 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 39213 0 0 0 2530 184 0 0 16 0 32 0 3811574 6195892224 952619 268435456000 4194304 4580107 140733491786960 18446744073709551615 4397405 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18816/tid=18846] ppid=18814 vsize=6050676 CPUtime=25.96 cores=0-31
/proc/18816/task/18846/stat : 18846 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34874 0 0 0 2458 138 0 0 17 0 32 0 3811574 6195892224 952633 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604449008713184 0 0 -1 19 0 0 0
[pid=18816/tid=18847] ppid=18814 vsize=6050676 CPUtime=28.66 cores=0-31
/proc/18816/task/18847/stat : 18847 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 22631 0 0 0 2752 114 0 0 25 0 32 0 3811574 6195892224 952646 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060442308 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 858.2
Current children cumulated vsize (KiB) 6050676

[startup+31.502 s]
/proc/loadavg: 28.24 28.90 30.47 13/445 18857
/proc/meminfo: memFree=260009208/264257624 swapFree=67044744/67111528
[pid=18816] ppid=18814 vsize=6050676 CPUtime=863.15 cores=0-31
/proc/18816/stat : 18816 (strangenight2-m) S 18814 18816 18554 0 -1 4202496 1166903 0 0 0 81005 5310 0 0 16 0 32 0 3811573 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/18816/statm: 1512669 958227 377 95 0 1507651 0
[pid=18816/tid=18817] ppid=18814 vsize=6050676 CPUtime=27.54 cores=0-31
/proc/18816/task/18817/stat : 18817 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 38280 0 0 0 2581 173 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604460541812192 0 0 -1 12 0 0 0
[pid=18816/tid=18818] ppid=18814 vsize=6050676 CPUtime=26.97 cores=0-31
/proc/18816/task/18818/stat : 18818 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 37368 0 0 0 2525 172 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604494088568288 0 0 -1 20 0 0 0
[pid=18816/tid=18819] ppid=18814 vsize=6050676 CPUtime=27.4 cores=0-31
/proc/18816/task/18819/stat : 18819 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 36367 0 0 0 2551 189 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604506559454688 0 0 -1 27 0 0 0
[pid=18816/tid=18820] ppid=18814 vsize=6050676 CPUtime=26.88 cores=0-31
/proc/18816/task/18820/stat : 18820 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 39311 0 0 0 2508 180 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466713 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18816/tid=18821] ppid=18814 vsize=6050676 CPUtime=27.48 cores=0-31
/proc/18816/task/18821/stat : 18821 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 39487 0 0 0 2576 172 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18816/tid=18822] ppid=18814 vsize=6050676 CPUtime=27.72 cores=0-31
/proc/18816/task/18822/stat : 18822 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 37042 0 0 0 2589 183 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 4456125 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18816/tid=18823] ppid=18814 vsize=6050676 CPUtime=26.82 cores=0-31
/proc/18816/task/18823/stat : 18823 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34816 0 0 0 2533 149 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604506149699040 0 0 -1 15 0 0 0
[pid=18816/tid=18824] ppid=18814 vsize=6050676 CPUtime=27.58 cores=0-31
/proc/18816/task/18824/stat : 18824 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 36729 0 0 0 2578 180 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604452116282848 0 0 -1 30 0 0 0
[pid=18816/tid=18825] ppid=18814 vsize=6050676 CPUtime=27.4 cores=0-31
/proc/18816/task/18825/stat : 18825 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 38487 0 0 0 2553 187 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604479869418976 0 0 -1 11 0 0 0
[pid=18816/tid=18826] ppid=18814 vsize=6050676 CPUtime=27.25 cores=0-31
/proc/18816/task/18826/stat : 18826 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 37119 0 0 0 2553 172 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604453195455968 0 0 -1 30 0 0 0
[pid=18816/tid=18827] ppid=18814 vsize=6050676 CPUtime=27.65 cores=0-31
/proc/18816/task/18827/stat : 18827 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 34858 0 0 0 2598 167 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18816/tid=18828] ppid=18814 vsize=6050676 CPUtime=27.85 cores=0-31
/proc/18816/task/18828/stat : 18828 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 37058 0 0 0 2611 174 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466717 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18816/tid=18829] ppid=18814 vsize=6050676 CPUtime=27.25 cores=0-31
/proc/18816/task/18829/stat : 18829 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 30629 0 0 0 2545 180 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604452787551712 0 0 -1 22 0 0 0
[pid=18816/tid=18830] ppid=18814 vsize=6050676 CPUtime=24.93 cores=0-31
/proc/18816/task/18830/stat : 18830 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 41653 0 0 0 2357 136 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604500167572960 0 0 -1 19 0 0 0
[pid=18816/tid=18831] ppid=18814 vsize=6050676 CPUtime=26.77 cores=0-31
/proc/18816/task/18831/stat : 18831 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 35331 0 0 0 2508 169 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604480989453792 0 0 -1 23 0 0 0
[pid=18816/tid=18832] ppid=18814 vsize=6050676 CPUtime=26.47 cores=0-31
/proc/18816/task/18832/stat : 18832 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 36242 0 0 0 2505 142 0 0 17 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604512051248608 0 0 -1 26 0 0 0
[pid=18816/tid=18833] ppid=18814 vsize=6050676 CPUtime=27.16 cores=0-31
/proc/18816/task/18833/stat : 18833 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 37952 0 0 0 2540 176 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604506554801632 0 0 -1 16 0 0 0
[pid=18816/tid=18834] ppid=18814 vsize=6050676 CPUtime=26.41 cores=0-31
/proc/18816/task/18834/stat : 18834 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34842 0 0 0 2473 168 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604499085147616 0 0 -1 24 0 0 0
[pid=18816/tid=18835] ppid=18814 vsize=6050676 CPUtime=26.87 cores=0-31
/proc/18816/task/18835/stat : 18835 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 33192 0 0 0 2526 161 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604478121205216 0 0 -1 4 0 0 0
[pid=18816/tid=18836] ppid=18814 vsize=6050676 CPUtime=26.23 cores=0-31
/proc/18816/task/18836/stat : 18836 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 35047 0 0 0 2459 164 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604454438026720 0 0 -1 8 0 0 0
[pid=18816/tid=18837] ppid=18814 vsize=6050676 CPUtime=25.41 cores=0-31
/proc/18816/task/18837/stat : 18837 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 39375 0 0 0 2402 139 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604459728526816 0 0 -1 14 0 0 0
[pid=18816/tid=18838] ppid=18814 vsize=6050676 CPUtime=27.08 cores=0-31
/proc/18816/task/18838/stat : 18838 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 35140 0 0 0 2545 163 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604457687260640 0 0 -1 7 0 0 0
[pid=18816/tid=18839] ppid=18814 vsize=6050676 CPUtime=27.29 cores=0-31
/proc/18816/task/18839/stat : 18839 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 38276 0 0 0 2554 175 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604491626585568 0 0 -1 18 0 0 0
[pid=18816/tid=18840] ppid=18814 vsize=6050676 CPUtime=26.87 cores=0-31
/proc/18816/task/18840/stat : 18840 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 36092 0 0 0 2529 158 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604485789089248 0 0 -1 27 0 0 0
[pid=18816/tid=18841] ppid=18814 vsize=6050676 CPUtime=27.62 cores=0-31
/proc/18816/task/18841/stat : 18841 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 36684 0 0 0 2580 182 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466707 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18816/tid=18842] ppid=18814 vsize=6050676 CPUtime=24.73 cores=0-31
/proc/18816/task/18842/stat : 18842 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 40054 0 0 0 2340 133 0 0 17 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446744071566932224 0 0 -1 22 0 0 0
[pid=18816/tid=18843] ppid=18814 vsize=6050676 CPUtime=27.03 cores=0-31
/proc/18816/task/18843/stat : 18843 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34092 0 0 0 2521 182 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604504913427936 0 0 -1 3 0 0 0
[pid=18816/tid=18844] ppid=18814 vsize=6050676 CPUtime=27.77 cores=0-31
/proc/18816/task/18844/stat : 18844 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 37687 0 0 0 2596 181 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466704 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18816/tid=18845] ppid=18814 vsize=6050676 CPUtime=27.53 cores=0-31
/proc/18816/task/18845/stat : 18845 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 40556 0 0 0 2568 185 0 0 16 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 4289512 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18816/tid=18846] ppid=18814 vsize=6050676 CPUtime=25.96 cores=0-31
/proc/18816/task/18846/stat : 18846 (strangenight2-m) S 18814 18816 18554 0 -1 4202560 34874 0 0 0 2458 138 0 0 17 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060466740 0 0 4096 2 18446604449008713184 0 0 -1 19 0 0 0
[pid=18816/tid=18847] ppid=18814 vsize=6050676 CPUtime=29.06 cores=0-31
/proc/18816/task/18847/stat : 18847 (strangenight2-m) R 18814 18816 18554 0 -1 4202560 22631 0 0 0 2792 114 0 0 25 0 32 0 3811574 6195892224 958227 268435456000 4194304 4580107 140733491786960 18446744073709551615 47392060442308 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 863.15
Current children cumulated vsize (KiB) 6050676

[startup+31.9191 s]
/proc/loadavg: 28.24 28.90 30.47 2/415 18857
/proc/meminfo: memFree=260697000/264257624 swapFree=67044744/67111528
[pid=18816] ppid=18814 vsize=0 CPUtime=864.86 cores=0-31
/proc/18816/stat : 18816 (strangenight2-m) Z 18814 18816 18554 0 -1 4203548 1167903 0 0 0 81158 5328 0 0 15 0 2 0 3811573 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/18816/statm: 0 0 0 0 0 0 0
[pid=18816/tid=18841] ppid=18814 vsize=0 CPUtime=27.85 cores=0-31
/proc/18816/task/18841/stat : 18841 (strangenight2-m) R 18814 18816 18554 0 -1 4203588 36684 0 0 0 2585 200 0 0 16 0 2 0 3811574 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 864.86
Current children cumulated vsize (KiB) 0

[startup+32.0011 s]
/proc/loadavg: 28.24 28.90 30.47 2/415 18857
/proc/meminfo: memFree=260697000/264257624 swapFree=67044744/67111528
[pid=18816] ppid=18814 vsize=0 CPUtime=864.94 cores=0-31
/proc/18816/stat : 18816 (strangenight2-m) Z 18814 18816 18554 0 -1 4203548 1167903 0 0 0 81158 5336 0 0 15 0 2 0 3811573 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/18816/statm: 0 0 0 0 0 0 0
[pid=18816/tid=18841] ppid=18814 vsize=0 CPUtime=27.93 cores=0-31
/proc/18816/task/18841/stat : 18841 (strangenight2-m) R 18814 18816 18554 0 -1 4203588 36684 0 0 0 2585 208 0 0 16 0 2 0 3811574 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 864.94
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 32.0396
CPU time (s): 864.992
CPU user time (s): 811.587
CPU system time (s): 53.4059
CPU usage (%): 2699.76
Max. virtual memory (cumulated for all children) (KiB): 6050676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 811.587
system time used= 53.4059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1167903
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= 1610776
involuntary context switches= 16656

runsolver used 0.218966 second user time and 0.843871 second system time

The end

Launcher Data

Begin job on node200 at 2011-05-30 20:00:56
IDJOB=3400782
IDBENCH=82479
IDSOLVER=1886
FILE ID=node200/3400782-1306778455
RUNJOBID= node200-1306778310-18568
PBS_JOBID= 13471869
Free space on /tmp= 61572 MiB

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

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

MD5SUM BENCH= 78f66492ac42d4b6896175e486263134
RANDOM SEED=135189398

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263713160 kB
Buffers:         47740 kB
Cached:         299360 kB
SwapCached:      29732 kB
Active:         123584 kB
Inactive:       255812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263713160 kB
SwapTotal:    67111528 kB
SwapFree:     67044744 kB
Dirty:           13360 kB
Writeback:           0 kB
AnonPages:       28188 kB
Mapped:           8376 kB
Slab:            59588 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   173916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61568 MiB
End job on node200 at 2011-05-30 20:01:28