Trace number 3321117

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 352.351 44.2931

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
MD5SUM17407fc59aa2b679b7792ae0656704b9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.4647
Satisfiable
(Un)Satisfiability was proved
Number of variables66084
Number of clauses1060536
Sum of the clauses size2420856
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21023120
Number of clauses of size 32880
Number of clauses of size 413320
Number of clauses of size 55760
Number of clauses of size over 514760

Solver Data 

0.00/0.00	c Outputting solution to console
0.09/0.03	c Using 8 threads
0.09/0.03	c This is CryptoMiniSat 3.0.0
0.09/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.09/0.03	c Reading file 'HOME/instance-3321117-1304323889.cnf'
0.09/0.03	c -- header says num vars:          66084
0.09/0.03	c -- header says num clauses:     1060536
4.16/0.71	c -- clauses added:            0 learnts,      1060536 normals,            0 xors
4.16/0.71	c -- vars added      66084
4.16/0.71	c Parsing time:  0.31 s
4.16/0.71	c  N st     0         0     66084     25002    661876         0   1572305         0   no data   no data
7.40/1.18	c asymm  cl-useful: 279/802/20688 lits-rem:9991 time: 0.46
77.73/9.92	c Flit:   281 Blit:   9075 bXBeca:    0 bXProp:  515 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T:  8.73
77.73/9.94	c Cleaning up after failed var search:     0.02 s 
77.73/9.96	c Replacing      515 vars Replaced    29599 lits Time:     0.02 s 
77.73/9.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.46/10.01	c bin-w-bin subsume rem          774 bins  time:  0.03 s
78.46/10.08	c subs with bin:       29  lits-rem:       151  v-fix:    0  time:  0.07 s
90.46/11.53	c Subs w/ non-existent bins:     43 l-rem:    537 v-fix:   419 done:  25334 time:  1.44 s
91.25/11.69	c Removed useless bin:   11600  fixed:     0  props:  20.00M  time:  0.16 s
92.05/11.79	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.10 s
92.85/11.80	c Finding binary XORs  T:     0.01 s  found:     197
92.85/11.82	c Replacing      197 vars Replaced    15767 lits Time:     0.02 s 
92.85/11.84	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
92.85/11.84	c calculated reachability. Time: 0.00
92.85/11.84	c Calc default polars -  time:   0.01 s pos:    1149 undec:   41221 neg:   23714
92.85/11.84	c =========================================================================================
92.85/11.84	c types(t): F = full restart, N = normal restart
92.85/11.84	c types(t): S = simplification begin/end, E = solution found
92.85/11.84	c restart types(rt): st = static, dy = dynamic
92.85/11.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
92.85/11.84	c  B st     0         0     24869     15464    304210         0    738545         0   no data   no data
136.01/17.26	c  N dy    12      4031     24861     15464    304281      3914    738545   2506152     37.27     40.45
182.43/23.06	c  N dy    28      9660     24713     15464    305460      6961    738545   3386513     30.08     32.15
222.33/28.00	c  N dy    51     13796     24397     15254    298786      6776    720758   2240494     29.68     31.96
260.69/32.87	c  N dy    73     17860     24339     15254    298836     10752    720758   4321563     31.90     59.82
295.86/37.22	c  N dy    85     22072     24130     15134    296155      9272    712775   2104544     30.02     33.79
320.64/40.32	c Finding binary XORs  T:     0.01 s  found:     134
321.44/40.47	c  F st    92     25000     23833     15016    292349     11888    702103   3151303     28.96   no data
323.09/40.64	c Replacing      134 vars Replaced    22586 lits Time:     0.15 s 
333.42/41.97	c  N st    95     26188     23697     15012    292049      6636    701541    416345     28.96   no data
351.81/44.26	c Following stats are for *FIRST FINISHED THREAD ONLY*
351.81/44.26	c num threads              : 8          
351.81/44.26	c restarts                 : 98         
351.81/44.26	c dynamic restarts         : 86         
351.81/44.26	c static restarts          : 12         
351.81/44.26	c full restarts            : 1          
351.81/44.26	c total simplify time      : 0.45       
351.81/44.26	c learnts DL2              : 0          
351.81/44.26	c learnts size 2           : 668291     
351.81/44.26	c learnts size 1           : 42359       (64.10     % of vars)
351.81/44.26	c filedLit time            : 0.00        (0.00      % time)
351.81/44.26	c v-elim SatELite          : 0           (0.00      % vars)
351.81/44.26	c SatELite time            : 0.00        (0.00      % time)
351.81/44.26	c v-elim xor               : 0           (0.00      % vars)
351.81/44.26	c xor elim time            : 0.00        (0.00      % time)
351.81/44.26	c num binary xor trees     : 957        
351.81/44.26	c binxor trees' crown      : 1034        (1.08      leafs/tree)
351.81/44.26	c bin xor find time        : 0.06       
351.81/44.26	c OTF clause improved      : 260         (0.01      clauses/conflict)
351.81/44.26	c OTF impr. size diff      : 544         (2.09       lits/clause)
351.81/44.26	c OTF cl watch-shrink      : 26510       (0.79      clauses/conflict)
351.81/44.26	c OTF cl watch-sh-lit      : 1497318     (56.48      lits/clause)
351.81/44.26	c tried to recurMin cls    : 24058       (72.00      % of conflicts)
351.81/44.26	c updated cache            : 34352       (1.43       lits/tried recurMin)
351.81/44.26	c unit cls recevied        : 2412        (5.69      % of units)
351.81/44.26	c unit cls sent            : 31724       (74.89     % of units)
351.81/44.26	c bin cls recevied         : 4049       
351.81/44.26	c bin cls sent             : 1477       
351.81/44.26	c clauses over max glue    : 0           (0.00      % of all clauses)
351.81/44.26	c conflicts                : 33416       (762.74    / sec)
351.81/44.26	c decisions                : 313757      (1.17      % random)
351.81/44.26	c bogo-props               : 772722249   (17637897.05 / sec)
351.81/44.26	c conflict literals        : 15581251    (29.94     % deleted)
351.81/44.26	c Memory used              : 913.93      MB
351.81/44.26	c single-thread CPU time   : 43.81       s
351.81/44.26	c all-threads sum CPU time : 350.48      s
351.81/44.26	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-3321117-1304323889/watcher-3321117-1304323889 -o /tmp/evaluation-result-3321117-1304323889/solver-3321117-1304323889 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321117-1304323889.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: 5.85 7.47 6.55 1/240 26933
/proc/meminfo: memFree=28703188/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 413 0 0 0 1 0 0 0 22 0 8 0 622619596 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734322 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 23047 352 299 106 0 18018 0
[pid=26933/tid=26934] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734316 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 260917191734 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734322 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734322 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0263209 s]
/proc/loadavg: 5.85 7.47 6.55 1/240 26933
/proc/meminfo: memFree=28703188/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 413 0 0 0 9 0 0 0 22 0 8 0 622619596 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 23047 352 299 106 0 18018 0
[pid=26933/tid=26934] ppid=26931 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734316 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734316 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734316 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734322 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734322 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=92188 CPUtime=0 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622619597 94400512 352 33554432000 4194304 4627427 140735445609408 18446744073709551615 47976229734322 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92188

