Trace number 3400744

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 1704.3 62.9937

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
MD5SUM86980f7370ece00291f2970256db731a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark413.653
Satisfiable
(Un)Satisfiability was proved
Number of variables63349
Number of clauses943492
Sum of the clauses size2149412
Maximum clause length541
Minimum clause length1
Number of clauses of size 1202
Number of clauses of size 2908736
Number of clauses of size 32676
Number of clauses of size 41261
Number of clauses of size 54705
Number of clauses of size over 525912

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400744-1306753483.cnf'
0.00/0.07	c -- header says num vars:          63349
0.00/0.07	c -- header says num clauses:      943492
85.26/6.01	c -- clauses added:            0 learnts,       943492 normals,            0 xors
85.26/6.01	c -- vars added      63349
85.26/6.01	c Parsing time:  0.95 s
85.26/6.01	c  N st     0         0     63349     34554    907893         0   2147524         0   no data   no data
115.88/7.22	c asymm  cl-useful: 28/500/34031 lits-rem:1938 time: 0.90
400.04/16.12	c Flit:   608 Blit:   7126 bXBeca:    0 bXProp:  421 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  8.88
400.04/16.17	c Cleaning up after failed var search:     0.05 s 
403.21/16.24	c Replacing      422 vars Replaced    17547 lits Time:     0.07 s 
419.93/17.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
421.88/17.28	c bin-w-bin subsume rem          746 bins  time:  0.09 s
434.46/17.72	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.39 s
508.85/20.53	c Subs w/ non-existent bins:      6 l-rem:    179 v-fix:     0 done:  51259 time:  2.28 s
515.23/20.79	c Removed useless bin:    8780  fixed:     0  props:  20.01M  time:  0.26 s
524.80/21.01	c lits-rem:        62  cl-subs:       84  v-elim:    140  v-fix:    0  time:  0.21 s
524.80/21.05	c Finding binary XORs  T:     0.04 s  found:      68
527.99/21.11	c Replacing       68 vars Replaced     3543 lits Time:     0.06 s 
527.99/21.16	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
527.99/21.16	c calculated reachability. Time: 0.00
527.99/21.18	c Calc default polars -  time:   0.03 s pos:    1820 undec:   24980 neg:   36549
527.99/21.18	c =========================================================================================
527.99/21.18	c types(t): F = full restart, N = normal restart
527.99/21.18	c types(t): S = simplification begin/end, E = solution found
527.99/21.18	c restart types(rt): st = static, dy = dynamic
527.99/21.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
527.99/21.18	c  B st     0         0     51051     25330    616641         0   1458594         0   no data   no data
611.11/23.70	c  N dy    17      4016     50930     25330    617046      3489   1458590    724698     13.01     13.98
703.75/26.67	c  N dy    42      8109     49858     24261    591635      4535   1388348    742895     13.85     15.16
838.61/30.86	c  N dy    69     12261     49670     24261    593973      8535   1388339   1980296     15.61     16.77
962.66/34.76	c  N dy    99     16316     48518     22785    562623      7577   1309776   1602090     17.31     18.48
1049.56/37.44	c Finding binary XORs  T:     0.04 s  found:     259
1106.46/39.20	c  N dy   126     20598     47422     21798    537581      5733   1246448    485241     17.91     18.92
1237.37/43.35	c  N dy   153     24634     46953     21798    538562      9693   1246438   2359376     19.15     20.62
1250.16/43.73	c  F st   156     25001     46942     21798    538564     10053   1246438   2501024     19.24   no data
1257.15/43.94	c Replacing      259 vars Replaced    31190 lits Time:     0.16 s 
1448.09/49.92	c  N dy   162     30002     43636     18183    462438      7084   1066422    823387     19.24   no data
1448.09/49.92	c  S st   162     30002     43636     18183    462438      7084   1066422    823387     19.24   no data
1464.07/50.45	c  S st   162     30505     43587     18183    463315      7539   1066421    913757     19.24   no data
1464.07/50.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1698.94/61.19	c Flit:  3598 Blit:    524 bXBeca:    0 bXProp:  664 Bins: 316070 BRemL:   5364 BRemN:      0 P: 155.2M T: 10.69
1699.24/61.23	c Cleaning up after failed var search:     0.04 s 
1699.24/61.25	c Replacing      665 vars Replaced    67282 lits Time:     0.02 s 
1699.24/61.27	c blocked clauses removed:        0 vars:  16946 tried:       25199 T: 0.01 s
1699.24/61.28	c bin-w-bin subsume rem         5146 bins  time:  0.01 s
1699.54/61.31	c subs with bin:      280  lits-rem:       109  v-fix:    0  time:  0.02 s
1699.83/61.43	c Subs w/ non-existent bins:    138 l-rem:    197 v-fix:     0 done:  11196 time:  0.12 s
1699.83/61.50	c Removed useless bin:     844  fixed:     0  props:   7.53M  time:  0.07 s
1700.19/61.54	c lits-rem:        10  cl-subs:      229  v-elim:     52  v-fix:    0  time:  0.03 s
1701.33/61.97	c subs with bin:      323  lits-rem:     11014  v-fix:    0  time:  0.41 s
1701.63/62.01	c lits-rem:       659  cl-subs:      877  v-elim:      0  v-fix:    0  time:  0.04 s
1703.79/62.76	c asymm  cl-useful: 567/3466/5345 lits-rem:1319 time: 0.74
1704.04/62.81	c calculated reachability. Time: 0.05
1704.04/62.81	c  N dy   162     30505     11144      5233    142566      3640    219627    250141     19.24   no data
1704.04/62.81	c Following stats are for *FIRST FINISHED THREAD ONLY*
1704.04/62.81	c num threads              : 32         
1704.04/62.81	c restarts                 : 123        
1704.04/62.81	c dynamic restarts         : 111        
1704.04/62.81	c static restarts          : 12         
1704.04/62.81	c full restarts            : 1          
1704.04/62.81	c total simplify time      : 0.30       
1704.04/62.81	c learnts DL2              : 0          
1704.04/62.81	c learnts size 2           : 921860     
1704.04/62.81	c learnts size 1           : 34329       (54.19     % of vars)
1704.04/62.81	c filedLit time            : 8.72        (15.31     % time)
1704.04/62.81	c v-elim SatELite          : 142         (0.22      % vars)
1704.04/62.81	c SatELite time            : 2.65        (4.65      % time)
1704.04/62.81	c v-elim xor               : 0           (0.00      % vars)
1704.04/62.81	c xor elim time            : 0.00        (0.00      % time)
1704.04/62.81	c num binary xor trees     : 620        
1704.04/62.81	c binxor trees' crown      : 764         (1.23      leafs/tree)
1704.04/62.81	c bin xor find time        : 0.08       
1704.04/62.81	c OTF clause improved      : 469         (0.01      clauses/conflict)
1704.04/62.81	c OTF impr. size diff      : 798         (1.70       lits/clause)
1704.04/62.81	c OTF cl watch-shrink      : 25500       (0.68      clauses/conflict)
1704.04/62.81	c OTF cl watch-sh-lit      : 1218961     (47.80      lits/clause)
1704.04/62.81	c tried to recurMin cls    : 0           (0.00       % of conflicts)
1704.04/62.81	c updated cache            : 0           (nan        lits/tried recurMin)
1704.04/62.81	c unit cls recevied        : 1769        (5.15      % of units)
1704.04/62.81	c unit cls sent            : 192         (0.56      % of units)
1704.04/62.81	c bin cls recevied         : 10897      
1704.04/62.81	c bin cls sent             : 579        
1704.04/62.81	c clauses over max glue    : 0           (0.00      % of all clauses)
1704.04/62.81	c conflicts                : 37765       (663.32    / sec)
1704.04/62.81	c decisions                : 159869      (0.00      % random)
1704.04/62.81	c bogo-props               : 856414040   (15042398.35 / sec)
1704.04/62.81	c conflict literals        : 15993312    (29.46     % deleted)
1704.04/62.81	c Memory used              : 4225.70     MB
1704.04/62.81	c single-thread CPU time   : 56.93       s
1704.04/62.81	c all-threads sum CPU time : 1632.78     s
1704.04/62.81	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-3400744-1306753483/watcher-3400744-1306753483 -o /tmp/evaluation-result-3400744-1306753483/solver-3400744-1306753483 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400744-1306753483.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: 22.69 10.18 6.89 1/413 15578
/proc/meminfo: memFree=263903900/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=338000 CPUtime=0.86 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 468 0 0 0 86 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15578/statm: 84500 408 300 95 0 79482 0
[pid=15578/tid=15579] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=338000 CPUtime=0 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590541234 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540816 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540823 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=338000 CPUtime=0 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540816 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540816 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540829 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540823 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1314355 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 23 0 0 0

