Trace number 3394314

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 223.219 28.1407

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
MD5SUM649b4cf0a21e275b244b1034d05ded52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.62245
Satisfiable
(Un)Satisfiability was proved
Number of variables96095
Number of clauses285404
Sum of the clauses size665940
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2190268
Number of clauses of size 395134
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.00/0.00	c Using 8 threads
0.09/0.03	c This is CryptoMiniSat 3.0.0
0.09/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.09/0.03	c Reading file 'HOME/instance-3394314-1306094193.cnf'
0.09/0.03	c -- header says num vars:          96095
0.09/0.03	c -- header says num clauses:      285404
1.60/0.39	c -- clauses added:            0 learnts,       285404 normals,            0 xors
1.60/0.39	c -- vars added      96095
1.60/0.39	c Parsing time:  0.15 s
1.60/0.39	c  N st     0         0     96095     95134    190268         0    665938         0   no data   no data
13.31/1.83	c asymm  cl-useful: 0/7581/95133 lits-rem:0 time: 0.43
84.37/10.74	c Flit:    90 Blit:   9912 bXBeca:    0 bXProp: 4370 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.92
84.37/10.75	c Cleaning up after failed var search:     0.01 s 
84.37/10.79	c Replacing     4370 vars Replaced   102168 lits Time:     0.03 s 
85.16/10.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.16/10.83	c bin-w-bin subsume rem          428 bins  time:  0.01 s
85.16/10.87	c subs with bin:       11  lits-rem:        11  v-fix:    0  time:  0.03 s
87.57/11.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  81289 time:  0.27 s
88.36/11.23	c Removed useless bin:     249  fixed:     0  props:  20.00M  time:  0.10 s
90.86/11.53	c lits-rem:      3581  cl-subs:     5137  v-elim:  27096  v-fix:    0  time:  0.27 s
90.86/11.55	c Finding binary XORs  T:     0.01 s  found:       0
90.86/11.58	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
90.86/11.58	c calculated reachability. Time: 0.00
90.86/11.58	c Calc default polars -  time:   0.01 s pos:     538 undec:   42203 neg:   53354
90.86/11.58	c =========================================================================================
90.86/11.58	c types(t): F = full restart, N = normal restart
90.86/11.58	c types(t): S = simplification begin/end, E = solution found
90.86/11.58	c restart types(rt): st = static, dy = dynamic
90.86/11.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
90.86/11.58	c  B st     0         0     54193     73546    110001         0    471609         0   no data   no data
101.74/12.92	c  N dy    17      4192     54187     73546    110236      3876    471606     69013      5.43      5.92
115.32/14.70	c  N dy    46      8420     53791     73546    111454      7875    471605    158681      6.11      6.63
131.29/16.60	c  N dy    71     12505     53597     71494    111708     11727    461682    267209      6.50      7.84
140.86/17.82	c Finding binary XORs  T:     0.02 s  found:    1124
140.86/17.85	c Replacing     1124 vars Replaced    18151 lits Time:     0.03 s 
153.62/19.42	c  N dy    99     16523     52453     71407    109039     15615    456848    394799      6.83      7.21
176.78/22.41	c  N dy   129     20538     51074     66954    108536      9608    435366    114436      7.05      7.43
193.55/24.40	c Finding binary XORs  T:     0.02 s  found:    3122
193.55/24.43	c Replacing     3122 vars Replaced    40830 lits Time:     0.02 s 
203.12/25.67	c  N dy   156     24755     47714     66437    101277     13660    420611    241697      7.19      7.67
204.86/25.88	c  F st   159     25000     46746     62979     98828     13168    404722    216062      7.20   no data
223.08/28.11	c Following stats are for *FIRST FINISHED THREAD ONLY*
223.08/28.11	c num threads              : 8          
223.08/28.11	c restarts                 : 156        
223.08/28.11	c dynamic restarts         : 147        
223.08/28.11	c static restarts          : 9          
223.08/28.11	c full restarts            : 1          
223.08/28.11	c total simplify time      : 0.16       
223.08/28.11	c learnts DL2              : 0          
223.08/28.11	c learnts size 2           : 247085     
223.08/28.11	c learnts size 1           : 15533       (16.16     % of vars)
223.08/28.11	c filedLit time            : 10.24       (37.13     % time)
223.08/28.11	c v-elim SatELite          : 27096       (28.20     % vars)
223.08/28.11	c SatELite time            : 0.55        (1.99      % time)
223.08/28.11	c v-elim xor               : 0           (0.00      % vars)
223.08/28.11	c xor elim time            : 0.00        (0.00      % time)
223.08/28.11	c num binary xor trees     : 3768       
223.08/28.11	c binxor trees' crown      : 10541       (2.80      leafs/tree)
223.08/28.11	c bin xor find time        : 0.05       
223.08/28.11	c OTF clause improved      : 417         (0.02      clauses/conflict)
223.08/28.11	c OTF impr. size diff      : 525         (1.26       lits/clause)
223.08/28.11	c OTF cl watch-shrink      : 11051       (0.43      clauses/conflict)
223.08/28.11	c OTF cl watch-sh-lit      : 34066       (3.08       lits/clause)
223.08/28.11	c tried to recurMin cls    : 0           (0.00       % of conflicts)
223.08/28.11	c updated cache            : 0           (nan        lits/tried recurMin)
223.08/28.11	c unit cls recevied        : 316         (2.03      % of units)
223.08/28.11	c unit cls sent            : 662         (4.26      % of units)
223.08/28.11	c bin cls recevied         : 19850      
223.08/28.11	c bin cls sent             : 2338       
223.08/28.11	c clauses over max glue    : 0           (0.00      % of all clauses)
223.08/28.11	c conflicts                : 25914       (940.11    / sec)
223.08/28.11	c decisions                : 75116       (0.00      % random)
223.08/28.11	c bogo-props               : 443820817   (16100993.73 / sec)
223.08/28.11	c conflict literals        : 751325      (38.80     % deleted)
223.08/28.11	c Memory used              : 878.91      MB
223.08/28.11	c single-thread CPU time   : 27.56       s
223.08/28.11	c all-threads sum CPU time : 221.87      s
223.08/28.11	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-3394314-1306094193/watcher-3394314-1306094193 -o /tmp/evaluation-result-3394314-1306094193/solver-3394314-1306094193 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394314-1306094193.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.52 7.85 7.93 3/498 29893
/proc/meminfo: memFree=20591776/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=92144 CPUtime=0.07 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 420 0 0 0 7 0 0 0 25 0 8 0 721021915 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627976114 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29893/statm: 23036 360 302 95 0 18018 0
[pid=29893/tid=29894] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=92144 CPUtime=0 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627976112 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975709 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=92144 CPUtime=0 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975709 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.020347 s]
/proc/loadavg: 7.52 7.85 7.93 3/498 29893
/proc/meminfo: memFree=20591776/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=92144 CPUtime=0.09 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 420 0 0 0 9 0 0 0 25 0 8 0 721021915 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627976114 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29893/statm: 23036 360 302 95 0 18018 0
[pid=29893/tid=29894] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=92144 CPUtime=0 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627976112 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975696 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975696 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721021916 94355456 360 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975699 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92144

