Trace number 3321140

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-mtUNSAT 485.86 61.3788

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
MD5SUM659dfff429810fdcd170c968aac23069
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.30458
Satisfiable
(Un)Satisfiability was proved
Number of variables361856
Number of clauses1084031
Sum of the clauses size2529403
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2722686
Number of clauses of size 3361343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.13/0.03	c Using 8 threads
0.13/0.04	c This is CryptoMiniSat 3.0.0
0.13/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.13/0.04	c Reading file 'HOME/instance-3321140-1304324281.cnf'
0.13/0.04	c -- header says num vars:         361856
0.13/0.04	c -- header says num clauses:     1084031
6.50/1.29	c -- clauses added:            0 learnts,      1084031 normals,            0 xors
6.50/1.29	c -- vars added     361856
6.50/1.29	c Parsing time:  0.52 s
6.50/1.29	c  N st     0         0    361856    361343    722686         0   2529401         0   no data   no data
21.46/3.15	c asymm  cl-useful: 0/163/361342 lits-rem:0 time: 1.22
197.17/25.20	c Flit:     3 Blit:    763 bXBeca:    0 bXProp:    8 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 22.68
197.17/25.20	c Cleaning up after failed var search:     0.00 s 
198.83/25.33	c Replacing        8 vars Replaced      884 lits Time:     0.12 s 
199.56/25.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
200.34/25.54	c bin-w-bin subsume rem            1 bins  time:  0.07 s
201.93/25.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.16 s
298.43/37.81	c Subs w/ non-existent bins:      8 l-rem:      8 v-fix:     0 done:  10389 time: 12.06 s
301.59/38.28	c Removed useless bin:       0  fixed:     0  props:  20.02M  time:  0.47 s
316.56/40.11	c lits-rem:         0  cl-subs:     7844  v-elim: 120360  v-fix:    0  time:  1.66 s
316.56/40.19	c Finding binary XORs  T:     0.08 s  found:     406
317.36/40.28	c Replacing      406 vars Replaced   101404 lits Time:     0.09 s 
318.96/40.43	c Finding non-binary XORs:     0.11 s (found:       0, avg size: nan)
318.96/40.43	c calculated reachability. Time: 0.01
318.96/40.47	c Calc default polars -  time:   0.04 s pos:     869 undec:  121549 neg:  239438
318.96/40.47	c =========================================================================================
318.96/40.47	c types(t): F = full restart, N = normal restart
318.96/40.47	c types(t): S = simplification begin/end, E = solution found
318.96/40.47	c restart types(rt): st = static, dy = dynamic
318.96/40.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
318.96/40.47	c  B st     0         0    240314    284220    554049         0   2065182         0   no data   no data
482.81/60.94	c Finding binary XORs  T:     0.08 s  found:    6996
483.61/61.03	c Replacing     6996 vars Replaced    57664 lits Time:     0.08 s 
485.21/61.26	c Following stats are for *FIRST FINISHED THREAD ONLY*
485.21/61.26	c num threads              : 8          
485.21/61.26	c restarts                 : 50         
485.21/61.26	c dynamic restarts         : 44         
485.21/61.26	c static restarts          : 6          
485.21/61.26	c full restarts            : 0          
485.21/61.26	c total simplify time      : 1.34       
485.21/61.26	c learnts DL2              : 0          
485.21/61.26	c learnts size 2           : 797924     
485.21/61.26	c learnts size 1           : 280053      (77.39     % of vars)
485.21/61.26	c filedLit time            : 0.00        (0.00      % time)
485.21/61.26	c v-elim SatELite          : 0           (0.00      % vars)
485.21/61.26	c SatELite time            : 0.00        (0.00      % time)
485.21/61.26	c v-elim xor               : 0           (0.00      % vars)
485.21/61.26	c xor elim time            : 0.00        (0.00      % time)
485.21/61.26	c num binary xor trees     : 14357      
485.21/61.26	c binxor trees' crown      : 66627       (4.64      leafs/tree)
485.21/61.26	c bin xor find time        : 0.43       
485.21/61.26	c OTF clause improved      : 60          (0.01      clauses/conflict)
485.21/61.26	c OTF impr. size diff      : 180         (3.00       lits/clause)
485.21/61.26	c OTF cl watch-shrink      : 592         (0.06      clauses/conflict)
485.21/61.26	c OTF cl watch-sh-lit      : 72796       (122.97     lits/clause)
485.21/61.26	c tried to recurMin cls    : 7682        (76.54      % of conflicts)
485.21/61.26	c updated cache            : 15569       (2.03       lits/tried recurMin)
485.21/61.26	c unit cls recevied        : 0           (0.00      % of units)
485.21/61.26	c unit cls sent            : 13178       (4.71      % of units)
485.21/61.26	c bin cls recevied         : 0          
485.21/61.26	c bin cls sent             : 3693       
485.21/61.26	c clauses over max glue    : 0           (0.00      % of all clauses)
485.21/61.26	c conflicts                : 10037       (166.04    / sec)
485.21/61.26	c decisions                : 273128      (0.77      % random)
485.21/61.26	c bogo-props               : 869841042   (14389951.30 / sec)
485.21/61.26	c conflict literals        : 1375023     (72.97     % deleted)
485.21/61.26	c Memory used              : 2771.54     MB
485.21/61.26	c single-thread CPU time   : 60.45       s
485.21/61.26	c all-threads sum CPU time : 482.31      s
485.21/61.26	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: 935)

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-3321140-1304324281/watcher-3321140-1304324281 -o /tmp/evaluation-result-3321140-1304324281/solver-3321140-1304324281 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321140-1304324281.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.79 7.56 6.91 1/233 7146
/proc/meminfo: memFree=24909668/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=92188 CPUtime=0.01 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 413 0 0 0 1 0 0 0 20 0 8 0 544026888 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657586 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 23047 352 299 106 0 18018 0
[pid=7146/tid=7147] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657586 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657586 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657586 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657590 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.033382 s]
/proc/loadavg: 7.79 7.56 6.91 1/233 7146
/proc/meminfo: memFree=24909668/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=92188 CPUtime=0.13 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 413 0 0 0 13 0 0 0 20 0 8 0 544026888 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657586 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 23047 352 299 106 0 18018 0
[pid=7146/tid=7147] ppid=7144 vsize=92188 CPUtime=0.03 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657586 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=92188 CPUtime=0.02 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657586 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=92188 CPUtime=0.01 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657580 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=92188 CPUtime=0.02 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657590 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=92188 CPUtime=0 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544026889 94400512 352 33554432000 4194304 4627427 140734935411696 18446744073709551615 46983068657590 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 92188

