Trace number 3400752

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 2420.93 97.6294

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
MD5SUM52e16341bcff805ef2d6abe4e95359a0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark450.455
Satisfiable
(Un)Satisfiability was proved
Number of variables224228
Number of clauses5314673
Sum of the clauses size11732345
Maximum clause length3193
Minimum clause length1
Number of clauses of size 1556
Number of clauses of size 25229536
Number of clauses of size 36084
Number of clauses of size 49856
Number of clauses of size 58159
Number of clauses of size over 560482

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400752-1306754001.cnf'
1.58/0.07	c -- header says num vars:         224228
1.58/0.07	c -- header says num clauses:     5314673
431.00/31.37	c -- clauses added:            0 learnts,      5314673 normals,            0 xors
431.00/31.37	c -- vars added     224228
431.00/31.37	c Parsing time:  4.68 s
431.00/31.37	c  N st     0         0    224228     84581   5226462         0  11725641         0   no data   no data
484.70/33.06	c asymm  cl-useful: 10/152/83026 lits-rem:4575 time: 1.55
954.70/47.95	c Flit:  1480 Blit:  27417 bXBeca:    0 bXProp:  174 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 14.82
960.30/48.18	c Cleaning up after failed var search:     0.23 s 
970.37/48.58	c Replacing      175 vars Replaced    15146 lits Time:     0.39 s 
1033.02/51.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1050.02/51.65	c bin-w-bin subsume rem         1917 bins  time:  0.51 s
1172.21/56.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.76 s
1319.73/62.33	c Subs w/ non-existent bins:      0 l-rem:    177 v-fix:     0 done:  31559 time:  3.46 s
1329.89/62.66	c Removed useless bin:       0  fixed:     0  props:  20.05M  time:  0.31 s
1610.64/71.44	c lits-rem:       110  cl-subs:      103  v-elim:    377  v-fix:    0  time:  8.62 s
1616.40/71.67	c Finding binary XORs  T:     0.23 s  found:     295
1629.19/72.06	c Replacing      295 vars Replaced    21626 lits Time:     0.39 s 
1638.78/72.35	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
1638.78/72.35	c calculated reachability. Time: 0.01
1641.99/72.51	c Calc default polars -  time:   0.16 s pos:    5798 undec:   63478 neg:  154952
1641.99/72.51	c =========================================================================================
1641.99/72.51	c types(t): F = full restart, N = normal restart
1641.99/72.51	c types(t): S = simplification begin/end, E = solution found
1641.99/72.51	c restart types(rt): st = static, dy = dynamic
1641.99/72.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1641.99/72.51	c  B st     0         0    187861     69640   4085105         0  10231868         0   no data   no data
2420.25/97.02	c Following stats are for *FIRST FINISHED THREAD ONLY*
2420.25/97.02	c num threads              : 32         
2420.25/97.02	c restarts                 : 28         
2420.25/97.02	c dynamic restarts         : 22         
2420.25/97.02	c static restarts          : 6          
2420.25/97.02	c full restarts            : 0          
2420.25/97.02	c total simplify time      : 0.44       
2420.25/97.02	c learnts DL2              : 0          
2420.25/97.02	c learnts size 2           : 5231588    
2420.25/97.02	c learnts size 1           : 80278       (35.80     % of vars)
2420.25/97.02	c filedLit time            : 14.83       (20.97     % time)
2420.25/97.02	c v-elim SatELite          : 377         (0.17      % vars)
2420.25/97.02	c SatELite time            : 8.38        (11.85     % time)
2420.25/97.02	c v-elim xor               : 0           (0.00      % vars)
2420.25/97.02	c xor elim time            : 0.00        (0.00      % time)
2420.25/97.02	c num binary xor trees     : 380        
2420.25/97.02	c binxor trees' crown      : 470         (1.24      leafs/tree)
2420.25/97.02	c bin xor find time        : 0.23       
2420.25/97.02	c OTF clause improved      : 243         (0.03      clauses/conflict)
2420.25/97.02	c OTF impr. size diff      : 418         (1.72       lits/clause)
2420.25/97.02	c OTF cl watch-shrink      : 3579        (0.41      clauses/conflict)
2420.25/97.02	c OTF cl watch-sh-lit      : 118775      (33.19      lits/clause)
2420.25/97.02	c tried to recurMin cls    : 0           (0.00       % of conflicts)
2420.25/97.02	c updated cache            : 0           (nan        lits/tried recurMin)
2420.25/97.02	c unit cls recevied        : 4           (0.00      % of units)
2420.25/97.02	c unit cls sent            : 29263       (36.45     % of units)
2420.25/97.02	c bin cls recevied         : 510        
2420.25/97.02	c bin cls sent             : 2390       
2420.25/97.02	c clauses over max glue    : 0           (0.00      % of all clauses)
2420.25/97.02	c conflicts                : 8796        (124.35    / sec)
2420.25/97.02	c decisions                : 136391      (0.00      % random)
2420.25/97.02	c bogo-props               : 621492710   (8786181.50 / sec)
2420.25/97.02	c conflict literals        : 4224247     (26.52     % deleted)
2420.25/97.02	c Memory used              : 11378.30    MB
2420.25/97.02	c single-thread CPU time   : 70.74       s
2420.25/97.02	c all-threads sum CPU time : 2132.43     s
2420.25/97.02	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-3400752-1306754001/watcher-3400752-1306754001 -o /tmp/evaluation-result-3400752-1306754001/solver-3400752-1306754001 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400752-1306754001.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.29 22.72 14.87 1/413 16078
/proc/meminfo: memFree=263761680/264257624 swapFree=67044428/67111528
[pid=16078] ppid=16076 vsize=338000 CPUtime=0.66 cores=0-31
/proc/16078/stat : 16078 (strangenight2-m) R 16076 16078 15754 0 -1 4202496 437 0 0 0 66 0 0 0 25 0 32 0 1366501 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16078/statm: 84500 377 297 95 0 79482 0
[pid=16078/tid=16079] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16079/stat : 16079 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16078/tid=16080] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16080/stat : 16080 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16078/tid=16081] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16081/stat : 16081 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957484 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16078/tid=16082] ppid=16076 vsize=338000 CPUtime=0 cores=0-31
/proc/16078/task/16082/stat : 16082 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16078/tid=16083] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16083/stat : 16083 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16078/tid=16084] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16084/stat : 16084 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16078/tid=16085] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16085/stat : 16085 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16078/tid=16086] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16086/stat : 16086 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16078/tid=16087] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16087/stat : 16087 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16078/tid=16088] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16088/stat : 16088 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16078/tid=16089] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16089/stat : 16089 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16078/tid=16090] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16090/stat : 16090 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16078/tid=16091] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16091/stat : 16091 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16078/tid=16092] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16092/stat : 16092 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957484 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16078/tid=16093] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16093/stat : 16093 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16078/tid=16094] ppid=16076 vsize=338000 CPUtime=0 cores=0-31
/proc/16078/task/16094/stat : 16094 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16078/tid=16095] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16095/stat : 16095 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16078/tid=16096] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16096/stat : 16096 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16078/tid=16097] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16097/stat : 16097 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957494 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16078/tid=16098] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16098/stat : 16098 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957480 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16078/tid=16099] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16099/stat : 16099 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957484 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16078/tid=16100] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16100/stat : 16100 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957488 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16078/tid=16101] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16101/stat : 16101 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16078/tid=16102] ppid=16076 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16078/task/16102/stat : 16102 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16078/tid=16103] ppid=16076 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16078/task/16103/stat : 16103 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16078/tid=16104] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16104/stat : 16104 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957488 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16078/tid=16105] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16105/stat : 16105 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957480 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16078/tid=16106] ppid=16076 vsize=338000 CPUtime=0 cores=0-31
/proc/16078/task/16106/stat : 16106 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16078/tid=16107] ppid=16076 vsize=338000 CPUtime=0 cores=0-31
/proc/16078/task/16107/stat : 16107 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16078/tid=16108] ppid=16076 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16078/task/16108/stat : 16108 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957490 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16078/tid=16109] ppid=16076 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16078/task/16109/stat : 16109 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1366502 346112000 377 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957480 0 0 4096 2 0 0 0 -1 22 0 0 0