[startup+0.101366 s]
/proc/loadavg: 7.52 7.85 7.93 3/498 29893
/proc/meminfo: memFree=20591776/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=650636 CPUtime=0.53 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 20898 0 0 0 37 16 0 0 17 0 8 0 721021915 666251264 16863 33554432000 4194304 4580107 140737336875328 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 162659 16885 337 95 0 157641 0
[pid=29893/tid=29894] ppid=29891 vsize=650636 CPUtime=0.06 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 2242 0 0 0 5 1 0 0 17 0 8 0 721021916 666251264 16901 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=650636 CPUtime=0.04 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 2467 0 0 0 2 2 0 0 17 0 8 0 721021916 666251264 16914 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 7 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=650636 CPUtime=0.07 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 2788 0 0 0 5 2 0 0 17 0 8 0 721021916 666251264 16924 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=650636 CPUtime=0.07 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 2633 0 0 0 5 2 0 0 17 0 8 0 721021916 666251264 16935 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634212471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=650636 CPUtime=0.05 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 2351 0 0 0 4 1 0 0 17 0 8 0 721021916 666251264 16948 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=650636 CPUtime=0.06 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 2689 0 0 0 4 2 0 0 17 0 8 0 721021916 666251264 16962 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=650636 CPUtime=0.06 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 2718 0 0 0 5 1 0 0 17 0 8 0 721021916 666251264 16962 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 650636

