Trace number 3172987

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 TechDemo-Alpha-mtUNSAT 39.768 10.0536

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf
MD5SUM4d03caf8d8c1d1c9a2cc6f8b0ebca92b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.285956
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses1065
Sum of the clauses size3195
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31065
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3172987-1304123226.cnf'
0.00/0.00	c -- header says num vars:            250
0.00/0.00	c -- header says num clauses:        1065
0.00/0.00	c -- clauses added:            0 learnts,         1065 normals,            0 xors
0.00/0.00	c -- vars added        250
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       250      1065         0         0      3195         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1065/1065 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.00
0.00/0.01	c Calc non-exist non-lernt bins v-fix:     0 done:    250 time:  0.00 s
0.00/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.00 s
0.00/0.01	c learnt bin added due to v-elim: 0
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     112 undec:      25 neg:     113
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.01	c  B st     0         0       239      1050         0         0      3216         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
5.56/1.48	c  N dy     7     30000       239      1050         2     10220      3216    104411     11.35      8.23  --
5.56/1.48	c  S st     7     30000       239      1050         2     10220      3216    104411     11.35      8.23  --
5.96/1.53	c  S st     7     30502       239      1050         2     10718      3216    111304     11.35      8.23  --
5.96/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.5M T:  0.03
5.96/1.54	c Calc non-exist non-lernt bins v-fix:     0 done:    239 time:  0.00 s
5.96/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.54	c Subs w/ non-existent bins:      0 time:  0.00 s
5.96/1.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.57	c subs with bin:     2757  lits-rem:        35  v-fix:    0  time:  0.12 s
5.96/1.57	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
5.96/1.59	c lits-rem:       151  cl-subs:      306  v-elim:      6  v-fix:    0  time:  0.08 s
5.96/1.59	c learnt bin added due to v-elim: 0
5.96/1.59	c vivif2 --  cl tried     1050 cl shrink        0 lits rem          0 time: 0.00
5.96/1.59	c vivif2 --  cl tried     7655 cl shrink        0 lits rem          0 time: 0.00
6.37/1.60	c asymm  cl-useful: 0/1050/1050 lits-rem:0 time: 0.05
6.37/1.60	c calculated reachability. Time: 0.00
6.37/1.60	c  N dy     7     30502       239      1050         2      7655      3216     83313     11.35      8.23  --
6.37/1.60	c  F st     7     30502       239      1050         2      7655      3216     83313     11.35      8.23  --
6.77/1.75	c Decided on static restart strategy
10.76/2.74	c  N dy    14     45753       239      1050         2     14692      3216    160754     12.19      8.24  --
10.76/2.74	c  S st    14     45753       239      1050         2     14692      3216    160754     12.19      8.24  --
11.16/2.81	c  S st    14     46258       239      1050         2     15190      3216    167886     12.19      8.24  --
11.16/2.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.16/2.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.16/2.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.2M T:  0.08
11.16/2.83	c Calc non-exist non-lernt bins v-fix:     0 done:    239 time:  0.00 s
11.16/2.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.16/2.83	c Subs w/ non-existent bins:      0 time:  0.00 s
11.16/2.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.16/2.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.16/2.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
11.96/3.02	c lits-rem:       289  cl-subs:     2338  v-elim:      6  v-fix:    0  time:  0.75 s
11.96/3.02	c learnt bin added due to v-elim: 0
11.96/3.02	c vivif2 --  cl tried     1050 cl shrink        0 lits rem          0 time: 0.00
11.96/3.02	c vivif2 --  cl tried    12852 cl shrink        0 lits rem          0 time: 0.00
11.96/3.04	c asymm  cl-useful: 0/1050/1050 lits-rem:0 time: 0.08
11.96/3.04	c calculated reachability. Time: 0.00
11.96/3.04	c  N dy    14     46258       239      1050         2     12852      3216    142893     12.19      8.24  --
19.55/4.93	c  N dy    15     69387       238      1050        13     16919      3216    163140     12.26      8.17  --
19.55/4.94	c  S st    15     69387       238      1050        13     16919      3216    163140     12.26      8.17  --
19.95/5.00	c  S st    15     69893       238      1050        13     17419      3216    169859     12.26      8.17  --
19.95/5.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.95/5.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.95/5.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     10 BRemL:      0 BRemN:      0 CBin:       0 P:  1.2M T:  0.06
19.95/5.02	c Calc non-exist non-lernt bins v-fix:     0 done:    238 time:  0.00 s
19.95/5.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.95/5.02	c Subs w/ non-existent bins:      0 time:  0.01 s
19.95/5.04	c bin-w-bin subsume rem           10 bins  time:  0.00 s
19.95/5.04	c subs with bin:       63  lits-rem:       170  v-fix:    0  time:  0.00 s
19.95/5.04	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
20.35/5.12	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
21.96/5.56	c Added 3 vars  tried: 80000 time: 1.78
21.96/5.57	c ORs :      3 avg-s:  0.0 cl-sh:   407 l-rem:    407 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    1.79
21.96/5.57	c lits-rem:       134  cl-subs:      721  v-elim:      5  v-fix:    0  time:  2.09 s
21.96/5.57	c learnt bin added due to v-elim: 0
21.96/5.57	c vivif2 --  cl tried     1030 cl shrink        0 lits rem          0 time: 0.00
21.96/5.57	c vivif2 --  cl tried    10562 cl shrink        0 lits rem          0 time: 0.00
21.96/5.58	c asymm  cl-useful: 0/1030/1030 lits-rem:0 time: 0.07
21.96/5.59	c calculated reachability. Time: 0.00
21.96/5.59	c  N dy    15     69893       241      1030        19     10562      3188     99881     12.26      8.17  --
21.96/5.59	c  F st    15     69893       241      1030        19     10562      3188     99881     12.26      8.17  --
22.74/5.76	c Decided on static restart strategy
35.15/8.89	c  N dy    22    104839       238      1030        48     22134      3188    206684      9.51      7.97  --
35.15/8.90	c  S st    22    104839       238      1030        48     22134      3188    206684      9.51      7.97  --
35.55/8.97	c  S st    22    105342       238      1030        48     22630      3188    212650      9.51      7.97  --
35.55/8.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.55/8.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.55/8.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     37 BRemL:      4 BRemN:      0 CBin:       0 P:  2.2M T:  0.11
35.55/8.99	c Calc non-exist non-lernt bins v-fix:     0 done:    238 time:  0.00 s
35.55/8.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.92/9.00	c Subs w/ non-existent bins:      0 time:  0.02 s
35.92/9.03	c bin-w-bin subsume rem           34 bins  time:  0.00 s
35.92/9.03	c subs with bin:      179  lits-rem:       792  v-fix:    0  time:  0.01 s
35.92/9.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
36.33/9.10	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
36.33/9.10	c lits-rem:       291  cl-subs:      748  v-elim:      6  v-fix:    0  time:  0.27 s
36.33/9.10	c learnt bin added due to v-elim: 0
36.33/9.10	c vivif2 --  cl tried      963 cl shrink        0 lits rem          0 time: 0.00
36.33/9.10	c vivif2 --  cl tried    10248 cl shrink      106 lits rem        107 time: 0.01
36.33/9.12	c asymm  cl-useful: 1/963/963 lits-rem:3 time: 0.08
36.33/9.12	c calculated reachability. Time: 0.00
36.33/9.12	c  N dy    22    105342       235       962        54     10248      3072     89547      9.51      7.97  --
39.13/9.82	c  E dy    23    112824       226       962       119     17302      3072    155942      7.75      7.84  --
39.71/10.05	c Following stats are for *FIRST FINISHED THREAD ONLY*
39.71/10.05	c num threads              : 4          
39.71/10.05	c restarts                 : 23         
39.71/10.05	c dynamic restarts         : 5          
39.71/10.05	c static restarts          : 18         
39.71/10.05	c full restarts            : 2          
39.71/10.05	c total simplify time      : 0.00       
39.71/10.05	c learnts DL2              : 0          
39.71/10.05	c learnts size 2           : 208        
39.71/10.05	c learnts size 1           : 105         (41.50     % of vars)
39.71/10.05	c filedLit time            : 0.29        (0.73      % time)
39.71/10.05	c v-elim SatELite          : 14          (5.53      % vars)
39.71/10.05	c SatELite time            : 2.97        (7.48      % time)
39.71/10.05	c v-elim xor               : 0           (0.00      % vars)
39.71/10.05	c xor elim time            : 0.01        (0.03      % time)
39.71/10.05	c num binary xor trees     : 0          
39.71/10.05	c binxor trees' crown      : 0           (nan       leafs/tree)
39.71/10.05	c bin xor find time        : 0.00       
39.71/10.05	c OTF clause subsumed      : 5995        (0.05      clauses/conflict)
39.71/10.05	c OTF subs. size diff      : 6206        (1.04       lits/clause)
39.71/10.05	c OTF cl watch-shrink      : 18826       (0.17      clauses/conflict)
39.71/10.05	c OTF cl watch-sh-lit      : 22374       (1.19       lits/clause)
39.71/10.05	c tried to recurMin cls    : 112809      (99.99      % of conflicts)
39.71/10.05	c updated cache            : 5           (0.00       lits/tried recurMin)
39.71/10.05	c OTF Gate-Rem cl          : 1174        (0.01      clauses/conflict)
39.71/10.05	c OTF Gate-rem lits        : 1175        (1.00      lits/confl)
39.71/10.05	c unit cls received        : 0           (0.00      % of units)
39.71/10.05	c unit cls sent            : 6           (5.71      % of units)
39.71/10.05	c bin cls received         : 0          
39.71/10.05	c bin cls sent             : 167        
39.71/10.05	c tri cls recevied         : 13         
39.71/10.05	c tri cls sent             : 62         
39.71/10.05	c clauses over max glue    : 0           (0.00      % of all clauses)
39.71/10.05	c conflicts                : 112824      (2838.99   / sec)
39.71/10.05	c decisions                : 133818      (2.35      % random)
39.71/10.05	c bogo-props               : 784756438   (19746792.16 / sec)
39.71/10.05	c props                    : 6146555     (154665.50 / sec)
39.71/10.05	c conflict literals        : 1325209     (29.63     % deleted)
39.71/10.05	c Memory used              : 668.38      MB
39.71/10.05	c single-thread CPU time   : 39.74       s
39.71/10.05	c all-threads sum CPU time : 39.74       s
39.71/10.05	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-3172987-1304123226/watcher-3172987-1304123226 -o /tmp/evaluation-result-3172987-1304123226/solver-3172987-1304123226 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172987-1304123226.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.43 7.93 7.96 4/172 28099
/proc/meminfo: memFree=29685168/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=81148 CPUtime=0 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 681 0 0 0 0 0 0 0 25 0 4 0 602553267 83095552 613 33554432000 4194304 4797429 140735585747088 18446744073709551615 256415448049 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 20287 613 360 148 0 15216 0
[pid=28099/tid=28104] ppid=28097 vsize=81148 CPUtime=0 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 602553267 83095552 613 33554432000 4194304 4797429 140735585747088 18446744073709551615 47173102737330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=81148 CPUtime=0 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602553267 83095552 613 33554432000 4194304 4797429 140735585747088 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=81148 CPUtime=0 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602553267 83095552 613 33554432000 4194304 4797429 140735585747088 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.131834 s]
/proc/loadavg: 7.43 7.93 7.96 4/172 28099
/proc/meminfo: memFree=29685168/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=672740 CPUtime=0.5 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 1486 0 0 0 50 0 0 0 18 0 4 0 602553267 688885760 1342 33554432000 4194304 4797429 140735585747088 18446744073709551615 256415050876 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 168185 1342 411 148 0 163114 0
[pid=28099/tid=28104] ppid=28097 vsize=672740 CPUtime=0.12 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 210 0 0 0 12 0 0 0 18 0 4 0 602553267 688885760 1342 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=672740 CPUtime=0.12 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 176 0 0 0 12 0 0 0 25 0 4 0 602553267 688885760 1342 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=672740 CPUtime=0.12 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 217 0 0 0 12 0 0 0 18 0 4 0 602553267 688885760 1342 33554432000 4194304 4797429 140735585747088 18446744073709551615 4387566 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 672740

