Trace number 3369617

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 229.308 57.693

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
MD5SUM2a2f6fb35277c8ead36f65de8bb36dbb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark62.1775
Satisfiable
(Un)Satisfiability was proved
Number of variables516641
Number of clauses9436757
Sum of the clauses size20541437
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29079800
Number of clauses of size 3337440
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518000

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	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-3369617-1305393430.cnf'
0.00/0.01	c -- header says num vars:         516641
0.00/0.01	c -- header says num clauses:     9436757
9.45/2.51	c -- clauses added:            0 learnts,      9436757 normals,            0 xors
9.45/2.51	c -- vars added     516641
9.45/2.51	c Parsing time:  8.11 s
9.45/2.51	c  N st     0         0    516641    321663   8129437         0  18415253         0   no data   no data  --
12.28/3.27	c asymm  cl-useful: 519/674/247225 lits-rem:2328 time: 2.92
44.93/11.42	c Flit:   233 Blit:  93807 bXBeca:    0 bXProp:  810 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 32.12
45.33/11.56	c Cleaning up after failed var search:     0.54 s 
46.13/11.74	c Replacing      810 vars Replaced    26619 lits Time:     0.64 s 
49.32/12.52	c bin-w-bin subsume rem          884 bins  time:  2.13 s
53.70/13.69	c subs with bin:        0  lits-rem:       984  v-fix:    0  time:  4.67 s
66.06/16.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  23829 time: 11.96 s
66.86/16.94	c Removed useless bin:    6590  fixed:     0  props:  20.02M  time:  0.90 s
73.25/18.52	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  6.31 s
73.68/18.63	c Finding binary XORs  T:     0.42 s  found:    2248
74.09/18.79	c Replacing     2248 vars Replaced   277404 lits Time:     0.67 s 
75.23/19.03	c Finding non-binary XORs:     0.41 s (found:       0, avg size: nan)
75.23/19.03	c Calc default polars -  time:   0.24 s pos:    2958 undec:  253132 neg:  260551
75.23/19.03	c =========================================================================================
75.23/19.03	c types(t): F = full restart, N = normal restart
75.23/19.03	c types(t): S = simplification begin/end, E = solution found
75.23/19.03	c restart types(rt): st = static, dy = dynamic
75.23/19.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
75.23/19.03	c  B st     0         0    263509    182514   4342283         0   9902860         0   no data   no data  --
121.93/30.71	c  N dy    17      4154    216192    149057   3305548      3661   7601129   2007974     11.60     12.29  --
188.12/47.32	c  N dy    28      8468    213273    146819   3241471      7572   7456664   4816522      9.45     10.03  --
229.14/57.62	c Following stats are for *FIRST FINISHED THREAD ONLY*
229.14/57.62	c num threads              : 4          
229.14/57.62	c restarts                 : 15         
229.14/57.62	c dynamic restarts         : 15         
229.14/57.62	c static restarts          : 0          
229.14/57.62	c full restarts            : 0          
229.14/57.62	c total simplify time      : 3.66       
229.14/57.62	c learnts DL2              : 0          
229.14/57.62	c learnts size 2           : 8139930    
229.14/57.62	c learnts size 1           : 321615      (62.25     % of vars)
229.14/57.62	c filedLit time            : 0.00        (0.00      % time)
229.14/57.62	c v-elim SatELite          : 0           (0.00      % vars)
229.14/57.62	c SatELite time            : 0.00        (0.00      % time)
229.14/57.62	c v-elim xor               : 0           (0.00      % vars)
229.14/57.62	c xor elim time            : 0.00        (0.00      % time)
229.14/57.62	c num binary xor trees     : 2812       
229.14/57.62	c binxor trees' crown      : 3063        (1.09      leafs/tree)
229.14/57.62	c bin xor find time        : 0.48       
229.14/57.62	c OTF clause improved      : 130         (0.01      clauses/conflict)
229.14/57.62	c OTF impr. size diff      : 587         (4.52       lits/clause)
229.14/57.62	c OTF cl watch-shrink      : 9555        (0.57      clauses/conflict)
229.14/57.62	c OTF cl watch-sh-lit      : 441006      (46.15      lits/clause)
229.14/57.62	c tried to recurMin cls    : 12259       (72.97      % of conflicts)
229.14/57.62	c updated cache            : 71396       (5.82       lits/tried recurMin)
229.14/57.62	c unit cls received        : 1071        (0.33      % of units)
229.14/57.62	c unit cls sent            : 303520      (94.37     % of units)
229.14/57.62	c bin cls received         : 1415       
229.14/57.62	c bin cls sent             : 7855       
229.14/57.62	c clauses over max glue    : 0           (0.00      % of all clauses)
229.14/57.62	c conflicts                : 16799       (73.82     / sec)
229.14/57.62	c decisions                : 181398      (1.46      % random)
229.14/57.62	c bogo-props               : 672689781   (2956067.29 / sec)
229.14/57.62	c conflict literals        : 10447579    (34.77     % deleted)
229.14/57.62	c Memory used              : 2111.57     MB
229.14/57.62	c single-thread CPU time   : 227.56      s
229.14/57.62	c all-threads sum CPU time : 227.57      s
229.14/57.62	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-3369617-1305393430/watcher-3369617-1305393430 -o /tmp/evaluation-result-3369617-1305393430/solver-3369617-1305393430 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369617-1305393430.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: 3.62 4.17 5.55 5/388 27387
/proc/meminfo: memFree=26442380/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=51236 CPUtime=0.03 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 416 0 0 0 3 0 0 0 23 0 4 0 650942200 52465664 356 33554432000 4194304 4650419 140736560408944 18446744073709551615 47519572641305 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27387/statm: 12809 356 306 112 0 7774 0
[pid=27387/tid=27388] ppid=27385 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 4 0 650942200 52465664 356 33554432000 4194304 4650419 140736560408944 18446744073709551615 47519572641305 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 650942200 52465664 356 33554432000 4194304 4650419 140736560408944 18446744073709551615 47519572641714 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 4 0 650942200 52465664 356 33554432000 4194304 4650419 140736560408944 18446744073709551615 47519572641305 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0556191 s]
/proc/loadavg: 3.62 4.17 5.55 5/388 27387
/proc/meminfo: memFree=26442380/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=298828 CPUtime=0.19 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 9236 0 0 0 17 2 0 0 24 0 4 0 650942200 305999872 7071 33554432000 4194304 4650419 140736560408944 18446744073709551615 4545992 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27387/statm: 74707 7071 345 112 0 69672 0
[pid=27387/tid=27388] ppid=27385 vsize=298828 CPUtime=0.04 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 2194 0 0 0 4 0 0 0 25 0 4 0 650942200 305999872 7071 33554432000 4194304 4650419 140736560408944 18446744073709551615 4372321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=298828 CPUtime=0.03 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 2188 0 0 0 3 0 0 0 25 0 4 0 650942200 305999872 7071 33554432000 4194304 4650419 140736560408944 18446744073709551615 4372490 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=298828 CPUtime=0.04 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 2201 0 0 0 4 0 0 0 25 0 4 0 650942200 305999872 7071 33554432000 4194304 4650419 140736560408944 18446744073709551615 4546977 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 298828

