Trace number 3321156

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 284.447 35.8755

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
MD5SUMd07ba7628d2c2e21fb72ee99fe24c054
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.62829
Satisfiable
(Un)Satisfiability was proved
Number of variables160244
Number of clauses479591
Sum of the clauses size1119043
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2319726
Number of clauses of size 3159863
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3321156-1304324468.cnf'
0.00/0.03	c -- header says num vars:         160244
0.00/0.03	c -- header says num clauses:      479591
3.12/0.63	c -- clauses added:            0 learnts,       479591 normals,            0 xors
3.12/0.63	c -- vars added     160244
3.12/0.63	c Parsing time:  0.21 s
3.12/0.63	c  N st     0         0    160244    159863    319726         0   1119041         0   no data   no data
3.12/1.10	c asymm  cl-useful: 0/7516/159862 lits-rem:0 time: 0.47
102.93/13.12	c Flit:   322 Blit:  13385 bXBeca:    0 bXProp: 9400 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 12.02
102.93/13.15	c Cleaning up after failed var search:     0.03 s 
103.72/13.20	c Replacing     9401 vars Replaced   167264 lits Time:     0.05 s 
103.72/13.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103.72/13.28	c bin-w-bin subsume rem          683 bins  time:  0.03 s
104.52/13.34	c subs with bin:       19  lits-rem:        18  v-fix:    0  time:  0.06 s
109.31/13.96	c Subs w/ non-existent bins:    165 l-rem:    132 v-fix:    33 done: 122159 time:  0.61 s
110.11/14.07	c Removed useless bin:     103  fixed:     0  props:  20.00M  time:  0.11 s
114.06/14.59	c lits-rem:      5659  cl-subs:    17378  v-elim:  45277  v-fix:    0  time:  0.48 s
114.83/14.62	c Finding binary XORs  T:     0.03 s  found:     109
114.83/14.66	c Replacing      109 vars Replaced     5281 lits Time:     0.03 s 
115.61/14.73	c Finding non-binary XORs:     0.04 s (found:      56, avg size: 3.0)
115.61/14.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
115.61/14.74	c calculated reachability. Time: 0.00
115.61/14.76	c Calc default polars -  time:   0.01 s pos:     997 undec:   70126 neg:   89121
115.61/14.76	c =========================================================================================
115.61/14.76	c types(t): F = full restart, N = normal restart
115.61/14.76	c types(t): S = simplification begin/end, E = solution found
115.61/14.76	c restart types(rt): st = static, dy = dynamic
115.61/14.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
115.61/14.76	c  B st     0         0     90413    124606    180735         0    788152         0   no data   no data
133.98/17.02	c  N dy    18      4122     90412    124606    180925      3863    788143     69505      5.38      5.67
160.36/20.35	c  N dy    47      8179     90309    124606    182286      7695    788138    147489      5.86      6.23
187.55/23.71	c  N dy    73     12219     90223    124606    182388     11578    788138    247957      6.08      7.47
221.90/28.08	c Finding binary XORs  T:     0.03 s  found:    1264
222.71/28.13	c Replacing     1277 vars Replaced    71970 lits Time:     0.05 s 
232.26/29.32	c  N dy   104     16259     87873    116123    177506     13375    739818    332789      6.38      8.30
284.27/35.82	c Following stats are for *FIRST FINISHED THREAD ONLY*
284.27/35.82	c num threads              : 8          
284.27/35.82	c restarts                 : 105        
284.27/35.82	c dynamic restarts         : 99         
284.27/35.82	c static restarts          : 6          
284.27/35.82	c full restarts            : 0          
284.27/35.82	c total simplify time      : 0.17       
284.27/35.82	c learnts DL2              : 0          
284.27/35.82	c learnts size 2           : 387258     
284.27/35.82	c learnts size 1           : 54083       (33.75     % of vars)
284.27/35.82	c filedLit time            : 12.21       (34.55     % time)
284.27/35.82	c v-elim SatELite          : 45277       (28.26     % vars)
284.27/35.82	c SatELite time            : 1.06        (3.00      % time)
284.27/35.82	c v-elim xor               : 0           (0.00      % vars)
284.27/35.82	c xor elim time            : 0.02        (0.07      % time)
284.27/35.82	c num binary xor trees     : 1960       
284.27/35.82	c binxor trees' crown      : 10675       (5.45      leafs/tree)
284.27/35.82	c bin xor find time        : 0.06       
284.27/35.82	c OTF clause improved      : 264         (0.01      clauses/conflict)
284.27/35.82	c OTF impr. size diff      : 407         (1.54       lits/clause)
284.27/35.82	c OTF cl watch-shrink      : 8144        (0.44      clauses/conflict)
284.27/35.82	c OTF cl watch-sh-lit      : 27041       (3.32       lits/clause)
284.27/35.82	c tried to recurMin cls    : 0           (0.00       % of conflicts)
284.27/35.82	c updated cache            : 0           (nan        lits/tried recurMin)
284.27/35.82	c unit cls recevied        : 249         (0.46      % of units)
284.27/35.82	c unit cls sent            : 224         (0.41      % of units)
284.27/35.82	c bin cls recevied         : 29508      
284.27/35.82	c bin cls sent             : 498        
284.27/35.82	c clauses over max glue    : 0           (0.00      % of all clauses)
284.27/35.82	c conflicts                : 18650       (527.65    / sec)
284.27/35.82	c decisions                : 44994       (0.00      % random)
284.27/35.82	c bogo-props               : 537581330   (15209274.55 / sec)
284.27/35.82	c conflict literals        : 497008      (49.23     % deleted)
284.27/35.82	c Memory used              : 1539.18     MB
284.27/35.82	c single-thread CPU time   : 35.35       s
284.27/35.82	c all-threads sum CPU time : 282.56      s
284.27/35.82	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-3321156-1304324468/watcher-3321156-1304324468 -o /tmp/evaluation-result-3321156-1304324468/solver-3321156-1304324468 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321156-1304324468.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: 8.03 7.80 6.42 2/194 8837
/proc/meminfo: memFree=30478404/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=92188 CPUtime=0.01 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 414 0 0 0 1 0 0 0 23 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 47969246123952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8837/statm: 23047 353 299 106 0 18018 0
[pid=8837/tid=8838] ppid=8835 vsize=92188 CPUtime=0 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 47969246123948 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=92188 CPUtime=0 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 47969246123954 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=92188 CPUtime=0 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 47969246123954 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=92188 CPUtime=0 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 47969246123954 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=92188 CPUtime=0 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=92188 CPUtime=0 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 47969246123948 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=92188 CPUtime=0 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544046602 94400512 353 33554432000 4194304 4627427 140734462898832 18446744073709551615 47969246123954 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0814949 s]
/proc/loadavg: 8.03 7.80 6.42 2/194 8837
/proc/meminfo: memFree=30478404/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=637244 CPUtime=0.42 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 14752 0 0 0 29 13 0 0 17 0 8 0 544046602 652537856 12800 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803295 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 159311 12843 339 106 0 154282 0
[pid=8837/tid=8838] ppid=8835 vsize=637244 CPUtime=0.05 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 1993 0 0 0 4 1 0 0 17 0 8 0 544046602 652537856 12866 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=637244 CPUtime=0.02 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 1884 0 0 0 1 1 0 0 17 0 8 0 544046602 652537856 12902 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=637244 CPUtime=0.05 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 1799 0 0 0 4 1 0 0 17 0 8 0 544046602 652537856 12918 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=637244 CPUtime=0.05 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 1771 0 0 0 3 2 0 0 17 0 8 0 544046602 652537856 12934 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089365466 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=637244 CPUtime=0.03 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 1693 0 0 0 2 1 0 0 17 0 8 0 544046602 652537856 12961 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=637244 CPUtime=0.05 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 1911 0 0 0 4 1 0 0 17 0 8 0 544046602 652537856 12975 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=637244 CPUtime=0.05 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 1568 0 0 0 4 1 0 0 17 0 8 0 544046602 652537856 12992 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089395408 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 637244

