Trace number 3283168

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 341.188 89.4573

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-10-10p0.cnf
MD5SUMef1df882c8a642421a1d0216a16bf652
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.7879
Satisfiable
(Un)Satisfiability was proved
Number of variables155107
Number of clauses675624
Sum of the clauses size1568150
Maximum clause length10
Minimum clause length1
Number of clauses of size 16856
Number of clauses of size 2547130
Number of clauses of size 387598
Number of clauses of size 43780
Number of clauses of size 515120
Number of clauses of size over 515140

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-3283168-1304033761.cnf'
0.00/0.00	c -- header says num vars:         155107
0.00/0.00	c -- header says num clauses:      675624
1.29/1.33	c -- clauses added:            0 learnts,       675624 normals,            0 xors
1.29/1.33	c -- vars added     155107
1.29/1.33	c Parsing time:  1.22 s
1.29/1.33	c  N st     0         0    155107    121638    546615         0   1560264         0   no data   no data  --
1.98/1.58	c asymm  cl-useful: 29/719/96468 lits-rem:148 time: 0.92
41.11/11.36	c Flit:    42 Blit:   1272 bXBeca:    0 bXProp:  674 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 38.96
41.51/11.40	c Cleaning up after failed var search:     0.13 s 
54.68/14.71	c Calc non-exist non-lernt bins v-fix:  2705 done:   6888 time: 12.85 s
54.68/14.79	c Cache  BProp: 0 Set: 0 BXProp: 528 T: 0.30
55.48/14.94	c Subs w/ non-existent bins:      0 time:  0.58 s
55.88/15.01	c Replacing     1202 vars Replaced    34101 lits Time:     0.28 s 
56.28/15.10	c bin-w-bin subsume rem        19079 bins  time:  0.16 s
56.28/15.17	c subs with bin:     2566  lits-rem:     23636  v-fix:    0  time:  0.28 s
57.09/15.39	c Removed useless bin:     195  fixed:     0  bprops:  10.02M  time:  0.88 s
59.84/16.02	c lits-rem:        15  cl-subs:     2523  v-elim:  40961  v-fix:    0  time:  2.40 s
59.84/16.02	c learnt bin added due to v-elim: 0
59.84/16.06	c Finding binary XORs  T:     0.14 s  found:    1974
60.24/16.11	c Replacing     1974 vars Replaced    52391 lits Time:     0.20 s 
60.64/16.21	c Finding non-binary XORs:     0.27 s (found:       0, avg size: nan)
60.64/16.21	c Calc default polars -  time:   0.08 s pos:   14578 undec:   92312 neg:   48217
60.64/16.21	c =========================================================================================
60.64/16.21	c types(t): F = full restart, N = normal restart
60.64/16.21	c types(t): S = simplification begin/end, E = solution found
60.64/16.21	c restart types(rt): st = static, dy = dynamic
60.64/16.21	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
60.64/16.21	c  B st     0         0     76611    137064    252436         0   1049823         0   no data   no data  --
69.03/18.34	c Decided on dynamic restart strategy
80.61/21.25	c  N dy    20      4121     75939    137064    252536      3761   1049823    598777    227.63     28.70  --
109.37/28.48	c  N dy    49      8247     65028    116917    216222     11172    869935   1369066    195.02     31.54  --
144.52/37.29	c  N dy    77     12288     64753    116917    218042     16118    872065   2231999    186.15     27.59  --
188.45/48.29	c  N dy   105     16379     63443    110387    214651     19804    843204   3011903    155.33     26.14  --
200.83/51.38	c Finding binary XORs  T:     0.12 s  found:    2762
201.63/51.53	c Replacing     2762 vars Replaced    88177 lits Time:     0.57 s 
232.80/59.35	c  N dy   133     20512     60492    109885    203284     11921    820400    813973    203.78     24.21  --
270.33/68.78	c  N dy   161     24659     60432    109885    203312     15912    820400   1266016     99.95     21.73  --
315.07/79.95	c  N dy   189     28735     60381    109885    203324     19882    820400   1665369     87.43     19.94  --
325.48/82.51	c  E dy   195     29571     60374    109885    203332     20677    820400   1730284     78.09     19.56  --
340.23/88.83	c Following stats are for *FIRST FINISHED THREAD ONLY*
340.23/88.83	c num threads              : 4          
340.23/88.83	c restarts                 : 195        
340.23/88.83	c dynamic restarts         : 189        
340.23/88.83	c static restarts          : 6          
340.23/88.83	c full restarts            : 0          
340.23/88.83	c total simplify time      : 1.14       
340.23/88.83	c learnts DL2              : 0          
340.23/88.83	c learnts size 2           : 597944     
340.23/88.83	c learnts size 1           : 74575       (48.08     % of vars)
340.23/88.83	c filedLit time            : 39.10       (11.54     % time)
340.23/88.83	c v-elim SatELite          : 34285       (22.10     % vars)
340.23/88.83	c SatELite time            : 2.07        (0.61      % time)
340.23/88.83	c v-elim xor               : 0           (0.00      % vars)
340.23/88.83	c xor elim time            : 0.00        (0.00      % time)
340.23/88.83	c num binary xor trees     : 3804       
340.23/88.83	c binxor trees' crown      : 5938        (1.56      leafs/tree)
340.23/88.83	c bin xor find time        : 0.27       
340.23/88.83	c OTF clause subsumed      : 1102        (0.04      clauses/conflict)
340.23/88.83	c OTF subs. size diff      : 2827        (2.57       lits/clause)
340.23/88.83	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
340.23/88.83	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
340.23/88.83	c tried to recurMin cls    : 0           (0.00       % of conflicts)
340.23/88.83	c updated cache            : 0           (nan        lits/tried recurMin)
340.23/88.83	c OTF Gate-Rem cl          : 0           (0.00      clauses/conflict)
340.23/88.83	c OTF Gate-rem lits        : 0           (nan       lits/confl)
340.23/88.83	c unit cls received        : 529         (0.71      % of units)
340.23/88.83	c unit cls sent            : 3325        (4.46      % of units)
340.23/88.83	c bin cls received         : 11256      
340.23/88.83	c bin cls sent             : 46596      
340.23/88.83	c tri cls recevied         : 5677       
340.23/88.83	c tri cls sent             : 60605      
340.23/88.83	c clauses over max glue    : 0           (0.00      % of all clauses)
340.23/88.83	c conflicts                : 29571       (87.28     / sec)
340.23/88.83	c decisions                : 151371      (0.00      % random)
340.23/88.83	c bogo-props               : 852720156   (2516931.90 / sec)
340.23/88.83	c props                    : 239901857   (708106.44 / sec)
340.23/88.83	c conflict literals        : 4917085     (34.69     % deleted)
340.23/88.83	c Memory used              : 3713.79     MB
340.23/88.83	c single-thread CPU time   : 338.79      s
340.23/88.83	c all-threads sum CPU time : 338.79      s
340.23/88.83	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-3283168-1304033761/watcher-3283168-1304033761 -o /tmp/evaluation-result-3283168-1304033761/solver-3283168-1304033761 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3283168-1304033761.cnf 

