Trace number 3283170

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 253.625 63.5161

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 Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3283170-1304028709.cnf'
0.00/0.00	c -- header says num vars:         155107
0.00/0.00	c -- header says num clauses:      675624
0.53/0.40	c -- clauses added:            0 learnts,       675624 normals,            0 xors
0.53/0.40	c -- vars added     155107
0.53/0.40	c Parsing time:  0.25 s
0.53/0.40	c  N st     0         0    155107    121638    546615         0   1560264         0   no data   no data
0.53/0.80	c asymm  cl-useful: 9/1330/96468 lits-rem:36 time: 0.48
70.67/17.70	c Flit:   375 Blit:   3632 bXBeca:    0 bXProp: 1404 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 16.90
70.67/17.72	c Cleaning up after failed var search:     0.02 s 
70.67/17.76	c Replacing     1404 vars Replaced    40857 lits Time:     0.03 s 
71.07/17.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.07/17.83	c bin-w-bin subsume rem        18444 bins  time:  0.03 s
71.07/17.89	c subs with bin:     2369  lits-rem:     21807  v-fix:    0  time:  0.06 s
92.24/23.10	c Subs w/ non-existent bins:    581 l-rem:      0 v-fix:     0 done:  29234 time:  5.21 s
93.03/23.39	c Removed useless bin:     667  fixed:     0  props:  20.01M  time:  0.29 s
95.42/23.90	c lits-rem:      1638  cl-subs:     4457  v-elim:  34093  v-fix:    0  time:  0.50 s
95.42/23.93	c Finding binary XORs  T:     0.03 s  found:     547
95.42/23.96	c Replacing      547 vars Replaced     9696 lits Time:     0.03 s 
95.82/24.02	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
95.82/24.02	c calculated reachability. Time: 0.00
95.82/24.03	c Calc default polars -  time:   0.01 s pos:   14023 undec:   93946 neg:   47138
95.82/24.03	c =========================================================================================
95.82/24.03	c types(t): F = full restart, N = normal restart
95.82/24.03	c types(t): S = simplification begin/end, E = solution found
95.82/24.03	c restart types(rt): st = static, dy = dynamic
95.82/24.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
95.82/24.03	c  B st     0         0     74678    134821    242193         0   1013794         0   no data   no data
115.00/28.88	c  N dy    16      4488     69709    128957    224519      4228    943301    714491     15.59     16.45
129.80/32.56	c Finding binary XORs  T:     0.03 s  found:     670
156.54/39.26	c  N dy    30     10216     68497    126224    220518      9707    921120   1762611     14.14     15.38
185.70/46.58	c Finding binary XORs  T:     0.03 s  found:    2801
186.11/46.66	c Replacing     3471 vars Replaced    93572 lits Time:     0.08 s 
218.86/54.86	c  N dy    34     18264     58819    106659    197343     17587    805366   2737031     11.11     11.84
250.41/62.79	c Finding binary XORs  T:     0.03 s  found:     671
250.81/62.83	c Replacing      671 vars Replaced    21152 lits Time:     0.04 s 
253.21/63.49	c  E dy    36     22978     55816     98979    187154      9256    752931    851570     10.16      3.82
253.21/63.49	c Following stats are for *FIRST FINISHED THREAD ONLY*
253.21/63.49	c num threads              : 4          
253.21/63.49	c restarts                 : 36         
253.21/63.49	c dynamic restarts         : 30         
253.21/63.49	c static restarts          : 6          
253.21/63.49	c full restarts            : 0          
253.21/63.49	c total simplify time      : 0.41       
253.21/63.49	c learnts DL2              : 0          
253.21/63.49	c learnts size 2           : 595663     
253.21/63.49	c learnts size 1           : 83142       (53.60     % of vars)
253.21/63.49	c filedLit time            : 16.92       (26.68     % time)
253.21/63.49	c v-elim SatELite          : 34093       (21.98     % vars)
253.21/63.49	c SatELite time            : 5.66        (8.93      % time)
253.21/63.49	c v-elim xor               : 0           (0.00      % vars)
253.21/63.49	c xor elim time            : 0.00        (0.00      % time)
253.21/63.49	c num binary xor trees     : 3651       
253.21/63.49	c binxor trees' crown      : 6093        (1.67      leafs/tree)
253.21/63.49	c bin xor find time        : 0.13       
253.21/63.49	c OTF clause improved      : 302         (0.01      clauses/conflict)
253.21/63.49	c OTF impr. size diff      : 592         (1.96       lits/clause)
253.21/63.49	c OTF cl watch-shrink      : 8563        (0.37      clauses/conflict)
253.21/63.49	c OTF cl watch-sh-lit      : 17864       (2.09       lits/clause)
253.21/63.49	c tried to recurMin cls    : 0           (0.00       % of conflicts)
253.21/63.49	c updated cache            : 0           (nan        lits/tried recurMin)
253.21/63.49	c unit cls recevied        : 1542        (1.85      % of units)
253.21/63.49	c unit cls sent            : 11272       (13.56     % of units)
253.21/63.49	c bin cls recevied         : 8874       
253.21/63.49	c bin cls sent             : 30733      
253.21/63.49	c clauses over max glue    : 0           (0.00      % of all clauses)
253.21/63.49	c conflicts                : 22978       (362.40    / sec)
253.21/63.49	c decisions                : 75264       (0.00      % random)
253.21/63.49	c bogo-props               : 1385166894  (21846555.54 / sec)
253.21/63.49	c conflict literals        : 3267742     (39.41     % deleted)
253.21/63.49	c Memory used              : 715.34      MB
253.21/63.49	c single-thread CPU time   : 63.40       s
253.21/63.49	c all-threads sum CPU time : 253.16      s
253.21/63.49	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-3283170-1304028709/watcher-3283170-1304028709 -o /tmp/evaluation-result-3283170-1304028709/solver-3283170-1304028709 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3283170-1304028709.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: 0.66 0.14 0.04 5/184 26389
/proc/meminfo: memFree=31082696/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=51212 CPUtime=0.01 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 408 0 0 0 1 0 0 0 21 0 4 0 514468831 52441088 347 33554432000 4194304 4627427 140735275069184 18446744073709551615 47601803769778 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 12803 347 299 106 0 7774 0
[pid=26389/tid=26390] ppid=26387 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514468831 52441088 347 33554432000 4194304 4627427 140735275069184 18446744073709551615 47601803769782 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 514468831 52441088 347 33554432000 4194304 4627427 140735275069184 18446744073709551615 47601803769782 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514468831 52441088 347 33554432000 4194304 4627427 140735275069184 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0378649 s]
/proc/loadavg: 0.66 0.14 0.04 5/184 26389
/proc/meminfo: memFree=31082696/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=360592 CPUtime=0.16 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) D 26387 26389 26347 0 -1 4202496 29110 0 0 0 11 5 0 0 18 0 4 0 514468831 369246208 24786 33554432000 4194304 4627427 140735275069184 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 90148 24274 341 106 0 85119 0
[pid=26389/tid=26390] ppid=26387 vsize=360592 CPUtime=0.03 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) D 26387 26389 26347 0 -1 4202560 7147 0 0 0 2 1 0 0 18 0 4 0 514468831 369246208 24274 33554432000 4194304 4627427 140735275069184 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=360592 CPUtime=0.03 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) D 26387 26389 26347 0 -1 4202560 7017 0 0 0 2 1 0 0 18 0 4 0 514468831 369246208 24274 33554432000 4194304 4627427 140735275069184 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=360592 CPUtime=0.02 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) D 26387 26389 26347 0 -1 4202560 7306 0 0 0 2 0 0 0 18 0 4 0 514468831 369246208 23811 33554432000 4194304 4627427 140735275069184 18446744073709551615 271550580871 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 360592