[startup+0.0708959 s]
/proc/loadavg: 25.29 22.72 14.87 1/413 16078
/proc/meminfo: memFree=263761680/264257624 swapFree=67044428/67111528
[pid=16078] ppid=16076 vsize=732444 CPUtime=1.58 cores=0-31
/proc/16078/stat : 16078 (strangenight2-m) R 16076 16078 15754 0 -1 4202496 6755 0 0 0 107 51 0 0 18 0 32 0 1366501 750022656 6627 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16078/statm: 183111 6714 322 95 0 178093 0
[pid=16078/tid=16079] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16079/stat : 16079 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 200 0 0 0 3 1 0 0 24 0 32 0 1366502 750022656 6773 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16078/tid=16080] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16080/stat : 16080 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 204 0 0 0 3 1 0 0 24 0 32 0 1366502 750022656 6828 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16078/tid=16081] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16081/stat : 16081 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 179 0 0 0 3 1 0 0 24 0 32 0 1366502 750022656 6882 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16078/tid=16082] ppid=16076 vsize=732444 CPUtime=0.01 cores=0-31
/proc/16078/task/16082/stat : 16082 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 178 0 0 0 0 1 0 0 23 0 32 0 1366502 750022656 6938 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16078/tid=16083] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16083/stat : 16083 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 185 0 0 0 3 1 0 0 24 0 32 0 1366502 750022656 6981 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16078/tid=16084] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16084/stat : 16084 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 210 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7032 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16078/tid=16085] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16085/stat : 16085 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 259 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7068 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16078/tid=16086] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16086/stat : 16086 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 208 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7103 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16078/tid=16087] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16087/stat : 16087 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 201 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7163 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16078/tid=16088] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16088/stat : 16088 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 238 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7213 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16078/tid=16089] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16089/stat : 16089 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 253 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7256 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16078/tid=16090] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16090/stat : 16090 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 259 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7308 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16078/tid=16091] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16091/stat : 16091 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 195 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7351 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16078/tid=16092] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16092/stat : 16092 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 251 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7371 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16078/tid=16093] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16093/stat : 16093 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 214 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7399 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16078/tid=16094] ppid=16076 vsize=732444 CPUtime=0.02 cores=0-31
/proc/16078/task/16094/stat : 16094 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 201 0 0 0 1 1 0 0 25 0 32 0 1366502 750022656 7436 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16078/tid=16095] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16095/stat : 16095 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 205 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7478 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16078/tid=16096] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16096/stat : 16096 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 251 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7502 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16078/tid=16097] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16097/stat : 16097 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 201 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7516 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16078/tid=16098] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16098/stat : 16098 (strangenight2-m) D 16076 16078 15754 0 -1 4202560 208 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7516 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16078/tid=16099] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16099/stat : 16099 (strangenight2-m) D 16076 16078 15754 0 -1 4202560 267 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7518 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16078/tid=16100] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16100/stat : 16100 (strangenight2-m) D 16076 16078 15754 0 -1 4202560 200 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7535 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16078/tid=16101] ppid=16076 vsize=732444 CPUtime=0.05 cores=0-31
/proc/16078/task/16101/stat : 16101 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 248 0 0 0 3 2 0 0 25 0 32 0 1366502 750022656 7552 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16078/tid=16102] ppid=16076 vsize=732444 CPUtime=0.03 cores=0-31
/proc/16078/task/16102/stat : 16102 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 201 0 0 0 2 1 0 0 25 0 32 0 1366502 750022656 7585 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16078/tid=16103] ppid=16076 vsize=732444 CPUtime=0.03 cores=0-31
/proc/16078/task/16103/stat : 16103 (strangenight2-m) D 16076 16078 15754 0 -1 4202560 211 0 0 0 2 1 0 0 25 0 32 0 1366502 750022656 7585 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16078/tid=16104] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16104/stat : 16104 (strangenight2-m) D 16076 16078 15754 0 -1 4202560 262 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7586 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16078/tid=16105] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16105/stat : 16105 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 246 0 0 0 3 1 0 0 25 0 32 0 1366502 750022656 7601 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16078/tid=16106] ppid=16076 vsize=732444 CPUtime=0.01 cores=0-31
/proc/16078/task/16106/stat : 16106 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 174 0 0 0 0 1 0 0 25 0 32 0 1366502 750022656 7615 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16078/tid=16107] ppid=16076 vsize=732444 CPUtime=0.02 cores=0-31
/proc/16078/task/16107/stat : 16107 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 220 0 0 0 1 1 0 0 25 0 32 0 1366502 750022656 7651 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16078/tid=16108] ppid=16076 vsize=732444 CPUtime=0.03 cores=0-31
/proc/16078/task/16108/stat : 16108 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 209 0 0 0 2 1 0 0 18 0 32 0 1366502 750022656 7651 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16078/tid=16109] ppid=16076 vsize=732444 CPUtime=0.04 cores=0-31
/proc/16078/task/16109/stat : 16109 (strangenight2-m) D 16076 16078 15754 0 -1 4202560 257 0 0 0 3 1 0 0 18 0 32 0 1366502 750022656 7652 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 732444