running on 4 cores: 0,2,4,6

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: 8.07 8.09 7.95 3/174 14549
/proc/meminfo: memFree=16719296/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=52272 CPUtime=0 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 1309 0 0 0 0 0 0 0 23 0 1 0 593606698 53526528 1245 33554432000 4194304 4797429 140734055974064 18446744073709551615 4365441 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14549/statm: 13068 1250 350 148 0 7997 0

[startup+0.019262 s]
/proc/loadavg: 8.07 8.09 7.95 3/174 14549
/proc/meminfo: memFree=16719296/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=66040 CPUtime=0.01 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 4809 0 0 0 1 0 0 0 23 0 1 0 593606698 67624960 3771 33554432000 4194304 4797429 140734055974064 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14549/statm: 16510 3793 351 148 0 11439 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 66040

[startup+0.100275 s]
/proc/loadavg: 8.07 8.09 7.95 3/174 14549
/proc/meminfo: memFree=16719296/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=126276 CPUtime=0.09 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 23649 0 0 0 7 2 0 0 23 0 1 0 593606698 129306624 16742 33554432000 4194304 4797429 140734055974064 18446744073709551615 4366725 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14549/statm: 31569 16766 351 148 0 26498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 126276

[startup+0.301224 s]
/proc/loadavg: 8.07 8.09 7.95 3/174 14549
/proc/meminfo: memFree=16719296/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=229296 CPUtime=0.29 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 53768 0 0 0 24 5 0 0 25 0 1 0 593606698 234799104 39569 33554432000 4194304 4797429 140734055974064 18446744073709551615 4356635 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14549/statm: 57324 39569 351 148 0 52253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 229296

