Trace number 3321135

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 797.546 100.662

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
MD5SUMa78f49949ed32c6f8eea9d5e428c909d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.88941
Satisfiable
(Un)Satisfiability was proved
Number of variables350506
Number of clauses878969
Sum of the clauses size2050925
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2585978
Number of clauses of size 3292989
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-3321135-1304324210.cnf'
0.00/0.03	c -- header says num vars:         350506
0.00/0.03	c -- header says num clauses:      878969
21.00/3.15	c -- clauses added:            0 learnts,       878969 normals,            0 xors
21.00/3.15	c -- vars added     350506
21.00/3.15	c Parsing time:  0.54 s
21.00/3.15	c  N st     0         0    350506    292989    585978         0   2050923         0   no data   no data
21.00/3.15	c asymm  cl-useful: 0/540/291176 lits-rem:0 time: 1.16
151.29/19.42	c Flit:     0 Blit:   4064 bXBeca:    0 bXProp: 3533 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 16.91
151.29/19.46	c Cleaning up after failed var search:     0.04 s 
152.08/19.56	c Replacing     3533 vars Replaced    45929 lits Time:     0.09 s 
153.66/19.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
153.66/19.77	c bin-w-bin subsume rem            0 bins  time:  0.06 s
155.18/19.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.16 s
173.48/22.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:  9356 done:  46860 time:  2.28 s
175.08/22.44	c Removed useless bin:     720  fixed:     0  props:  20.00M  time:  0.20 s
297.66/37.98	c lits-rem:         0  cl-subs:        1  v-elim: 113698  v-fix:    0  time: 15.08 s
298.44/38.05	c Finding binary XORs  T:     0.07 s  found:       1
299.23/38.11	c Replacing        1 vars Replaced       17 lits Time:     0.06 s 
299.23/38.17	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
299.23/38.17	c calculated reachability. Time: 0.00
299.23/38.19	c Calc default polars -  time:   0.02 s pos:    4633 undec:  134306 neg:  211567
299.23/38.19	c =========================================================================================
299.23/38.19	c types(t): F = full restart, N = normal restart
299.23/38.19	c types(t): S = simplification begin/end, E = solution found
299.23/38.19	c restart types(rt): st = static, dy = dynamic
299.23/38.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
299.23/38.19	c  B st     0         0    218040    162552    436657         0   1363793         0   no data   no data
466.29/59.00	c  N dy    11      5551    211068    156399    421901      4843   1314722   9191267     12.27     14.21
539.08/68.15	c Finding binary XORs  T:     0.07 s  found:   11969
543.03/68.68	c Replacing    11969 vars Replaced   256941 lits Time:     0.52 s 
605.18/76.44	c  N dy    19     10324    175930    131075    388573      9297   1084672  12309587     10.56     12.30
757.86/95.53	c  N dy    29     14372    155784    131075    403429     13254   1084672  19378031     12.30     13.09
797.01/100.43	c Following stats are for *FIRST FINISHED THREAD ONLY*
797.01/100.43	c num threads              : 8          
797.01/100.43	c restarts                 : 56         
797.01/100.43	c dynamic restarts         : 50         
797.01/100.43	c static restarts          : 6          
797.01/100.43	c full restarts            : 0          
797.01/100.43	c total simplify time      : 1.53       
797.01/100.43	c learnts DL2              : 0          
797.01/100.43	c learnts size 2           : 7255731    
797.01/100.43	c learnts size 1           : 140253      (40.01     % of vars)
797.01/100.43	c filedLit time            : 17.00       (17.18     % time)
797.01/100.43	c v-elim SatELite          : 113698      (32.44     % vars)
797.01/100.43	c SatELite time            : 17.43       (17.62     % time)
797.01/100.43	c v-elim xor               : 0           (0.00      % vars)
797.01/100.43	c xor elim time            : 0.00        (0.00      % time)
797.01/100.43	c num binary xor trees     : 20869      
797.01/100.43	c binxor trees' crown      : 38005       (1.82      leafs/tree)
797.01/100.43	c bin xor find time        : 0.22       
797.01/100.43	c OTF clause improved      : 227         (0.01      clauses/conflict)
797.01/100.43	c OTF impr. size diff      : 5408        (23.82      lits/clause)
797.01/100.43	c OTF cl watch-shrink      : 6863        (0.33      clauses/conflict)
797.01/100.43	c OTF cl watch-sh-lit      : 19546       (2.85       lits/clause)
797.01/100.43	c tried to recurMin cls    : 0           (0.00       % of conflicts)
797.01/100.43	c updated cache            : 0           (nan        lits/tried recurMin)
797.01/100.43	c unit cls recevied        : 16707       (11.91     % of units)
797.01/100.43	c unit cls sent            : 20908       (14.91     % of units)
797.01/100.43	c bin cls recevied         : 86761      
797.01/100.43	c bin cls sent             : 2254648    
797.01/100.43	c clauses over max glue    : 0           (0.00      % of all clauses)
797.01/100.43	c conflicts                : 20583       (207.98    / sec)
797.01/100.43	c decisions                : 328156      (0.00      % random)
797.01/100.43	c bogo-props               : 569430273   (5753741.53 / sec)
797.01/100.43	c conflict literals        : 25297209    (1.92      % deleted)
797.01/100.43	c Memory used              : 5090.88     MB
797.01/100.43	c single-thread CPU time   : 98.97       s
797.01/100.43	c all-threads sum CPU time : 791.90      s
797.01/100.43	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-3321135-1304324210/watcher-3321135-1304324210 -o /tmp/evaluation-result-3321135-1304324210/solver-3321135-1304324210 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321135-1304324210.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.48 7.64 6.85 1/218 12139
/proc/meminfo: memFree=28885720/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=92188 CPUtime=0.01 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 414 0 0 0 1 0 0 0 22 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 47155705649068 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 23047 353 299 106 0 18018 0
[pid=12139/tid=12140] ppid=12137 vsize=92188 CPUtime=0 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 47155705649074 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=92188 CPUtime=0 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 47155705649074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=92188 CPUtime=0 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=92188 CPUtime=0 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=92188 CPUtime=0 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 47155705649074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=92188 CPUtime=0 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 47155705649074 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=92188 CPUtime=0 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622651756 94400512 353 33554432000 4194304 4627427 140735030291856 18446744073709551615 47155705649074 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0484839 s]
/proc/loadavg: 7.48 7.64 6.85 1/218 12139
/proc/meminfo: memFree=28885720/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=382260 CPUtime=0.23 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) D 12137 12139 11813 0 -1 4202496 15081 0 0 0 19 4 0 0 17 0 8 0 622651756 391434240 12754 33554432000 4194304 4627427 140735030291856 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 96078 13428 337 106 0 91049 0
[pid=12139/tid=12140] ppid=12137 vsize=385164 CPUtime=0.03 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) D 12137 12139 11813 0 -1 4202560 2299 0 0 0 3 0 0 0 18 0 8 0 622651756 394407936 13835 33554432000 4194304 4627427 140735030291856 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=385164 CPUtime=0.03 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) D 12137 12139 11813 0 -1 4202560 1872 0 0 0 3 0 0 0 17 0 8 0 622651756 394407936 13835 33554432000 4194304 4627427 140735030291856 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=385164 CPUtime=0.01 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 1131 0 0 0 1 0 0 0 17 0 8 0 622651756 394407936 13835 33554432000 4194304 4627427 140735030291856 18446744073709551615 224284622603 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=385164 CPUtime=0.02 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) D 12137 12139 11813 0 -1 4202560 2475 0 0 0 2 0 0 0 18 0 8 0 622651756 394407936 13835 33554432000 4194304 4627427 140735030291856 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=385164 CPUtime=0.02 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 2313 0 0 0 2 0 0 0 18 0 8 0 622651756 394407936 13835 33554432000 4194304 4627427 140735030291856 18446744073709551615 224284983722 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=385164 CPUtime=0 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) D 12137 12139 11813 0 -1 4202560 2303 0 0 0 0 0 0 0 18 0 8 0 622651756 394407936 13835 33554432000 4194304 4627427 140735030291856 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=385484 CPUtime=0.02 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 1592 0 0 0 2 0 0 0 17 0 8 0 622651756 394735616 13841 33554432000 4194304 4627427 140735030291856 18446744073709551615 4317031 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 382260

