Trace number 3400910

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 1013.65 40.4296

General information on the benchmark

NameSAT-Race-2010-CNF/software-verification/
nec/hard-25-U-7061.cnf
MD5SUM23c04ef615431bf15ef9eafe9b944fb8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.91225
Satisfiable
(Un)Satisfiability was proved
Number of variables541150
Number of clauses1645836
Sum of the clauses size4001876
Maximum clause length1576
Minimum clause length1
Number of clauses of size 1141
Number of clauses of size 21092306
Number of clauses of size 3543262
Number of clauses of size 44256
Number of clauses of size 51339
Number of clauses of size over 54532

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
1.11/0.05	c This is CryptoMiniSat 3.0.0
1.11/0.05	c WARNING: for repeatability, setting FPU to use double precision
1.11/0.05	c Reading file 'HOME/instance-3400910-1307136589.cnf'
1.11/0.09	c -- header says num vars:         541150
1.11/0.09	c -- header says num clauses:     1645836
247.96/14.57	c -- clauses added:            0 learnts,      1645836 normals,            0 xors
247.96/14.57	c -- vars added     541150
247.96/14.57	c Parsing time:  2.37 s
247.96/14.57	c  N st     0         0    541150    516091   1060199         0   3795582         0   no data   no data
327.62/17.04	c asymm  cl-useful: 40/42/493556 lits-rem:2562 time: 2.42
1012.89/39.85	c Following stats are for *FIRST FINISHED THREAD ONLY*
1012.89/39.85	c num threads              : 32         
1012.89/39.85	c restarts                 : 1          
1012.89/39.85	c dynamic restarts         : 0          
1012.89/39.85	c static restarts          : 1          
1012.89/39.85	c full restarts            : 0          
1012.89/39.85	c total simplify time      : 0.93       
1012.89/39.85	c learnts DL2              : 0          
1012.89/39.85	c learnts size 2           : 1070288    
1012.89/39.85	c learnts size 1           : 34247       (6.33      % of vars)
1012.89/39.85	c filedLit time            : 0.00        (0.00      % time)
1012.89/39.85	c v-elim SatELite          : 0           (0.00      % vars)
1012.89/39.85	c SatELite time            : 0.00        (0.00      % time)
1012.89/39.85	c v-elim xor               : 0           (0.00      % vars)
1012.89/39.85	c xor elim time            : 0.00        (0.00      % time)
1012.89/39.85	c num binary xor trees     : 8005       
1012.89/39.85	c binxor trees' crown      : 20081       (2.51      leafs/tree)
1012.89/39.85	c bin xor find time        : 0.38       
1012.89/39.85	c OTF clause improved      : 0           (0.00      clauses/conflict)
1012.89/39.85	c OTF impr. size diff      : 0           (nan        lits/clause)
1012.89/39.85	c OTF cl watch-shrink      : 2           (0.05      clauses/conflict)
1012.89/39.85	c OTF cl watch-sh-lit      : 3           (1.50       lits/clause)
1012.89/39.85	c tried to recurMin cls    : 14          (35.00      % of conflicts)
1012.89/39.85	c updated cache            : 28          (2.00       lits/tried recurMin)
1012.89/39.85	c unit cls recevied        : 0           (0.00      % of units)
1012.89/39.85	c unit cls sent            : 0           (0.00      % of units)
1012.89/39.85	c bin cls recevied         : 0          
1012.89/39.85	c bin cls sent             : 0          
1012.89/39.85	c clauses over max glue    : 0           (0.00      % of all clauses)
1012.89/39.85	c conflicts                : 40          (1.44      / sec)
1012.89/39.85	c decisions                : 394         (0.51      % random)
1012.89/39.85	c bogo-props               : 5115694     (183735.12 / sec)
1012.89/39.85	c conflict literals        : 403         (6.71      % deleted)
1012.89/39.85	c Memory used              : 10659.72    MB
1012.89/39.85	c single-thread CPU time   : 27.84       s
1012.89/39.85	c all-threads sum CPU time : 852.51      s
1012.89/39.85	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 23.35 19.97 20.53 1/413 17962
/proc/meminfo: memFree=262705068/264257624 swapFree=67054988/67111528
[pid=17962] ppid=17960 vsize=338000 CPUtime=0.82 cores=0-31
/proc/17962/stat : 17962 (strangenight2-m) R 17960 17962 17812 0 -1 4202496 467 0 0 0 82 0 0 0 25 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689815 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17962/statm: 84500 406 300 95 0 79482 0
[pid=17962/tid=17963] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17962/tid=17964] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17964/stat : 17964 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694690226 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=338000 CPUtime=0 cores=0-31
/proc/17962/task/17965/stat : 17965 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=338000 CPUtime=0 cores=0-31
/proc/17962/task/17966/stat : 17966 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17967/stat : 17967 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689821 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17968/stat : 17968 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17969/stat : 17969 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 19571422 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17970/stat : 17970 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17971/stat : 17971 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17972/stat : 17972 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17973/stat : 17973 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17974/stat : 17974 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17975/stat : 17975 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17976/stat : 17976 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17977/stat : 17977 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17978/stat : 17978 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17979/stat : 17979 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689821 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17980/stat : 17980 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17981/stat : 17981 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17962/tid=17982] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17982/stat : 17982 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17962/tid=17983] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17983/stat : 17983 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17962/tid=17984] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17984/stat : 17984 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17962/tid=17985] ppid=17960 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17962/task/17985/stat : 17985 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17962/tid=17986] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17986/stat : 17986 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17962/tid=17987] ppid=17960 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17962/task/17987/stat : 17987 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17962/tid=17988] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17988/stat : 17988 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17962/tid=17989] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17989/stat : 17989 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17962/tid=17990] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17990/stat : 17990 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689821 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17962/tid=17991] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17991/stat : 17991 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17962/tid=17992] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17992/stat : 17992 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17962/tid=17993] ppid=17960 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17962/task/17993/stat : 17993 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 19571423 346112000 406 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 23 0 0 0