[startup+0.0999009 s]
/proc/loadavg: 22.69 10.18 6.89 1/413 15578
/proc/meminfo: memFree=263903900/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=1192748 CPUtime=1.84 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 10328 0 0 0 99 85 0 0 17 0 32 0 1314354 1221373952 10166 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650616632 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15578/statm: 298187 10166 331 95 0 293169 0
[pid=15578/tid=15579] ppid=15576 vsize=1192880 CPUtime=0.06 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 271 0 0 0 3 3 0 0 17 0 32 0 1314354 1221509120 10168 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604506221559264 0 0 -1 1 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=1192880 CPUtime=0.04 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 268 0 0 0 2 2 0 0 17 0 32 0 1314354 1221509120 10175 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981262304 0 0 -1 28 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 286 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10181 268435456000 4194304 4580107 140736044473632 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=1192880 CPUtime=0 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 137 0 0 0 0 0 0 0 18 0 32 0 1314354 1221509120 10184 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=1192880 CPUtime=0.04 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 371 0 0 0 2 2 0 0 19 0 32 0 1314354 1221509120 10193 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 270 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10201 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604467304504800 0 0 -1 0 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10211 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 16 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10215 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981270496 0 0 -1 5 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 320 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10224 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604506319412704 0 0 -1 6 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 412 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10225 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=1192880 CPUtime=0.06 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 324 0 0 0 3 3 0 0 18 0 32 0 1314354 1221509120 10227 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 274 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10233 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981262304 0 0 -1 10 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 367 0 0 0 3 2 0 0 18 0 32 0 1314354 1221509120 10250 268435456000 4194304 4580107 140736044473632 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=1192880 CPUtime=0.06 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 308 0 0 0 3 3 0 0 18 0 32 0 1314354 1221509120 10258 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 290 0 0 0 3 2 0 0 21 0 32 0 1314354 1221509120 10259 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981270496 0 0 -1 24 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=1192880 CPUtime=0.03 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 284 0 0 0 1 2 0 0 17 0 32 0 1314354 1221509120 10271 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604460100214240 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=1192880 CPUtime=0.04 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 304 0 0 0 2 2 0 0 21 0 32 0 1314354 1221509120 10272 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 26 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 288 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10277 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 325 0 0 0 3 2 0 0 18 0 32 0 1314354 1221509120 10297 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931584 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 334 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10310 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 323 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10311 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604504901959136 0 0 -1 4 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 369 0 0 0 3 2 0 0 18 0 32 0 1314354 1221509120 10316 268435456000 4194304 4580107 140736044473632 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 330 0 0 0 3 2 0 0 18 0 32 0 1314354 1221656576 10322 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 317 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10330 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 382 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10342 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 15 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=1193024 CPUtime=0.06 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 355 0 0 0 3 3 0 0 17 0 32 0 1314354 1221656576 10345 268435456000 4194304 4580107 140736044473632 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 290 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10355 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566924024 0 0 -1 18 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 332 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10357 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=1193024 CPUtime=0.06 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 288 0 0 0 3 3 0 0 24 0 32 0 1314354 1221656576 10361 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10370 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566930584 0 0 -1 22 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 433 0 0 0 3 2 0 0 24 0 32 0 1314355 1221656576 10380 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 1192748

