Trace number 3286760

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 399.193 102.663

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
MD5SUMceca868d07951273fdc2de08c57f2b6a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.9231
Satisfiable
(Un)Satisfiability was proved
Number of variables259762
Number of clauses656573
Sum of the clauses size1532001
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2437714
Number of clauses of size 3218857
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-3286760-1304041180.cnf'
0.00/0.00	c -- header says num vars:         259762
0.00/0.00	c -- header says num clauses:      656573
3.53/0.92	c -- clauses added:            0 learnts,       656573 normals,            0 xors
3.53/0.92	c -- vars added     259762
3.53/0.92	c Parsing time:  0.98 s
3.53/0.92	c  N st     0         0    259762    218857    437714         0   1531999         0   no data   no data  --
3.53/0.92	c asymm  cl-useful: 0/844/216224 lits-rem:0 time: 1.94
37.11/9.35	c Flit:     0 Blit:   4662 bXBeca:    0 bXProp: 3592 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 33.98
37.11/9.37	c Cleaning up after failed var search:     0.07 s 
37.49/9.41	c Replacing     3592 vars Replaced    46696 lits Time:     0.14 s 
37.88/9.51	c bin-w-bin subsume rem            0 bins  time:  0.08 s
37.88/9.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.30 s
50.29/12.69	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:  9527 done:  47736 time: 12.39 s
51.07/12.81	c Removed useless bin:     418  fixed:     0  props:  20.00M  time:  0.48 s
53.47/13.43	c lits-rem:       107  cl-subs:      108  v-elim:  82958  v-fix:    0  time:  2.43 s
53.47/13.46	c Finding binary XORs  T:     0.14 s  found:       2
53.47/13.49	c Replacing        2 vars Replaced       18 lits Time:     0.12 s 
53.87/13.60	c Finding non-binary XORs:     0.30 s (found:   27383, avg size: 3.0)
53.87/13.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
54.28/13.62	c Calc default polars -  time:   0.04 s pos:   12114 undec:  129524 neg:  118124
54.28/13.62	c =========================================================================================
54.28/13.62	c types(t): F = full restart, N = normal restart
54.28/13.62	c types(t): S = simplification begin/end, E = solution found
54.28/13.62	c restart types(rt): st = static, dy = dynamic
54.28/13.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
54.28/13.62	c  B st     0         0    156387    103180    191181         0    786817         0   no data   no data  --
68.25/17.17	c Decided on static restart strategy
82.63/20.73	c  N st     8      4914    150709    101713    191692      4276    777880   2657013   no data   no data  --
83.03/20.88	c Replacing     3007 vars Replaced    43289 lits Time:     0.50 s 
124.18/31.15	c  N st    10     11296    145636     98272    185732     10393    750696   8705958   no data   no data  --
166.53/41.76	c  N st    11     17039    145636     98272    185732     15953    750696  13325840   no data   no data  --
167.33/41.92	c Finding binary XORs  T:     0.15 s  found:    9115
168.95/42.38	c Replacing    10123 vars Replaced   169970 lits Time:     1.82 s 
224.04/56.10	c  F st    12     25001    117887     87614    165292     14246    646090   8922386   no data   no data  --
224.45/56.26	c  N st    12     25001    117887     87614    165292     14246    646090   8922386   no data   no data  --
225.66/56.59	c Replacing     7891 vars Replaced   207180 lits Time:     1.02 s 
235.23/58.93	c Finding binary XORs  T:     0.12 s  found:    1390
236.03/59.10	c Replacing     2209 vars Replaced    65769 lits Time:     0.65 s 
245.62/61.52	c  N dy    18     30001     88775     76088    141155     18992    538560   7484802   no data   no data  --
245.62/61.52	c  S st    18     30001     88775     76088    141155     18992    538560   7484802   no data   no data  --
246.81/61.88	c  S st    18     30502     88768     76088    141186     19446    538560   7549953   no data   no data  --
247.22/61.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
371.84/93.18	c Flit:    25 Blit:      0 bXBeca:    0 bXProp: 16608 Bins:    192 BRemL:      0 BRemN:      0 P: 200.0M T: 124.25
372.24/93.28	c Replacing    17148 vars Replaced   640064 lits Time:     0.22 s 
372.64/93.33	c bin-w-bin subsume rem           19 bins  time:  0.03 s
372.64/93.37	c subs with bin:        8  lits-rem:      3934  v-fix:    0  time:  0.16 s
373.03/93.45	c Subs w/ non-existent bins:      2 l-rem:    210 v-fix:     0 done:   9785 time:  0.33 s
373.44/93.51	c Removed useless bin:       0  fixed:     0  props:  20.00M  time:  0.20 s
379.85/95.19	c lits-rem:     18116  cl-subs:     7758  v-elim:  29146  v-fix:    0  time:  6.71 s
380.63/95.36	c asymm  cl-useful: 0/12643/13487 lits-rem:0 time: 0.67
380.63/95.36	c  N dy    18     30502     14573     13487     21647     11236    100502    160299   no data   no data  --
398.94/102.58	c Following stats are for *FIRST FINISHED THREAD ONLY*
398.94/102.58	c num threads              : 4          
398.94/102.58	c restarts                 : 36         
398.94/102.58	c dynamic restarts         : 0          
398.94/102.58	c static restarts          : 36         
398.94/102.58	c full restarts            : 2          
398.94/102.58	c total simplify time      : 8.63       
398.94/102.58	c learnts DL2              : 0          
398.94/102.58	c learnts size 2           : 1035351    
398.94/102.58	c learnts size 1           : 87162       (33.55     % of vars)
398.94/102.58	c filedLit time            : 86.87       (21.84     % time)
398.94/102.58	c v-elim SatELite          : 122875      (47.30     % vars)
398.94/102.58	c SatELite time            : 37.18       (9.35      % time)
398.94/102.58	c v-elim xor               : 63          (0.02      % vars)
398.94/102.58	c xor elim time            : 0.25        (0.06      % time)
398.94/102.58	c num binary xor trees     : 4909       
398.94/102.58	c binxor trees' crown      : 45309       (9.23      leafs/tree)
398.94/102.58	c bin xor find time        : 1.10       
398.94/102.58	c OTF clause improved      : 12271       (0.08      clauses/conflict)
398.94/102.58	c OTF impr. size diff      : 12873       (1.05       lits/clause)
398.94/102.58	c OTF cl watch-shrink      : 19982       (0.13      clauses/conflict)
398.94/102.58	c OTF cl watch-sh-lit      : 28893       (1.45       lits/clause)
398.94/102.58	c tried to recurMin cls    : 51385       (34.32      % of conflicts)
398.94/102.58	c updated cache            : 1090        (0.02       lits/tried recurMin)
398.94/102.58	c unit cls received        : 38          (0.04      % of units)
398.94/102.58	c unit cls sent            : 29761       (34.14     % of units)
398.94/102.58	c bin cls received         : 115757     
398.94/102.58	c bin cls sent             : 38374      
398.94/102.58	c clauses over max glue    : 0           (0.00      % of all clauses)
398.94/102.58	c conflicts                : 149741      (376.44    / sec)
398.94/102.58	c decisions                : 1019170     (1.32      % random)
398.94/102.58	c bogo-props               : 1467632762  (3689572.61 / sec)
398.94/102.58	c conflict literals        : 30491619    (7.53      % deleted)
398.94/102.58	c Memory used              : 2022.12     MB
398.94/102.58	c single-thread CPU time   : 397.78      s
398.94/102.58	c all-threads sum CPU time : 397.78      s
398.94/102.58	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-3286760-1304041180/watcher-3286760-1304041180 -o /tmp/evaluation-result-3286760-1304041180/solver-3286760-1304041180 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3286760-1304041180.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.93 7.90 6/180 32572
/proc/meminfo: memFree=16137204/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 515718518 52465664 353 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490030002 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 12809 353 303 112 0 7774 0
[pid=32572/tid=32573] ppid=32570 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515718518 52465664 353 33554432000 4194304 4650419 140733572486000 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 515718518 52465664 353 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490029992 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 515718518 52465664 353 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490030002 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.047358 s]
/proc/loadavg: 7.77 7.93 7.90 6/180 32572
/proc/meminfo: memFree=16137204/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=325696 CPUtime=0.18 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) D 32570 32572 32317 0 -1 4202496 23476 0 0 0 13 5 0 0 18 0 4 0 515718518 333512704 19105 33554432000 4194304 4650419 140733572486000 18446744073709551615 230808862831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 89045 24237 344 112 0 84010 0
[pid=32572/tid=32573] ppid=32570 vsize=356180 CPUtime=0.04 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) D 32570 32572 32317 0 -1 4202560 7315 0 0 0 3 1 0 0 18 0 4 0 515718518 364728320 23942 33554432000 4194304 4650419 140733572486000 18446744073709551615 230809208967 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=356180 CPUtime=0.05 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) D 32570 32572 32317 0 -1 4202560 7338 0 0 0 4 1 0 0 18 0 4 0 515718518 364728320 23942 33554432000 4194304 4650419 140733572486000 18446744073709551615 230809208967 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=356180 CPUtime=0.05 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) D 32570 32572 32317 0 -1 4202560 7247 0 0 0 4 1 0 0 18 0 4 0 515718518 364728320 23942 33554432000 4194304 4650419 140733572486000 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 325696