[startup+0.303348 s]
/proc/loadavg: 7.52 7.85 7.93 3/498 29893
/proc/meminfo: memFree=20591776/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=765932 CPUtime=1.6 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 76374 0 0 0 105 55 0 0 17 0 8 0 721021915 784314368 59536 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 191483 59643 337 95 0 186465 0
[pid=29893/tid=29894] ppid=29891 vsize=765932 CPUtime=0.19 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) D 29891 29893 29692 0 -1 4202560 9205 0 0 0 13 6 0 0 17 0 8 0 721021916 784314368 59644 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=765932 CPUtime=0.17 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 9454 0 0 0 10 7 0 0 17 0 8 0 721021916 784314368 59644 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 7 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=765932 CPUtime=0.2 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 9890 0 0 0 13 7 0 0 17 0 8 0 721021916 784314368 59666 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=765932 CPUtime=0.2 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 9279 0 0 0 13 7 0 0 17 0 8 0 721021916 784314368 59717 33554432000 4194304 4580107 140737336875328 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=765932 CPUtime=0.19 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 9489 0 0 0 13 6 0 0 17 0 8 0 721021916 784314368 59775 33554432000 4194304 4580107 140737336875328 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=765932 CPUtime=0.19 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 9183 0 0 0 13 6 0 0 17 0 8 0 721021916 784314368 59837 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=765932 CPUtime=0.2 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) S 29891 29893 29692 0 -1 4202560 9862 0 0 0 14 6 0 0 17 0 8 0 721021916 784314368 59899 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 18446604447038752704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 765932

[startup+0.838262 s]
/proc/loadavg: 7.52 7.85 7.93 3/498 29893
/proc/meminfo: memFree=20591776/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=778860 CPUtime=5.63 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 97921 0 0 0 491 72 0 0 17 0 8 0 721021915 797552640 80813 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 194715 80821 360 95 0 189697 0
[pid=29893/tid=29894] ppid=29891 vsize=778860 CPUtime=0.7 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11615 0 0 0 62 8 0 0 17 0 8 0 721021916 797552640 80821 33554432000 4194304 4580107 140737336875328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=778860 CPUtime=0.68 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12439 0 0 0 59 9 0 0 17 0 8 0 721021916 797552640 80821 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=778860 CPUtime=0.7 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12641 0 0 0 61 9 0 0 17 0 8 0 721021916 797552640 80821 33554432000 4194304 4580107 140737336875328 18446744073709551615 4294312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=778860 CPUtime=0.69 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11626 0 0 0 60 9 0 0 17 0 8 0 721021916 797552640 80821 33554432000 4194304 4580107 140737336875328 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=778860 CPUtime=0.7 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12283 0 0 0 62 8 0 0 17 0 8 0 721021916 797552640 80821 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=778860 CPUtime=0.69 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11744 0 0 0 61 8 0 0 17 0 8 0 721021916 797552640 80822 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=778860 CPUtime=0.71 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12352 0 0 0 64 7 0 0 17 0 8 0 721021916 797552640 80822 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 778860

