Trace number 3369580

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 190.493 49.0306

General information on the benchmark

NameSAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
MD5SUMf0f11935e861485056485b47c5e1a7c3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.08
Satisfiable
(Un)Satisfiability was proved
Number of variables1987351
Number of clauses5963534
Sum of the clauses size14253662
Maximum clause length1155
Minimum clause length1
Number of clauses of size 1109
Number of clauses of size 23971661
Number of clauses of size 31984242
Number of clauses of size 4766
Number of clauses of size 5765
Number of clauses of size over 55991

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369580-1305433643.cnf'
0.00/0.01	c -- header says num vars:        1987351
0.00/0.01	c -- header says num clauses:     5963534
10.76/2.80	c -- clauses added:            0 learnts,      5963534 normals,            0 xors
10.76/2.80	c -- vars added    1987351
10.76/2.80	c Parsing time:  8.77 s
10.76/2.80	c  N st     0         0   1987351   1963829   3945111         0  14109380         0   no data   no data  --
15.15/3.91	c asymm  cl-useful: 1/93/1897171 lits-rem:1 time: 4.11
80.20/20.23	c Flit:  1436 Blit:  59848 bXBeca:    0 bXProp: 9141 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 64.07
81.80/20.68	c Cleaning up after failed var search:     1.74 s 
83.79/21.10	c Replacing     9141 vars Replaced   200846 lits Time:     1.42 s 
87.67/22.19	c bin-w-bin subsume rem          666 bins  time:  1.00 s
91.70/23.18	c subs with bin:      677  lits-rem:      5238  v-fix:    0  time:  3.96 s
161.46/40.61	c Subs w/ non-existent bins:     10 l-rem:     14 v-fix:   244 done:   8451 time: 69.15 s
163.02/41.06	c Removed useless bin:       0  fixed:     0  props:  20.12M  time:  1.77 s
188.45/47.95	c lits-rem:        49  cl-subs:    42866  v-elim: 600682  v-fix:    0  time: 24.66 s
189.05/48.24	c Finding binary XORs  T:     0.56 s  found:   32262
189.65/48.56	c Replacing    32262 vars Replaced   406326 lits Time:     0.63 s 
190.05/48.80	c Calc default polars -  time:   0.23 s pos: 1008976 undec:  900795 neg:   77580
190.05/48.80	c =========================================================================================
190.05/48.80	c types(t): F = full restart, N = normal restart
190.05/48.80	c types(t): S = simplification begin/end, E = solution found
190.05/48.80	c restart types(rt): st = static, dy = dynamic
190.05/48.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
190.05/48.80	c  B st     0         0   1168859   2176000   1892532         0  10748096         0   no data   no data  --
190.25/48.80	c Following stats are for *FIRST FINISHED THREAD ONLY*
190.25/48.80	c num threads              : 4          
190.25/48.80	c restarts                 : 3          
190.25/48.80	c dynamic restarts         : 3          
190.25/48.80	c static restarts          : 0          
190.25/48.80	c full restarts            : 0          
190.25/48.80	c total simplify time      : 2.96       
190.25/48.80	c learnts DL2              : 0          
190.25/48.80	c learnts size 2           : 3953200    
190.25/48.80	c learnts size 1           : 255246      (12.84     % of vars)
190.25/48.80	c filedLit time            : 0.00        (0.00      % time)
190.25/48.80	c v-elim SatELite          : 0           (0.00      % vars)
190.25/48.80	c SatELite time            : 0.00        (0.00      % time)
190.25/48.80	c v-elim xor               : 0           (0.00      % vars)
190.25/48.80	c xor elim time            : 0.00        (0.00      % time)
190.25/48.80	c num binary xor trees     : 4956       
190.25/48.80	c binxor trees' crown      : 11922       (2.41      leafs/tree)
190.25/48.80	c bin xor find time        : 1.84       
190.25/48.80	c OTF clause improved      : 9           (0.03      clauses/conflict)
190.25/48.80	c OTF impr. size diff      : 9           (1.00       lits/clause)
190.25/48.80	c OTF cl watch-shrink      : 78          (0.29      clauses/conflict)
190.25/48.80	c OTF cl watch-sh-lit      : 1391        (17.83      lits/clause)
190.25/48.80	c tried to recurMin cls    : 171         (64.53      % of conflicts)
190.25/48.80	c updated cache            : 892         (5.22       lits/tried recurMin)
190.25/48.80	c unit cls received        : 0           (0.00      % of units)
190.25/48.80	c unit cls sent            : 0           (0.00      % of units)
190.25/48.80	c bin cls received         : 0          
190.25/48.80	c bin cls sent             : 0          
190.25/48.80	c clauses over max glue    : 0           (0.00      % of all clauses)
190.25/48.80	c conflicts                : 265         (1.42      / sec)
190.25/48.80	c decisions                : 3940        (1.24      % random)
190.25/48.80	c bogo-props               : 86646126    (463584.80 / sec)
190.25/48.80	c conflict literals        : 56307       (36.90     % deleted)
190.25/48.80	c Memory used              : 5509.91     MB
190.25/48.80	c single-thread CPU time   : 186.90      s
190.25/48.80	c all-threads sum CPU time : 186.91      s
190.25/48.80	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-3369580-1305433643/watcher-3369580-1305433643 -o /tmp/evaluation-result-3369580-1305433643/solver-3369580-1305433643 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369580-1305433643.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.77 7.84 7.84 5/282 29912
/proc/meminfo: memFree=24289552/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 4 0 635779791 52465664 353 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085936 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 12809 353 303 112 0 7774 0
[pid=29912/tid=29913] ppid=29910 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 635779791 52465664 353 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 635779791 52465664 353 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085932 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 635779791 52465664 353 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.018731 s]
/proc/loadavg: 7.77 7.84 7.84 5/282 29912
/proc/meminfo: memFree=24289552/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=259984 CPUtime=0.03 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 6293 0 0 0 3 0 0 0 18 0 4 0 635779791 266223616 5255 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261313291 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 65050 5258 344 112 0 60015 0
[pid=29912/tid=29913] ppid=29910 vsize=264520 CPUtime=0 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 1577 0 0 0 0 0 0 0 18 0 4 0 635779791 270868480 5746 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261659738 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=266568 CPUtime=0.01 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 1831 0 0 0 1 0 0 0 18 0 4 0 635779791 272965632 6118 33554432000 4194304 4650419 140734743252880 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=266568 CPUtime=0 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 1857 0 0 0 0 0 0 0 18 0 4 0 635779791 272965632 5931 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 259984

