Trace number 3286806

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-mtUNSAT 278.701 69.9337

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
MD5SUMa78f49949ed32c6f8eea9d5e428c909d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.02439
Satisfiable
(Un)Satisfiability was proved
Number of variables350506
Number of clauses878969
Sum of the clauses size2050925
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2585978
Number of clauses of size 3292989
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c 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-3286806-1304041192.cnf'
0.00/0.00	c -- header says num vars:         350506
0.00/0.00	c -- header says num clauses:      878969
1.97/0.62	c -- clauses added:            0 learnts,       878969 normals,            0 xors
1.97/0.62	c -- vars added     350506
1.97/0.62	c Parsing time:  1.49 s
1.97/0.62	c  N st     0         0    350506    292989    585978         0   2050923         0   no data   no data  --
3.94/1.15	c asymm  cl-useful: 0/540/291176 lits-rem:0 time: 2.08
40.27/10.20	c Flit:     0 Blit:   4064 bXBeca:    0 bXProp: 3533 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 35.94
40.27/10.24	c Cleaning up after failed var search:     0.14 s 
40.67/10.32	c Replacing     3533 vars Replaced    45929 lits Time:     0.26 s 
41.06/10.47	c bin-w-bin subsume rem            0 bins  time:  0.14 s
41.46/10.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.46 s
54.24/13.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:  9356 done:  46860 time: 12.47 s
54.64/13.86	c Removed useless bin:     720  fixed:     0  props:  20.00M  time:  0.56 s
58.98/14.92	c lits-rem:         3  cl-subs:        4  v-elim: 113698  v-fix:    0  time:  4.02 s
58.98/14.99	c Finding binary XORs  T:     0.27 s  found:       1
59.39/15.05	c Replacing        1 vars Replaced        9 lits Time:     0.22 s 
60.19/15.24	c Finding non-binary XORs:     0.54 s (found:   42210, avg size: 3.0)
60.19/15.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
60.19/15.28	c Calc default polars -  time:   0.10 s pos:   12777 undec:  173410 neg:  164319
60.19/15.28	c =========================================================================================
60.19/15.28	c types(t): F = full restart, N = normal restart
60.19/15.28	c types(t): S = simplification begin/end, E = solution found
60.19/15.28	c restart types(rt): st = static, dy = dynamic
60.19/15.28	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
60.19/15.28	c  B st     0         0    218040    134926    250165         0   1046524         0   no data   no data  --
79.36/20.03	c Decided on static restart strategy
105.72/26.67	c  N st     8      4913    212278    131913    248932      4434   1028341   3142906   no data   no data  --
158.06/39.72	c Replacing     4572 vars Replaced    76139 lits Time:     1.10 s 
278.32/69.88	c Following stats are for *FIRST FINISHED THREAD ONLY*
278.32/69.88	c num threads              : 4          
278.32/69.88	c restarts                 : 48         
278.32/69.88	c dynamic restarts         : 30         
278.32/69.88	c static restarts          : 18         
278.32/69.88	c full restarts            : 1          
278.32/69.88	c total simplify time      : 1.90       
278.32/69.88	c learnts DL2              : 0          
278.32/69.88	c learnts size 2           : 706847     
278.32/69.88	c learnts size 1           : 135802      (38.74     % of vars)
278.32/69.88	c filedLit time            : 35.82       (12.90     % time)
278.32/69.88	c v-elim SatELite          : 113698      (32.44     % vars)
278.32/69.88	c SatELite time            : 16.20       (5.83      % time)
278.32/69.88	c v-elim xor               : 0           (0.00      % vars)
278.32/69.88	c xor elim time            : 0.22        (0.08      % time)
278.32/69.88	c num binary xor trees     : 4495       
278.32/69.88	c binxor trees' crown      : 60447       (13.45     leafs/tree)
278.32/69.88	c bin xor find time        : 0.68       
278.32/69.88	c OTF clause improved      : 3072        (0.08      clauses/conflict)
278.32/69.88	c OTF impr. size diff      : 4250        (1.38       lits/clause)
278.32/69.88	c OTF cl watch-shrink      : 2485        (0.07      clauses/conflict)
278.32/69.88	c OTF cl watch-sh-lit      : 33745       (13.58      lits/clause)
278.32/69.88	c tried to recurMin cls    : 0           (0.00       % of conflicts)
278.32/69.88	c updated cache            : 0           (nan        lits/tried recurMin)
278.32/69.88	c unit cls received        : 10          (0.01      % of units)
278.32/69.88	c unit cls sent            : 102214      (75.27     % of units)
278.32/69.88	c bin cls received         : 101316     
278.32/69.88	c bin cls sent             : 92970      
278.32/69.88	c clauses over max glue    : 0           (0.00      % of all clauses)
278.32/69.88	c conflicts                : 36491       (131.42    / sec)
278.32/69.88	c decisions                : 689779      (0.15      % random)
278.32/69.88	c bogo-props               : 1413512264  (5090549.88 / sec)
278.32/69.88	c conflict literals        : 10719934    (16.47     % deleted)
278.32/69.88	c Memory used              : 1456.47     MB
278.32/69.88	c single-thread CPU time   : 277.67      s
278.32/69.88	c all-threads sum CPU time : 277.67      s
278.32/69.88	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-3286806-1304041192/watcher-3286806-1304041192 -o /tmp/evaluation-result-3286806-1304041192/solver-3286806-1304041192 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3286806-1304041192.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: 7.64 7.90 7.89 5/180 32602
/proc/meminfo: memFree=17769112/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 417 0 0 0 1 0 0 0 21 0 4 0 515719683 52465664 357 33554432000 4194304 4650419 140735573032416 18446744073709551615 47094763095986 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32602/statm: 12809 357 306 112 0 7774 0
[pid=32602/tid=32603] ppid=32600 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 515719684 52465664 357 33554432000 4194304 4650419 140735573032416 18446744073709551615 47094763095577 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 515719684 52465664 357 33554432000 4194304 4650419 140735573032416 18446744073709551615 47094763095568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 515719684 52465664 357 33554432000 4194304 4650419 140735573032416 18446744073709551615 47094763095577 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0972151 s]
/proc/loadavg: 7.64 7.90 7.89 5/180 32602
/proc/meminfo: memFree=17769112/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=423892 CPUtime=0.3 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) S 32600 32602 32317 0 -1 4202496 35666 0 0 0 21 9 0 0 17 0 4 0 515719683 434065408 27046 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 105973 27069 344 112 0 100938 0
[pid=32602/tid=32603] ppid=32600 vsize=423892 CPUtime=0.07 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) S 32600 32602 32317 0 -1 4202560 9158 0 0 0 5 2 0 0 17 0 4 0 515719684 434065408 27081 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446604445364501184 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=423892 CPUtime=0.07 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 9782 0 0 0 5 2 0 0 18 0 4 0 515719684 434065408 27093 33554432000 4194304 4650419 140735573032416 18446744073709551615 230808863159 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=423892 CPUtime=0.07 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) S 32600 32602 32317 0 -1 4202560 8952 0 0 0 5 2 0 0 17 0 4 0 515719684 434065408 27106 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446604445364501184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 423892