[startup+0.100416 s]
/proc/loadavg: 7.79 7.56 6.91 1/233 7146
/proc/meminfo: memFree=24909668/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=572124 CPUtime=0.52 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 14983 0 0 0 35 17 0 0 17 0 8 0 544026888 585854976 13016 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 143193 13093 339 106 0 138164 0
[pid=7146/tid=7147] ppid=7144 vsize=572772 CPUtime=0.08 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 2039 0 0 0 6 2 0 0 17 0 8 0 544026889 586518528 13093 33554432000 4194304 4627427 140734935411696 18446744073709551615 4302428 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=572772 CPUtime=0.03 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) D 7144 7146 6848 0 -1 4202560 1918 0 0 0 2 1 0 0 17 0 8 0 544026889 586518528 13093 33554432000 4194304 4627427 140734935411696 18446744073709551615 4313864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=572772 CPUtime=0.06 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) D 7144 7146 6848 0 -1 4202560 1851 0 0 0 4 2 0 0 17 0 8 0 544026889 586518528 13093 33554432000 4194304 4627427 140734935411696 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=572772 CPUtime=0.05 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 1576 0 0 0 4 1 0 0 17 0 8 0 544026889 586518528 13093 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=572772 CPUtime=0.05 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) D 7144 7146 6848 0 -1 4202560 1762 0 0 0 3 2 0 0 17 0 8 0 544026889 586518528 13093 33554432000 4194304 4627427 140734935411696 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=572988 CPUtime=0.06 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 1827 0 0 0 5 1 0 0 17 0 8 0 544026889 586739712 13103 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=572988 CPUtime=0.03 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 1839 0 0 0 1 2 0 0 17 0 8 0 544026889 586739712 13109 33554432000 4194304 4627427 140734935411696 18446744073709551615 4530796 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 572124