[startup+0.231815 s]
/proc/loadavg: 7.43 7.93 7.96 4/172 28099
/proc/meminfo: memFree=29685168/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=673576 CPUtime=0.9 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 1939 0 0 0 90 0 0 0 18 0 4 0 602553267 689741824 1459 33554432000 4194304 4797429 140735585747088 18446744073709551615 4376904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 168394 1459 411 148 0 163323 0
[pid=28099/tid=28104] ppid=28097 vsize=673576 CPUtime=0.22 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 323 0 0 0 22 0 0 0 18 0 4 0 602553267 689741824 1459 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=673576 CPUtime=0.22 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 298 0 0 0 22 0 0 0 25 0 4 0 602553267 689741824 1459 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=673576 CPUtime=0.22 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 327 0 0 0 22 0 0 0 18 0 4 0 602553267 689741824 1459 33554432000 4194304 4797429 140735585747088 18446744073709551615 4422906 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 673576

[startup+0.300803 s]
/proc/loadavg: 7.43 7.93 7.96 4/172 28099
/proc/meminfo: memFree=29685168/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=673892 CPUtime=1.17 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 2136 0 0 0 117 0 0 0 18 0 4 0 602553267 690065408 1648 33554432000 4194304 4797429 140735585747088 18446744073709551615 4404796 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 168473 1648 411 148 0 163402 0
[pid=28099/tid=28104] ppid=28097 vsize=673892 CPUtime=0.29 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 376 0 0 0 29 0 0 0 18 0 4 0 602553267 690065408 1648 33554432000 4194304 4797429 140735585747088 18446744073709551615 4425051 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=673892 CPUtime=0.29 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 355 0 0 0 29 0 0 0 25 0 4 0 602553267 690065408 1648 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=673892 CPUtime=0.29 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 361 0 0 0 29 0 0 0 18 0 4 0 602553267 690065408 1648 33554432000 4194304 4797429 140735585747088 18446744073709551615 4425037 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 673892