[startup+0.136062 s]
/proc/loadavg: 7.77 7.93 7.90 6/180 32572
/proc/meminfo: memFree=16137204/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=375328 CPUtime=0.5 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) D 32570 32572 32317 0 -1 4202496 49679 0 0 0 40 10 0 0 18 0 4 0 515718518 384335872 40700 33554432000 4194304 4650419 140733572486000 18446744073709551615 4316340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 93898 41216 344 112 0 88863 0
[pid=32572/tid=32573] ppid=32570 vsize=375592 CPUtime=0.12 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) D 32570 32572 32317 0 -1 4202560 12499 0 0 0 10 2 0 0 18 0 4 0 515718518 384606208 41438 33554432000 4194304 4650419 140733572486000 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=392252 CPUtime=0.12 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 12741 0 0 0 10 2 0 0 18 0 4 0 515718518 401666048 42022 33554432000 4194304 4650419 140733572486000 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=425028 CPUtime=0.12 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 12686 0 0 0 10 2 0 0 18 0 4 0 515718518 435228672 42249 33554432000 4194304 4650419 140733572486000 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 375328

[startup+0.811944 s]
/proc/loadavg: 7.77 7.93 7.90 6/180 32572
/proc/meminfo: memFree=16137204/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=523352 CPUtime=3.17 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 111254 0 0 0 293 24 0 0 18 0 4 0 515718518 535912448 93048 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 130838 93071 369 112 0 125803 0
[pid=32572/tid=32573] ppid=32570 vsize=523352 CPUtime=0.78 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 27612 0 0 0 73 5 0 0 18 0 4 0 515718518 535912448 93079 33554432000 4194304 4650419 140733572486000 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=523352 CPUtime=0.78 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 27828 0 0 0 72 6 0 0 18 0 4 0 515718518 535912448 93092 33554432000 4194304 4650419 140733572486000 18446744073709551615 230808863354 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=523352 CPUtime=0.79 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 28076 0 0 0 73 6 0 0 18 0 4 0 515718518 535912448 93103 33554432000 4194304 4650419 140733572486000 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 523352