[startup+1.50106 s]
/proc/loadavg: 7.52 7.85 7.93 11/506 29901
/proc/meminfo: memFree=20262924/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=781280 CPUtime=11.06 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 99737 0 0 0 1034 72 0 0 18 0 8 0 721021915 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 195320 82404 360 95 0 190302 0
[pid=29893/tid=29894] ppid=29891 vsize=781280 CPUtime=1.38 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11917 0 0 0 130 8 0 0 18 0 8 0 721021916 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=781280 CPUtime=1.34 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12507 0 0 0 125 9 0 0 18 0 8 0 721021916 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=781280 CPUtime=1.38 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12652 0 0 0 129 9 0 0 18 0 8 0 721021916 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=781280 CPUtime=1.37 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12195 0 0 0 128 9 0 0 18 0 8 0 721021916 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=781280 CPUtime=1.38 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12399 0 0 0 130 8 0 0 18 0 8 0 721021916 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=781280 CPUtime=1.37 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11942 0 0 0 129 8 0 0 18 0 8 0 721021916 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=781280 CPUtime=1.4 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12705 0 0 0 132 8 0 0 18 0 8 0 721021916 800030720 82404 33554432000 4194304 4580107 140737336875328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.06
Current children cumulated vsize (KiB) 781280

[startup+3.10078 s]
/proc/loadavg: 7.52 7.85 7.93 9/506 29901
/proc/meminfo: memFree=20256724/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=785788 CPUtime=23.69 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 101122 0 0 0 2297 72 0 0 21 0 8 0 721021915 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 196447 83789 361 95 0 191429 0
[pid=29893/tid=29894] ppid=29891 vsize=785788 CPUtime=2.96 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11922 0 0 0 288 8 0 0 21 0 8 0 721021916 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4294173 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=785788 CPUtime=2.9 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12525 0 0 0 281 9 0 0 21 0 8 0 721021916 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=785788 CPUtime=2.96 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12656 0 0 0 287 9 0 0 21 0 8 0 721021916 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=785788 CPUtime=2.96 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12198 0 0 0 287 9 0 0 21 0 8 0 721021916 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=785788 CPUtime=2.96 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12402 0 0 0 288 8 0 0 21 0 8 0 721021916 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=785788 CPUtime=2.95 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11960 0 0 0 287 8 0 0 21 0 8 0 721021916 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=785788 CPUtime=2.98 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 14026 0 0 0 290 8 0 0 21 0 8 0 721021916 804646912 83789 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 785788

[startup+6.30121 s]
/proc/loadavg: 7.56 7.85 7.93 9/506 29901
/proc/meminfo: memFree=20255616/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=785788 CPUtime=49.25 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 101558 0 0 0 4852 73 0 0 25 0 8 0 721021915 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4234548 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 196447 84225 361 95 0 191429 0
[pid=29893/tid=29894] ppid=29891 vsize=785788 CPUtime=6.16 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11926 0 0 0 608 8 0 0 25 0 8 0 721021916 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=785788 CPUtime=6.05 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12542 0 0 0 596 9 0 0 25 0 8 0 721021916 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=785788 CPUtime=6.16 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12665 0 0 0 607 9 0 0 25 0 8 0 721021916 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=785788 CPUtime=6.16 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12226 0 0 0 607 9 0 0 25 0 8 0 721021916 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4235007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=785788 CPUtime=6.16 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 12432 0 0 0 608 8 0 0 25 0 8 0 721021916 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4234948 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=785788 CPUtime=6.15 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 11993 0 0 0 607 8 0 0 25 0 8 0 721021916 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=785788 CPUtime=6.18 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 14306 0 0 0 610 8 0 0 25 0 8 0 721021916 804646912 84225 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.25
Current children cumulated vsize (KiB) 785788

