Trace number 3400757

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 4388.99 152.727

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
MD5SUMa78f49949ed32c6f8eea9d5e428c909d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark35.6086
Satisfiable
(Un)Satisfiability was proved
Number of variables350506
Number of clauses878969
Sum of the clauses size2050925
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2585978
Number of clauses of size 3292989
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
0.95/0.07	c This is CryptoMiniSat 3.0.0
0.95/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.95/0.07	c Reading file 'HOME/instance-3400757-1306754646.cnf'
2.35/0.10	c -- header says num vars:         350506
2.35/0.10	c -- header says num clauses:      878969
147.06/10.55	c -- clauses added:            0 learnts,       878969 normals,            0 xors
147.06/10.55	c -- vars added     350506
149.67/10.67	c Parsing time:  1.31 s
149.67/10.67	c  N st     0         0    350506    292989    585978         0   2050923         0   no data   no data
219.15/12.85	c asymm  cl-useful: 0/540/291176 lits-rem:0 time: 2.17
1198.63/44.06	c Flit:     0 Blit:   4064 bXBeca:    0 bXProp: 3533 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 31.04
1200.39/44.14	c Cleaning up after failed var search:     0.08 s 
1205.08/44.38	c Replacing     3533 vars Replaced    45929 lits Time:     0.16 s 
1223.65/45.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1226.84/45.17	c bin-w-bin subsume rem            0 bins  time:  0.12 s
1235.34/45.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
1334.57/48.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:  9356 done:  46860 time:  3.10 s
1346.98/49.00	c Removed useless bin:     720  fixed:     0  props:  20.00M  time:  0.31 s
2458.92/90.01	c lits-rem:         0  cl-subs:        1  v-elim: 113698  v-fix:    0  time: 30.91 s
2462.65/90.15	c Finding binary XORs  T:     0.14 s  found:       1
2465.83/90.27	c Replacing        1 vars Replaced       17 lits Time:     0.12 s 
2468.31/90.38	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
2468.31/90.38	c calculated reachability. Time: 0.01
2471.43/90.43	c Calc default polars -  time:   0.05 s pos:    4633 undec:  134306 neg:  211567
2471.43/90.43	c =========================================================================================
2471.43/90.43	c types(t): F = full restart, N = normal restart
2471.43/90.43	c types(t): S = simplification begin/end, E = solution found
2471.43/90.43	c restart types(rt): st = static, dy = dynamic
2471.43/90.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2471.43/90.43	c  B st     0         0    218040    162552    436657         0   1363793         0   no data   no data
3466.97/121.62	c  N dy    11      5551    211068    156399    421901      4843   1314722   9191267     12.27     14.21
4126.24/142.67	c Finding binary XORs  T:     0.16 s  found:   35561
4141.57/143.15	c Replacing    35561 vars Replaced  2484164 lits Time:     0.47 s 
4304.52/148.39	c  N dy    20     10541    114723     79499    277434      9432    704337   6939135     12.64     13.43
4387.56/151.47	c Following stats are for *FIRST FINISHED THREAD ONLY*
4387.56/151.47	c num threads              : 32         
4387.56/151.47	c restarts                 : 27         
4387.56/151.47	c dynamic restarts         : 21         
4387.56/151.47	c static restarts          : 6          
4387.56/151.47	c full restarts            : 0          
4387.56/151.47	c total simplify time      : 1.10       
4387.56/151.47	c learnts DL2              : 0          
4387.56/151.47	c learnts size 2           : 7206134    
4387.56/151.47	c learnts size 1           : 93393       (26.65     % of vars)
4387.56/151.47	c filedLit time            : 27.13       (20.25     % time)
4387.56/151.47	c v-elim SatELite          : 113698      (32.44     % vars)
4387.56/151.47	c SatELite time            : 34.11       (25.46     % time)
4387.56/151.47	c v-elim xor               : 0           (0.00      % vars)
4387.56/151.47	c xor elim time            : 0.00        (0.00      % time)
4387.56/151.47	c num binary xor trees     : 24379      
4387.56/151.47	c binxor trees' crown      : 37989       (1.56      leafs/tree)
4387.56/151.47	c bin xor find time        : 0.30       
4387.56/151.47	c OTF clause improved      : 456         (0.03      clauses/conflict)
4387.56/151.47	c OTF impr. size diff      : 8654        (18.98      lits/clause)
4387.56/151.47	c OTF cl watch-shrink      : 3717        (0.21      clauses/conflict)
4387.56/151.47	c OTF cl watch-sh-lit      : 13219       (3.56       lits/clause)
4387.56/151.47	c tried to recurMin cls    : 0           (0.00       % of conflicts)
4387.56/151.47	c updated cache            : 0           (nan        lits/tried recurMin)
4387.56/151.47	c unit cls recevied        : 26759       (28.65     % of units)
4387.56/151.47	c unit cls sent            : 1761        (1.89      % of units)
4387.56/151.47	c bin cls recevied         : 338649     
4387.56/151.47	c bin cls sent             : 1533       
4387.56/151.47	c clauses over max glue    : 0           (0.00      % of all clauses)
4387.56/151.47	c conflicts                : 17703       (132.14    / sec)
4387.56/151.47	c decisions                : 342628      (0.00      % random)
4387.56/151.47	c bogo-props               : 551973694   (4119955.89 / sec)
4387.56/151.47	c conflict literals        : 15633812    (6.46      % deleted)
4387.56/151.47	c Memory used              : 20977.52    MB
4387.56/151.47	c single-thread CPU time   : 133.98      s
4387.56/151.47	c all-threads sum CPU time : 4211.21     s
4387.56/151.47	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 25.32 28.48 22.23 1/413 16406
/proc/meminfo: memFree=263819272/264257624 swapFree=67044428/67111528
[pid=16406] ppid=16404 vsize=338000 CPUtime=0.71 cores=0-31
/proc/16406/stat : 16406 (strangenight2-m) R 16404 16406 16200 0 -1 4202496 436 0 0 0 71 0 0 0 22 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/16406/statm: 84500 377 297 95 0 79482 0
[pid=16406/tid=16407] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16407/stat : 16407 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16406/tid=16408] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16408/stat : 16408 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16406/tid=16409] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16409/stat : 16409 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16406/tid=16410] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16410/stat : 16410 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16406/tid=16411] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16411/stat : 16411 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16406/tid=16412] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16412/stat : 16412 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930102 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16406/tid=16413] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16413/stat : 16413 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16406/tid=16414] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16414/stat : 16414 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16406/tid=16415] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16415/stat : 16415 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16406/tid=16416] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16416/stat : 16416 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16406/tid=16417] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16417/stat : 16417 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16406/tid=16418] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16418/stat : 16418 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16406/tid=16419] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16419/stat : 16419 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16406/tid=16420] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16420/stat : 16420 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 1430688 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930096 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16406/tid=16421] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16421/stat : 16421 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930088 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16406/tid=16422] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16422/stat : 16422 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930096 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16406/tid=16423] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16423/stat : 16423 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16406/tid=16424] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16424/stat : 16424 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16406/tid=16425] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16425/stat : 16425 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16406/tid=16426] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16426/stat : 16426 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16406/tid=16427] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16427/stat : 16427 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16406/tid=16428] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16428/stat : 16428 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16406/tid=16429] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16429/stat : 16429 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16406/tid=16430] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16430/stat : 16430 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16406/tid=16431] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16431/stat : 16431 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930088 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16406/tid=16432] ppid=16404 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16406/task/16432/stat : 16432 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930096 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16406/tid=16433] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16433/stat : 16433 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16406/tid=16434] ppid=16404 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16406/task/16434/stat : 16434 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16406/tid=16435] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16435/stat : 16435 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16406/tid=16436] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16436/stat : 16436 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930098 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16406/tid=16437] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16437/stat : 16437 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1430689 346112000 377 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 19 0 0 0