[startup+0.70073 s]
/proc/loadavg: 7.43 7.93 7.96 4/172 28099
/proc/meminfo: memFree=29685168/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=677124 CPUtime=2.77 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 3905 0 0 0 277 0 0 0 18 0 4 0 602553267 693374976 2841 33554432000 4194304 4797429 140735585747088 18446744073709551615 4425015 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 169281 2841 416 148 0 164210 0
[pid=28099/tid=28104] ppid=28097 vsize=677124 CPUtime=0.69 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 862 0 0 0 69 0 0 0 18 0 4 0 602553267 693374976 2841 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=677124 CPUtime=0.68 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 870 0 0 0 68 0 0 0 25 0 4 0 602553267 693374976 2841 33554432000 4194304 4797429 140735585747088 18446744073709551615 4387679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=677124 CPUtime=0.69 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 857 0 0 0 69 0 0 0 18 0 4 0 602553267 693374976 2841 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 677124

[startup+1.50058 s]
/proc/loadavg: 7.43 7.93 7.96 9/184 28111
/proc/meminfo: memFree=29657420/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=678696 CPUtime=5.96 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 5380 0 0 0 596 0 0 0 20 0 4 0 602553267 694984704 3464 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 169674 3464 418 148 0 164603 0
[pid=28099/tid=28104] ppid=28097 vsize=678696 CPUtime=1.49 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 1195 0 0 0 149 0 0 0 19 0 4 0 602553267 694984704 3464 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=678696 CPUtime=1.48 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 1215 0 0 0 148 0 0 0 25 0 4 0 602553267 694984704 3464 33554432000 4194304 4797429 140735585747088 18446744073709551615 4425030 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=678696 CPUtime=1.48 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 1178 0 0 0 148 0 0 0 20 0 4 0 602553267 694984704 3464 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 678696

