Trace number 3400867

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 402.293 15.3677

General information on the benchmark

NameSAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
MD5SUMaed38f764725bc435a811b081bc99da2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark24.5343
Satisfiable
(Un)Satisfiability was proved
Number of variables19473
Number of clauses58308
Sum of the clauses size136028
Maximum clause length3
Minimum clause length1
Number of clauses of size 118
Number of clauses of size 238860
Number of clauses of size 319430
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.02	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-3400867-1307086402.cnf'
1.24/0.08	c -- header says num vars:          19473
1.24/0.08	c -- header says num clauses:       58308
10.39/0.66	c -- clauses added:            0 learnts,        58308 normals,            0 xors
10.39/0.66	c -- vars added      19473
10.39/0.66	c Parsing time:  0.07 s
10.39/0.66	c  N st     0         0     19473     19412     38826         0    135888         0   no data   no data
32.57/1.39	c asymm  cl-useful: 0/19140/19140 lits-rem:0 time: 0.78
103.93/5.86	c Flit:    64 Blit:    256 bXBeca:    0 bXProp:  517 Bins:      0 BRemL:      0 BRemN:      0 P: 12.5M T:  1.93
103.93/5.86	c Cleaning up after failed var search:     0.01 s 
103.93/5.89	c Replacing      517 vars Replaced    21834 lits Time:     0.01 s 
108.20/6.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
108.20/6.03	c bin-w-bin subsume rem           12 bins  time:  0.01 s
108.20/6.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
110.86/6.18	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:  18265 time:  0.12 s
116.89/6.31	c Removed useless bin:      44  fixed:     0  props:   7.04M  time:  0.13 s
126.25/6.66	c lits-rem:         4  cl-subs:        2  v-elim:   6088  v-fix:    0  time:  0.20 s
128.29/6.74	c Finding binary XORs  T:     0.08 s  found:     312
128.29/6.75	c Replacing      312 vars Replaced     2603 lits Time:     0.01 s 
128.29/6.77	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
128.29/6.77	c calculated reachability. Time: 0.02
128.29/6.78	c Calc default polars -  time:   0.00 s pos:     236 undec:    7637 neg:   11600
128.29/6.78	c =========================================================================================
128.29/6.78	c types(t): F = full restart, N = normal restart
128.29/6.78	c types(t): S = simplification begin/end, E = solution found
128.29/6.78	c restart types(rt): st = static, dy = dynamic
128.29/6.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
128.29/6.78	c  B st     0         0     11865     12315     29702         0    102562         0   no data   no data
169.79/8.03	c  N dy    16      4064     11853     12315     29923      3816    102562     65300      5.04      5.38
211.34/9.32	c  N dy    47      8164     11752     12315     32866      5418    102562     74583      5.82      6.26
236.91/10.15	c Finding binary XORs  T:     0.03 s  found:     141
236.91/10.16	c Replacing      141 vars Replaced     4924 lits Time:     0.01 s 
256.10/10.72	c  N dy    70     12204     11611     12061     32259      5223    100639     44946      5.98      6.36
304.03/12.28	c  N dy    98     16348     11508     12061     34319      9316    100639    138667      6.26      6.60
355.19/13.86	c  N dy   127     20493     11363     11579     34498      7680     98030     99033      6.41      6.82
383.95/14.72	c Finding binary XORs  T:     0.03 s  found:     193
383.95/14.73	c Replacing      193 vars Replaced    11736 lits Time:     0.01 s 
399.95/15.27	c Following stats are for *FIRST FINISHED THREAD ONLY*
399.95/15.27	c num threads              : 32         
399.95/15.27	c restarts                 : 157        
399.95/15.27	c dynamic restarts         : 145        
399.95/15.27	c static restarts          : 12         
399.95/15.27	c full restarts            : 1          
399.95/15.27	c total simplify time      : 0.09       
399.95/15.27	c learnts DL2              : 0          
399.95/15.27	c learnts size 2           : 104068     
399.95/15.27	c learnts size 1           : 2832        (14.54     % of vars)
399.95/15.27	c filedLit time            : 1.65        (13.16     % time)
399.95/15.27	c v-elim SatELite          : 6088        (31.26     % vars)
399.95/15.27	c SatELite time            : 0.27        (2.18      % time)
399.95/15.27	c v-elim xor               : 0           (0.00      % vars)
399.95/15.27	c xor elim time            : 0.00        (0.00      % time)
399.95/15.27	c num binary xor trees     : 520        
399.95/15.27	c binxor trees' crown      : 1157        (2.23      leafs/tree)
399.95/15.27	c bin xor find time        : 0.14       
399.95/15.27	c OTF clause improved      : 278         (0.01      clauses/conflict)
399.95/15.27	c OTF impr. size diff      : 324         (1.17       lits/clause)
399.95/15.27	c OTF cl watch-shrink      : 10662       (0.36      clauses/conflict)
399.95/15.27	c OTF cl watch-sh-lit      : 19357       (1.82       lits/clause)
399.95/15.27	c tried to recurMin cls    : 13921       (46.78      % of conflicts)
399.95/15.27	c updated cache            : 0           (0.00       lits/tried recurMin)
399.95/15.27	c unit cls recevied        : 58          (2.05      % of units)
399.95/15.27	c unit cls sent            : 3           (0.11      % of units)
399.95/15.27	c bin cls recevied         : 7024       
399.95/15.27	c bin cls sent             : 547        
399.95/15.27	c clauses over max glue    : 0           (0.00      % of all clauses)
399.95/15.27	c conflicts                : 29760       (2376.22   / sec)
399.95/15.27	c decisions                : 49632       (0.00      % random)
399.95/15.27	c bogo-props               : 241606541   (19291335.76 / sec)
399.95/15.27	c conflict literals        : 593398      (34.68     % deleted)
399.95/15.27	c Memory used              : 3365.87     MB
399.95/15.27	c single-thread CPU time   : 12.52       s
399.95/15.27	c all-threads sum CPU time : 388.61      s
399.95/15.27	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-3400867-1307086402/watcher-3400867-1307086402 -o /tmp/evaluation-result-3400867-1307086402/solver-3400867-1307086402 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400867-1307086402.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: 32.29 32.08 32.00 1/413 13093
/proc/meminfo: memFree=263032456/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=731452 CPUtime=0.54 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) D 13091 13093 13067 0 -1 4202496 1435 0 0 0 47 7 0 0 25 0 32 0 14552585 749006848 1282 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616632 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/13093/statm: 182863 1288 315 95 0 177845 0
[pid=13093/tid=13094] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 9 0 0 0 1 0 0 0 18 0 32 0 14552585 749006848 1295 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 30 0 0 0 1 0 0 0 24 0 32 0 14552585 749006848 1310 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 59 0 0 0 1 0 0 0 18 0 32 0 14552585 749006848 1311 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 62 0 0 0 1 0 0 0 18 0 32 0 14552585 749006848 1317 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 78 0 0 0 1 0 0 0 24 0 32 0 14552586 749006848 1343 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 60 0 0 0 1 0 0 0 18 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 9 0 0 0 1 0 0 0 24 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 40 0 0 0 1 0 0 0 25 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 36 0 0 0 1 0 0 0 18 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 14552586 749010944 1351 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 17 0 0 0 1 0 0 0 25 0 32 0 14552586 749010944 1351 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 19 0 0 0 1 0 0 0 25 0 32 0 14552586 749010944 1357 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 26 0 0 0 1 0 0 0 18 0 32 0 14552586 749010944 1357 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 19 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1371 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 26 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1384 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 19 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1412 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 25 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1413 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 66 0 0 0 1 0 0 0 18 0 32 0 14552586 749015040 1413 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=731464 CPUtime=0.01 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 9 0 0 0 1 0 0 0 25 0 32 0 14552586 749019136 1430 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=731464 CPUtime=0.01 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 111 0 0 0 1 0 0 0 18 0 32 0 14552586 749019136 1442 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=731468 CPUtime=0.01 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 84 0 0 0 1 0 0 0 18 0 32 0 14552586 749023232 1458 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=731468 CPUtime=0 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 32 0 14552586 749023232 1512 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=731468 CPUtime=0 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 28 0 0 0 0 0 0 0 18 0 32 0 14552586 749023232 1513 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=731468 CPUtime=0 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 32 0 14552586 749023232 1513 268435456000 4194304 4580107 140736102904880 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=731472 CPUtime=0 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 31 0 0 0 0 0 0 0 18 0 32 0 14552586 749027328 1536 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 50 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1590 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 38 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1660 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 30 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1737 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 24 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1797 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=731472 CPUtime=0 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 32 0 14552586 749027328 1887 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.079467 s]
/proc/loadavg: 32.29 32.08 32.00 1/413 13093
/proc/meminfo: memFree=263032456/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=1127544 CPUtime=1.24 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 9692 0 0 0 49 75 0 0 25 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/13093/statm: 281886 9539 332 95 0 276868 0
[pid=13093/tid=13094] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 301 0 0 0 1 2 0 0 17 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 236 0 0 0 1 2 0 0 17 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566930824 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 348 0 0 0 1 2 0 0 18 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 349 0 0 0 1 2 0 0 18 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604487969873376 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 332 0 0 0 1 2 0 0 18 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 303 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 240 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604465193672160 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=1127544 CPUtime=0.02 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 263 0 0 0 1 1 0 0 25 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604500828274144 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 271 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 273 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 237 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566933824 0 0 -1 7 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 258 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 338 0 0 0 1 2 0 0 18 0 32 0 14552586 1154740224 9546 268435456000 4194304 4580107 140736102904880 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 341 0 0 0 1 2 0 0 18 0 32 0 14552586 1154740224 9551 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 294 0 0 0 1 2 0 0 25 0 32 0 14552586 1154740224 9560 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 241 0 0 0 1 2 0 0 17 0 32 0 14552586 1154740224 9565 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566927624 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 257 0 0 0 1 2 0 0 25 0 32 0 14552586 1154740224 9570 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 19 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 358 0 0 0 1 2 0 0 18 0 32 0 14552586 1154740224 9577 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=1127676 CPUtime=0.02 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 247 0 0 0 1 1 0 0 25 0 32 0 14552586 1154740224 9602 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 372 0 0 0 1 2 0 0 17 0 32 0 14552586 1154740224 9612 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604641101692384 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 364 0 0 0 1 2 0 0 17 0 32 0 14552586 1154740224 9620 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=1127808 CPUtime=0.02 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 297 0 0 0 0 2 0 0 17 0 32 0 14552586 1154875392 9626 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566931664 0 0 -1 23 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=1127808 CPUtime=0.02 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 331 0 0 0 0 2 0 0 18 0 32 0 14552586 1154875392 9640 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=1127808 CPUtime=0.01 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 253 0 0 0 0 1 0 0 17 0 32 0 14552586 1154875392 9640 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=1127808 CPUtime=0.02 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 329 0 0 0 0 2 0 0 17 0 32 0 14552586 1154875392 9648 268435456000 4194304 4580107 140736102904880 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 354 0 0 0 1 2 0 0 18 0 32 0 14552586 1154875392 9653 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 235 0 0 0 1 2 0 0 17 0 32 0 14552586 1154875392 9653 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 252 0 0 0 1 2 0 0 17 0 32 0 14552586 1154875392 9669 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604446897774048 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 356 0 0 0 1 2 0 0 18 0 32 0 14552586 1154875392 9672 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=1127808 CPUtime=0.01 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 236 0 0 0 0 1 0 0 17 0 32 0 14552586 1154875392 9677 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566928504 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 1127544