[startup+0.040746 s]
/proc/loadavg: 25.32 28.48 22.23 1/413 16406
/proc/meminfo: memFree=263819272/264257624 swapFree=67044428/67111528
[pid=16406] ppid=16404 vsize=338000 CPUtime=0.95 cores=0-31
/proc/16406/stat : 16406 (strangenight2-m) R 16404 16406 16200 0 -1 4202496 467 0 0 0 95 0 0 0 22 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929680 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/16406/statm: 84500 408 300 95 0 79482 0
[pid=16406/tid=16407] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16407/stat : 16407 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 4 0 0 0 3 0 0 0 23 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16406/tid=16408] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16408/stat : 16408 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16406/tid=16409] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16409/stat : 16409 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16406/tid=16410] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16410/stat : 16410 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370930092 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16406/tid=16411] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16411/stat : 16411 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929683 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16406/tid=16412] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16412/stat : 16412 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16406/tid=16413] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16413/stat : 16413 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929683 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16406/tid=16414] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16414/stat : 16414 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16406/tid=16415] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16415/stat : 16415 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16406/tid=16416] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16416/stat : 16416 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16406/tid=16417] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16417/stat : 16417 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16406/tid=16418] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16418/stat : 16418 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16406/tid=16419] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16419/stat : 16419 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16406/tid=16420] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16420/stat : 16420 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1430688 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16406/tid=16421] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16421/stat : 16421 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16406/tid=16422] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16422/stat : 16422 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929683 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16406/tid=16423] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16423/stat : 16423 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16406/tid=16424] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16424/stat : 16424 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929683 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16406/tid=16425] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16425/stat : 16425 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16406/tid=16426] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16426/stat : 16426 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16406/tid=16427] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16427/stat : 16427 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16406/tid=16428] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16428/stat : 16428 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16406/tid=16429] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16429/stat : 16429 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929687 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16406/tid=16430] ppid=16404 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16406/task/16430/stat : 16430 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929687 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16406/tid=16431] ppid=16404 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16406/task/16431/stat : 16431 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929687 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16406/tid=16432] ppid=16404 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16406/task/16432/stat : 16432 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16406/tid=16433] ppid=16404 vsize=338000 CPUtime=0 cores=0-31
/proc/16406/task/16433/stat : 16433 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929693 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16406/tid=16434] ppid=16404 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16406/task/16434/stat : 16434 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16406/tid=16435] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16435/stat : 16435 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929687 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16406/tid=16436] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16436/stat : 16436 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16406/tid=16437] ppid=16404 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16406/task/16437/stat : 16437 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1430689 346112000 408 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370929689 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 338000