[startup+0.103466 s]
/proc/loadavg: 7.48 7.64 6.85 1/218 12139
/proc/meminfo: memFree=28885720/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=651756 CPUtime=0.53 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) S 12137 12139 11813 0 -1 4202496 52115 0 0 0 37 16 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 162939 42503 339 106 0 157910 0
[pid=12139/tid=12140] ppid=12137 vsize=651756 CPUtime=0.07 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 7026 0 0 0 5 2 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=651756 CPUtime=0.06 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 6088 0 0 0 5 1 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=651756 CPUtime=0.04 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 5788 0 0 0 3 1 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224284623175 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=651756 CPUtime=0.07 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 7612 0 0 0 5 2 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=651756 CPUtime=0.05 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 6044 0 0 0 4 1 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=651756 CPUtime=0.03 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 5723 0 0 0 2 1 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=651756 CPUtime=0.06 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 6729 0 0 0 5 1 0 0 17 0 8 0 622651756 667398144 42503 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 651756

[startup+0.30117 s]
/proc/loadavg: 7.48 7.64 6.85 1/218 12139
/proc/meminfo: memFree=28885720/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=791684 CPUtime=1.55 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) S 12137 12139 11813 0 -1 4202496 91130 0 0 0 95 60 0 0 17 0 8 0 622651756 810684416 75190 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 197921 75227 339 106 0 192892 0
[pid=12139/tid=12140] ppid=12137 vsize=791684 CPUtime=0.19 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 11516 0 0 0 12 7 0 0 17 0 8 0 622651756 810684416 75227 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=791684 CPUtime=0.2 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 10385 0 0 0 12 8 0 0 17 0 8 0 622651756 810684416 75315 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=791684 CPUtime=0.17 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 11188 0 0 0 11 6 0 0 17 0 8 0 622651756 810684416 75324 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=791684 CPUtime=0.18 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) S 12137 12139 11813 0 -1 4202560 11978 0 0 0 10 8 0 0 17 0 8 0 622651756 810684416 75347 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 18446604453469903616 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=791684 CPUtime=0.19 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) D 12137 12139 11813 0 -1 4202560 11757 0 0 0 12 7 0 0 17 0 8 0 622651756 810684416 75348 33554432000 4194304 4627427 140735030291856 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=791684 CPUtime=0.17 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 10801 0 0 0 10 7 0 0 17 0 8 0 622651756 810684416 75376 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=791684 CPUtime=0.19 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 11931 0 0 0 13 6 0 0 17 0 8 0 622651756 810684416 75392 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 791684