[startup+0.100625 s]
/proc/loadavg: 3.62 4.17 5.55 5/388 27387
/proc/meminfo: memFree=26442380/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=323068 CPUtime=0.36 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 14891 0 0 0 32 4 0 0 24 0 4 0 650942200 330821632 12620 33554432000 4194304 4650419 140736560408944 18446744073709551615 4362077 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27387/statm: 80767 12436 345 112 0 75732 0
[pid=27387/tid=27388] ppid=27385 vsize=323068 CPUtime=0.09 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) D 27385 27387 26816 0 -1 4202560 3608 0 0 0 8 1 0 0 25 0 4 0 650942200 330821632 12436 33554432000 4194304 4650419 140736560408944 18446744073709551615 251814283399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=323068 CPUtime=0.07 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 3602 0 0 0 7 0 0 0 25 0 4 0 650942200 330821632 12436 33554432000 4194304 4650419 140736560408944 18446744073709551615 4362077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=323068 CPUtime=0.08 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 3614 0 0 0 8 0 0 0 25 0 4 0 650942200 330821632 12436 33554432000 4194304 4650419 140736560408944 18446744073709551615 251814283399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 323068

[startup+0.306593 s]
/proc/loadavg: 3.62 4.17 5.55 5/388 27387
/proc/meminfo: memFree=26442380/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=363508 CPUtime=1.17 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) D 27385 27387 26816 0 -1 4202496 43755 0 0 0 103 14 0 0 18 0 4 0 650942200 372232192 34913 33554432000 4194304 4650419 140736560408944 18446744073709551615 251814283447 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27387/statm: 90976 35252 345 112 0 85941 0
[pid=27387/tid=27388] ppid=27385 vsize=364036 CPUtime=0.29 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) D 27385 27387 26816 0 -1 4202560 11028 0 0 0 26 3 0 0 18 0 4 0 650942200 372772864 35342 33554432000 4194304 4650419 140736560408944 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=364036 CPUtime=0.28 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) D 27385 27387 26816 0 -1 4202560 10911 0 0 0 25 3 0 0 18 0 4 0 650942200 372772864 35458 33554432000 4194304 4650419 140736560408944 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=364036 CPUtime=0.3 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) D 27385 27387 26816 0 -1 4202560 10917 0 0 0 27 3 0 0 18 0 4 0 650942200 372772864 35479 33554432000 4194304 4650419 140736560408944 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 363508