[startup+0.1028 s]
/proc/loadavg: 25.32 28.48 22.23 1/413 16406
/proc/meminfo: memFree=263819272/264257624 swapFree=67044428/67111528
[pid=16406] ppid=16404 vsize=929172 CPUtime=2.35 cores=0-31
/proc/16406/stat : 16406 (strangenight2-m) D 16404 16406 16200 0 -1 4202496 9147 0 0 0 164 71 0 0 23 0 32 0 1430688 951472128 8978 268435456000 4194304 4580107 140736718424384 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/16406/statm: 232293 9007 330 95 0 227275 0
[pid=16406/tid=16407] ppid=16404 vsize=929172 CPUtime=0.07 cores=0-31
/proc/16406/task/16407/stat : 16407 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 273 0 0 0 5 2 0 0 17 0 32 0 1430688 951472128 9014 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 1 0 0 0
[pid=16406/tid=16408] ppid=16404 vsize=929172 CPUtime=0.07 cores=0-31
/proc/16406/task/16408/stat : 16408 (strangenight2-m) D 16404 16406 16200 0 -1 4202560 302 0 0 0 5 2 0 0 18 0 32 0 1430688 951472128 9029 268435456000 4194304 4580107 140736718424384 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16406/tid=16409] ppid=16404 vsize=929304 CPUtime=0.07 cores=0-31
/proc/16406/task/16409/stat : 16409 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 267 0 0 0 5 2 0 0 19 0 32 0 1430688 951607296 9035 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604505226157536 0 0 -1 24 0 0 0
[pid=16406/tid=16410] ppid=16404 vsize=1060376 CPUtime=0.02 cores=0-31
/proc/16406/task/16410/stat : 16410 (strangenight2-m) D 16404 16406 16200 0 -1 4202560 264 0 0 0 0 2 0 0 19 0 32 0 1430688 1085825024 9043 268435456000 4194304 4580107 140736718424384 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16406/tid=16411] ppid=16404 vsize=1060376 CPUtime=0.07 cores=0-31
/proc/16406/task/16411/stat : 16411 (strangenight2-m) D 16404 16406 16200 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 1430688 1085825024 9050 268435456000 4194304 4580107 140736718424384 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16406/tid=16412] ppid=16404 vsize=994840 CPUtime=0.07 cores=0-31
/proc/16406/task/16412/stat : 16412 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 273 0 0 0 5 2 0 0 18 0 32 0 1430688 1018716160 9051 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604502235897312 0 0 -1 4 0 0 0
[pid=16406/tid=16413] ppid=16404 vsize=994840 CPUtime=0.07 cores=0-31
/proc/16406/task/16413/stat : 16413 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 276 0 0 0 5 2 0 0 19 0 32 0 1430688 1018716160 9065 268435456000 4194304 4580107 140736718424384 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16406/tid=16414] ppid=16404 vsize=994840 CPUtime=0.07 cores=0-31
/proc/16406/task/16414/stat : 16414 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 293 0 0 0 5 2 0 0 17 0 32 0 1430688 1018716160 9065 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446744071566928504 0 0 -1 5 0 0 0
[pid=16406/tid=16415] ppid=16404 vsize=994840 CPUtime=0.07 cores=0-31
/proc/16406/task/16415/stat : 16415 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 276 0 0 0 5 2 0 0 18 0 32 0 1430688 1018716160 9076 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604477131341280 0 0 -1 6 0 0 0
[pid=16406/tid=16416] ppid=16404 vsize=994840 CPUtime=0.07 cores=0-31
/proc/16406/task/16416/stat : 16416 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 270 0 0 0 5 2 0 0 20 0 32 0 1430688 1018716160 9083 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604442192444896 0 0 -1 3 0 0 0
[pid=16406/tid=16417] ppid=16404 vsize=994840 CPUtime=0.07 cores=0-31
/proc/16406/task/16417/stat : 16417 (strangenight2-m) D 16404 16406 16200 0 -1 4202560 295 0 0 0 5 2 0 0 18 0 32 0 1430688 1018716160 9089 268435456000 4194304 4580107 140736718424384 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16406/tid=16418] ppid=16404 vsize=994840 CPUtime=0.07 cores=0-31
/proc/16406/task/16418/stat : 16418 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 268 0 0 0 5 2 0 0 18 0 32 0 1430688 1018716160 9097 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604502373760480 0 0 -1 10 0 0 0
[pid=16406/tid=16419] ppid=16404 vsize=1060376 CPUtime=0.07 cores=0-31
/proc/16406/task/16419/stat : 16419 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 271 0 0 0 5 2 0 0 18 0 32 0 1430688 1085825024 9106 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604502108347872 0 0 -1 7 0 0 0
[pid=16406/tid=16420] ppid=16404 vsize=1060376 CPUtime=0.07 cores=0-31
/proc/16406/task/16420/stat : 16420 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 269 0 0 0 5 2 0 0 18 0 32 0 1430688 1085825024 9111 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604505088384480 0 0 -1 13 0 0 0
[pid=16406/tid=16421] ppid=16404 vsize=1060376 CPUtime=0.06 cores=0-31
/proc/16406/task/16421/stat : 16421 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 268 0 0 0 5 1 0 0 22 0 32 0 1430689 1085825024 9117 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 14 0 0 0
[pid=16406/tid=16422] ppid=16404 vsize=1060376 CPUtime=0.07 cores=0-31
/proc/16406/task/16422/stat : 16422 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 269 0 0 0 5 2 0 0 22 0 32 0 1430689 1085825024 9128 268435456000 4194304 4580107 140736718424384 18446744073709551615 258651060958 0 0 4096 2 18446604502373760480 0 0 -1 11 0 0 0
[pid=16406/tid=16423] ppid=16404 vsize=1060376 CPUtime=0.07 cores=0-31

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