[startup+0.300431 s]
/proc/loadavg: 7.79 7.56 6.91 1/233 7146
/proc/meminfo: memFree=24909668/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=716392 CPUtime=1.61 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) S 7144 7146 6848 0 -1 4202496 60289 0 0 0 91 70 0 0 17 0 8 0 544026888 733585408 51800 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 179098 51876 339 106 0 174069 0
[pid=7146/tid=7147] ppid=7144 vsize=716392 CPUtime=0.22 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 7769 0 0 0 13 9 0 0 17 0 8 0 544026889 733585408 51882 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=716392 CPUtime=0.17 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) D 7144 7146 6848 0 -1 4202560 7861 0 0 0 9 8 0 0 17 0 8 0 544026889 733585408 51943 33554432000 4194304 4627427 140734935411696 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=716392 CPUtime=0.19 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) S 7144 7146 6848 0 -1 4202560 6462 0 0 0 12 7 0 0 17 0 8 0 544026889 733585408 51985 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 18446604467524622464 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=716392 CPUtime=0.19 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 6434 0 0 0 11 8 0 0 17 0 8 0 544026889 733585408 52009 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=716392 CPUtime=0.18 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 7726 0 0 0 10 8 0 0 17 0 8 0 544026889 733585408 52056 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=716392 CPUtime=0.21 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 7570 0 0 0 12 9 0 0 17 0 8 0 544026889 733585408 52059 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=716392 CPUtime=0.16 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) D 7144 7146 6848 0 -1 4202560 8863 0 0 0 7 9 0 0 17 0 8 0 544026889 733585408 52059 33554432000 4194304 4627427 140734935411696 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 716392

[startup+0.701274 s]
/proc/loadavg: 7.79 7.56 6.91 1/233 7146
/proc/meminfo: memFree=24909668/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=910528 CPUtime=3.87 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 158892 0 0 0 210 177 0 0 16 0 8 0 544026888 932380672 124983 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 227632 124991 339 106 0 222603 0
[pid=7146/tid=7147] ppid=7144 vsize=910528 CPUtime=0.5 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 19496 0 0 0 27 23 0 0 16 0 8 0 544026889 932380672 124998 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=910528 CPUtime=0.46 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 21087 0 0 0 24 22 0 0 16 0 8 0 544026889 932380672 124998 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=910528 CPUtime=0.47 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 18929 0 0 0 29 18 0 0 16 0 8 0 544026889 932380672 125001 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=910528 CPUtime=0.46 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) S 7144 7146 6848 0 -1 4202560 18160 0 0 0 26 20 0 0 16 0 8 0 544026889 932380672 125005 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=910528 CPUtime=0.46 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 20901 0 0 0 26 20 0 0 16 0 8 0 544026889 932380672 125010 33554432000 4194304 4627427 140734935411696 18446744073709551615 4302456 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=910528 CPUtime=0.49 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 19202 0 0 0 26 23 0 0 16 0 8 0 544026889 932380672 125012 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=910528 CPUtime=0.44 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 21418 0 0 0 20 24 0 0 16 0 8 0 544026889 932380672 125016 33554432000 4194304 4627427 140734935411696 18446744073709551615 251814345198 0 0 4096 2 18446604467524622464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 910528