[startup+0.708714 s]
/proc/loadavg: 3.62 4.17 5.55 5/388 27387
/proc/meminfo: memFree=26442380/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=472380 CPUtime=2.68 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) D 27385 27387 26816 0 -1 4202496 104086 0 0 0 231 37 0 0 18 0 4 0 650942200 483717120 86444 33554432000 4194304 4650419 140736560408944 18446744073709551615 251814283447 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27387/statm: 118095 86444 345 112 0 113060 0
[pid=27387/tid=27388] ppid=27385 vsize=472380 CPUtime=0.66 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 26441 0 0 0 58 8 0 0 18 0 4 0 650942200 483717120 86444 33554432000 4194304 4650419 140736560408944 18446744073709551615 251813905272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=472380 CPUtime=0.65 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 25727 0 0 0 56 9 0 0 18 0 4 0 650942200 483717120 86444 33554432000 4194304 4650419 140736560408944 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=472380 CPUtime=0.66 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) D 27385 27387 26816 0 -1 4202560 25740 0 0 0 57 9 0 0 18 0 4 0 650942200 483717120 86444 33554432000 4194304 4650419 140736560408944 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 472380

[startup+1.50038 s]
/proc/loadavg: 3.62 4.17 5.55 9/392 27391
/proc/meminfo: memFree=25941512/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=1046260 CPUtime=5.66 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 226999 0 0 0 480 86 0 0 18 0 4 0 650942200 1071370240 191757 33554432000 4194304 4650419 140736560408944 18446744073709551615 4546872 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 261565 191759 345 112 0 256530 0
[pid=27387/tid=27388] ppid=27385 vsize=1046260 CPUtime=1.41 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 57240 0 0 0 122 19 0 0 18 0 4 0 650942200 1071370240 191759 33554432000 4194304 4650419 140736560408944 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=1046260 CPUtime=1.39 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 56408 0 0 0 118 21 0 0 18 0 4 0 650942200 1071370240 191763 33554432000 4194304 4650419 140736560408944 18446744073709551615 4556570 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=1046260 CPUtime=1.41 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 56456 0 0 0 119 22 0 0 18 0 4 0 650942200 1071370240 191764 33554432000 4194304 4650419 140736560408944 18446744073709551615 4305878 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 1046260

[startup+3.10111 s]
/proc/loadavg: 3.62 4.17 5.55 9/392 27392
/proc/meminfo: memFree=25383192/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=1511756 CPUtime=11.85 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 356598 0 0 0 1053 132 0 0 18 0 4 0 650942200 1548038144 318954 33554432000 4194304 4650419 140736560408944 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 377939 318954 368 112 0 372904 0
[pid=27387/tid=27388] ppid=27385 vsize=1511756 CPUtime=2.96 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 88335 0 0 0 268 28 0 0 19 0 4 0 650942200 1548038144 318954 33554432000 4194304 4650419 140736560408944 18446744073709551615 4369856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=1511756 CPUtime=2.94 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 88753 0 0 0 261 33 0 0 18 0 4 0 650942200 1548038144 318954 33554432000 4194304 4650419 140736560408944 18446744073709551615 4369270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=1511756 CPUtime=2.94 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 90281 0 0 0 260 34 0 0 19 0 4 0 650942200 1548038144 318954 33554432000 4194304 4650419 140736560408944 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 1511756