[startup+0.101574 s]
/proc/loadavg: 8.03 7.80 6.42 2/194 8837
/proc/meminfo: memFree=30478404/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=650688 CPUtime=0.49 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) S 8835 8837 8464 0 -1 4202496 21100 0 0 0 33 16 0 0 17 0 8 0 544046602 666304512 17053 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 162672 17053 339 106 0 157643 0
[pid=8837/tid=8838] ppid=8835 vsize=650688 CPUtime=0.06 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 2889 0 0 0 4 2 0 0 17 0 8 0 544046602 666304512 17061 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=650688 CPUtime=0.03 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 2729 0 0 0 1 2 0 0 17 0 8 0 544046602 666304512 17074 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=650688 CPUtime=0.05 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 2499 0 0 0 4 1 0 0 17 0 8 0 544046602 666304512 17090 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=650688 CPUtime=0.06 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 2518 0 0 0 4 2 0 0 17 0 8 0 544046602 666304512 17090 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=650688 CPUtime=0.04 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 2479 0 0 0 3 1 0 0 17 0 8 0 544046602 666304512 17090 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=650688 CPUtime=0.06 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 2823 0 0 0 5 1 0 0 17 0 8 0 544046602 666304512 17103 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=650688 CPUtime=0.05 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 2116 0 0 0 4 1 0 0 17 0 8 0 544046602 666304512 17119 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 650688