[startup+0.0479681 s]
/proc/loadavg: 23.35 19.97 20.53 1/413 17962
/proc/meminfo: memFree=262705068/264257624 swapFree=67054988/67111528
[pid=17962] ppid=17960 vsize=796960 CPUtime=1.11 cores=0-31
/proc/17962/stat : 17962 (strangenight2-m) S 17960 17962 17812 0 -1 4202496 1322 0 0 0 104 7 0 0 25 0 32 0 19571422 816087040 1181 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17962/statm: 199240 1182 315 95 0 194222 0
[pid=17962/tid=17963] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 53 0 0 0 3 0 0 0 18 0 32 0 19571422 816087040 1183 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17962/tid=17964] ppid=17960 vsize=796960 CPUtime=0.02 cores=0-31
/proc/17962/task/17964/stat : 17964 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 5 0 0 0 2 0 0 0 24 0 32 0 19571422 816087040 1189 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446604447857483232 0 0 -1 28 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=796960 CPUtime=0.01 cores=0-31
/proc/17962/task/17965/stat : 17965 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 100 0 0 0 1 0 0 0 18 0 32 0 19571422 816087040 1189 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=796960 CPUtime=0.01 cores=0-31
/proc/17962/task/17966/stat : 17966 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 45 0 0 0 1 0 0 0 18 0 32 0 19571422 816087040 1189 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17967/stat : 17967 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 8 0 0 0 3 0 0 0 24 0 32 0 19571422 816087040 1189 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17968/stat : 17968 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 5 0 0 0 3 0 0 0 24 0 32 0 19571422 816087040 1189 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446604464764173792 0 0 -1 8 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17969/stat : 17969 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 100 0 0 0 3 0 0 0 18 0 32 0 19571422 816087040 1189 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17970/stat : 17970 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 47 0 0 0 3 0 0 0 18 0 32 0 19571423 816087040 1190 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17971/stat : 17971 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 19571423 816087040 1190 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446604500052499936 0 0 -1 5 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17972/stat : 17972 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 19571423 816087040 1196 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17973/stat : 17973 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 25 0 0 0 3 0 0 0 18 0 32 0 19571423 816087040 1197 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17974/stat : 17974 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 48 0 0 0 3 0 0 0 18 0 32 0 19571423 816087040 1198 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17975/stat : 17975 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 19571423 816087040 1203 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=796960 CPUtime=0.03 cores=0-31
/proc/17962/task/17976/stat : 17976 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 38 0 0 0 3 0 0 0 18 0 32 0 19571423 816087040 1203 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17977/stat : 17977 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 9 0 0 0 3 0 0 0 25 0 32 0 19571423 748978176 1214 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17978/stat : 17978 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 7 0 0 0 3 0 0 0 25 0 32 0 19571423 748978176 1219 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17979/stat : 17979 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 27 0 0 0 3 0 0 0 18 0 32 0 19571423 748978176 1225 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17980/stat : 17980 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 28 0 0 0 3 0 0 0 18 0 32 0 19571423 748978176 1229 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17981/stat : 17981 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 8 0 0 0 3 0 0 0 25 0 32 0 19571423 748978176 1229 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17962/tid=17982] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17982/stat : 17982 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 19571423 748978176 1229 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446604539122417120 0 0 -1 15 0 0 0
[pid=17962/tid=17983] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17983/stat : 17983 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 19571423 748978176 1229 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 21 0 0 0
[pid=17962/tid=17984] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17984/stat : 17984 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 50 0 0 0 3 0 0 0 18 0 32 0 19571423 748978176 1229 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17962/tid=17985] ppid=17960 vsize=731424 CPUtime=0.03 cores=0-31
/proc/17962/task/17985/stat : 17985 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 58 0 0 0 3 0 0 0 18 0 32 0 19571423 748978176 1229 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17962/tid=17986] ppid=17960 vsize=731424 CPUtime=0.02 cores=0-31
/proc/17962/task/17986/stat : 17986 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 8 0 0 0 2 0 0 0 25 0 32 0 19571423 748978176 1231 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17962/tid=17987] ppid=17960 vsize=731424 CPUtime=0.01 cores=0-31
/proc/17962/task/17987/stat : 17987 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 22 0 0 0 1 0 0 0 18 0 32 0 19571423 748978176 1233 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17962/tid=17988] ppid=17960 vsize=731428 CPUtime=0.02 cores=0-31
/proc/17962/task/17988/stat : 17988 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 19571423 748982272 1233 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446604478292401632 0 0 -1 27 0 0 0
[pid=17962/tid=17989] ppid=17960 vsize=731428 CPUtime=0.03 cores=0-31
/proc/17962/task/17989/stat : 17989 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 102 0 0 0 3 0 0 0 18 0 32 0 19571423 748982272 1233 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17962/tid=17990] ppid=17960 vsize=731432 CPUtime=0.03 cores=0-31
/proc/17962/task/17990/stat : 17990 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 27 0 0 0 3 0 0 0 18 0 32 0 19571423 748986368 1237 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17962/tid=17991] ppid=17960 vsize=731432 CPUtime=0.03 cores=0-31
/proc/17962/task/17991/stat : 17991 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 28 0 0 0 3 0 0 0 18 0 32 0 19571423 748986368 1247 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17962/tid=17992] ppid=17960 vsize=731436 CPUtime=0.03 cores=0-31
/proc/17962/task/17992/stat : 17992 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 3 0 0 0 3 0 0 0 18 0 32 0 19571423 748990464 1247 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650601881 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17962/tid=17993] ppid=17960 vsize=731436 CPUtime=0.03 cores=0-31
/proc/17962/task/17993/stat : 17993 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 30 0 0 0 3 0 0 0 18 0 32 0 19571423 748990464 1256 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 796960

