Trace number 3369604

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-1-mt (fixed)UNSAT 63.4604 16.4267

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F17.cnf
MD5SUM4f20f237857124f0eb214df627f84b82
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.1971
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses69700
Sum of the clauses size326536
Maximum clause length45
Minimum clause length1
Number of clauses of size 132
Number of clauses of size 217506
Number of clauses of size 312802
Number of clauses of size 46698
Number of clauses of size 59775
Number of clauses of size over 522887

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
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 WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369604-1305414896.cnf'
0.00/0.00	c -- header says num vars:           6664
0.00/0.00	c -- header says num clauses:       69700
0.00/0.03	c -- clauses added:            0 learnts,        69700 normals,            0 xors
0.00/0.03	c -- vars added       6664
0.00/0.03	c Parsing time:  0.07 s
0.00/0.03	c  N st     0         0      6664     52125     16248         0    322357         0   no data   no data  --
1.17/0.33	c asymm  cl-useful: 5/8238/51426 lits-rem:5 time: 1.20
1.56/0.49	c Flit:    27 Blit:      0 bXBeca:    0 bXProp:  101 Bins:      0 BRemL:      0 BRemN:      0 P:  6.9M T:  0.59
1.56/0.49	c Replacing      101 vars Replaced    33096 lits Time:     0.03 s 
1.97/0.51	c bin-w-bin subsume rem          583 bins  time:  0.01 s
1.97/0.52	c subs with bin:     1468  lits-rem:       268  v-fix:    0  time:  0.03 s
1.97/0.54	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   5821 time:  0.06 s
1.97/0.55	c Removed useless bin:      16  fixed:     0  props:   1.41M  time:  0.04 s
3.17/0.82	c lits-rem:         0  cl-subs:      674  v-elim:    897  v-fix:    0  time:  1.09 s
3.17/0.83	c Finding binary XORs  T:     0.02 s  found:       0
3.17/0.86	c Finding non-binary XORs:     0.11 s (found:       0, avg size: nan)
3.17/0.86	c calculated reachability. Time: 0.00
3.17/0.86	c Calc default polars -  time:   0.01 s pos:     198 undec:    1740 neg:    4726
3.17/0.86	c =========================================================================================
3.17/0.86	c types(t): F = full restart, N = normal restart
3.17/0.86	c types(t): S = simplification begin/end, E = solution found
3.17/0.86	c restart types(rt): st = static, dy = dynamic
3.17/0.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.86	c  B st     0         0      4924     50884     12516         0    328114         0   no data   no data  --
3.97/1.05	c  N dy    18      4091      4923     50884     12638      3917    328111    105897      7.60      8.06  --
4.81/1.27	c  N dy    42      8175      4922     50884     13146      7867    328111    204165      7.65      8.09  --
5.55/1.48	c  N dy    62     12177      4904     50884     13203      7577    328111    155284      7.89     15.36  --
6.75/1.74	c  N dy    84     16190      4904     50884     13355     11474    328111    262831      7.95      8.85  --
7.96/2.00	c  N dy   111     20223      4895     50884     13537      8600    328111    130000      8.10      8.57  --
8.80/2.26	c Finding binary XORs  T:     0.02 s  found:       1
8.80/2.29	c  N dy   138     24295      4893     50767     13400     12373    327207    250217      8.25      8.74  --
9.20/2.35	c  F st   142     25001      4893     50767     13515     13072    327207    273287      8.23      8.14  --
9.20/2.36	c Replacing        1 vars Replaced       12 lits Time:     0.01 s 
10.34/2.65	c  N st   147     28298      4875     50738     13502     16094    326872    406158      8.23   no data  --
10.74/2.79	c  S st   148     30000      4873     50738     13506      9366    326872    146348      8.23   no data  --
11.14/2.85	c  S st   148     30501      4873     50738     13632      9839    326872    155088      8.23   no data  --
11.14/2.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.14/2.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.73/3.26	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    3 Bins:  10288 BRemL:    229 BRemN:      0 P: 11.2M T:  1.62
12.73/3.27	c Replacing        3 vars Replaced     1295 lits Time:     0.04 s 
12.73/3.29	c bin-w-bin subsume rem          336 bins  time:  0.01 s
13.17/3.35	c subs with bin:     1222  lits-rem:      5750  v-fix:    0  time:  0.22 s
13.17/3.36	c Subs w/ non-existent bins:     28 l-rem:   1568 v-fix:     0 done:   2780 time:  0.06 s
13.17/3.37	c Removed useless bin:       6  fixed:     0  props:   0.54M  time:  0.02 s
17.97/4.51	c lits-rem:       666  cl-subs:     3203  v-elim:     81  v-fix:    0  time:  4.54 s
19.11/4.85	c asymm  cl-useful: 8/7653/48522 lits-rem:9 time: 1.36
19.11/4.86	c calculated reachability. Time: 0.01
19.11/4.86	c  N dy   148     30501      4783     48522     22746      7626    312429    118382      8.23   no data  --
19.11/4.86	c Finding binary XORs  T:     0.02 s  found:       0
20.31/5.17	c  N dy   179     34528      4781     48522     22755     11605    312429    243461      8.42      8.93  --
21.95/5.52	c  N dy   200     38593      4773     48522     22805     15614    312429    366146      8.41      8.95  --
23.50/5.93	c  N dy   220     42627      4736     48522     22955     19597    312429    496863      8.45      9.98  --
24.69/6.21	c  S st   240     45751      4715     47094     22125     12060    302440    218452      8.47   no data  --
24.69/6.28	c  S st   240     46254      4714     47094     22131     12556    302440    228062      8.47   no data  --
24.69/6.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
24.69/6.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.33/6.61	c Flit:    16 Blit:      1 bXBeca:    0 bXProp:    4 Bins:   1719 BRemL:    963 BRemN:      2 P: 11.3M T:  1.31
26.33/6.62	c Replacing        4 vars Replaced     2998 lits Time:     0.04 s 
26.33/6.64	c bin-w-bin subsume rem           50 bins  time:  0.01 s
26.73/6.73	c subs with bin:     1674  lits-rem:      4136  v-fix:    0  time:  0.35 s
26.73/6.75	c Subs w/ non-existent bins:     52 l-rem:   1490 v-fix:     0 done:   3799 time:  0.07 s
26.73/6.75	c Removed useless bin:       1  fixed:     0  props:   0.52M  time:  0.02 s
32.27/8.16	c lits-rem:       732  cl-subs:     3571  v-elim:     91  v-fix:    0  time:  5.60 s
32.27/8.17	c vivif2 --  cl tried    45192 cl shrink      194 lits rem        276 time: 0.06
32.27/8.18	c vivif2 --  cl tried     8778 cl shrink      749 lits rem       2188 time: 0.03
33.87/8.54	c asymm  cl-useful: 6/9909/45192 lits-rem:6 time: 1.45
33.87/8.55	c calculated reachability. Time: 0.01
33.87/8.55	c  N dy   240     46254      4602     45192     21877      8777    292505    124678      8.47   no data  --
33.87/8.55	c Finding binary XORs  T:     0.02 s  found:       0
35.11/8.89	c  N dy   265     50340      4600     45192     24353     12813    292505    253892      8.50      8.97  --
36.65/9.27	c  N dy   293     54512      4506     44196     23228     16570    284993    376660      8.56      9.06  --
38.65/9.72	c  N dy   312     58595      4500     44196     23304     20580    284991    510422      8.56     10.93  --
38.65/9.73	c Finding binary XORs  T:     0.02 s  found:      39
39.90/10.09	c  N dy   343     62669      4498     44187     23147     13721    284866    229947      8.65     13.96  --
41.04/10.39	c  N dy   360     66766      4483     44187     23160     17775    284864    342615      8.66     11.62  --
42.24/10.64	c  S st   373     69382      4479     44187     23174     20342    284864    414854      8.66      5.07  --
42.64/10.73	c  S st   373     69884      4479     44187     23177     20838    284864    426458      8.66   no data  --
42.64/10.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
42.64/10.73	c Cache  BProp: 31 Set: 21 BXProp: 0 T: 0.00
45.03/11.30	c Flit:    44 Blit:     17 bXBeca:    0 bXProp:   72 Bins:   4914 BRemL:   2718 BRemN:     17 P: 16.8M T:  2.24
45.03/11.33	c Replacing      111 vars Replaced    60992 lits Time:     0.10 s 
45.03/11.36	c bin-w-bin subsume rem          908 bins  time:  0.01 s
45.84/11.58	c subs with bin:     4737  lits-rem:     17412  v-fix:    0  time:  0.87 s
45.84/11.59	c Subs w/ non-existent bins:    227 l-rem:   4802 v-fix:     0 done:    907 time:  0.08 s
46.23/11.60	c Removed useless bin:      91  fixed:     0  props:   0.44M  time:  0.02 s
54.21/13.67	c lits-rem:      2159  cl-subs:    10416  v-elim:    175  v-fix:    0  time:  8.23 s
54.21/13.68	c vivif2 --  cl tried    36058 cl shrink      490 lits rem       1176 time: 0.06
54.21/13.70	c vivif2 --  cl tried    11153 cl shrink     3191 lits rem       8532 time: 0.06
55.41/13.93	c asymm  cl-useful: 195/10252/36052 lits-rem:575 time: 0.94
55.41/13.94	c calculated reachability. Time: 0.01
55.41/13.94	c  N dy   373     69884      4079     35862     21777     11100    233445    172263      8.66   no data  --
55.41/13.94	c Finding binary XORs  T:     0.02 s  found:       6
57.05/14.32	c  N dy   389     74389      4074     35862     22669     15527    233444    289477      8.60      9.10  --
58.99/14.81	c  N dy   411     79403      4013     35794     23010     19994    232464    415339      8.58      9.04  --
60.19/15.12	c Finding binary XORs  T:     0.02 s  found:      32
60.99/15.31	c  E dy   428     84284      3959     34698     21573     12872    224422    180566      8.52      4.15  --
63.41/16.41	c Following stats are for *FIRST FINISHED THREAD ONLY*
63.41/16.41	c num threads              : 4          
63.41/16.41	c restarts                 : 428        
63.41/16.41	c dynamic restarts         : 416        
63.41/16.41	c static restarts          : 12         
63.41/16.41	c full restarts            : 1          
63.41/16.41	c total simplify time      : 0.23       
63.41/16.41	c learnts DL2              : 0          
63.41/16.41	c learnts size 2           : 41430      
63.41/16.41	c learnts size 1           : 1877        (28.17     % of vars)
63.41/16.41	c filedLit time            : 5.79        (9.14      % time)
63.41/16.41	c v-elim SatELite          : 1244        (18.67     % vars)
63.41/16.41	c SatELite time            : 19.28       (30.45     % time)
63.41/16.41	c v-elim xor               : 0           (0.00      % vars)
63.41/16.41	c xor elim time            : 0.04        (0.06      % time)
63.41/16.41	c num binary xor trees     : 175        
63.41/16.41	c binxor trees' crown      : 258         (1.47      leafs/tree)
63.41/16.41	c bin xor find time        : 0.14       
63.41/16.41	c OTF clause improved      : 867         (0.01      clauses/conflict)
63.41/16.41	c OTF impr. size diff      : 1235        (1.42       lits/clause)
63.41/16.41	c OTF cl watch-shrink      : 54476       (0.65      clauses/conflict)
63.41/16.41	c OTF cl watch-sh-lit      : 197868      (3.63       lits/clause)
63.41/16.41	c tried to recurMin cls    : 36617       (43.44      % of conflicts)
63.41/16.41	c updated cache            : 0           (0.00       lits/tried recurMin)
63.41/16.41	c unit cls received        : 68          (3.62      % of units)
63.41/16.41	c unit cls sent            : 187         (9.96      % of units)
63.41/16.41	c bin cls received         : 5878       
63.41/16.41	c bin cls sent             : 16888      
63.41/16.41	c clauses over max glue    : 0           (0.00      % of all clauses)
63.41/16.41	c conflicts                : 84284       (1331.28   / sec)
63.41/16.41	c decisions                : 157753      (2.27      % random)
63.41/16.41	c bogo-props               : 536368747   (8472051.33 / sec)
63.41/16.41	c conflict literals        : 2460349     (37.20     % deleted)
63.41/16.41	c Memory used              : 301.97      MB
63.41/16.41	c single-thread CPU time   : 63.31       s
63.41/16.41	c all-threads sum CPU time : 63.31       s
63.41/16.41	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-3369604-1305414896/watcher-3369604-1305414896 -o /tmp/evaluation-result-3369604-1305414896/solver-3369604-1305414896 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369604-1305414896.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: 4.06 5.05 6.50 6/388 29143
/proc/meminfo: memFree=26581308/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=275660 CPUtime=0.02 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 2987 0 0 0 2 0 0 0 25 0 4 0 653088353 282275840 2799 33554432000 4194304 4650419 140735798042016 18446744073709551615 4319087 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 68915 2803 344 112 0 63880 0
[pid=29143/tid=29144] ppid=29141 vsize=275660 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 279 0 0 0 0 0 0 0 25 0 4 0 653088353 282275840 2814 33554432000 4194304 4650419 140735798042016 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=275660 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 766 0 0 0 0 0 0 0 25 0 4 0 653088353 282275840 2820 33554432000 4194304 4650419 140735798042016 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=275660 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 764 0 0 0 0 0 0 0 25 0 4 0 653088353 282275840 2824 33554432000 4194304 4650419 140735798042016 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.113331 s]
/proc/loadavg: 4.06 5.05 6.50 6/388 29143
/proc/meminfo: memFree=26581308/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=291132 CPUtime=0.42 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 8556 0 0 0 40 2 0 0 25 0 4 0 653088353 298119168 8130 33554432000 4194304 4650419 140735798042016 18446744073709551615 4369123 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 72783 8130 369 112 0 67748 0
[pid=29143/tid=29144] ppid=29141 vsize=291132 CPUtime=0.09 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 1940 0 0 0 9 0 0 0 25 0 4 0 653088353 298119168 8130 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=291132 CPUtime=0.1 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2054 0 0 0 10 0 0 0 25 0 4 0 653088353 298119168 8130 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=291132 CPUtime=0.1 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2075 0 0 0 10 0 0 0 25 0 4 0 653088353 298119168 8130 33554432000 4194304 4650419 140735798042016 18446744073709551615 4334464 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 291132