[startup+0.105845 s]
/proc/loadavg: 7.77 7.84 7.84 5/282 29912
/proc/meminfo: memFree=24289552/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=425400 CPUtime=0.35 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 61931 0 0 0 24 11 0 0 18 0 4 0 635779791 435609600 44878 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261674410 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 106350 44878 345 112 0 101315 0
[pid=29912/tid=29913] ppid=29910 vsize=425400 CPUtime=0.08 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 15515 0 0 0 5 3 0 0 18 0 4 0 635779791 435609600 44878 33554432000 4194304 4650419 140734743252880 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=425400 CPUtime=0.08 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 15388 0 0 0 6 2 0 0 18 0 4 0 635779791 435609600 44878 33554432000 4194304 4650419 140734743252880 18446744073709551615 4316569 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=427828 CPUtime=0.07 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 15405 0 0 0 5 2 0 0 18 0 4 0 635779791 438095872 44968 33554432000 4194304 4650419 140734743252880 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 425400

[startup+0.317751 s]
/proc/loadavg: 7.77 7.84 7.84 5/282 29912
/proc/meminfo: memFree=24289552/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=1087320 CPUtime=1.16 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 213454 0 0 0 79 37 0 0 18 0 4 0 635779791 1113415680 176725 33554432000 4194304 4650419 140734743252880 18446744073709551615 4362077 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 271830 176213 345 112 0 266795 0
[pid=29912/tid=29913] ppid=29910 vsize=1087320 CPUtime=0.29 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 53322 0 0 0 19 10 0 0 18 0 4 0 635779791 1113415680 176213 33554432000 4194304 4650419 140734743252880 18446744073709551615 4362077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=1087320 CPUtime=0.28 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 53446 0 0 0 19 9 0 0 18 0 4 0 635779791 1113415680 176213 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261659783 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=1087320 CPUtime=0.28 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 53461 0 0 0 19 9 0 0 18 0 4 0 635779791 1113415680 175701 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261659783 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 1087320