[startup+0.900436 s]
/proc/loadavg: 7.77 7.93 7.90 6/180 32572
/proc/meminfo: memFree=16137204/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=514332 CPUtime=3.53 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 118117 0 0 0 327 26 0 0 18 0 4 0 515718518 526675968 96058 33554432000 4194304 4650419 140733572486000 18446744073709551615 4369240 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 128583 96058 372 112 0 123548 0
[pid=32572/tid=32573] ppid=32570 vsize=514332 CPUtime=0.88 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29895 0 0 0 82 6 0 0 18 0 4 0 515718518 526675968 96058 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=514332 CPUtime=0.88 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29849 0 0 0 81 7 0 0 18 0 4 0 515718518 526675968 96058 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370388 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=514332 CPUtime=0.88 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 28077 0 0 0 82 6 0 0 18 0 4 0 515718518 526675968 96058 33554432000 4194304 4650419 140733572486000 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 514332

[startup+1.50033 s]
/proc/loadavg: 7.77 7.93 7.90 9/184 32576
/proc/meminfo: memFree=15748300/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=514332 CPUtime=5.95 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 118121 0 0 0 569 26 0 0 19 0 4 0 515718518 526675968 96062 33554432000 4194304 4650419 140733572486000 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 128583 96062 372 112 0 123548 0
[pid=32572/tid=32573] ppid=32570 vsize=514332 CPUtime=1.48 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29895 0 0 0 142 6 0 0 19 0 4 0 515718518 526675968 96062 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=514332 CPUtime=1.48 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29849 0 0 0 141 7 0 0 19 0 4 0 515718518 526675968 96062 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=514332 CPUtime=1.48 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 28081 0 0 0 142 6 0 0 19 0 4 0 515718518 526675968 96062 33554432000 4194304 4650419 140733572486000 18446744073709551615 4304296 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 514332

