Trace number 3321130

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 420.607 54.9043

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321130-1304324152.cnf'
0.00/0.03	c -- header says num vars:         224228
0.00/0.03	c -- header says num clauses:     5314673
26.78/5.46	c -- clauses added:            0 learnts,      5314673 normals,            0 xors
26.78/5.46	c -- vars added     224228
26.78/5.46	c Parsing time:  1.86 s
26.78/5.46	c  N st     0         0    224228     84581   5226462         0  11725641         0   no data   no data
33.72/6.31	c asymm  cl-useful: 10/152/83026 lits-rem:4575 time: 0.81
116.71/16.72	c Flit:  1480 Blit:  27417 bXBeca:    0 bXProp:  174 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 10.39
117.54/16.85	c Cleaning up after failed var search:     0.13 s 
119.06/17.04	c Replacing      175 vars Replaced    15146 lits Time:     0.18 s 
120.67/17.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
123.07/17.57	c bin-w-bin subsume rem         1917 bins  time:  0.35 s
145.34/20.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.82 s
159.30/22.16	c Subs w/ non-existent bins:      0 l-rem:    177 v-fix:     0 done:  31559 time:  1.70 s
160.95/22.37	c Removed useless bin:       0  fixed:     0  props:  20.05M  time:  0.21 s
200.05/27.22	c lits-rem:       110  cl-subs:      103  v-elim:    377  v-fix:    0  time:  4.83 s
201.65/27.41	c Finding binary XORs  T:     0.19 s  found:     295
204.05/27.72	c Replacing      295 vars Replaced    21626 lits Time:     0.31 s 
205.70/27.98	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
205.70/27.98	c calculated reachability. Time: 0.01
207.24/28.10	c Calc default polars -  time:   0.12 s pos:    5798 undec:   63478 neg:  154952
207.24/28.10	c =========================================================================================
207.24/28.10	c types(t): F = full restart, N = normal restart
207.24/28.10	c types(t): S = simplification begin/end, E = solution found
207.24/28.10	c restart types(rt): st = static, dy = dynamic
207.24/28.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
207.24/28.10	c  B st     0         0    187861     69640   4085105         0  10231868         0   no data   no data
357.48/46.98	c  N dy    16      4572    186481     69640   4085622      3940  10231859   3205159     30.87     32.99
419.82/54.78	c Following stats are for *FIRST FINISHED THREAD ONLY*
419.82/54.78	c num threads              : 8          
419.82/54.78	c restarts                 : 81         
419.82/54.78	c dynamic restarts         : 75         
419.82/54.78	c static restarts          : 6          
419.82/54.78	c full restarts            : 0          
419.82/54.78	c total simplify time      : 0.84       
419.82/54.78	c learnts DL2              : 0          
419.82/54.78	c learnts size 2           : 5234052    
419.82/54.78	c learnts size 1           : 151426      (67.53     % of vars)
419.82/54.78	c filedLit time            : 0.00        (0.00      % time)
419.82/54.78	c v-elim SatELite          : 0           (0.00      % vars)
419.82/54.78	c SatELite time            : 0.00        (0.00      % time)
419.82/54.78	c v-elim xor               : 0           (0.00      % vars)
419.82/54.78	c xor elim time            : 0.00        (0.00      % time)
419.82/54.78	c num binary xor trees     : 147        
419.82/54.78	c binxor trees' crown      : 170         (1.16      leafs/tree)
419.82/54.78	c bin xor find time        : 0.12       
419.82/54.78	c OTF clause improved      : 265         (0.02      clauses/conflict)
419.82/54.78	c OTF impr. size diff      : 379         (1.43       lits/clause)
419.82/54.78	c OTF cl watch-shrink      : 8294        (0.58      clauses/conflict)
419.82/54.78	c OTF cl watch-sh-lit      : 476918      (57.50      lits/clause)
419.82/54.78	c tried to recurMin cls    : 9357        (65.96      % of conflicts)
419.82/54.78	c updated cache            : 39684       (4.24       lits/tried recurMin)
419.82/54.78	c unit cls recevied        : 2810        (1.86      % of units)
419.82/54.78	c unit cls sent            : 10549       (6.97      % of units)
419.82/54.78	c bin cls recevied         : 3599       
419.82/54.78	c bin cls sent             : 2242       
419.82/54.78	c clauses over max glue    : 0           (0.00      % of all clauses)
419.82/54.78	c conflicts                : 14185       (276.97    / sec)
419.82/54.78	c decisions                : 171163      (1.29      % random)
419.82/54.78	c bogo-props               : 939210189   (18338857.82 / sec)
419.82/54.78	c conflict literals        : 8936315     (23.90     % deleted)
419.82/54.78	c Memory used              : 3574.05     MB
419.82/54.78	c single-thread CPU time   : 51.21       s
419.82/54.78	c all-threads sum CPU time : 407.36      s
419.82/54.78	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-3321130-1304324152/watcher-3321130-1304324152 -o /tmp/evaluation-result-3321130-1304324152/solver-3321130-1304324152 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321130-1304324152.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: 6.70 7.57 6.79 3/218 12105
/proc/meminfo: memFree=28805764/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=92188 CPUtime=0.01 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 413 0 0 0 1 0 0 0 23 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 47853829924786 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12105/statm: 23047 352 299 106 0 18018 0
[pid=12105/tid=12106] ppid=12103 vsize=92188 CPUtime=0 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 47853829924784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=92188 CPUtime=0 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 47853829924786 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=92188 CPUtime=0 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 47853829924790 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=92188 CPUtime=0 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 47853829924786 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=92188 CPUtime=0 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=92188 CPUtime=0 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 47853829924780 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=92188 CPUtime=0 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622646160 94400512 352 33554432000 4194304 4627427 140734202876192 18446744073709551615 47853829924786 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0876011 s]
/proc/loadavg: 6.70 7.57 6.79 3/218 12105
/proc/meminfo: memFree=28805764/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=538660 CPUtime=0.51 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) D 12103 12105 11813 0 -1 4202496 53030 0 0 0 36 15 0 0 18 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12105/statm: 134665 41668 338 106 0 129636 0
[pid=12105/tid=12106] ppid=12103 vsize=538660 CPUtime=0.06 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) D 12103 12105 11813 0 -1 4202560 5353 0 0 0 5 1 0 0 17 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=538660 CPUtime=0.03 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) D 12103 12105 11813 0 -1 4202560 6185 0 0 0 2 1 0 0 24 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=538660 CPUtime=0.06 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 7576 0 0 0 4 2 0 0 18 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 224284983722 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=538660 CPUtime=0.06 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 7353 0 0 0 4 2 0 0 18 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 4229260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=538660 CPUtime=0.05 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) D 12103 12105 11813 0 -1 4202560 7537 0 0 0 4 1 0 0 18 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 4313410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=538660 CPUtime=0.06 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) D 12103 12105 11813 0 -1 4202560 6154 0 0 0 4 2 0 0 17 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=538660 CPUtime=0.06 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 6009 0 0 0 5 1 0 0 17 0 8 0 622646160 551587840 41668 33554432000 4194304 4627427 140734202876192 18446744073709551615 224284622603 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 538660

