Trace number 3394220

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 335.252 42.1708

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.32/0.05	c Using 8 threads
0.32/0.05	c This is CryptoMiniSat 3.0.0
0.32/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.32/0.05	c Reading file 'HOME/instance-3394220-1306093580.cnf'
0.32/0.05	c -- header says num vars:          66084
0.32/0.05	c -- header says num clauses:     1060536
4.30/0.73	c -- clauses added:            0 learnts,      1060536 normals,            0 xors
4.30/0.73	c -- vars added      66084
4.30/0.73	c Parsing time:  0.29 s
4.30/0.73	c  N st     0         0     66084     25002    661876         0   1572305         0   no data   no data
7.58/1.16	c asymm  cl-useful: 279/802/20688 lits-rem:9991 time: 0.42
72.14/9.20	c Flit:   281 Blit:   9075 bXBeca:    0 bXProp:  515 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T:  8.03
72.14/9.22	c Cleaning up after failed var search:     0.02 s 
72.14/9.24	c Replacing      515 vars Replaced    29599 lits Time:     0.02 s 
72.14/9.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72.14/9.28	c bin-w-bin subsume rem          774 bins  time:  0.02 s
72.93/9.35	c subs with bin:       29  lits-rem:       151  v-fix:    0  time:  0.07 s
84.11/10.76	c Subs w/ non-existent bins:     43 l-rem:    537 v-fix:   419 done:  25334 time:  1.40 s
84.91/10.90	c Removed useless bin:   11600  fixed:     0  props:  20.00M  time:  0.14 s
85.77/11.00	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.10 s
86.62/11.01	c Finding binary XORs  T:     0.01 s  found:     197
86.62/11.03	c Replacing      197 vars Replaced    15767 lits Time:     0.02 s 
86.62/11.05	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
86.62/11.05	c calculated reachability. Time: 0.00
86.62/11.06	c Calc default polars -  time:   0.01 s pos:    1149 undec:   41221 neg:   23714
86.62/11.06	c =========================================================================================
86.62/11.06	c types(t): F = full restart, N = normal restart
86.62/11.06	c types(t): S = simplification begin/end, E = solution found
86.62/11.06	c restart types(rt): st = static, dy = dynamic
86.62/11.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
86.62/11.06	c  B st     0         0     24869     15464    304210         0    738545         0   no data   no data
126.43/16.06	c  N dy    12      4031     24861     15464    304281      3914    738545   2506152     37.27     40.45
160.77/20.31	c  N dy    34      8050     24716     15464    305430      5397    738545   2606249     42.04    109.06
195.90/24.73	c  N dy    50     12146     24700     15464    305496      5254    738545    986950     43.68     47.68
227.83/28.72	c  N dy    63     16362     24406     15263    299230      9344    721668   2746931     39.53     43.46
274.15/34.50	c  N dy    77     21489     24204     15263    299799      8873    721668   2016126     37.25     39.68
304.51/38.33	c  F st    83     25000     24149     15141    296361     12118    712058   3157191     34.79     22.18
307.69/38.75	c Finding binary XORs  T:     0.01 s  found:     132
310.09/39.08	c  N st    85     25625     23882     15010    292574     12362    702883   3185689     34.79   no data
334.84/42.14	c Following stats are for *FIRST FINISHED THREAD ONLY*
334.84/42.14	c num threads              : 8          
334.84/42.14	c restarts                 : 99         
334.84/42.14	c dynamic restarts         : 87         
334.84/42.14	c static restarts          : 12         
334.84/42.14	c full restarts            : 1          
334.84/42.14	c total simplify time      : 0.39       
334.84/42.14	c learnts DL2              : 0          
334.84/42.14	c learnts size 2           : 667683     
334.84/42.14	c learnts size 1           : 48506       (73.40     % of vars)
334.84/42.14	c filedLit time            : 0.00        (0.00      % time)
334.84/42.14	c v-elim SatELite          : 0           (0.00      % vars)
334.84/42.14	c SatELite time            : 0.00        (0.00      % time)
334.84/42.14	c v-elim xor               : 0           (0.00      % vars)
334.84/42.14	c xor elim time            : 0.00        (0.00      % time)
334.84/42.14	c num binary xor trees     : 940        
334.84/42.14	c binxor trees' crown      : 1016        (1.08      leafs/tree)
334.84/42.14	c bin xor find time        : 0.05       
334.84/42.14	c OTF clause improved      : 276         (0.01      clauses/conflict)
334.84/42.14	c OTF impr. size diff      : 849         (3.08       lits/clause)
334.84/42.14	c OTF cl watch-shrink      : 28724       (0.79      clauses/conflict)
334.84/42.14	c OTF cl watch-sh-lit      : 1522844     (53.02      lits/clause)
334.84/42.14	c tried to recurMin cls    : 26114       (72.04      % of conflicts)
334.84/42.14	c updated cache            : 34658       (1.33       lits/tried recurMin)
334.84/42.14	c unit cls recevied        : 2257        (4.65      % of units)
334.84/42.14	c unit cls sent            : 31643       (65.24     % of units)
334.84/42.14	c bin cls recevied         : 3811       
334.84/42.14	c bin cls sent             : 1424       
334.84/42.14	c clauses over max glue    : 0           (0.00      % of all clauses)
334.84/42.14	c conflicts                : 36247       (867.53    / sec)
334.84/42.14	c decisions                : 326559      (1.18      % random)
334.84/42.14	c bogo-props               : 811339663   (19418565.37 / sec)
334.84/42.14	c conflict literals        : 15756878    (28.92     % deleted)
334.84/42.14	c Memory used              : 969.96      MB
334.84/42.14	c single-thread CPU time   : 41.78       s
334.84/42.14	c all-threads sum CPU time : 333.20      s
334.84/42.14	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394220-1306093580/watcher-3394220-1306093580 -o /tmp/evaluation-result-3394220-1306093580/solver-3394220-1306093580 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394220-1306093580.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: 2.99 1.46 1.29 1/439 7898
/proc/meminfo: memFree=16410000/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=92144 CPUtime=0.04 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 411 0 0 0 4 0 0 0 22 0 8 0 720956862 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 23036 352 299 95 0 18018 0
[pid=7898/tid=7899] ppid=7896 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=92144 CPUtime=0 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=92144 CPUtime=0 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811496 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=92144 CPUtime=0 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811500 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811500 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0494621 s]
/proc/loadavg: 2.99 1.46 1.29 1/439 7898
/proc/meminfo: memFree=16410000/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=92144 CPUtime=0.32 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 411 0 0 0 32 0 0 0 22 0 8 0 720956862 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 23036 352 299 95 0 18018 0
[pid=7898/tid=7899] ppid=7896 vsize=92144 CPUtime=0.04 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811500 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=92144 CPUtime=0.04 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=92144 CPUtime=0 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=92144 CPUtime=0.04 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=92144 CPUtime=0.04 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=92144 CPUtime=0.04 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=92144 CPUtime=0.04 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 8 0 720956863 94355456 352 33554432000 4194304 4580107 140733746947696 18446744073709551615 47055647811506 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 92144