[startup+0.100362 s]
/proc/loadavg: 5.85 7.47 6.55 1/240 26933
/proc/meminfo: memFree=28703188/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=521184 CPUtime=0.57 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) S 26931 26933 26751 0 -1 4202496 19062 0 0 0 51 6 0 0 17 0 8 0 622619596 533692416 15123 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 130376 15124 341 106 0 125347 0
[pid=26933/tid=26934] ppid=26931 vsize=521504 CPUtime=0.08 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 2289 0 0 0 7 1 0 0 17 0 8 0 622619597 534020096 15124 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=521504 CPUtime=0.04 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 2304 0 0 0 4 0 0 0 17 0 8 0 622619597 534020096 15124 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=521504 CPUtime=0.06 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 2631 0 0 0 6 0 0 0 17 0 8 0 622619597 534020096 15124 33554432000 4194304 4627427 140735445609408 18446744073709551615 4530562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=521504 CPUtime=0.06 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 2315 0 0 0 6 0 0 0 17 0 8 0 622619597 534020096 15124 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905451946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=521824 CPUtime=0.06 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 2139 0 0 0 6 0 0 0 17 0 8 0 622619597 534347776 15125 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=521824 CPUtime=0.07 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 2193 0 0 0 7 0 0 0 17 0 8 0 622619597 534347776 15125 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=521824 CPUtime=0.05 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 2259 0 0 0 4 1 0 0 17 0 8 0 622619597 534347776 15125 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 521184