[startup+0.200318 s]
/proc/loadavg: 4.06 5.05 6.50 6/388 29143
/proc/meminfo: memFree=26581308/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=291132 CPUtime=0.77 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 8827 0 0 0 75 2 0 0 25 0 4 0 653088353 298119168 8401 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 72783 8401 369 112 0 67748 0
[pid=29143/tid=29144] ppid=29141 vsize=291132 CPUtime=0.18 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2010 0 0 0 18 0 0 0 25 0 4 0 653088353 298119168 8401 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=291132 CPUtime=0.19 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2067 0 0 0 19 0 0 0 25 0 4 0 653088353 298119168 8401 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=291132 CPUtime=0.18 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2247 0 0 0 18 0 0 0 25 0 4 0 653088353 298119168 8401 33554432000 4194304 4650419 140735798042016 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 291132

[startup+0.300302 s]
/proc/loadavg: 4.06 5.05 6.50 6/388 29143
/proc/meminfo: memFree=26581308/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=291264 CPUtime=1.17 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 9041 0 0 0 115 2 0 0 25 0 4 0 653088353 298254336 8615 33554432000 4194304 4650419 140735798042016 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 72816 8615 369 112 0 67781 0
[pid=29143/tid=29144] ppid=29141 vsize=291264 CPUtime=0.28 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2044 0 0 0 28 0 0 0 25 0 4 0 653088353 298254336 8615 33554432000 4194304 4650419 140735798042016 18446744073709551615 4369886 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=291264 CPUtime=0.29 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2102 0 0 0 29 0 0 0 25 0 4 0 653088353 298254336 8615 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=291264 CPUtime=0.28 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 2357 0 0 0 28 0 0 0 25 0 4 0 653088353 298254336 8615 33554432000 4194304 4650419 140735798042016 18446744073709551615 4364412 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 291264