[startup+0.100663 s]
/proc/loadavg: 2.99 1.46 1.29 1/439 7898
/proc/meminfo: memFree=16410000/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=518900 CPUtime=0.66 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) D 7896 7898 7837 0 -1 4202496 16000 0 0 0 62 4 0 0 18 0 8 0 720956862 531353600 12939 33554432000 4194304 4580107 140733746947696 18446744073709551615 4307948 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 130494 13061 338 95 0 125476 0
[pid=7898/tid=7899] ppid=7896 vsize=520948 CPUtime=0.08 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) D 7896 7898 7837 0 -1 4202560 1901 0 0 0 8 0 0 0 18 0 8 0 720956863 533450752 13047 33554432000 4194304 4580107 140733746947696 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=518892 CPUtime=0.08 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 2062 0 0 0 8 0 0 0 18 0 8 0 720956863 531345408 13109 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=518892 CPUtime=0.03 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) S 7896 7898 7837 0 -1 4202560 2110 0 0 0 3 0 0 0 18 0 8 0 720956863 531345408 13112 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 18446604466600908864 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=518892 CPUtime=0.08 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 2038 0 0 0 8 0 0 0 18 0 8 0 720956863 531345408 13112 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=518892 CPUtime=0.08 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 2078 0 0 0 8 0 0 0 24 0 8 0 720956863 531345408 13112 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=518892 CPUtime=0.08 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) S 7896 7898 7837 0 -1 4202560 2331 0 0 0 8 0 0 0 18 0 8 0 720956863 531345408 13119 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 18446604466600908864 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=518892 CPUtime=0.08 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 2168 0 0 0 8 0 0 0 18 0 8 0 720956863 531345408 13134 33554432000 4194304 4580107 140733746947696 18446744073709551615 4252893 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 518900