[startup+0.700544 s]
/proc/loadavg: 7.77 7.84 7.84 5/282 29912
/proc/meminfo: memFree=24289552/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=1872168 CPUtime=2.57 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) D 29910 29912 29180 0 -1 4202496 462920 0 0 0 169 88 0 0 18 0 4 0 635779791 1917100032 322175 33554432000 4194304 4650419 140734743252880 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 468042 322175 345 112 0 463007 0
[pid=29912/tid=29913] ppid=29910 vsize=1872168 CPUtime=0.64 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 116547 0 0 0 42 22 0 0 18 0 4 0 635779791 1917100032 322175 33554432000 4194304 4650419 140734743252880 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=1872168 CPUtime=0.64 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) D 29910 29912 29180 0 -1 4202560 114423 0 0 0 43 21 0 0 18 0 4 0 635779791 1917100032 322175 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261674410 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=1872168 CPUtime=0.62 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 115495 0 0 0 40 22 0 0 18 0 4 0 635779791 1917100032 322175 33554432000 4194304 4650419 140734743252880 18446744073709551615 4316576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 1872168

[startup+1.50037 s]
/proc/loadavg: 7.77 7.84 7.84 9/286 29916
/proc/meminfo: memFree=22274328/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=2700892 CPUtime=5.63 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 689500 0 0 0 428 135 0 0 18 0 4 0 635779791 2765713408 536305 33554432000 4194304 4650419 140734743252880 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 675223 536306 345 112 0 670188 0
[pid=29912/tid=29913] ppid=29910 vsize=2700892 CPUtime=1.4 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 173659 0 0 0 106 34 0 0 18 0 4 0 635779791 2765713408 536308 33554432000 4194304 4650419 140734743252880 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=2700892 CPUtime=1.4 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 169361 0 0 0 108 32 0 0 18 0 4 0 635779791 2765713408 536310 33554432000 4194304 4650419 140734743252880 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=2700892 CPUtime=1.39 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 172581 0 0 0 104 35 0 0 18 0 4 0 635779791 2765713408 536312 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261285105 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 2700892

[startup+3.1011 s]
/proc/loadavg: 7.77 7.84 7.84 9/286 29916
/proc/meminfo: memFree=21828424/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=3545476 CPUtime=11.97 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 864255 0 0 0 1012 185 0 0 18 0 4 0 635779791 3630567424 707297 33554432000 4194304 4650419 140734743252880 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 886369 707297 367 112 0 881334 0
[pid=29912/tid=29913] ppid=29910 vsize=3545476 CPUtime=2.99 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 216070 0 0 0 251 48 0 0 18 0 4 0 635779791 3630567424 707297 33554432000 4194304 4650419 140734743252880 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=3545476 CPUtime=2.99 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 209866 0 0 0 259 40 0 0 18 0 4 0 635779791 3630567424 707297 33554432000 4194304 4650419 140734743252880 18446744073709551615 4370095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=3545476 CPUtime=2.96 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 221688 0 0 0 248 48 0 0 18 0 4 0 635779791 3630567424 707297 33554432000 4194304 4650419 140734743252880 18446744073709551615 4528498 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 3545476