[startup+0.102921 s]
/proc/loadavg: 23.35 19.97 20.53 1/413 17962
/proc/meminfo: memFree=262705068/264257624 swapFree=67054988/67111528
[pid=17962] ppid=17960 vsize=1128572 CPUtime=1.98 cores=0-31
/proc/17962/stat : 17962 (strangenight2-m) S 17960 17962 17812 0 -1 4202496 11254 0 0 0 108 90 0 0 18 0 32 0 19571422 1155657728 11110 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/17962/statm: 282143 11131 333 95 0 277125 0
[pid=17962/tid=17963] ppid=17960 vsize=1128572 CPUtime=0.06 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 376 0 0 0 3 3 0 0 17 0 32 0 19571422 1155657728 11136 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17962/tid=17964] ppid=17960 vsize=1128572 CPUtime=0.04 cores=0-31
/proc/17962/task/17964/stat : 17964 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 301 0 0 0 2 2 0 0 17 0 32 0 19571422 1155657728 11142 268435456000 4194304 4580107 140735382439424 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=1128704 CPUtime=0.03 cores=0-31
/proc/17962/task/17965/stat : 17965 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 455 0 0 0 1 2 0 0 17 0 32 0 19571422 1155792896 11147 268435456000 4194304 4580107 140735382439424 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=1128704 CPUtime=0.03 cores=0-31
/proc/17962/task/17966/stat : 17966 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 350 0 0 0 1 2 0 0 17 0 32 0 19571422 1155792896 11150 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446744071566931464 0 0 -1 30 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=1128704 CPUtime=0.05 cores=0-31
/proc/17962/task/17967/stat : 17967 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 19571422 1155792896 11161 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446604467022454240 0 0 -1 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=1128704 CPUtime=0.05 cores=0-31
/proc/17962/task/17968/stat : 17968 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 343 0 0 0 3 2 0 0 17 0 32 0 19571422 1155792896 11184 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=1128704 CPUtime=0.05 cores=0-31
/proc/17962/task/17969/stat : 17969 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 451 0 0 0 3 2 0 0 17 0 32 0 19571422 1155792896 11188 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=1128704 CPUtime=0.06 cores=0-31
/proc/17962/task/17970/stat : 17970 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 371 0 0 0 3 3 0 0 17 0 32 0 19571423 1155792896 11190 268435456000 4194304 4580107 140735382439424 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=1128704 CPUtime=0.05 cores=0-31
/proc/17962/task/17971/stat : 17971 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 314 0 0 0 3 2 0 0 17 0 32 0 19571423 1155792896 11198 268435456000 4194304 4580107 140735382439424 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=1128704 CPUtime=0.05 cores=0-31
/proc/17962/task/17972/stat : 17972 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 19571423 1155792896 11202 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 6 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=1128704 CPUtime=0.05 cores=0-31
/proc/17962/task/17973/stat : 17973 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 414 0 0 0 3 2 0 0 17 0 32 0 19571423 1155792896 11216 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=1128704 CPUtime=0.06 cores=0-31
/proc/17962/task/17974/stat : 17974 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 269 0 0 0 3 3 0 0 17 0 32 0 19571423 1155792896 11257 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446604495931481568 0 0 -1 9 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=1128704 CPUtime=0.05 cores=0-31
/proc/17962/task/17975/stat : 17975 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 329 0 0 0 3 2 0 0 17 0 32 0 19571423 1155792896 11257 268435456000 4194304 4580107 140735382439424 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=1128836 CPUtime=0.05 cores=0-31
/proc/17962/task/17976/stat : 17976 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 414 0 0 0 3 2 0 0 17 0 32 0 19571423 1155928064 11264 268435456000 4194304 4580107 140735382439424 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=1128836 CPUtime=0.06 cores=0-31
/proc/17962/task/17977/stat : 17977 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 348 0 0 0 3 3 0 0 25 0 32 0 19571423 1155928064 11272 268435456000 4194304 4580107 140735382439424 18446744073709551615 258651060958 0 0 4096 2 18446744071566925784 0 0 -1 13 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=1128836 CPUtime=0.05 cores=0-31
/proc/17962/task/17978/stat : 17978 (strangenight2-m) D 17960 17962 17812 0 -1 4202560 375 0 0 0 3 2 0 0 25 0 32 0 19571423 1155928064 11277 268435456000 4194304 4580107 140735382439424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=1128836 CPUtime=0.05 cores=0-31

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