[startup+0.104841 s]
/proc/loadavg: 25.29 22.72 14.87 1/413 16078
/proc/meminfo: memFree=263761680/264257624 swapFree=67044428/67111528
[pid=16078] ppid=16076 vsize=1063816 CPUtime=1.99 cores=0-31
/proc/16078/stat : 16078 (strangenight2-m) S 16076 16078 15754 0 -1 4202496 11726 0 0 0 111 88 0 0 17 0 32 0 1366501 1089347584 11531 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16078/statm: 265954 11545 331 95 0 260936 0
[pid=16078/tid=16079] ppid=16076 vsize=1063816 CPUtime=0.05 cores=0-31
/proc/16078/task/16079/stat : 16079 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 270 0 0 0 3 2 0 0 17 0 32 0 1366502 1089347584 11545 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446604455024614880 0 0 -1 1 0 0 0
[pid=16078/tid=16080] ppid=16076 vsize=1063816 CPUtime=0.06 cores=0-31
/proc/16078/task/16080/stat : 16080 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 268 0 0 0 4 2 0 0 17 0 32 0 1366502 1089347584 11553 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446604590561074656 0 0 -1 2 0 0 0
[pid=16078/tid=16081] ppid=16076 vsize=1063816 CPUtime=0.05 cores=0-31
/proc/16078/task/16081/stat : 16081 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1366502 1089347584 11580 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 24 0 0 0
[pid=16078/tid=16082] ppid=16076 vsize=1063816 CPUtime=0.03 cores=0-31
/proc/16078/task/16082/stat : 16082 (strangenight2-m) D 16076 16078 15754 0 -1 4202560 311 0 0 0 1 2 0 0 17 0 32 0 1366502 1089347584 11580 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16078/tid=16083] ppid=16076 vsize=1064076 CPUtime=0.05 cores=0-31
/proc/16078/task/16083/stat : 16083 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 1366502 1089613824 11588 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446744071566930064 0 0 -1 4 0 0 0
[pid=16078/tid=16084] ppid=16076 vsize=1064076 CPUtime=0.07 cores=0-31
/proc/16078/task/16084/stat : 16084 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 489 0 0 0 4 3 0 0 18 0 32 0 1366502 1089613824 11602 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16078/tid=16085] ppid=16076 vsize=1064076 CPUtime=0.06 cores=0-31
/proc/16078/task/16085/stat : 16085 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 539 0 0 0 3 3 0 0 18 0 32 0 1366502 1089613824 11613 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16078/tid=16086] ppid=16076 vsize=1064076 CPUtime=0.06 cores=0-31
/proc/16078/task/16086/stat : 16086 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 386 0 0 0 3 3 0 0 17 0 32 0 1366502 1089613824 11613 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16078/tid=16087] ppid=16076 vsize=1064076 CPUtime=0.07 cores=0-31
/proc/16078/task/16087/stat : 16087 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 349 0 0 0 4 3 0 0 17 0 32 0 1366502 1089613824 11634 268435456000 4194304 4580107 140736186967024 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16078/tid=16088] ppid=16076 vsize=1064076 CPUtime=0.06 cores=0-31
/proc/16078/task/16088/stat : 16088 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 469 0 0 0 4 2 0 0 17 0 32 0 1366502 1089613824 11638 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16078/tid=16089] ppid=16076 vsize=1064076 CPUtime=0.07 cores=0-31
/proc/16078/task/16089/stat : 16089 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 426 0 0 0 4 3 0 0 17 0 32 0 1366502 1089613824 11649 268435456000 4194304 4580107 140736186967024 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16078/tid=16090] ppid=16076 vsize=1064076 CPUtime=0.04 cores=0-31
/proc/16078/task/16090/stat : 16090 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 283 0 0 0 3 1 0 0 17 0 32 0 1366502 1089613824 11670 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446604496396475872 0 0 -1 20 0 0 0
[pid=16078/tid=16091] ppid=16076 vsize=1064076 CPUtime=0.05 cores=0-31
/proc/16078/task/16091/stat : 16091 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 273 0 0 0 3 2 0 0 17 0 32 0 1366502 1089613824 11677 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446604605522263520 0 0 -1 13 0 0 0
[pid=16078/tid=16092] ppid=16076 vsize=1064076 CPUtime=0.06 cores=0-31
/proc/16078/task/16092/stat : 16092 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 321 0 0 0 4 2 0 0 17 0 32 0 1366502 1089613824 11687 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446604504258608608 0 0 -1 14 0 0 0
[pid=16078/tid=16093] ppid=16076 vsize=1064076 CPUtime=0.06 cores=0-31
/proc/16078/task/16093/stat : 16093 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 363 0 0 0 3 3 0 0 17 0 32 0 1366502 1089613824 11689 268435456000 4194304 4580107 140736186967024 18446744073709551615 258651060958 0 0 4096 2 18446604605522222560 0 0 -1 11 0 0 0
[pid=16078/tid=16094] ppid=16076 vsize=1064336 CPUtime=0.04 cores=0-31
/proc/16078/task/16094/stat : 16094 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 442 0 0 0 2 2 0 0 18 0 32 0 1366502 1089880064 11700 268435456000 4194304 4580107 140736186967024 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16078/tid=16095] ppid=16076 vsize=1064336 CPUtime=0.05 cores=0-31

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