[startup+0.303326 s]
/proc/loadavg: 5.85 7.47 6.55 1/240 26933
/proc/meminfo: memFree=28703188/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=689464 CPUtime=1.85 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) S 26931 26933 26751 0 -1 4202496 41491 0 0 0 130 55 0 0 17 0 8 0 622619596 706011136 33301 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 172366 33301 341 106 0 167337 0
[pid=26933/tid=26934] ppid=26931 vsize=689464 CPUtime=0.24 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 4826 0 0 0 17 7 0 0 17 0 8 0 622619597 706011136 33309 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=689464 CPUtime=0.2 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 4846 0 0 0 14 6 0 0 17 0 8 0 622619597 706011136 33322 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=689464 CPUtime=0.22 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) D 26931 26933 26751 0 -1 4202560 5523 0 0 0 16 6 0 0 17 0 8 0 622619597 706011136 33329 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=689464 CPUtime=0.22 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 5275 0 0 0 17 5 0 0 17 0 8 0 622619597 706011136 33340 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=689464 CPUtime=0.22 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 5230 0 0 0 16 6 0 0 17 0 8 0 622619597 706011136 33353 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=689464 CPUtime=0.23 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 5176 0 0 0 17 6 0 0 17 0 8 0 622619597 706011136 33359 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=689464 CPUtime=0.21 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 4859 0 0 0 13 8 0 0 17 0 8 0 622619597 706011136 33373 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 689464

[startup+0.701202 s]
/proc/loadavg: 5.85 7.47 6.55 1/240 26933
/proc/meminfo: memFree=28703188/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=754692 CPUtime=4.16 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) S 26931 26933 26751 0 -1 4202496 87954 0 0 0 273 143 0 0 17 0 8 0 622619596 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 188673 71338 345 106 0 183644 0
[pid=26933/tid=26934] ppid=26931 vsize=754692 CPUtime=0.53 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 10052 0 0 0 35 18 0 0 17 0 8 0 622619597 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=754692 CPUtime=0.48 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 10589 0 0 0 31 17 0 0 16 0 8 0 622619597 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=754692 CPUtime=0.51 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 11355 0 0 0 33 18 0 0 17 0 8 0 622619597 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=754692 CPUtime=0.52 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 11249 0 0 0 37 15 0 0 17 0 8 0 622619597 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=754692 CPUtime=0.51 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11419 0 0 0 33 18 0 0 17 0 8 0 622619597 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905062767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=754692 CPUtime=0.51 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 11067 0 0 0 35 16 0 0 16 0 8 0 622619597 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=754692 CPUtime=0.51 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) S 26931 26933 26751 0 -1 4202560 10734 0 0 0 32 19 0 0 17 0 8 0 622619597 772804608 71338 33554432000 4194304 4627427 140735445609408 18446744073709551615 260905499118 0 0 4096 2 18446604462099132608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 754692