[startup+3.10028 s]
/proc/loadavg: 7.43 7.93 7.96 9/184 28111
/proc/meminfo: memFree=29648368/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=681144 CPUtime=12.36 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 7430 0 0 0 1235 1 0 0 25 0 4 0 602553267 697491456 4630 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 170286 4630 418 148 0 165215 0
[pid=28099/tid=28104] ppid=28097 vsize=681144 CPUtime=3.09 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 1631 0 0 0 309 0 0 0 25 0 4 0 602553267 697491456 4630 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=681144 CPUtime=3.08 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 1645 0 0 0 308 0 0 0 25 0 4 0 602553267 697491456 4630 33554432000 4194304 4797429 140735585747088 18446744073709551615 4351768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=681144 CPUtime=3.07 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 1564 0 0 0 307 0 0 0 25 0 4 0 602553267 697491456 4630 33554432000 4194304 4797429 140735585747088 18446744073709551615 4657117 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 681144

[startup+6.30067 s]
/proc/loadavg: 7.48 7.93 7.96 10/184 28111
/proc/meminfo: memFree=29637280/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=682748 CPUtime=25.14 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 9561 0 0 0 2513 1 0 0 25 0 4 0 602553267 699133952 5538 33554432000 4194304 4797429 140735585747088 18446744073709551615 4425896 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 170687 5538 419 148 0 165616 0
[pid=28099/tid=28104] ppid=28097 vsize=682748 CPUtime=6.29 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 2085 0 0 0 629 0 0 0 25 0 4 0 602553267 699133952 5538 33554432000 4194304 4797429 140735585747088 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=682748 CPUtime=6.28 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 2086 0 0 0 628 0 0 0 25 0 4 0 602553267 699133952 5538 33554432000 4194304 4797429 140735585747088 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=682748 CPUtime=6.25 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 1959 0 0 0 625 0 0 0 25 0 4 0 602553267 699133952 5538 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 682748

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

