Trace number 3400611

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 645.57 23.2432

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
MD5SUM083d28c2adf10233f37f8b5a078c94a9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark241.061
Satisfiable
(Un)Satisfiability was proved
Number of variables108786
Number of clauses482639
Sum of the clauses size1096328
Maximum clause length10
Minimum clause length1
Number of clauses of size 19230
Number of clauses of size 2395289
Number of clauses of size 357400
Number of clauses of size 42300
Number of clauses of size 59200
Number of clauses of size over 59220

Solver Data

0.00/0.05	c Outputting solution to console
1.43/0.10	c Using 32 threads
1.43/0.13	c This is CryptoMiniSat 3.0.0
1.43/0.13	c WARNING: for repeatability, setting FPU to use double precision
1.43/0.13	c Reading file 'HOME/instance-3400611-1306232027.cnf'
1.43/0.15	c -- header says num vars:         108786
1.43/0.15	c -- header says num clauses:      482639
71.21/4.11	c -- clauses added:            0 learnts,       482639 normals,            0 xors
71.21/4.11	c -- vars added     108786
71.21/4.11	c Parsing time:  0.64 s
71.21/4.11	c  N st     0         0    108786     78120    395289         0   1087098         0   no data   no data
96.29/4.99	c asymm  cl-useful: 0/1644/60852 lits-rem:0 time: 0.85
390.30/14.18	c Flit:  1186 Blit:  39946 bXBeca:    0 bXProp: 8626 Bins:      0 BRemL:      0 BRemN:      0 P: 124.4M T:  9.18
390.30/14.22	c Cleaning up after failed var search:     0.04 s 
394.05/14.23	c Replacing     8626 vars Replaced   106553 lits Time:     0.01 s 
394.05/14.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
394.05/14.24	c bin-w-bin subsume rem         1149 bins  time:  0.00 s
394.05/14.24	c subs with bin:        0  lits-rem:       282  v-fix:    0  time:  0.00 s
394.05/14.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3942 time:  0.04 s
397.21/14.33	c Removed useless bin:    1896  fixed:     0  props:   3.49M  time:  0.05 s
397.21/14.34	c lits-rem:         2  cl-subs:      139  v-elim:   1314  v-fix:    0  time:  0.01 s
397.21/14.35	c Finding binary XORs  T:     0.01 s  found:       0
397.21/14.36	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
397.21/14.36	c calculated reachability. Time: 0.00
397.21/14.36	c Calc default polars -  time:   0.00 s pos:     983 undec:  106456 neg:    1347
397.21/14.36	c =========================================================================================
397.21/14.36	c types(t): F = full restart, N = normal restart
397.21/14.36	c types(t): S = simplification begin/end, E = solution found
397.21/14.36	c restart types(rt): st = static, dy = dynamic
397.21/14.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
397.21/14.36	c  B st     0         0      2628      4977      7375         0     30572         0   no data   no data
405.95/14.62	c Decided on static restart strategy
418.74/15.05	c  N st     8      4927      2620      4977      7393      4656     30572    183370   no data   no data
434.71/15.52	c Finding binary XORs  T:     0.01 s  found:      39
434.71/15.53	c Replacing       39 vars Replaced     2390 lits Time:     0.01 s 
453.90/16.13	c  N st    10     11309      2541      4708      8230     10553     29239    402701   no data   no data
485.86/17.18	c  N st    11     17053      2540      4708      8234     16029     29239    618526   no data   no data
489.06/17.21	c Finding binary XORs  T:     0.01 s  found:      24
540.15/18.89	c  F st    12     25000      2431      4364      8673     13906     27320    478156   no data   no data
543.34/18.91	c Replacing       24 vars Replaced     3490 lits Time:     0.02 s 
543.34/18.92	c  N st    12     25000      2407      4362      8586     13780     27206    475541   no data   no data
565.73/19.66	c Finding binary XORs  T:     0.01 s  found:      34
565.73/19.67	c Replacing       34 vars Replaced      659 lits Time:     0.01 s 
578.51/20.07	c Decided on static restart strategy
578.51/20.07	c  N st    18     30002      2199      3512      7857     16047     23241    513435   no data   no data
578.51/20.07	c  S st    18     30002      2199      3512      7857     16047     23241    513435   no data   no data
584.90/20.20	c  S st    18     30504      2199      3512      7867     16537     23241    528566   no data   no data
584.90/20.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
639.80/22.01	c Flit:    67 Blit:     38 bXBeca:    0 bXProp:  272 Bins:  55289 BRemL:  37113 BRemN:    135 P: 23.2M T:  1.80
642.84/22.02	c Cleaning up after failed var search:     0.01 s 
642.84/22.05	c Replacing      272 vars Replaced    22598 lits Time:     0.02 s 
642.84/22.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
642.84/22.05	c bin-w-bin subsume rem         1586 bins  time:  0.00 s
642.84/22.06	c subs with bin:       40  lits-rem:        86  v-fix:    0  time:  0.00 s
642.84/22.07	c Subs w/ non-existent bins:     23 l-rem:     17 v-fix:     0 done:   1749 time:  0.01 s
642.84/22.07	c Removed useless bin:     113  fixed:     0  props:   0.11M  time:  0.00 s
642.84/22.09	c lits-rem:         6  cl-subs:      163  v-elim:    311  v-fix:    0  time:  0.01 s
643.12/22.15	c subs with bin:      151  lits-rem:      4856  v-fix:    0  time:  0.05 s
643.42/22.29	c lits-rem:       811  cl-subs:     1437  v-elim:      0  v-fix:    0  time:  0.14 s
643.72/22.35	c asymm  cl-useful: 0/1378/3022 lits-rem:0 time: 0.06
643.72/22.36	c calculated reachability. Time: 0.00
643.72/22.36	c  N st    18     30504      1438      3022     12465      5843     18085    145082   no data   no data
645.10/22.99	c Following stats are for *FIRST FINISHED THREAD ONLY*
645.10/22.99	c num threads              : 32         
645.10/22.99	c restarts                 : 22         
645.10/22.99	c dynamic restarts         : 0          
645.10/22.99	c static restarts          : 22         
645.10/22.99	c full restarts            : 1          
645.10/22.99	c total simplify time      : 0.11       
645.10/22.99	c learnts DL2              : 0          
645.10/22.99	c learnts size 2           : 411489     
645.10/22.99	c learnts size 1           : 98077       (90.16     % of vars)
645.10/22.99	c filedLit time            : 9.48        (48.49     % time)
645.10/22.99	c v-elim SatELite          : 1314        (1.21      % vars)
645.10/22.99	c SatELite time            : 0.04        (0.19      % time)
645.10/22.99	c v-elim xor               : 0           (0.00      % vars)
645.10/22.99	c xor elim time            : 0.00        (0.00      % time)
645.10/22.99	c num binary xor trees     : 1816       
645.10/22.99	c binxor trees' crown      : 8756        (4.82      leafs/tree)
645.10/22.99	c bin xor find time        : 0.04       
645.10/22.99	c OTF clause improved      : 3082        (0.07      clauses/conflict)
645.10/22.99	c OTF impr. size diff      : 3750        (1.22       lits/clause)
645.10/22.99	c OTF cl watch-shrink      : 12837       (0.29      clauses/conflict)
645.10/22.99	c OTF cl watch-sh-lit      : 19481       (1.52       lits/clause)
645.10/22.99	c tried to recurMin cls    : 0           (0.00       % of conflicts)
645.10/22.99	c updated cache            : 0           (nan        lits/tried recurMin)
645.10/22.99	c unit cls recevied        : 122         (0.12      % of units)
645.10/22.99	c unit cls sent            : 120         (0.12      % of units)
645.10/22.99	c bin cls recevied         : 18589      
645.10/22.99	c bin cls sent             : 217        
645.10/22.99	c clauses over max glue    : 0           (0.00      % of all clauses)
645.10/22.99	c conflicts                : 44039       (2251.59   / sec)
645.10/22.99	c decisions                : 71342       (0.00      % random)
645.10/22.99	c bogo-props               : 415913731   (21264542.06 / sec)
645.10/22.99	c conflict literals        : 1324533     (32.60     % deleted)
645.10/22.99	c Memory used              : 3001.74     MB
645.10/22.99	c single-thread CPU time   : 19.56       s
645.10/22.99	c all-threads sum CPU time : 595.63      s
645.10/22.99	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-3400611-1306232027/watcher-3400611-1306232027 -o /tmp/evaluation-result-3400611-1306232027/solver-3400611-1306232027 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400611-1306232027.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: 0.00 0.00 0.00 1/413 7383
/proc/meminfo: memFree=255168360/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=10544 CPUtime=0 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) D 7381 7383 7353 0 -1 4194304 97 0 0 0 0 0 0 0 20 0 1 0 734689189 10797056 54 268435456000 4194304 4580107 140733898713072 18446744073709551615 258646036054 0 0 4096 0 18446744071562234650 0 0 17 4 0 0 0
/proc/7383/statm: 2636 54 41 95 0 45 0

