Trace number 3400750

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 969.06 43.3193

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
MD5SUMcabee0328f774a95ab72be66123bb39b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark80.8837
Satisfiable
(Un)Satisfiability was proved
Number of variables130021
Number of clauses2509375
Sum of the clauses size5678283
Maximum clause length1921
Minimum clause length1
Number of clauses of size 1456
Number of clauses of size 22437138
Number of clauses of size 310555
Number of clauses of size 46624
Number of clauses of size 53927
Number of clauses of size over 550675

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
0.00/0.07	c This is CryptoMiniSat 3.0.0
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c Reading file 'HOME/instance-3400750-1306753922.cnf'
2.56/0.11	c -- header says num vars:         130021
2.56/0.11	c -- header says num clauses:     2509375
211.67/15.37	c -- clauses added:            0 learnts,      2509375 normals,            0 xors
211.67/15.37	c -- vars added     130021
211.67/15.37	c Parsing time:  2.26 s
211.67/15.37	c  N st     0         0    130021     71781   2434960         0   5673471         0   no data   no data
257.49/17.00	c asymm  cl-useful: 17/248/70593 lits-rem:3895 time: 1.39
694.52/30.69	c Flit:  1216 Blit:  14835 bXBeca:    0 bXProp:  291 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 13.63
698.05/30.81	c Cleaning up after failed var search:     0.12 s 
702.91/31.00	c Replacing      292 vars Replaced    10640 lits Time:     0.18 s 
754.03/33.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
759.00/33.66	c bin-w-bin subsume rem         1978 bins  time:  0.22 s
799.57/35.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
933.94/40.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  22443 time:  4.80 s
938.25/40.60	c Removed useless bin:       0  fixed:     0  props:  20.02M  time:  0.22 s
953.29/41.31	c lits-rem:        60  cl-subs:       78  v-elim:    208  v-fix:    0  time:  0.71 s
954.98/41.41	c Finding binary XORs  T:     0.10 s  found:     224
956.66/41.59	c Replacing      224 vars Replaced    11419 lits Time:     0.18 s 
958.26/41.70	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
958.26/41.70	c calculated reachability. Time: 0.00
959.93/41.78	c Calc default polars -  time:   0.07 s pos:    2878 undec:   37437 neg:   89706
959.93/41.78	c =========================================================================================
959.93/41.78	c types(t): F = full restart, N = normal restart
959.93/41.78	c types(t): S = simplification begin/end, E = solution found
959.93/41.78	c restart types(rt): st = static, dy = dynamic
959.93/41.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
959.93/41.78	c  B st     0         0    107055     55506   1845542         0   4283948         0   no data   no data
968.61/42.92	c Following stats are for *FIRST FINISHED THREAD ONLY*
968.61/42.92	c num threads              : 32         
968.61/42.92	c restarts                 : 26         
968.61/42.92	c dynamic restarts         : 20         
968.61/42.92	c static restarts          : 6          
968.61/42.92	c full restarts            : 0          
968.61/42.92	c total simplify time      : 0.54       
968.61/42.92	c learnts DL2              : 0          
968.61/42.92	c learnts size 2           : 2436413    
968.61/42.92	c learnts size 1           : 34113       (26.24     % of vars)
968.61/42.92	c filedLit time            : 0.00        (0.00      % time)
968.61/42.92	c v-elim SatELite          : 0           (0.00      % vars)
968.61/42.92	c SatELite time            : 0.00        (0.00      % time)
968.61/42.92	c v-elim xor               : 0           (0.00      % vars)
968.61/42.92	c xor elim time            : 0.00        (0.00      % time)
968.61/42.92	c num binary xor trees     : 114        
968.61/42.92	c binxor trees' crown      : 154         (1.35      leafs/tree)
968.61/42.92	c bin xor find time        : 0.16       
968.61/42.92	c OTF clause improved      : 154         (0.03      clauses/conflict)
968.61/42.92	c OTF impr. size diff      : 236         (1.53       lits/clause)
968.61/42.92	c OTF cl watch-shrink      : 3090        (0.54      clauses/conflict)
968.61/42.92	c OTF cl watch-sh-lit      : 66401       (21.49      lits/clause)
968.61/42.92	c tried to recurMin cls    : 3609        (62.53      % of conflicts)
968.61/42.92	c updated cache            : 12403       (3.44       lits/tried recurMin)
968.61/42.92	c unit cls recevied        : 0           (0.00      % of units)
968.61/42.92	c unit cls sent            : 0           (0.00      % of units)
968.61/42.92	c bin cls recevied         : 0          
968.61/42.92	c bin cls sent             : 0          
968.61/42.92	c clauses over max glue    : 0           (0.00      % of all clauses)
968.61/42.92	c conflicts                : 5772        (196.30    / sec)
968.61/42.92	c decisions                : 74685       (1.26      % random)
968.61/42.92	c bogo-props               : 210021314   (7142481.83 / sec)
968.61/42.92	c conflict literals        : 1965602     (20.86     % deleted)
968.61/42.92	c Memory used              : 4987.00     MB
968.61/42.92	c single-thread CPU time   : 29.40       s
968.61/42.92	c all-threads sum CPU time : 811.42      s
968.61/42.92	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-3400750-1306753922/watcher-3400750-1306753922 -o /tmp/evaluation-result-3400750-1306753922/solver-3400750-1306753922 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400750-1306753922.cnf 

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

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