[startup+0.700236 s]
/proc/loadavg: 4.06 5.05 6.50 6/388 29143
/proc/meminfo: memFree=26581308/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=317988 CPUtime=2.76 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 24591 0 0 0 271 5 0 0 25 0 4 0 653088353 325619712 20377 33554432000 4194304 4650419 140735798042016 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 79497 20377 390 112 0 74462 0
[pid=29143/tid=29144] ppid=29141 vsize=317988 CPUtime=0.68 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 6703 0 0 0 67 1 0 0 25 0 4 0 653088353 325619712 20377 33554432000 4194304 4650419 140735798042016 18446744073709551615 4428555 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=317988 CPUtime=0.69 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 6805 0 0 0 68 1 0 0 25 0 4 0 653088353 325619712 20377 33554432000 4194304 4650419 140735798042016 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=317988 CPUtime=0.68 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 3604 0 0 0 68 0 0 0 25 0 4 0 653088353 325619712 20377 33554432000 4194304 4650419 140735798042016 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 317988

[startup+1.5011 s]
/proc/loadavg: 4.06 5.05 6.50 9/392 29147
/proc/meminfo: memFree=26491004/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=308732 CPUtime=5.95 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 29912 0 0 0 589 6 0 0 25 0 4 0 653088353 316141568 21378 33554432000 4194304 4650419 140735798042016 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 77183 21378 393 112 0 72148 0
[pid=29143/tid=29144] ppid=29141 vsize=308732 CPUtime=1.46 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 8262 0 0 0 145 1 0 0 25 0 4 0 653088353 316141568 21378 33554432000 4194304 4650419 140735798042016 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=308732 CPUtime=1.48 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 7909 0 0 0 147 1 0 0 25 0 4 0 653088353 316141568 21378 33554432000 4194304 4650419 140735798042016 18446744073709551615 4331206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=308732 CPUtime=1.49 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 4684 0 0 0 148 1 0 0 25 0 4 0 653088353 316141568 21378 33554432000 4194304 4650419 140735798042016 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 308732