[startup+0.103516 s]
/proc/loadavg: 32.29 32.08 32.00 1/413 13093
/proc/meminfo: memFree=263032456/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=1132020 CPUtime=1.46 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 13185 0 0 0 51 95 0 0 18 0 32 0 14552585 1159188480 12633 268435456000 4194304 4580107 140736102904880 18446744073709551615 4308164 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13093/statm: 283005 12645 333 95 0 277987 0
[pid=13093/tid=13094] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 448 0 0 0 1 2 0 0 17 0 32 0 14552585 1159188480 12648 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 237 0 0 0 1 2 0 0 17 0 32 0 14552585 1159188480 12654 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604495267880416 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 529 0 0 0 1 3 0 0 18 0 32 0 14552585 1159188480 12672 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 503 0 0 0 1 3 0 0 17 0 32 0 14552585 1159188480 12674 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 473 0 0 0 1 3 0 0 17 0 32 0 14552586 1159188480 12678 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 395 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12689 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 1744896 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 274 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12693 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604484312653280 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 339 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12708 268435456000 4194304 4580107 140736102904880 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12708 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566923944 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 349 0 0 0 1 3 0 0 17 0 32 0 14552586 1159188480 12713 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604643931913696 0 0 -1 3 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 383 0 0 0 1 3 0 0 17 0 32 0 14552586 1159188480 12728 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604502619274720 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12743 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566933824 0 0 -1 7 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 365 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12710 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=1131888 CPUtime=0.04 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 528 0 0 0 1 3 0 0 18 0 32 0 14552586 1159053312 12722 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=1131888 CPUtime=0.05 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 571 0 0 0 2 3 0 0 18 0 32 0 14552586 1159053312 12744 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=1131888 CPUtime=0.03 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 403 0 0 0 1 2 0 0 17 0 32 0 14552586 1159053312 12744 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=1131888 CPUtime=0.03 cores=0-31

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