[startup+0.10391 s]
/proc/loadavg: 22.69 10.18 6.89 1/413 15578
/proc/meminfo: memFree=263903900/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=1193288 CPUtime=1.87 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) S 15576 15578 15432 0 -1 4202496 10760 0 0 0 100 87 0 0 17 0 32 0 1314354 1221926912 10598 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15578/statm: 298322 10602 331 95 0 293304 0
[pid=15578/tid=15579] ppid=15576 vsize=1193288 CPUtime=0.06 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 271 0 0 0 3 3 0 0 17 0 32 0 1314354 1221926912 10614 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931104 0 0 -1 1 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=1193288 CPUtime=0.04 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 268 0 0 0 2 2 0 0 17 0 32 0 1314354 1221926912 10646 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931104 0 0 -1 28 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=1193288 CPUtime=0.05 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 1314354 1221926912 10689 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=1193288 CPUtime=0 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 168 0 0 0 0 0 0 0 18 0 32 0 1314354 1221926912 10693 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 399 0 0 0 2 3 0 0 19 0 32 0 1314354 1222070272 10694 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 273 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10695 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566929544 0 0 -1 0 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 271 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10703 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604506519756256 0 0 -1 16 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 273 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10707 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 342 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10716 268435456000 4194304 4580107 140736044473632 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 432 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10727 268435456000 4194304 4580107 140736044473632 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=1193428 CPUtime=0.06 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 350 0 0 0 3 3 0 0 18 0 32 0 1314354 1222070272 10756 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 287 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10757 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 391 0 0 0 3 2 0 0 18 0 32 0 1314354 1222070272 10758 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=1193428 CPUtime=0.06 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 334 0 0 0 3 3 0 0 18 0 32 0 1314354 1222070272 10770 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 307 0 0 0 3 2 0 0 21 0 32 0 1314354 1222070272 10784 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 24 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=1193428 CPUtime=0.03 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 293 0 0 0 1 2 0 0 17 0 32 0 1314354 1222070272 10787 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931184 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=1193428 CPUtime=0.04 cores=0-31

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