/proc/17962/stat : 17962 (strangenight2-m) S 17960 17962 17812 0 -1 4202496 2274026 0 0 0 83615 16055 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/17962/statm: 2728888 1773577 359 95 0 2723870 0
[pid=17962/tid=17963] ppid=17960 vsize=10915552 CPUtime=30.11 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 63497 0 0 0 2544 467 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17962/tid=17964] ppid=17960 vsize=10915552 CPUtime=31.01 cores=0-31
/proc/17962/task/17964/stat : 17964 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 68289 0 0 0 2680 421 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604467022454240 0 0 -1 2 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=10915552 CPUtime=31.67 cores=0-31
/proc/17962/task/17965/stat : 17965 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 71943 0 0 0 2641 526 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=10915552 CPUtime=31.8 cores=0-31
/proc/17962/task/17966/stat : 17966 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 71197 0 0 0 2653 527 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=10915552 CPUtime=31.09 cores=0-31
/proc/17962/task/17967/stat : 17967 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 74452 0 0 0 2608 501 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604447857483232 0 0 -1 27 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=10915552 CPUtime=31.11 cores=0-31
/proc/17962/task/17968/stat : 17968 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 81123 0 0 0 2592 519 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604539122417120 0 0 -1 19 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=10915552 CPUtime=31.12 cores=0-31
/proc/17962/task/17969/stat : 17969 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 69843 0 0 0 2579 533 0 0 25 0 32 0 19571422 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604464764165600 0 0 -1 20 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=10915552 CPUtime=31.2 cores=0-31
/proc/17962/task/17970/stat : 17970 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 71215 0 0 0 2592 528 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604465990278624 0 0 -1 26 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=10915552 CPUtime=31.73 cores=0-31
/proc/17962/task/17971/stat : 17971 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 73502 0 0 0 2652 521 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=10915552 CPUtime=31.94 cores=0-31
/proc/17962/task/17972/stat : 17972 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 77274 0 0 0 2684 510 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293155 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=10915552 CPUtime=31.02 cores=0-31
/proc/17962/task/17973/stat : 17973 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 70164 0 0 0 2612 490 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=10915552 CPUtime=30.06 cores=0-31
/proc/17962/task/17974/stat : 17974 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70009 0 0 0 2538 468 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604465990286816 0 0 -1 21 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=10915552 CPUtime=31.22 cores=0-31
/proc/17962/task/17975/stat : 17975 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 69174 0 0 0 2635 487 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604453126389216 0 0 -1 17 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=10915552 CPUtime=31.25 cores=0-31
/proc/17962/task/17976/stat : 17976 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 63832 0 0 0 2640 485 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=10915552 CPUtime=31.61 cores=0-31
/proc/17962/task/17977/stat : 17977 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70651 0 0 0 2636 525 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604478292401632 0 0 -1 15 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=10915552 CPUtime=29.88 cores=0-31
/proc/17962/task/17978/stat : 17978 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 68963 0 0 0 2458 530 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446744071566933024 0 0 -1 14 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=10915552 CPUtime=31.59 cores=0-31
/proc/17962/task/17979/stat : 17979 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 70841 0 0 0 2621 538 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=10915552 CPUtime=31.75 cores=0-31
/proc/17962/task/17980/stat : 17980 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 72208 0 0 0 2642 533 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=10915552 CPUtime=30.73 cores=0-31
/proc/17962/task/17981/stat : 17981 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70050 0 0 0 2547 526 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604490715823584 0 0 -1 2 0 0 0
[pid=17962/tid=17982] ppid=17960 vsize=10915552 CPUtime=30.77 cores=0-31
/proc/17962/task/17982/stat : 17982 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 76825 0 0 0 2637 440 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17962/tid=17983] ppid=17960 vsize=10915552 CPUtime=30.12 cores=0-31
/proc/17962/task/17983/stat : 17983 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 63186 0 0 0 2571 441 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604447857491424 0 0 -1 9 0 0 0
[pid=17962/tid=17984] ppid=17960 vsize=10915552 CPUtime=31.28 cores=0-31
/proc/17962/task/17984/stat : 17984 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 66906 0 0 0 2639 489 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17962/tid=17985] ppid=17960 vsize=10915552 CPUtime=31.24 cores=0-31
/proc/17962/task/17985/stat : 17985 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 64890 0 0 0 2632 492 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17962/tid=17986] ppid=17960 vsize=10915552 CPUtime=31.55 cores=0-31
/proc/17962/task/17986/stat : 17986 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 69233 0 0 0 2637 518 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17962/tid=17987] ppid=17960 vsize=10915552 CPUtime=31.58 cores=0-31
/proc/17962/task/17987/stat : 17987 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 69007 0 0 0 2638 520 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17962/tid=17988] ppid=17960 vsize=10915552 CPUtime=31.51 cores=0-31
/proc/17962/task/17988/stat : 17988 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 72904 0 0 0 2629 522 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689817 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17962/tid=17989] ppid=17960 vsize=10915552 CPUtime=31.1 cores=0-31
/proc/17962/task/17989/stat : 17989 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 78983 0 0 0 2627 483 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17962/tid=17990] ppid=17960 vsize=10915552 CPUtime=30.87 cores=0-31
/proc/17962/task/17990/stat : 17990 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70145 0 0 0 2582 505 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604504069643744 0 0 -1 6 0 0 0
[pid=17962/tid=17991] ppid=17960 vsize=10915552 CPUtime=30.63 cores=0-31
/proc/17962/task/17991/stat : 17991 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 71112 0 0 0 2579 484 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604500052508128 0 0 -1 5 0 0 0
[pid=17962/tid=17992] ppid=17960 vsize=10915552 CPUtime=31.78 cores=0-31
/proc/17962/task/17992/stat : 17992 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 77742 0 0 0 2652 526 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17962/tid=17993] ppid=17960 vsize=10915552 CPUtime=31.31 cores=0-31
/proc/17962/task/17993/stat : 17993 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 68127 0 0 0 2629 502 0 0 25 0 32 0 19571423 11177525248 1773577 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694665259 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 996.7
Current children cumulated vsize (KiB) 10915552