[startup+0.04328 s]
/proc/loadavg: 0.00 0.00 0.00 1/413 7383
/proc/meminfo: memFree=255168360/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=10544 CPUtime=0 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) D 7381 7383 7353 0 -1 4194304 97 0 0 0 0 0 0 0 20 0 1 0 734689189 10797056 54 268435456000 4194304 4580107 140733898713072 18446744073709551615 258646036054 0 0 4096 0 18446744071562234650 0 0 17 4 0 0 0
/proc/7383/statm: 2636 54 41 95 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10544

[startup+0.101091 s]
/proc/loadavg: 0.00 0.00 0.00 1/413 7383
/proc/meminfo: memFree=255168360/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=338000 CPUtime=1.43 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) R 7381 7383 7353 0 -1 4202496 434 0 1 0 143 0 0 0 24 0 32 0 734689189 346112000 376 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026442156 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 4
/proc/7383/statm: 84500 376 297 95 0 79482 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 338000

[startup+0.301343 s]
/proc/loadavg: 0.00 0.00 0.00 1/413 7383
/proc/meminfo: memFree=255168360/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=1432092 CPUtime=4.48 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) S 7381 7383 7353 0 -1 4202496 37439 0 1 0 263 185 0 0 17 0 32 0 734689189 1466462208 32930 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 4
/proc/7383/statm: 358184 33121 335 95 0 353166 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 1432092

[startup+0.701126 s]
/proc/loadavg: 0.00 0.00 0.00 1/413 7383
/proc/meminfo: memFree=255168360/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=1721492 CPUtime=9.37 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) R 7381 7383 7353 0 -1 4202496 168710 0 1 0 489 448 0 0 16 0 32 0 734689189 1762807808 140429 268435456000 4194304 4580107 140733898713072 18446744073709551615 258650653361 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 4
/proc/7383/statm: 430373 140495 335 95 0 425355 0
Current children cumulated CPU time (s) 9.37
Current children cumulated vsize (KiB) 1721492