/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11084 0 0 0 949 38 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=3437732 CPUtime=9.79 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10949 0 0 0 939 40 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=3437732 CPUtime=10.34 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11171 0 0 0 995 39 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=3437732 CPUtime=9.77 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10581 0 0 0 934 43 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=3437732 CPUtime=9.84 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10257 0 0 0 944 40 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=3437732 CPUtime=10.27 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10923 0 0 0 990 37 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=3437732 CPUtime=11.26 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 4818 0 0 0 1099 27 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 320.03
Current children cumulated vsize (KiB) 3437732

Solver just ended. Dumping a history of the last processes samples

[startup+14.322 s]
/proc/loadavg: 32.29 32.09 32.01 33/445 13125
/proc/meminfo: memFree=261817236/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=3437732 CPUtime=371.8 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 343357 0 0 0 35823 1357 0 0 25 0 32 0 14552585 3520237568 306207 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294302 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/13093/statm: 859433 306207 377 95 0 854415 0
[pid=13093/tid=13094] ppid=13091 vsize=3437732 CPUtime=11.69 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10769 0 0 0 1134 35 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=3437732 CPUtime=11.49 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10521 0 0 0 1109 40 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10814 0 0 0 1102 49 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11196 0 0 0 1108 43 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=3437732 CPUtime=11.64 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10703 0 0 0 1127 37 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=3437732 CPUtime=11.42 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11131 0 0 0 1098 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=3437732 CPUtime=11.61 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10730 0 0 0 1119 42 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10811 0 0 0 1107 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=3437732 CPUtime=11.45 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10229 0 0 0 1104 41 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=3437732 CPUtime=11.49 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11378 0 0 0 1102 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=3437732 CPUtime=11.47 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11173 0 0 0 1100 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650980487 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=3437732 CPUtime=11.36 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10167 0 0 0 1097 39 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4497290 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=3437732 CPUtime=11.55 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10632 0 0 0 1110 45 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=3437732 CPUtime=11.92 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11358 0 0 0 1157 35 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=3437732 CPUtime=12 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11317 0 0 0 1162 38 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10902 0 0 0 1102 49 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=3437732 CPUtime=11.43 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10939 0 0 0 1096 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294322 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=3437732 CPUtime=11.41 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11204 0 0 0 1094 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=3437732 CPUtime=11.9 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10942 0 0 0 1151 39 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=3437732 CPUtime=11.6 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10971 0 0 0 1118 42 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=3437732 CPUtime=11.44 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10591 0 0 0 1100 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=3437732 CPUtime=11.61 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10901 0 0 0 1113 48 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=3437732 CPUtime=11.46 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10871 0 0 0 1102 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=3437732 CPUtime=11.68 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10644 0 0 0 1124 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=3437732 CPUtime=11.49 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11185 0 0 0 1111 38 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=3437732 CPUtime=11.35 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11171 0 0 0 1095 40 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=3437732 CPUtime=11.96 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11375 0 0 0 1157 39 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=3437732 CPUtime=11.39 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10591 0 0 0 1096 43 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=3437732 CPUtime=11.46 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10371 0 0 0 1106 40 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=3437732 CPUtime=11.89 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11085 0 0 0 1152 37 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=3437732 CPUtime=12.88 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 4985 0 0 0 1261 27 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 371.8
Current children cumulated vsize (KiB) 3437732