[startup+1.50115 s]
/proc/loadavg: 7.33 7.47 6.89 6/241 7154
/proc/meminfo: memFree=24148120/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2021264 CPUtime=8.68 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 354421 0 0 0 603 265 0 0 16 0 8 0 544026888 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 505316 285447 363 106 0 500287 0
[pid=7146/tid=7147] ppid=7144 vsize=2021264 CPUtime=1.08 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 42515 0 0 0 73 35 0 0 16 0 8 0 544026889 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2021264 CPUtime=1.05 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 45445 0 0 0 73 32 0 0 16 0 8 0 544026889 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2021264 CPUtime=1.08 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 41175 0 0 0 79 29 0 0 16 0 8 0 544026889 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2021264 CPUtime=1.04 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 42770 0 0 0 74 30 0 0 16 0 8 0 544026889 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2021264 CPUtime=1.09 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 46934 0 0 0 78 31 0 0 16 0 8 0 544026889 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2021264 CPUtime=1.1 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 44935 0 0 0 76 34 0 0 16 0 8 0 544026889 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2021264 CPUtime=1.06 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 47336 0 0 0 70 36 0 0 16 0 8 0 544026889 2069774336 285447 33554432000 4194304 4627427 140734935411696 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 2021264

[startup+3.10088 s]
/proc/loadavg: 7.33 7.47 6.89 10/241 7154
/proc/meminfo: memFree=23762608/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2021264 CPUtime=21.46 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 369201 0 0 0 1880 266 0 0 17 0 8 0 544026888 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 505316 299552 366 106 0 500287 0
[pid=7146/tid=7147] ppid=7144 vsize=2021264 CPUtime=2.68 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 44232 0 0 0 233 35 0 0 17 0 8 0 544026889 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2021264 CPUtime=2.64 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 47869 0 0 0 232 32 0 0 17 0 8 0 544026889 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2021264 CPUtime=2.68 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 42588 0 0 0 239 29 0 0 18 0 8 0 544026889 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2021264 CPUtime=2.64 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 45197 0 0 0 233 31 0 0 17 0 8 0 544026889 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2021264 CPUtime=2.69 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 48701 0 0 0 238 31 0 0 17 0 8 0 544026889 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2021264 CPUtime=2.7 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 46701 0 0 0 236 34 0 0 18 0 8 0 544026889 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2021264 CPUtime=2.66 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 48481 0 0 0 230 36 0 0 17 0 8 0 544026889 2069774336 299552 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.46
Current children cumulated vsize (KiB) 2021264

[startup+6.30034 s]
/proc/loadavg: 7.38 7.48 6.89 9/241 7154
/proc/meminfo: memFree=23709920/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2021264 CPUtime=47.04 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 369921 0 0 0 4437 267 0 0 25 0 8 0 544026888 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 505316 299598 366 106 0 500287 0
[pid=7146/tid=7147] ppid=7144 vsize=2021264 CPUtime=5.88 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 44232 0 0 0 553 35 0 0 25 0 8 0 544026889 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2021264 CPUtime=5.82 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 47869 0 0 0 550 32 0 0 25 0 8 0 544026889 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2021264 CPUtime=5.88 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 42588 0 0 0 559 29 0 0 25 0 8 0 544026889 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2021264 CPUtime=5.84 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 45197 0 0 0 553 31 0 0 25 0 8 0 544026889 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2021264 CPUtime=5.89 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 48701 0 0 0 558 31 0 0 25 0 8 0 544026889 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2021264 CPUtime=5.9 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 46701 0 0 0 556 34 0 0 25 0 8 0 544026889 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2021264 CPUtime=5.86 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 49201 0 0 0 550 36 0 0 25 0 8 0 544026889 2069774336 299598 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0

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

[pid=7146] ppid=7144 vsize=2021264 CPUtime=98.2 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 371228 0 0 0 9553 267 0 0 25 0 8 0 544026888 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 505316 299908 367 106 0 500287 0
[pid=7146/tid=7147] ppid=7144 vsize=2021264 CPUtime=12.28 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 44232 0 0 0 1193 35 0 0 25 0 8 0 544026889 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2021264 CPUtime=12.17 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 47869 0 0 0 1185 32 0 0 25 0 8 0 544026889 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2021264 CPUtime=12.28 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 42588 0 0 0 1199 29 0 0 25 0 8 0 544026889 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2021264 CPUtime=12.24 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 45197 0 0 0 1193 31 0 0 25 0 8 0 544026889 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2021264 CPUtime=12.29 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 48701 0 0 0 1198 31 0 0 25 0 8 0 544026889 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2021264 CPUtime=12.3 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 46702 0 0 0 1196 34 0 0 25 0 8 0 544026889 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2021264 CPUtime=12.26 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 50507 0 0 0 1190 36 0 0 25 0 8 0 544026889 2069774336 299908 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (KiB) 2021264