[startup+0.701159 s]
/proc/loadavg: 8.07 8.09 7.95 3/174 14549
/proc/meminfo: memFree=16719296/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=257740 CPUtime=0.69 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 61640 0 0 0 64 5 0 0 25 0 1 0 593606698 263925760 47361 33554432000 4194304 4797429 140734055974064 18446744073709551615 260020056773 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14549/statm: 64435 47362 351 148 0 59364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 257740

[startup+1.50094 s]
/proc/loadavg: 7.58 7.99 7.92 3/178 14556
/proc/meminfo: memFree=16231212/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=565716 CPUtime=1.98 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 104585 0 0 0 187 11 0 0 18 0 4 0 593606698 579293184 75542 33554432000 4194304 4797429 140734055974064 18446744073709551615 4427262 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 141429 75542 376 148 0 136358 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 565716

[startup+3.10062 s]
/proc/loadavg: 7.58 7.99 7.92 6/181 14560
/proc/meminfo: memFree=16013196/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=976804 CPUtime=8.36 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 112073 0 0 0 823 13 0 0 20 0 4 0 593606698 1000247296 80250 33554432000 4194304 4797429 140734055974064 18446744073709551615 4427914 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 244201 80250 384 148 0 239130 0
[pid=14549/tid=14557] ppid=14547 vsize=976804 CPUtime=1.75 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 2074 0 0 0 174 1 0 0 20 0 4 0 593606832 1000247296 80250 33554432000 4194304 4797429 140734055974064 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=976804 CPUtime=1.76 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 2205 0 0 0 176 0 0 0 20 0 4 0 593606832 1000247296 80250 33554432000 4194304 4797429 140734055974064 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=976804 CPUtime=1.75 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 1880 0 0 0 175 0 0 0 20 0 4 0 593606832 1000247296 80250 33554432000 4194304 4797429 140734055974064 18446744073709551615 4429692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.36
Current children cumulated vsize (KiB) 976804

[startup+6.30103 s]
/proc/loadavg: 7.61 7.99 7.92 9/184 14563
/proc/meminfo: memFree=15951428/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=979476 CPUtime=21.14 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 112682 0 0 0 2101 13 0 0 25 0 4 0 593606698 1002983424 80859 33554432000 4194304 4797429 140734055974064 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 244869 80859 384 148 0 239798 0
[pid=14549/tid=14557] ppid=14547 vsize=979476 CPUtime=4.95 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 2203 0 0 0 494 1 0 0 25 0 4 0 593606832 1002983424 80859 33554432000 4194304 4797429 140734055974064 18446744073709551615 4427299 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=979476 CPUtime=4.95 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 2339 0 0 0 495 0 0 0 25 0 4 0 593606832 1002983424 80859 33554432000 4194304 4797429 140734055974064 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=979476 CPUtime=4.93 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 2012 0 0 0 493 0 0 0 25 0 4 0 593606832 1002983424 80859 33554432000 4194304 4797429 140734055974064 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.14
Current children cumulated vsize (KiB) 979476

[startup+12.7009 s]
/proc/loadavg: 7.64 7.99 7.92 9/184 14563
/proc/meminfo: memFree=15821400/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=1350208 CPUtime=46.7 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 194812 0 0 0 4641 29 0 0 25 0 4 0 593606698 1382612992 160849 33554432000 4194304 4797429 140734055974064 18446744073709551615 4360128 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 337552 160849 385 148 0 332481 0
[pid=14549/tid=14557] ppid=14547 vsize=1350208 CPUtime=11.34 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 20356 0 0 0 1130 4 0 0 18 0 4 0 593606832 1382612992 160849 33554432000 4194304 4797429 140734055974064 18446744073709551615 4360136 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=1350208 CPUtime=11.35 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 22599 0 0 0 1131 4 0 0 25 0 4 0 593606832 1382612992 160849 33554432000 4194304 4797429 140734055974064 18446744073709551615 4643213 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=1350208 CPUtime=11.29 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 21109 0 0 0 1125 4 0 0 18 0 4 0 593606832 1382612992 160849 33554432000 4194304 4797429 140734055974064 18446744073709551615 4360128 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.7
Current children cumulated vsize (KiB) 1350208