/proc/16078/stat : 16078 (strangenight2-m) R 16076 16078 15754 0 -1 4202496 2377631 0 0 0 210531 28786 0 0 25 0 32 0 1366501 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4294482 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/16078/statm: 2814406 2250034 376 95 0 2809388 0
[pid=16078/tid=16079] ppid=16076 vsize=11257624 CPUtime=74.57 cores=0-31
/proc/16078/task/16079/stat : 16079 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 64893 0 0 0 6567 890 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16078/tid=16080] ppid=16076 vsize=11257624 CPUtime=73.58 cores=0-31
/proc/16078/task/16080/stat : 16080 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 71358 0 0 0 6438 920 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16078/tid=16081] ppid=16076 vsize=11257624 CPUtime=74 cores=0-31
/proc/16078/task/16081/stat : 16081 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 75217 0 0 0 6506 894 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16078/tid=16082] ppid=16076 vsize=11257624 CPUtime=73.81 cores=0-31
/proc/16078/task/16082/stat : 16082 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 74834 0 0 0 6410 971 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16078/tid=16083] ppid=16076 vsize=11257624 CPUtime=75.47 cores=0-31
/proc/16078/task/16083/stat : 16083 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76050 0 0 0 6661 886 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16078/tid=16084] ppid=16076 vsize=11257624 CPUtime=74.79 cores=0-31
/proc/16078/task/16084/stat : 16084 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76153 0 0 0 6557 922 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16078/tid=16085] ppid=16076 vsize=11257624 CPUtime=74.6 cores=0-31
/proc/16078/task/16085/stat : 16085 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 74029 0 0 0 6575 885 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16078/tid=16086] ppid=16076 vsize=11257624 CPUtime=73.77 cores=0-31
/proc/16078/task/16086/stat : 16086 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 80170 0 0 0 6404 973 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16078/tid=16087] ppid=16076 vsize=11257624 CPUtime=74.89 cores=0-31
/proc/16078/task/16087/stat : 16087 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 70422 0 0 0 6588 901 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16078/tid=16088] ppid=16076 vsize=11257624 CPUtime=77.5 cores=0-31
/proc/16078/task/16088/stat : 16088 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76929 0 0 0 6897 853 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16078/tid=16089] ppid=16076 vsize=11257624 CPUtime=74.39 cores=0-31
/proc/16078/task/16089/stat : 16089 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 75572 0 0 0 6524 915 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16078/tid=16090] ppid=16076 vsize=11257624 CPUtime=75.15 cores=0-31
/proc/16078/task/16090/stat : 16090 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 73731 0 0 0 6640 875 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16078/tid=16091] ppid=16076 vsize=11257624 CPUtime=74.33 cores=0-31
/proc/16078/task/16091/stat : 16091 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 72991 0 0 0 6554 879 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4317485 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16078/tid=16092] ppid=16076 vsize=11257624 CPUtime=74.44 cores=0-31
/proc/16078/task/16092/stat : 16092 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 78089 0 0 0 6542 902 0 0 25 0 32 0 1366502 11527806976 2250034 268435456000 4194304 4580107 140736186967024 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16078/tid=16093] ppid=16076 vsize=11257624 CPUtime=75.48 cores=0-31
/proc/16078/task/16093/stat : 16093 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 77705 0 0 0 6678 870 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16078/tid=16094] ppid=16076 vsize=11257624 CPUtime=73.88 cores=0-31
/proc/16078/task/16094/stat : 16094 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 70910 0 0 0 6432 956 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16078/tid=16095] ppid=16076 vsize=11257624 CPUtime=78.15 cores=0-31
/proc/16078/task/16095/stat : 16095 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 74538 0 0 0 6968 847 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16078/tid=16096] ppid=16076 vsize=11257624 CPUtime=73.33 cores=0-31
/proc/16078/task/16096/stat : 16096 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 70845 0 0 0 6584 749 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4316705 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16078/tid=16097] ppid=16076 vsize=11257624 CPUtime=74.6 cores=0-31
/proc/16078/task/16097/stat : 16097 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 77613 0 0 0 6546 914 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4294708 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16078/tid=16098] ppid=16076 vsize=11257624 CPUtime=74.3 cores=0-31
/proc/16078/task/16098/stat : 16098 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 71477 0 0 0 6484 946 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16078/tid=16099] ppid=16076 vsize=11257624 CPUtime=77.8 cores=0-31
/proc/16078/task/16099/stat : 16099 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 78265 0 0 0 6961 819 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16078/tid=16100] ppid=16076 vsize=11257624 CPUtime=75.49 cores=0-31
/proc/16078/task/16100/stat : 16100 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 79260 0 0 0 6646 903 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16078/tid=16101] ppid=16076 vsize=11257624 CPUtime=74.21 cores=0-31
/proc/16078/task/16101/stat : 16101 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 74994 0 0 0 6465 956 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16078/tid=16102] ppid=16076 vsize=11257624 CPUtime=74.77 cores=0-31
/proc/16078/task/16102/stat : 16102 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76399 0 0 0 6577 900 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4320939 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16078/tid=16103] ppid=16076 vsize=11257624 CPUtime=73.14 cores=0-31
/proc/16078/task/16103/stat : 16103 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 73706 0 0 0 6360 954 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16078/tid=16104] ppid=16076 vsize=11257624 CPUtime=75.77 cores=0-31
/proc/16078/task/16104/stat : 16104 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 75584 0 0 0 6708 869 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4321605 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16078/tid=16105] ppid=16076 vsize=11257624 CPUtime=74.02 cores=0-31
/proc/16078/task/16105/stat : 16105 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 68656 0 0 0 6520 882 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16078/tid=16106] ppid=16076 vsize=11257624 CPUtime=73.43 cores=0-31
/proc/16078/task/16106/stat : 16106 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76233 0 0 0 6383 960 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16078/tid=16107] ppid=16076 vsize=11257624 CPUtime=75.51 cores=0-31
/proc/16078/task/16107/stat : 16107 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 79708 0 0 0 6655 896 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4321214 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16078/tid=16108] ppid=16076 vsize=11257624 CPUtime=74.29 cores=0-31
/proc/16078/task/16108/stat : 16108 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 79324 0 0 0 6490 939 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16078/tid=16109] ppid=16076 vsize=11257624 CPUtime=75.84 cores=0-31
/proc/16078/task/16109/stat : 16109 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 63394 0 0 0 6751 833 0 0 25 0 32 0 1366502 11527806976 2250036 268435456000 4194304 4580107 140736186967024 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 2393.17
Current children cumulated vsize (KiB) 11257624