/proc/16406/stat : 16406 (strangenight2-m) R 16404 16406 16200 0 -1 4202496 4763733 0 0 0 409026 17590 0 0 24 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/16406/statm: 5344120 4114458 376 95 0 5339102 0
[pid=16406/tid=16407] ppid=16404 vsize=21376480 CPUtime=132.29 cores=0-31
/proc/16406/task/16407/stat : 16407 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 151597 0 0 0 12688 541 0 0 20 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16406/tid=16408] ppid=16404 vsize=21376480 CPUtime=132.83 cores=0-31
/proc/16406/task/16408/stat : 16408 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 149454 0 0 0 12695 588 0 0 25 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316414 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16406/tid=16409] ppid=16404 vsize=21376480 CPUtime=132.91 cores=0-31
/proc/16406/task/16409/stat : 16409 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 156175 0 0 0 12703 588 0 0 18 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16406/tid=16410] ppid=16404 vsize=21376480 CPUtime=132.75 cores=0-31
/proc/16406/task/16410/stat : 16410 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 154262 0 0 0 12691 584 0 0 21 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16406/tid=16411] ppid=16404 vsize=21376480 CPUtime=135.47 cores=0-31
/proc/16406/task/16411/stat : 16411 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 150067 0 0 0 13093 454 0 0 21 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16406/tid=16412] ppid=16404 vsize=21376480 CPUtime=130.27 cores=0-31
/proc/16406/task/16412/stat : 16412 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 152891 0 0 0 12443 584 0 0 25 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16406/tid=16413] ppid=16404 vsize=21376480 CPUtime=134.85 cores=0-31
/proc/16406/task/16413/stat : 16413 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 154159 0 0 0 12961 524 0 0 24 0 32 0 1430688 21889515520 4114458 268435456000 4194304 4580107 140736718424384 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16406/tid=16414] ppid=16404 vsize=21376480 CPUtime=132.23 cores=0-31
/proc/16406/task/16414/stat : 16414 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 141078 0 0 0 12695 528 0 0 24 0 32 0 1430688 21889515520 4114459 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16406/tid=16415] ppid=16404 vsize=21376480 CPUtime=134.74 cores=0-31
/proc/16406/task/16415/stat : 16415 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 155484 0 0 0 12962 512 0 0 18 0 32 0 1430688 21889515520 4114460 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316490 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16406/tid=16416] ppid=16404 vsize=21376480 CPUtime=131.47 cores=0-31
/proc/16406/task/16416/stat : 16416 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 151885 0 0 0 12580 567 0 0 21 0 32 0 1430688 21889515520 4114460 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316428 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16406/tid=16417] ppid=16404 vsize=21376480 CPUtime=133.09 cores=0-31
/proc/16406/task/16417/stat : 16417 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 151249 0 0 0 12732 577 0 0 19 0 32 0 1430688 21889515520 4114460 268435456000 4194304 4580107 140736718424384 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16406/tid=16418] ppid=16404 vsize=21376480 CPUtime=132.69 cores=0-31
/proc/16406/task/16418/stat : 16418 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 163578 0 0 0 12720 549 0 0 21 0 32 0 1430688 21889515520 4114460 268435456000 4194304 4580107 140736718424384 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16406/tid=16419] ppid=16404 vsize=21376480 CPUtime=132.93 cores=0-31
/proc/16406/task/16419/stat : 16419 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 155163 0 0 0 12709 584 0 0 24 0 32 0 1430688 21889515520 4114461 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16406/tid=16420] ppid=16404 vsize=21376480 CPUtime=132.54 cores=0-31
/proc/16406/task/16420/stat : 16420 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 138730 0 0 0 12722 532 0 0 18 0 32 0 1430688 21889515520 4114461 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16406/tid=16421] ppid=16404 vsize=21376480 CPUtime=133.71 cores=0-31
/proc/16406/task/16421/stat : 16421 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 154227 0 0 0 12770 601 0 0 18 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4317469 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16406/tid=16422] ppid=16404 vsize=21376480 CPUtime=133.47 cores=0-31
/proc/16406/task/16422/stat : 16422 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 149779 0 0 0 12754 593 0 0 24 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16406/tid=16423] ppid=16404 vsize=21376480 CPUtime=133.62 cores=0-31
/proc/16406/task/16423/stat : 16423 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 150982 0 0 0 12796 566 0 0 18 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16406/tid=16424] ppid=16404 vsize=21376480 CPUtime=131.97 cores=0-31
/proc/16406/task/16424/stat : 16424 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 157515 0 0 0 12614 583 0 0 21 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16406/tid=16425] ppid=16404 vsize=21376480 CPUtime=132.92 cores=0-31
/proc/16406/task/16425/stat : 16425 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 157578 0 0 0 12703 589 0 0 20 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4222190 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16406/tid=16426] ppid=16404 vsize=21376480 CPUtime=135.52 cores=0-31
/proc/16406/task/16426/stat : 16426 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 161222 0 0 0 13026 526 0 0 18 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16406/tid=16427] ppid=16404 vsize=21376480 CPUtime=133.54 cores=0-31
/proc/16406/task/16427/stat : 16427 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 149183 0 0 0 12769 585 0 0 23 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316566 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16406/tid=16428] ppid=16404 vsize=21376480 CPUtime=133.38 cores=0-31
/proc/16406/task/16428/stat : 16428 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 159647 0 0 0 12765 573 0 0 18 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16406/tid=16429] ppid=16404 vsize=21376480 CPUtime=131.86 cores=0-31
/proc/16406/task/16429/stat : 16429 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 150093 0 0 0 12622 564 0 0 21 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16406/tid=16430] ppid=16404 vsize=21376480 CPUtime=133.74 cores=0-31
/proc/16406/task/16430/stat : 16430 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 151519 0 0 0 12842 532 0 0 20 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16406/tid=16431] ppid=16404 vsize=21376480 CPUtime=135.53 cores=0-31
/proc/16406/task/16431/stat : 16431 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 128578 0 0 0 13081 472 0 0 25 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16406/tid=16432] ppid=16404 vsize=21376480 CPUtime=132.17 cores=0-31
/proc/16406/task/16432/stat : 16432 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 153044 0 0 0 12606 611 0 0 18 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16406/tid=16433] ppid=16404 vsize=21376480 CPUtime=133.42 cores=0-31
/proc/16406/task/16433/stat : 16433 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 162252 0 0 0 12749 593 0 0 18 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16406/tid=16434] ppid=16404 vsize=21376480 CPUtime=134.28 cores=0-31
/proc/16406/task/16434/stat : 16434 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 136634 0 0 0 12970 458 0 0 19 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16406/tid=16435] ppid=16404 vsize=21376480 CPUtime=133.43 cores=0-31
/proc/16406/task/16435/stat : 16435 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 154722 0 0 0 12770 573 0 0 25 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16406/tid=16436] ppid=16404 vsize=21376480 CPUtime=132.97 cores=0-31
/proc/16406/task/16436/stat : 16436 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 146005 0 0 0 12719 578 0 0 21 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316365 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16406/tid=16437] ppid=16404 vsize=21376480 CPUtime=138.63 cores=0-31
/proc/16406/task/16437/stat : 16437 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 66972 0 0 0 13577 286 0 0 25 0 32 0 1430689 21889515520 4114462 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316502 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 4266.16
Current children cumulated vsize (KiB) 21376480