[startup+0.701127 s]
/proc/loadavg: 7.48 7.64 6.85 1/218 12139
/proc/meminfo: memFree=28885720/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=988556 CPUtime=3.53 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 174516 0 0 0 204 149 0 0 16 0 8 0 622651756 1012281344 141777 33554432000 4194304 4627427 140735030291856 18446744073709551615 4316560 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 247139 141782 339 106 0 242110 0
[pid=12139/tid=12140] ppid=12137 vsize=988556 CPUtime=0.43 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 21472 0 0 0 26 17 0 0 16 0 8 0 622651756 1012281344 141784 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=988556 CPUtime=0.45 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 19944 0 0 0 26 19 0 0 16 0 8 0 622651756 1012281344 141785 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=988556 CPUtime=0.42 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 21894 0 0 0 25 17 0 0 16 0 8 0 622651756 1012281344 141794 33554432000 4194304 4627427 140735030291856 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=988556 CPUtime=0.43 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 24961 0 0 0 23 20 0 0 16 0 8 0 622651756 1012281344 141799 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=988556 CPUtime=0.42 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 21169 0 0 0 24 18 0 0 16 0 8 0 622651756 1012281344 141800 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=988556 CPUtime=0.42 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 21158 0 0 0 24 18 0 0 16 0 8 0 622651756 1012281344 141801 33554432000 4194304 4627427 140735030291856 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=988556 CPUtime=0.44 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 21812 0 0 0 26 18 0 0 16 0 8 0 622651756 1012281344 141805 33554432000 4194304 4627427 140735030291856 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 988556

