Trace number 3394246

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 370.313 48.5999

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.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3394246-1306093748.cnf'
0.00/0.02	c -- header says num vars:         224228
0.00/0.02	c -- header says num clauses:     5314673
24.56/5.08	c -- clauses added:            0 learnts,      5314673 normals,            0 xors
24.56/5.08	c -- vars added     224228
24.56/5.08	c Parsing time:  1.71 s
24.56/5.08	c  N st     0         0    224228     84581   5226462         0  11725641         0   no data   no data
30.64/5.85	c asymm  cl-useful: 10/152/83026 lits-rem:4575 time: 0.74
99.29/14.49	c Flit:  1480 Blit:  27417 bXBeca:    0 bXProp:  174 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T:  8.63
100.89/14.62	c Cleaning up after failed var search:     0.13 s 
102.48/14.82	c Replacing      175 vars Replaced    15146 lits Time:     0.20 s 
103.95/15.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
106.35/15.36	c bin-w-bin subsume rem         1917 bins  time:  0.28 s
127.04/17.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.54 s
141.46/19.85	c Subs w/ non-existent bins:      0 l-rem:    177 v-fix:     0 done:  31559 time:  1.72 s
142.93/20.05	c Removed useless bin:       0  fixed:     0  props:  20.05M  time:  0.20 s
182.84/25.08	c lits-rem:       110  cl-subs:      103  v-elim:    377  v-fix:    0  time:  5.03 s
184.52/25.31	c Finding binary XORs  T:     0.23 s  found:     295
187.62/25.63	c Replacing      295 vars Replaced    21626 lits Time:     0.32 s 
189.22/25.89	c Finding non-binary XORs:     0.12 s (found:       0, avg size: nan)
189.22/25.89	c calculated reachability. Time: 0.01
190.82/26.03	c Calc default polars -  time:   0.15 s pos:    5798 undec:   63478 neg:  154952
190.82/26.03	c =========================================================================================
190.82/26.03	c types(t): F = full restart, N = normal restart
190.82/26.03	c types(t): S = simplification begin/end, E = solution found
190.82/26.03	c restart types(rt): st = static, dy = dynamic
190.82/26.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
190.82/26.03	c  B st     0         0    187861     69640   4085105         0  10231868         0   no data   no data
323.35/42.66	c  N dy    16      4572    186481     69640   4085622      3940  10231859   3205159     30.87     32.99
369.79/48.46	c Following stats are for *FIRST FINISHED THREAD ONLY*
369.79/48.46	c num threads              : 8          
369.79/48.46	c restarts                 : 41         
369.79/48.46	c dynamic restarts         : 35         
369.79/48.46	c static restarts          : 6          
369.79/48.46	c full restarts            : 0          
369.79/48.46	c total simplify time      : 0.25       
369.79/48.46	c learnts DL2              : 0          
369.79/48.46	c learnts size 2           : 5232301    
369.79/48.46	c learnts size 1           : 141272      (63.00     % of vars)
369.79/48.46	c filedLit time            : 8.82        (19.94     % time)
369.79/48.46	c v-elim SatELite          : 377         (0.17      % vars)
369.79/48.46	c SatELite time            : 10.17       (23.01     % time)
369.79/48.46	c v-elim xor               : 0           (0.00      % vars)
369.79/48.46	c xor elim time            : 0.00        (0.00      % time)
369.79/48.46	c num binary xor trees     : 380        
369.79/48.46	c binxor trees' crown      : 470         (1.24      leafs/tree)
369.79/48.46	c bin xor find time        : 0.12       
369.79/48.46	c OTF clause improved      : 218         (0.03      clauses/conflict)
369.79/48.46	c OTF impr. size diff      : 833         (3.82       lits/clause)
369.79/48.46	c OTF cl watch-shrink      : 3955        (0.46      clauses/conflict)
369.79/48.46	c OTF cl watch-sh-lit      : 150676      (38.10      lits/clause)
369.79/48.46	c tried to recurMin cls    : 0           (0.00       % of conflicts)
369.79/48.46	c updated cache            : 0           (nan        lits/tried recurMin)
369.79/48.46	c unit cls recevied        : 222         (0.16      % of units)
369.79/48.46	c unit cls sent            : 458         (0.32      % of units)
369.79/48.46	c bin cls recevied         : 3076       
369.79/48.46	c bin cls sent             : 239        
369.79/48.46	c clauses over max glue    : 0           (0.00      % of all clauses)
369.79/48.46	c conflicts                : 8581        (194.11    / sec)
369.79/48.46	c decisions                : 129101      (0.00      % random)
369.79/48.46	c bogo-props               : 903888487   (20446598.56 / sec)
369.79/48.46	c conflict literals        : 4406593     (24.01     % deleted)
369.79/48.46	c Memory used              : 3443.41     MB
369.79/48.46	c single-thread CPU time   : 44.21       s
369.79/48.46	c all-threads sum CPU time : 358.21      s
369.79/48.46	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-3394246-1306093748/watcher-3394246-1306093748 -o /tmp/evaluation-result-3394246-1306093748/solver-3394246-1306093748 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394246-1306093748.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.16 7.60 6.39 2/446 13826
/proc/meminfo: memFree=26544440/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=92144 CPUtime=0.03 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 412 0 0 0 3 0 0 0 22 0 8 0 720973033 94355456 352 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750085042 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13826/statm: 23036 352 299 95 0 18018 0
[pid=13826/tid=13827] ppid=13824 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 720973033 94355456 360 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750084627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=92144 CPUtime=0 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 720973033 94355456 360 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750085042 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 720973033 94355456 360 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750084633 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=92144 CPUtime=0 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 720973033 94355456 360 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750084633 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=92144 CPUtime=0 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 720973033 94355456 360 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750084627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 720973033 94355456 360 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750084631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=92144 CPUtime=0.01 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 720973033 94355456 360 33554432000 4194304 4580107 140734364845008 18446744073709551615 47834750084633 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0665161 s]
/proc/loadavg: 6.16 7.60 6.39 2/446 13826
/proc/meminfo: memFree=26544440/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=491600 CPUtime=0.34 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) D 13824 13826 13586 0 -1 4202496 40404 0 0 0 22 12 0 0 17 0 8 0 720973033 503398400 32130 33554432000 4194304 4580107 140734364845008 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13826/statm: 123080 34459 335 95 0 118062 0
[pid=13826/tid=13827] ppid=13824 vsize=493400 CPUtime=0.04 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 4980 0 0 0 3 1 0 0 17 0 8 0 720973033 505241600 35807 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550234720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=495924 CPUtime=0.02 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 5254 0 0 0 1 1 0 0 17 0 8 0 720973033 507826176 36529 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=495924 CPUtime=0.04 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 5242 0 0 0 3 1 0 0 17 0 8 0 720973033 507826176 36551 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 1 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=504120 CPUtime=0.04 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 5519 0 0 0 3 1 0 0 18 0 8 0 720973033 516218880 36569 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=504120 CPUtime=0.03 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 6137 0 0 0 2 1 0 0 18 0 8 0 720973033 516218880 36590 33554432000 4194304 4580107 140734364845008 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=504120 CPUtime=0.04 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 5821 0 0 0 3 1 0 0 18 0 8 0 720973033 516218880 36613 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 4 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=504120 CPUtime=0.03 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 5989 0 0 0 2 1 0 0 17 0 8 0 720973033 516218880 36632 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550235093 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 491600