/proc/15578/task/15602/stat : 15602 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30985 0 0 0 5066 236 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215718368 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=4261572 CPUtime=52.26 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27582 0 0 0 5000 226 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266174944 0 0 -1 20 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=4261572 CPUtime=52.46 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31882 0 0 0 5025 221 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523745760 0 0 -1 30 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=4261572 CPUtime=52.38 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33025 0 0 0 4992 246 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519764448 0 0 -1 22 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=4261572 CPUtime=52.41 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28391 0 0 0 5012 229 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266183136 0 0 -1 15 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=4261572 CPUtime=53.14 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32456 0 0 0 5091 223 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314751456 0 0 -1 13 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=4261572 CPUtime=52.37 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29044 0 0 0 4996 241 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901950944 0 0 -1 2 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=4261572 CPUtime=53.6 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32925 0 0 0 5158 202 0 0 25 0 32 0 1314355 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100214240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1697.74
Current children cumulated vsize (KiB) 4261572

[startup+62.3014 s]
/proc/loadavg: 27.57 13.75 8.32 4/445 15612
/proc/meminfo: memFree=261392784/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=4327108 CPUtime=1702.54 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 965651 0 0 0 163123 7131 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 4293241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15578/statm: 1081777 626669 378 95 0 1076759 0
[pid=15578/tid=15579] ppid=15576 vsize=4327108 CPUtime=57.33 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 28092 0 0 0 5529 204 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=4327108 CPUtime=52.23 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29683 0 0 0 5014 209 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221551072 0 0 -1 8 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=4327108 CPUtime=52.66 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31305 0 0 0 5040 226 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519756256 0 0 -1 5 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31496 0 0 0 5005 222 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221559264 0 0 -1 16 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=4327108 CPUtime=53.27 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28775 0 0 0 5099 228 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506540539360 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=4327108 CPUtime=52.44 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27154 0 0 0 5003 241 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523737568 0 0 -1 11 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29925 0 0 0 5008 218 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100222432 0 0 -1 10 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=4327108 CPUtime=53.38 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31399 0 0 0 5132 206 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227558368 0 0 -1 21 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=4327108 CPUtime=52.59 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28437 0 0 0 5015 244 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308391392 0 0 -1 26 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28776 0 0 0 5005 230 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215726560 0 0 -1 7 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32026 0 0 0 5157 203 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505425214944 0 0 -1 0 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31877 0 0 0 4991 236 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319412704 0 0 -1 18 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=4327108 CPUtime=53.06 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28748 0 0 0 5072 234 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446744071566926424 0 0 -1 3 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=4327108 CPUtime=52.74 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30584 0 0 0 5046 228 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604467304504800 0 0 -1 25 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=4327108 CPUtime=52.86 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29819 0 0 0 5062 224 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319420896 0 0 -1 17 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=4327108 CPUtime=52.18 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32189 0 0 0 4988 230 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308399584 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33995 0 0 0 4994 241 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314743264 0 0 -1 6 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=4327108 CPUtime=53.32 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30983 0 0 0 5113 219 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901959136 0 0 -1 24 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=4327108 CPUtime=53.46 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29710 0 0 0 5136 210 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604499981270496 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=4327108 CPUtime=52.88 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29667 0 0 0 5109 179 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227550176 0 0 -1 15 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=4327108 CPUtime=52.49 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28054 0 0 0 5016 233 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575748576 0 0 -1 19 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=4327108 CPUtime=52.52 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 24614 0 0 0 5045 207 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575740384 0 0 -1 28 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=4327108 CPUtime=58.47 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 34387 0 0 0 5641 206 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590516267 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=4327108 CPUtime=53.02 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30985 0 0 0 5066 236 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215718368 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27582 0 0 0 5000 226 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266174944 0 0 -1 20 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=4327108 CPUtime=52.46 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31882 0 0 0 5025 221 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523745760 0 0 -1 30 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=4327108 CPUtime=52.38 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33025 0 0 0 4992 246 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519764448 0 0 -1 22 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=4327108 CPUtime=52.41 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28391 0 0 0 5012 229 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266183136 0 0 -1 15 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=4327108 CPUtime=53.14 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32456 0 0 0 5091 223 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314751456 0 0 -1 13 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=4327108 CPUtime=52.37 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29044 0 0 0 4996 241 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901950944 0 0 -1 2 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32925 0 0 0 5158 202 0 0 25 0 32 0 1314355 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100214240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1702.54
Current children cumulated vsize (KiB) 4327108

