Trace number 3400700

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 680.201 33.5338

General information on the benchmark

Namevelev-pipe-o-uns-1.1-6.cnf
MD5SUMd986f0b849e7c714ed5d3a26373567af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark383.181
Satisfiable
(Un)Satisfiability was proved
Number of variables17710
Number of clauses304026
Sum of the clauses size890580
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2268354
Number of clauses of size 326401
Number of clauses of size 4173
Number of clauses of size 5120
Number of clauses of size over 58977

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3400700-1306356029.cnf'
0.00/0.09	c -- header says num vars:          17710
0.00/0.09	c -- header says num clauses:      304026
22.26/1.69	c -- clauses added:            0 learnts,       304026 normals,            0 xors
22.26/1.69	c -- vars added      17710
22.26/1.69	c Parsing time:  0.26 s
22.26/1.69	c  N st     0         0     17710     35671    268354         0    890579         0   no data   no data
45.29/2.41	c asymm  cl-useful: 470/5723/35670 lits-rem:4671 time: 0.68
116.38/9.36	c Flit:   273 Blit:     63 bXBeca:    0 bXProp: 2030 Bins:      0 BRemL:      0 BRemN:      0 P: 23.9M T:  1.97
116.38/9.39	c Cleaning up after failed var search:     0.02 s 
119.56/9.42	c Replacing     2030 vars Replaced    26831 lits Time:     0.03 s 
122.81/9.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.81/9.64	c bin-w-bin subsume rem           49 bins  time:  0.02 s
124.96/9.82	c subs with bin:       96  lits-rem:       594  v-fix:    0  time:  0.16 s
124.96/9.89	c Subs w/ non-existent bins:      0 l-rem:     44 v-fix:     0 done:  14780 time:  0.07 s
126.81/10.01	c Removed useless bin:     586  fixed:     0  props:   5.75M  time:  0.11 s
150.60/10.92	c lits-rem:       252  cl-subs:      915  v-elim:   4926  v-fix:    0  time:  0.66 s
150.60/11.02	c Finding binary XORs  T:     0.09 s  found:      64
154.69/11.05	c Replacing       64 vars Replaced    14000 lits Time:     0.03 s 
154.69/11.12	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
154.69/11.12	c calculated reachability. Time: 0.02
154.69/11.14	c Calc default polars -  time:   0.01 s pos:    1261 undec:    8081 neg:    8368
154.69/11.14	c =========================================================================================
154.69/11.14	c types(t): F = full restart, N = normal restart
154.69/11.14	c types(t): S = simplification begin/end, E = solution found
154.69/11.14	c restart types(rt): st = static, dy = dynamic
154.69/11.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
154.69/11.14	c  B st     0         0      9790     25339    203638         0    756423         0   no data   no data
183.25/12.00	c  N dy    23      4064      9784     25339    203850      3726    756414    170296     30.17     33.36
202.31/12.69	c  N dy    45      8460      9784     25339    204542      5118    756414    190041     33.04     35.89
260.38/14.43	c  F st    50     25001      9784     25339    204759      9845    756413    264775     22.46     13.44
260.38/14.49	c  N st    50     25001      9784     25078    204674      9845    753595    264736     22.46     13.44
282.12/15.18	c  N dy    56     30001      9745     25078    208281      7410    753595    187911     22.46   no data
282.12/15.18	c  S st    56     30001      9745     25078    208281      7410    753595    187911     22.46   no data
288.51/15.32	c  S st    56     30502      9745     25078    208423      7761    753592    192768     22.46   no data
288.51/15.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
355.58/17.41	c Flit:    19 Blit:      0 bXBeca:    0 bXProp:  108 Bins: 474478 BRemL: 108177 BRemN:      5 P: 30.9M T:  2.08
355.58/17.49	c Replacing      108 vars Replaced    27964 lits Time:     0.07 s 
358.78/17.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
358.78/17.60	c bin-w-bin subsume rem         7910 bins  time:  0.08 s
381.15/18.22	c subs with bin:      795  lits-rem:     25639  v-fix:    0  time:  0.62 s
384.34/18.31	c Subs w/ non-existent bins:      0 l-rem:   1664 v-fix:     0 done:   9615 time:  0.09 s
384.34/18.36	c Removed useless bin:    1002  fixed:     0  props:   2.28M  time:  0.05 s
390.74/18.57	c lits-rem:       419  cl-subs:      186  v-elim:    718  v-fix:    0  time:  0.21 s
393.94/18.68	c subs with bin:       21  lits-rem:      1726  v-fix:    0  time:  0.09 s
397.74/18.76	c lits-rem:      2711  cl-subs:      489  v-elim:      0  v-fix:    0  time:  0.06 s
409.89/19.14	c asymm  cl-useful: 1308/6162/21978 lits-rem:3179 time: 0.38
409.89/19.18	c calculated reachability. Time: 0.02
409.89/19.18	c  N dy    56     30502      8897     21974    543684      3398    689372    780733     22.46   no data
413.09/19.25	c Finding binary XORs  T:     0.06 s  found:       0
428.89/19.77	c  N dy    70     34722      8808     21974    547824      7463    689341    951307     21.84     23.27
451.33/20.73	c  N dy    77     42916      8793     21974    547897      9047    689331    927133     20.27     21.54
488.74/23.06	c Finding binary XORs  T:     0.06 s  found:      70
493.75/23.36	c  S st    81     45756      8774     20498    672577     11528    657675   1284204     19.80     18.89
495.56/23.48	c  S st    81     46257      8774     20498    672600     12002    657673   1294354     19.80   no data
497.44/23.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
529.80/25.20	c Flit:     7 Blit:     13 bXBeca:    0 bXProp:   27 Bins:   3964 BRemL: 134008 BRemN:    765 P: 31.9M T:  1.69
529.80/25.28	c Replacing       97 vars Replaced    31921 lits Time:     0.07 s 
529.80/25.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
532.17/25.38	c bin-w-bin subsume rem        14185 bins  time:  0.07 s
540.97/25.89	c subs with bin:      450  lits-rem:      8404  v-fix:    0  time:  0.51 s
542.91/25.97	c Subs w/ non-existent bins:     18 l-rem:    294 v-fix:     0 done:   8651 time:  0.08 s
544.98/26.03	c Removed useless bin:    7887  fixed:     0  props:   2.43M  time:  0.05 s
549.01/26.25	c lits-rem:       710  cl-subs:      397  v-elim:    832  v-fix:    0  time:  0.22 s
557.10/26.67	c subs with bin:      351  lits-rem:     10973  v-fix:    0  time:  0.39 s
562.19/26.81	c lits-rem:      7261  cl-subs:      775  v-elim:      0  v-fix:    0  time:  0.12 s
562.19/26.84	c vivif2 --  cl tried    18812 cl shrink     1402 lits rem       5243 time: 0.03
562.19/26.87	c vivif2 --  cl tried     9053 cl shrink     3007 lits rem       9801 time: 0.03
571.00/27.15	c asymm  cl-useful: 0/6772/18657 lits-rem:0 time: 0.24
571.00/27.18	c calculated reachability. Time: 0.02
571.00/27.18	c  N dy    81     46257      7819     18657    467039      9050    547630    831091     19.80   no data
609.34/28.31	c  N dy    92     55500      7700     18657    487117     10595    547616    858398     18.26     19.41
657.92/29.87	c  N dy    93     68529      7698     16514    459499     12640    524033    850804     16.28     17.25
660.47/29.99	c  S st    96     69385      7539     14081    435772      9392    499182    761694     16.23      7.65
663.67/30.09	c  N st    96     69833      7539     14081    435776      9829    499178    771272     16.23   no data
679.78/33.27	c Following stats are for *FIRST FINISHED THREAD ONLY*
679.78/33.27	c num threads              : 32         
679.78/33.27	c restarts                 : 118        
679.78/33.27	c dynamic restarts         : 100        
679.78/33.27	c static restarts          : 18         
679.78/33.27	c full restarts            : 2          
679.78/33.27	c total simplify time      : 0.25       
679.78/33.27	c learnts DL2              : 0          
679.78/33.27	c learnts size 2           : 886044     
679.78/33.27	c learnts size 1           : 2239        (12.64     % of vars)
679.78/33.27	c filedLit time            : 4.10        (15.87     % time)
679.78/33.27	c v-elim SatELite          : 6169        (34.83     % vars)
679.78/33.27	c SatELite time            : 0.95        (3.69      % time)
679.78/33.27	c v-elim xor               : 0           (0.00      % vars)
679.78/33.27	c xor elim time            : 0.02        (0.06      % time)
679.78/33.27	c num binary xor trees     : 659        
679.78/33.27	c binxor trees' crown      : 2305        (3.50      leafs/tree)
679.78/33.27	c bin xor find time        : 0.25       
679.78/33.27	c OTF clause improved      : 2718        (0.03      clauses/conflict)
679.78/33.27	c OTF impr. size diff      : 3874        (1.43       lits/clause)
679.78/33.27	c OTF cl watch-shrink      : 72130       (0.72      clauses/conflict)
679.78/33.27	c OTF cl watch-sh-lit      : 538239      (7.46       lits/clause)
679.78/33.27	c tried to recurMin cls    : 44627       (44.66      % of conflicts)
679.78/33.27	c updated cache            : 0           (0.00       lits/tried recurMin)
679.78/33.27	c unit cls recevied        : 87          (3.89      % of units)
679.78/33.27	c unit cls sent            : 927         (41.40     % of units)
679.78/33.27	c bin cls recevied         : 299299     
679.78/33.27	c bin cls sent             : 33317      
679.78/33.27	c clauses over max glue    : 0           (0.00      % of all clauses)
679.78/33.27	c conflicts                : 99919       (3864.58   / sec)
679.78/33.27	c decisions                : 719761      (1.48      % random)
679.78/33.27	c bogo-props               : 485003615   (18758550.40 / sec)
679.78/33.27	c conflict literals        : 3801004     (33.12     % deleted)
679.78/33.27	c Memory used              : 4415.57     MB
679.78/33.27	c single-thread CPU time   : 25.86       s
679.78/33.27	c all-threads sum CPU time : 652.18      s
679.78/33.27	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3400700-1306356029/watcher-3400700-1306356029 -o /tmp/evaluation-result-3400700-1306356029/solver-3400700-1306356029 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400700-1306356029.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: 13.35 22.17 14.93 1/413 17937
/proc/meminfo: memFree=255138380/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=338000 CPUtime=0.71 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) R 17935 17937 17911 0 -1 4202496 436 0 0 0 71 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628278 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17937/statm: 84500 376 297 95 0 79482 0
[pid=17937/tid=17938] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628264 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628278 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628264 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089357 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.105961 s]
/proc/loadavg: 13.35 22.17 14.93 1/413 17937
/proc/meminfo: memFree=255138380/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=1323184 CPUtime=2.19 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) S 17935 17937 17911 0 -1 4202496 9979 0 0 0 134 85 0 0 17 0 32 0 747089356 1354940416 9817 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17937/statm: 330796 9832 334 95 0 325778 0
[pid=17937/tid=17938] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 288 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9838 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 276 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9841 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566930144 0 0 -1 2 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=1323184 CPUtime=0.05 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 316 0 0 0 4 1 0 0 17 0 32 0 747089356 1354940416 9852 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 285 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9854 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 366 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9867 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604478273658336 0 0 -1 8 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 276 0 0 0 4 2 0 0 24 0 32 0 747089356 1354940416 9889 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566926984 0 0 -1 6 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 354 0 0 0 5 2 0 0 18 0 32 0 747089356 1354940416 9890 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566927864 0 0 -1 3 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=1323184 CPUtime=0.02 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 282 0 0 0 0 2 0 0 17 0 32 0 747089356 1354940416 9901 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604478273658336 0 0 -1 27 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 291 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9903 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604481068006880 0 0 -1 0 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 277 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9914 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 322 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9917 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 297 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9938 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 18446604475683102176 0 0 -1 7 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 322 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9941 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 330 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9953 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 275 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9954 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 326 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9956 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604504018378208 0 0 -1 28 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 304 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9957 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 329 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9973 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566924944 0 0 -1 18 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 284 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9989 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 280 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 10003 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604502585146848 0 0 -1 21 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 300 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10008 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 299 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10011 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 316 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10036 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 283 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10036 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=1323184 CPUtime=0.03 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 324 0 0 0 1 2 0 0 17 0 32 0 747089356 1354940416 10041 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=1323184 CPUtime=0.03 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 273 0 0 0 1 2 0 0 17 0 32 0 747089356 1354940416 10051 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=1323184 CPUtime=0.05 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 747089356 1354940416 10054 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604499888831968 0 0 -1 29 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=1323184 CPUtime=0.04 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 300 0 0 0 2 2 0 0 17 0 32 0 747089356 1354940416 10065 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 31 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=1323184 CPUtime=0.05 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 278 0 0 0 3 2 0 0 17 0 32 0 747089356 1354940416 10069 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604479975079392 0 0 -1 23 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 314 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10072 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566927864 0 0 -1 12 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 305 0 0 0 4 2 0 0 17 0 32 0 747089357 1354940416 10080 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 1323184