[startup+3.10103 s]
/proc/loadavg: 7.77 7.93 7.90 9/184 32576
/proc/meminfo: memFree=15744704/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=514332 CPUtime=12.32 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 118323 0 0 0 1206 26 0 0 23 0 4 0 515718518 526675968 96264 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 128583 96264 372 112 0 123548 0
[pid=32572/tid=32573] ppid=32570 vsize=514332 CPUtime=3.06 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29895 0 0 0 300 6 0 0 24 0 4 0 515718518 526675968 96264 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370354 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=514332 CPUtime=3.08 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29849 0 0 0 301 7 0 0 24 0 4 0 515718518 526675968 96264 33554432000 4194304 4650419 140733572486000 18446744073709551615 4369179 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=514332 CPUtime=3.08 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 28283 0 0 0 302 6 0 0 25 0 4 0 515718518 526675968 96264 33554432000 4194304 4650419 140733572486000 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 514332

[startup+6.30044 s]
/proc/loadavg: 7.79 7.93 7.90 9/184 32576
/proc/meminfo: memFree=15740732/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=547152 CPUtime=25.1 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 119501 0 0 0 2484 26 0 0 25 0 4 0 515718518 560283648 97442 33554432000 4194304 4650419 140733572486000 18446744073709551615 4370273 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 136788 97442 373 112 0 131753 0
[pid=32572/tid=32573] ppid=32570 vsize=547152 CPUtime=6.25 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29897 0 0 0 619 6 0 0 25 0 4 0 515718518 560283648 97442 33554432000 4194304 4650419 140733572486000 18446744073709551615 4369286 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=547152 CPUtime=6.28 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29854 0 0 0 621 7 0 0 25 0 4 0 515718518 560283648 97442 33554432000 4194304 4650419 140733572486000 18446744073709551615 4369106 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=547152 CPUtime=6.28 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 29448 0 0 0 622 6 0 0 25 0 4 0 515718518 560283648 97442 33554432000 4194304 4650419 140733572486000 18446744073709551615 4315047 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 547152