[startup+0.105357 s]
/proc/loadavg: 6.16 7.60 6.39 2/446 13826
/proc/meminfo: memFree=26544440/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=556056 CPUtime=0.57 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) D 13824 13826 13586 0 -1 4202496 76526 0 0 0 35 22 0 0 17 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13826/statm: 139014 59770 335 95 0 133996 0
[pid=13826/tid=13827] ppid=13824 vsize=556056 CPUtime=0.07 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 9481 0 0 0 4 3 0 0 18 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=556056 CPUtime=0.05 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 9152 0 0 0 3 2 0 0 18 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=556056 CPUtime=0.07 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 8563 0 0 0 5 2 0 0 17 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=556056 CPUtime=0.07 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 9742 0 0 0 5 2 0 0 18 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=556056 CPUtime=0.06 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 10834 0 0 0 4 2 0 0 18 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=556056 CPUtime=0.06 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 9254 0 0 0 4 2 0 0 17 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=556056 CPUtime=0.06 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 10507 0 0 0 3 3 0 0 17 0 8 0 720973033 569401344 59770 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 556056

[startup+0.305305 s]
/proc/loadavg: 6.16 7.60 6.39 2/446 13826
/proc/meminfo: memFree=26544440/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=886792 CPUtime=1.88 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 140184 0 0 0 121 67 0 0 17 0 8 0 720973033 908075008 106511 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13826/statm: 221698 106512 337 95 0 216680 0
[pid=13826/tid=13827] ppid=13824 vsize=886792 CPUtime=0.24 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 16457 0 0 0 16 8 0 0 17 0 8 0 720973033 908075008 106514 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=886792 CPUtime=0.22 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 17819 0 0 0 13 9 0 0 17 0 8 0 720973033 908075008 106514 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=886792 CPUtime=0.23 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 16614 0 0 0 16 7 0 0 17 0 8 0 720973033 908075008 106515 33554432000 4194304 4580107 140734364845008 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=886792 CPUtime=0.23 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 16725 0 0 0 16 7 0 0 17 0 8 0 720973033 908075008 106516 33554432000 4194304 4580107 140734364845008 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=886792 CPUtime=0.23 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 18594 0 0 0 15 8 0 0 17 0 8 0 720973033 908075008 106519 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=886792 CPUtime=0.22 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 17324 0 0 0 15 7 0 0 17 0 8 0 720973033 908075008 106521 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 4 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=886792 CPUtime=0.23 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 18657 0 0 0 14 9 0 0 17 0 8 0 720973033 908075008 106523 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 886792