[startup+0.204949 s]
/proc/loadavg: 13.35 22.17 14.93 1/413 17937
/proc/meminfo: memFree=255138380/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=1335392 CPUtime=3.92 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) R 17935 17937 17911 0 -1 4202496 20466 0 0 0 188 204 0 0 17 0 32 0 747089356 1367441408 19869 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17937/statm: 333848 19916 334 95 0 328830 0
[pid=17937/tid=17938] ppid=17935 vsize=1335392 CPUtime=0.12 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 552 0 0 0 6 6 0 0 17 0 32 0 747089356 1367441408 19920 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=1335392 CPUtime=0.13 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 562 0 0 0 6 7 0 0 17 0 32 0 747089356 1367441408 19949 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604480845798880 0 0 -1 2 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=1335392 CPUtime=0.11 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 619 0 0 0 6 5 0 0 17 0 32 0 747089356 1367441408 19987 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604480797548000 0 0 -1 4 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=1335392 CPUtime=0.12 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 630 0 0 0 6 6 0 0 17 0 32 0 747089356 1367441408 19991 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604478273658336 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=1335392 CPUtime=0.13 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 762 0 0 0 7 6 0 0 17 0 32 0 747089356 1367441408 20016 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 538 0 0 0 6 6 0 0 17 0 32 0 747089356 1367699456 20036 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=1335644 CPUtime=0.13 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 1065 0 0 0 7 6 0 0 17 0 32 0 747089356 1367699456 20050 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=1335644 CPUtime=0.08 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 538 0 0 0 2 6 0 0 17 0 32 0 747089356 1367699456 20057 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=1335644 CPUtime=0.11 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 533 0 0 0 6 5 0 0 17 0 32 0 747089356 1367699456 20064 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 582 0 0 0 6 6 0 0 17 0 32 0 747089356 1367699456 20074 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=1335644 CPUtime=0.13 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 666 0 0 0 6 7 0 0 17 0 32 0 747089356 1367699456 20081 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604505797598688 0 0 -1 10 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 599 0 0 0 7 5 0 0 17 0 32 0 747089356 1367699456 20110 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 713 0 0 0 7 5 0 0 17 0 32 0 747089356 1367699456 20115 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 734 0 0 0 7 5 0 0 17 0 32 0 747089356 1367699456 20122 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604502585146848 0 0 -1 14 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=1335644 CPUtime=0.11 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 531 0 0 0 5 6 0 0 17 0 32 0 747089356 1367699456 20143 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=1335644 CPUtime=0.1 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 634 0 0 0 5 5 0 0 17 0 32 0 747089356 1367699456 20151 268435456000 4194304 4580107 140736829405056 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31

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