[startup+150.302 s]
/proc/loadavg: 30.85 29.40 23.49 31/445 16442
/proc/meminfo: memFree=247163964/264257624 swapFree=67044428/67111528
[pid=16406] ppid=16404 vsize=21480192 CPUtime=4366.56 cores=0-31
/proc/16406/stat : 16406 (strangenight2-m) R 16404 16406 16200 0 -1 4202496 4816979 0 0 0 419011 17645 0 0 18 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/16406/statm: 5370048 4167703 376 95 0 5365030 0
[pid=16406/tid=16407] ppid=16404 vsize=21480192 CPUtime=135.49 cores=0-31
/proc/16406/task/16407/stat : 16407 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 152274 0 0 0 13008 541 0 0 18 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316835 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16406/tid=16408] ppid=16404 vsize=21480192 CPUtime=136.02 cores=0-31
/proc/16406/task/16408/stat : 16408 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 150487 0 0 0 13014 588 0 0 19 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316446 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16406/tid=16409] ppid=16404 vsize=21480192 CPUtime=136.11 cores=0-31
/proc/16406/task/16409/stat : 16409 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 156757 0 0 0 13022 589 0 0 18 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16406/tid=16410] ppid=16404 vsize=21480192 CPUtime=135.94 cores=0-31
/proc/16406/task/16410/stat : 16410 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 155194 0 0 0 13007 587 0 0 18 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4317479 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16406/tid=16411] ppid=16404 vsize=21480192 CPUtime=138.67 cores=0-31
/proc/16406/task/16411/stat : 16411 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 150562 0 0 0 13413 454 0 0 19 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16406/tid=16412] ppid=16404 vsize=21480192 CPUtime=133.47 cores=0-31
/proc/16406/task/16412/stat : 16412 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 153752 0 0 0 12762 585 0 0 18 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16406/tid=16413] ppid=16404 vsize=21480192 CPUtime=138.05 cores=0-31
/proc/16406/task/16413/stat : 16413 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 154371 0 0 0 13280 525 0 0 18 0 32 0 1430688 21995716608 4167703 268435456000 4194304 4580107 140736718424384 18446744073709551615 4301834 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16406/tid=16414] ppid=16404 vsize=21480192 CPUtime=135.42 cores=0-31
/proc/16406/task/16414/stat : 16414 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 141964 0 0 0 13014 528 0 0 18 0 32 0 1430688 21995716608 4167711 268435456000 4194304 4580107 140736718424384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16406/tid=16415] ppid=16404 vsize=21480192 CPUtime=137.94 cores=0-31
/proc/16406/task/16415/stat : 16415 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 156213 0 0 0 13281 513 0 0 18 0 32 0 1430688 21995716608 4167715 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16406/tid=16416] ppid=16404 vsize=21480192 CPUtime=134.67 cores=0-31
/proc/16406/task/16416/stat : 16416 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 152564 0 0 0 12900 567 0 0 18 0 32 0 1430688 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16406/tid=16417] ppid=16404 vsize=21480192 CPUtime=136.29 cores=0-31
/proc/16406/task/16417/stat : 16417 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 151859 0 0 0 13052 577 0 0 18 0 32 0 1430688 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16406/tid=16418] ppid=16404 vsize=21480192 CPUtime=135.88 cores=0-31
/proc/16406/task/16418/stat : 16418 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 164777 0 0 0 13039 549 0 0 18 0 32 0 1430688 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16406/tid=16419] ppid=16404 vsize=21480192 CPUtime=136.13 cores=0-31
/proc/16406/task/16419/stat : 16419 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 155655 0 0 0 13028 585 0 0 18 0 32 0 1430688 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16406/tid=16420] ppid=16404 vsize=21480192 CPUtime=135.73 cores=0-31
/proc/16406/task/16420/stat : 16420 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 139168 0 0 0 13041 532 0 0 18 0 32 0 1430688 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16406/tid=16421] ppid=16404 vsize=21480192 CPUtime=136.9 cores=0-31
/proc/16406/task/16421/stat : 16421 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 155395 0 0 0 13089 601 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316784 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16406/tid=16422] ppid=16404 vsize=21480192 CPUtime=136.67 cores=0-31
/proc/16406/task/16422/stat : 16422 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 150650 0 0 0 13073 594 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16406/tid=16423] ppid=16404 vsize=21480192 CPUtime=136.82 cores=0-31
/proc/16406/task/16423/stat : 16423 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 151152 0 0 0 13116 566 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16406/tid=16424] ppid=16404 vsize=21480192 CPUtime=135.17 cores=0-31
/proc/16406/task/16424/stat : 16424 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 158335 0 0 0 12933 584 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16406/tid=16425] ppid=16404 vsize=21480192 CPUtime=136.11 cores=0-31
/proc/16406/task/16425/stat : 16425 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 158010 0 0 0 13022 589 0 0 19 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16406/tid=16426] ppid=16404 vsize=21480192 CPUtime=138.72 cores=0-31
/proc/16406/task/16426/stat : 16426 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 162032 0 0 0 13345 527 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316395 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16406/tid=16427] ppid=16404 vsize=21480192 CPUtime=136.73 cores=0-31
/proc/16406/task/16427/stat : 16427 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 150100 0 0 0 13088 585 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16406/tid=16428] ppid=16404 vsize=21480192 CPUtime=136.57 cores=0-31
/proc/16406/task/16428/stat : 16428 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 160514 0 0 0 13084 573 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16406/tid=16429] ppid=16404 vsize=21480192 CPUtime=134.64 cores=0-31
/proc/16406/task/16429/stat : 16429 (strangenight2-m) S 16404 16406 16200 0 -1 4202560 150868 0 0 0 12900 564 0 0 16 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 47063370928670 0 0 4096 2 18446744071566926264 0 0 -1 30 0 0 0
[pid=16406/tid=16430] ppid=16404 vsize=21480192 CPUtime=136.88 cores=0-31
/proc/16406/task/16430/stat : 16430 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 152066 0 0 0 13156 532 0 0 19 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16406/tid=16431] ppid=16404 vsize=21480192 CPUtime=138.72 cores=0-31
/proc/16406/task/16431/stat : 16431 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 129733 0 0 0 13400 472 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16406/tid=16432] ppid=16404 vsize=21480192 CPUtime=134.3 cores=0-31
/proc/16406/task/16432/stat : 16432 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 153573 0 0 0 12819 611 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16406/tid=16433] ppid=16404 vsize=21480192 CPUtime=136.62 cores=0-31
/proc/16406/task/16433/stat : 16433 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 163069 0 0 0 13069 593 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16406/tid=16434] ppid=16404 vsize=21480192 CPUtime=137.48 cores=0-31
/proc/16406/task/16434/stat : 16434 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 137788 0 0 0 13290 458 0 0 18 0 32 0 1430689 21995716608 4167721 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16406/tid=16435] ppid=16404 vsize=21480192 CPUtime=136.27 cores=0-31
/proc/16406/task/16435/stat : 16435 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 157736 0 0 0 13051 576 0 0 16 0 32 0 1430689 21995716608 4167722 268435456000 4194304 4580107 140736718424384 18446744073709551615 4518661 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16406/tid=16436] ppid=16404 vsize=21480192 CPUtime=136.16 cores=0-31
/proc/16406/task/16436/stat : 16436 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 147007 0 0 0 13038 578 0 0 18 0 32 0 1430689 21995716608 4167723 268435456000 4194304 4580107 140736718424384 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16406/tid=16437] ppid=16404 vsize=21480192 CPUtime=141.82 cores=0-31
/proc/16406/task/16437/stat : 16437 (strangenight2-m) R 16404 16406 16200 0 -1 4202560 93958 0 0 0 13858 324 0 0 19 0 32 0 1430689 21995716608 4167723 268435456000 4194304 4580107 140736718424384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 4366.56
Current children cumulated vsize (KiB) 21480192