[startup+0 s]
/proc/loadavg: 25.04 21.91 13.93 1/413 15960
/proc/meminfo: memFree=263834660/264257624 swapFree=67044428/67111528
[pid=15960] ppid=15958 vsize=338000 CPUtime=0.82 cores=0-31
/proc/15960/stat : 15960 (strangenight2-m) R 15958 15960 15754 0 -1 4202496 470 0 0 0 82 0 0 0 25 0 32 0 1358421 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15960/statm: 84500 410 300 95 0 79482 0
[pid=15960/tid=15961] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15961/stat : 15961 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 4 0 0 0 2 0 0 0 21 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15960/tid=15962] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15962/stat : 15962 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868115 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15960/tid=15963] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15963/stat : 15963 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868115 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15960/tid=15964] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15964/stat : 15964 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15960/tid=15965] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15965/stat : 15965 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15960/tid=15966] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15966/stat : 15966 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868115 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15960/tid=15967] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15967/stat : 15967 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15960/tid=15968] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15968/stat : 15968 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15960/tid=15969] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15969/stat : 15969 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15960/tid=15970] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15970/stat : 15970 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868115 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15960/tid=15971] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15971/stat : 15971 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15960/tid=15972] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15972/stat : 15972 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15960/tid=15973] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15973/stat : 15973 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15960/tid=15974] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15974/stat : 15974 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15960/tid=15975] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15975/stat : 15975 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868112 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15960/tid=15976] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15976/stat : 15976 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15960/tid=15977] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15977/stat : 15977 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15960/tid=15978] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15978/stat : 15978 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15960/tid=15979] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15979/stat : 15979 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868119 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15960/tid=15980] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15980/stat : 15980 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15960/tid=15981] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15981/stat : 15981 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15960/tid=15982] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15982/stat : 15982 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15960/tid=15983] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15983/stat : 15983 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868112 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15960/tid=15984] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15984/stat : 15984 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868115 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15960/tid=15985] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15985/stat : 15985 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15960/tid=15986] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15986/stat : 15986 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15960/tid=15987] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15987/stat : 15987 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868115 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15960/tid=15988] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15988/stat : 15988 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868125 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15960/tid=15989] ppid=15958 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15960/task/15989/stat : 15989 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868121 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15960/tid=15990] ppid=15958 vsize=338000 CPUtime=0 cores=0-31
/proc/15960/task/15990/stat : 15990 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868115 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15960/tid=15991] ppid=15958 vsize=338000 CPUtime=0 cores=0-31
/proc/15960/task/15991/stat : 15991 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 1358422 346112000 410 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868119 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.0748231 s]
/proc/loadavg: 25.04 21.91 13.93 1/413 15960
/proc/meminfo: memFree=263834660/264257624 swapFree=67044428/67111528
[pid=15960] ppid=15958 vsize=731476 CPUtime=1.82 cores=0-31
/proc/15960/stat : 15960 (strangenight2-m) R 15958 15960 15754 0 -1 4202496 1521 0 0 0 178 4 0 0 25 0 32 0 1358421 749031424 1386 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/15960/statm: 182869 1398 322 95 0 177851 0
[pid=15960/tid=15961] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15961/stat : 15961 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 28 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 1440 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15960/tid=15962] ppid=15958 vsize=731476 CPUtime=0.06 cores=0-31
/proc/15960/task/15962/stat : 15962 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34 0 0 0 6 0 0 0 23 0 32 0 1358422 749031424 1505 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15960/tid=15963] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15963/stat : 15963 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 11 0 0 0 5 0 0 0 23 0 32 0 1358422 749031424 1550 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15960/tid=15964] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15964/stat : 15964 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 14 0 0 0 5 0 0 0 23 0 32 0 1358422 749031424 1583 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15960/tid=15965] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15965/stat : 15965 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 54 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 1621 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15960/tid=15966] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15966/stat : 15966 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 21 0 0 0 5 0 0 0 23 0 32 0 1358422 749031424 1683 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15960/tid=15967] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15967/stat : 15967 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 68 0 0 0 5 0 0 0 23 0 32 0 1358422 749031424 1735 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15960/tid=15968] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15968/stat : 15968 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 86 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 1783 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15960/tid=15969] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15969/stat : 15969 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 44 0 0 0 5 0 0 0 24 0 32 0 1358422 749031424 1819 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15960/tid=15970] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15970/stat : 15970 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 25 0 0 0 5 0 0 0 24 0 32 0 1358422 749031424 1853 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15960/tid=15971] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15971/stat : 15971 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 62 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 1898 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15960/tid=15972] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15972/stat : 15972 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34 0 0 0 5 0 0 0 24 0 32 0 1358422 749031424 1930 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15960/tid=15973] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15973/stat : 15973 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 105 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 1970 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15960/tid=15974] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15974/stat : 15974 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 25 0 0 0 5 0 0 0 24 0 32 0 1358422 749031424 2029 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15960/tid=15975] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15975/stat : 15975 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 67 0 0 0 5 0 0 0 24 0 32 0 1358422 749031424 2089 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15960/tid=15976] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15976/stat : 15976 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 41 0 0 0 5 0 0 0 25 0 32 0 1358422 749031424 2129 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15960/tid=15977] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15977/stat : 15977 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 47 0 0 0 5 0 0 0 25 0 32 0 1358422 749031424 2182 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15960/tid=15978] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15978/stat : 15978 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 47 0 0 0 5 0 0 0 25 0 32 0 1358422 749031424 2237 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15960/tid=15979] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15979/stat : 15979 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 64 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 2276 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15960/tid=15980] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15980/stat : 15980 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 74 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 2309 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15960/tid=15981] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15981/stat : 15981 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 82 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 2360 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15960/tid=15982] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15982/stat : 15982 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 70 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 2389 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15960/tid=15983] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15983/stat : 15983 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 108 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 2437 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15960/tid=15984] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15984/stat : 15984 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 85 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 2492 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15960/tid=15985] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15985/stat : 15985 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 68 0 0 0 5 0 0 0 25 0 32 0 1358422 749031424 2544 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15960/tid=15986] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15986/stat : 15986 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 63 0 0 0 5 0 0 0 25 0 32 0 1358422 749031424 2604 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15960/tid=15987] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15987/stat : 15987 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 119 0 0 0 5 0 0 0 18 0 32 0 1358422 749031424 2652 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15960/tid=15988] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15988/stat : 15988 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 62 0 0 0 5 0 0 0 25 0 32 0 1358422 749031424 2697 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15960/tid=15989] ppid=15958 vsize=731476 CPUtime=0.05 cores=0-31
/proc/15960/task/15989/stat : 15989 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 59 0 0 0 5 0 0 0 25 0 32 0 1358422 749031424 2744 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15960/tid=15990] ppid=15958 vsize=731476 CPUtime=0.03 cores=0-31
/proc/15960/task/15990/stat : 15990 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 53 0 0 0 3 0 0 0 25 0 32 0 1358422 749031424 2779 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15960/tid=15991] ppid=15958 vsize=731476 CPUtime=0.03 cores=0-31
/proc/15960/task/15991/stat : 15991 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 102 0 0 0 3 0 0 0 25 0 32 0 1358422 749031424 2828 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 731476