[startup+96.7017 s]
/proc/loadavg: 28.60 24.11 16.13 33/445 16112
/proc/meminfo: memFree=254743200/264257624 swapFree=67044428/67111528
[pid=16078] ppid=16076 vsize=11651380 CPUtime=2419.33 cores=0-31
/proc/16078/stat : 16078 (strangenight2-m) R 16076 16078 15754 0 -1 4202496 2379949 0 0 0 213146 28787 0 0 25 0 32 0 1366501 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/16078/statm: 2912845 2252352 376 95 0 2907827 0
[pid=16078/tid=16079] ppid=16076 vsize=11651380 CPUtime=75.39 cores=0-31
/proc/16078/task/16079/stat : 16079 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 65030 0 0 0 6649 890 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16078/tid=16080] ppid=16076 vsize=11651380 CPUtime=74.4 cores=0-31
/proc/16078/task/16080/stat : 16080 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 71397 0 0 0 6520 920 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16078/tid=16081] ppid=16076 vsize=11651380 CPUtime=74.81 cores=0-31
/proc/16078/task/16081/stat : 16081 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 75277 0 0 0 6587 894 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446744071566932384 0 0 -1 24 0 0 0
[pid=16078/tid=16082] ppid=16076 vsize=11651380 CPUtime=74.63 cores=0-31
/proc/16078/task/16082/stat : 16082 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 74911 0 0 0 6492 971 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957075 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16078/tid=16083] ppid=16076 vsize=11651380 CPUtime=76.28 cores=0-31
/proc/16078/task/16083/stat : 16083 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76167 0 0 0 6742 886 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16078/tid=16084] ppid=16076 vsize=11651380 CPUtime=75.61 cores=0-31
/proc/16078/task/16084/stat : 16084 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76208 0 0 0 6639 922 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16078/tid=16085] ppid=16076 vsize=11651380 CPUtime=75.42 cores=0-31
/proc/16078/task/16085/stat : 16085 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 74080 0 0 0 6657 885 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16078/tid=16086] ppid=16076 vsize=11651380 CPUtime=74.59 cores=0-31
/proc/16078/task/16086/stat : 16086 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 80253 0 0 0 6486 973 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604455024614880 0 0 -1 11 0 0 0
[pid=16078/tid=16087] ppid=16076 vsize=11651380 CPUtime=75.71 cores=0-31
/proc/16078/task/16087/stat : 16087 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 70493 0 0 0 6670 901 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16078/tid=16088] ppid=16076 vsize=11651380 CPUtime=78.32 cores=0-31
/proc/16078/task/16088/stat : 16088 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 76998 0 0 0 6979 853 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604481489280480 0 0 -1 18 0 0 0
[pid=16078/tid=16089] ppid=16076 vsize=11651380 CPUtime=75.21 cores=0-31
/proc/16078/task/16089/stat : 16089 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 75649 0 0 0 6606 915 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957075 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16078/tid=16090] ppid=16076 vsize=11651380 CPUtime=75.97 cores=0-31
/proc/16078/task/16090/stat : 16090 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 73859 0 0 0 6722 875 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604504258608608 0 0 -1 20 0 0 0
[pid=16078/tid=16091] ppid=16076 vsize=11651380 CPUtime=75.15 cores=0-31
/proc/16078/task/16091/stat : 16091 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 73024 0 0 0 6636 879 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957072 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16078/tid=16092] ppid=16076 vsize=11651380 CPUtime=75.26 cores=0-31
/proc/16078/task/16092/stat : 16092 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 78145 0 0 0 6624 902 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604496396459488 0 0 -1 17 0 0 0
[pid=16078/tid=16093] ppid=16076 vsize=11651380 CPUtime=76.3 cores=0-31
/proc/16078/task/16093/stat : 16093 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 77937 0 0 0 6760 870 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16078/tid=16094] ppid=16076 vsize=11651380 CPUtime=74.69 cores=0-31
/proc/16078/task/16094/stat : 16094 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 70978 0 0 0 6513 956 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604491594997216 0 0 -1 26 0 0 0
[pid=16078/tid=16095] ppid=16076 vsize=11651380 CPUtime=78.97 cores=0-31
/proc/16078/task/16095/stat : 16095 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 74561 0 0 0 7050 847 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604496396475872 0 0 -1 30 0 0 0
[pid=16078/tid=16096] ppid=16076 vsize=11651380 CPUtime=74.14 cores=0-31
/proc/16078/task/16096/stat : 16096 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 70927 0 0 0 6665 749 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604481489296864 0 0 -1 8 0 0 0
[pid=16078/tid=16097] ppid=16076 vsize=11651380 CPUtime=75.42 cores=0-31
/proc/16078/task/16097/stat : 16097 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 77673 0 0 0 6628 914 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957085 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16078/tid=16098] ppid=16076 vsize=11651380 CPUtime=75.12 cores=0-31
/proc/16078/task/16098/stat : 16098 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 71500 0 0 0 6566 946 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 4316502 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16078/tid=16099] ppid=16076 vsize=11651380 CPUtime=78.62 cores=0-31
/proc/16078/task/16099/stat : 16099 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 78278 0 0 0 7043 819 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462932676 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16078/tid=16100] ppid=16076 vsize=11651380 CPUtime=76.3 cores=0-31
/proc/16078/task/16100/stat : 16100 (strangenight2-m) S 16076 16078 15754 0 -1 4202560 79349 0 0 0 6727 903 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957108 0 0 4096 2 18446604491595013600 0 0 -1 22 0 0 0
[pid=16078/tid=16101] ppid=16076 vsize=11651380 CPUtime=75.03 cores=0-31
/proc/16078/task/16101/stat : 16101 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 75064 0 0 0 6547 956 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957075 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16078/tid=16102] ppid=16076 vsize=11651380 CPUtime=75.56 cores=0-31
/proc/16078/task/16102/stat : 16102 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76441 0 0 0 6656 900 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957085 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16078/tid=16103] ppid=16076 vsize=11651380 CPUtime=73.96 cores=0-31
/proc/16078/task/16103/stat : 16103 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 73740 0 0 0 6442 954 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957072 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16078/tid=16104] ppid=16076 vsize=11651380 CPUtime=76.59 cores=0-31
/proc/16078/task/16104/stat : 16104 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 75651 0 0 0 6790 869 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957072 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16078/tid=16105] ppid=16076 vsize=11651380 CPUtime=74.84 cores=0-31
/proc/16078/task/16105/stat : 16105 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 68737 0 0 0 6602 882 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16078/tid=16106] ppid=16076 vsize=11651380 CPUtime=74.25 cores=0-31
/proc/16078/task/16106/stat : 16106 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 76310 0 0 0 6465 960 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16078/tid=16107] ppid=16076 vsize=11651380 CPUtime=76.33 cores=0-31
/proc/16078/task/16107/stat : 16107 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 79775 0 0 0 6737 896 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16078/tid=16108] ppid=16076 vsize=11651380 CPUtime=75.12 cores=0-31
/proc/16078/task/16108/stat : 16108 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 79393 0 0 0 6572 940 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957085 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16078/tid=16109] ppid=16076 vsize=11651380 CPUtime=76.65 cores=0-31
/proc/16078/task/16109/stat : 16109 (strangenight2-m) R 16076 16078 15754 0 -1 4202560 63513 0 0 0 6832 833 0 0 25 0 32 0 1366502 11931013120 2252352 268435456000 4194304 4580107 140736186967024 18446744073709551615 47302462957081 0 0 4096 2 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 2419.33
Current children cumulated vsize (KiB) 11651380