[startup+25.5011 s]
/proc/loadavg: 7.52 7.50 6.91 11/241 7155
/proc/meminfo: memFree=23381836/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2560956 CPUtime=200.34 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 475439 0 0 0 19739 295 0 0 25 0 8 0 544026888 2622418944 404114 33554432000 4194304 4627427 140734935411696 18446744073709551615 4461023 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 640239 404138 379 106 0 635210 0
[pid=7146/tid=7147] ppid=7144 vsize=2560956 CPUtime=25.04 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 59798 0 0 0 2464 40 0 0 18 0 8 0 544026889 2622418944 404148 33554432000 4194304 4627427 140734935411696 18446744073709551615 4534858 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2560956 CPUtime=24.83 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 62615 0 0 0 2446 37 0 0 19 0 8 0 544026889 2622418944 404162 33554432000 4194304 4627427 140734935411696 18446744073709551615 4436824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2560956 CPUtime=25.04 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 59737 0 0 0 2470 34 0 0 18 0 8 0 544026889 2622418944 404175 33554432000 4194304 4627427 140734935411696 18446744073709551615 4534796 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2560956 CPUtime=25.03 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 54580 0 0 0 2470 33 0 0 25 0 8 0 544026889 2622418944 404186 33554432000 4194304 4627427 140734935411696 18446744073709551615 251813937591 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2560956 CPUtime=25.09 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 63777 0 0 0 2474 35 0 0 25 0 8 0 544026889 2622418944 404200 33554432000 4194304 4627427 140734935411696 18446744073709551615 4534796 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2560956 CPUtime=25.1 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 65325 0 0 0 2471 39 0 0 25 0 8 0 544026889 2622418944 404212 33554432000 4194304 4627427 140734935411696 18446744073709551615 4534832 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2560956 CPUtime=25.05 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 51864 0 0 0 2469 36 0 0 18 0 8 0 544026889 2622418944 404225 33554432000 4194304 4627427 140734935411696 18446744073709551615 4321477 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.34
Current children cumulated vsize (KiB) 2560956

[startup+51.1008 s]
/proc/loadavg: 7.81 7.58 6.95 9/241 7156
/proc/meminfo: memFree=22872220/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2837112 CPUtime=404.48 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 602677 0 0 0 40105 343 0 0 25 0 8 0 544026888 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4323040 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 709278 509321 386 106 0 704249 0
[pid=7146/tid=7147] ppid=7144 vsize=2837112 CPUtime=50.56 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 75583 0 0 0 5010 46 0 0 25 0 8 0 544026889 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2837112 CPUtime=50.21 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 71389 0 0 0 4979 42 0 0 25 0 8 0 544026889 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4322288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2837112 CPUtime=50.6 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 77871 0 0 0 5021 39 0 0 25 0 8 0 544026889 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2837112 CPUtime=50.53 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 80211 0 0 0 5010 43 0 0 25 0 8 0 544026889 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2837112 CPUtime=50.65 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 79743 0 0 0 5024 41 0 0 25 0 8 0 544026889 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2837112 CPUtime=50.64 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 80493 0 0 0 5019 45 0 0 25 0 8 0 544026889 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2837112 CPUtime=50.65 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 57923 0 0 0 5028 37 0 0 25 0 8 0 544026889 2905202688 509321 33554432000 4194304 4627427 140734935411696 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 404.48
Current children cumulated vsize (KiB) 2837112

Solver just ended. Dumping a history of the last processes samples