[startup+1.50316 s]
/proc/loadavg: 0.00 0.00 0.00 14/445 7415
/proc/meminfo: memFree=254289824/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=2103216 CPUtime=23.4 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) R 7381 7383 7353 0 -1 4202496 323484 0 1 0 915 1425 0 0 16 0 32 0 734689189 2153693184 264318 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 4
/proc/7383/statm: 525804 264319 335 95 0 520786 0
[pid=7383/tid=7385] ppid=7381 vsize=2103216 CPUtime=0.77 cores=0-31
/proc/7383/task/7385/stat : 7385 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10717 0 0 0 31 46 0 0 16 0 32 0 734689195 2153693184 264319 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7383/tid=7386] ppid=7381 vsize=2103216 CPUtime=0.76 cores=0-31
/proc/7383/task/7386/stat : 7386 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10001 0 0 0 27 49 0 0 16 0 32 0 734689195 2153693184 264320 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7383/tid=7387] ppid=7381 vsize=2103216 CPUtime=0.76 cores=0-31
/proc/7383/task/7387/stat : 7387 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 9633 0 0 0 27 49 0 0 16 0 32 0 734689195 2153693184 264321 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604506032979424 0 0 -1 3 0 0 0
[pid=7383/tid=7388] ppid=7381 vsize=2103216 CPUtime=0.59 cores=0-31
/proc/7383/task/7388/stat : 7388 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 9185 0 0 0 29 30 0 0 16 0 32 0 734689195 2153693184 264321 268435456000 4194304 4580107 140733898713072 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7383/tid=7389] ppid=7381 vsize=2103216 CPUtime=0.72 cores=0-31
/proc/7383/task/7389/stat : 7389 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10189 0 0 0 29 43 0 0 16 0 32 0 734689195 2153693184 264321 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=7383/tid=7390] ppid=7381 vsize=2103216 CPUtime=0.77 cores=0-31
/proc/7383/task/7390/stat : 7390 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10243 0 0 0 30 47 0 0 16 0 32 0 734689195 2153693184 264322 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7383/tid=7391] ppid=7381 vsize=2103216 CPUtime=0.8 cores=0-31
/proc/7383/task/7391/stat : 7391 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 10094 0 0 0 28 52 0 0 16 0 32 0 734689195 2153693184 264322 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604483418226144 0 0 -1 15 0 0 0
[pid=7383/tid=7392] ppid=7381 vsize=2103216 CPUtime=0.68 cores=0-31
/proc/7383/task/7392/stat : 7392 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11997 0 0 0 27 41 0 0 16 0 32 0 734689195 2153693184 264324 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7383/tid=7393] ppid=7381 vsize=2103216 CPUtime=0.59 cores=0-31
/proc/7383/task/7393/stat : 7393 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 8337 0 0 0 26 33 0 0 16 0 32 0 734689195 2153693184 264324 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=7383/tid=7394] ppid=7381 vsize=2103216 CPUtime=0.74 cores=0-31
/proc/7383/task/7394/stat : 7394 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10687 0 0 0 27 47 0 0 16 0 32 0 734689195 2153693184 264325 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=7383/tid=7395] ppid=7381 vsize=2103216 CPUtime=0.6 cores=0-31
/proc/7383/task/7395/stat : 7395 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10433 0 0 0 27 33 0 0 16 0 32 0 734689195 2153693184 264326 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=7383/tid=7396] ppid=7381 vsize=2103216 CPUtime=0.71 cores=0-31
/proc/7383/task/7396/stat : 7396 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 8828 0 0 0 28 43 0 0 16 0 32 0 734689195 2153693184 264326 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7383/tid=7397] ppid=7381 vsize=2103216 CPUtime=0.72 cores=0-31
/proc/7383/task/7397/stat : 7397 (strangenight2-m) D 7381 7383 7353 0 -1 4202560 10216 0 0 0 28 44 0 0 16 0 32 0 734689195 2153693184 264326 268435456000 4194304 4580107 140733898713072 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=7383/tid=7398] ppid=7381 vsize=2103216 CPUtime=0.73 cores=0-31
/proc/7383/task/7398/stat : 7398 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10125 0 0 0 29 44 0 0 16 0 32 0 734689195 2153693184 264328 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=7383/tid=7399] ppid=7381 vsize=2103216 CPUtime=0.64 cores=0-31
/proc/7383/task/7399/stat : 7399 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 9171 0 0 0 28 36 0 0 16 0 32 0 734689195 2153693184 264328 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7383/tid=7400] ppid=7381 vsize=2103216 CPUtime=0.76 cores=0-31
/proc/7383/task/7400/stat : 7400 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11184 0 0 0 28 48 0 0 16 0 32 0 734689195 2153693184 264328 268435456000 4194304 4580107 140733898713072 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7383/tid=7401] ppid=7381 vsize=2103216 CPUtime=0.75 cores=0-31
/proc/7383/task/7401/stat : 7401 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10043 0 0 0 26 49 0 0 16 0 32 0 734689195 2153693184 264328 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=7383/tid=7402] ppid=7381 vsize=2103216 CPUtime=0.74 cores=0-31
/proc/7383/task/7402/stat : 7402 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 9963 0 0 0 27 47 0 0 16 0 32 0 734689195 2153693184 264330 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=7383/tid=7403] ppid=7381 vsize=2103216 CPUtime=0.75 cores=0-31
/proc/7383/task/7403/stat : 7403 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 9959 0 0 0 30 45 0 0 16 0 32 0 734689195 2153693184 264330 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=7383/tid=7404] ppid=7381 vsize=2103216 CPUtime=0.75 cores=0-31
/proc/7383/task/7404/stat : 7404 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 9374 0 0 0 28 47 0 0 16 0 32 0 734689195 2153693184 264330 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=7383/tid=7405] ppid=7381 vsize=2103216 CPUtime=0.77 cores=0-31
/proc/7383/task/7405/stat : 7405 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 12036 0 0 0 29 48 0 0 16 0 32 0 734689195 2153693184 264331 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7383/tid=7406] ppid=7381 vsize=2103216 CPUtime=0.74 cores=0-31
/proc/7383/task/7406/stat : 7406 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10009 0 0 0 27 47 0 0 16 0 32 0 734689195 2153693184 264332 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=7383/tid=7407] ppid=7381 vsize=2103216 CPUtime=0.76 cores=0-31
/proc/7383/task/7407/stat : 7407 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 9619 0 0 0 27 49 0 0 16 0 32 0 734689195 2153693184 264333 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=7383/tid=7408] ppid=7381 vsize=2103216 CPUtime=0.79 cores=0-31
/proc/7383/task/7408/stat : 7408 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10029 0 0 0 30 49 0 0 16 0 32 0 734689195 2153693184 264334 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7383/tid=7409] ppid=7381 vsize=2103216 CPUtime=0.67 cores=0-31
/proc/7383/task/7409/stat : 7409 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 9657 0 0 0 27 40 0 0 16 0 32 0 734689195 2153693184 264334 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=7383/tid=7410] ppid=7381 vsize=2103216 CPUtime=0.67 cores=0-31
/proc/7383/task/7410/stat : 7410 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 8455 0 0 0 28 39 0 0 16 0 32 0 734689195 2153693184 264335 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=7383/tid=7411] ppid=7381 vsize=2103216 CPUtime=0.8 cores=0-31
/proc/7383/task/7411/stat : 7411 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10947 0 0 0 28 52 0 0 16 0 32 0 734689195 2153693184 264335 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=7383/tid=7412] ppid=7381 vsize=2103216 CPUtime=0.76 cores=0-31
/proc/7383/task/7412/stat : 7412 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10921 0 0 0 29 47 0 0 16 0 32 0 734689195 2153693184 264335 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=7383/tid=7413] ppid=7381 vsize=2103216 CPUtime=0.72 cores=0-31
/proc/7383/task/7413/stat : 7413 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10561 0 0 0 29 43 0 0 16 0 32 0 734689195 2153693184 264335 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=7383/tid=7414] ppid=7381 vsize=2103216 CPUtime=0.61 cores=0-31
/proc/7383/task/7414/stat : 7414 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 8617 0 0 0 27 34 0 0 16 0 32 0 734689195 2153693184 264335 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=7383/tid=7415] ppid=7381 vsize=2103216 CPUtime=0.73 cores=0-31
/proc/7383/task/7415/stat : 7415 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10958 0 0 0 28 45 0 0 16 0 32 0 734689195 2153693184 264336 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604503596015072 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 23.4
Current children cumulated vsize (KiB) 2103216