[startup+0.112069 s]
/proc/loadavg: 0.66 0.14 0.04 5/184 26389
/proc/meminfo: memFree=31082696/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=376380 CPUtime=0.53 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 46188 0 0 0 43 10 0 0 18 0 4 0 514468831 385413120 37609 33554432000 4194304 4627427 140735275069184 18446744073709551615 4302894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 94594 40101 341 106 0 89565 0
[pid=26389/tid=26390] ppid=26387 vsize=379888 CPUtime=0.19 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 12655 0 0 0 16 3 0 0 18 0 4 0 514468831 389005312 42588 33554432000 4194304 4627427 140735275069184 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=381208 CPUtime=0.2 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 12943 0 0 0 17 3 0 0 18 0 4 0 514468831 390356992 43804 33554432000 4194304 4627427 140735275069184 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=381472 CPUtime=0.19 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) D 26387 26389 26347 0 -1 4202560 13065 0 0 0 17 2 0 0 18 0 4 0 514468831 390627328 44072 33554432000 4194304 4627427 140735275069184 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 376380

[startup+0.89647 s]
/proc/loadavg: 0.66 0.14 0.04 5/184 26389
/proc/meminfo: memFree=31082696/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=433040 CPUtime=3.53 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 84782 0 0 0 334 19 0 0 18 0 4 0 514468831 443432960 67639 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 108260 67639 368 106 0 103231 0
[pid=26389/tid=26390] ppid=26387 vsize=433040 CPUtime=0.88 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20927 0 0 0 83 5 0 0 18 0 4 0 514468831 443432960 67639 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=433040 CPUtime=0.88 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20920 0 0 0 83 5 0 0 18 0 4 0 514468831 443432960 67639 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=433040 CPUtime=0.87 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 21616 0 0 0 83 4 0 0 18 0 4 0 514468831 443432960 67639 33554432000 4194304 4627427 140735275069184 18446744073709551615 4228450 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 433040