[startup+12.7011 s]
/proc/loadavg: 7.59 7.86 7.93 9/506 29901
/proc/meminfo: memFree=20034736/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=814260 CPUtime=100.14 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 171741 0 0 0 9914 100 0 0 18 0 8 0 721021915 833802240 138750 33554432000 4194304 4580107 140737336875328 18446744073709551615 4317008 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 203565 138750 378 95 0 198547 0
[pid=29893/tid=29894] ppid=29891 vsize=814260 CPUtime=12.51 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 19123 0 0 0 1238 13 0 0 18 0 8 0 721021916 833802240 138750 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=814260 CPUtime=12.32 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 20949 0 0 0 1217 15 0 0 18 0 8 0 721021916 833802240 138750 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=814260 CPUtime=12.55 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 22407 0 0 0 1244 11 0 0 19 0 8 0 721021916 833802240 138751 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=814260 CPUtime=12.54 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 23792 0 0 0 1241 13 0 0 18 0 8 0 721021916 833802240 138751 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=814260 CPUtime=12.52 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 23503 0 0 0 1241 11 0 0 18 0 8 0 721021916 833802240 138751 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=814260 CPUtime=12.51 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 20364 0 0 0 1238 13 0 0 18 0 8 0 721021916 833802240 138751 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=814260 CPUtime=12.57 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 15455 0 0 0 1249 8 0 0 18 0 8 0 721021916 833802240 138751 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (KiB) 814260

[startup+25.5008 s]
/proc/loadavg: 7.82 7.89 7.94 9/506 29901
/proc/meminfo: memFree=20041660/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=899996 CPUtime=202.32 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 184795 0 0 0 20127 105 0 0 25 0 8 0 721021915 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 224999 137619 379 95 0 219981 0
[pid=29893/tid=29894] ppid=29891 vsize=899996 CPUtime=25.32 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 20652 0 0 0 2518 14 0 0 25 0 8 0 721021916 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=899996 CPUtime=25.13 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 22614 0 0 0 2497 16 0 0 25 0 8 0 721021916 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=899996 CPUtime=25.35 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 23947 0 0 0 2523 12 0 0 25 0 8 0 721021916 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=899996 CPUtime=25.33 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 25571 0 0 0 2520 13 0 0 25 0 8 0 721021916 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=899996 CPUtime=25.12 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 25014 0 0 0 2500 12 0 0 25 0 8 0 721021916 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=899996 CPUtime=25.31 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 22007 0 0 0 2518 13 0 0 25 0 8 0 721021916 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=899996 CPUtime=25.37 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 17300 0 0 0 2528 9 0 0 25 0 8 0 721021916 921595904 137619 33554432000 4194304 4580107 140737336875328 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.32
Current children cumulated vsize (KiB) 899996

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

[startup+26.0007 s]
/proc/loadavg: 7.82 7.89 7.94 9/506 29901
/proc/meminfo: memFree=20041288/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=899996 CPUtime=206.31 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 185429 0 0 0 20525 106 0 0 25 0 8 0 721021915 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4249629 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 224999 137969 379 95 0 219981 0
[pid=29893/tid=29894] ppid=29891 vsize=899996 CPUtime=25.81 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 20685 0 0 0 2567 14 0 0 25 0 8 0 721021916 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=899996 CPUtime=25.63 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 22646 0 0 0 2547 16 0 0 25 0 8 0 721021916 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=899996 CPUtime=25.85 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 23967 0 0 0 2573 12 0 0 25 0 8 0 721021916 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=899996 CPUtime=25.83 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 25622 0 0 0 2570 13 0 0 25 0 8 0 721021916 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=899996 CPUtime=25.61 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 25032 0 0 0 2549 12 0 0 25 0 8 0 721021916 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4320946 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=899996 CPUtime=25.81 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 22028 0 0 0 2568 13 0 0 25 0 8 0 721021916 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=899996 CPUtime=25.87 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 17315 0 0 0 2578 9 0 0 25 0 8 0 721021916 921595904 137969 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 206.31
Current children cumulated vsize (KiB) 899996