[startup+151.901 s]
/proc/loadavg: 30.85 29.40 23.49 2/415 16443
/proc/meminfo: memFree=249914232/264257624 swapFree=67044428/67111528
[pid=16406] ppid=16404 vsize=0 CPUtime=4388.16 cores=0-31
/proc/16406/stat : 16406 (strangenight2-m) Z 16404 16406 16200 0 -1 4203548 4822311 0 0 0 421121 17695 0 0 15 0 2 0 1430688 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/16406/statm: 0 0 0 0 0 0 0
[pid=16406/tid=16435] ppid=16404 vsize=0 CPUtime=137.29 cores=0-31
/proc/16406/task/16435/stat : 16435 (strangenight2-m) R 16404 16406 16200 0 -1 4203588 157764 0 0 0 13111 618 0 0 16 0 2 0 1430689 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4388.16
Current children cumulated vsize (KiB) 0

[startup+152.301 s]
/proc/loadavg: 30.85 29.40 23.49 2/415 16443
/proc/meminfo: memFree=249914232/264257624 swapFree=67044428/67111528
[pid=16406] ppid=16404 vsize=0 CPUtime=4388.56 cores=0-31
/proc/16406/stat : 16406 (strangenight2-m) Z 16404 16406 16200 0 -1 4203548 4822311 0 0 0 421121 17735 0 0 15 0 2 0 1430688 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/16406/statm: 0 0 0 0 0 0 0
[pid=16406/tid=16435] ppid=16404 vsize=0 CPUtime=137.69 cores=0-31
/proc/16406/task/16435/stat : 16435 (strangenight2-m) R 16404 16406 16200 0 -1 4203588 157764 0 0 0 13111 658 0 0 16 0 2 0 1430689 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4388.56
Current children cumulated vsize (KiB) 0