[startup+0.101216 s]
/proc/loadavg: 7.64 7.90 7.89 5/180 32602
/proc/meminfo: memFree=17769112/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=423892 CPUtime=0.31 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) S 32600 32602 32317 0 -1 4202496 36774 0 0 0 22 9 0 0 17 0 4 0 515719683 434065408 28146 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 105973 28164 344 112 0 100938 0
[pid=32602/tid=32603] ppid=32600 vsize=423892 CPUtime=0.07 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 9650 0 0 0 5 2 0 0 17 0 4 0 515719684 434065408 28174 33554432000 4194304 4650419 140735573032416 18446744073709551615 230808863159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=423892 CPUtime=0.07 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) S 32600 32602 32317 0 -1 4202560 10175 0 0 0 5 2 0 0 18 0 4 0 515719684 434065408 28185 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446604445364501184 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=423892 CPUtime=0.07 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) S 32600 32602 32317 0 -1 4202560 9050 0 0 0 5 2 0 0 17 0 4 0 515719684 434065408 28198 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446604445364501184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 423892

[startup+0.301181 s]
/proc/loadavg: 7.64 7.90 7.89 5/180 32602
/proc/meminfo: memFree=17769112/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=512888 CPUtime=0.98 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) S 32600 32602 32317 0 -1 4202496 82464 0 0 0 72 26 0 0 17 0 4 0 515719683 525197312 65258 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 128222 65432 344 112 0 123187 0
[pid=32602/tid=32603] ppid=32600 vsize=512888 CPUtime=0.24 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 22031 0 0 0 18 6 0 0 17 0 4 0 515719684 525197312 65493 33554432000 4194304 4650419 140735573032416 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=512888 CPUtime=0.24 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) S 32600 32602 32317 0 -1 4202560 20943 0 0 0 18 6 0 0 17 0 4 0 515719684 525197312 65752 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809270766 0 0 4096 2 18446604445364501184 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=512888 CPUtime=0.24 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 20742 0 0 0 19 5 0 0 17 0 4 0 515719684 525197312 65930 33554432000 4194304 4650419 140735573032416 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 512888