[startup+1.50097 s]
/proc/loadavg: 7.48 7.64 6.85 9/226 12147
/proc/meminfo: memFree=28071348/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=1594644 CPUtime=8.2 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 334498 0 0 0 554 266 0 0 16 0 8 0 622651756 1632915456 267105 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 398661 267105 364 106 0 393632 0
[pid=12139/tid=12140] ppid=12137 vsize=1594644 CPUtime=1.01 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 42691 0 0 0 69 32 0 0 16 0 8 0 622651756 1632915456 267105 33554432000 4194304 4627427 140735030291856 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=1594644 CPUtime=1.02 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 39755 0 0 0 69 33 0 0 16 0 8 0 622651756 1632915456 267105 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=1594644 CPUtime=0.97 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 40759 0 0 0 65 32 0 0 16 0 8 0 622651756 1632915456 267106 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=1594644 CPUtime=1.02 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 43931 0 0 0 69 33 0 0 16 0 8 0 622651756 1632915456 267106 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=1594644 CPUtime=1.02 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 42686 0 0 0 68 34 0 0 16 0 8 0 622651756 1632915456 267106 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=1594644 CPUtime=1.03 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 42017 0 0 0 70 33 0 0 16 0 8 0 622651756 1632915456 267106 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=1594644 CPUtime=1.01 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 43177 0 0 0 68 33 0 0 16 0 8 0 622651756 1632915456 267106 33554432000 4194304 4627427 140735030291856 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 1594644

[startup+3.10071 s]
/proc/loadavg: 7.52 7.65 6.86 12/226 12149
/proc/meminfo: memFree=27814504/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=1604864 CPUtime=21 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 345675 0 0 0 1832 268 0 0 17 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 401216 278279 367 106 0 396187 0
[pid=12139/tid=12140] ppid=12137 vsize=1604864 CPUtime=2.62 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 44648 0 0 0 229 33 0 0 17 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=1604864 CPUtime=2.62 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 40194 0 0 0 229 33 0 0 17 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=1604864 CPUtime=2.57 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 42128 0 0 0 225 32 0 0 17 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4299724 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=1604864 CPUtime=2.62 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 45902 0 0 0 228 34 0 0 18 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=1604864 CPUtime=2.61 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 44644 0 0 0 227 34 0 0 18 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4238512 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=1604864 CPUtime=2.63 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 43044 0 0 0 230 33 0 0 17 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4238445 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=1604864 CPUtime=2.61 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 43583 0 0 0 228 33 0 0 17 0 8 0 622651756 1643380736 278279 33554432000 4194304 4627427 140735030291856 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 21
Current children cumulated vsize (KiB) 1604864