[startup+25.5005 s]
/proc/loadavg: 7.72 7.99 7.92 9/184 14563
/proc/meminfo: memFree=13890612/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=2134708 CPUtime=97.79 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 365849 0 0 0 9712 67 0 0 25 0 4 0 593606698 2185940992 329794 33554432000 4194304 4797429 140734055974064 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 533677 329794 421 148 0 528606 0
[pid=14549/tid=14557] ppid=14547 vsize=2134708 CPUtime=24.12 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 64381 0 0 0 2397 15 0 0 25 0 4 0 593606832 2185940992 329794 33554432000 4194304 4797429 140734055974064 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=2134708 CPUtime=24.14 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 62126 0 0 0 2403 11 0 0 25 0 4 0 593606832 2185940992 329794 33554432000 4194304 4797429 140734055974064 18446744073709551615 4413841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=2134708 CPUtime=24.01 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 64597 0 0 0 2387 14 0 0 25 0 4 0 593606832 2185940992 329794 33554432000 4194304 4797429 140734055974064 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 97.79
Current children cumulated vsize (KiB) 2134708

[startup+51.1008 s]
/proc/loadavg: 7.82 7.99 7.92 9/184 14564
/proc/meminfo: memFree=12599820/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=3063000 CPUtime=200.03 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 591166 0 0 0 19894 109 0 0 25 0 4 0 593606698 3136512000 542500 33554432000 4194304 4797429 140734055974064 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 765750 542500 420 148 0 760679 0
[pid=14549/tid=14557] ppid=14547 vsize=3063000 CPUtime=49.72 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 134941 0 0 0 4943 29 0 0 25 0 4 0 593606832 3136512000 542500 33554432000 4194304 4797429 140734055974064 18446744073709551615 4524541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=3063000 CPUtime=49.75 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 145298 0 0 0 4949 26 0 0 25 0 4 0 593606832 3136512000 542500 33554432000 4194304 4797429 140734055974064 18446744073709551615 4647986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=3063000 CPUtime=49.46 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 133666 0 0 0 4920 26 0 0 25 0 4 0 593606832 3136512000 542500 33554432000 4194304 4797429 140734055974064 18446744073709551615 4506580 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (KiB) 3063000

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

[startup+76.7011 s]
/proc/loadavg: 7.88 7.99 7.92 9/184 14564
/proc/meminfo: memFree=11482576/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=3533600 CPUtime=302.29 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 776952 0 0 0 30091 138 0 0 25 0 4 0 593606698 3618406400 650651 33554432000 4194304 4797429 140734055974064 18446744073709551615 4426003 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 883400 650651 421 148 0 878329 0
[pid=14549/tid=14557] ppid=14547 vsize=3533600 CPUtime=75.32 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 176088 0 0 0 7495 37 0 0 25 0 4 0 593606832 3618406400 650651 33554432000 4194304 4797429 140734055974064 18446744073709551615 4638471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=3533600 CPUtime=75.34 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 216556 0 0 0 7498 36 0 0 25 0 4 0 593606832 3618406400 650651 33554432000 4194304 4797429 140734055974064 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=3533600 CPUtime=74.92 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 203704 0 0 0 7456 36 0 0 25 0 4 0 593606832 3618406400 650651 33554432000 4194304 4797429 140734055974064 18446744073709551615 4647984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 302.29
Current children cumulated vsize (KiB) 3533600

[startup+83.1009 s]
/proc/loadavg: 7.89 7.99 7.92 9/184 14565
/proc/meminfo: memFree=11133208/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=3711776 CPUtime=327.26 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) S 14547 14549 13969 0 -1 4202496 812384 0 0 0 32582 144 0 0 20 0 4 0 593606698 3800858624 681783 33554432000 4194304 4797429 140734055974064 18446744073709551615 260032224881 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 927944 681783 422 148 0 922873 0
[pid=14549/tid=14557] ppid=14547 vsize=3711776 CPUtime=81.72 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 186406 0 0 0 8134 38 0 0 18 0 4 0 593606832 3800858624 681783 33554432000 4194304 4797429 140734055974064 18446744073709551615 4427266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=3711776 CPUtime=81.75 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 233983 0 0 0 8135 40 0 0 25 0 4 0 593606832 3800858624 681783 33554432000 4194304 4797429 140734055974064 18446744073709551615 4428023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=3711776 CPUtime=81.28 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 211220 0 0 0 8091 37 0 0 18 0 4 0 593606832 3800858624 681783 33554432000 4194304 4797429 140734055974064 18446744073709551615 4242465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 327.26
Current children cumulated vsize (KiB) 3711776