[startup+3.10221 s]
/proc/loadavg: 0.00 0.00 0.00 5/445 7415
/proc/meminfo: memFree=254028680/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=2374528 CPUtime=53.37 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) R 7381 7383 7353 0 -1 4202496 369998 0 1 0 1644 3693 0 0 15 0 32 0 734689189 2431516672 310831 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 4
/proc/7383/statm: 593632 310831 336 95 0 588614 0
[pid=7383/tid=7385] ppid=7381 vsize=2374528 CPUtime=1.67 cores=0-31
/proc/7383/task/7385/stat : 7385 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11960 0 0 0 56 111 0 0 15 0 32 0 734689195 2431516672 310833 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7383/tid=7386] ppid=7381 vsize=2374528 CPUtime=1.73 cores=0-31
/proc/7383/task/7386/stat : 7386 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11301 0 0 0 48 125 0 0 16 0 32 0 734689195 2431516672 310833 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446744071566928944 0 0 -1 2 0 0 0
[pid=7383/tid=7387] ppid=7381 vsize=2374528 CPUtime=1.67 cores=0-31
/proc/7383/task/7387/stat : 7387 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10931 0 0 0 48 119 0 0 16 0 32 0 734689195 2431516672 310833 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7383/tid=7388] ppid=7381 vsize=2374528 CPUtime=1.54 cores=0-31
/proc/7383/task/7388/stat : 7388 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 10714 0 0 0 52 102 0 0 15 0 32 0 734689195 2431516672 310833 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604487553498592 0 0 -1 4 0 0 0
[pid=7383/tid=7389] ppid=7381 vsize=2374528 CPUtime=1.68 cores=0-31
/proc/7383/task/7389/stat : 7389 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11523 0 0 0 51 117 0 0 15 0 32 0 734689195 2431516672 310834 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=7383/tid=7390] ppid=7381 vsize=2374528 CPUtime=1.67 cores=0-31
/proc/7383/task/7390/stat : 7390 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11769 0 0 0 52 115 0 0 15 0 32 0 734689195 2431516672 310835 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604505831546336 0 0 -1 27 0 0 0
[pid=7383/tid=7391] ppid=7381 vsize=2374528 CPUtime=1.76 cores=0-31
/proc/7383/task/7391/stat : 7391 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11743 0 0 0 48 128 0 0 15 0 32 0 734689195 2431516672 310837 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604505076481504 0 0 -1 23 0 0 0
[pid=7383/tid=7392] ppid=7381 vsize=2374528 CPUtime=1.59 cores=0-31
/proc/7383/task/7392/stat : 7392 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 13279 0 0 0 51 108 0 0 15 0 32 0 734689195 2431516672 310839 268435456000 4194304 4580107 140733898713072 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7383/tid=7393] ppid=7381 vsize=2374528 CPUtime=1.54 cores=0-31
/proc/7383/task/7393/stat : 7393 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 9713 0 0 0 48 106 0 0 15 0 32 0 734689195 2431516672 310839 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604487553498592 0 0 -1 20 0 0 0
[pid=7383/tid=7394] ppid=7381 vsize=2374528 CPUtime=1.69 cores=0-31
/proc/7383/task/7394/stat : 7394 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 12138 0 0 0 47 122 0 0 15 0 32 0 734689195 2431516672 310840 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=7383/tid=7395] ppid=7381 vsize=2374528 CPUtime=1.58 cores=0-31
/proc/7383/task/7395/stat : 7395 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11807 0 0 0 51 107 0 0 16 0 32 0 734689195 2431516672 310842 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=7383/tid=7396] ppid=7381 vsize=2374528 CPUtime=1.64 cores=0-31
/proc/7383/task/7396/stat : 7396 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10487 0 0 0 57 107 0 0 15 0 32 0 734689195 2431516672 310844 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7383/tid=7397] ppid=7381 vsize=2374528 CPUtime=1.61 cores=0-31
/proc/7383/task/7397/stat : 7397 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11884 0 0 0 50 111 0 0 15 0 32 0 734689195 2431516672 310844 268435456000 4194304 4580107 140733898713072 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=7383/tid=7398] ppid=7381 vsize=2374528 CPUtime=1.68 cores=0-31
/proc/7383/task/7398/stat : 7398 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11609 0 0 0 51 117 0 0 15 0 32 0 734689195 2431516672 310844 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446744071566932464 0 0 -1 16 0 0 0
[pid=7383/tid=7399] ppid=7381 vsize=2374528 CPUtime=1.6 cores=0-31
/proc/7383/task/7399/stat : 7399 (strangenight2-m) D 7381 7383 7353 0 -1 4202560 10706 0 0 0 54 106 0 0 15 0 32 0 734689195 2431516672 310844 268435456000 4194304 4580107 140733898713072 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7383/tid=7400] ppid=7381 vsize=2374528 CPUtime=1.68 cores=0-31
/proc/7383/task/7400/stat : 7400 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 12440 0 0 0 52 116 0 0 15 0 32 0 734689195 2431516672 310845 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446744071566932464 0 0 -1 6 0 0 0
[pid=7383/tid=7401] ppid=7381 vsize=2374528 CPUtime=1.69 cores=0-31
/proc/7383/task/7401/stat : 7401 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11411 0 0 0 48 121 0 0 15 0 32 0 734689195 2431516672 310846 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=7383/tid=7402] ppid=7381 vsize=2374528 CPUtime=1.69 cores=0-31
/proc/7383/task/7402/stat : 7402 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11382 0 0 0 49 120 0 0 16 0 32 0 734689195 2431516672 310848 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=7383/tid=7403] ppid=7381 vsize=2374528 CPUtime=1.69 cores=0-31
/proc/7383/task/7403/stat : 7403 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11401 0 0 0 51 118 0 0 15 0 32 0 734689195 2431516672 310854 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604474861460960 0 0 -1 13 0 0 0
[pid=7383/tid=7404] ppid=7381 vsize=2374528 CPUtime=1.69 cores=0-31
/proc/7383/task/7404/stat : 7404 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 10905 0 0 0 52 117 0 0 15 0 32 0 734689195 2431516672 310854 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=7383/tid=7405] ppid=7381 vsize=2374528 CPUtime=1.71 cores=0-31
/proc/7383/task/7405/stat : 7405 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 13430 0 0 0 48 123 0 0 16 0 32 0 734689195 2431516672 310856 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=7383/tid=7406] ppid=7381 vsize=2374528 CPUtime=1.71 cores=0-31
/proc/7383/task/7406/stat : 7406 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11400 0 0 0 52 119 0 0 16 0 32 0 734689195 2431516672 310856 268435456000 4194304 4580107 140733898713072 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=7383/tid=7407] ppid=7381 vsize=2374528 CPUtime=1.73 cores=0-31
/proc/7383/task/7407/stat : 7407 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11266 0 0 0 48 125 0 0 16 0 32 0 734689195 2431516672 310857 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604487553498592 0 0 -1 30 0 0 0
[pid=7383/tid=7408] ppid=7381 vsize=2374528 CPUtime=1.71 cores=0-31
/proc/7383/task/7408/stat : 7408 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 11420 0 0 0 52 119 0 0 15 0 32 0 734689195 2431516672 310858 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446744071566925944 0 0 -1 3 0 0 0
[pid=7383/tid=7409] ppid=7381 vsize=2374528 CPUtime=1.61 cores=0-31
/proc/7383/task/7409/stat : 7409 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 11019 0 0 0 49 112 0 0 16 0 32 0 734689195 2431516672 310860 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=7383/tid=7410] ppid=7381 vsize=2374528 CPUtime=1.6 cores=0-31
/proc/7383/task/7410/stat : 7410 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 9646 0 0 0 52 108 0 0 15 0 32 0 734689195 2431516672 310864 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446604476296068576 0 0 -1 22 0 0 0
[pid=7383/tid=7411] ppid=7381 vsize=2374528 CPUtime=1.71 cores=0-31
/proc/7383/task/7411/stat : 7411 (strangenight2-m) D 7381 7383 7353 0 -1 4202560 12230 0 0 0 52 119 0 0 16 0 32 0 734689195 2431516672 310864 268435456000 4194304 4580107 140733898713072 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7383/tid=7412] ppid=7381 vsize=2374528 CPUtime=1.68 cores=0-31
/proc/7383/task/7412/stat : 7412 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 12437 0 0 0 51 117 0 0 15 0 32 0 734689195 2431516672 310865 268435456000 4194304 4580107 140733898713072 18446744073709551615 258651060958 0 0 4096 2 18446744071566929864 0 0 -1 25 0 0 0
[pid=7383/tid=7413] ppid=7381 vsize=2374528 CPUtime=1.67 cores=0-31
/proc/7383/task/7413/stat : 7413 (strangenight2-m) D 7381 7383 7353 0 -1 4202560 12188 0 0 0 50 117 0 0 16 0 32 0 734689195 2431516672 310866 268435456000 4194304 4580107 140733898713072 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=7383/tid=7414] ppid=7381 vsize=2374528 CPUtime=1.52 cores=0-31

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