[startup+12.7013 s]
/proc/loadavg: 7.64 7.90 7.89 9/184 32607
/proc/meminfo: memFree=17256596/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=722044 CPUtime=50.67 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 156173 0 0 0 5035 32 0 0 25 0 4 0 515718518 739373056 134114 33554432000 4194304 4650419 140733572486000 18446744073709551615 4506768 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 180511 134114 387 112 0 175476 0
[pid=32572/tid=32573] ppid=32570 vsize=722044 CPUtime=12.61 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 40816 0 0 0 1254 7 0 0 25 0 4 0 515718518 739373056 134114 33554432000 4194304 4650419 140733572486000 18446744073709551615 4550167 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=722044 CPUtime=12.68 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 40803 0 0 0 1260 8 0 0 25 0 4 0 515718518 739373056 134114 33554432000 4194304 4650419 140733572486000 18446744073709551615 4550205 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=722044 CPUtime=12.68 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 33316 0 0 0 1261 7 0 0 25 0 4 0 515718518 739373056 134114 33554432000 4194304 4650419 140733572486000 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 722044

[startup+25.5009 s]
/proc/loadavg: 7.72 7.90 7.89 9/184 32607
/proc/meminfo: memFree=16851588/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=1137264 CPUtime=101.81 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 217198 0 0 0 10138 43 0 0 25 0 4 0 515718518 1164558336 185497 33554432000 4194304 4650419 140733572486000 18446744073709551615 4314936 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 284316 185497 394 112 0 279281 0
[pid=32572/tid=32573] ppid=32570 vsize=1137264 CPUtime=25.35 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 57584 0 0 0 2524 11 0 0 25 0 4 0 515718518 1164558336 185497 33554432000 4194304 4650419 140733572486000 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=1137264 CPUtime=25.47 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 55194 0 0 0 2537 10 0 0 25 0 4 0 515718518 1164558336 185497 33554432000 4194304 4650419 140733572486000 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=1137264 CPUtime=25.47 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 40120 0 0 0 2539 8 0 0 25 0 4 0 515718518 1164558336 185497 33554432000 4194304 4650419 140733572486000 18446744073709551615 4366743 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 1137264

[startup+51.1062 s]
/proc/loadavg: 7.90 7.92 7.90 9/184 32608
/proc/meminfo: memFree=16484768/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=1200468 CPUtime=204.09 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) R 32570 32572 32317 0 -1 4202496 276370 0 0 0 20353 56 0 0 25 0 4 0 515718518 1229279232 205536 33554432000 4194304 4650419 140733572486000 18446744073709551615 4315064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 300117 205536 396 112 0 295082 0
[pid=32572/tid=32573] ppid=32570 vsize=1200468 CPUtime=50.81 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 67674 0 0 0 5069 12 0 0 25 0 4 0 515718518 1229279232 205536 33554432000 4194304 4650419 140733572486000 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=1200468 CPUtime=51.08 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 70079 0 0 0 5095 13 0 0 25 0 4 0 515718518 1229279232 205536 33554432000 4194304 4650419 140733572486000 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=1200468 CPUtime=51.08 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 56534 0 0 0 5096 12 0 0 25 0 4 0 515718518 1229279232 205536 33554432000 4194304 4650419 140733572486000 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 1200468

[startup+102.301 s]
/proc/loadavg: 7.99 7.95 7.91 7/184 32639
/proc/meminfo: memFree=15470560/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=2070648 CPUtime=398.54 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) S 32570 32572 32317 0 -1 4202496 663329 0 0 0 39721 133 0 0 25 0 4 0 515718518 2120343552 431239 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490029620 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 517662 431239 396 112 0 512627 0
[pid=32572/tid=32573] ppid=32570 vsize=2070648 CPUtime=101.78 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 159070 0 0 0 10140 38 0 0 25 0 4 0 515718518 2120343552 431239 33554432000 4194304 4650419 140733572486000 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=2070648 CPUtime=102.27 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 156921 0 0 0 10198 29 0 0 25 0 4 0 515718518 2120343552 431239 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490005188 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=2070648 CPUtime=99.01 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) S 32570 32572 32317 0 -1 4202560 170579 0 0 0 9865 36 0 0 25 0 4 0 515718518 2120343552 431239 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490029620 0 0 4096 2 18446604466516073344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 398.54
Current children cumulated vsize (KiB) 2070648

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