[startup+26.8006 s]
/proc/loadavg: 7.82 7.89 7.94 9/506 29901
/proc/meminfo: memFree=20037196/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=899996 CPUtime=212.84 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 234472 0 0 0 21172 112 0 0 25 0 8 0 721021915 921595904 138708 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 224999 138712 379 95 0 219981 0
[pid=29893/tid=29894] ppid=29891 vsize=899996 CPUtime=26.63 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 20736 0 0 0 2649 14 0 0 25 0 8 0 721021916 921595904 138739 33554432000 4194304 4580107 140737336875328 18446744073709551615 4249629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=899996 CPUtime=26.45 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 22684 0 0 0 2629 16 0 0 25 0 8 0 721021916 921595904 138769 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=899996 CPUtime=26.66 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 53845 0 0 0 2650 16 0 0 25 0 8 0 721021916 921595904 138789 33554432000 4194304 4580107 140737336875328 18446744073709551615 216634212986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=899996 CPUtime=26.65 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 25766 0 0 0 2651 14 0 0 25 0 8 0 721021916 921595904 138745 33554432000 4194304 4580107 140737336875328 18446744073709551615 4249629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=899996 CPUtime=26.41 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 25070 0 0 0 2629 12 0 0 25 0 8 0 721021916 921595904 138669 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=899996 CPUtime=26.63 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 27440 0 0 0 2648 15 0 0 25 0 8 0 721021916 921595904 138671 33554432000 4194304 4580107 140737336875328 18446744073709551615 4233981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=899996 CPUtime=26.69 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 17343 0 0 0 2660 9 0 0 25 0 8 0 721021916 921595904 138688 33554432000 4194304 4580107 140737336875328 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 212.84
Current children cumulated vsize (KiB) 899996

[startup+27.6005 s]
/proc/loadavg: 7.82 7.89 7.94 9/506 29901
/proc/meminfo: memFree=20037196/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=899996 CPUtime=219.09 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 390151 0 0 0 21779 130 0 0 25 0 8 0 721021915 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 224999 138880 379 95 0 219981 0
[pid=29893/tid=29894] ppid=29891 vsize=899996 CPUtime=27.42 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 37114 0 0 0 2725 17 0 0 25 0 8 0 721021916 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=899996 CPUtime=27.23 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 41751 0 0 0 2705 18 0 0 25 0 8 0 721021916 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=899996 CPUtime=27.45 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 68548 0 0 0 2727 18 0 0 25 0 8 0 721021916 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=899996 CPUtime=27.43 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 78395 0 0 0 2723 20 0 0 25 0 8 0 721021916 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=899996 CPUtime=27.19 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 25101 0 0 0 2707 12 0 0 25 0 8 0 721021916 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=899996 CPUtime=27.41 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 80050 0 0 0 2721 20 0 0 25 0 8 0 721021916 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=899996 CPUtime=27.47 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 17369 0 0 0 2738 9 0 0 25 0 8 0 721021916 921595904 138880 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 219.09
Current children cumulated vsize (KiB) 899996

[startup+28.0194 s]
/proc/loadavg: 7.83 7.90 7.94 9/506 29901
/proc/meminfo: memFree=20032112/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=899996 CPUtime=222.43 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 408465 0 0 0 22111 132 0 0 25 0 8 0 721021915 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 224999 138984 379 95 0 219981 0
[pid=29893/tid=29894] ppid=29891 vsize=899996 CPUtime=27.83 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 37131 0 0 0 2766 17 0 0 25 0 8 0 721021916 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=899996 CPUtime=27.65 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 41765 0 0 0 2747 18 0 0 25 0 8 0 721021916 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293022 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=899996 CPUtime=27.87 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 68565 0 0 0 2769 18 0 0 25 0 8 0 721021916 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=899996 CPUtime=27.85 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 78408 0 0 0 2765 20 0 0 25 0 8 0 721021916 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=899996 CPUtime=27.59 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 43323 0 0 0 2745 14 0 0 25 0 8 0 721021916 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4249629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=899996 CPUtime=27.83 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 80063 0 0 0 2763 20 0 0 25 0 8 0 721021916 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=899996 CPUtime=27.89 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 17379 0 0 0 2780 9 0 0 25 0 8 0 721021916 921595904 138984 33554432000 4194304 4580107 140737336875328 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 222.43
Current children cumulated vsize (KiB) 899996