[startup+6.30053 s]
/proc/loadavg: 7.87 7.86 7.85 10/286 29916
/proc/meminfo: memFree=21237344/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=3618680 CPUtime=24.72 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 952587 0 0 0 2272 200 0 0 25 0 4 0 635779791 3705528320 760130 33554432000 4194304 4650419 140734743252880 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 904670 760130 373 112 0 899635 0
[pid=29912/tid=29913] ppid=29910 vsize=3618680 CPUtime=6.18 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 245050 0 0 0 565 53 0 0 25 0 4 0 635779791 3705528320 760130 33554432000 4194304 4650419 140734743252880 18446744073709551615 4370086 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=3618680 CPUtime=6.19 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 238419 0 0 0 574 45 0 0 25 0 4 0 635779791 3705528320 760130 33554432000 4194304 4650419 140734743252880 18446744073709551615 4246761 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=3618680 CPUtime=6.13 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 223987 0 0 0 564 49 0 0 25 0 4 0 635779791 3705528320 760130 33554432000 4194304 4650419 140734743252880 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.72
Current children cumulated vsize (KiB) 3618680

[startup+12.7004 s]
/proc/loadavg: 7.88 7.86 7.85 9/286 29916
/proc/meminfo: memFree=21241012/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=3618680 CPUtime=50.27 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 953752 0 0 0 4826 201 0 0 25 0 4 0 635779791 3705528320 761295 33554432000 4194304 4650419 140734743252880 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 904670 761295 373 112 0 899635 0
[pid=29912/tid=29913] ppid=29910 vsize=3618680 CPUtime=12.58 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 245383 0 0 0 1205 53 0 0 25 0 4 0 635779791 3705528320 761295 33554432000 4194304 4650419 140734743252880 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=3618680 CPUtime=12.59 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 238752 0 0 0 1214 45 0 0 25 0 4 0 635779791 3705528320 761295 33554432000 4194304 4650419 140734743252880 18446744073709551615 4243840 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=3618680 CPUtime=12.47 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 224153 0 0 0 1198 49 0 0 25 0 4 0 635779791 3705528320 761295 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080060971 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 3618680

[startup+25.5011 s]
/proc/loadavg: 7.91 7.87 7.85 9/286 29917
/proc/meminfo: memFree=20212824/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=4611392 CPUtime=101.17 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 1219300 0 0 0 9852 265 0 0 20 0 4 0 635779791 4722065408 1015256 33554432000 4194304 4650419 140734743252880 18446744073709551615 4550442 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 1152848 1015256 385 112 0 1147813 0
[pid=29912/tid=29913] ppid=29910 vsize=4611392 CPUtime=25.32 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 335842 0 0 0 2454 78 0 0 20 0 4 0 635779791 4722065408 1015256 33554432000 4194304 4650419 140734743252880 18446744073709551615 4550442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=4611392 CPUtime=25.34 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 323240 0 0 0 2474 60 0 0 21 0 4 0 635779791 4722065408 1015256 33554432000 4194304 4650419 140734743252880 18446744073709551615 4446409 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=4611392 CPUtime=25.15 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 224153 0 0 0 2466 49 0 0 25 0 4 0 635779791 4722065408 1015256 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080061124 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 4611392

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

[startup+38.3009 s]
/proc/loadavg: 7.92 7.87 7.85 9/286 29917
/proc/meminfo: memFree=20200508/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=4618340 CPUtime=152.25 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 1221281 0 0 0 14960 265 0 0 25 0 4 0 635779791 4729180160 1001710 33554432000 4194304 4650419 140734743252880 18446744073709551615 4550391 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 1154585 1001710 388 112 0 1149550 0
[pid=29912/tid=29913] ppid=29910 vsize=4618340 CPUtime=38.12 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 335849 0 0 0 3734 78 0 0 25 0 4 0 635779791 4729180160 1001710 33554432000 4194304 4650419 140734743252880 18446744073709551615 4550494 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=4618340 CPUtime=38.13 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 324212 0 0 0 3753 60 0 0 25 0 4 0 635779791 4729180160 1001710 33554432000 4194304 4650419 140734743252880 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=4618340 CPUtime=37.84 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 224153 0 0 0 3735 49 0 0 25 0 4 0 635779791 4729180160 1001710 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080060971 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 152.25
Current children cumulated vsize (KiB) 4618340