[startup+0.701202 s]
/proc/loadavg: 6.16 7.60 6.39 2/446 13826
/proc/meminfo: memFree=26544440/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=1095056 CPUtime=4.38 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 168237 0 0 0 284 154 0 0 17 0 8 0 720973033 1121337344 134563 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550196468 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13826/statm: 273764 134564 338 95 0 268746 0
[pid=13826/tid=13827] ppid=13824 vsize=1095056 CPUtime=0.54 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 19995 0 0 0 35 19 0 0 17 0 8 0 720973033 1121337344 134564 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=1095056 CPUtime=0.53 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 21318 0 0 0 34 19 0 0 17 0 8 0 720973033 1121337344 134564 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=1095056 CPUtime=0.55 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 20123 0 0 0 36 19 0 0 17 0 8 0 720973033 1121337344 134564 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 1 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=1095056 CPUtime=0.54 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 20363 0 0 0 37 17 0 0 17 0 8 0 720973033 1121337344 134564 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 2 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=1095056 CPUtime=0.54 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 22238 0 0 0 35 19 0 0 17 0 8 0 720973033 1121337344 134564 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 5 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=1095056 CPUtime=0.54 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 20759 0 0 0 35 19 0 0 17 0 8 0 720973033 1121337344 134564 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 4 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=1095056 CPUtime=0.54 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 22009 0 0 0 36 18 0 0 17 0 8 0 720973033 1121337344 134564 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 1095056