[startup+0.303437 s]
/proc/loadavg: 2.99 1.46 1.29 1/439 7898
/proc/meminfo: memFree=16410000/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=622636 CPUtime=1.95 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 40684 0 0 0 141 54 0 0 17 0 8 0 720956862 637579264 32340 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594527777 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 155659 32344 338 95 0 150641 0
[pid=7898/tid=7899] ppid=7896 vsize=622636 CPUtime=0.24 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 4986 0 0 0 18 6 0 0 17 0 8 0 720956863 637579264 32349 33554432000 4194304 4580107 140733746947696 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=622636 CPUtime=0.23 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) S 7896 7898 7837 0 -1 4202560 4753 0 0 0 18 5 0 0 17 0 8 0 720956863 637579264 32351 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 18446604466600908864 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=622636 CPUtime=0.18 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 5151 0 0 0 12 6 0 0 17 0 8 0 720956863 637579264 32353 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=622636 CPUtime=0.25 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 4730 0 0 0 17 8 0 0 17 0 8 0 720956863 637579264 32353 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=622636 CPUtime=0.24 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 5260 0 0 0 18 6 0 0 17 0 8 0 720956863 637579264 32354 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=622636 CPUtime=0.24 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 5180 0 0 0 18 6 0 0 17 0 8 0 720956863 637579264 32354 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=622636 CPUtime=0.24 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 5098 0 0 0 18 6 0 0 17 0 8 0 720956863 637579264 32356 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 622636

[startup+0.700352 s]
/proc/loadavg: 2.99 1.46 1.29 1/439 7898
/proc/meminfo: memFree=16410000/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=690948 CPUtime=4.3 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 87378 0 0 0 274 156 0 0 17 0 8 0 720956862 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 172737 70520 345 95 0 167719 0
[pid=7898/tid=7899] ppid=7896 vsize=690948 CPUtime=0.54 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11006 0 0 0 34 20 0 0 17 0 8 0 720956863 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=690948 CPUtime=0.52 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 10101 0 0 0 34 18 0 0 17 0 8 0 720956863 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=690948 CPUtime=0.47 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11216 0 0 0 27 20 0 0 17 0 8 0 720956863 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=690948 CPUtime=0.54 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) S 7896 7898 7837 0 -1 4202560 10721 0 0 0 34 20 0 0 17 0 8 0 720956863 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 18446604466600908864 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=690948 CPUtime=0.53 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 10953 0 0 0 36 17 0 0 17 0 8 0 720956863 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=690948 CPUtime=0.55 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 10995 0 0 0 34 21 0 0 17 0 8 0 720956863 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=690948 CPUtime=0.55 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 10932 0 0 0 39 16 0 0 17 0 8 0 720956863 707530752 70520 33554432000 4194304 4580107 140733746947696 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 690948