[startup+44.7007 s]
/proc/loadavg: 7.93 7.87 7.85 9/286 29917
/proc/meminfo: memFree=19719132/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=5479764 CPUtime=177.73 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 1435167 0 0 0 17459 314 0 0 18 0 4 0 635779791 5611278336 1177365 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261277729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 1369941 1177368 388 112 0 1364906 0
[pid=29912/tid=29913] ppid=29910 vsize=5479764 CPUtime=44.49 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 410568 0 0 0 4351 98 0 0 18 0 4 0 635779791 5611278336 1177370 33554432000 4194304 4650419 140734743252880 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=5479764 CPUtime=44.51 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 419971 0 0 0 4376 75 0 0 18 0 4 0 635779791 5611278336 1177372 33554432000 4194304 4650419 140734743252880 18446744073709551615 4307214 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=5479764 CPUtime=44.18 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 224153 0 0 0 4369 49 0 0 25 0 4 0 635779791 5611278336 1177373 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080061124 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 177.73
Current children cumulated vsize (KiB) 5479764

[startup+46.3005 s]
/proc/loadavg: 7.93 7.87 7.85 8/286 29917
/proc/meminfo: memFree=19310800/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=5642148 CPUtime=183.7 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 1502348 0 0 0 18041 329 0 0 20 0 4 0 635779791 5777559552 1228048 33554432000 4194304 4650419 140734743252880 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 1410537 1228049 388 112 0 1405502 0
[pid=29912/tid=29913] ppid=29910 vsize=5642148 CPUtime=46.09 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 428102 0 0 0 4507 102 0 0 20 0 4 0 635779791 5777559552 1228049 33554432000 4194304 4650419 140734743252880 18446744073709551615 4422696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=5642148 CPUtime=45.7 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) S 29910 29912 29180 0 -1 4202560 427768 0 0 0 4494 76 0 0 20 0 4 0 635779791 5777559552 1228050 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085556 0 0 4096 2 18446604461909007296 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=5642148 CPUtime=45.77 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 224153 0 0 0 4528 49 0 0 25 0 4 0 635779791 5777559552 1228050 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080061124 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 183.7
Current children cumulated vsize (KiB) 5642148

[startup+47.9012 s]
/proc/loadavg: 7.93 7.87 7.85 8/286 29917
/proc/meminfo: memFree=19299268/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=5576612 CPUtime=188.45 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 1534063 0 0 0 18511 334 0 0 25 0 4 0 635779791 5710450688 1229824 33554432000 4194304 4650419 140734743252880 18446744073709551615 254261272533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 1394153 1229824 388 112 0 1389118 0
[pid=29912/tid=29913] ppid=29910 vsize=5576612 CPUtime=47.64 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) S 29910 29912 29180 0 -1 4202560 447440 0 0 0 4660 104 0 0 25 0 4 0 635779791 5710450688 1229824 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085556 0 0 4096 2 18446604461909007296 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=5576612 CPUtime=45.7 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) S 29910 29912 29180 0 -1 4202560 427768 0 0 0 4494 76 0 0 20 0 4 0 635779791 5710450688 1229824 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085556 0 0 4096 2 18446604461909007296 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=5576612 CPUtime=47.37 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 224153 0 0 0 4688 49 0 0 25 0 4 0 635779791 5710450688 1229824 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080060971 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 188.45
Current children cumulated vsize (KiB) 5576612