[pid=17937/tid=17967] ppid=17935 vsize=4521540 CPUtime=19.91 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 25874 0 0 0 1896 95 0 0 25 0 32 0 747089356 4630056960 685943 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504984911328 0 0 -1 16 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=4521540 CPUtime=23.56 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 19375 0 0 0 2296 60 0 0 18 0 32 0 747089357 4630056960 685943 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504705842656 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 677.44
Current children cumulated vsize (KiB) 4521540

[startup+32.8022 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252386888/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=4521540 CPUtime=678.99 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) S 17935 17937 17911 0 -1 4202496 817903 0 0 0 65124 2775 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 1130385 686470 378 95 0 1125367 0
[pid=17937/tid=17938] ppid=17935 vsize=4521540 CPUtime=22.81 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27832 0 0 0 2195 86 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487842872800 0 0 -1 18 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=4521540 CPUtime=21.95 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26364 0 0 0 2106 89 0 0 20 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479975079392 0 0 -1 30 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=4521540 CPUtime=23.02 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29079 0 0 0 2223 79 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604507956379104 0 0 -1 13 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=4521540 CPUtime=22.5 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29834 0 0 0 2153 97 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604502585146848 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=4521540 CPUtime=26.18 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 31058 0 0 0 2538 80 0 0 25 0 32 0 747089356 4630056960 686475 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222603307 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24520 0 0 0 2022 84 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505848348128 0 0 -1 14 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=4521540 CPUtime=22.03 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27302 0 0 0 2111 92 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479052996064 0 0 -1 21 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=4521540 CPUtime=20.69 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26534 0 0 0 1967 102 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475683102176 0 0 -1 25 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=4521540 CPUtime=18.55 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23430 0 0 0 1783 72 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505797598688 0 0 -1 20 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=4521540 CPUtime=23.86 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27366 0 0 0 2292 94 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475858861536 0 0 -1 7 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=4521540 CPUtime=19.8 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26580 0 0 0 1890 90 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481701125600 0 0 -1 4 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=4521540 CPUtime=18.76 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23909 0 0 0 1783 93 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480797548000 0 0 -1 6 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=4521540 CPUtime=25.75 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 26367 0 0 0 2490 85 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 4401342 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=4521540 CPUtime=20.46 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22762 0 0 0 1962 84 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504018378208 0 0 -1 9 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=4521540 CPUtime=18.61 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24286 0 0 0 1780 81 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604497727847904 0 0 -1 22 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=4521540 CPUtime=22.42 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21524 0 0 0 2165 77 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504179301856 0 0 -1 10 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=4521540 CPUtime=19.76 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26713 0 0 0 1896 80 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499654434272 0 0 -1 7 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=4521540 CPUtime=21.42 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27259 0 0 0 2062 80 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604474427407840 0 0 -1 12 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=4521540 CPUtime=18.59 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24260 0 0 0 1764 95 0 0 22 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487482121696 0 0 -1 19 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=4521540 CPUtime=20.19 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24753 0 0 0 1924 95 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505808494048 0 0 -1 29 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=4521540 CPUtime=20.29 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27505 0 0 0 1937 92 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499888831968 0 0 -1 5 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=4521540 CPUtime=19.27 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22947 0 0 0 1845 82 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480845798880 0 0 -1 11 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26586 0 0 0 2031 75 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487471742432 0 0 -1 1 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=4521540 CPUtime=18.92 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24292 0 0 0 1805 87 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505818783200 0 0 -1 26 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=4521540 CPUtime=20.79 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26883 0 0 0 1993 86 0 0 18 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604478273658336 0 0 -1 24 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=4521540 CPUtime=22.15 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23751 0 0 0 2122 93 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504738938336 0 0 -1 15 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=4521540 CPUtime=18.54 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26253 0 0 0 1758 96 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744071566932544 0 0 -1 3 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=4521540 CPUtime=22.04 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26805 0 0 0 2125 79 0 0 25 0 32 0 747089356 4630056960 686484 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481068006880 0 0 -1 27 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=4521540 CPUtime=21.75 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21346 0 0 0 2078 97 0 0 18 0 32 0 747089356 4630056960 686485 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481446157792 0 0 -1 25 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=4521540 CPUtime=19.91 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 25874 0 0 0 1896 95 0 0 25 0 32 0 747089356 4630056960 686485 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504984911328 0 0 -1 16 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=4521540 CPUtime=23.56 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 19375 0 0 0 2296 60 0 0 18 0 32 0 747089357 4630056960 686485 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504705842656 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 678.99
Current children cumulated vsize (KiB) 4521540