[startup+15.102 s]
/proc/loadavg: 32.29 32.09 32.01 33/445 13125
/proc/meminfo: memFree=261817236/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=3446648 CPUtime=396.75 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 345973 0 0 0 38317 1358 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/13093/statm: 861662 308145 377 95 0 856644 0
[pid=13093/tid=13094] ppid=13091 vsize=3446648 CPUtime=12.48 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11028 0 0 0 1212 36 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=3446648 CPUtime=12.27 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10568 0 0 0 1187 40 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10880 0 0 0 1180 49 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11258 0 0 0 1186 43 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293248 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=3446648 CPUtime=12.42 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10804 0 0 0 1205 37 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=3446648 CPUtime=12.2 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11177 0 0 0 1176 44 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=3446648 CPUtime=12.39 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10825 0 0 0 1197 42 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4223027 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10854 0 0 0 1185 44 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=3446648 CPUtime=12.23 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10287 0 0 0 1182 41 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=3446648 CPUtime=12.27 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11430 0 0 0 1180 47 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=3446648 CPUtime=12.25 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11231 0 0 0 1178 47 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=3446648 CPUtime=12.14 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10208 0 0 0 1175 39 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=3446648 CPUtime=12.33 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10682 0 0 0 1188 45 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=3446648 CPUtime=12.7 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11382 0 0 0 1235 35 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=3446648 CPUtime=12.78 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11395 0 0 0 1240 38 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10960 0 0 0 1180 49 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=3446648 CPUtime=12.21 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10982 0 0 0 1174 47 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=3446648 CPUtime=12.19 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11255 0 0 0 1172 47 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=3446648 CPUtime=12.68 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11204 0 0 0 1229 39 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=3446648 CPUtime=12.38 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11087 0 0 0 1196 42 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=3446648 CPUtime=12.22 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10636 0 0 0 1178 44 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=3446648 CPUtime=12.39 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10954 0 0 0 1191 48 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=3446648 CPUtime=12.24 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10890 0 0 0 1180 44 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=3446648 CPUtime=12.46 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10854 0 0 0 1202 44 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=3446648 CPUtime=12.27 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11246 0 0 0 1189 38 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=3446648 CPUtime=12.13 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11230 0 0 0 1172 41 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=3446648 CPUtime=12.74 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11463 0 0 0 1235 39 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=3446648 CPUtime=12.17 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10614 0 0 0 1174 43 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=3446648 CPUtime=12.23 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10464 0 0 0 1183 40 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=3446648 CPUtime=12.67 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11154 0 0 0 1230 37 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4320818 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=3446648 CPUtime=13.66 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 5225 0 0 0 1339 27 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 396.75
Current children cumulated vsize (KiB) 3446648