[startup+0.301522 s]
/proc/loadavg: 8.03 7.80 6.42 2/194 8837
/proc/meminfo: memFree=30478404/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=764808 CPUtime=1.54 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 77557 0 0 0 89 65 0 0 17 0 8 0 544046602 783163392 60803 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089741495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 191202 60862 339 106 0 186173 0
[pid=8837/tid=8838] ppid=8835 vsize=764808 CPUtime=0.18 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 10269 0 0 0 11 7 0 0 17 0 8 0 544046602 783163392 60974 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=764808 CPUtime=0.16 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 10700 0 0 0 8 8 0 0 17 0 8 0 544046602 783163392 60995 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=764808 CPUtime=0.19 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 9324 0 0 0 11 8 0 0 17 0 8 0 544046602 783163392 60995 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=764808 CPUtime=0.19 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 9035 0 0 0 10 9 0 0 17 0 8 0 544046602 783163392 61007 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089357747 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=764808 CPUtime=0.17 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 9346 0 0 0 10 7 0 0 17 0 8 0 544046602 783163392 61050 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=764808 CPUtime=0.2 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 9384 0 0 0 13 7 0 0 17 0 8 0 544046602 783163392 61136 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=764808 CPUtime=0.18 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) S 8835 8837 8464 0 -1 4202560 9180 0 0 0 11 7 0 0 17 0 8 0 544046602 783163392 61160 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 18446604468608586816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 764808

[startup+1.34223 s]
/proc/loadavg: 8.03 7.80 6.42 2/194 8837
/proc/meminfo: memFree=30478404/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1006348 CPUtime=8.92 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 170341 0 0 0 745 147 0 0 17 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308213 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 251587 136423 367 106 0 246558 0
[pid=8837/tid=8838] ppid=8835 vsize=1006348 CPUtime=1.11 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 21143 0 0 0 93 18 0 0 17 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1006348 CPUtime=1.09 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 23094 0 0 0 92 17 0 0 18 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1006348 CPUtime=1.12 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20518 0 0 0 94 18 0 0 17 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1006348 CPUtime=1.1 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20674 0 0 0 91 19 0 0 17 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 4238464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1006348 CPUtime=1.09 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20536 0 0 0 91 18 0 0 17 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1006348 CPUtime=1.12 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20853 0 0 0 95 17 0 0 18 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1006348 CPUtime=1.11 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 21542 0 0 0 92 19 0 0 17 0 8 0 544046602 1030500352 136423 33554432000 4194304 4627427 140734462898832 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 1006348