[startup+0.701111 s]
/proc/loadavg: 7.64 7.90 7.89 5/180 32602
/proc/meminfo: memFree=17769112/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=831168 CPUtime=2.33 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 162227 0 0 0 180 53 0 0 17 0 4 0 515719683 851116032 127718 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 207792 127718 367 112 0 202757 0
[pid=32602/tid=32603] ppid=32600 vsize=831168 CPUtime=0.58 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 41385 0 0 0 45 13 0 0 17 0 4 0 515719684 851116032 127718 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=831168 CPUtime=0.57 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 40251 0 0 0 43 14 0 0 17 0 4 0 515719684 851116032 127718 33554432000 4194304 4650419 140735573032416 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=831168 CPUtime=0.57 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 42738 0 0 0 47 10 0 0 17 0 4 0 515719684 851116032 127718 33554432000 4194304 4650419 140735573032416 18446744073709551615 4528829 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 831168

[startup+1.50096 s]
/proc/loadavg: 7.64 7.90 7.89 9/184 32607
/proc/meminfo: memFree=17256228/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=880532 CPUtime=5.52 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 175739 0 0 0 497 55 0 0 18 0 4 0 515719683 901664768 136076 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 220133 136076 372 112 0 215098 0
[pid=32602/tid=32603] ppid=32600 vsize=880532 CPUtime=1.38 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 45402 0 0 0 124 14 0 0 18 0 4 0 515719684 901664768 136076 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=880532 CPUtime=1.37 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 45206 0 0 0 123 14 0 0 18 0 4 0 515719684 901664768 136076 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=880532 CPUtime=1.37 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 42772 0 0 0 127 10 0 0 18 0 4 0 515719684 901664768 136076 33554432000 4194304 4650419 140735573032416 18446744073709551615 4310788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 880532

[startup+3.10067 s]
/proc/loadavg: 7.64 7.90 7.89 9/184 32607
/proc/meminfo: memFree=17156656/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=882356 CPUtime=11.91 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 176288 0 0 0 1136 55 0 0 21 0 4 0 515719683 903532544 136625 33554432000 4194304 4650419 140735573032416 18446744073709551615 4369286 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 220589 136625 372 112 0 215554 0
[pid=32602/tid=32603] ppid=32600 vsize=882356 CPUtime=2.98 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 45404 0 0 0 284 14 0 0 21 0 4 0 515719684 903532544 136625 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=882356 CPUtime=2.97 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 45210 0 0 0 282 15 0 0 21 0 4 0 515719684 903532544 136625 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=882356 CPUtime=2.97 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 43312 0 0 0 287 10 0 0 21 0 4 0 515719684 903532544 136625 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 882356