[startup+0.101878 s]
/proc/loadavg: 6.70 7.57 6.79 3/218 12105
/proc/meminfo: memFree=28805764/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=568048 CPUtime=0.59 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) S 12103 12105 11813 0 -1 4202496 66811 0 0 0 41 18 0 0 18 0 8 0 622646160 581681152 52307 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12105/statm: 142012 52376 338 106 0 136983 0
[pid=12105/tid=12106] ppid=12103 vsize=568048 CPUtime=0.07 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 7223 0 0 0 5 2 0 0 17 0 8 0 622646160 581681152 52411 33554432000 4194304 4627427 140734202876192 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=568048 CPUtime=0.04 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 8069 0 0 0 3 1 0 0 24 0 8 0 622646160 581681152 52446 33554432000 4194304 4627427 140734202876192 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=568048 CPUtime=0.07 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 9385 0 0 0 5 2 0 0 18 0 8 0 622646160 581681152 52479 33554432000 4194304 4627427 140734202876192 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=568048 CPUtime=0.06 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 8972 0 0 0 4 2 0 0 18 0 8 0 622646160 581681152 52512 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=568048 CPUtime=0.07 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 9394 0 0 0 5 2 0 0 18 0 8 0 622646160 581681152 52536 33554432000 4194304 4627427 140734202876192 18446744073709551615 224284623040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=568048 CPUtime=0.07 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 8104 0 0 0 5 2 0 0 17 0 8 0 622646160 581681152 52566 33554432000 4194304 4627427 140734202876192 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=568048 CPUtime=0.06 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 7684 0 0 0 5 1 0 0 17 0 8 0 622646160 581681152 52595 33554432000 4194304 4627427 140734202876192 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 568048