[startup+1.50121 s]
/proc/loadavg: 2.99 1.49 1.30 9/447 7906
/proc/meminfo: memFree=16119776/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=692216 CPUtime=10.65 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 92377 0 0 0 902 163 0 0 17 0 8 0 720956862 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 173054 75519 360 95 0 168036 0
[pid=7898/tid=7899] ppid=7896 vsize=692216 CPUtime=1.34 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11429 0 0 0 114 20 0 0 17 0 8 0 720956863 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=692216 CPUtime=1.31 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 10734 0 0 0 112 19 0 0 17 0 8 0 720956863 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=692216 CPUtime=1.25 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11835 0 0 0 104 21 0 0 17 0 8 0 720956863 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=692216 CPUtime=1.33 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11317 0 0 0 112 21 0 0 17 0 8 0 720956863 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=692216 CPUtime=1.33 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11460 0 0 0 115 18 0 0 17 0 8 0 720956863 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=692216 CPUtime=1.34 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11724 0 0 0 112 22 0 0 17 0 8 0 720956863 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=692216 CPUtime=1.35 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11743 0 0 0 118 17 0 0 18 0 8 0 720956863 708829184 75519 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 692216

[startup+3.10093 s]
/proc/loadavg: 2.99 1.49 1.30 10/447 7906
/proc/meminfo: memFree=16106140/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=692492 CPUtime=23.43 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 93752 0 0 0 2180 163 0 0 20 0 8 0 720956862 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 173123 76693 361 95 0 168105 0
[pid=7898/tid=7899] ppid=7896 vsize=692492 CPUtime=2.94 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11439 0 0 0 274 20 0 0 20 0 8 0 720956863 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=692492 CPUtime=2.91 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 10743 0 0 0 272 19 0 0 20 0 8 0 720956863 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=692492 CPUtime=2.84 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11835 0 0 0 263 21 0 0 20 0 8 0 720956863 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=692492 CPUtime=2.93 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11319 0 0 0 272 21 0 0 20 0 8 0 720956863 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=692492 CPUtime=2.93 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11470 0 0 0 275 18 0 0 20 0 8 0 720956863 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=692492 CPUtime=2.94 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11734 0 0 0 272 22 0 0 20 0 8 0 720956863 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294659 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=692492 CPUtime=2.95 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 13067 0 0 0 278 17 0 0 20 0 8 0 720956863 709111808 76693 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.43
Current children cumulated vsize (KiB) 692492

[startup+6.30037 s]
/proc/loadavg: 2.99 1.49 1.30 9/447 7906
/proc/meminfo: memFree=16097000/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=726260 CPUtime=48.97 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 96198 0 0 0 4732 165 0 0 25 0 8 0 720956862 743690240 79039 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 181565 79039 361 95 0 176547 0
[pid=7898/tid=7899] ppid=7896 vsize=726260 CPUtime=6.14 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11448 0 0 0 594 20 0 0 25 0 8 0 720956863 743690240 79040 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=726260 CPUtime=6.11 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 10748 0 0 0 592 19 0 0 25 0 8 0 720956863 743690240 79040 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=726260 CPUtime=5.99 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11839 0 0 0 578 21 0 0 25 0 8 0 720956863 743690240 79040 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=726260 CPUtime=6.13 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11320 0 0 0 592 21 0 0 25 0 8 0 720956863 743690240 79040 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=726260 CPUtime=6.13 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11471 0 0 0 595 18 0 0 25 0 8 0 720956863 743690240 79040 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=726260 CPUtime=6.14 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 11740 0 0 0 592 22 0 0 25 0 8 0 720956863 743690240 79040 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=726260 CPUtime=6.15 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 15481 0 0 0 597 18 0 0 25 0 8 0 720956863 743690240 79040 33554432000 4194304 4580107 140733746947696 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 15002 0 0 0 1234 19 0 0 25 0 8 0 720956863 765546496 104455 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316823 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=747604 CPUtime=12.54 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 14585 0 0 0 1231 23 0 0 25 0 8 0 720956863 765546496 104455 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=747604 CPUtime=12.56 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 20842 0 0 0 1236 20 0 0 25 0 8 0 720956863 765546496 104455 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (KiB) 747604