[startup+6.30058 s]
/proc/loadavg: 4.05 4.25 5.57 9/392 27392
/proc/meminfo: memFree=25030840/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=1463144 CPUtime=24.6 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 375613 0 0 0 2325 135 0 0 25 0 4 0 650942200 1498259456 328594 33554432000 4194304 4650419 140736560408944 18446744073709551615 4370045 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 365786 328594 373 112 0 360751 0
[pid=27387/tid=27388] ppid=27385 vsize=1463144 CPUtime=6.16 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 94223 0 0 0 587 29 0 0 25 0 4 0 650942200 1498259456 328594 33554432000 4194304 4650419 140736560408944 18446744073709551615 4369163 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=1463144 CPUtime=6.14 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 94658 0 0 0 580 34 0 0 25 0 4 0 650942200 1498259456 328594 33554432000 4194304 4650419 140736560408944 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=1463144 CPUtime=6.11 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 91597 0 0 0 576 35 0 0 25 0 4 0 650942200 1498259456 328594 33554432000 4194304 4650419 140736560408944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 1463144

[startup+12.7005 s]
/proc/loadavg: 4.37 4.31 5.58 9/392 27392
/proc/meminfo: memFree=24896208/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=1688468 CPUtime=50.12 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 398339 0 0 0 4870 142 0 0 25 0 4 0 650942200 1728991232 351318 33554432000 4194304 4650419 140736560408944 18446744073709551615 4435479 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 422117 351318 383 112 0 417082 0
[pid=27387/tid=27388] ppid=27385 vsize=1688468 CPUtime=12.55 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 101155 0 0 0 1225 30 0 0 25 0 4 0 650942200 1728991232 351318 33554432000 4194304 4650419 140736560408944 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=1688468 CPUtime=12.54 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 101590 0 0 0 1218 36 0 0 19 0 4 0 650942200 1728991232 351318 33554432000 4194304 4650419 140736560408944 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=1688468 CPUtime=12.42 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 93525 0 0 0 1207 35 0 0 25 0 4 0 650942200 1728991232 351318 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (KiB) 1688468

[startup+25.5004 s]
/proc/loadavg: 5.17 4.49 5.62 9/392 27392
/proc/meminfo: memFree=24567864/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=1900068 CPUtime=101.15 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 455969 0 0 0 9960 155 0 0 25 0 4 0 650942200 1945669632 408187 33554432000 4194304 4650419 140736560408944 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 475017 408187 391 112 0 469982 0
[pid=27387/tid=27388] ppid=27385 vsize=1900068 CPUtime=25.36 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 116628 0 0 0 2503 33 0 0 25 0 4 0 650942200 1945669632 408187 33554432000 4194304 4650419 140736560408944 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=1900068 CPUtime=25.33 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 117412 0 0 0 2493 40 0 0 25 0 4 0 650942200 1945669632 408187 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=1900068 CPUtime=25.06 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 104402 0 0 0 2468 38 0 0 25 0 4 0 650942200 1945669632 408187 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315268 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 1900068

[startup+51.1011 s]
/proc/loadavg: 6.22 4.79 5.69 9/392 27393
/proc/meminfo: memFree=24492416/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=2162244 CPUtime=203.22 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 477037 0 0 0 20158 164 0 0 25 0 4 0 650942200 2214137856 429255 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 540561 429255 391 112 0 535526 0
[pid=27387/tid=27388] ppid=27385 vsize=2162244 CPUtime=50.95 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 121691 0 0 0 5060 35 0 0 25 0 4 0 650942200 2214137856 429255 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315965 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=2162244 CPUtime=50.93 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 123239 0 0 0 5050 43 0 0 25 0 4 0 650942200 2214137856 429255 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315222 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=2162244 CPUtime=50.34 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 109866 0 0 0 4994 40 0 0 25 0 4 0 650942200 2214137856 429255 33554432000 4194304 4650419 140736560408944 18446744073709551615 4363720 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.22
Current children cumulated vsize (KiB) 2162244

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