[startup+0.105807 s]
/proc/loadavg: 25.04 21.91 13.93 1/413 15960
/proc/meminfo: memFree=263834660/264257624 swapFree=67044428/67111528
[pid=15960] ppid=15958 vsize=1060392 CPUtime=2.56 cores=0-31
/proc/15960/stat : 15960 (strangenight2-m) R 15958 15960 15754 0 -1 4202496 9332 0 0 0 179 77 0 0 25 0 32 0 1358421 1085841408 9194 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/15960/statm: 265098 9200 330 95 0 260080 0
[pid=15960/tid=15961] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15961/stat : 15961 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 1358422 1085841408 9209 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 18446604488609480160 0 0 -1 1 0 0 0
[pid=15960/tid=15962] ppid=15958 vsize=1060392 CPUtime=0.08 cores=0-31
/proc/15960/task/15962/stat : 15962 (strangenight2-m) D 15958 15960 15754 0 -1 4202560 288 0 0 0 6 2 0 0 23 0 32 0 1358422 1085841408 9211 268435456000 4194304 4580107 140734112337248 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15960/tid=15963] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15963/stat : 15963 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 262 0 0 0 5 2 0 0 23 0 32 0 1358422 1085841408 9223 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15960/tid=15964] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15964/stat : 15964 (strangenight2-m) D 15958 15960 15754 0 -1 4202560 266 0 0 0 5 2 0 0 18 0 32 0 1358422 1085841408 9223 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15960/tid=15965] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15965/stat : 15965 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 312 0 0 0 5 2 0 0 18 0 32 0 1358422 1085841408 9231 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15960/tid=15966] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15966/stat : 15966 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 1358422 1085841408 9252 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15960/tid=15967] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15967/stat : 15967 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 279 0 0 0 5 2 0 0 17 0 32 0 1358422 1085841408 9253 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 0 0 0 0
[pid=15960/tid=15968] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15968/stat : 15968 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 1358422 1085841408 9256 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 18446604447045500384 0 0 -1 9 0 0 0
[pid=15960/tid=15969] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15969/stat : 15969 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 284 0 0 0 5 2 0 0 17 0 32 0 1358422 1085841408 9259 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15960/tid=15970] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15970/stat : 15970 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 281 0 0 0 5 2 0 0 24 0 32 0 1358422 1085841408 9266 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15960/tid=15971] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15971/stat : 15971 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 267 0 0 0 5 2 0 0 17 0 32 0 1358422 1085841408 9275 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 18446604453194169824 0 0 -1 5 0 0 0
[pid=15960/tid=15972] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15972/stat : 15972 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 287 0 0 0 5 2 0 0 24 0 32 0 1358422 1085841408 9275 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 18446604445633748448 0 0 -1 10 0 0 0
[pid=15960/tid=15973] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15973/stat : 15973 (strangenight2-m) D 15958 15960 15754 0 -1 4202560 341 0 0 0 5 2 0 0 18 0 32 0 1358422 1085841408 9284 268435456000 4194304 4580107 140734112337248 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15960/tid=15974] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15974/stat : 15974 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 264 0 0 0 5 2 0 0 24 0 32 0 1358422 1085841408 9286 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 18446604445633756640 0 0 -1 13 0 0 0
[pid=15960/tid=15975] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15975/stat : 15975 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 274 0 0 0 5 2 0 0 17 0 32 0 1358422 1085841408 9296 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651060958 0 0 4096 2 18446604447045500384 0 0 -1 14 0 0 0
[pid=15960/tid=15976] ppid=15958 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/15960/task/15976/stat : 15976 (strangenight2-m) D 15958 15960 15754 0 -1 4202560 290 0 0 0 5 2 0 0 25 0 32 0 1358422 1085841408 9300 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15960/tid=15977] ppid=15958 vsize=1060532 CPUtime=0.07 cores=0-31

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