[startup+57.5007 s]
/proc/loadavg: 7.83 7.59 6.96 9/241 7156
/proc/meminfo: memFree=22864780/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2838048 CPUtime=455.64 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 604940 0 0 0 45220 344 0 0 25 0 8 0 544026888 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 709512 511031 386 106 0 704483 0
[pid=7146/tid=7147] ppid=7144 vsize=2838048 CPUtime=56.96 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 75619 0 0 0 5650 46 0 0 25 0 8 0 544026889 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2838048 CPUtime=56.56 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 71405 0 0 0 5614 42 0 0 25 0 8 0 544026889 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2838048 CPUtime=57 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 77948 0 0 0 5661 39 0 0 25 0 8 0 544026889 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2838048 CPUtime=56.93 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 80232 0 0 0 5650 43 0 0 25 0 8 0 544026889 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2838048 CPUtime=57.05 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 79784 0 0 0 5664 41 0 0 25 0 8 0 544026889 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2838048 CPUtime=57.04 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 81604 0 0 0 5659 45 0 0 25 0 8 0 544026889 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2838048 CPUtime=57.06 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 58793 0 0 0 5668 38 0 0 25 0 8 0 544026889 2906161152 511031 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 455.64
Current children cumulated vsize (KiB) 2838048

[startup+59.1005 s]
/proc/loadavg: 7.83 7.59 6.96 9/241 7156
/proc/meminfo: memFree=22864652/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2838048 CPUtime=468.42 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 605099 0 0 0 46498 344 0 0 25 0 8 0 544026888 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 709512 511190 386 106 0 704483 0
[pid=7146/tid=7147] ppid=7144 vsize=2838048 CPUtime=58.56 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 75631 0 0 0 5810 46 0 0 25 0 8 0 544026889 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2838048 CPUtime=58.15 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 71422 0 0 0 5773 42 0 0 25 0 8 0 544026889 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2838048 CPUtime=58.6 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 77963 0 0 0 5821 39 0 0 25 0 8 0 544026889 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2838048 CPUtime=58.53 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 80237 0 0 0 5810 43 0 0 25 0 8 0 544026889 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2838048 CPUtime=58.65 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 79793 0 0 0 5824 41 0 0 25 0 8 0 544026889 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2838048 CPUtime=58.63 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 81632 0 0 0 5818 45 0 0 25 0 8 0 544026889 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4322160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2838048 CPUtime=58.66 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 58852 0 0 0 5828 38 0 0 25 0 8 0 544026889 2906161152 511190 33554432000 4194304 4627427 140734935411696 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 468.42
Current children cumulated vsize (KiB) 2838048

[startup+60.7012 s]
/proc/loadavg: 7.84 7.59 6.96 9/241 7156
/proc/meminfo: memFree=22863908/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2838048 CPUtime=481.21 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 605231 0 0 0 47777 344 0 0 25 0 8 0 544026888 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4322605 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 709512 511322 386 106 0 704483 0
[pid=7146/tid=7147] ppid=7144 vsize=2838048 CPUtime=60.16 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 75635 0 0 0 5970 46 0 0 25 0 8 0 544026889 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2838048 CPUtime=59.74 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 71432 0 0 0 5932 42 0 0 25 0 8 0 544026889 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2838048 CPUtime=60.2 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 77981 0 0 0 5981 39 0 0 25 0 8 0 544026889 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2838048 CPUtime=60.13 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 80245 0 0 0 5970 43 0 0 25 0 8 0 544026889 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2838048 CPUtime=60.25 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 79803 0 0 0 5984 41 0 0 25 0 8 0 544026889 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2838048 CPUtime=60.23 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 81635 0 0 0 5978 45 0 0 25 0 8 0 544026889 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2838048 CPUtime=60.26 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 58916 0 0 0 5988 38 0 0 25 0 8 0 544026889 2906161152 511322 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 481.21
Current children cumulated vsize (KiB) 2838048