[pid=7383/tid=7414] ppid=7381 vsize=3193348 CPUtime=18.63 cores=0-31
/proc/7383/task/7414/stat : 7414 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 16655 0 0 0 1714 149 0 0 25 0 32 0 734689195 3269988352 450794 268435456000 4194304 4580107 140733898713072 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=7383/tid=7415] ppid=7381 vsize=3193348 CPUtime=18.76 cores=0-31
/proc/7383/task/7415/stat : 7415 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 63777 0 0 0 1726 150 0 0 25 0 32 0 734689195 3269988352 450794 268435456000 4194304 4580107 140733898713072 18446744073709551615 4318648 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 600.89
Current children cumulated vsize (KiB) 3193348

[startup+22.302 s]
/proc/loadavg: 8.65 1.96 0.64 33/445 7417
/proc/meminfo: memFree=253379596/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=3073776 CPUtime=643.72 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) R 7381 7383 7353 0 -1 4202496 607194 0 1 0 59406 4966 0 0 25 0 32 0 734689189 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 4293163 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 4
/proc/7383/statm: 768444 446882 379 95 0 763426 0
[pid=7383/tid=7385] ppid=7381 vsize=3073776 CPUtime=20.41 cores=0-31
/proc/7383/task/7385/stat : 7385 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 19215 0 0 0 1895 146 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=7383/tid=7386] ppid=7381 vsize=3073776 CPUtime=20.17 cores=0-31
/proc/7383/task/7386/stat : 7386 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17051 0 0 0 1849 168 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604481247059424 0 0 -1 2 0 0 0
[pid=7383/tid=7387] ppid=7381 vsize=3073776 CPUtime=20.09 cores=0-31
/proc/7383/task/7387/stat : 7387 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16329 0 0 0 1852 157 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604503957495264 0 0 -1 13 0 0 0
[pid=7383/tid=7388] ppid=7381 vsize=3073776 CPUtime=19.97 cores=0-31
/proc/7383/task/7388/stat : 7388 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16506 0 0 0 1856 141 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505931103712 0 0 -1 4 0 0 0
[pid=7383/tid=7389] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7389/stat : 7389 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16655 0 0 0 1857 157 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604474280287712 0 0 -1 26 0 0 0
[pid=7383/tid=7390] ppid=7381 vsize=3073776 CPUtime=19.86 cores=0-31
/proc/7383/task/7390/stat : 7390 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17604 0 0 0 1835 151 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604482262007264 0 0 -1 11 0 0 0
[pid=7383/tid=7391] ppid=7381 vsize=3073776 CPUtime=20.22 cores=0-31
/proc/7383/task/7391/stat : 7391 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17544 0 0 0 1853 169 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604484602715616 0 0 -1 14 0 0 0
[pid=7383/tid=7392] ppid=7381 vsize=3073776 CPUtime=20.01 cores=0-31
/proc/7383/task/7392/stat : 7392 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 19811 0 0 0 1854 147 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604504760360416 0 0 -1 24 0 0 0
[pid=7383/tid=7393] ppid=7381 vsize=3073776 CPUtime=19.96 cores=0-31
/proc/7383/task/7393/stat : 7393 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 15447 0 0 0 1849 147 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505966468576 0 0 -1 20 0 0 0
[pid=7383/tid=7394] ppid=7381 vsize=3073776 CPUtime=20.12 cores=0-31
/proc/7383/task/7394/stat : 7394 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18230 0 0 0 1850 162 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505831546336 0 0 -1 19 0 0 0
[pid=7383/tid=7395] ppid=7381 vsize=3073776 CPUtime=19.98 cores=0-31
/proc/7383/task/7395/stat : 7395 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17938 0 0 0 1851 147 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604504467275232 0 0 -1 16 0 0 0
[pid=7383/tid=7396] ppid=7381 vsize=3073776 CPUtime=20.1 cores=0-31
/proc/7383/task/7396/stat : 7396 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16693 0 0 0 1869 141 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604483418226144 0 0 -1 30 0 0 0
[pid=7383/tid=7397] ppid=7381 vsize=3073776 CPUtime=19.86 cores=0-31
/proc/7383/task/7397/stat : 7397 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18110 0 0 0 1842 144 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604506032979424 0 0 -1 3 0 0 0
[pid=7383/tid=7398] ppid=7381 vsize=3073776 CPUtime=20.1 cores=0-31
/proc/7383/task/7398/stat : 7398 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17694 0 0 0 1853 157 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604497292803552 0 0 -1 12 0 0 0
[pid=7383/tid=7399] ppid=7381 vsize=3073776 CPUtime=20.04 cores=0-31
/proc/7383/task/7399/stat : 7399 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16898 0 0 0 1857 147 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604499663125984 0 0 -1 5 0 0 0
[pid=7383/tid=7400] ppid=7381 vsize=3073776 CPUtime=20.12 cores=0-31
/proc/7383/task/7400/stat : 7400 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 19206 0 0 0 1855 157 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505533840864 0 0 -1 6 0 0 0
[pid=7383/tid=7401] ppid=7381 vsize=3073776 CPUtime=20.13 cores=0-31
/proc/7383/task/7401/stat : 7401 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17205 0 0 0 1857 156 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604476296068576 0 0 -1 9 0 0 0
[pid=7383/tid=7402] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7402/stat : 7402 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17755 0 0 0 1852 162 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604474861460960 0 0 -1 10 0 0 0
[pid=7383/tid=7403] ppid=7381 vsize=3073776 CPUtime=20.12 cores=0-31
/proc/7383/task/7403/stat : 7403 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17719 0 0 0 1853 159 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604500969954784 0 0 -1 8 0 0 0
[pid=7383/tid=7404] ppid=7381 vsize=3073776 CPUtime=20.11 cores=0-31
/proc/7383/task/7404/stat : 7404 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16998 0 0 0 1858 153 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604482168749536 0 0 -1 14 0 0 0
[pid=7383/tid=7405] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7405/stat : 7405 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17633 0 0 0 1848 166 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604480977616352 0 0 -1 1 0 0 0
[pid=7383/tid=7406] ppid=7381 vsize=3073776 CPUtime=20.43 cores=0-31
/proc/7383/task/7406/stat : 7406 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 18465 0 0 0 1886 157 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026417195 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=7383/tid=7407] ppid=7381 vsize=3073776 CPUtime=20.2 cores=0-31
/proc/7383/task/7407/stat : 7407 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17116 0 0 0 1856 164 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604478831132128 0 0 -1 30 0 0 0
[pid=7383/tid=7408] ppid=7381 vsize=3073776 CPUtime=20.11 cores=0-31
/proc/7383/task/7408/stat : 7408 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17811 0 0 0 1856 155 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604487553498592 0 0 -1 7 0 0 0
[pid=7383/tid=7409] ppid=7381 vsize=3073776 CPUtime=20.09 cores=0-31
/proc/7383/task/7409/stat : 7409 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 15744 0 0 0 1856 153 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505076481504 0 0 -1 21 0 0 0
[pid=7383/tid=7410] ppid=7381 vsize=3073776 CPUtime=20.06 cores=0-31
/proc/7383/task/7410/stat : 7410 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 15621 0 0 0 1852 154 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604479084494304 0 0 -1 22 0 0 0
[pid=7383/tid=7411] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7411/stat : 7411 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17814 0 0 0 1854 160 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604480801644000 0 0 -1 31 0 0 0
[pid=7383/tid=7412] ppid=7381 vsize=3073776 CPUtime=20.11 cores=0-31
/proc/7383/task/7412/stat : 7412 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18124 0 0 0 1855 156 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604492292488672 0 0 -1 25 0 0 0
[pid=7383/tid=7413] ppid=7381 vsize=3073776 CPUtime=20.08 cores=0-31
/proc/7383/task/7413/stat : 7413 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18528 0 0 0 1849 159 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604503596015072 0 0 -1 18 0 0 0
[pid=7383/tid=7414] ppid=7381 vsize=3073776 CPUtime=19.94 cores=0-31
/proc/7383/task/7414/stat : 7414 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16934 0 0 0 1844 150 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446744071566931904 0 0 -1 15 0 0 0
[pid=7383/tid=7415] ppid=7381 vsize=3073776 CPUtime=20.07 cores=0-31
/proc/7383/task/7415/stat : 7415 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 63922 0 0 0 1857 150 0 0 25 0 32 0 734689195 3147546624 446882 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505648397792 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 643.72
Current children cumulated vsize (KiB) 3073776