[startup+97.1018 s]
/proc/loadavg: 28.60 24.11 16.13 33/445 16112
/proc/meminfo: memFree=254743200/264257624 swapFree=67044428/67111528
[pid=16078] ppid=16076 vsize=0 CPUtime=2420.39 cores=0-31
/proc/16078/stat : 16078 (strangenight2-m) Z 16076 16078 15754 0 -1 4203548 2379960 0 0 0 213242 28797 0 0 22 0 2 0 1366501 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/16078/statm: 0 0 0 0 0 0 0
[pid=16078/tid=16098] ppid=16076 vsize=0 CPUtime=75.5 cores=0-31
/proc/16078/task/16098/stat : 16098 (strangenight2-m) R 16076 16078 15754 0 -1 4203588 71507 0 0 0 6596 954 0 0 25 0 2 0 1366502 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2420.39
Current children cumulated vsize (KiB) 0

[startup+97.5008 s]
/proc/loadavg: 28.60 24.11 16.13 33/445 16112
/proc/meminfo: memFree=254743200/264257624 swapFree=67044428/67111528
[pid=16078] ppid=16076 vsize=0 CPUtime=2420.79 cores=0-31
/proc/16078/stat : 16078 (strangenight2-m) Z 16076 16078 15754 0 -1 4203548 2379960 0 0 0 213242 28837 0 0 22 0 2 0 1366501 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/16078/statm: 0 0 0 0 0 0 0
[pid=16078/tid=16098] ppid=16076 vsize=0 CPUtime=75.9 cores=0-31
/proc/16078/task/16098/stat : 16098 (strangenight2-m) R 16076 16078 15754 0 -1 4203588 71507 0 0 0 6596 994 0 0 25 0 2 0 1366502 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2420.79
Current children cumulated vsize (KiB) 0