[startup+152.701 s]
/proc/loadavg: 30.85 29.40 23.49 2/415 16443
/proc/meminfo: memFree=249914232/264257624 swapFree=67044428/67111528
[pid=16406] ppid=16404 vsize=0 CPUtime=4388.96 cores=0-31
/proc/16406/stat : 16406 (strangenight2-m) Z 16404 16406 16200 0 -1 4203548 4822311 0 0 0 421121 17775 0 0 15 0 2 0 1430688 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/16406/statm: 0 0 0 0 0 0 0
[pid=16406/tid=16435] ppid=16404 vsize=0 CPUtime=138.09 cores=0-31
/proc/16406/task/16435/stat : 16435 (strangenight2-m) R 16404 16406 16200 0 -1 4203588 157764 0 0 0 13111 698 0 0 17 0 2 0 1430689 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4388.96
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 152.727
CPU time (s): 4388.99
CPU user time (s): 4211.21
CPU system time (s): 177.78
CPU usage (%): 2873.75
Max. virtual memory (cumulated for all children) (KiB): 21480972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4211.21
system time used= 177.78
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4822311
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= 6229109
involuntary context switches= 64067

runsolver used 1.3148 second user time and 4.02039 second system time

The end

Launcher Data

Begin job on node200 at 2011-05-30 13:24:07
IDJOB=3400757
IDBENCH=82444
IDSOLVER=1886
FILE ID=node200/3400757-1306754646
RUNJOBID= node200-1306754353-16214
PBS_JOBID= 13471602
Free space on /tmp= 61564 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400757-1306754646/watcher-3400757-1306754646 -o /tmp/evaluation-result-3400757-1306754646/solver-3400757-1306754646 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400757-1306754646.cnf

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

MD5SUM BENCH= a78f49949ed32c6f8eea9d5e428c909d
RANDOM SEED=1599048622

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263819132 kB
Buffers:         14500 kB
Cached:         246836 kB
SwapCached:      16104 kB
Active:         105768 kB
Inactive:       173852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263819132 kB
SwapTotal:    67111528 kB
SwapFree:     67044428 kB
Dirty:           21368 kB
Writeback:           0 kB
AnonPages:       17248 kB
Mapped:           8124 kB
Slab:            57352 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186584 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= 61560 MiB
End job on node200 at 2011-05-30 13:26:40