[startup+54.3005 s]
/proc/loadavg: 6.44 4.86 5.71 9/392 27393
/proc/meminfo: memFree=24455836/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=2162244 CPUtime=215.98 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 479888 0 0 0 21433 165 0 0 25 0 4 0 650942200 2214137856 432106 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315249 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 540561 432106 391 112 0 535526 0
[pid=27387/tid=27388] ppid=27385 vsize=2162244 CPUtime=54.15 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 122299 0 0 0 5380 35 0 0 25 0 4 0 650942200 2214137856 432106 33554432000 4194304 4650419 140736560408944 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=2162244 CPUtime=54.13 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 123930 0 0 0 5370 43 0 0 25 0 4 0 650942200 2214137856 432106 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=2162244 CPUtime=53.49 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 110724 0 0 0 5309 40 0 0 25 0 4 0 650942200 2214137856 432106 33554432000 4194304 4650419 140736560408944 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 215.98
Current children cumulated vsize (KiB) 2162244

[startup+55.9002 s]
/proc/loadavg: 6.44 4.86 5.71 9/392 27393
/proc/meminfo: memFree=24443932/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=2162244 CPUtime=222.36 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 481214 0 0 0 22070 166 0 0 25 0 4 0 650942200 2214137856 433432 33554432000 4194304 4650419 140736560408944 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 540561 433432 391 112 0 535526 0
[pid=27387/tid=27388] ppid=27385 vsize=2162244 CPUtime=55.76 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 122644 0 0 0 5540 36 0 0 25 0 4 0 650942200 2214137856 433432 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=2162244 CPUtime=55.73 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 124260 0 0 0 5530 43 0 0 25 0 4 0 650942200 2214137856 433432 33554432000 4194304 4650419 140736560408944 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=2162244 CPUtime=55.08 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 111024 0 0 0 5467 41 0 0 25 0 4 0 650942200 2214137856 433432 33554432000 4194304 4650419 140736560408944 18446744073709551615 4360410 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 222.36
Current children cumulated vsize (KiB) 2162244

[startup+56.7011 s]
/proc/loadavg: 6.44 4.86 5.71 9/392 27393
/proc/meminfo: memFree=24428308/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=2162244 CPUtime=225.56 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 481976 0 0 0 22389 167 0 0 25 0 4 0 650942200 2214137856 434194 33554432000 4194304 4650419 140736560408944 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 540561 434194 391 112 0 535526 0
[pid=27387/tid=27388] ppid=27385 vsize=2162244 CPUtime=56.56 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 122824 0 0 0 5620 36 0 0 25 0 4 0 650942200 2214137856 434194 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=2162244 CPUtime=56.53 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 124434 0 0 0 5610 43 0 0 25 0 4 0 650942200 2214137856 434194 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=2162244 CPUtime=55.87 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 111223 0 0 0 5546 41 0 0 25 0 4 0 650942200 2214137856 434194 33554432000 4194304 4650419 140736560408944 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 225.56
Current children cumulated vsize (KiB) 2162244

[startup+57.101 s]
/proc/loadavg: 6.44 4.86 5.71 9/392 27393
/proc/meminfo: memFree=24416156/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=2162244 CPUtime=227.19 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 482235 0 0 0 22552 167 0 0 25 0 4 0 650942200 2214137856 434453 33554432000 4194304 4650419 140736560408944 18446744073709551615 4365020 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 540561 434453 391 112 0 535526 0
[pid=27387/tid=27388] ppid=27385 vsize=2162244 CPUtime=56.97 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 122908 0 0 0 5661 36 0 0 25 0 4 0 650942200 2214137856 434453 33554432000 4194304 4650419 140736560408944 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=2162244 CPUtime=56.94 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 124515 0 0 0 5651 43 0 0 25 0 4 0 650942200 2214137856 434453 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315077 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=2162244 CPUtime=56.27 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 111271 0 0 0 5586 41 0 0 25 0 4 0 650942200 2214137856 434453 33554432000 4194304 4650419 140736560408944 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 227.19
Current children cumulated vsize (KiB) 2162244