[pid=15960/tid=15990] ppid=15958 vsize=5104432 CPUtime=26.73 cores=0-31
/proc/15960/task/15990/stat : 15990 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34103 0 0 0 2192 481 0 0 20 0 32 0 1358422 5226938368 1018709 268435456000 4194304 4580107 140734112337248 18446744073709551615 4515212 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15960/tid=15991] ppid=15958 vsize=5104432 CPUtime=29.15 cores=0-31
/proc/15960/task/15991/stat : 15991 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 30993 0 0 0 2478 437 0 0 25 0 32 0 1358422 5226938368 1018709 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732843563 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 883.53
Current children cumulated vsize (KiB) 5104432

[startup+41.5021 s]
/proc/loadavg: 25.61 22.32 14.40 22/445 15992
/proc/meminfo: memFree=259744656/264257624 swapFree=67044428/67111528
[pid=15960] ppid=15958 vsize=5106688 CPUtime=956.66 cores=0-31
/proc/15960/stat : 15960 (strangenight2-m) R 15958 15960 15754 0 -1 4202496 1088448 0 0 0 79945 15721 0 0 18 0 32 0 1358421 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4473011 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/15960/statm: 1276672 1020553 376 95 0 1271654 0
[pid=15960/tid=15961] ppid=15958 vsize=5106688 CPUtime=28.41 cores=0-31
/proc/15960/task/15961/stat : 15961 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 36446 0 0 0 2314 527 0 0 22 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604499430137312 0 0 -1 24 0 0 0
[pid=15960/tid=15962] ppid=15958 vsize=5106688 CPUtime=28.58 cores=0-31
/proc/15960/task/15962/stat : 15962 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33481 0 0 0 2347 511 0 0 19 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604491135884768 0 0 -1 8 0 0 0
[pid=15960/tid=15963] ppid=15958 vsize=5106688 CPUtime=27.72 cores=0-31
/proc/15960/task/15963/stat : 15963 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 36943 0 0 0 2289 483 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446744071566930584 0 0 -1 20 0 0 0
[pid=15960/tid=15964] ppid=15958 vsize=5106688 CPUtime=28.56 cores=0-31
/proc/15960/task/15964/stat : 15964 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35448 0 0 0 2403 453 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604494201576928 0 0 -1 3 0 0 0
[pid=15960/tid=15965] ppid=15958 vsize=5106688 CPUtime=31.85 cores=0-31
/proc/15960/task/15965/stat : 15965 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 32043 0 0 0 2701 484 0 0 25 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604453194169824 0 0 -1 25 0 0 0
[pid=15960/tid=15966] ppid=15958 vsize=5106688 CPUtime=31.52 cores=0-31
/proc/15960/task/15966/stat : 15966 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33542 0 0 0 2725 427 0 0 19 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604452985159136 0 0 -1 4 0 0 0
[pid=15960/tid=15967] ppid=15958 vsize=5106688 CPUtime=30.55 cores=0-31
/proc/15960/task/15967/stat : 15967 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 33647 0 0 0 2587 468 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15960/tid=15968] ppid=15958 vsize=5106688 CPUtime=30.16 cores=0-31
/proc/15960/task/15968/stat : 15968 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32305 0 0 0 2529 487 0 0 25 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4292086 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15960/tid=15969] ppid=15958 vsize=5106688 CPUtime=30.31 cores=0-31
/proc/15960/task/15969/stat : 15969 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 33785 0 0 0 2511 520 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4399667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15960/tid=15970] ppid=15958 vsize=5106688 CPUtime=30 cores=0-31
/proc/15960/task/15970/stat : 15970 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33465 0 0 0 2506 494 0 0 20 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604488609480160 0 0 -1 21 0 0 0
[pid=15960/tid=15971] ppid=15958 vsize=5106688 CPUtime=31.23 cores=0-31
/proc/15960/task/15971/stat : 15971 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34752 0 0 0 2632 491 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4289615 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15960/tid=15972] ppid=15958 vsize=5106688 CPUtime=30.33 cores=0-31
/proc/15960/task/15972/stat : 15972 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32948 0 0 0 2518 515 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4415330 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15960/tid=15973] ppid=15958 vsize=5106688 CPUtime=27.98 cores=0-31
/proc/15960/task/15973/stat : 15973 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33334 0 0 0 2296 502 0 0 19 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604457076735456 0 0 -1 7 0 0 0
[pid=15960/tid=15974] ppid=15958 vsize=5106688 CPUtime=30.01 cores=0-31
/proc/15960/task/15974/stat : 15974 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34819 0 0 0 2534 467 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4496913 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15960/tid=15975] ppid=15958 vsize=5106688 CPUtime=30.18 cores=0-31
/proc/15960/task/15975/stat : 15975 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32791 0 0 0 2509 509 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4289646 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15960/tid=15976] ppid=15958 vsize=5106688 CPUtime=28.48 cores=0-31
/proc/15960/task/15976/stat : 15976 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35745 0 0 0 2343 505 0 0 17 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604504916639200 0 0 -1 11 0 0 0
[pid=15960/tid=15977] ppid=15958 vsize=5106688 CPUtime=31.65 cores=0-31
/proc/15960/task/15977/stat : 15977 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34635 0 0 0 2691 474 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4473208 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15960/tid=15978] ppid=15958 vsize=5106688 CPUtime=28.81 cores=0-31
/proc/15960/task/15978/stat : 15978 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35410 0 0 0 2401 480 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604452128398816 0 0 -1 17 0 0 0
[pid=15960/tid=15979] ppid=15958 vsize=5106688 CPUtime=28.98 cores=0-31
/proc/15960/task/15979/stat : 15979 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 34101 0 0 0 2413 485 0 0 21 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604457075367392 0 0 -1 11 0 0 0
[pid=15960/tid=15980] ppid=15958 vsize=5106688 CPUtime=30.15 cores=0-31
/proc/15960/task/15980/stat : 15980 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32323 0 0 0 2528 487 0 0 25 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15960/tid=15981] ppid=15958 vsize=5106688 CPUtime=28.32 cores=0-31
/proc/15960/task/15981/stat : 15981 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 37263 0 0 0 2348 484 0 0 17 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604504916631008 0 0 -1 22 0 0 0
[pid=15960/tid=15982] ppid=15958 vsize=5106688 CPUtime=29.53 cores=0-31
/proc/15960/task/15982/stat : 15982 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 32335 0 0 0 2445 508 0 0 20 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604447045492192 0 0 -1 18 0 0 0
[pid=15960/tid=15983] ppid=15958 vsize=5106688 CPUtime=30.01 cores=0-31
/proc/15960/task/15983/stat : 15983 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32657 0 0 0 2508 493 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15960/tid=15984] ppid=15958 vsize=5106688 CPUtime=28.85 cores=0-31
/proc/15960/task/15984/stat : 15984 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33568 0 0 0 2383 502 0 0 19 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604491135892960 0 0 -1 15 0 0 0
[pid=15960/tid=15985] ppid=15958 vsize=5106688 CPUtime=30.26 cores=0-31
/proc/15960/task/15985/stat : 15985 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 36222 0 0 0 2499 527 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15960/tid=15986] ppid=15958 vsize=5106688 CPUtime=30.35 cores=0-31
/proc/15960/task/15986/stat : 15986 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32093 0 0 0 2531 504 0 0 25 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15960/tid=15987] ppid=15958 vsize=5106688 CPUtime=31.45 cores=0-31
/proc/15960/task/15987/stat : 15987 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34275 0 0 0 2660 485 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 4289556 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15960/tid=15988] ppid=15958 vsize=5106688 CPUtime=29.3 cores=0-31
/proc/15960/task/15988/stat : 15988 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33876 0 0 0 2452 478 0 0 20 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604469053259232 0 0 -1 3 0 0 0
[pid=15960/tid=15989] ppid=15958 vsize=5106688 CPUtime=29.66 cores=0-31
/proc/15960/task/15989/stat : 15989 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35163 0 0 0 2463 503 0 0 17 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604488609471968 0 0 -1 30 0 0 0
[pid=15960/tid=15990] ppid=15958 vsize=5106688 CPUtime=29.93 cores=0-31
/proc/15960/task/15990/stat : 15990 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34104 0 0 0 2511 482 0 0 18 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650614596 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15960/tid=15991] ppid=15958 vsize=5106688 CPUtime=32.35 cores=0-31
/proc/15960/task/15991/stat : 15991 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 30993 0 0 0 2798 437 0 0 25 0 32 0 1358422 5229248512 1020553 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732843716 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 956.66
Current children cumulated vsize (KiB) 5106688