[startup+86.3004 s]
/proc/loadavg: 7.82 7.97 7.91 8/184 14565
/proc/meminfo: memFree=10951792/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=3774240 CPUtime=336.86 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) S 14547 14549 13969 0 -1 4202496 834118 0 0 0 33539 147 0 0 15 0 4 0 593606698 3864821760 699785 33554432000 4194304 4797429 140734055974064 18446744073709551615 260032224881 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 943560 699785 422 148 0 938489 0
[pid=14549/tid=14557] ppid=14547 vsize=3774240 CPUtime=84.92 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) R 14547 14549 13969 0 -1 4202560 192414 0 0 0 8453 39 0 0 18 0 4 0 593606832 3864821760 699785 33554432000 4194304 4797429 140734055974064 18446744073709551615 4241772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=3774240 CPUtime=84.94 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) R 14547 14549 13969 0 -1 4202560 242665 0 0 0 8453 41 0 0 25 0 4 0 593606832 3864821760 699785 33554432000 4194304 4797429 140734055974064 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=3774240 CPUtime=84.47 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 218264 0 0 0 8410 37 0 0 18 0 4 0 593606832 3864821760 699785 33554432000 4194304 4797429 140734055974064 18446744073709551615 4240453 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 336.86
Current children cumulated vsize (KiB) 3774240

[startup+87.9011 s]
/proc/loadavg: 7.82 7.97 7.91 6/184 14565
/proc/meminfo: memFree=10791088/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=3791648 CPUtime=339.33 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) S 14547 14549 13969 0 -1 4202496 838525 0 0 0 33785 148 0 0 15 0 4 0 593606698 3882647552 704192 33554432000 4194304 4797429 140734055974064 18446744073709551615 260032224881 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 947912 704192 422 148 0 942841 0
[pid=14549/tid=14557] ppid=14547 vsize=3791648 CPUtime=85.48 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) S 14547 14549 13969 0 -1 4202560 193236 0 0 0 8509 39 0 0 18 0 4 0 593606832 3882647552 704192 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702324 0 0 4096 2 18446604453906836160 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=3791648 CPUtime=85.25 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) S 14547 14549 13969 0 -1 4202560 242851 0 0 0 8484 41 0 0 25 0 4 0 593606832 3882647552 704192 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702324 0 0 4096 2 18446604453906836160 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=3791648 CPUtime=86.08 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 221663 0 0 0 8570 38 0 0 20 0 4 0 593606832 3882647552 704192 33554432000 4194304 4797429 140734055974064 18446744073709551615 4226016 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 339.33
Current children cumulated vsize (KiB) 3791648

[startup+88.7009 s]
/proc/loadavg: 7.82 7.97 7.91 6/184 14565
/proc/meminfo: memFree=10791088/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=3800864 CPUtime=340.13 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) S 14547 14549 13969 0 -1 4202496 840662 0 0 0 33865 148 0 0 15 0 4 0 593606698 3892084736 706329 33554432000 4194304 4797429 140734055974064 18446744073709551615 260032224881 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 950216 706334 422 148 0 945145 0
[pid=14549/tid=14557] ppid=14547 vsize=3800864 CPUtime=85.48 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) S 14547 14549 13969 0 -1 4202560 193236 0 0 0 8509 39 0 0 18 0 4 0 593606832 3892084736 706339 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702324 0 0 4096 2 18446604453906836160 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=3800864 CPUtime=85.25 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) S 14547 14549 13969 0 -1 4202560 242851 0 0 0 8484 41 0 0 25 0 4 0 593606832 3892084736 706339 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702324 0 0 4096 2 18446604453906836160 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=3800864 CPUtime=86.87 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4202560 223810 0 0 0 8649 38 0 0 22 0 4 0 593606832 3892084736 706339 33554432000 4194304 4797429 140734055974064 18446744073709551615 4256375 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 340.13
Current children cumulated vsize (KiB) 3800864

[startup+89.1068 s]
/proc/loadavg: 7.82 7.97 7.91 6/184 14565
/proc/meminfo: memFree=10729460/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=3492024 CPUtime=340.83 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 841081 0 0 0 33935 148 0 0 16 0 4 0 593606698 3575832576 685614 33554432000 4194304 4797429 140734055974064 18446744073709551615 4406140 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 873006 685614 426 148 0 867935 0
[pid=14549/tid=14557] ppid=14547 vsize=3492024 CPUtime=85.58 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) S 14547 14549 13969 0 -1 4202560 193236 0 0 0 8519 39 0 0 18 0 4 0 593606832 3575832576 685614 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702730 0 0 4096 2 18446604453906836160 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=3492024 CPUtime=85.35 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) S 14547 14549 13969 0 -1 4202560 242851 0 0 0 8494 41 0 0 18 0 4 0 593606832 3575832576 685614 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702730 0 0 4096 2 18446604453906836160 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=3492024 CPUtime=87.1 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) S 14547 14549 13969 0 -1 4202560 224214 0 0 0 8672 38 0 0 23 0 4 0 593606832 3575832576 685614 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702730 0 0 4096 2 18446604453906836160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 340.83
Current children cumulated vsize (KiB) 3492024