[startup+3.10083 s]
/proc/loadavg: 4.38 5.09 6.51 9/392 29147
/proc/meminfo: memFree=26484184/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=309440 CPUtime=12.33 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 37731 0 0 0 1226 7 0 0 25 0 4 0 653088353 316866560 22194 33554432000 4194304 4650419 140735798042016 18446744073709551615 4227332 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 77360 22194 395 112 0 72325 0
[pid=29143/tid=29144] ppid=29141 vsize=309440 CPUtime=3.05 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 10517 0 0 0 304 1 0 0 25 0 4 0 653088353 316866560 22194 33554432000 4194304 4650419 140735798042016 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=309440 CPUtime=3.08 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 9776 0 0 0 307 1 0 0 25 0 4 0 653088353 316866560 22194 33554432000 4194304 4650419 140735798042016 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=309440 CPUtime=3.09 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 6889 0 0 0 308 1 0 0 25 0 4 0 653088353 316866560 22194 33554432000 4194304 4650419 140735798042016 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 309440

[startup+6.30029 s]
/proc/loadavg: 4.38 5.09 6.51 9/392 29147
/proc/meminfo: memFree=26353984/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=315232 CPUtime=25.09 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 52812 0 0 0 2498 11 0 0 25 0 4 0 653088353 322797568 34063 33554432000 4194304 4650419 140735798042016 18446744073709551615 4369186 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 78808 34063 395 112 0 73773 0
[pid=29143/tid=29144] ppid=29141 vsize=315232 CPUtime=6.21 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 13006 0 0 0 619 2 0 0 25 0 4 0 653088353 322797568 34063 33554432000 4194304 4650419 140735798042016 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=315232 CPUtime=6.28 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 12063 0 0 0 626 2 0 0 25 0 4 0 653088353 322797568 34063 33554432000 4194304 4650419 140735798042016 18446744073709551615 4361018 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=315232 CPUtime=6.28 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 14438 0 0 0 625 3 0 0 25 0 4 0 653088353 322797568 34063 33554432000 4194304 4650419 140735798042016 18446744073709551615 4369198 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 315232