[startup+42.3022 s]
/proc/loadavg: 25.00 22.25 14.42 14/445 15992
/proc/meminfo: memFree=259742856/264257624 swapFree=67044428/67111528
[pid=15960] ppid=15958 vsize=5106688 CPUtime=965.36 cores=0-31
/proc/15960/stat : 15960 (strangenight2-m) S 15958 15960 15754 0 -1 4202496 1088681 0 0 0 80814 15722 0 0 18 0 32 0 1358421 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/15960/statm: 1276672 1020102 376 95 0 1271654 0
[pid=15960/tid=15961] ppid=15958 vsize=5106688 CPUtime=28.41 cores=0-31
/proc/15960/task/15961/stat : 15961 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 36446 0 0 0 2314 527 0 0 22 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604499430137312 0 0 -1 24 0 0 0
[pid=15960/tid=15962] ppid=15958 vsize=5106688 CPUtime=28.58 cores=0-31
/proc/15960/task/15962/stat : 15962 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33481 0 0 0 2347 511 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604491135884768 0 0 -1 8 0 0 0
[pid=15960/tid=15963] ppid=15958 vsize=5106688 CPUtime=27.72 cores=0-31
/proc/15960/task/15963/stat : 15963 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 36943 0 0 0 2289 483 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446744071566930584 0 0 -1 20 0 0 0
[pid=15960/tid=15964] ppid=15958 vsize=5106688 CPUtime=28.56 cores=0-31
/proc/15960/task/15964/stat : 15964 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35448 0 0 0 2403 453 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604494201576928 0 0 -1 3 0 0 0
[pid=15960/tid=15965] ppid=15958 vsize=5106688 CPUtime=31.85 cores=0-31
/proc/15960/task/15965/stat : 15965 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 32043 0 0 0 2701 484 0 0 25 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604453194169824 0 0 -1 25 0 0 0
[pid=15960/tid=15966] ppid=15958 vsize=5106688 CPUtime=31.52 cores=0-31
/proc/15960/task/15966/stat : 15966 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33542 0 0 0 2725 427 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604452985159136 0 0 -1 4 0 0 0
[pid=15960/tid=15967] ppid=15958 vsize=5106688 CPUtime=31.23 cores=0-31
/proc/15960/task/15967/stat : 15967 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33647 0 0 0 2655 468 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604457075375584 0 0 -1 9 0 0 0
[pid=15960/tid=15968] ppid=15958 vsize=5106688 CPUtime=30.96 cores=0-31
/proc/15960/task/15968/stat : 15968 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32306 0 0 0 2609 487 0 0 25 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 258650614263 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15960/tid=15969] ppid=15958 vsize=5106688 CPUtime=31.11 cores=0-31
/proc/15960/task/15969/stat : 15969 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 33787 0 0 0 2591 520 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15960/tid=15970] ppid=15958 vsize=5106688 CPUtime=30 cores=0-31
/proc/15960/task/15970/stat : 15970 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33465 0 0 0 2506 494 0 0 20 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604488609480160 0 0 -1 21 0 0 0
[pid=15960/tid=15971] ppid=15958 vsize=5106688 CPUtime=31.39 cores=0-31
/proc/15960/task/15971/stat : 15971 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 34752 0 0 0 2648 491 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604453026553312 0 0 -1 26 0 0 0
[pid=15960/tid=15972] ppid=15958 vsize=5106688 CPUtime=31.14 cores=0-31
/proc/15960/task/15972/stat : 15972 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32952 0 0 0 2598 516 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 4496860 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15960/tid=15973] ppid=15958 vsize=5106688 CPUtime=27.98 cores=0-31
/proc/15960/task/15973/stat : 15973 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33334 0 0 0 2296 502 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604457076735456 0 0 -1 7 0 0 0
[pid=15960/tid=15974] ppid=15958 vsize=5106688 CPUtime=30.5 cores=0-31
/proc/15960/task/15974/stat : 15974 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 34819 0 0 0 2583 467 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604447045500384 0 0 -1 9 0 0 0
[pid=15960/tid=15975] ppid=15958 vsize=5106688 CPUtime=30.33 cores=0-31
/proc/15960/task/15975/stat : 15975 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 32791 0 0 0 2524 509 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604498641059296 0 0 -1 10 0 0 0
[pid=15960/tid=15976] ppid=15958 vsize=5106688 CPUtime=28.48 cores=0-31
/proc/15960/task/15976/stat : 15976 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35745 0 0 0 2343 505 0 0 17 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604504916639200 0 0 -1 11 0 0 0
[pid=15960/tid=15977] ppid=15958 vsize=5106688 CPUtime=31.89 cores=0-31
/proc/15960/task/15977/stat : 15977 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 34635 0 0 0 2715 474 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604504091958752 0 0 -1 25 0 0 0
[pid=15960/tid=15978] ppid=15958 vsize=5106688 CPUtime=28.81 cores=0-31
/proc/15960/task/15978/stat : 15978 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35410 0 0 0 2401 480 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604452128398816 0 0 -1 17 0 0 0
[pid=15960/tid=15979] ppid=15958 vsize=5106688 CPUtime=28.98 cores=0-31
/proc/15960/task/15979/stat : 15979 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 34101 0 0 0 2413 485 0 0 21 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604457075367392 0 0 -1 11 0 0 0
[pid=15960/tid=15980] ppid=15958 vsize=5106688 CPUtime=30.96 cores=0-31
/proc/15960/task/15980/stat : 15980 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 32324 0 0 0 2608 488 0 0 25 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 4399437 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15960/tid=15981] ppid=15958 vsize=5106688 CPUtime=28.32 cores=0-31
/proc/15960/task/15981/stat : 15981 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 37263 0 0 0 2348 484 0 0 17 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604504916631008 0 0 -1 22 0 0 0
[pid=15960/tid=15982] ppid=15958 vsize=5106688 CPUtime=29.53 cores=0-31
/proc/15960/task/15982/stat : 15982 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 32335 0 0 0 2445 508 0 0 20 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604447045492192 0 0 -1 18 0 0 0
[pid=15960/tid=15983] ppid=15958 vsize=5106688 CPUtime=30.6 cores=0-31
/proc/15960/task/15983/stat : 15983 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 32657 0 0 0 2567 493 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604498641051104 0 0 -1 13 0 0 0
[pid=15960/tid=15984] ppid=15958 vsize=5106688 CPUtime=28.85 cores=0-31
/proc/15960/task/15984/stat : 15984 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33568 0 0 0 2383 502 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604491135892960 0 0 -1 15 0 0 0
[pid=15960/tid=15985] ppid=15958 vsize=5106688 CPUtime=30.75 cores=0-31
/proc/15960/task/15985/stat : 15985 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 36222 0 0 0 2548 527 0 0 19 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604519798758880 0 0 -1 29 0 0 0
[pid=15960/tid=15986] ppid=15958 vsize=5106688 CPUtime=30.93 cores=0-31
/proc/15960/task/15986/stat : 15986 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 32093 0 0 0 2589 504 0 0 25 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604494201585120 0 0 -1 28 0 0 0
[pid=15960/tid=15987] ppid=15958 vsize=5106688 CPUtime=31.57 cores=0-31
/proc/15960/task/15987/stat : 15987 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 34275 0 0 0 2672 485 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604453194161632 0 0 -1 12 0 0 0
[pid=15960/tid=15988] ppid=15958 vsize=5106688 CPUtime=29.3 cores=0-31
/proc/15960/task/15988/stat : 15988 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 33876 0 0 0 2452 478 0 0 20 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604469053259232 0 0 -1 3 0 0 0
[pid=15960/tid=15989] ppid=15958 vsize=5106688 CPUtime=29.66 cores=0-31
/proc/15960/task/15989/stat : 15989 (strangenight2-m) S 15958 15960 15754 0 -1 4202560 35163 0 0 0 2463 503 0 0 17 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 47332732868148 0 0 4096 2 18446604488609471968 0 0 -1 30 0 0 0
[pid=15960/tid=15990] ppid=15958 vsize=5106688 CPUtime=30.73 cores=0-31
/proc/15960/task/15990/stat : 15990 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 34329 0 0 0 2591 482 0 0 18 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15960/tid=15991] ppid=15958 vsize=5106688 CPUtime=33.15 cores=0-31
/proc/15960/task/15991/stat : 15991 (strangenight2-m) R 15958 15960 15754 0 -1 4202560 30993 0 0 0 2878 437 0 0 25 0 32 0 1358422 5229248512 1020102 268435456000 4194304 4580107 140734112337248 18446744073709551615 4219837 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 965.36
Current children cumulated vsize (KiB) 5106688