[startup+6.30117 s]
/proc/loadavg: 7.52 7.65 6.86 9/226 12149
/proc/meminfo: memFree=27771236/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=1637680 CPUtime=46.58 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 346824 0 0 0 4390 268 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 409420 278780 367 106 0 404391 0
[pid=12139/tid=12140] ppid=12137 vsize=1637680 CPUtime=5.82 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 44650 0 0 0 549 33 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=1637680 CPUtime=5.82 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 40195 0 0 0 549 33 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=1637680 CPUtime=5.77 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 42128 0 0 0 545 32 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=1637680 CPUtime=5.8 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 45903 0 0 0 546 34 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=1637680 CPUtime=5.81 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 44646 0 0 0 547 34 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=1637680 CPUtime=5.83 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 43044 0 0 0 550 33 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=1637680 CPUtime=5.81 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 44726 0 0 0 548 33 0 0 25 0 8 0 622651756 1676984320 278780 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0

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

[pid=12139/tid=12142] ppid=12137 vsize=5072680 CPUtime=50.38 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 140897 0 0 0 4975 63 0 0 25 0 8 0 622651756 5194424320 858541 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=5072680 CPUtime=50.04 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 141541 0 0 0 4940 64 0 0 25 0 8 0 622651756 5194424320 858541 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=5072680 CPUtime=50.46 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 132072 0 0 0 4985 61 0 0 25 0 8 0 622651756 5194424320 858541 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=5072680 CPUtime=50.44 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 144567 0 0 0 4974 70 0 0 25 0 8 0 622651756 5194424320 858542 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=5072680 CPUtime=50.6 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 49903 0 0 0 5025 35 0 0 25 0 8 0 622651756 5194424320 858542 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 403.14
Current children cumulated vsize (KiB) 5072680

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

[startup+76.7004 s]
/proc/loadavg: 7.98 7.75 6.95 9/226 12149
/proc/meminfo: memFree=24934044/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=5339456 CPUtime=607.58 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 1162169 0 0 0 60235 523 0 0 25 0 8 0 622651756 5467602944 993697 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 1334864 993699 386 106 0 1329835 0
[pid=12139/tid=12140] ppid=12137 vsize=5339456 CPUtime=75.98 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 148669 0 0 0 7532 66 0 0 25 0 8 0 622651756 5467602944 993700 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=5339456 CPUtime=75.95 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 154795 0 0 0 7525 70 0 0 25 0 8 0 622651756 5467602944 993700 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=5339456 CPUtime=75.98 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 157176 0 0 0 7532 66 0 0 25 0 8 0 622651756 5467602944 993701 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=5339456 CPUtime=75.48 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 152307 0 0 0 7481 67 0 0 25 0 8 0 622651756 5467602944 993702 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=5339456 CPUtime=76.05 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 157860 0 0 0 7539 66 0 0 25 0 8 0 622651756 5467602944 993704 33554432000 4194304 4627427 140735030291856 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=5339456 CPUtime=75.84 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 154757 0 0 0 7512 72 0 0 25 0 8 0 622651756 5467602944 993706 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321614 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=5339456 CPUtime=76.2 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 87085 0 0 0 7575 45 0 0 25 0 8 0 622651756 5467602944 993706 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322525 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 607.58
Current children cumulated vsize (KiB) 5339456

[startup+89.5013 s]
/proc/loadavg: 7.98 7.76 6.97 9/226 12151
/proc/meminfo: memFree=24765516/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=5407860 CPUtime=709.89 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 1198891 0 0 0 70457 532 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321453 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 1351965 1030374 386 106 0 1346936 0
[pid=12139/tid=12140] ppid=12137 vsize=5407860 CPUtime=88.79 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 153505 0 0 0 8811 68 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=5407860 CPUtime=88.75 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 159200 0 0 0 8804 71 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322497 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=5407860 CPUtime=88.78 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 162246 0 0 0 8811 67 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=5407860 CPUtime=88.2 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 157742 0 0 0 8751 69 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=5407860 CPUtime=88.86 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 162673 0 0 0 8818 68 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321681 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=5407860 CPUtime=88.64 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 158471 0 0 0 8791 73 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=5407860 CPUtime=88.99 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 90553 0 0 0 8854 45 0 0 25 0 8 0 622651756 5537648640 1030374 33554432000 4194304 4627427 140735030291856 18446744073709551615 4334192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 709.89
Current children cumulated vsize (KiB) 5407860