[startup+1.50111 s]
/proc/loadavg: 6.16 7.60 6.39 8/454 13834
/proc/meminfo: memFree=25940296/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=1181292 CPUtime=8.62 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 210165 0 0 0 529 333 0 0 15 0 8 0 720973033 1209643008 176340 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13826/statm: 295323 176344 338 95 0 290305 0
[pid=13826/tid=13827] ppid=13824 vsize=1181292 CPUtime=1.06 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 25243 0 0 0 65 41 0 0 16 0 8 0 720973033 1209643008 176346 33554432000 4194304 4580107 140734364845008 18446744073709551615 4512124 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=1181292 CPUtime=1.07 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 26645 0 0 0 66 41 0 0 16 0 8 0 720973033 1209643008 176346 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=1181292 CPUtime=1.08 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 25288 0 0 0 67 41 0 0 15 0 8 0 720973033 1209643008 176350 33554432000 4194304 4580107 140734364845008 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=1181292 CPUtime=1.06 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 25588 0 0 0 67 39 0 0 15 0 8 0 720973033 1209643008 176352 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 2 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=1181292 CPUtime=1.08 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 27746 0 0 0 64 44 0 0 16 0 8 0 720973033 1209643008 176354 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=1181292 CPUtime=1.06 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 25819 0 0 0 63 43 0 0 15 0 8 0 720973033 1209643008 176355 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=1181292 CPUtime=1.07 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 27249 0 0 0 69 38 0 0 16 0 8 0 720973033 1209643008 176357 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 1181292

[startup+3.10078 s]
/proc/loadavg: 6.16 7.60 6.39 9/454 13834
/proc/meminfo: memFree=25733216/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=1207164 CPUtime=15.23 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 266067 0 0 0 840 683 0 0 15 0 8 0 720973033 1236135936 232017 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13826/statm: 301791 232018 338 95 0 296773 0
[pid=13826/tid=13827] ppid=13824 vsize=1207164 CPUtime=1.9 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 31821 0 0 0 103 87 0 0 15 0 8 0 720973033 1236135936 232019 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=1207164 CPUtime=1.9 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 33906 0 0 0 104 86 0 0 15 0 8 0 720973033 1236135936 232019 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=1207164 CPUtime=1.91 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) D 13824 13826 13586 0 -1 4202560 32676 0 0 0 105 86 0 0 15 0 8 0 720973033 1236135936 232019 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=1207164 CPUtime=1.9 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 32384 0 0 0 107 83 0 0 15 0 8 0 720973033 1236135936 232020 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=1207164 CPUtime=1.92 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 34980 0 0 0 104 88 0 0 16 0 8 0 720973033 1236135936 232021 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=1207164 CPUtime=1.87 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 32530 0 0 0 103 84 0 0 15 0 8 0 720973033 1236135936 232021 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 6 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=1207164 CPUtime=1.87 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) S 13824 13826 13586 0 -1 4202560 33849 0 0 0 108 79 0 0 16 0 8 0 720973033 1236135936 232021 33554432000 4194304 4580107 140734364845008 18446744073709551615 271550642670 0 0 4096 2 18446604452350826496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 1207164

[startup+6.30119 s]
/proc/loadavg: 6.14 7.58 6.39 9/454 13834
/proc/meminfo: memFree=25150056/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=1725148 CPUtime=34.64 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 394555 0 0 0 2349 1115 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 431287 359411 360 95 0 426269 0
[pid=13826/tid=13827] ppid=13824 vsize=1725148 CPUtime=4.32 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 47234 0 0 0 292 140 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=1725148 CPUtime=4.32 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 50394 0 0 0 293 139 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=1725148 CPUtime=4.34 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 48584 0 0 0 291 143 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=1725148 CPUtime=4.34 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 47674 0 0 0 301 133 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=1725148 CPUtime=4.37 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 50957 0 0 0 294 143 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=1725148 CPUtime=4.27 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 48308 0 0 0 290 137 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294302 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=1725148 CPUtime=4.29 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 51424 0 0 0 293 136 0 0 17 0 8 0 720973033 1766551552 359411 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0

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