[startup+28.1014 s]
/proc/loadavg: 7.83 7.90 7.94 9/506 29901
/proc/meminfo: memFree=20032112/32951124 swapFree=53501332/67111528
[pid=29893] ppid=29891 vsize=899996 CPUtime=223.08 cores=0-7
/proc/29893/stat : 29893 (strangenight2-m) R 29891 29893 29692 0 -1 4202496 409871 0 0 0 22176 132 0 0 25 0 8 0 721021915 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975699 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29893/statm: 224999 138999 379 95 0 219981 0
[pid=29893/tid=29894] ppid=29891 vsize=899996 CPUtime=27.92 cores=0-7
/proc/29893/task/29894/stat : 29894 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 37132 0 0 0 2775 17 0 0 25 0 8 0 721021916 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975699 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29893/tid=29895] ppid=29891 vsize=899996 CPUtime=27.73 cores=0-7
/proc/29893/task/29895/stat : 29895 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 41765 0 0 0 2755 18 0 0 25 0 8 0 721021916 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627951147 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29893/tid=29896] ppid=29891 vsize=899996 CPUtime=27.95 cores=0-7
/proc/29893/task/29896/stat : 29896 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 68566 0 0 0 2777 18 0 0 25 0 8 0 721021916 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29893/tid=29897] ppid=29891 vsize=899996 CPUtime=27.93 cores=0-7
/proc/29893/task/29897/stat : 29897 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 78408 0 0 0 2773 20 0 0 25 0 8 0 721021916 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29893/tid=29898] ppid=29891 vsize=899996 CPUtime=27.67 cores=0-7
/proc/29893/task/29898/stat : 29898 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 44726 0 0 0 2753 14 0 0 25 0 8 0 721021916 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 4243910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29893/tid=29899] ppid=29891 vsize=899996 CPUtime=27.91 cores=0-7
/proc/29893/task/29899/stat : 29899 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 80064 0 0 0 2771 20 0 0 25 0 8 0 721021916 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29893/tid=29900] ppid=29891 vsize=899996 CPUtime=27.97 cores=0-7
/proc/29893/task/29900/stat : 29900 (strangenight2-m) R 29891 29893 29692 0 -1 4202560 17379 0 0 0 2788 9 0 0 25 0 8 0 721021916 921595904 138999 33554432000 4194304 4580107 140737336875328 18446744073709551615 47104627975705 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 223.08
Current children cumulated vsize (KiB) 899996

Child status: 20
Real time (s): 28.1407
CPU time (s): 223.219
CPU user time (s): 221.872
CPU system time (s): 1.3468
CPU usage (%): 793.224
Max. virtual memory (cumulated for all children) (KiB): 970968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.872
system time used= 1.34679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409875
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= 98333
involuntary context switches= 973

runsolver used 0.121981 second user time and 0.349946 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-22 21:56:33
IDJOB=3394314
IDBENCH=82489
IDSOLVER=1878
FILE ID=node103/3394314-1306094193
RUNJOBID= node103-1306094043-29706
PBS_JOBID= 13387954
Free space on /tmp= 73124 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394314-1306094193/watcher-3394314-1306094193 -o /tmp/evaluation-result-3394314-1306094193/solver-3394314-1306094193 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394314-1306094193.cnf

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

MD5SUM BENCH= 649b4cf0a21e275b244b1034d05ded52
RANDOM SEED=80281986

node103.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.858
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.71
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.858
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.858
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.75
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20592180 kB
Buffers:        368392 kB
Cached:        8038536 kB
SwapCached:     340096 kB
Active:        4588228 kB
Inactive:      7453004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20592180 kB
SwapTotal:    67111528 kB
SwapFree:     53501332 kB
Dirty:           10232 kB
Writeback:           0 kB
AnonPages:     3305460 kB
Mapped:          23776 kB
Slab:           174996 kB
PageTables:      73496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162035084 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= 73120 MiB
End job on node103 at 2011-05-22 21:57:01