[startup+25.501 s]
/proc/loadavg: 4.41 1.91 1.44 9/447 7906
/proc/meminfo: memFree=15968204/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=974176 CPUtime=202.28 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 187616 0 0 0 20040 188 0 0 25 0 8 0 720956862 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4306112 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 243544 111945 378 95 0 238526 0
[pid=7898/tid=7899] ppid=7896 vsize=974176 CPUtime=25.33 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 23083 0 0 0 2511 22 0 0 25 0 8 0 720956863 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=974176 CPUtime=25.32 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 22161 0 0 0 2510 22 0 0 25 0 8 0 720956863 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=974176 CPUtime=24.91 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 23981 0 0 0 2466 25 0 0 25 0 8 0 720956863 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=974176 CPUtime=25.33 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 22220 0 0 0 2509 24 0 0 25 0 8 0 720956863 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=974176 CPUtime=25.33 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 22758 0 0 0 2512 21 0 0 25 0 8 0 720956863 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=974176 CPUtime=25.34 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 22260 0 0 0 2509 25 0 0 25 0 8 0 720956863 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=974176 CPUtime=25.35 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27409 0 0 0 2514 21 0 0 25 0 8 0 720956863 997556224 111945 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.28
Current children cumulated vsize (KiB) 974176

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

[startup+31.9169 s]
/proc/loadavg: 4.96 2.11 1.51 9/447 7907
/proc/meminfo: memFree=15939180/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=918484 CPUtime=253.52 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 213037 0 0 0 25158 194 0 0 25 0 8 0 720956862 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 229621 118199 379 95 0 224603 0
[pid=7898/tid=7899] ppid=7896 vsize=918484 CPUtime=31.75 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 26303 0 0 0 3152 23 0 0 25 0 8 0 720956863 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=918484 CPUtime=31.73 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 23989 0 0 0 3151 22 0 0 25 0 8 0 720956863 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4318368 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=918484 CPUtime=31.22 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27712 0 0 0 3097 25 0 0 25 0 8 0 720956863 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=918484 CPUtime=31.74 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 26242 0 0 0 3149 25 0 0 25 0 8 0 720956863 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=918484 CPUtime=31.74 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 25916 0 0 0 3153 21 0 0 25 0 8 0 720956863 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=918484 CPUtime=31.76 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 25849 0 0 0 3150 26 0 0 25 0 8 0 720956863 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4320616 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=918484 CPUtime=31.76 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 29772 0 0 0 3155 21 0 0 25 0 8 0 720956863 940527616 118199 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 253.52
Current children cumulated vsize (KiB) 918484

[startup+38.3007 s]
/proc/loadavg: 5.21 2.20 1.55 9/447 7907
/proc/meminfo: memFree=15906784/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=953972 CPUtime=304.51 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 232757 0 0 0 30252 199 0 0 25 0 8 0 720956862 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293225 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 238493 127556 379 95 0 233475 0
[pid=7898/tid=7899] ppid=7896 vsize=953972 CPUtime=38.14 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27463 0 0 0 3790 24 0 0 25 0 8 0 720956863 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=953972 CPUtime=38.12 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 26113 0 0 0 3789 23 0 0 25 0 8 0 720956863 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=953972 CPUtime=37.53 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30354 0 0 0 3727 26 0 0 25 0 8 0 720956863 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=953972 CPUtime=38.13 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 29298 0 0 0 3787 26 0 0 25 0 8 0 720956863 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 235594891159 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=953972 CPUtime=38.13 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 29242 0 0 0 3791 22 0 0 25 0 8 0 720956863 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=953972 CPUtime=38.14 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 29134 0 0 0 3788 26 0 0 25 0 8 0 720956863 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=953972 CPUtime=38.15 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 31961 0 0 0 3793 22 0 0 25 0 8 0 720956863 976867328 127556 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 304.51
Current children cumulated vsize (KiB) 953972