[startup+33.2022 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252382532/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=4521540 CPUtime=679.78 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) S 17935 17937 17911 0 -1 4202496 818433 0 0 0 65203 2775 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 1130385 686999 378 95 0 1125367 0
[pid=17937/tid=17938] ppid=17935 vsize=4521540 CPUtime=22.81 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27832 0 0 0 2195 86 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487842872800 0 0 -1 18 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=4521540 CPUtime=21.95 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26364 0 0 0 2106 89 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479975079392 0 0 -1 30 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=4521540 CPUtime=23.02 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29079 0 0 0 2223 79 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604507956379104 0 0 -1 13 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=4521540 CPUtime=22.5 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29834 0 0 0 2153 97 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604502585146848 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=4521540 CPUtime=26.58 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 31058 0 0 0 2578 80 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222603460 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24520 0 0 0 2022 84 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505848348128 0 0 -1 14 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=4521540 CPUtime=22.03 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27302 0 0 0 2111 92 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479052996064 0 0 -1 21 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=4521540 CPUtime=20.69 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26534 0 0 0 1967 102 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475683102176 0 0 -1 25 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=4521540 CPUtime=18.55 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23430 0 0 0 1783 72 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505797598688 0 0 -1 20 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=4521540 CPUtime=23.86 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27366 0 0 0 2292 94 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475858861536 0 0 -1 7 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=4521540 CPUtime=19.8 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26580 0 0 0 1890 90 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481701125600 0 0 -1 4 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=4521540 CPUtime=18.76 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23909 0 0 0 1783 93 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480797548000 0 0 -1 6 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=4521540 CPUtime=26.15 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 26886 0 0 0 2530 85 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=4521540 CPUtime=20.46 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22762 0 0 0 1962 84 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504018378208 0 0 -1 9 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=4521540 CPUtime=18.61 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24286 0 0 0 1780 81 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604497727847904 0 0 -1 22 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=4521540 CPUtime=22.42 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21524 0 0 0 2165 77 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504179301856 0 0 -1 10 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=4521540 CPUtime=19.76 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26713 0 0 0 1896 80 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499654434272 0 0 -1 7 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=4521540 CPUtime=21.42 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27259 0 0 0 2062 80 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604474427407840 0 0 -1 12 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=4521540 CPUtime=18.59 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24260 0 0 0 1764 95 0 0 22 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487482121696 0 0 -1 19 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=4521540 CPUtime=20.19 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24753 0 0 0 1924 95 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505808494048 0 0 -1 29 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=4521540 CPUtime=20.29 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27505 0 0 0 1937 92 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499888831968 0 0 -1 5 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=4521540 CPUtime=19.27 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22947 0 0 0 1845 82 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480845798880 0 0 -1 11 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26586 0 0 0 2031 75 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487471742432 0 0 -1 1 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=4521540 CPUtime=18.92 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24292 0 0 0 1805 87 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505818783200 0 0 -1 26 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=4521540 CPUtime=20.79 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26883 0 0 0 1993 86 0 0 18 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604478273658336 0 0 -1 24 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=4521540 CPUtime=22.15 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23751 0 0 0 2122 93 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504738938336 0 0 -1 15 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=4521540 CPUtime=18.54 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26253 0 0 0 1758 96 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744071566932544 0 0 -1 3 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=4521540 CPUtime=22.04 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26805 0 0 0 2125 79 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481068006880 0 0 -1 27 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=4521540 CPUtime=21.75 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21346 0 0 0 2078 97 0 0 18 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481446157792 0 0 -1 25 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=4521540 CPUtime=19.91 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 25874 0 0 0 1896 95 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504984911328 0 0 -1 16 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=4521540 CPUtime=23.56 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 19375 0 0 0 2296 60 0 0 18 0 32 0 747089357 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504705842656 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 679.78
Current children cumulated vsize (KiB) 4521540