[startup+12.7002 s]
/proc/loadavg: 4.67 5.14 6.52 9/392 29147
/proc/meminfo: memFree=26324724/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=303880 CPUtime=50.62 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 65003 0 0 0 5049 13 0 0 25 0 4 0 653088353 311173120 40861 33554432000 4194304 4650419 140735798042016 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 75970 40861 395 112 0 70935 0
[pid=29143/tid=29144] ppid=29141 vsize=303880 CPUtime=12.54 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 15418 0 0 0 1251 3 0 0 25 0 4 0 653088353 311173120 40861 33554432000 4194304 4650419 140735798042016 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=303880 CPUtime=12.68 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 14921 0 0 0 1266 2 0 0 25 0 4 0 653088353 311173120 40861 33554432000 4194304 4650419 140735798042016 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=303880 CPUtime=12.69 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 18874 0 0 0 1265 4 0 0 25 0 4 0 653088353 311173120 40861 33554432000 4194304 4650419 140735798042016 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 303880

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

[startup+12.8012 s]
/proc/loadavg: 4.67 5.14 6.52 9/392 29147
/proc/meminfo: memFree=26324724/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=303880 CPUtime=51.02 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 65039 0 0 0 5089 13 0 0 25 0 4 0 653088353 311173120 40897 33554432000 4194304 4650419 140735798042016 18446744073709551615 4439441 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 75970 40897 395 112 0 70935 0
[pid=29143/tid=29144] ppid=29141 vsize=303880 CPUtime=12.64 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 15448 0 0 0 1261 3 0 0 25 0 4 0 653088353 311173120 40897 33554432000 4194304 4650419 140735798042016 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=303880 CPUtime=12.78 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 14921 0 0 0 1276 2 0 0 25 0 4 0 653088353 311173120 40897 33554432000 4194304 4650419 140735798042016 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=303880 CPUtime=12.79 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 18880 0 0 0 1275 4 0 0 25 0 4 0 653088353 311173120 40897 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 303880