[startup+89.3008 s]
/proc/loadavg: 7.82 7.97 7.91 6/184 14565
/proc/meminfo: memFree=10729460/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=2930912 CPUtime=341.02 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) R 14547 14549 13969 0 -1 4202496 841081 0 0 0 33952 150 0 0 16 0 4 0 593606698 3001253888 579988 33554432000 4194304 4797429 140734055974064 18446744073709551615 260020051147 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 732728 579988 426 148 0 727657 0
[pid=14549/tid=14557] ppid=14547 vsize=2930912 CPUtime=85.58 cores=0,2,4,6
/proc/14549/task/14557/stat : 14557 (techdemo) S 14547 14549 13969 0 -1 4202560 193236 0 0 0 8519 39 0 0 18 0 4 0 593606832 3001253888 579988 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702730 0 0 4096 2 18446604453906836160 0 0 -1 2 0 0 0
[pid=14549/tid=14558] ppid=14547 vsize=2930912 CPUtime=85.35 cores=0,2,4,6
/proc/14549/task/14558/stat : 14558 (techdemo) S 14547 14549 13969 0 -1 4202560 242851 0 0 0 8494 41 0 0 18 0 4 0 593606832 3001253888 579988 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702730 0 0 4096 2 18446604453906836160 0 0 -1 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=2930912 CPUtime=87.1 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) S 14547 14549 13969 0 -1 4202560 224214 0 0 0 8672 38 0 0 23 0 4 0 593606832 3001253888 579988 33554432000 4194304 4797429 140734055974064 18446744073709551615 47073827702730 0 0 4096 2 18446604453906836160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 341.02
Current children cumulated vsize (KiB) 2930912

[startup+89.4009 s]
/proc/loadavg: 7.82 7.97 7.91 6/184 14565
/proc/meminfo: memFree=10729460/32951124 swapFree=67111528/67111528
[pid=14549] ppid=14547 vsize=0 CPUtime=341.12 cores=0,2,4,6
/proc/14549/stat : 14549 (techdemo) Z 14547 14549 13969 0 -1 4202524 841082 0 0 0 33957 155 0 0 16 0 2 0 593606698 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14549/statm: 0 0 0 0 0 0 0
[pid=14549/tid=14559] ppid=14547 vsize=0 CPUtime=87.14 cores=0,2,4,6
/proc/14549/task/14559/stat : 14559 (techdemo) R 14547 14549 13969 0 -1 4203588 224214 0 0 0 8672 42 0 0 19 0 2 0 593606832 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 341.12
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 89.4573
CPU time (s): 341.188
CPU user time (s): 339.574
CPU system time (s): 1.61375
CPU usage (%): 381.398
Max. virtual memory (cumulated for all children) (KiB): 3802912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 339.574
system time used= 1.61375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841082
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= 12256
involuntary context switches= 1936

runsolver used 0.135979 second user time and 0.352946 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 01:36:01
IDJOB=3283168
IDBENCH=71003
IDSOLVER=1584
FILE ID=node110/3283168-1304033761
RUNJOBID= node110-1304032556-14441
PBS_JOBID= 13170342
Free space on /tmp= 72816 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283168-1304033761/watcher-3283168-1304033761 -o /tmp/evaluation-result-3283168-1304033761/solver-3283168-1304033761 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3283168-1304033761.cnf

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

MD5SUM BENCH= ef1df882c8a642421a1d0216a16bf652
RANDOM SEED=1895095649

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16719700 kB
Buffers:       2332632 kB
Cached:       13260008 kB
SwapCached:          0 kB
Active:        7812076 kB
Inactive:      7849716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16719700 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           31420 kB
Writeback:           0 kB
AnonPages:       68084 kB
Mapped:          14540 kB
Slab:           506964 kB
PageTables:       4616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193452 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= 72796 MiB
End job on node110 at 2011-04-29 01:37:31