[startup+61.1011 s]
/proc/loadavg: 7.84 7.59 6.96 9/241 7156
/proc/meminfo: memFree=22863908/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=2838048 CPUtime=484.41 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) R 7144 7146 6848 0 -1 4202496 605264 0 0 0 48097 344 0 0 25 0 8 0 544026888 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 709512 511355 386 106 0 704483 0
[pid=7146/tid=7147] ppid=7144 vsize=2838048 CPUtime=60.56 cores=0-7
/proc/7146/task/7147/stat : 7147 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 75635 0 0 0 6010 46 0 0 25 0 8 0 544026889 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7146/tid=7148] ppid=7144 vsize=2838048 CPUtime=60.14 cores=0-7
/proc/7146/task/7148/stat : 7148 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 71442 0 0 0 5972 42 0 0 25 0 8 0 544026889 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7146/tid=7149] ppid=7144 vsize=2838048 CPUtime=60.6 cores=0-7
/proc/7146/task/7149/stat : 7149 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 77981 0 0 0 6021 39 0 0 25 0 8 0 544026889 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=2838048 CPUtime=60.53 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 80249 0 0 0 6010 43 0 0 25 0 8 0 544026889 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7146/tid=7151] ppid=7144 vsize=2838048 CPUtime=60.65 cores=0-7
/proc/7146/task/7151/stat : 7151 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 79803 0 0 0 6024 41 0 0 25 0 8 0 544026889 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7146/tid=7152] ppid=7144 vsize=2838048 CPUtime=60.63 cores=0-7
/proc/7146/task/7152/stat : 7152 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 81640 0 0 0 6018 45 0 0 25 0 8 0 544026889 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7146/tid=7153] ppid=7144 vsize=2838048 CPUtime=60.66 cores=0-7
/proc/7146/task/7153/stat : 7153 (strangenight2-m) R 7144 7146 6848 0 -1 4202560 58928 0 0 0 6028 38 0 0 25 0 8 0 544026889 2906161152 511355 33554432000 4194304 4627427 140734935411696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 484.41
Current children cumulated vsize (KiB) 2838048

[startup+61.3011 s]
/proc/loadavg: 7.84 7.59 6.96 9/241 7156
/proc/meminfo: memFree=22863908/32950928 swapFree=67111448/67111528
[pid=7146] ppid=7144 vsize=0 CPUtime=485.77 cores=0-7
/proc/7146/stat : 7146 (strangenight2-m) Z 7144 7146 6848 0 -1 4203548 605272 0 0 0 48230 347 0 0 25 0 2 0 544026888 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7146/statm: 0 0 0 0 0 0 0
[pid=7146/tid=7150] ppid=7144 vsize=0 CPUtime=60.73 cores=0-7
/proc/7146/task/7150/stat : 7150 (strangenight2-m) R 7144 7146 6848 0 -1 4203588 80249 0 0 0 6027 46 0 0 25 0 2 0 544026889 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 485.77
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 61.3788
CPU time (s): 485.86
CPU user time (s): 482.306
CPU system time (s): 3.55446
CPU usage (%): 791.576
Max. virtual memory (cumulated for all children) (KiB): 2838048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 482.306
system time used= 3.55446
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605272
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= 221975
involuntary context switches= 2176

runsolver used 0.122981 second user time and 0.32795 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-02 10:18:02
IDJOB=3321140
IDBENCH=82456
IDSOLVER=1709
FILE ID=node126/3321140-1304324281
RUNJOBID= node126-1304322187-6862
PBS_JOBID= 13176800
Free space on /tmp= 73704 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321140-1304324281/watcher-3321140-1304324281 -o /tmp/evaluation-result-3321140-1304324281/solver-3321140-1304324281 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321140-1304324281.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 659dfff429810fdcd170c968aac23069
RANDOM SEED=822800595

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24909824 kB
Buffers:        328428 kB
Cached:        1861772 kB
SwapCached:         76 kB
Active:        5890452 kB
Inactive:      1806976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24909824 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           24876 kB
Writeback:          36 kB
AnonPages:     5507176 kB
Mapped:          20756 kB
Slab:           261028 kB
PageTables:      20868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 27246168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73696 MiB
End job on node126 at 2011-05-02 10:19:03