[startup+14.4139 s]
/proc/loadavg: 4.94 5.19 6.53 9/392 29147
/proc/meminfo: memFree=26311704/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=303880 CPUtime=57.45 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 67355 0 0 0 5732 13 0 0 25 0 4 0 653088353 311173120 41288 33554432000 4194304 4650419 140735798042016 18446744073709551615 4364346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 75970 41288 395 112 0 70935 0
[pid=29143/tid=29144] ppid=29141 vsize=303880 CPUtime=14.23 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 16490 0 0 0 1420 3 0 0 25 0 4 0 653088353 311173120 41288 33554432000 4194304 4650419 140735798042016 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=303880 CPUtime=14.39 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 15228 0 0 0 1437 2 0 0 25 0 4 0 653088353 311173120 41288 33554432000 4194304 4650419 140735798042016 18446744073709551615 4315074 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=303880 CPUtime=14.4 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 19547 0 0 0 1436 4 0 0 25 0 4 0 653088353 311173120 41288 33554432000 4194304 4650419 140735798042016 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (KiB) 303880

[startup+15.2008 s]
/proc/loadavg: 4.94 5.19 6.53 9/392 29147
/proc/meminfo: memFree=26311704/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=309216 CPUtime=60.59 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 68486 0 0 0 6046 13 0 0 25 0 4 0 653088353 316637184 41086 33554432000 4194304 4650419 140735798042016 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 77304 41086 395 112 0 72269 0
[pid=29143/tid=29144] ppid=29141 vsize=309216 CPUtime=15.01 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 16793 0 0 0 1498 3 0 0 25 0 4 0 653088353 316637184 41086 33554432000 4194304 4650419 140735798042016 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=309216 CPUtime=15.18 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 15809 0 0 0 1516 2 0 0 25 0 4 0 653088353 316637184 41086 33554432000 4194304 4650419 140735798042016 18446744073709551615 4366245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=309216 CPUtime=15.19 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 19547 0 0 0 1515 4 0 0 25 0 4 0 653088353 316637184 41086 33554432000 4194304 4650419 140735798042016 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (KiB) 309216