[startup+1.50106 s]
/proc/loadavg: 5.85 7.47 6.55 9/248 26941
/proc/meminfo: memFree=28411724/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=759120 CPUtime=10.53 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 92576 0 0 0 907 146 0 0 17 0 8 0 622619596 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308438 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 189780 75960 367 106 0 184751 0
[pid=26933/tid=26934] ppid=26931 vsize=759120 CPUtime=1.32 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 10508 0 0 0 114 18 0 0 17 0 8 0 622619597 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=759120 CPUtime=1.28 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11189 0 0 0 110 18 0 0 17 0 8 0 622619597 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=759120 CPUtime=1.31 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11660 0 0 0 113 18 0 0 18 0 8 0 622619597 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=759120 CPUtime=1.32 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11636 0 0 0 117 15 0 0 18 0 8 0 622619597 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=759120 CPUtime=1.31 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11880 0 0 0 112 19 0 0 18 0 8 0 622619597 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=759120 CPUtime=1.31 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11766 0 0 0 115 16 0 0 17 0 8 0 622619597 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308942 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=759120 CPUtime=1.31 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11760 0 0 0 111 20 0 0 17 0 8 0 622619597 777338880 75960 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (KiB) 759120

[startup+3.10077 s]
/proc/loadavg: 5.85 7.47 6.55 10/248 26941
/proc/meminfo: memFree=28398828/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=759388 CPUtime=23.32 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 93856 0 0 0 2186 146 0 0 20 0 8 0 622619596 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4299569 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 189847 77038 368 106 0 184818 0
[pid=26933/tid=26934] ppid=26931 vsize=759388 CPUtime=2.92 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 10510 0 0 0 274 18 0 0 20 0 8 0 622619597 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=759388 CPUtime=2.88 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11191 0 0 0 270 18 0 0 20 0 8 0 622619597 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=759388 CPUtime=2.91 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11670 0 0 0 273 18 0 0 20 0 8 0 622619597 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=759388 CPUtime=2.92 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11636 0 0 0 277 15 0 0 20 0 8 0 622619597 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=759388 CPUtime=2.9 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11888 0 0 0 271 19 0 0 20 0 8 0 622619597 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=759388 CPUtime=2.91 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11776 0 0 0 275 16 0 0 20 0 8 0 622619597 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=759388 CPUtime=2.9 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 13000 0 0 0 270 20 0 0 20 0 8 0 622619597 777613312 77038 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321764 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.32
Current children cumulated vsize (KiB) 759388

[startup+6.30118 s]
/proc/loadavg: 6.02 7.48 6.56 9/248 26941
/proc/meminfo: memFree=28390116/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=792604 CPUtime=48.89 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 96088 0 0 0 4742 147 0 0 25 0 8 0 622619596 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 198151 79203 368 106 0 193122 0
[pid=26933/tid=26934] ppid=26931 vsize=792604 CPUtime=6.12 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 10512 0 0 0 594 18 0 0 25 0 8 0 622619597 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=792604 CPUtime=6.08 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11196 0 0 0 590 18 0 0 25 0 8 0 622619597 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4238464 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=792604 CPUtime=6.11 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11674 0 0 0 593 18 0 0 25 0 8 0 622619597 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=792604 CPUtime=6.12 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11642 0 0 0 597 15 0 0 25 0 8 0 622619597 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=792604 CPUtime=6.08 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11892 0 0 0 589 19 0 0 25 0 8 0 622619597 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=792604 CPUtime=6.11 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 11784 0 0 0 595 16 0 0 25 0 8 0 622619597 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=792604 CPUtime=6.1 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 15198 0 0 0 589 21 0 0 25 0 8 0 622619597 811626496 79203 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0

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

/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 22466 0 0 0 2492 21 0 0 25 0 8 0 622619597 860925952 109920 33554432000 4194304 4627427 140735445609408 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=840748 CPUtime=25.31 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 21769 0 0 0 2512 19 0 0 25 0 8 0 622619597 860925952 109920 33554432000 4194304 4627427 140735445609408 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=840748 CPUtime=25.31 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26164 0 0 0 2507 24 0 0 25 0 8 0 622619597 860925952 109920 33554432000 4194304 4627427 140735445609408 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.34
Current children cumulated vsize (KiB) 840748

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