[startup+6.40066 s]
/proc/loadavg: 7.48 7.93 7.96 10/184 28111
/proc/meminfo: memFree=29637280/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=683028 CPUtime=25.54 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 9634 0 0 0 2553 1 0 0 25 0 4 0 602553267 699420672 5609 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 170757 5609 419 148 0 165686 0
[pid=28099/tid=28104] ppid=28097 vsize=683028 CPUtime=6.39 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 2086 0 0 0 639 0 0 0 25 0 4 0 602553267 699420672 5609 33554432000 4194304 4797429 140735585747088 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=683028 CPUtime=6.38 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 2122 0 0 0 638 0 0 0 25 0 4 0 602553267 699420672 5609 33554432000 4194304 4797429 140735585747088 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=683028 CPUtime=6.35 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 1981 0 0 0 635 0 0 0 25 0 4 0 602553267 699420672 5609 33554432000 4194304 4797429 140735585747088 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 683028

[startup+8.00035 s]
/proc/loadavg: 7.48 7.93 7.96 10/184 28111
/proc/meminfo: memFree=29633436/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=684144 CPUtime=31.93 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 11078 0 0 0 3191 2 0 0 25 0 4 0 602553267 700563456 5664 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 171036 5664 419 148 0 165965 0
[pid=28099/tid=28104] ppid=28097 vsize=684144 CPUtime=7.99 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 2374 0 0 0 799 0 0 0 25 0 4 0 602553267 700563456 5664 33554432000 4194304 4797429 140735585747088 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=684144 CPUtime=7.98 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 2375 0 0 0 798 0 0 0 25 0 4 0 602553267 700563456 5664 33554432000 4194304 4797429 140735585747088 18446744073709551615 4430133 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=684144 CPUtime=7.94 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 2295 0 0 0 794 0 0 0 25 0 4 0 602553267 700563456 5664 33554432000 4194304 4797429 140735585747088 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 31.93
Current children cumulated vsize (KiB) 684144

[startup+8.8002 s]
/proc/loadavg: 7.48 7.93 7.96 9/184 28111
/proc/meminfo: memFree=29632444/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=684144 CPUtime=35.15 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 11316 0 0 0 3513 2 0 0 25 0 4 0 602553267 700563456 5894 33554432000 4194304 4797429 140735585747088 18446744073709551615 256415088103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 171036 5894 419 148 0 165965 0
[pid=28099/tid=28104] ppid=28097 vsize=684144 CPUtime=8.79 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 2397 0 0 0 879 0 0 0 25 0 4 0 602553267 700563456 5894 33554432000 4194304 4797429 140735585747088 18446744073709551615 4509125 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=684144 CPUtime=8.79 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 2421 0 0 0 879 0 0 0 25 0 4 0 602553267 700563456 5894 33554432000 4194304 4797429 140735585747088 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=684144 CPUtime=8.74 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 2352 0 0 0 874 0 0 0 25 0 4 0 602553267 700563456 5894 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 35.15
Current children cumulated vsize (KiB) 684144