[startup+39.1014 s]
/proc/loadavg: 25.19 20.71 20.75 17/445 17994
/proc/meminfo: memFree=255603448/264257624 swapFree=67054988/67111528
[pid=17962] ppid=17960 vsize=10915552 CPUtime=1008.08 cores=0-31
/proc/17962/stat : 17962 (strangenight2-m) S 17960 17962 17812 0 -1 4202496 2274107 0 0 0 84753 16055 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/17962/statm: 2728888 1773658 359 95 0 2723870 0
[pid=17962/tid=17963] ppid=17960 vsize=10915552 CPUtime=30.9 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 63497 0 0 0 2623 467 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17962/tid=17964] ppid=17960 vsize=10915552 CPUtime=31.01 cores=0-31
/proc/17962/task/17964/stat : 17964 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 68289 0 0 0 2680 421 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604467022454240 0 0 -1 2 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=10915552 CPUtime=32.11 cores=0-31
/proc/17962/task/17965/stat : 17965 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 71953 0 0 0 2685 526 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604497902829024 0 0 -1 7 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=10915552 CPUtime=32.6 cores=0-31
/proc/17962/task/17966/stat : 17966 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 71206 0 0 0 2733 527 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=10915552 CPUtime=31.09 cores=0-31
/proc/17962/task/17967/stat : 17967 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 74452 0 0 0 2608 501 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604447857483232 0 0 -1 27 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=10915552 CPUtime=31.11 cores=0-31
/proc/17962/task/17968/stat : 17968 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 81123 0 0 0 2592 519 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604539122417120 0 0 -1 19 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=10915552 CPUtime=31.12 cores=0-31
/proc/17962/task/17969/stat : 17969 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 69843 0 0 0 2579 533 0 0 25 0 32 0 19571422 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604464764165600 0 0 -1 20 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=10915552 CPUtime=31.2 cores=0-31
/proc/17962/task/17970/stat : 17970 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 71215 0 0 0 2592 528 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604465990278624 0 0 -1 26 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=10915552 CPUtime=32.53 cores=0-31
/proc/17962/task/17971/stat : 17971 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 73503 0 0 0 2732 521 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=10915552 CPUtime=32.11 cores=0-31
/proc/17962/task/17972/stat : 17972 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 77277 0 0 0 2701 510 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604502119038432 0 0 -1 11 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=10915552 CPUtime=31.81 cores=0-31
/proc/17962/task/17973/stat : 17973 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 70165 0 0 0 2691 490 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=10915552 CPUtime=30.06 cores=0-31
/proc/17962/task/17974/stat : 17974 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70009 0 0 0 2538 468 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604465990286816 0 0 -1 21 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=10915552 CPUtime=31.22 cores=0-31
/proc/17962/task/17975/stat : 17975 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 69174 0 0 0 2635 487 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604453126389216 0 0 -1 17 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=10915552 CPUtime=32.05 cores=0-31
/proc/17962/task/17976/stat : 17976 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 63846 0 0 0 2720 485 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689808 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=10915552 CPUtime=31.61 cores=0-31
/proc/17962/task/17977/stat : 17977 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70651 0 0 0 2636 525 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604478292401632 0 0 -1 15 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=10915552 CPUtime=29.88 cores=0-31
/proc/17962/task/17978/stat : 17978 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 68963 0 0 0 2458 530 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446744071566933024 0 0 -1 14 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=10915552 CPUtime=32.39 cores=0-31
/proc/17962/task/17979/stat : 17979 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 70854 0 0 0 2701 538 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689811 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=10915552 CPUtime=32.55 cores=0-31
/proc/17962/task/17980/stat : 17980 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 72209 0 0 0 2722 533 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=10915552 CPUtime=30.73 cores=0-31
/proc/17962/task/17981/stat : 17981 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70050 0 0 0 2547 526 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604490715823584 0 0 -1 2 0 0 0
[pid=17962/tid=17982] ppid=17960 vsize=10915552 CPUtime=31.56 cores=0-31
/proc/17962/task/17982/stat : 17982 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 76828 0 0 0 2716 440 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17962/tid=17983] ppid=17960 vsize=10915552 CPUtime=30.12 cores=0-31
/proc/17962/task/17983/stat : 17983 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 63186 0 0 0 2571 441 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604447857491424 0 0 -1 9 0 0 0
[pid=17962/tid=17984] ppid=17960 vsize=10915552 CPUtime=31.33 cores=0-31
/proc/17962/task/17984/stat : 17984 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 66906 0 0 0 2644 489 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604462481866208 0 0 -1 18 0 0 0
[pid=17962/tid=17985] ppid=17960 vsize=10915552 CPUtime=32.01 cores=0-31
/proc/17962/task/17985/stat : 17985 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 64904 0 0 0 2709 492 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604478292409824 0 0 -1 13 0 0 0
[pid=17962/tid=17986] ppid=17960 vsize=10915552 CPUtime=31.81 cores=0-31
/proc/17962/task/17986/stat : 17986 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 69240 0 0 0 2663 518 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604502821297632 0 0 -1 19 0 0 0
[pid=17962/tid=17987] ppid=17960 vsize=10915552 CPUtime=32.38 cores=0-31
/proc/17962/task/17987/stat : 17987 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 69008 0 0 0 2718 520 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17962/tid=17988] ppid=17960 vsize=10915552 CPUtime=31.59 cores=0-31
/proc/17962/task/17988/stat : 17988 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 72904 0 0 0 2637 522 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604506419518944 0 0 -1 6 0 0 0
[pid=17962/tid=17989] ppid=17960 vsize=10915552 CPUtime=31.9 cores=0-31
/proc/17962/task/17989/stat : 17989 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 78984 0 0 0 2707 483 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17962/tid=17990] ppid=17960 vsize=10915552 CPUtime=30.87 cores=0-31
/proc/17962/task/17990/stat : 17990 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 70145 0 0 0 2582 505 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604504069643744 0 0 -1 6 0 0 0
[pid=17962/tid=17991] ppid=17960 vsize=10915552 CPUtime=30.63 cores=0-31
/proc/17962/task/17991/stat : 17991 (strangenight2-m) S 17960 17962 17812 0 -1 4202560 71112 0 0 0 2579 484 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694689844 0 0 4096 2 18446604500052508128 0 0 -1 5 0 0 0
[pid=17962/tid=17992] ppid=17960 vsize=10915552 CPUtime=32.58 cores=0-31
/proc/17962/task/17992/stat : 17992 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 77745 0 0 0 2732 526 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17962/tid=17993] ppid=17960 vsize=10915552 CPUtime=32.1 cores=0-31
/proc/17962/task/17993/stat : 17993 (strangenight2-m) R 17960 17962 17812 0 -1 4202560 68127 0 0 0 2708 502 0 0 25 0 32 0 19571423 11177525248 1773658 268435456000 4194304 4580107 140735382439424 18446744073709551615 47399694665259 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1008.08
Current children cumulated vsize (KiB) 10915552