[pid=13826] ppid=13824 vsize=1760740 CPUtime=85.72 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 401250 0 0 0 7453 1119 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 440185 365703 360 95 0 435167 0
[pid=13826/tid=13827] ppid=13824 vsize=1760740 CPUtime=10.72 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 47612 0 0 0 931 141 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=1760740 CPUtime=10.72 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 50827 0 0 0 932 140 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=1760740 CPUtime=10.64 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 49006 0 0 0 921 143 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=1760740 CPUtime=10.74 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 48071 0 0 0 941 133 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=1760740 CPUtime=10.77 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 51373 0 0 0 934 143 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=1760740 CPUtime=10.65 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 48729 0 0 0 928 137 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=1760740 CPUtime=10.69 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 55244 0 0 0 932 137 0 0 25 0 8 0 720973033 1802997760 365703 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 85.72
Current children cumulated vsize (KiB) 1760740

[startup+25.5007 s]
/proc/loadavg: 6.67 7.60 6.42 9/454 13835
/proc/meminfo: memFree=24502024/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=2607288 CPUtime=186.82 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 548763 0 0 0 17506 1176 0 0 25 0 8 0 720973033 2669862912 512230 33554432000 4194304 4580107 140734364845008 18446744073709551615 4254225 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 651822 512232 375 95 0 646804 0
[pid=13826/tid=13827] ppid=13824 vsize=2607288 CPUtime=23.3 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 70172 0 0 0 2181 149 0 0 23 0 8 0 720973033 2669862912 512232 33554432000 4194304 4580107 140734364845008 18446744073709551615 4399566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=2607288 CPUtime=23.33 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 70876 0 0 0 2184 149 0 0 23 0 8 0 720973033 2669862912 512232 33554432000 4194304 4580107 140734364845008 18446744073709551615 4406489 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=2607288 CPUtime=23.12 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 69031 0 0 0 2160 152 0 0 22 0 8 0 720973033 2669862912 512232 33554432000 4194304 4580107 140734364845008 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=2607288 CPUtime=23.41 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 67749 0 0 0 2199 142 0 0 25 0 8 0 720973033 2669862912 512234 33554432000 4194304 4580107 140734364845008 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=2607288 CPUtime=23.47 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 70354 0 0 0 2198 149 0 0 25 0 8 0 720973033 2669862912 512234 33554432000 4194304 4580107 140734364845008 18446744073709551615 4406134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=2607288 CPUtime=23.42 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 66340 0 0 0 2199 143 0 0 25 0 8 0 720973033 2669862912 512234 33554432000 4194304 4580107 140734364845008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=2607288 CPUtime=23.41 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 61763 0 0 0 2202 139 0 0 25 0 8 0 720973033 2669862912 512234 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 186.82
Current children cumulated vsize (KiB) 2607288

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

[startup+38.3004 s]
/proc/loadavg: 7.02 7.65 6.45 9/454 13835
/proc/meminfo: memFree=24339876/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=2607288 CPUtime=289.01 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 593565 0 0 0 27710 1191 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 651822 553627 378 95 0 646804 0
[pid=13826/tid=13827] ppid=13824 vsize=2607288 CPUtime=36.11 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 74479 0 0 0 3460 151 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=2607288 CPUtime=36.13 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 78287 0 0 0 3461 152 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=2607288 CPUtime=35.74 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 74818 0 0 0 3420 154 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=2607288 CPUtime=36.21 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76956 0 0 0 3476 145 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=2607288 CPUtime=36.25 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 75921 0 0 0 3474 151 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=2607288 CPUtime=36.21 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 73019 0 0 0 3476 145 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=2607288 CPUtime=36.22 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 64831 0 0 0 3481 141 0 0 25 0 8 0 720973033 2669862912 553627 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 289.01
Current children cumulated vsize (KiB) 2607288