[startup+22.702 s]
/proc/loadavg: 8.65 1.96 0.64 33/445 7417
/proc/meminfo: memFree=253379596/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=3073776 CPUtime=644.7 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) S 7381 7383 7353 0 -1 4202496 607311 0 1 0 59504 4966 0 0 25 0 32 0 734689189 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 4
/proc/7383/statm: 768444 446999 379 95 0 763426 0
[pid=7383/tid=7385] ppid=7381 vsize=3073776 CPUtime=20.81 cores=0-31
/proc/7383/task/7385/stat : 7385 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 19332 0 0 0 1935 146 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=7383/tid=7386] ppid=7381 vsize=3073776 CPUtime=20.17 cores=0-31
/proc/7383/task/7386/stat : 7386 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17051 0 0 0 1849 168 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604481247059424 0 0 -1 2 0 0 0
[pid=7383/tid=7387] ppid=7381 vsize=3073776 CPUtime=20.09 cores=0-31
/proc/7383/task/7387/stat : 7387 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16329 0 0 0 1852 157 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604503957495264 0 0 -1 13 0 0 0
[pid=7383/tid=7388] ppid=7381 vsize=3073776 CPUtime=19.97 cores=0-31
/proc/7383/task/7388/stat : 7388 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16506 0 0 0 1856 141 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505931103712 0 0 -1 4 0 0 0
[pid=7383/tid=7389] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7389/stat : 7389 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16655 0 0 0 1857 157 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604474280287712 0 0 -1 26 0 0 0
[pid=7383/tid=7390] ppid=7381 vsize=3073776 CPUtime=19.86 cores=0-31
/proc/7383/task/7390/stat : 7390 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17604 0 0 0 1835 151 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604482262007264 0 0 -1 11 0 0 0
[pid=7383/tid=7391] ppid=7381 vsize=3073776 CPUtime=20.22 cores=0-31
/proc/7383/task/7391/stat : 7391 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17544 0 0 0 1853 169 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604484602715616 0 0 -1 14 0 0 0
[pid=7383/tid=7392] ppid=7381 vsize=3073776 CPUtime=20.01 cores=0-31
/proc/7383/task/7392/stat : 7392 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 19811 0 0 0 1854 147 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604504760360416 0 0 -1 24 0 0 0
[pid=7383/tid=7393] ppid=7381 vsize=3073776 CPUtime=19.96 cores=0-31
/proc/7383/task/7393/stat : 7393 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 15447 0 0 0 1849 147 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505966468576 0 0 -1 20 0 0 0
[pid=7383/tid=7394] ppid=7381 vsize=3073776 CPUtime=20.12 cores=0-31
/proc/7383/task/7394/stat : 7394 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18230 0 0 0 1850 162 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505831546336 0 0 -1 19 0 0 0
[pid=7383/tid=7395] ppid=7381 vsize=3073776 CPUtime=19.98 cores=0-31
/proc/7383/task/7395/stat : 7395 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17938 0 0 0 1851 147 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604504467275232 0 0 -1 16 0 0 0
[pid=7383/tid=7396] ppid=7381 vsize=3073776 CPUtime=20.1 cores=0-31
/proc/7383/task/7396/stat : 7396 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16693 0 0 0 1869 141 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604483418226144 0 0 -1 30 0 0 0
[pid=7383/tid=7397] ppid=7381 vsize=3073776 CPUtime=19.86 cores=0-31
/proc/7383/task/7397/stat : 7397 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18110 0 0 0 1842 144 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604506032979424 0 0 -1 3 0 0 0
[pid=7383/tid=7398] ppid=7381 vsize=3073776 CPUtime=20.1 cores=0-31
/proc/7383/task/7398/stat : 7398 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17694 0 0 0 1853 157 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604497292803552 0 0 -1 12 0 0 0
[pid=7383/tid=7399] ppid=7381 vsize=3073776 CPUtime=20.04 cores=0-31
/proc/7383/task/7399/stat : 7399 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16898 0 0 0 1857 147 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604499663125984 0 0 -1 5 0 0 0
[pid=7383/tid=7400] ppid=7381 vsize=3073776 CPUtime=20.12 cores=0-31
/proc/7383/task/7400/stat : 7400 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 19206 0 0 0 1855 157 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505533840864 0 0 -1 6 0 0 0
[pid=7383/tid=7401] ppid=7381 vsize=3073776 CPUtime=20.13 cores=0-31
/proc/7383/task/7401/stat : 7401 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17205 0 0 0 1857 156 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604476296068576 0 0 -1 9 0 0 0
[pid=7383/tid=7402] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7402/stat : 7402 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17755 0 0 0 1852 162 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604474861460960 0 0 -1 10 0 0 0
[pid=7383/tid=7403] ppid=7381 vsize=3073776 CPUtime=20.12 cores=0-31
/proc/7383/task/7403/stat : 7403 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17719 0 0 0 1853 159 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604500969954784 0 0 -1 8 0 0 0
[pid=7383/tid=7404] ppid=7381 vsize=3073776 CPUtime=20.11 cores=0-31
/proc/7383/task/7404/stat : 7404 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16998 0 0 0 1858 153 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604482168749536 0 0 -1 14 0 0 0
[pid=7383/tid=7405] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7405/stat : 7405 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17633 0 0 0 1848 166 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604480977616352 0 0 -1 1 0 0 0
[pid=7383/tid=7406] ppid=7381 vsize=3073776 CPUtime=20.83 cores=0-31
/proc/7383/task/7406/stat : 7406 (strangenight2-m) R 7381 7383 7353 0 -1 4202560 18465 0 0 0 1926 157 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026417348 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=7383/tid=7407] ppid=7381 vsize=3073776 CPUtime=20.2 cores=0-31
/proc/7383/task/7407/stat : 7407 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17116 0 0 0 1856 164 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604478831132128 0 0 -1 30 0 0 0
[pid=7383/tid=7408] ppid=7381 vsize=3073776 CPUtime=20.11 cores=0-31
/proc/7383/task/7408/stat : 7408 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17811 0 0 0 1856 155 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604487553498592 0 0 -1 7 0 0 0
[pid=7383/tid=7409] ppid=7381 vsize=3073776 CPUtime=20.09 cores=0-31
/proc/7383/task/7409/stat : 7409 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 15744 0 0 0 1856 153 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505076481504 0 0 -1 21 0 0 0
[pid=7383/tid=7410] ppid=7381 vsize=3073776 CPUtime=20.06 cores=0-31
/proc/7383/task/7410/stat : 7410 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 15621 0 0 0 1852 154 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604479084494304 0 0 -1 22 0 0 0
[pid=7383/tid=7411] ppid=7381 vsize=3073776 CPUtime=20.14 cores=0-31
/proc/7383/task/7411/stat : 7411 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 17814 0 0 0 1854 160 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604480801644000 0 0 -1 31 0 0 0
[pid=7383/tid=7412] ppid=7381 vsize=3073776 CPUtime=20.11 cores=0-31
/proc/7383/task/7412/stat : 7412 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18124 0 0 0 1855 156 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604492292488672 0 0 -1 25 0 0 0
[pid=7383/tid=7413] ppid=7381 vsize=3073776 CPUtime=20.08 cores=0-31
/proc/7383/task/7413/stat : 7413 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 18528 0 0 0 1849 159 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604503596015072 0 0 -1 18 0 0 0
[pid=7383/tid=7414] ppid=7381 vsize=3073776 CPUtime=19.94 cores=0-31
/proc/7383/task/7414/stat : 7414 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 16934 0 0 0 1844 150 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446744071566931904 0 0 -1 15 0 0 0
[pid=7383/tid=7415] ppid=7381 vsize=3073776 CPUtime=20.07 cores=0-31
/proc/7383/task/7415/stat : 7415 (strangenight2-m) S 7381 7383 7353 0 -1 4202560 63922 0 0 0 1857 150 0 0 25 0 32 0 734689195 3147546624 446999 268435456000 4194304 4580107 140733898713072 18446744073709551615 47851026441780 0 0 4096 2 18446604505648397792 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 644.7
Current children cumulated vsize (KiB) 3073776