[startup+57.501 s]
/proc/loadavg: 6.44 4.86 5.71 9/392 27393
/proc/meminfo: memFree=24416156/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=2162244 CPUtime=228.74 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 482562 0 0 0 22707 167 0 0 25 0 4 0 650942200 2214137856 434780 33554432000 4194304 4650419 140736560408944 18446744073709551615 4223528 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 540561 434780 391 112 0 535526 0
[pid=27387/tid=27388] ppid=27385 vsize=2162244 CPUtime=57.36 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 123006 0 0 0 5700 36 0 0 25 0 4 0 650942200 2214137856 434780 33554432000 4194304 4650419 140736560408944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=2162244 CPUtime=57.33 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 124616 0 0 0 5690 43 0 0 25 0 4 0 650942200 2214137856 434780 33554432000 4194304 4650419 140736560408944 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=2162244 CPUtime=56.65 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 111315 0 0 0 5624 41 0 0 25 0 4 0 650942200 2214137856 434780 33554432000 4194304 4650419 140736560408944 18446744073709551615 4223246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 228.74
Current children cumulated vsize (KiB) 2162244

[startup+57.601 s]
/proc/loadavg: 6.44 4.86 5.71 9/392 27393
/proc/meminfo: memFree=24416156/32950928 swapFree=44388876/67111528
[pid=27387] ppid=27385 vsize=2162244 CPUtime=229.14 cores=0,2,4,6
/proc/27387/stat : 27387 (strangenight1-m) R 27385 27387 26816 0 -1 4202496 482644 0 0 0 22747 167 0 0 25 0 4 0 650942200 2214137856 434862 33554432000 4194304 4650419 140736560408944 18446744073709551615 4363754 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27387/statm: 540561 434862 391 112 0 535526 0
[pid=27387/tid=27388] ppid=27385 vsize=2162244 CPUtime=57.46 cores=0,2,4,6
/proc/27387/task/27388/stat : 27388 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 123023 0 0 0 5710 36 0 0 25 0 4 0 650942200 2214137856 434862 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27387/tid=27389] ppid=27385 vsize=2162244 CPUtime=57.43 cores=0,2,4,6
/proc/27387/task/27389/stat : 27389 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 124635 0 0 0 5700 43 0 0 25 0 4 0 650942200 2214137856 434862 33554432000 4194304 4650419 140736560408944 18446744073709551615 4363683 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27385 vsize=2162244 CPUtime=56.75 cores=0,2,4,6
/proc/27387/task/27390/stat : 27390 (strangenight1-m) R 27385 27387 26816 0 -1 4202560 111350 0 0 0 5634 41 0 0 25 0 4 0 650942200 2214137856 434862 33554432000 4194304 4650419 140736560408944 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 229.14
Current children cumulated vsize (KiB) 2162244

Child status: 20
Real time (s): 57.693
CPU time (s): 229.308
CPU user time (s): 227.565
CPU system time (s): 1.74273
CPU usage (%): 397.463
Max. virtual memory (cumulated for all children) (KiB): 2162244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.565
system time used= 1.74273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482660
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= 53589
involuntary context switches= 1136

runsolver used 0.221966 second user time and 0.503923 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-14 19:17:15
IDJOB=3369617
IDBENCH=82364
IDSOLVER=1846
FILE ID=node126/3369617-1305393430
RUNJOBID= node126-1305393430-27364
PBS_JOBID= 13324434
Free space on /tmp= 73108 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369617-1305393430/watcher-3369617-1305393430 -o /tmp/evaluation-result-3369617-1305393430/solver-3369617-1305393430 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369617-1305393430.cnf

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

MD5SUM BENCH= 2a2f6fb35277c8ead36f65de8bb36dbb
RANDOM SEED=860004787

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26442536 kB
Buffers:        251128 kB
Cached:        2645684 kB
SwapCached:      92524 kB
Active:        1333252 kB
Inactive:      4911860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26442536 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:          227112 kB
Writeback:           0 kB
AnonPages:     3268416 kB
Mapped:          15880 kB
Slab:           122352 kB
PageTables:      76412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88598476 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= 73104 MiB
End job on node126 at 2011-05-14 19:18:13