[startup+44.7012 s]
/proc/loadavg: 7.17 7.66 6.46 9/454 13835
/proc/meminfo: memFree=24290768/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=3132296 CPUtime=340.13 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 605609 0 0 0 32818 1195 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4317469 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 783074 565671 378 95 0 778056 0
[pid=13826/tid=13827] ppid=13824 vsize=3132296 CPUtime=42.5 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76019 0 0 0 4099 151 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=3132296 CPUtime=42.53 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 80114 0 0 0 4100 153 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=3132296 CPUtime=42.05 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76108 0 0 0 4051 154 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=3132296 CPUtime=42.6 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 78807 0 0 0 4115 145 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=3132296 CPUtime=42.65 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 77752 0 0 0 4114 151 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=3132296 CPUtime=42.6 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 74503 0 0 0 4115 145 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=3132296 CPUtime=42.61 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 65675 0 0 0 4120 141 0 0 25 0 8 0 720973033 3207471104 565671 33554432000 4194304 4580107 140734364845008 18446744073709551615 4306246 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 340.13
Current children cumulated vsize (KiB) 3132296

[startup+46.3009 s]
/proc/loadavg: 7.17 7.66 6.46 9/454 13835
/proc/meminfo: memFree=24274028/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=3263548 CPUtime=352.89 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 608757 0 0 0 34094 1195 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 815887 568819 378 95 0 810869 0
[pid=13826/tid=13827] ppid=13824 vsize=3263548 CPUtime=44.1 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76308 0 0 0 4259 151 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=3263548 CPUtime=44.13 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 80562 0 0 0 4260 153 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=3263548 CPUtime=43.61 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76395 0 0 0 4207 154 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=3263548 CPUtime=44.2 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 79113 0 0 0 4275 145 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=3263548 CPUtime=44.25 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 78218 0 0 0 4274 151 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=3263548 CPUtime=44.2 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 74796 0 0 0 4275 145 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=3263548 CPUtime=44.21 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 66039 0 0 0 4280 141 0 0 25 0 8 0 720973033 3341873152 568819 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 352.89
Current children cumulated vsize (KiB) 3263548

[startup+47.9006 s]
/proc/loadavg: 7.17 7.66 6.46 9/454 13835
/proc/meminfo: memFree=24267704/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=3526052 CPUtime=365.68 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 611296 0 0 0 35372 1196 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 881513 571358 378 95 0 876495 0
[pid=13826/tid=13827] ppid=13824 vsize=3526052 CPUtime=45.7 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76730 0 0 0 4419 151 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=3526052 CPUtime=45.73 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 80852 0 0 0 4420 153 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4316813 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=3526052 CPUtime=45.2 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76598 0 0 0 4366 154 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=3526052 CPUtime=45.81 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 79439 0 0 0 4435 146 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4316849 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=3526052 CPUtime=45.85 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 78546 0 0 0 4434 151 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=3526052 CPUtime=45.8 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 75150 0 0 0 4435 145 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=3526052 CPUtime=45.81 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 66277 0 0 0 4440 141 0 0 25 0 8 0 720973033 3610677248 571358 33554432000 4194304 4580107 140734364845008 18446744073709551615 4317040 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 365.68
Current children cumulated vsize (KiB) 3526052