[startup+102.401 s]
/proc/loadavg: 7.99 7.95 7.91 7/184 32639
/proc/meminfo: memFree=15470560/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=2070648 CPUtime=398.74 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) S 32570 32572 32317 0 -1 4202496 663645 0 0 0 39741 133 0 0 25 0 4 0 515718518 2120343552 431555 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490029620 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 517662 431555 396 112 0 512627 0
[pid=32572/tid=32573] ppid=32570 vsize=2070648 CPUtime=101.88 cores=1,3,5,7
/proc/32572/task/32573/stat : 32573 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 159386 0 0 0 10150 38 0 0 25 0 4 0 515718518 2120343552 431555 33554432000 4194304 4650419 140733572486000 18446744073709551615 4438608 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32572/tid=32574] ppid=32570 vsize=2070648 CPUtime=102.37 cores=1,3,5,7
/proc/32572/task/32574/stat : 32574 (strangenight1-m) R 32570 32572 32317 0 -1 4202560 156921 0 0 0 10208 29 0 0 25 0 4 0 515718518 2120343552 431555 33554432000 4194304 4650419 140733572486000 18446744073709551615 4220635 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=2070648 CPUtime=99.01 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) S 32570 32572 32317 0 -1 4202560 170579 0 0 0 9865 36 0 0 25 0 4 0 515718518 2120343552 431555 33554432000 4194304 4650419 140733572486000 18446744073709551615 47538490029620 0 0 4096 2 18446604466516073344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 398.74
Current children cumulated vsize (KiB) 2070648

[startup+102.601 s]
/proc/loadavg: 7.99 7.95 7.91 7/184 32639
/proc/meminfo: memFree=15470560/32951124 swapFree=67111528/67111528
[pid=32572] ppid=32570 vsize=0 CPUtime=399.13 cores=1,3,5,7
/proc/32572/stat : 32572 (strangenight1-m) Z 32570 32572 32317 0 -1 4203548 664315 0 0 0 39778 135 0 0 18 0 2 0 515718518 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32572/statm: 0 0 0 0 0 0 0
[pid=32572/tid=32575] ppid=32570 vsize=0 CPUtime=99.03 cores=1,3,5,7
/proc/32572/task/32575/stat : 32575 (strangenight1-m) R 32570 32572 32317 0 -1 4203588 170579 0 0 0 9865 38 0 0 18 0 2 0 515718518 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 399.13
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 102.663
CPU time (s): 399.193
CPU user time (s): 397.781
CPU system time (s): 1.41279
CPU usage (%): 388.839
Max. virtual memory (cumulated for all children) (KiB): 2070648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.781
system time used= 1.41278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664315
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= 3714
involuntary context switches= 2404

runsolver used 0.159975 second user time and 0.369943 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 03:39:41
IDJOB=3286760
IDBENCH=82435
IDSOLVER=1588
FILE ID=node104/3286760-1304041180
RUNJOBID= node104-1304039974-32336
PBS_JOBID= 13170380
Free space on /tmp= 71528 MiB

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

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

MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=165971443

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:      16137360 kB
Buffers:       2194888 kB
Cached:       11786100 kB
SwapCached:          0 kB
Active:        4506376 kB
Inactive:     11715708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16137360 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17876 kB
Writeback:           0 kB
AnonPages:     2240792 kB
Mapped:          15520 kB
Slab:           522624 kB
PageTables:      10152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3016880 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= 71504 MiB
End job on node104 at 2011-04-29 03:41:23