[startup+31.9095 s]
/proc/loadavg: 6.70 7.52 6.59 9/248 26942
/proc/meminfo: memFree=28211496/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=908764 CPUtime=253.56 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 204668 0 0 0 25183 173 0 0 25 0 8 0 622619596 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 227191 124041 387 106 0 222162 0
[pid=26933/tid=26934] ppid=26931 vsize=908764 CPUtime=31.72 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 22655 0 0 0 3151 21 0 0 25 0 8 0 622619597 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=908764 CPUtime=31.69 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 24813 0 0 0 3148 21 0 0 25 0 8 0 622619597 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=908764 CPUtime=31.72 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26150 0 0 0 3151 21 0 0 25 0 8 0 622619597 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=908764 CPUtime=31.72 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 25522 0 0 0 3154 18 0 0 25 0 8 0 622619597 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4322605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=908764 CPUtime=31.49 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 25736 0 0 0 3128 21 0 0 25 0 8 0 622619597 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=908764 CPUtime=31.71 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 25081 0 0 0 3152 19 0 0 25 0 8 0 622619597 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=908764 CPUtime=31.71 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29111 0 0 0 3146 25 0 0 25 0 8 0 622619597 930574336 124041 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321463 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 253.56
Current children cumulated vsize (KiB) 908764

[startup+38.3003 s]
/proc/loadavg: 6.80 7.53 6.60 9/248 26942
/proc/meminfo: memFree=28155032/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=1078328 CPUtime=304.64 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 224333 0 0 0 30285 179 0 0 25 0 8 0 622619596 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 269582 132768 388 106 0 264553 0
[pid=26933/tid=26934] ppid=26931 vsize=1078328 CPUtime=38.12 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 23836 0 0 0 3790 22 0 0 25 0 8 0 622619597 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=1078328 CPUtime=38.07 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26993 0 0 0 3786 21 0 0 25 0 8 0 622619597 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321697 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=1078328 CPUtime=38.11 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 28851 0 0 0 3789 22 0 0 25 0 8 0 622619597 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=1078328 CPUtime=38.12 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 28035 0 0 0 3792 20 0 0 25 0 8 0 622619597 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4338471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=1078328 CPUtime=37.84 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 28528 0 0 0 3762 22 0 0 25 0 8 0 622619597 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=1078328 CPUtime=38.11 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 28019 0 0 0 3791 20 0 0 25 0 8 0 622619597 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=1078328 CPUtime=38.11 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 31194 0 0 0 3785 26 0 0 25 0 8 0 622619597 1104207872 132768 33554432000 4194304 4627427 140735445609408 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 304.64
Current children cumulated vsize (KiB) 1078328

[startup+41.5007 s]
/proc/loadavg: 6.90 7.53 6.61 9/248 26942
/proc/meminfo: memFree=28177592/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=1004216 CPUtime=330.23 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 231393 0 0 0 32841 182 0 0 25 0 8 0 622619596 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 251054 133399 388 106 0 246025 0
[pid=26933/tid=26934] ppid=26931 vsize=1004216 CPUtime=41.32 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 25527 0 0 0 4110 22 0 0 25 0 8 0 622619597 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=1004216 CPUtime=41.27 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26993 0 0 0 4106 21 0 0 25 0 8 0 622619597 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=1004216 CPUtime=41.31 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 28971 0 0 0 4109 22 0 0 25 0 8 0 622619597 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=1004216 CPUtime=41.32 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29487 0 0 0 4112 20 0 0 25 0 8 0 622619597 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=1004216 CPUtime=41.02 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29672 0 0 0 4079 23 0 0 25 0 8 0 622619597 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4333154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=1004216 CPUtime=41.3 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29184 0 0 0 4110 20 0 0 25 0 8 0 622619597 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=1004216 CPUtime=41.3 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 31941 0 0 0 4104 26 0 0 25 0 8 0 622619597 1028317184 133399 33554432000 4194304 4627427 140735445609408 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 330.23
Current children cumulated vsize (KiB) 1004216