[startup+9.60105 s]
/proc/loadavg: 7.48 7.93 7.96 9/184 28111
/proc/meminfo: memFree=29632444/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=684420 CPUtime=38.33 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 11513 0 0 0 3831 2 0 0 25 0 4 0 602553267 700846080 6084 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28099/statm: 171105 6084 419 148 0 166034 0
[pid=28099/tid=28104] ppid=28097 vsize=684420 CPUtime=9.59 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) R 28097 28099 27972 0 -1 4202560 2421 0 0 0 959 0 0 0 25 0 4 0 602553267 700846080 6084 33554432000 4194304 4797429 140735585747088 18446744073709551615 4509104 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=684420 CPUtime=9.58 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 2463 0 0 0 958 0 0 0 25 0 4 0 602553267 700846080 6084 33554432000 4194304 4797429 140735585747088 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=684420 CPUtime=9.53 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 2379 0 0 0 953 0 0 0 25 0 4 0 602553267 700846080 6084 33554432000 4194304 4797429 140735585747088 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38.33
Current children cumulated vsize (KiB) 684420

[startup+10.007 s]
/proc/loadavg: 7.60 7.95 7.96 8/184 28111
/proc/meminfo: memFree=29628136/32950928 swapFree=67111364/67111528
[pid=28099] ppid=28097 vsize=684420 CPUtime=39.71 cores=1,3,5,7
/proc/28099/stat : 28099 (techdemo) R 28097 28099 27972 0 -1 4202496 11565 0 0 0 3969 2 0 0 24 0 4 0 602553267 700846080 6133 33554432000 4194304 4797429 140735585747088 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28099/statm: 171105 6133 420 148 0 166034 0
[pid=28099/tid=28104] ppid=28097 vsize=684420 CPUtime=9.93 cores=1,3,5,7
/proc/28099/task/28104/stat : 28104 (techdemo) S 28097 28099 27972 0 -1 4202560 2421 0 0 0 993 0 0 0 25 0 4 0 602553267 700846080 6133 33554432000 4194304 4797429 140735585747088 18446744073709551615 47173102736948 0 0 4096 2 18446604471127570240 0 0 -1 1 0 0 0
[pid=28099/tid=28105] ppid=28097 vsize=684420 CPUtime=9.99 cores=1,3,5,7
/proc/28099/task/28105/stat : 28105 (techdemo) R 28097 28099 27972 0 -1 4202560 2467 0 0 0 999 0 0 0 25 0 4 0 602553267 700846080 6133 33554432000 4194304 4797429 140735585747088 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28099/tid=28106] ppid=28097 vsize=684420 CPUtime=9.94 cores=1,3,5,7
/proc/28099/task/28106/stat : 28106 (techdemo) R 28097 28099 27972 0 -1 4202560 2403 0 0 0 994 0 0 0 25 0 4 0 602553267 700846080 6133 33554432000 4194304 4797429 140735585747088 18446744073709551615 47173102736925 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39.71
Current children cumulated vsize (KiB) 684420

Child status: 20
Real time (s): 10.0536
CPU time (s): 39.768
CPU user time (s): 39.744
CPU system time (s): 0.023996
CPU usage (%): 395.559
Max. virtual memory (cumulated for all children) (KiB): 788196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.744
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11571
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= 206
involuntary context switches= 210

runsolver used 0.015997 second user time and 0.045993 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 02:27:06
IDJOB=3172987
IDBENCH=83005
IDSOLVER=1584
FILE ID=node115/3172987-1304123226
RUNJOBID= node115-1304122022-27991
PBS_JOBID= 13170743
Free space on /tmp= 72732 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172987-1304123226/watcher-3172987-1304123226 -o /tmp/evaluation-result-3172987-1304123226/solver-3172987-1304123226 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172987-1304123226.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4d03caf8d8c1d1c9a2cc6f8b0ebca92b
RANDOM SEED=1318147691

node115.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.811
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.62
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.811
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.811
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.811
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.811
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29685324 kB
Buffers:        815760 kB
Cached:        1960628 kB
SwapCached:          0 kB
Active:         179616 kB
Inactive:      2660384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29685324 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15544 kB
Writeback:           0 kB
AnonPages:       63492 kB
Mapped:          14696 kB
Slab:           362268 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184680 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= 72716 MiB
End job on node115 at 2011-04-30 02:27:16