[startup+62.7195 s]
/proc/loadavg: 25.60 13.57 8.29 4/445 15612
/proc/meminfo: memFree=261391544/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=4327108 CPUtime=1703.79 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 965653 0 0 0 163248 7131 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15578/statm: 1081777 626671 378 95 0 1076759 0
[pid=15578/tid=15579] ppid=15576 vsize=4327108 CPUtime=57.75 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 28092 0 0 0 5571 204 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=4327108 CPUtime=52.23 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29683 0 0 0 5014 209 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221551072 0 0 -1 8 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=4327108 CPUtime=52.66 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31305 0 0 0 5040 226 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519756256 0 0 -1 5 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31496 0 0 0 5005 222 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221559264 0 0 -1 16 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=4327108 CPUtime=53.27 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28775 0 0 0 5099 228 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506540539360 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=4327108 CPUtime=52.44 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27154 0 0 0 5003 241 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523737568 0 0 -1 11 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29925 0 0 0 5008 218 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100222432 0 0 -1 10 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=4327108 CPUtime=53.38 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31399 0 0 0 5132 206 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227558368 0 0 -1 21 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=4327108 CPUtime=52.59 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28437 0 0 0 5015 244 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308391392 0 0 -1 26 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28776 0 0 0 5005 230 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215726560 0 0 -1 7 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32026 0 0 0 5157 203 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505425214944 0 0 -1 0 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31877 0 0 0 4991 236 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319412704 0 0 -1 18 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=4327108 CPUtime=53.06 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28748 0 0 0 5072 234 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446744071566926424 0 0 -1 3 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=4327108 CPUtime=52.74 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30584 0 0 0 5046 228 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604467304504800 0 0 -1 25 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=4327108 CPUtime=52.86 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29819 0 0 0 5062 224 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319420896 0 0 -1 17 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=4327108 CPUtime=52.18 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32189 0 0 0 4988 230 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308399584 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33995 0 0 0 4994 241 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314743264 0 0 -1 6 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=4327108 CPUtime=53.32 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30983 0 0 0 5113 219 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901959136 0 0 -1 24 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=4327108 CPUtime=53.46 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29710 0 0 0 5136 210 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604499981270496 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=4327108 CPUtime=52.88 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29667 0 0 0 5109 179 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227550176 0 0 -1 15 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=4327108 CPUtime=52.49 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28054 0 0 0 5016 233 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575748576 0 0 -1 19 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=4327108 CPUtime=52.52 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 24614 0 0 0 5045 207 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575740384 0 0 -1 28 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=4327108 CPUtime=58.89 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 34387 0 0 0 5683 206 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590516420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=4327108 CPUtime=53.02 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30985 0 0 0 5066 236 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215718368 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27582 0 0 0 5000 226 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266174944 0 0 -1 20 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=4327108 CPUtime=52.46 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31882 0 0 0 5025 221 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523745760 0 0 -1 30 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=4327108 CPUtime=52.38 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33025 0 0 0 4992 246 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519764448 0 0 -1 22 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=4327108 CPUtime=52.41 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28391 0 0 0 5012 229 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266183136 0 0 -1 15 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=4327108 CPUtime=53.14 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32456 0 0 0 5091 223 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314751456 0 0 -1 13 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=4327108 CPUtime=52.37 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29044 0 0 0 4996 241 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901950944 0 0 -1 2 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32925 0 0 0 5158 202 0 0 25 0 32 0 1314355 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100214240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1703.79
Current children cumulated vsize (KiB) 4327108