[startup+43.1004 s]
/proc/loadavg: 6.90 7.53 6.61 9/248 26942
/proc/meminfo: memFree=28186520/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=935864 CPUtime=343.01 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 235156 0 0 0 34118 183 0 0 25 0 8 0 622619596 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 233966 130412 388 106 0 228937 0
[pid=26933/tid=26934] ppid=26931 vsize=935864 CPUtime=42.92 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26062 0 0 0 4270 22 0 0 25 0 8 0 622619597 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4352156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=935864 CPUtime=42.87 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 27450 0 0 0 4266 21 0 0 25 0 8 0 622619597 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4329707 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=935864 CPUtime=42.91 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29036 0 0 0 4269 22 0 0 25 0 8 0 622619597 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=935864 CPUtime=42.92 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29908 0 0 0 4272 20 0 0 25 0 8 0 622619597 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=935864 CPUtime=42.6 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30138 0 0 0 4237 23 0 0 25 0 8 0 622619597 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308942 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=935864 CPUtime=42.91 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29806 0 0 0 4270 21 0 0 25 0 8 0 622619597 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=935864 CPUtime=42.9 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 32211 0 0 0 4264 26 0 0 25 0 8 0 622619597 958324736 130412 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 343.01
Current children cumulated vsize (KiB) 935864

[startup+43.9013 s]
/proc/loadavg: 6.90 7.53 6.61 9/248 26942
/proc/meminfo: memFree=28177964/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=935864 CPUtime=349.47 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 236783 0 0 0 34764 183 0 0 25 0 8 0 622619596 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 233966 132039 388 106 0 228937 0
[pid=26933/tid=26934] ppid=26931 vsize=935864 CPUtime=43.72 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26296 0 0 0 4350 22 0 0 25 0 8 0 622619597 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=935864 CPUtime=43.69 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 27769 0 0 0 4347 22 0 0 25 0 8 0 622619597 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=935864 CPUtime=43.72 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29036 0 0 0 4350 22 0 0 25 0 8 0 622619597 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=935864 CPUtime=43.72 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30086 0 0 0 4352 20 0 0 25 0 8 0 622619597 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=935864 CPUtime=43.4 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30312 0 0 0 4317 23 0 0 25 0 8 0 622619597 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=935864 CPUtime=43.72 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30052 0 0 0 4351 21 0 0 25 0 8 0 622619597 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=935864 CPUtime=43.71 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 32364 0 0 0 4345 26 0 0 25 0 8 0 622619597 958324736 132039 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 349.47
Current children cumulated vsize (KiB) 935864

[startup+44.1013 s]
/proc/loadavg: 6.90 7.53 6.61 9/248 26942
/proc/meminfo: memFree=28177964/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=935864 CPUtime=351.01 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 237210 0 0 0 34917 184 0 0 25 0 8 0 622619596 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321703 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 233966 132466 388 106 0 228937 0
[pid=26933/tid=26934] ppid=26931 vsize=935864 CPUtime=43.92 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26336 0 0 0 4370 22 0 0 25 0 8 0 622619597 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=935864 CPUtime=43.88 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 27798 0 0 0 4366 22 0 0 25 0 8 0 622619597 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4332740 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=935864 CPUtime=43.91 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29036 0 0 0 4369 22 0 0 25 0 8 0 622619597 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=935864 CPUtime=43.93 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30121 0 0 0 4372 21 0 0 25 0 8 0 622619597 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=935864 CPUtime=43.59 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30386 0 0 0 4336 23 0 0 25 0 8 0 622619597 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321876 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=935864 CPUtime=43.91 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30157 0 0 0 4370 21 0 0 25 0 8 0 622619597 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=935864 CPUtime=43.9 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 32435 0 0 0 4364 26 0 0 25 0 8 0 622619597 958324736 132466 33554432000 4194304 4627427 140735445609408 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 351.01
Current children cumulated vsize (KiB) 935864