[startup+95.9012 s]
/proc/loadavg: 7.98 7.76 6.97 9/226 12151
/proc/meminfo: memFree=24797012/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=5312736 CPUtime=761.04 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 1221830 0 0 0 75567 537 0 0 25 0 8 0 622651756 5440241664 1022088 33554432000 4194304 4627427 140735030291856 18446744073709551615 4276687 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 1328184 1022088 387 106 0 1323155 0
[pid=12139/tid=12140] ppid=12137 vsize=5312736 CPUtime=95.19 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 155823 0 0 0 9450 69 0 0 25 0 8 0 622651756 5440241664 1022088 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=5312736 CPUtime=95.15 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 161503 0 0 0 9444 71 0 0 25 0 8 0 622651756 5440241664 1022088 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321876 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=5312736 CPUtime=95.18 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 163629 0 0 0 9451 67 0 0 25 0 8 0 622651756 5440241664 1022088 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=5312736 CPUtime=94.55 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 160637 0 0 0 9386 69 0 0 25 0 8 0 622651756 5440241664 1022088 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=5312736 CPUtime=95.25 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 170355 0 0 0 9456 69 0 0 25 0 8 0 622651756 5440241664 1022090 33554432000 4194304 4627427 140735030291856 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=5312736 CPUtime=95.04 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 160806 0 0 0 9430 74 0 0 25 0 8 0 622651756 5440241664 1022090 33554432000 4194304 4627427 140735030291856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=5312736 CPUtime=95.4 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 92476 0 0 0 9494 46 0 0 25 0 8 0 622651756 5440241664 1022090 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 761.04
Current children cumulated vsize (KiB) 5312736

[startup+99.1006 s]
/proc/loadavg: 7.99 7.77 6.98 9/226 12151
/proc/meminfo: memFree=24762292/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=5212884 CPUtime=786.62 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 1234181 0 0 0 78121 541 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321691 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 1303221 1001630 387 106 0 1298192 0
[pid=12139/tid=12140] ppid=12137 vsize=5212884 CPUtime=98.39 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 156569 0 0 0 9770 69 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=5212884 CPUtime=98.36 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 167149 0 0 0 9763 73 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322497 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=5212884 CPUtime=98.37 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 164588 0 0 0 9770 67 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=5212884 CPUtime=97.73 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 161955 0 0 0 9703 70 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322369 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=5212884 CPUtime=98.46 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 171501 0 0 0 9776 70 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322529 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=5212884 CPUtime=98.23 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 161966 0 0 0 9749 74 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=5212884 CPUtime=98.59 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 93510 0 0 0 9813 46 0 0 25 0 8 0 622651756 5337993216 1001630 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 786.62
Current children cumulated vsize (KiB) 5212884

[startup+99.9005 s]
/proc/loadavg: 7.99 7.77 6.98 9/226 12151
/proc/meminfo: memFree=24762292/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=5213060 CPUtime=793.01 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 1236315 0 0 0 78760 541 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322497 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 1303265 1003764 387 106 0 1298236 0
[pid=12139/tid=12140] ppid=12137 vsize=5213060 CPUtime=99.18 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 156821 0 0 0 9849 69 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322529 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=5213060 CPUtime=99.15 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 167529 0 0 0 9842 73 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=5213060 CPUtime=99.17 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 164797 0 0 0 9850 67 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321703 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=5213060 CPUtime=98.53 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 162348 0 0 0 9783 70 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322497 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=5213060 CPUtime=99.26 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 171737 0 0 0 9856 70 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=5213060 CPUtime=99.03 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 162245 0 0 0 9829 74 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=5213060 CPUtime=99.39 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 93779 0 0 0 9893 46 0 0 25 0 8 0 622651756 5338173440 1003764 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321453 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 793.01
Current children cumulated vsize (KiB) 5213060