[startup+15.3021 s]
/proc/loadavg: 32.29 32.09 32.01 2/415 13125
/proc/meminfo: memFree=262137900/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=0 CPUtime=402.23 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) Z 13091 13093 13067 0 -1 4203548 346752 0 0 0 38860 1363 0 0 25 0 2 0 14552585 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/13093/statm: 0 0 0 0 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=0 CPUtime=12.51 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4203588 10932 0 0 0 1197 54 0 0 25 0 2 0 14552585 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 15.3677
CPU time (s): 402.293
CPU user time (s): 388.608
CPU system time (s): 13.6849
CPU usage (%): 2617.78
Max. virtual memory (cumulated for all children) (KiB): 3446648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.608
system time used= 13.6849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346752
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= 477513
involuntary context switches= 3138

runsolver used 0.162975 second user time and 0.480926 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 09:33:22
IDJOB=3400867
IDBENCH=84953
IDSOLVER=1886
FILE ID=node200/3400867-1307086402
RUNJOBID= node200-1307086402-13081
PBS_JOBID= 13497889
Free space on /tmp= 61744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400867-1307086402/watcher-3400867-1307086402 -o /tmp/evaluation-result-3400867-1307086402/solver-3400867-1307086402 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400867-1307086402.cnf

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

MD5SUM BENCH= aed38f764725bc435a811b081bc99da2
RANDOM SEED=460090127

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:      263032620 kB
Buffers:         97200 kB
Cached:         930876 kB
SwapCached:       8336 kB
Active:         104108 kB
Inactive:       942676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263032620 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:            6548 kB
Writeback:           0 kB
AnonPages:       18068 kB
Mapped:           8588 kB
Slab:            87208 kB
PageTables:       5728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   182208 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= 61736 MiB
End job on node200 at 2011-06-03 09:33:38