[startup+44.2012 s]
/proc/loadavg: 6.90 7.53 6.61 9/248 26942
/proc/meminfo: memFree=28177964/32950928 swapFree=67054476/67111528
[pid=26933] ppid=26931 vsize=935864 CPUtime=351.81 cores=0-7
/proc/26933/stat : 26933 (strangenight2-m) R 26931 26933 26751 0 -1 4202496 237405 0 0 0 34997 184 0 0 25 0 8 0 622619596 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4330282 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26933/statm: 233966 132661 388 106 0 228937 0
[pid=26933/tid=26934] ppid=26931 vsize=935864 CPUtime=44.02 cores=0-7
/proc/26933/task/26934/stat : 26934 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 26360 0 0 0 4380 22 0 0 25 0 8 0 622619597 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26933/tid=26935] ppid=26931 vsize=935864 CPUtime=43.98 cores=0-7
/proc/26933/task/26935/stat : 26935 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 27804 0 0 0 4376 22 0 0 25 0 8 0 622619597 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26933/tid=26936] ppid=26931 vsize=935864 CPUtime=44.01 cores=0-7
/proc/26933/task/26936/stat : 26936 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 29036 0 0 0 4379 22 0 0 25 0 8 0 622619597 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26933/tid=26937] ppid=26931 vsize=935864 CPUtime=44.03 cores=0-7
/proc/26933/task/26937/stat : 26937 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30142 0 0 0 4382 21 0 0 25 0 8 0 622619597 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26933/tid=26938] ppid=26931 vsize=935864 CPUtime=43.69 cores=0-7
/proc/26933/task/26938/stat : 26938 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30433 0 0 0 4346 23 0 0 25 0 8 0 622619597 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26933/tid=26939] ppid=26931 vsize=935864 CPUtime=44.01 cores=0-7
/proc/26933/task/26939/stat : 26939 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 30212 0 0 0 4380 21 0 0 25 0 8 0 622619597 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26933/tid=26940] ppid=26931 vsize=935864 CPUtime=44 cores=0-7
/proc/26933/task/26940/stat : 26940 (strangenight2-m) R 26931 26933 26751 0 -1 4202560 32446 0 0 0 4374 26 0 0 25 0 8 0 622619597 958324736 132661 33554432000 4194304 4627427 140735445609408 18446744073709551615 4332961 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 351.81
Current children cumulated vsize (KiB) 935864

Child status: 20
Real time (s): 44.2931
CPU time (s): 352.351
CPU user time (s): 350.48
CPU system time (s): 1.87171
CPU usage (%): 795.499
Max. virtual memory (cumulated for all children) (KiB): 1235416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 350.48
system time used= 1.87172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237565
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= 213674
involuntary context switches= 1542

runsolver used 0.089986 second user time and 0.242963 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-02 10:11:29
IDJOB=3321117
IDBENCH=82410
IDSOLVER=1709
FILE ID=node116/3321117-1304323889
RUNJOBID= node116-1304322188-26765
PBS_JOBID= 13176810
Free space on /tmp= 73820 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321117-1304323889/watcher-3321117-1304323889 -o /tmp/evaluation-result-3321117-1304323889/solver-3321117-1304323889 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321117-1304323889.cnf

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

MD5SUM BENCH= 17407fc59aa2b679b7792ae0656704b9
RANDOM SEED=905978408

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28703468 kB
Buffers:       1056160 kB
Cached:        1525180 kB
SwapCached:       9836 kB
Active:        1666832 kB
Inactive:      2224920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28703468 kB
SwapTotal:    67111528 kB
SwapFree:     67054476 kB
Dirty:           23432 kB
Writeback:           0 kB
AnonPages:     1308728 kB
Mapped:          20260 kB
Slab:           279364 kB
PageTables:      13984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 34924488 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= 73816 MiB
End job on node116 at 2011-05-02 10:12:14