[startup+0.305486 s]
/proc/loadavg: 6.70 7.57 6.79 3/218 12105
/proc/meminfo: memFree=28805764/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=843500 CPUtime=1.78 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) S 12103 12105 11813 0 -1 4202496 139407 0 0 0 121 57 0 0 17 0 8 0 622646160 863744000 106097 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12105/statm: 210875 106130 339 106 0 205846 0
[pid=12105/tid=12106] ppid=12103 vsize=843500 CPUtime=0.21 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 15821 0 0 0 15 6 0 0 17 0 8 0 622646160 863744000 106145 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=843500 CPUtime=0.19 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 17219 0 0 0 12 7 0 0 17 0 8 0 622646160 863744000 106162 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=843500 CPUtime=0.24 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 17299 0 0 0 17 7 0 0 17 0 8 0 622646160 863744000 106172 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=843500 CPUtime=0.23 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 17811 0 0 0 16 7 0 0 17 0 8 0 622646160 863744000 106186 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=843500 CPUtime=0.23 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 18198 0 0 0 16 7 0 0 17 0 8 0 622646160 863744000 106200 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=843500 CPUtime=0.22 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 16459 0 0 0 15 7 0 0 17 0 8 0 622646160 863744000 106209 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=843500 CPUtime=0.21 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 20984 0 0 0 14 7 0 0 17 0 8 0 622646160 863744000 106226 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 843500

[startup+3.08099 s]
/proc/loadavg: 6.70 7.57 6.79 3/218 12105
/proc/meminfo: memFree=28805764/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=1222784 CPUtime=13.9 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) S 12103 12105 11813 0 -1 4202496 237864 0 0 0 684 706 0 0 16 0 8 0 622646160 1252130816 204433 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12105/statm: 305696 204437 341 106 0 300667 0
[pid=12105/tid=12106] ppid=12103 vsize=1222784 CPUtime=1.7 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 28078 0 0 0 83 87 0 0 15 0 8 0 622646160 1252130816 204438 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=1222784 CPUtime=1.68 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 29670 0 0 0 80 88 0 0 15 0 8 0 622646160 1252130816 204440 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=1222784 CPUtime=1.81 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 29947 0 0 0 90 91 0 0 15 0 8 0 622646160 1252130816 204447 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=1222784 CPUtime=1.71 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 30216 0 0 0 84 87 0 0 15 0 8 0 622646160 1252130816 204449 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=1222784 CPUtime=1.76 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 30619 0 0 0 88 88 0 0 15 0 8 0 622646160 1252130816 204451 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=1222784 CPUtime=1.72 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 28364 0 0 0 79 93 0 0 15 0 8 0 622646160 1252130816 204454 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=1222784 CPUtime=1.76 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 33000 0 0 0 91 85 0 0 15 0 8 0 622646160 1252130816 204462 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.9
Current children cumulated vsize (KiB) 1222784

[startup+3.12299 s]
/proc/loadavg: 6.70 7.57 6.79 3/218 12105
/proc/meminfo: memFree=28805764/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=1223576 CPUtime=14.1 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 239431 0 0 0 694 716 0 0 16 0 8 0 622646160 1252941824 205997 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12105/statm: 305894 206000 341 106 0 300865 0
[pid=12105/tid=12106] ppid=12103 vsize=1223576 CPUtime=1.72 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 28211 0 0 0 84 88 0 0 15 0 8 0 622646160 1252941824 206000 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=1223576 CPUtime=1.71 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 29856 0 0 0 82 89 0 0 16 0 8 0 622646160 1252941824 206000 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=1223576 CPUtime=1.83 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 30333 0 0 0 91 92 0 0 15 0 8 0 622646160 1252941824 206001 33554432000 4194304 4627427 140734202876192 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=1223576 CPUtime=1.73 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 30397 0 0 0 85 88 0 0 16 0 8 0 622646160 1252941824 206001 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=1223576 CPUtime=1.79 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 30816 0 0 0 89 90 0 0 15 0 8 0 622646160 1252941824 206001 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=1223576 CPUtime=1.75 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 28491 0 0 0 80 95 0 0 15 0 8 0 622646160 1252941824 206002 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=1223576 CPUtime=1.78 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 33132 0 0 0 92 86 0 0 15 0 8 0 622646160 1252941824 206003 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.1
Current children cumulated vsize (KiB) 1223576