[startup+23.1191 s]
/proc/loadavg: 8.65 1.96 0.64 2/415 7417
/proc/meminfo: memFree=253391140/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=0 CPUtime=645.43 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) Z 7381 7383 7353 0 -1 4203548 607457 0 1 0 59562 4981 0 0 20 0 2 0 734689189 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 4
/proc/7383/statm: 0 0 0 0 0 0 0
[pid=7383/tid=7404] ppid=7381 vsize=0 CPUtime=20.23 cores=0-31
/proc/7383/task/7404/stat : 7404 (strangenight2-m) R 7381 7383 7353 0 -1 4203588 16998 0 0 0 1858 165 0 0 18 0 2 0 734689195 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 645.43
Current children cumulated vsize (KiB) 0

[startup+23.2011 s]
/proc/loadavg: 8.65 1.96 0.64 2/415 7417
/proc/meminfo: memFree=253391140/264257624 swapFree=67111528/67111528
[pid=7383] ppid=7381 vsize=0 CPUtime=645.52 cores=0-31
/proc/7383/stat : 7383 (strangenight2-m) Z 7381 7383 7353 0 -1 4203548 607457 0 1 0 59562 4990 0 0 20 0 2 0 734689189 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 4
/proc/7383/statm: 0 0 0 0 0 0 0
[pid=7383/tid=7404] ppid=7381 vsize=0 CPUtime=20.31 cores=0-31
/proc/7383/task/7404/stat : 7404 (strangenight2-m) R 7381 7383 7353 0 -1 4203588 16998 0 0 0 1858 173 0 0 18 0 2 0 734689195 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 645.52
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 23.2432
CPU time (s): 645.57
CPU user time (s): 595.628
CPU system time (s): 49.9414
CPU usage (%): 2777.46
Max. virtual memory (cumulated for all children) (KiB): 3193348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 595.628
system time used= 49.9414
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607457
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 922882
involuntary context switches= 2656

runsolver used 0.158975 second user time and 0.625904 second system time

The end

Launcher Data

Begin job on node200 at 2011-05-24 12:13:47
IDJOB=3400611
IDBENCH=20346
IDSOLVER=1886
FILE ID=node200/3400611-1306232027
RUNJOBID= node200-1306232027-7371
PBS_JOBID= 13411749
Free space on /tmp= 62040 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400611-1306232027/watcher-3400611-1306232027 -o /tmp/evaluation-result-3400611-1306232027/solver-3400611-1306232027 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400611-1306232027.cnf

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

MD5SUM BENCH= 083d28c2adf10233f37f8b5a078c94a9
RANDOM SEED=1186603058

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.049
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.09
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.049
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.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

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

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

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
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.09
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.049
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.049
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255169020 kB
Buffers:        462664 kB
Cached:        8220452 kB
SwapCached:          0 kB
Active:        7766740 kB
Inactive:       984820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255169020 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13044 kB
Writeback:           0 kB
AnonPages:       68064 kB
Mapped:          13484 kB
Slab:           253972 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191228 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= 62032 MiB
End job on node200 at 2011-05-24 12:14:11