[startup+0.900516 s]
/proc/loadavg: 0.66 0.14 0.04 5/184 26389
/proc/meminfo: memFree=31082696/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=433172 CPUtime=3.55 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 85033 0 0 0 336 19 0 0 18 0 4 0 514468831 443568128 67655 33554432000 4194304 4627427 140735275069184 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 108293 67655 368 106 0 103264 0
[pid=26389/tid=26390] ppid=26387 vsize=433172 CPUtime=0.88 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20927 0 0 0 83 5 0 0 18 0 4 0 514468831 443568128 67655 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=433172 CPUtime=0.89 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20921 0 0 0 84 5 0 0 18 0 4 0 514468831 443568128 67655 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=433172 CPUtime=0.87 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 21864 0 0 0 83 4 0 0 18 0 4 0 514468831 443568128 67655 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 433172

[startup+1.50041 s]
/proc/loadavg: 0.66 0.14 0.04 5/184 26389
/proc/meminfo: memFree=31082696/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=433172 CPUtime=5.96 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 85306 0 0 0 576 20 0 0 19 0 4 0 514468831 443568128 67928 33554432000 4194304 4627427 140735275069184 18446744073709551615 4299583 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 108293 67928 368 106 0 103264 0
[pid=26389/tid=26390] ppid=26387 vsize=433172 CPUtime=1.48 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20939 0 0 0 143 5 0 0 19 0 4 0 514468831 443568128 67928 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=433172 CPUtime=1.49 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20932 0 0 0 144 5 0 0 19 0 4 0 514468831 443568128 67928 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=433172 CPUtime=1.47 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 22112 0 0 0 143 4 0 0 19 0 4 0 514468831 443568128 67928 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308654 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) 433172

[startup+3.10111 s]
/proc/loadavg: 1.33 0.29 0.09 10/188 26393
/proc/meminfo: memFree=30688480/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=433172 CPUtime=12.34 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 86465 0 0 0 1214 20 0 0 24 0 4 0 514468831 443568128 68502 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308135 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 108293 68502 368 106 0 103264 0
[pid=26389/tid=26390] ppid=26387 vsize=433172 CPUtime=3.08 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20944 0 0 0 303 5 0 0 23 0 4 0 514468831 443568128 68502 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=433172 CPUtime=3.09 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20937 0 0 0 304 5 0 0 23 0 4 0 514468831 443568128 68502 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=433172 CPUtime=3.07 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 23252 0 0 0 302 5 0 0 23 0 4 0 514468831 443568128 68502 33554432000 4194304 4627427 140735275069184 18446744073709551615 4321453 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 433172

[startup+6.30053 s]
/proc/loadavg: 1.86 0.42 0.13 9/188 26393
/proc/meminfo: memFree=30653620/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=433172 CPUtime=25.12 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 87697 0 0 0 2491 21 0 0 25 0 4 0 514468831 443568128 69734 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 108293 69734 368 106 0 103264 0
[pid=26389/tid=26390] ppid=26387 vsize=433172 CPUtime=6.28 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20955 0 0 0 623 5 0 0 25 0 4 0 514468831 443568128 69734 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=433172 CPUtime=6.29 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 20949 0 0 0 624 5 0 0 25 0 4 0 514468831 443568128 69734 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=433172 CPUtime=6.24 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 24448 0 0 0 619 5 0 0 25 0 4 0 514468831 443568128 69734 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 433172

[startup+12.7064 s]
/proc/loadavg: 2.35 0.55 0.18 10/188 26394
/proc/meminfo: memFree=30391128/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=466708 CPUtime=50.71 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 91235 0 0 0 5049 22 0 0 25 0 4 0 514468831 477908992 73272 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308141 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 116677 73272 369 106 0 111648 0
[pid=26389/tid=26390] ppid=26387 vsize=466708 CPUtime=12.69 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 21104 0 0 0 1264 5 0 0 25 0 4 0 514468831 477908992 73272 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=466708 CPUtime=12.69 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 21097 0 0 0 1264 5 0 0 25 0 4 0 514468831 477908992 73272 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=466708 CPUtime=12.61 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 27542 0 0 0 1255 6 0 0 25 0 4 0 514468831 477908992 73272 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 466708