[startup+6.30108 s]
/proc/loadavg: 7.67 7.90 7.89 9/184 32607
/proc/meminfo: memFree=17088448/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=915176 CPUtime=24.7 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 176614 0 0 0 2414 56 0 0 25 0 4 0 515719683 937140224 136951 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370872 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 228794 136951 372 112 0 223759 0
[pid=32602/tid=32603] ppid=32600 vsize=915176 CPUtime=6.18 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 45404 0 0 0 604 14 0 0 25 0 4 0 515719684 937140224 136951 33554432000 4194304 4650419 140735573032416 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=915176 CPUtime=6.17 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 45210 0 0 0 602 15 0 0 25 0 4 0 515719684 937140224 136951 33554432000 4194304 4650419 140735573032416 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=915176 CPUtime=6.18 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 43638 0 0 0 607 11 0 0 25 0 4 0 515719684 937140224 136951 33554432000 4194304 4650419 140735573032416 18446744073709551615 4363666 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 915176

[startup+12.7009 s]
/proc/loadavg: 7.70 7.90 7.89 9/184 32607
/proc/meminfo: memFree=16871056/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1091728 CPUtime=50.25 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 218813 0 0 0 4960 65 0 0 21 0 4 0 515719683 1117929472 179150 33554432000 4194304 4650419 140735573032416 18446744073709551615 4550167 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 272932 179150 385 112 0 267897 0
[pid=32602/tid=32603] ppid=32600 vsize=1091728 CPUtime=12.58 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 59704 0 0 0 1241 17 0 0 21 0 4 0 515719684 1117929472 179150 33554432000 4194304 4650419 140735573032416 18446744073709551615 4550167 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1091728 CPUtime=12.56 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 57171 0 0 0 1239 17 0 0 21 0 4 0 515719684 1117929472 179150 33554432000 4194304 4650419 140735573032416 18446744073709551615 4550430 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1091728 CPUtime=12.57 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 44610 0 0 0 1246 11 0 0 25 0 4 0 515719684 1117929472 179150 33554432000 4194304 4650419 140735573032416 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 1091728

[startup+25.5006 s]
/proc/loadavg: 7.76 7.90 7.89 9/184 32607
/proc/meminfo: memFree=16537732/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1397008 CPUtime=101.33 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 286922 0 0 0 10048 85 0 0 25 0 4 0 515719683 1430536192 232383 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315965 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 349252 232383 394 112 0 344217 0
[pid=32602/tid=32603] ppid=32600 vsize=1397008 CPUtime=25.36 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 84614 0 0 0 2512 24 0 0 25 0 4 0 515719684 1430536192 232383 33554432000 4194304 4650419 140735573032416 18446744073709551615 4334468 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1397008 CPUtime=25.35 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 76815 0 0 0 2512 23 0 0 25 0 4 0 515719684 1430536192 232384 33554432000 4194304 4650419 140735573032416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1397008 CPUtime=25.37 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 48054 0 0 0 2525 12 0 0 25 0 4 0 515719684 1430536192 232384 33554432000 4194304 4650419 140735573032416 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 1397008

[startup+51.1009 s]
/proc/loadavg: 7.99 7.94 7.90 9/184 32608
/proc/meminfo: memFree=16391800/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1544520 CPUtime=203.61 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 318135 0 0 0 20269 92 0 0 25 0 4 0 515719683 1581588480 263563 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 386130 263563 394 112 0 381095 0
[pid=32602/tid=32603] ppid=32600 vsize=1544520 CPUtime=50.97 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 91528 0 0 0 5071 26 0 0 25 0 4 0 515719684 1581588480 263563 33554432000 4194304 4650419 140735573032416 18446744073709551615 4314998 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1544520 CPUtime=50.94 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 84552 0 0 0 5069 25 0 0 25 0 4 0 515719684 1581588480 263563 33554432000 4194304 4650419 140735573032416 18446744073709551615 4314968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1544520 CPUtime=50.97 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 57733 0 0 0 5084 13 0 0 25 0 4 0 515719684 1581588480 263563 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 1544520

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