[startup+48.3005 s]
/proc/loadavg: 7.40 7.70 6.48 9/454 13835
/proc/meminfo: memFree=24259768/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=3526052 CPUtime=368.94 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) R 13824 13826 13586 0 -1 4202496 612004 0 0 0 35698 1196 0 0 25 0 8 0 720973033 3610677248 572066 33554432000 4194304 4580107 140734364845008 18446744073709551615 4317489 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 881513 572066 378 95 0 876495 0
[pid=13826/tid=13827] ppid=13824 vsize=3526052 CPUtime=46.12 cores=0-7
/proc/13826/task/13827/stat : 13827 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76898 0 0 0 4461 151 0 0 25 0 8 0 720973033 3610677248 572084 33554432000 4194304 4580107 140734364845008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13826/tid=13828] ppid=13824 vsize=3526052 CPUtime=46.14 cores=0-7
/proc/13826/task/13828/stat : 13828 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 80959 0 0 0 4461 153 0 0 25 0 8 0 720973033 3610677248 572084 33554432000 4194304 4580107 140734364845008 18446744073709551615 4316487 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13826/tid=13829] ppid=13824 vsize=3526052 CPUtime=45.59 cores=0-7
/proc/13826/task/13829/stat : 13829 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 76651 0 0 0 4405 154 0 0 25 0 8 0 720973033 3610677248 572084 33554432000 4194304 4580107 140734364845008 18446744073709551615 4316736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=3526052 CPUtime=46.23 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 79531 0 0 0 4477 146 0 0 25 0 8 0 720973033 3610677248 572084 33554432000 4194304 4580107 140734364845008 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13826/tid=13831] ppid=13824 vsize=3526052 CPUtime=46.27 cores=0-7
/proc/13826/task/13831/stat : 13831 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 78634 0 0 0 4476 151 0 0 25 0 8 0 720973033 3610677248 572084 33554432000 4194304 4580107 140734364845008 18446744073709551615 4316395 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13826/tid=13832] ppid=13824 vsize=3526052 CPUtime=46.22 cores=0-7
/proc/13826/task/13832/stat : 13832 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 75203 0 0 0 4477 145 0 0 25 0 8 0 720973033 3610677248 572084 33554432000 4194304 4580107 140734364845008 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13826/tid=13833] ppid=13824 vsize=3526052 CPUtime=46.23 cores=0-7
/proc/13826/task/13833/stat : 13833 (strangenight2-m) R 13824 13826 13586 0 -1 4202560 66344 0 0 0 4482 141 0 0 25 0 8 0 720973033 3610677248 572084 33554432000 4194304 4580107 140734364845008 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 368.94
Current children cumulated vsize (KiB) 3526052

[startup+48.5006 s]
/proc/loadavg: 7.40 7.70 6.48 9/454 13835
/proc/meminfo: memFree=24259768/32951124 swapFree=61585512/67111528
[pid=13826] ppid=13824 vsize=0 CPUtime=370.2 cores=0-7
/proc/13826/stat : 13826 (strangenight2-m) Z 13824 13826 13586 0 -1 4203548 612209 0 0 0 35820 1200 0 0 25 0 2 0 720973033 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13826/statm: 0 0 0 0 0 0 0
[pid=13826/tid=13830] ppid=13824 vsize=0 CPUtime=46.41 cores=0-7
/proc/13826/task/13830/stat : 13830 (strangenight2-m) R 13824 13826 13586 0 -1 4203588 79557 0 0 0 4492 149 0 0 25 0 2 0 720973033 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 370.2
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 48.5999
CPU time (s): 370.313
CPU user time (s): 358.209
CPU system time (s): 12.1042
CPU usage (%): 761.962
Max. virtual memory (cumulated for all children) (KiB): 3526052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 358.209
system time used= 12.1042
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612209
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= 1432771
involuntary context switches= 4514

runsolver used 0.227965 second user time and 0.508922 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-22 21:49:12
IDJOB=3394246
IDBENCH=82430
IDSOLVER=1878
FILE ID=node133/3394246-1306093748
RUNJOBID= node133-1306092438-13600
PBS_JOBID= 13387943
Free space on /tmp= 72940 MiB

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

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

MD5SUM BENCH= 52e16341bcff805ef2d6abe4e95359a0
RANDOM SEED=1308409886

node133.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.834
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.66
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.834
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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:      26544844 kB
Buffers:          1448 kB
Cached:         187952 kB
SwapCached:      56016 kB
Active:         122072 kB
Inactive:      6083880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26544844 kB
SwapTotal:    67111528 kB
SwapFree:     61585512 kB
Dirty:           98648 kB
Writeback:           0 kB
AnonPages:     5966132 kB
Mapped:          30040 kB
Slab:            77068 kB
PageTables:      53088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114887760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72932 MiB
End job on node133 at 2011-05-22 21:50:00