[startup+25.501 s]
/proc/loadavg: 3.30 0.81 0.27 9/188 26454
/proc/meminfo: memFree=30943720/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=705076 CPUtime=101.82 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 117523 0 0 0 10156 26 0 0 25 0 4 0 514468831 721997824 99560 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308180 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 176269 99560 386 106 0 171240 0
[pid=26389/tid=26390] ppid=26387 vsize=705076 CPUtime=25.49 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 26197 0 0 0 2543 6 0 0 25 0 4 0 514468831 721997824 99560 33554432000 4194304 4627427 140735275069184 18446744073709551615 4300151 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=705076 CPUtime=25.48 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 29460 0 0 0 2543 5 0 0 25 0 4 0 514468831 721997824 99560 33554432000 4194304 4627427 140735275069184 18446744073709551615 271550196389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=705076 CPUtime=25.35 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 29221 0 0 0 2527 8 0 0 25 0 4 0 514468831 721997824 99560 33554432000 4194304 4627427 140735275069184 18446744073709551615 4330680 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 705076

[startup+51.1004 s]
/proc/loadavg: 5.21 1.51 0.52 9/188 26455
/proc/meminfo: memFree=30702272/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=779292 CPUtime=204.1 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 139447 0 0 0 20376 34 0 0 25 0 4 0 514468831 797995008 113144 33554432000 4194304 4627427 140735275069184 18446744073709551615 4332968 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 194823 113144 387 106 0 189794 0
[pid=26389/tid=26390] ppid=26387 vsize=779292 CPUtime=51.09 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 35597 0 0 0 5101 8 0 0 25 0 4 0 514468831 797995008 113144 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=779292 CPUtime=51.08 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 36460 0 0 0 5100 8 0 0 25 0 4 0 514468831 797995008 113144 33554432000 4194304 4627427 140735275069184 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=779292 CPUtime=50.8 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 32383 0 0 0 5072 8 0 0 25 0 4 0 514468831 797995008 113144 33554432000 4194304 4627427 140735275069184 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 779292

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

[startup+51.7003 s]
/proc/loadavg: 5.21 1.51 0.52 9/188 26455
/proc/meminfo: memFree=30702272/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=779292 CPUtime=206.48 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 139571 0 0 0 20614 34 0 0 25 0 4 0 514468831 797995008 113268 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 194823 113268 387 106 0 189794 0
[pid=26389/tid=26390] ppid=26387 vsize=779292 CPUtime=51.68 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 35639 0 0 0 5160 8 0 0 25 0 4 0 514468831 797995008 113268 33554432000 4194304 4627427 140735275069184 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=779292 CPUtime=51.67 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 36500 0 0 0 5159 8 0 0 25 0 4 0 514468831 797995008 113268 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=779292 CPUtime=51.4 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 32402 0 0 0 5132 8 0 0 25 0 4 0 514468831 797995008 113268 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 206.48
Current children cumulated vsize (KiB) 779292

[startup+58.1011 s]
/proc/loadavg: 5.43 1.62 0.56 9/188 26455
/proc/meminfo: memFree=30662416/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=779292 CPUtime=232.04 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 141902 0 0 0 23168 36 0 0 25 0 4 0 514468831 797995008 115599 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 194823 115599 387 106 0 189794 0
[pid=26389/tid=26390] ppid=26387 vsize=779292 CPUtime=58.09 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 36239 0 0 0 5800 9 0 0 25 0 4 0 514468831 797995008 115599 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=779292 CPUtime=58.08 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 37424 0 0 0 5799 9 0 0 25 0 4 0 514468831 797995008 115599 33554432000 4194304 4627427 140735275069184 18446744073709551615 4321435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=779292 CPUtime=57.77 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 32878 0 0 0 5768 9 0 0 25 0 4 0 514468831 797995008 115599 33554432000 4194304 4627427 140735275069184 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 232.04
Current children cumulated vsize (KiB) 779292

[startup+61.3005 s]
/proc/loadavg: 5.64 1.72 0.60 9/188 26455
/proc/meminfo: memFree=30688080/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=755020 CPUtime=244.82 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 206440 0 0 0 24438 44 0 0 25 0 4 0 514468831 773140480 113384 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 188755 113384 388 106 0 183726 0
[pid=26389/tid=26390] ppid=26387 vsize=755020 CPUtime=61.29 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 36421 0 0 0 6120 9 0 0 25 0 4 0 514468831 773140480 113384 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=755020 CPUtime=61.28 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 37886 0 0 0 6118 10 0 0 25 0 4 0 514468831 773140480 113384 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=755020 CPUtime=60.95 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 95115 0 0 0 6079 16 0 0 25 0 4 0 514468831 773140480 113384 33554432000 4194304 4627427 140735275069184 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 244.82
Current children cumulated vsize (KiB) 755020