[startup+100.3 s]
/proc/loadavg: 7.99 7.77 6.98 9/226 12151
/proc/meminfo: memFree=24865588/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=5213060 CPUtime=796.21 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4202496 1237321 0 0 0 79079 542 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 1303265 1004770 387 106 0 1298236 0
[pid=12139/tid=12140] ppid=12137 vsize=5213060 CPUtime=99.58 cores=0-7
/proc/12139/task/12140/stat : 12140 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 156925 0 0 0 9889 69 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12139/tid=12141] ppid=12137 vsize=5213060 CPUtime=99.55 cores=0-7
/proc/12139/task/12141/stat : 12141 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 167698 0 0 0 9882 73 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12139/tid=12142] ppid=12137 vsize=5213060 CPUtime=99.57 cores=0-7
/proc/12139/task/12142/stat : 12142 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 164949 0 0 0 9890 67 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12139/tid=12143] ppid=12137 vsize=5213060 CPUtime=98.92 cores=0-7
/proc/12139/task/12143/stat : 12143 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 162533 0 0 0 9822 70 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12139/tid=12144] ppid=12137 vsize=5213060 CPUtime=99.66 cores=0-7
/proc/12139/task/12144/stat : 12144 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 171856 0 0 0 9896 70 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4322160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12139/tid=12145] ppid=12137 vsize=5213060 CPUtime=99.43 cores=0-7
/proc/12139/task/12145/stat : 12145 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 162319 0 0 0 9869 74 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12139/tid=12146] ppid=12137 vsize=5213060 CPUtime=99.79 cores=0-7
/proc/12139/task/12146/stat : 12146 (strangenight2-m) R 12137 12139 11813 0 -1 4202560 93922 0 0 0 9933 46 0 0 25 0 8 0 622651756 5338173440 1004770 33554432000 4194304 4627427 140735030291856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 796.21
Current children cumulated vsize (KiB) 5213060

[startup+100.5 s]
/proc/loadavg: 7.99 7.77 6.98 9/226 12151
/proc/meminfo: memFree=24865588/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=0 CPUtime=797.38 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4203524 1237559 0 0 0 79190 548 0 0 25 0 1 0 622651756 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 797.38
Current children cumulated vsize (KiB) 0

[startup+100.6 s]
/proc/loadavg: 7.99 7.77 6.98 9/226 12151
/proc/meminfo: memFree=24865588/32951124 swapFree=67103364/67111528
[pid=12139] ppid=12137 vsize=0 CPUtime=797.48 cores=0-7
/proc/12139/stat : 12139 (strangenight2-m) R 12137 12139 11813 0 -1 4203524 1237559 0 0 0 79190 558 0 0 25 0 1 0 622651756 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 797.48
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 100.662
CPU time (s): 797.546
CPU user time (s): 791.904
CPU system time (s): 5.64214
CPU usage (%): 792.305
Max. virtual memory (cumulated for all children) (KiB): 5408036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 791.904
system time used= 5.64214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1237559
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= 319668
involuntary context switches= 3303

runsolver used 0.181972 second user time and 0.475927 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-02 10:16:51
IDJOB=3321135
IDBENCH=82444
IDSOLVER=1709
FILE ID=node118/3321135-1304324210
RUNJOBID= node118-1304322187-11827
PBS_JOBID= 13176808
Free space on /tmp= 73344 MiB

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

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

MD5SUM BENCH= a78f49949ed32c6f8eea9d5e428c909d
RANDOM SEED=492373744

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28886124 kB
Buffers:        489308 kB
Cached:        1769984 kB
SwapCached:       2876 kB
Active:        1719872 kB
Inactive:      1976224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28886124 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           21800 kB
Writeback:           0 kB
AnonPages:     1435800 kB
Mapped:          18252 kB
Slab:           296252 kB
PageTables:      12600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21501876 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= 73340 MiB
End job on node118 at 2011-05-02 10:18:32