[startup+48.7011 s]
/proc/loadavg: 7.93 7.87 7.85 7/286 29917
/proc/meminfo: memFree=19310924/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=5642148 CPUtime=190.05 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) R 29910 29912 29180 0 -1 4202496 1548199 0 0 0 18669 336 0 0 25 0 4 0 635779791 5777559552 1243960 33554432000 4194304 4650419 140734743252880 18446744073709551615 4300548 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 1410537 1243960 388 112 0 1405502 0
[pid=29912/tid=29913] ppid=29910 vsize=5642148 CPUtime=47.64 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) S 29910 29912 29180 0 -1 4202560 447440 0 0 0 4660 104 0 0 25 0 4 0 635779791 5777559552 1243960 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085556 0 0 4096 2 18446604461909007296 0 0 -1 1 0 0 0
[pid=29912/tid=29914] ppid=29910 vsize=5642148 CPUtime=45.7 cores=1,3,5,7
/proc/29912/task/29914/stat : 29914 (strangenight1-m) S 29910 29912 29180 0 -1 4202560 427768 0 0 0 4494 76 0 0 20 0 4 0 635779791 5777559552 1243960 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080085556 0 0 4096 2 18446604461909007296 0 0 -1 3 0 0 0
[pid=29912/tid=29915] ppid=29910 vsize=5642148 CPUtime=48.17 cores=1,3,5,7
/proc/29912/task/29915/stat : 29915 (strangenight1-m) R 29910 29912 29180 0 -1 4202560 224153 0 0 0 4768 49 0 0 25 0 4 0 635779791 5777559552 1243960 33554432000 4194304 4650419 140734743252880 18446744073709551615 47050080060971 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (KiB) 5642148

[startup+48.901 s]
/proc/loadavg: 7.93 7.87 7.85 7/286 29917
/proc/meminfo: memFree=19310924/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=0 CPUtime=190.35 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) Z 29910 29912 29180 0 -1 4203548 1548202 0 0 0 18690 345 0 0 25 0 2 0 635779791 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 0 0 0 0 0 0 0
[pid=29912/tid=29913] ppid=29910 vsize=0 CPUtime=47.74 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4203588 447440 0 0 0 4660 114 0 0 18 0 2 0 635779791 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 190.35
Current children cumulated vsize (KiB) 0

[startup+49.001 s]
/proc/loadavg: 7.93 7.87 7.85 7/286 29917
/proc/meminfo: memFree=19310924/32951124 swapFree=67057896/67111528
[pid=29912] ppid=29910 vsize=0 CPUtime=190.45 cores=1,3,5,7
/proc/29912/stat : 29912 (strangenight1-m) Z 29910 29912 29180 0 -1 4203548 1548202 0 0 0 18690 355 0 0 25 0 2 0 635779791 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29912/statm: 0 0 0 0 0 0 0
[pid=29912/tid=29913] ppid=29910 vsize=0 CPUtime=47.84 cores=1,3,5,7
/proc/29912/task/29913/stat : 29913 (strangenight1-m) R 29910 29912 29180 0 -1 4203588 447440 0 0 0 4660 124 0 0 18 0 2 0 635779791 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 190.45
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 49.0306
CPU time (s): 190.493
CPU user time (s): 186.906
CPU system time (s): 3.58745
CPU usage (%): 388.519
Max. virtual memory (cumulated for all children) (KiB): 5679060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.906
system time used= 3.58745
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1548202
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= 73419
involuntary context switches= 1383

runsolver used 0.134979 second user time and 0.318951 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-15 06:27:25
IDJOB=3369580
IDBENCH=88172
IDSOLVER=1846
FILE ID=node140/3369580-1305433643
RUNJOBID= node140-1305433533-29854
PBS_JOBID= 13324604
Free space on /tmp= 73380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369580-1305433643/watcher-3369580-1305433643 -o /tmp/evaluation-result-3369580-1305433643/solver-3369580-1305433643 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369580-1305433643.cnf

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

MD5SUM BENCH= f0f11935e861485056485b47c5e1a7c3
RANDOM SEED=1006234288

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      24289956 kB
Buffers:        308984 kB
Cached:        4195840 kB
SwapCached:       8056 kB
Active:        5356304 kB
Inactive:      2988276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24289956 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:          127408 kB
Writeback:          20 kB
AnonPages:     3836296 kB
Mapped:          23600 kB
Slab:           230832 kB
PageTables:      22616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46031920 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= 73376 MiB
End job on node140 at 2011-05-15 06:28:14