[startup+62.9015 s]
/proc/loadavg: 25.60 13.57 8.29 4/445 15612
/proc/meminfo: memFree=261391544/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=0 CPUtime=1704.2 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) Z 15576 15578 15432 0 -1 4203548 965657 0 0 0 163278 7142 0 0 25 0 2 0 1314354 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15578/statm: 0 0 0 0 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=0 CPUtime=52.96 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) R 15576 15578 15432 0 -1 4203588 29667 0 0 0 5109 187 0 0 18 0 2 0 1314354 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 1704.2
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 62.9937
CPU time (s): 1704.3
CPU user time (s): 1632.78
CPU system time (s): 71.5151
CPU usage (%): 2705.5
Max. virtual memory (cumulated for all children) (KiB): 4976024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1632.78
system time used= 71.5151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965657
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= 2779479
involuntary context switches= 28213

runsolver used 0.433934 second user time and 1.53277 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 13:04:44
IDJOB=3400744
IDBENCH=82420
IDSOLVER=1886
FILE ID=node200/3400744-1306753483
RUNJOBID= node200-1306753305-15446
PBS_JOBID= 13471600
Free space on /tmp= 61564 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400744-1306753483/watcher-3400744-1306753483 -o /tmp/evaluation-result-3400744-1306753483/solver-3400744-1306753483 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400744-1306753483.cnf

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

MD5SUM BENCH= 86980f7370ece00291f2970256db731a
RANDOM SEED=1563508061

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:      263904172 kB
Buffers:         11212 kB
Cached:         172776 kB
SwapCached:      16168 kB
Active:         105588 kB
Inactive:        99344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263904172 kB
SwapTotal:    67111528 kB
SwapFree:     67044364 kB
Dirty:           21048 kB
Writeback:           0 kB
AnonPages:       18520 kB
Mapped:           8112 kB
Slab:            57040 kB
PageTables:       4420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   177832 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:05:47