[startup+3.20094 s]
/proc/loadavg: 6.70 7.57 6.79 3/218 12105
/proc/meminfo: memFree=28805764/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=1225828 CPUtime=14.53 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 243647 0 0 0 722 731 0 0 16 0 8 0 622646160 1255247872 210207 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12105/statm: 306457 210209 341 106 0 301428 0
[pid=12105/tid=12106] ppid=12103 vsize=1225828 CPUtime=1.78 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 28568 0 0 0 87 91 0 0 15 0 8 0 622646160 1255247872 210210 33554432000 4194304 4627427 140734202876192 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=1225828 CPUtime=1.75 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 30372 0 0 0 85 90 0 0 15 0 8 0 622646160 1255247872 210211 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=1225828 CPUtime=1.89 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 30879 0 0 0 95 94 0 0 16 0 8 0 622646160 1255247872 210213 33554432000 4194304 4627427 140734202876192 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=1225828 CPUtime=1.79 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 31052 0 0 0 89 90 0 0 15 0 8 0 622646160 1255247872 210216 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 18446604453876435968 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=1225828 CPUtime=1.83 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 31475 0 0 0 92 91 0 0 16 0 8 0 622646160 1255247872 210218 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=1225828 CPUtime=1.8 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 28874 0 0 0 83 97 0 0 15 0 8 0 622646160 1255247872 210219 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=1225828 CPUtime=1.83 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) S 12103 12105 11813 0 -1 4202560 33552 0 0 0 96 87 0 0 15 0 8 0 622646160 1255247872 210219 33554432000 4194304 4627427 140734202876192 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.53
Current children cumulated vsize (KiB) 1225828

[startup+6.30043 s]
/proc/loadavg: 6.73 7.56 6.79 11/226 12113
/proc/meminfo: memFree=27412024/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=1784796 CPUtime=33.72 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 387747 0 0 0 2150 1222 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12105/statm: 446199 353711 366 106 0 441170 0
[pid=12105/tid=12106] ppid=12103 vsize=1784796 CPUtime=4.15 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 46300 0 0 0 261 154 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=1784796 CPUtime=4.14 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 48016 0 0 0 264 150 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=1784796 CPUtime=4.3 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 49721 0 0 0 274 156 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=1784796 CPUtime=4.22 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 49413 0 0 0 268 154 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=1784796 CPUtime=4.24 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 50255 0 0 0 272 152 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=1784796 CPUtime=4.18 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 45249 0 0 0 258 160 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=1784796 CPUtime=4.24 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 51883 0 0 0 282 142 0 0 16 0 8 0 622646160 1827631104 353711 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.72
Current children cumulated vsize (KiB) 1784796

[startup+12.7004 s]
/proc/loadavg: 7.00 7.59 6.80 9/226 12113
/proc/meminfo: memFree=27349364/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=1819548 CPUtime=84.86 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 399771 0 0 0 7256 1230 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12105/statm: 454887 364929 367 106 0 449858 0
[pid=12105/tid=12106] ppid=12103 vsize=1819548 CPUtime=10.55 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 47929 0 0 0 900 155 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=1819548 CPUtime=10.55 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 49659 0 0 0 904 151 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=1819548 CPUtime=10.69 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 50169 0 0 0 913 156 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=1819548 CPUtime=10.61 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 49862 0 0 0 906 155 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=1819548 CPUtime=10.6 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 50755 0 0 0 908 152 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=1819548 CPUtime=10.58 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 46900 0 0 0 897 161 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=1819548 CPUtime=10.63 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 55955 0 0 0 919 144 0 0 25 0 8 0 622646160 1863217152 364929 33554432000 4194304 4627427 140734202876192 18446744073709551615 4342540 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84.86
Current children cumulated vsize (KiB) 1819548