[startup+1.50125 s]
/proc/loadavg: 8.03 7.80 6.42 2/194 8837
/proc/meminfo: memFree=30478404/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1006348 CPUtime=10.2 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 170345 0 0 0 873 147 0 0 17 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 251587 136427 367 106 0 246558 0
[pid=8837/tid=8838] ppid=8835 vsize=1006348 CPUtime=1.27 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 21143 0 0 0 109 18 0 0 17 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1006348 CPUtime=1.25 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 23094 0 0 0 108 17 0 0 18 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4299701 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1006348 CPUtime=1.28 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20518 0 0 0 110 18 0 0 17 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1006348 CPUtime=1.26 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20674 0 0 0 107 19 0 0 18 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4299707 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1006348 CPUtime=1.25 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20536 0 0 0 107 18 0 0 17 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1006348 CPUtime=1.28 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20853 0 0 0 111 17 0 0 18 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4238276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1006348 CPUtime=1.27 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 21546 0 0 0 108 19 0 0 17 0 8 0 544046602 1030500352 136427 33554432000 4194304 4627427 140734462898832 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 1006348

[startup+3.10097 s]
/proc/loadavg: 8.11 7.82 6.43 9/202 8845
/proc/meminfo: memFree=29933496/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1006348 CPUtime=22.98 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 170486 0 0 0 2150 148 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 251587 136568 367 106 0 246558 0
[pid=8837/tid=8838] ppid=8835 vsize=1006348 CPUtime=2.87 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 21145 0 0 0 269 18 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1006348 CPUtime=2.83 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 23105 0 0 0 266 17 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1006348 CPUtime=2.88 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20529 0 0 0 270 18 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1006348 CPUtime=2.86 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20701 0 0 0 267 19 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1006348 CPUtime=2.85 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20543 0 0 0 267 18 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1006348 CPUtime=2.88 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20878 0 0 0 271 17 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1006348 CPUtime=2.88 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 21596 0 0 0 268 20 0 0 20 0 8 0 544046602 1030500352 136568 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.98
Current children cumulated vsize (KiB) 1006348

[startup+6.3004 s]
/proc/loadavg: 8.11 7.82 6.43 9/202 8845
/proc/meminfo: memFree=29925644/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1006348 CPUtime=48.55 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 172588 0 0 0 4707 148 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 251587 138670 368 106 0 246558 0
[pid=8837/tid=8838] ppid=8835 vsize=1006348 CPUtime=6.07 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 21159 0 0 0 589 18 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1006348 CPUtime=6.01 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 23114 0 0 0 584 17 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1006348 CPUtime=6.08 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20552 0 0 0 590 18 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1006348 CPUtime=6.06 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20724 0 0 0 587 19 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1006348 CPUtime=6.05 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20556 0 0 0 587 18 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1006348 CPUtime=6.08 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 20912 0 0 0 591 17 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1006348 CPUtime=6.07 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 23576 0 0 0 587 20 0 0 25 0 8 0 544046602 1030500352 138670 33554432000 4194304 4627427 140734462898832 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 36827 0 0 0 2500 22 0 0 25 0 8 0 544046602 1609400320 240261 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1571680 CPUtime=25.26 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41127 0 0 0 2506 20 0 0 25 0 8 0 544046602 1609400320 240261 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1571680 CPUtime=25.26 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 24161 0 0 0 2506 20 0 0 25 0 8 0 544046602 1609400320 240261 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 201.89
Current children cumulated vsize (KiB) 1571680

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

[startup+26.1009 s]
/proc/loadavg: 8.08 7.83 6.47 9/202 8846
/proc/meminfo: memFree=29519920/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1571680 CPUtime=206.68 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 299181 0 0 0 20487 181 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 392920 240419 430 106 0 387891 0
[pid=8837/tid=8838] ppid=8835 vsize=1571680 CPUtime=25.85 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 37930 0 0 0 2562 23 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1571680 CPUtime=25.68 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 40289 0 0 0 2546 22 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1571680 CPUtime=25.84 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38194 0 0 0 2562 22 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1571680 CPUtime=25.85 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41313 0 0 0 2559 26 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308783 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1571680 CPUtime=25.82 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 36843 0 0 0 2560 22 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1571680 CPUtime=25.86 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41145 0 0 0 2566 20 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1571680 CPUtime=25.86 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 24171 0 0 0 2566 20 0 0 25 0 8 0 544046602 1609400320 240419 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 206.68
Current children cumulated vsize (KiB) 1571680