[startup+57.5007 s]
/proc/loadavg: 7.99 7.94 7.90 9/184 32608
/proc/meminfo: memFree=16442628/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1544520 CPUtime=229.18 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 323484 0 0 0 22824 94 0 0 25 0 4 0 515719683 1581588480 268912 33554432000 4194304 4650419 140735573032416 18446744073709551615 4314835 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 386130 268912 394 112 0 381095 0
[pid=32602/tid=32603] ppid=32600 vsize=1544520 CPUtime=57.36 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 92587 0 0 0 5710 26 0 0 25 0 4 0 515719684 1581588480 268912 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1544520 CPUtime=57.34 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 86749 0 0 0 5708 26 0 0 25 0 4 0 515719684 1581588480 268912 33554432000 4194304 4650419 140735573032416 18446744073709551615 4367986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1544520 CPUtime=57.37 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 58481 0 0 0 5724 13 0 0 25 0 4 0 515719684 1581588480 268912 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315186 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 229.18
Current children cumulated vsize (KiB) 1544520

[startup+63.9005 s]
/proc/loadavg: 7.99 7.94 7.90 9/184 32608
/proc/meminfo: memFree=16002172/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1544520 CPUtime=254.75 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 327784 0 0 0 25380 95 0 0 25 0 4 0 515719683 1581588480 273212 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315085 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 386130 273212 394 112 0 381095 0
[pid=32602/tid=32603] ppid=32600 vsize=1544520 CPUtime=63.76 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 93466 0 0 0 6350 26 0 0 25 0 4 0 515719684 1581588480 273212 33554432000 4194304 4650419 140735573032416 18446744073709551615 4367986 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1544520 CPUtime=63.75 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 87860 0 0 0 6348 27 0 0 25 0 4 0 515719684 1581588480 273212 33554432000 4194304 4650419 140735573032416 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1544520 CPUtime=63.77 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 59097 0 0 0 6363 14 0 0 25 0 4 0 515719684 1581588480 273212 33554432000 4194304 4650419 140735573032416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 254.75
Current children cumulated vsize (KiB) 1544520

[startup+67.1069 s]
/proc/loadavg: 7.99 7.94 7.90 9/184 32608
/proc/meminfo: memFree=15905824/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1491424 CPUtime=267.56 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 331938 0 0 0 26660 96 0 0 25 0 4 0 515719683 1527218176 263033 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315064 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 372856 263033 396 112 0 367821 0
[pid=32602/tid=32603] ppid=32600 vsize=1491424 CPUtime=66.97 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 95585 0 0 0 6670 27 0 0 25 0 4 0 515719684 1527218176 263033 33554432000 4194304 4650419 140735573032416 18446744073709551615 4363652 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1491424 CPUtime=66.95 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 88470 0 0 0 6668 27 0 0 25 0 4 0 515719684 1527218176 263033 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1491424 CPUtime=66.98 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 59303 0 0 0 6684 14 0 0 25 0 4 0 515719684 1527218176 263033 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315977 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 267.56
Current children cumulated vsize (KiB) 1491424

[startup+68.7006 s]
/proc/loadavg: 7.99 7.94 7.90 9/184 32608
/proc/meminfo: memFree=15872716/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1491424 CPUtime=273.93 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 333958 0 0 0 27296 97 0 0 25 0 4 0 515719683 1527218176 264375 33554432000 4194304 4650419 140735573032416 18446744073709551615 4314936 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 372856 264375 396 112 0 367821 0
[pid=32602/tid=32603] ppid=32600 vsize=1491424 CPUtime=68.57 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 96386 0 0 0 6830 27 0 0 25 0 4 0 515719684 1527218176 264375 33554432000 4194304 4650419 140735573032416 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1491424 CPUtime=68.55 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 88979 0 0 0 6828 27 0 0 25 0 4 0 515719684 1527218176 264375 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315047 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1491424 CPUtime=68.57 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 59412 0 0 0 6843 14 0 0 25 0 4 0 515719684 1527218176 264375 33554432000 4194304 4650419 140735573032416 18446744073709551615 4314863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 273.93
Current children cumulated vsize (KiB) 1491424