[startup+25.5012 s]
/proc/loadavg: 7.15 7.60 6.82 9/226 12113
/proc/meminfo: memFree=26827184/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=2544260 CPUtime=186.47 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 536240 0 0 0 17364 1283 0 0 19 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4412516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12105/statm: 636065 501398 382 106 0 631036 0
[pid=12105/tid=12106] ppid=12103 vsize=2544260 CPUtime=23.26 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 69101 0 0 0 2163 163 0 0 25 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=2544260 CPUtime=23.21 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 68065 0 0 0 2163 158 0 0 25 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4412341 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=2544260 CPUtime=23.38 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 66457 0 0 0 2173 165 0 0 25 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4412371 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=2544260 CPUtime=23.38 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 67492 0 0 0 2176 162 0 0 18 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=2544260 CPUtime=23.18 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 69871 0 0 0 2157 161 0 0 18 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=2544260 CPUtime=23.25 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 61890 0 0 0 2159 166 0 0 18 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4443461 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=2544260 CPUtime=23.4 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 62368 0 0 0 2194 146 0 0 25 0 8 0 622646160 2605322240 501398 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 186.47
Current children cumulated vsize (KiB) 2544260

[startup+51.1009 s]
/proc/loadavg: 7.44 7.63 6.85 9/226 12113
/proc/meminfo: memFree=26484352/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=3659824 CPUtime=391.05 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 622816 0 0 0 37795 1310 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308787 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12105/statm: 914956 581157 386 106 0 909927 0
[pid=12105/tid=12106] ppid=12103 vsize=3659824 CPUtime=48.86 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 79671 0 0 0 4720 166 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4322064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=3659824 CPUtime=48.81 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 83084 0 0 0 4717 164 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=3659824 CPUtime=48.97 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 80915 0 0 0 4727 170 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=3659824 CPUtime=48.98 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 80306 0 0 0 4732 166 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=3659824 CPUtime=48.59 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 82135 0 0 0 4695 164 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=3659824 CPUtime=48.82 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 72379 0 0 0 4714 168 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4322064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=3659824 CPUtime=49 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 67018 0 0 0 4753 147 0 0 25 0 8 0 622646160 3747659776 581157 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 391.05
Current children cumulated vsize (KiB) 3659824

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

[startup+52.1088 s]
/proc/loadavg: 7.48 7.64 6.85 9/226 12113
/proc/meminfo: memFree=26475916/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=3659824 CPUtime=399.1 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 624872 0 0 0 38599 1311 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12105/statm: 914956 583213 386 106 0 909927 0
[pid=12105/tid=12106] ppid=12103 vsize=3659824 CPUtime=49.86 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 80051 0 0 0 4820 166 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=3659824 CPUtime=49.82 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 83397 0 0 0 4818 164 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=3659824 CPUtime=49.98 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 81276 0 0 0 4828 170 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=3659824 CPUtime=49.99 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 80675 0 0 0 4833 166 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=3659824 CPUtime=49.6 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 82301 0 0 0 4795 165 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=3659824 CPUtime=49.83 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 72589 0 0 0 4815 168 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4333021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=3659824 CPUtime=50.01 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 67111 0 0 0 4854 147 0 0 25 0 8 0 622646160 3747659776 583213 33554432000 4194304 4627427 140734202876192 18446744073709551615 4332929 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 399.1
Current children cumulated vsize (KiB) 3659824

[startup+53.7005 s]
/proc/loadavg: 7.48 7.64 6.85 9/226 12113
/proc/meminfo: memFree=26467980/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=3659824 CPUtime=411.82 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 627527 0 0 0 39871 1311 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4223047 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12105/statm: 914956 585868 386 106 0 909927 0
[pid=12105/tid=12106] ppid=12103 vsize=3659824 CPUtime=51.46 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 80322 0 0 0 4979 167 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=3659824 CPUtime=51.41 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 83590 0 0 0 4977 164 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4321656 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=3659824 CPUtime=51.57 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 81757 0 0 0 4987 170 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=3659824 CPUtime=51.58 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 81227 0 0 0 4992 166 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=3659824 CPUtime=51.18 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 82583 0 0 0 4953 165 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4332812 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=3659824 CPUtime=51.42 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 72916 0 0 0 4974 168 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=3659824 CPUtime=51.6 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 67255 0 0 0 5013 147 0 0 25 0 8 0 622646160 3747659776 585868 33554432000 4194304 4627427 140734202876192 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 411.82
Current children cumulated vsize (KiB) 3659824