[startup+39.9004 s]
/proc/loadavg: 5.21 2.20 1.55 9/447 7907
/proc/meminfo: memFree=15914348/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=861664 CPUtime=317.27 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 238135 0 0 0 31527 200 0 0 25 0 8 0 720956862 882343936 121638 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 215416 121639 379 95 0 210398 0
[pid=7898/tid=7899] ppid=7896 vsize=861664 CPUtime=39.74 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27552 0 0 0 3950 24 0 0 25 0 8 0 720956863 882343936 121639 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=861664 CPUtime=39.71 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 26759 0 0 0 3948 23 0 0 25 0 8 0 720956863 882343936 121639 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=861664 CPUtime=39.09 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 31709 0 0 0 3883 26 0 0 25 0 8 0 720956863 882343936 121639 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=861664 CPUtime=39.72 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30088 0 0 0 3946 26 0 0 25 0 8 0 720956863 882343936 121639 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=861664 CPUtime=39.72 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 29908 0 0 0 3950 22 0 0 25 0 8 0 720956863 882343936 121639 33554432000 4194304 4580107 140733746947696 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=861664 CPUtime=39.74 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 29600 0 0 0 3948 26 0 0 25 0 8 0 720956863 882343936 121639 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=861664 CPUtime=39.75 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 32320 0 0 0 3953 22 0 0 25 0 8 0 720956863 882343936 121639 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 317.27
Current children cumulated vsize (KiB) 861664

[startup+41.5012 s]
/proc/loadavg: 5.21 2.20 1.55 9/447 7907
/proc/meminfo: memFree=15915972/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=950168 CPUtime=330.06 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 242730 0 0 0 32804 202 0 0 25 0 8 0 720956862 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4321036 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 237542 126139 379 95 0 232524 0
[pid=7898/tid=7899] ppid=7896 vsize=950168 CPUtime=41.34 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27858 0 0 0 4110 24 0 0 25 0 8 0 720956863 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=950168 CPUtime=41.31 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27354 0 0 0 4108 23 0 0 25 0 8 0 720956863 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=950168 CPUtime=40.68 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 32629 0 0 0 4041 27 0 0 25 0 8 0 720956863 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=950168 CPUtime=41.32 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30666 0 0 0 4106 26 0 0 25 0 8 0 720956863 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=950168 CPUtime=41.32 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30487 0 0 0 4110 22 0 0 25 0 8 0 720956863 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4318458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=950168 CPUtime=41.34 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30031 0 0 0 4108 26 0 0 25 0 8 0 720956863 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=950168 CPUtime=41.35 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 33007 0 0 0 4113 22 0 0 25 0 8 0 720956863 972972032 126139 33554432000 4194304 4580107 140733746947696 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 330.06
Current children cumulated vsize (KiB) 950168

[startup+41.9011 s]
/proc/loadavg: 5.67 2.35 1.60 9/447 7907
/proc/meminfo: memFree=15903696/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=993232 CPUtime=333.24 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 243743 0 0 0 33122 202 0 0 25 0 8 0 720956862 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 248308 127152 379 95 0 243290 0
[pid=7898/tid=7899] ppid=7896 vsize=993232 CPUtime=41.74 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27965 0 0 0 4150 24 0 0 25 0 8 0 720956863 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=993232 CPUtime=41.72 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27501 0 0 0 4148 24 0 0 25 0 8 0 720956863 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=993232 CPUtime=41.07 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 32814 0 0 0 4080 27 0 0 25 0 8 0 720956863 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=993232 CPUtime=41.72 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30775 0 0 0 4146 26 0 0 25 0 8 0 720956863 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=993232 CPUtime=41.72 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30612 0 0 0 4150 22 0 0 25 0 8 0 720956863 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316705 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=993232 CPUtime=41.74 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30196 0 0 0 4148 26 0 0 25 0 8 0 720956863 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=993232 CPUtime=41.75 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 33087 0 0 0 4153 22 0 0 25 0 8 0 720956863 1017069568 127152 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 333.24
Current children cumulated vsize (KiB) 993232