[startup+69.5005 s]
/proc/loadavg: 7.99 7.94 7.90 9/184 32608
/proc/meminfo: memFree=15884112/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=1491424 CPUtime=277.12 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) R 32600 32602 32317 0 -1 4202496 334744 0 0 0 27615 97 0 0 25 0 4 0 515719683 1527218176 265161 33554432000 4194304 4650419 140735573032416 18446744073709551615 4363709 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 372856 265161 396 112 0 367821 0
[pid=32602/tid=32603] ppid=32600 vsize=1491424 CPUtime=69.37 cores=0,2,4,6
/proc/32602/task/32603/stat : 32603 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 96442 0 0 0 6910 27 0 0 25 0 4 0 515719684 1527218176 265161 33554432000 4194304 4650419 140735573032416 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=1491424 CPUtime=69.35 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 89348 0 0 0 6908 27 0 0 25 0 4 0 515719684 1527218176 265161 33554432000 4194304 4650419 140735573032416 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32602/tid=32605] ppid=32600 vsize=1491424 CPUtime=69.37 cores=0,2,4,6
/proc/32602/task/32605/stat : 32605 (strangenight1-m) R 32600 32602 32317 0 -1 4202560 59467 0 0 0 6923 14 0 0 25 0 4 0 515719684 1527218176 265161 33554432000 4194304 4650419 140735573032416 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 277.12
Current children cumulated vsize (KiB) 1491424

[startup+69.9005 s]
/proc/loadavg: 7.99 7.94 7.90 9/184 32608
/proc/meminfo: memFree=15884112/32951124 swapFree=67111528/67111528
[pid=32602] ppid=32600 vsize=0 CPUtime=278.66 cores=0,2,4,6
/proc/32602/stat : 32602 (strangenight1-m) Z 32600 32602 32317 0 -1 4203548 335076 0 0 0 27767 99 0 0 25 0 2 0 515719683 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32602/statm: 0 0 0 0 0 0 0
[pid=32602/tid=32604] ppid=32600 vsize=0 CPUtime=69.75 cores=0,2,4,6
/proc/32602/task/32604/stat : 32604 (strangenight1-m) R 32600 32602 32317 0 -1 4203588 89502 0 0 0 6946 29 0 0 25 0 2 0 515719684 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 278.66
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 69.9337
CPU time (s): 278.701
CPU user time (s): 277.674
CPU system time (s): 1.02684
CPU usage (%): 398.521
Max. virtual memory (cumulated for all children) (KiB): 1544520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 277.674
system time used= 1.02684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335076
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= 30023
involuntary context switches= 1436

runsolver used 0.104984 second user time and 0.247962 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 03:39:52
IDJOB=3286806
IDBENCH=82444
IDSOLVER=1588
FILE ID=node104/3286806-1304041192
RUNJOBID= node104-1304039974-32335
PBS_JOBID= 13170380
Free space on /tmp= 71516 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286806-1304041192/watcher-3286806-1304041192 -o /tmp/evaluation-result-3286806-1304041192/solver-3286806-1304041192 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3286806-1304041192.cnf

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

MD5SUM BENCH= a78f49949ed32c6f8eea9d5e428c909d
RANDOM SEED=1259957061

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17769392 kB
Buffers:       2194928 kB
Cached:       11801056 kB
SwapCached:          0 kB
Active:        2874920 kB
Inactive:     11719904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17769392 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           40296 kB
Writeback:           0 kB
AnonPages:      597512 kB
Mapped:          15480 kB
Slab:           523336 kB
PageTables:       5828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   853604 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= 71512 MiB
End job on node104 at 2011-04-29 03:41:02