[startup+54.5004 s]
/proc/loadavg: 7.48 7.64 6.85 9/226 12113
/proc/meminfo: memFree=26461532/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=3659824 CPUtime=418.22 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) R 12103 12105 11813 0 -1 4202496 628600 0 0 0 40510 1312 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4321603 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12105/statm: 914956 586941 386 106 0 909927 0
[pid=12105/tid=12106] ppid=12103 vsize=3659824 CPUtime=52.26 cores=0-7
/proc/12105/task/12106/stat : 12106 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 80449 0 0 0 5059 167 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4324726 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12105/tid=12107] ppid=12103 vsize=3659824 CPUtime=52.21 cores=0-7
/proc/12105/task/12107/stat : 12107 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 83722 0 0 0 5057 164 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=3659824 CPUtime=52.37 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 81936 0 0 0 5067 170 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12105/tid=12109] ppid=12103 vsize=3659824 CPUtime=52.38 cores=0-7
/proc/12105/task/12109/stat : 12109 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 81474 0 0 0 5072 166 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12105/tid=12110] ppid=12103 vsize=3659824 CPUtime=51.97 cores=0-7
/proc/12105/task/12110/stat : 12110 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 82684 0 0 0 5032 165 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12105/tid=12111] ppid=12103 vsize=3659824 CPUtime=52.22 cores=0-7
/proc/12105/task/12111/stat : 12111 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 72979 0 0 0 5054 168 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12105/tid=12112] ppid=12103 vsize=3659824 CPUtime=52.4 cores=0-7
/proc/12105/task/12112/stat : 12112 (strangenight2-m) R 12103 12105 11813 0 -1 4202560 67353 0 0 0 5093 147 0 0 25 0 8 0 622646160 3747659776 586941 33554432000 4194304 4627427 140734202876192 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 418.22
Current children cumulated vsize (KiB) 3659824

[startup+54.9003 s]
/proc/loadavg: 7.48 7.64 6.85 9/226 12113
/proc/meminfo: memFree=26461532/32951124 swapFree=67103364/67111528
[pid=12105] ppid=12103 vsize=0 CPUtime=420.6 cores=0-7
/proc/12105/stat : 12105 (strangenight2-m) Z 12103 12105 11813 0 -1 4203548 629145 0 0 0 40736 1324 0 0 25 0 2 0 622646160 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12105/statm: 0 0 0 0 0 0 0
[pid=12105/tid=12108] ppid=12103 vsize=0 CPUtime=52.77 cores=0-7
/proc/12105/task/12108/stat : 12108 (strangenight2-m) R 12103 12105 11813 0 -1 4203588 82013 0 0 0 5095 182 0 0 25 0 2 0 622646160 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 420.6
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 54.9043
CPU time (s): 420.607
CPU user time (s): 407.364
CPU system time (s): 13.243
CPU usage (%): 766.073
Max. virtual memory (cumulated for all children) (KiB): 3659824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.364
system time used= 13.243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629145
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= 1358595
involuntary context switches= 2009

runsolver used 0.111982 second user time and 0.25996 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-02 10:15:55
IDJOB=3321130
IDBENCH=82430
IDSOLVER=1709
FILE ID=node118/3321130-1304324152
RUNJOBID= node118-1304322187-11827
PBS_JOBID= 13176808
Free space on /tmp= 73272 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321130-1304324152/watcher-3321130-1304324152 -o /tmp/evaluation-result-3321130-1304324152/solver-3321130-1304324152 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321130-1304324152.cnf

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

MD5SUM BENCH= 52e16341bcff805ef2d6abe4e95359a0
RANDOM SEED=822800595

node118.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.842
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.68
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.842
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.842
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.842
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.75
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.842
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.68
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.842
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28805920 kB
Buffers:        489164 kB
Cached:        1846820 kB
SwapCached:       2876 kB
Active:        1792628 kB
Inactive:      1980464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28805920 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           98728 kB
Writeback:           0 kB
AnonPages:     1436192 kB
Mapped:          18252 kB
Slab:           298544 kB
PageTables:      12604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21506336 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= 73264 MiB
End job on node118 at 2011-05-02 10:16:50