[startup+97.6009 s]
/proc/loadavg: 28.60 24.11 16.13 33/445 16112
/proc/meminfo: memFree=254743200/264257624 swapFree=67044428/67111528
[pid=16078] ppid=16076 vsize=0 CPUtime=2420.89 cores=0-31
/proc/16078/stat : 16078 (strangenight2-m) Z 16076 16078 15754 0 -1 4203548 2379960 0 0 0 213242 28847 0 0 22 0 2 0 1366501 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/16078/statm: 0 0 0 0 0 0 0
[pid=16078/tid=16098] ppid=16076 vsize=0 CPUtime=76 cores=0-31
/proc/16078/task/16098/stat : 16098 (strangenight2-m) R 16076 16078 15754 0 -1 4203588 71507 0 0 0 6596 1004 0 0 25 0 2 0 1366502 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2420.89
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 97.6294
CPU time (s): 2420.93
CPU user time (s): 2132.43
CPU system time (s): 288.5
CPU usage (%): 2479.71
Max. virtual memory (cumulated for all children) (KiB): 11651380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2132.43
system time used= 288.5
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2379960
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= 11814287
involuntary context switches= 74047

runsolver used 0.746886 second user time and 2.82857 second system time

The end

Launcher Data

Begin job on node200 at 2011-05-30 13:13:25
IDJOB=3400752
IDBENCH=82430
IDSOLVER=1886
FILE ID=node200/3400752-1306754001
RUNJOBID= node200-1306753726-15768
PBS_JOBID= 13471601
Free space on /tmp= 61488 MiB

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

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

MD5SUM BENCH= 52e16341bcff805ef2d6abe4e95359a0
RANDOM SEED=1739268743

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:      263761960 kB
Buffers:         13104 kB
Cached:         311560 kB
SwapCached:      16104 kB
Active:         185160 kB
Inactive:       160668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263761960 kB
SwapTotal:    67111528 kB
SwapFree:     67044428 kB
Dirty:           98876 kB
Writeback:           0 kB
AnonPages:       19720 kB
Mapped:           8256 kB
Slab:            60516 kB
PageTables:       4580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   173248 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= 61484 MiB
End job on node200 at 2011-05-30 13:15:03