[startup+32.5078 s]
/proc/loadavg: 8.07 7.84 6.48 9/202 8846
/proc/meminfo: memFree=29515824/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1576116 CPUtime=257.89 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 301603 0 0 0 25607 182 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 394029 241344 431 106 0 389000 0
[pid=8837/tid=8838] ppid=8835 vsize=1576116 CPUtime=32.25 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38141 0 0 0 3202 23 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1576116 CPUtime=32.04 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 40465 0 0 0 3182 22 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1576116 CPUtime=32.25 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38372 0 0 0 3203 22 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1576116 CPUtime=32.25 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41537 0 0 0 3199 26 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1576116 CPUtime=32.23 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 37038 0 0 0 3201 22 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1576116 CPUtime=32.27 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41357 0 0 0 3207 20 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1576116 CPUtime=32.28 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 25203 0 0 0 3207 21 0 0 25 0 8 0 544046602 1613942784 241344 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308213 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 257.89
Current children cumulated vsize (KiB) 1576116

[startup+34.1005 s]
/proc/loadavg: 8.07 7.84 6.48 9/202 8846
/proc/meminfo: memFree=29515312/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1576116 CPUtime=270.62 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 301917 0 0 0 26880 182 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 394029 241658 431 106 0 389000 0
[pid=8837/tid=8838] ppid=8835 vsize=1576116 CPUtime=33.84 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38178 0 0 0 3361 23 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1576116 CPUtime=33.63 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 40505 0 0 0 3341 22 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1576116 CPUtime=33.85 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38410 0 0 0 3362 23 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4322525 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1576116 CPUtime=33.85 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41581 0 0 0 3359 26 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1576116 CPUtime=33.82 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 37068 0 0 0 3360 22 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1576116 CPUtime=33.86 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41402 0 0 0 3366 20 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1576116 CPUtime=33.87 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 25231 0 0 0 3366 21 0 0 25 0 8 0 544046602 1613942784 241658 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 270.62
Current children cumulated vsize (KiB) 1576116

[startup+34.9003 s]
/proc/loadavg: 8.07 7.84 6.48 9/202 8846
/proc/meminfo: memFree=29514568/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1576116 CPUtime=277.01 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 302058 0 0 0 27519 182 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 394029 241799 431 106 0 389000 0
[pid=8837/tid=8838] ppid=8835 vsize=1576116 CPUtime=34.64 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38195 0 0 0 3441 23 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1576116 CPUtime=34.42 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 40524 0 0 0 3420 22 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1576116 CPUtime=34.65 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38429 0 0 0 3442 23 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1576116 CPUtime=34.64 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41602 0 0 0 3438 26 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1576116 CPUtime=34.62 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 37090 0 0 0 3440 22 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1576116 CPUtime=34.66 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41417 0 0 0 3446 20 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1576116 CPUtime=34.67 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 25240 0 0 0 3446 21 0 0 25 0 8 0 544046602 1613942784 241799 33554432000 4194304 4627427 140734462898832 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 277.01
Current children cumulated vsize (KiB) 1576116

[startup+35.3013 s]
/proc/loadavg: 8.07 7.84 6.48 9/202 8846
/proc/meminfo: memFree=29514568/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1576116 CPUtime=280.22 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 302131 0 0 0 27840 182 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 394029 241872 431 106 0 389000 0
[pid=8837/tid=8838] ppid=8835 vsize=1576116 CPUtime=35.04 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38206 0 0 0 3481 23 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1576116 CPUtime=34.82 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 40535 0 0 0 3460 22 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1576116 CPUtime=35.05 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38439 0 0 0 3482 23 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1576116 CPUtime=35.05 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41614 0 0 0 3479 26 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1576116 CPUtime=35.02 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 37101 0 0 0 3480 22 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1576116 CPUtime=35.06 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41424 0 0 0 3486 20 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1576116 CPUtime=35.07 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 25243 0 0 0 3486 21 0 0 25 0 8 0 544046602 1613942784 241872 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 1576116