[startup+16.0007 s]
/proc/loadavg: 4.94 5.19 6.53 9/392 29147
/proc/meminfo: memFree=26307984/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=309216 CPUtime=62.61 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 68806 0 0 0 6247 14 0 0 25 0 4 0 653088353 316637184 41406 33554432000 4194304 4650419 140735798042016 18446744073709551615 47529953191467 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 77304 41406 395 112 0 72269 0
[pid=29143/tid=29144] ppid=29141 vsize=309216 CPUtime=15.22 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) S 29141 29143 28704 0 -1 4202560 16830 0 0 0 1519 3 0 0 25 0 4 0 653088353 316637184 41406 33554432000 4194304 4650419 140735798042016 18446744073709551615 47529953216052 0 0 4096 2 18446604446519377984 0 0 -1 4 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=309216 CPUtime=15.38 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) S 29141 29143 28704 0 -1 4202560 15859 0 0 0 1536 2 0 0 25 0 4 0 653088353 316637184 41406 33554432000 4194304 4650419 140735798042016 18446744073709551615 47529953216052 0 0 4096 2 18446604446519377984 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=309216 CPUtime=15.99 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 19780 0 0 0 1595 4 0 0 25 0 4 0 653088353 316637184 41406 33554432000 4194304 4650419 140735798042016 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 62.61
Current children cumulated vsize (KiB) 309216

[startup+16.4006 s]
/proc/loadavg: 4.94 5.19 6.53 9/392 29147
/proc/meminfo: memFree=26307984/32950928 swapFree=44388876/67111528
[pid=29143] ppid=29141 vsize=309216 CPUtime=63.41 cores=0,2,4,6
/proc/29143/stat : 29143 (strangenight1-m) R 29141 29143 28704 0 -1 4202496 68807 0 0 0 6327 14 0 0 25 0 4 0 653088353 316637184 41407 33554432000 4194304 4650419 140735798042016 18446744073709551615 47529953191620 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29143/statm: 77304 41407 395 112 0 72269 0
[pid=29143/tid=29144] ppid=29141 vsize=309216 CPUtime=15.22 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (strangenight1-m) S 29141 29143 28704 0 -1 4202560 16830 0 0 0 1519 3 0 0 25 0 4 0 653088353 316637184 41407 33554432000 4194304 4650419 140735798042016 18446744073709551615 47529953216052 0 0 4096 2 18446604446519377984 0 0 -1 4 0 0 0
[pid=29143/tid=29145] ppid=29141 vsize=309216 CPUtime=15.38 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (strangenight1-m) S 29141 29143 28704 0 -1 4202560 15859 0 0 0 1536 2 0 0 25 0 4 0 653088353 316637184 41407 33554432000 4194304 4650419 140735798042016 18446744073709551615 47529953216052 0 0 4096 2 18446604446519377984 0 0 -1 4 0 0 0
[pid=29143/tid=29146] ppid=29141 vsize=309216 CPUtime=16.39 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (strangenight1-m) R 29141 29143 28704 0 -1 4202560 19781 0 0 0 1635 4 0 0 25 0 4 0 653088353 316637184 41407 33554432000 4194304 4650419 140735798042016 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 63.41
Current children cumulated vsize (KiB) 309216

Child status: 20
Real time (s): 16.4267
CPU time (s): 63.4604
CPU user time (s): 63.3124
CPU system time (s): 0.147977
CPU usage (%): 386.324
Max. virtual memory (cumulated for all children) (KiB): 320004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.3124
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68810
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= 1069
involuntary context switches= 330

runsolver used 0.072988 second user time and 0.139978 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-15 01:14:57
IDJOB=3369604
IDBENCH=83438
IDSOLVER=1846
FILE ID=node126/3369604-1305414896
RUNJOBID= node126-1305414889-29090
PBS_JOBID= 13324522
Free space on /tmp= 73304 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369604-1305414896/watcher-3369604-1305414896 -o /tmp/evaluation-result-3369604-1305414896/solver-3369604-1305414896 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369604-1305414896.cnf

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

MD5SUM BENCH= 4f20f237857124f0eb214df627f84b82
RANDOM SEED=189043521

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26581464 kB
Buffers:        263052 kB
Cached:        2463376 kB
SwapCached:      92524 kB
Active:        1198112 kB
Inactive:      4919000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26581464 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           29224 kB
Writeback:           0 kB
AnonPages:     3310868 kB
Mapped:          15840 kB
Slab:           110344 kB
PageTables:      76440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88643296 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= 73296 MiB
End job on node126 at 2011-05-15 01:15:13