[startup+42.1011 s]
/proc/loadavg: 5.67 2.35 1.60 9/447 7907
/proc/meminfo: memFree=15903696/32950928 swapFree=45972268/67111528
[pid=7898] ppid=7896 vsize=993232 CPUtime=334.84 cores=0-7
/proc/7898/stat : 7898 (strangenight2-m) R 7896 7898 7837 0 -1 4202496 244206 0 0 0 33282 202 0 0 25 0 8 0 720956862 1017069568 127615 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7898/statm: 248308 127616 379 95 0 243290 0
[pid=7898/tid=7899] ppid=7896 vsize=993232 CPUtime=41.94 cores=0-7
/proc/7898/task/7899/stat : 7899 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 28036 0 0 0 4170 24 0 0 25 0 8 0 720956863 1017069568 127616 33554432000 4194304 4580107 140733746947696 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7898/tid=7900] ppid=7896 vsize=993232 CPUtime=41.92 cores=0-7
/proc/7898/task/7900/stat : 7900 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 27583 0 0 0 4168 24 0 0 25 0 8 0 720956863 1017069568 127616 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7898/tid=7901] ppid=7896 vsize=993232 CPUtime=41.27 cores=0-7
/proc/7898/task/7901/stat : 7901 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 32855 0 0 0 4100 27 0 0 25 0 8 0 720956863 1017069568 127616 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7898/tid=7902] ppid=7896 vsize=993232 CPUtime=41.92 cores=0-7
/proc/7898/task/7902/stat : 7902 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30834 0 0 0 4166 26 0 0 25 0 8 0 720956863 1017069568 127616 33554432000 4194304 4580107 140733746947696 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7898/tid=7903] ppid=7896 vsize=993232 CPUtime=41.92 cores=0-7
/proc/7898/task/7903/stat : 7903 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30693 0 0 0 4170 22 0 0 25 0 8 0 720956863 1017069568 127616 33554432000 4194304 4580107 140733746947696 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7898/tid=7904] ppid=7896 vsize=993232 CPUtime=41.94 cores=0-7
/proc/7898/task/7904/stat : 7904 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 30280 0 0 0 4168 26 0 0 25 0 8 0 720956863 1017069568 127616 33554432000 4194304 4580107 140733746947696 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7898/tid=7905] ppid=7896 vsize=993232 CPUtime=41.95 cores=0-7
/proc/7898/task/7905/stat : 7905 (strangenight2-m) R 7896 7898 7837 0 -1 4202560 33114 0 0 0 4173 22 0 0 25 0 8 0 720956863 1017069568 127616 33554432000 4194304 4580107 140733746947696 18446744073709551615 4293805 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 334.84
Current children cumulated vsize (KiB) 993232

Child status: 20
Real time (s): 42.1708
CPU time (s): 335.252
CPU user time (s): 333.204
CPU system time (s): 2.04769
CPU usage (%): 794.986
Max. virtual memory (cumulated for all children) (KiB): 1068232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 333.204
system time used= 2.04769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244319
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= 231000
involuntary context switches= 1357

runsolver used 0.172973 second user time and 0.452931 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-22 21:46:21
IDJOB=3394220
IDBENCH=82410
IDSOLVER=1878
FILE ID=node120/3394220-1306093580
RUNJOBID= node120-1306093558-7851
PBS_JOBID= 13387948
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3394220-1306093580/watcher-3394220-1306093580 -o /tmp/evaluation-result-3394220-1306093580/solver-3394220-1306093580 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394220-1306093580.cnf

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

MD5SUM BENCH= 17407fc59aa2b679b7792ae0656704b9
RANDOM SEED=1646023491

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.78
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.809
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.809
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.82
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.809
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:      16410404 kB
Buffers:        221592 kB
Cached:        4365040 kB
SwapCached:      64972 kB
Active:        3564892 kB
Inactive:     12699204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16410404 kB
SwapTotal:    67111528 kB
SwapFree:     45972268 kB
Dirty:           23488 kB
Writeback:           0 kB
AnonPages:    11620024 kB
Mapped:          22104 kB
Slab:           116492 kB
PageTables:      90628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105366464 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= 73332 MiB
End job on node120 at 2011-05-22 21:47:03