[startup+35.7012 s]
/proc/loadavg: 8.07 7.84 6.48 9/202 8846
/proc/meminfo: memFree=29513872/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1576116 CPUtime=283.47 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 302190 0 0 0 28164 183 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 394029 241931 431 106 0 389000 0
[pid=8837/tid=8838] ppid=8835 vsize=1576116 CPUtime=35.45 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38213 0 0 0 3522 23 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1576116 CPUtime=35.22 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 40544 0 0 0 3500 22 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1576116 CPUtime=35.46 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38447 0 0 0 3523 23 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308671 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1576116 CPUtime=35.45 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41623 0 0 0 3519 26 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1576116 CPUtime=35.43 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 37106 0 0 0 3521 22 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1576116 CPUtime=35.47 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41434 0 0 0 3527 20 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1576116 CPUtime=35.48 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 25248 0 0 0 3527 21 0 0 25 0 8 0 544046602 1613942784 241931 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 283.47
Current children cumulated vsize (KiB) 1576116

[startup+35.8072 s]
/proc/loadavg: 8.07 7.84 6.48 9/202 8846
/proc/meminfo: memFree=29513872/32950928 swapFree=66698924/67111528
[pid=8837] ppid=8835 vsize=1576116 CPUtime=284.27 cores=0-7
/proc/8837/stat : 8837 (strangenight2-m) R 8835 8837 8464 0 -1 4202496 302214 0 0 0 28244 183 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4310565 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8837/statm: 394029 241944 420 106 0 389000 0
[pid=8837/tid=8838] ppid=8835 vsize=1576116 CPUtime=35.55 cores=0-7
/proc/8837/task/8838/stat : 8838 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38213 0 0 0 3532 23 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8837/tid=8839] ppid=8835 vsize=1576116 CPUtime=35.32 cores=0-7
/proc/8837/task/8839/stat : 8839 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 40546 0 0 0 3510 22 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8837/tid=8840] ppid=8835 vsize=1576116 CPUtime=35.56 cores=0-7
/proc/8837/task/8840/stat : 8840 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 38448 0 0 0 3533 23 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8837/tid=8841] ppid=8835 vsize=1576116 CPUtime=35.55 cores=0-7
/proc/8837/task/8841/stat : 8841 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41625 0 0 0 3529 26 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4332772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8837/tid=8842] ppid=8835 vsize=1576116 CPUtime=35.53 cores=0-7
/proc/8837/task/8842/stat : 8842 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 37108 0 0 0 3531 22 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8837/tid=8843] ppid=8835 vsize=1576116 CPUtime=35.57 cores=0-7
/proc/8837/task/8843/stat : 8843 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 41436 0 0 0 3537 20 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8837/tid=8844] ppid=8835 vsize=1576116 CPUtime=35.57 cores=0-7
/proc/8837/task/8844/stat : 8844 (strangenight2-m) R 8835 8837 8464 0 -1 4202560 25260 0 0 0 3536 21 0 0 25 0 8 0 544046602 1613942784 241944 33554432000 4194304 4627427 140734462898832 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 284.27
Current children cumulated vsize (KiB) 1576116

Child status: 20
Real time (s): 35.8755
CPU time (s): 284.447
CPU user time (s): 282.563
CPU system time (s): 1.88371
CPU usage (%): 792.871
Max. virtual memory (cumulated for all children) (KiB): 1584320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 282.563
system time used= 1.88371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302219
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= 128656
involuntary context switches= 1237

runsolver used 0.074988 second user time and 0.149977 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-02 10:21:08
IDJOB=3321156
IDBENCH=82474
IDSOLVER=1709
FILE ID=node123/3321156-1304324468
RUNJOBID= node123-1304322187-8478
PBS_JOBID= 13176803
Free space on /tmp= 73976 MiB

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

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

MD5SUM BENCH= d07ba7628d2c2e21fb72ee99fe24c054
RANDOM SEED=1038482535

node123.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.838
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.67
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.838
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	: 5226.15
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.82
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.838
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.838
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.80
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.838
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30478808 kB
Buffers:         50764 kB
Cached:         206876 kB
SwapCached:      12720 kB
Active:          37292 kB
Inactive:      2218156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30478808 kB
SwapTotal:    67111528 kB
SwapFree:     66698924 kB
Dirty:           14216 kB
Writeback:           0 kB
AnonPages:     1992540 kB
Mapped:          16152 kB
Slab:           144164 kB
PageTables:      10440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2692680 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= 73972 MiB
End job on node123 at 2011-05-02 10:21:44