[startup+39.9015 s]
/proc/loadavg: 24.14 20.56 20.70 8/445 17994
/proc/meminfo: memFree=255604084/264257624 swapFree=67054988/67111528
[pid=17962] ppid=17960 vsize=0 CPUtime=1013.11 cores=0-31
/proc/17962/stat : 17962 (strangenight2-m) Z 17960 17962 17812 0 -1 4203548 2274202 0 0 0 85250 16061 0 0 18 0 2 0 19571422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/17962/statm: 0 0 0 0 0 0 0
[pid=17962/tid=17963] ppid=17960 vsize=0 CPUtime=31.7 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) R 17960 17962 17812 0 -1 4203588 63509 0 0 0 2699 471 0 0 25 0 2 0 19571422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1013.11
Current children cumulated vsize (KiB) 0

[startup+40.3005 s]
/proc/loadavg: 24.14 20.56 20.70 8/445 17994
/proc/meminfo: memFree=255604084/264257624 swapFree=67054988/67111528
[pid=17962] ppid=17960 vsize=0 CPUtime=1013.51 cores=0-31
/proc/17962/stat : 17962 (strangenight2-m) Z 17960 17962 17812 0 -1 4203548 2274202 0 0 0 85250 16101 0 0 18 0 2 0 19571422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/17962/statm: 0 0 0 0 0 0 0
[pid=17962/tid=17963] ppid=17960 vsize=0 CPUtime=32.1 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) R 17960 17962 17812 0 -1 4203588 63509 0 0 0 2699 511 0 0 25 0 2 0 19571422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1013.51
Current children cumulated vsize (KiB) 0