[startup+33.4012 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252382532/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=0 CPUtime=680.06 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) Z 17935 17937 17911 0 -1 4203548 818437 0 0 0 65218 2788 0 0 18 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 0 0 0 0 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=0 CPUtime=26.35 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4203588 26886 0 0 0 2537 98 0 0 25 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 680.06
Current children cumulated vsize (KiB) 0

[startup+33.5012 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252382532/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=0 CPUtime=680.16 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) Z 17935 17937 17911 0 -1 4203548 818437 0 0 0 65218 2798 0 0 18 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 0 0 0 0 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=0 CPUtime=26.45 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4203588 26886 0 0 0 2537 108 0 0 25 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 680.16
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 33.5338
CPU time (s): 680.201
CPU user time (s): 652.185
CPU system time (s): 28.0157
CPU usage (%): 2028.4
Max. virtual memory (cumulated for all children) (KiB): 4551664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 652.185
system time used= 28.0157
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818437
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= 1341758
involuntary context switches= 13638

runsolver used 0.312952 second user time and 0.98185 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 22:40:29
IDJOB=3400700
IDBENCH=71718
IDSOLVER=1886
FILE ID=node200/3400700-1306356029
RUNJOBID= node200-1306356029-17925
PBS_JOBID= 13411802
Free space on /tmp= 62040 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400700-1306356029/watcher-3400700-1306356029 -o /tmp/evaluation-result-3400700-1306356029/solver-3400700-1306356029 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400700-1306356029.cnf

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

MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED=1834283759

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:      255138660 kB
Buffers:        469056 kB
Cached:        8241876 kB
SwapCached:          0 kB
Active:        7781412 kB
Inactive:       998688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255138660 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10936 kB
Writeback:           0 kB
AnonPages:       70196 kB
Mapped:          13484 kB
Slab:           256144 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   177432 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= 62036 MiB
End job on node200 at 2011-05-25 22:41:03