[startup+43.1013 s]
/proc/loadavg: 25.00 22.25 14.42 4/445 15992
/proc/meminfo: memFree=259742520/264257624 swapFree=67044428/67111528
[pid=15960] ppid=15958 vsize=0 CPUtime=968.84 cores=0-31
/proc/15960/stat : 15960 (strangenight2-m) Z 15958 15960 15754 0 -1 4203548 1088689 0 0 0 81142 15742 0 0 18 0 2 0 1358421 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/15960/statm: 0 0 0 0 0 0 0
[pid=15960/tid=15977] ppid=15958 vsize=0 CPUtime=32.06 cores=0-31
/proc/15960/task/15977/stat : 15977 (strangenight2-m) R 15958 15960 15754 0 -1 4203588 34635 0 0 0 2715 491 0 0 18 0 2 0 1358422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 968.84
Current children cumulated vsize (KiB) 0

[startup+43.3013 s]
/proc/loadavg: 25.00 22.25 14.42 4/445 15992
/proc/meminfo: memFree=259742520/264257624 swapFree=67044428/67111528
[pid=15960] ppid=15958 vsize=0 CPUtime=969.04 cores=0-31
/proc/15960/stat : 15960 (strangenight2-m) Z 15958 15960 15754 0 -1 4203548 1088689 0 0 0 81142 15762 0 0 18 0 2 0 1358421 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/15960/statm: 0 0 0 0 0 0 0
[pid=15960/tid=15977] ppid=15958 vsize=0 CPUtime=32.26 cores=0-31
/proc/15960/task/15977/stat : 15977 (strangenight2-m) R 15958 15960 15754 0 -1 4203588 34635 0 0 0 2715 511 0 0 18 0 2 0 1358422 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 969.04
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 43.3193
CPU time (s): 969.06
CPU user time (s): 811.422
CPU system time (s): 157.638
CPU usage (%): 2237.01
Max. virtual memory (cumulated for all children) (KiB): 5169968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 811.422
system time used= 157.638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1088689
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= 6443513
involuntary context switches= 74532

runsolver used 0.385941 second user time and 1.3028 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-30 13:12:04
IDJOB=3400750
IDBENCH=82426
IDSOLVER=1886
FILE ID=node200/3400750-1306753922
RUNJOBID= node200-1306753726-15768
PBS_JOBID= 13471601
Free space on /tmp= 61536 MiB

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

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

MD5SUM BENCH= cabee0328f774a95ab72be66123bb39b
RANDOM SEED=76643953

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263834816 kB
Buffers:         12712 kB
Cached:         244988 kB
SwapCached:      16104 kB
Active:         134652 kB
Inactive:       144408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263834816 kB
SwapTotal:    67111528 kB
SwapFree:     67044428 kB
Dirty:           48376 kB
Writeback:           0 kB
AnonPages:       17836 kB
Mapped:           8444 kB
Slab:            58464 kB
PageTables:       4616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   196116 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= 61532 MiB
End job on node200 at 2011-05-30 13:12:48