[startup+62.9002 s]
/proc/loadavg: 5.64 1.72 0.60 9/188 26455
/proc/meminfo: memFree=30694900/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=732508 CPUtime=251.21 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 208962 0 0 0 25077 44 0 0 25 0 4 0 514468831 750088192 110623 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 183127 110623 388 106 0 178098 0
[pid=26389/tid=26390] ppid=26387 vsize=732508 CPUtime=62.88 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 38709 0 0 0 6279 9 0 0 25 0 4 0 514468831 750088192 110623 33554432000 4194304 4627427 140735275069184 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=732508 CPUtime=62.88 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 37982 0 0 0 6278 10 0 0 25 0 4 0 514468831 750088192 110623 33554432000 4194304 4627427 140735275069184 18446744073709551615 4333037 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=732508 CPUtime=62.54 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 95193 0 0 0 6238 16 0 0 25 0 4 0 514468831 750088192 110623 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 251.21
Current children cumulated vsize (KiB) 732508

[startup+63.3072 s]
/proc/loadavg: 5.64 1.72 0.60 9/188 26455
/proc/meminfo: memFree=30689568/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=732508 CPUtime=252.83 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) R 26387 26389 26347 0 -1 4202496 209268 0 0 0 25239 44 0 0 25 0 4 0 514468831 750088192 110732 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 183127 110732 388 106 0 178098 0
[pid=26389/tid=26390] ppid=26387 vsize=732508 CPUtime=63.29 cores=1,3,5,7
/proc/26389/task/26390/stat : 26390 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 38735 0 0 0 6320 9 0 0 25 0 4 0 514468831 750088192 110732 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=732508 CPUtime=63.29 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 38000 0 0 0 6319 10 0 0 25 0 4 0 514468831 750088192 110732 33554432000 4194304 4627427 140735275069184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=732508 CPUtime=62.94 cores=1,3,5,7
/proc/26389/task/26392/stat : 26392 (strangenight2-m) R 26387 26389 26347 0 -1 4202560 95440 0 0 0 6278 16 0 0 25 0 4 0 514468831 750088192 110732 33554432000 4194304 4627427 140735275069184 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 252.83
Current children cumulated vsize (KiB) 732508

[startup+63.5011 s]
/proc/loadavg: 5.64 1.72 0.60 9/188 26455
/proc/meminfo: memFree=30689568/32951124 swapFree=67111344/67111528
[pid=26389] ppid=26387 vsize=0 CPUtime=253.6 cores=1,3,5,7
/proc/26389/stat : 26389 (strangenight2-m) Z 26387 26389 26347 0 -1 4202524 209322 0 0 0 25315 45 0 0 25 0 2 0 514468831 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26389/statm: 0 0 0 0 0 0 0
[pid=26389/tid=26391] ppid=26387 vsize=0 CPUtime=63.48 cores=1,3,5,7
/proc/26389/task/26391/stat : 26391 (strangenight2-m) R 26387 26389 26347 0 -1 4203588 38032 0 0 0 6338 10 0 0 25 0 2 0 514468831 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 253.6
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 63.5161
CPU time (s): 253.625
CPU user time (s): 253.158
CPU system time (s): 0.467928
CPU usage (%): 399.309
Max. virtual memory (cumulated for all children) (KiB): 803524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.158
system time used= 0.467928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209322
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= 3165
involuntary context switches= 1832

runsolver used 0.093985 second user time and 0.26096 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 00:11:49
IDJOB=3283170
IDBENCH=71003
IDSOLVER=1586
FILE ID=node133/3283170-1304028709
RUNJOBID= node133-1304028687-26367
PBS_JOBID= 13170319
Free space on /tmp= 71868 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283170-1304028709/watcher-3283170-1304028709 -o /tmp/evaluation-result-3283170-1304028709/solver-3283170-1304028709 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3283170-1304028709.cnf

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

MD5SUM BENCH= ef1df882c8a642421a1d0216a16bf652
RANDOM SEED=465783699

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31083720 kB
Buffers:        654692 kB
Cached:         489820 kB
SwapCached:        124 kB
Active:         853456 kB
Inactive:       669152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31083720 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:           33404 kB
Writeback:           0 kB
AnonPages:      377908 kB
Mapped:          15416 kB
Slab:           280524 kB
PageTables:       5380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   604756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71872 MiB
End job on node133 at 2011-04-29 00:12:53