[startup+40.4005 s]
/proc/loadavg: 24.14 20.56 20.70 8/445 17994
/proc/meminfo: memFree=255604084/264257624 swapFree=67054988/67111528
[pid=17962] ppid=17960 vsize=0 CPUtime=1013.61 cores=0-31
/proc/17962/stat : 17962 (strangenight2-m) Z 17960 17962 17812 0 -1 4203548 2274202 0 0 0 85250 16111 0 0 18 0 2 0 19571422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/17962/statm: 0 0 0 0 0 0 0
[pid=17962/tid=17963] ppid=17960 vsize=0 CPUtime=32.2 cores=0-31
/proc/17962/task/17963/stat : 17963 (strangenight2-m) R 17960 17962 17812 0 -1 4203588 63509 0 0 0 2699 521 0 0 25 0 2 0 19571422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1013.61
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 40.4296
CPU time (s): 1013.65
CPU user time (s): 852.507
CPU system time (s): 161.138
CPU usage (%): 2507.19
Max. virtual memory (cumulated for all children) (KiB): 10915552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 852.507
system time used= 161.139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2274202
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= 3042770
involuntary context switches= 13776

runsolver used 0.346947 second user time and 1.18482 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-03 23:29:50
IDJOB=3400910
IDBENCH=88185
IDSOLVER=1886
FILE ID=node200/3400910-1307136589
RUNJOBID= node200-1307136333-17826
PBS_JOBID= 13498420
Free space on /tmp= 61712 MiB

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

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

MD5SUM BENCH= 23c04ef615431bf15ef9eafe9b944fb8
RANDOM SEED=773186594

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262705596 kB
Buffers:        140704 kB
Cached:        1213748 kB
SwapCached:       8472 kB
Active:         150120 kB
Inactive:      1222888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262705596 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:           36636 kB
Writeback:           0 kB
AnonPages:       15596 kB
Mapped:           8524 kB
Slab:            92876 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   179832 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= 61708 MiB
End job on node200 at 2011-06-03 23:30:31