Trace number 3285930

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 131.287 33.1444

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
MD5SUM7a66f04f295b538081ccaebd0fd7d9b2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.59085
Satisfiable
(Un)Satisfiability was proved
Number of variables281936
Number of clauses2464339
Sum of the clauses size5907714
Maximum clause length770
Minimum clause length1
Number of clauses of size 1864
Number of clauses of size 22420825
Number of clauses of size 30
Number of clauses of size 4200
Number of clauses of size 51200
Number of clauses of size over 541250

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3285930-1304029903.cnf'
0.00/0.00	c -- header says num vars:         281936
0.00/0.00	c -- header says num clauses:     2464339
2.59/0.91	c -- clauses added:            0 learnts,      2464339 normals,            0 xors
2.59/0.91	c -- vars added     281936
2.59/0.91	c Parsing time:  0.41 s
2.59/0.91	c  N st     0         0    281936     31087   1758057         0   4261463         0   no data   no data
4.96/1.50	c asymm  cl-useful: 7/230/30512 lits-rem:190 time: 0.56
39.31/10.14	c Flit:    28 Blit:  15040 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T:  8.60
39.31/10.18	c Cleaning up after failed var search:     0.03 s 
39.71/10.25	c Replacing       72 vars Replaced     1916 lits Time:     0.06 s 
40.11/10.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.93/10.58	c bin-w-bin subsume rem          381 bins  time:  0.20 s
57.29/14.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.01 s
68.88/17.53	c Subs w/ non-existent bins:      0 l-rem:    228 v-fix:  1387 done:  12361 time:  2.90 s
69.28/17.69	c Removed useless bin:     292  fixed:     0  props:  20.14M  time:  0.15 s
76.87/19.52	c lits-rem:         0  cl-subs:        4  v-elim:   2694  v-fix:    0  time:  1.82 s
76.87/19.56	c Finding binary XORs  T:     0.04 s  found:     434
77.27/19.62	c Replacing      434 vars Replaced    54260 lits Time:     0.06 s 
77.27/19.69	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
77.27/19.69	c calculated reachability. Time: 0.00
77.67/19.71	c Calc default polars -  time:   0.03 s pos:    1384 undec:  110353 neg:  170199
77.67/19.71	c =========================================================================================
77.67/19.71	c types(t): F = full restart, N = normal restart
77.67/19.71	c types(t): S = simplification begin/end, E = solution found
77.67/19.71	c restart types(rt): st = static, dy = dynamic
77.67/19.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
77.67/19.71	c  B st     0         0    171584     32734   1509244         0   3701567         0   no data   no data
131.20/33.11	c Following stats are for *FIRST FINISHED THREAD ONLY*
131.20/33.11	c num threads              : 4          
131.20/33.11	c restarts                 : 7          
131.20/33.11	c dynamic restarts         : 1          
131.20/33.11	c static restarts          : 6          
131.20/33.11	c full restarts            : 0          
131.20/33.11	c total simplify time      : 0.02       
131.20/33.11	c learnts DL2              : 0          
131.20/33.11	c learnts size 2           : 1758418    
131.20/33.11	c learnts size 1           : 123684      (43.87     % of vars)
131.20/33.11	c filedLit time            : 8.75        (26.65     % time)
131.20/33.11	c v-elim SatELite          : 2967        (1.05      % vars)
131.20/33.11	c SatELite time            : 5.12        (15.60     % time)
131.20/33.11	c v-elim xor               : 0           (0.00      % vars)
131.20/33.11	c xor elim time            : 0.00        (0.00      % time)
131.20/33.11	c num binary xor trees     : 459        
131.20/33.11	c binxor trees' crown      : 468         (1.02      leafs/tree)
131.20/33.11	c bin xor find time        : 0.04       
131.20/33.11	c OTF clause improved      : 61          (0.03      clauses/conflict)
131.20/33.11	c OTF impr. size diff      : 133         (2.18       lits/clause)
131.20/33.11	c OTF cl watch-shrink      : 1226        (0.58      clauses/conflict)
131.20/33.11	c OTF cl watch-sh-lit      : 106114      (86.55      lits/clause)
131.20/33.11	c tried to recurMin cls    : 0           (0.00       % of conflicts)
131.20/33.11	c updated cache            : 0           (nan        lits/tried recurMin)
131.20/33.11	c unit cls recevied        : 0           (0.00      % of units)
131.20/33.11	c unit cls sent            : 0           (0.00      % of units)
131.20/33.11	c bin cls recevied         : 0          
131.20/33.11	c bin cls sent             : 0          
131.20/33.11	c clauses over max glue    : 0           (0.00      % of all clauses)
131.20/33.11	c conflicts                : 2110        (64.24     / sec)
131.20/33.11	c decisions                : 45713       (0.00      % random)
131.20/33.11	c bogo-props               : 685527337   (20872220.55 / sec)
131.20/33.11	c conflict literals        : 2064639     (27.98     % deleted)
131.20/33.11	c Memory used              : 985.33      MB
131.20/33.11	c single-thread CPU time   : 32.84       s
131.20/33.11	c all-threads sum CPU time : 130.30      s
131.20/33.11	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-3285930-1304029903/watcher-3285930-1304029903 -o /tmp/evaluation-result-3285930-1304029903/solver-3285930-1304029903 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3285930-1304029903.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.45 7.81 5.82 2/174 14095
/proc/meminfo: memFree=16670984/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 593221018 52441088 352 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020395963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14095/statm: 12803 352 303 106 0 7774 0
[pid=14095/tid=14096] ppid=14093 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 593221018 52441088 352 33554432000 4194304 4627427 140734307668000 18446744073709551615 47875873744818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 593221018 52441088 353 33554432000 4194304 4627427 140734307668000 18446744073709551615 47875873744549 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=182284 CPUtime=0 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 593221018 186658816 365 33554432000 4194304 4627427 140734307668000 18446744073709551615 4218576 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0111169 s]
/proc/loadavg: 7.45 7.81 5.82 2/174 14095
/proc/meminfo: memFree=16670984/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=188872 CPUtime=0.01 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) S 14093 14095 13969 0 -1 4202496 4376 0 0 0 1 0 0 0 18 0 4 0 593221018 193404928 3822 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 47686 4294 339 106 0 42657 0
[pid=14095/tid=14096] ppid=14093 vsize=228496 CPUtime=0.01 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) D 14093 14095 13969 0 -1 4202560 1712 0 0 0 1 0 0 0 18 0 4 0 593221018 233979904 6435 33554432000 4194304 4627427 140734307668000 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=231508 CPUtime=0.01 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 1263 0 0 0 1 0 0 0 18 0 4 0 593221018 237064192 7002 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020093305 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=231508 CPUtime=0.01 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 2484 0 0 0 1 0 0 0 18 0 4 0 593221018 237064192 7031 33554432000 4194304 4627427 140734307668000 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 188872

[startup+0.121384 s]
/proc/loadavg: 7.45 7.81 5.82 2/174 14095
/proc/meminfo: memFree=16670984/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=347184 CPUtime=0.42 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) S 14093 14095 13969 0 -1 4202496 31069 0 0 0 38 4 0 0 18 0 4 0 593221018 355516416 23117 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 87066 23192 341 106 0 82037 0
[pid=14095/tid=14096] ppid=14093 vsize=348264 CPUtime=0.1 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 8881 0 0 0 9 1 0 0 18 0 4 0 593221018 356622336 23192 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020063194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=348264 CPUtime=0.1 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 5920 0 0 0 10 0 0 0 18 0 4 0 593221018 356622336 23192 33554432000 4194304 4627427 140734307668000 18446744073709551615 4257616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=348264 CPUtime=0.1 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 7620 0 0 0 9 1 0 0 18 0 4 0 593221018 356622336 23192 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020453802 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 347184

[startup+0.306084 s]
/proc/loadavg: 7.45 7.81 5.82 2/174 14095
/proc/meminfo: memFree=16670984/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=401248 CPUtime=0.99 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 53092 0 0 0 81 18 0 0 17 0 4 0 593221018 410877952 45018 33554432000 4194304 4627427 140734307668000 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 100312 45018 341 106 0 95283 0
[pid=14095/tid=14096] ppid=14093 vsize=401248 CPUtime=0.24 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) D 14093 14095 13969 0 -1 4202560 12718 0 0 0 18 6 0 0 17 0 4 0 593221018 410877952 45018 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=401248 CPUtime=0.27 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) D 14093 14095 13969 0 -1 4202560 12197 0 0 0 24 3 0 0 18 0 4 0 593221018 410877952 45018 33554432000 4194304 4627427 140734307668000 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=401248 CPUtime=0.21 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) D 14093 14095 13969 0 -1 4202560 14973 0 0 0 16 5 0 0 17 0 4 0 593221018 410877952 45018 33554432000 4194304 4627427 140734307668000 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 401248

[startup+0.700998 s]
/proc/loadavg: 7.45 7.81 5.82 2/174 14095
/proc/meminfo: memFree=16670984/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=694748 CPUtime=2.01 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 109773 0 0 0 151 50 0 0 17 0 4 0 593221018 711421952 93070 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 173687 93071 341 106 0 168658 0
[pid=14095/tid=14096] ppid=14093 vsize=694748 CPUtime=0.47 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 27587 0 0 0 32 15 0 0 17 0 4 0 593221018 711421952 93071 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=694748 CPUtime=0.59 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) S 14093 14095 13969 0 -1 4202560 24759 0 0 0 52 7 0 0 17 0 4 0 593221018 711421952 93071 33554432000 4194304 4627427 140734307668000 18446744073709551615 260020500974 0 0 4096 2 18446604446271419584 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=694748 CPUtime=0.45 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 28217 0 0 0 32 13 0 0 17 0 4 0 593221018 711421952 93072 33554432000 4194304 4627427 140734307668000 18446744073709551615 4530637 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 694748

[startup+1.50083 s]
/proc/loadavg: 7.45 7.81 5.82 6/178 14099
/proc/meminfo: memFree=16166836/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=779820 CPUtime=4.96 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 152756 0 0 0 417 79 0 0 18 0 4 0 593221018 798535680 118955 33554432000 4194304 4627427 140734307668000 18446744073709551615 4297761 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 194955 118955 366 106 0 189926 0
[pid=14095/tid=14096] ppid=14093 vsize=779820 CPUtime=1.2 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 39636 0 0 0 97 23 0 0 18 0 4 0 593221018 798535680 118955 33554432000 4194304 4627427 140734307668000 18446744073709551615 4238416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=779820 CPUtime=1.37 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 35637 0 0 0 126 11 0 0 18 0 4 0 593221018 798535680 118955 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=779820 CPUtime=1.17 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 37914 0 0 0 95 22 0 0 18 0 4 0 593221018 798535680 118955 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 779820

[startup+3.10054 s]
/proc/loadavg: 7.34 7.78 5.82 6/178 14100
/proc/meminfo: memFree=16061184/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=792260 CPUtime=11.35 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 156861 0 0 0 1051 84 0 0 20 0 4 0 593221018 811274240 123060 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308499 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 198065 123060 367 106 0 193036 0
[pid=14095/tid=14096] ppid=14093 vsize=792260 CPUtime=2.8 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 39839 0 0 0 257 23 0 0 20 0 4 0 593221018 811274240 123060 33554432000 4194304 4627427 140734307668000 18446744073709551615 4299664 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=792260 CPUtime=2.98 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 37295 0 0 0 286 12 0 0 21 0 4 0 593221018 811274240 123060 33554432000 4194304 4627427 140734307668000 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=792260 CPUtime=2.78 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 38515 0 0 0 252 26 0 0 21 0 4 0 593221018 811274240 123060 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322509 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.35
Current children cumulated vsize (KiB) 792260

[startup+6.30092 s]
/proc/loadavg: 7.34 7.78 5.82 9/184 14109
/proc/meminfo: memFree=14367984/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=794196 CPUtime=24.13 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 158467 0 0 0 2329 84 0 0 25 0 4 0 593221018 813256704 124666 33554432000 4194304 4627427 140734307668000 18446744073709551615 4238464 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 198549 124666 367 106 0 193520 0
[pid=14095/tid=14096] ppid=14093 vsize=794196 CPUtime=6 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 40066 0 0 0 577 23 0 0 25 0 4 0 593221018 813256704 124666 33554432000 4194304 4627427 140734307668000 18446744073709551615 4297744 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=794196 CPUtime=6.18 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 37520 0 0 0 606 12 0 0 25 0 4 0 593221018 813256704 124666 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=794196 CPUtime=5.98 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 39444 0 0 0 571 27 0 0 25 0 4 0 593221018 813256704 124666 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.13
Current children cumulated vsize (KiB) 794196

[startup+12.7007 s]
/proc/loadavg: 7.44 7.79 5.85 9/184 14109
/proc/meminfo: memFree=13569732/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=894388 CPUtime=49.72 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 174354 0 0 0 4883 89 0 0 22 0 4 0 593221018 915853312 140310 33554432000 4194304 4627427 140734307668000 18446744073709551615 4425797 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 223597 140310 377 106 0 218568 0
[pid=14095/tid=14096] ppid=14093 vsize=894388 CPUtime=12.4 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 44438 0 0 0 1216 24 0 0 22 0 4 0 593221018 915853312 140310 33554432000 4194304 4627427 140734307668000 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=894388 CPUtime=12.58 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 42865 0 0 0 1245 13 0 0 21 0 4 0 593221018 915853312 140310 33554432000 4194304 4627427 140734307668000 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=894388 CPUtime=12.38 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 40911 0 0 0 1211 27 0 0 25 0 4 0 593221018 915853312 140310 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (KiB) 894388

[startup+25.5004 s]
/proc/loadavg: 7.52 7.80 5.87 9/184 14109
/proc/meminfo: memFree=13271296/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=910528 CPUtime=100.84 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 197165 0 0 0 9990 94 0 0 25 0 4 0 593221018 932380672 160868 33554432000 4194304 4627427 140734307668000 18446744073709551615 4309004 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 227632 160868 386 106 0 222603 0
[pid=14095/tid=14096] ppid=14093 vsize=910528 CPUtime=25.2 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 52632 0 0 0 2494 26 0 0 25 0 4 0 593221018 932380672 160868 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308991 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=910528 CPUtime=25.37 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 47756 0 0 0 2523 14 0 0 25 0 4 0 593221018 932380672 160868 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321795 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=910528 CPUtime=25.18 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43214 0 0 0 2490 28 0 0 25 0 4 0 593221018 932380672 160868 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.84
Current children cumulated vsize (KiB) 910528

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

[startup+26.2003 s]
/proc/loadavg: 7.52 7.80 5.87 9/184 14109
/proc/meminfo: memFree=13268264/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=910528 CPUtime=103.63 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 197699 0 0 0 10269 94 0 0 25 0 4 0 593221018 932380672 161159 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 227632 161159 386 106 0 222603 0
[pid=14095/tid=14096] ppid=14093 vsize=910528 CPUtime=25.9 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 52948 0 0 0 2564 26 0 0 25 0 4 0 593221018 932380672 161159 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=910528 CPUtime=26.07 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 47809 0 0 0 2593 14 0 0 25 0 4 0 593221018 932380672 161159 33554432000 4194304 4627427 140734307668000 18446744073709551615 4329804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=910528 CPUtime=25.88 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43261 0 0 0 2560 28 0 0 25 0 4 0 593221018 932380672 161159 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 103.63
Current children cumulated vsize (KiB) 910528

[startup+29.4007 s]
/proc/loadavg: 7.56 7.80 5.88 9/184 14109
/proc/meminfo: memFree=13258464/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=976160 CPUtime=116.42 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 199611 0 0 0 11547 95 0 0 25 0 4 0 593221018 999587840 162585 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322509 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 244040 162585 386 106 0 239011 0
[pid=14095/tid=14096] ppid=14093 vsize=976160 CPUtime=29.1 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 53276 0 0 0 2884 26 0 0 25 0 4 0 593221018 999587840 162585 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=976160 CPUtime=29.27 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 48569 0 0 0 2913 14 0 0 25 0 4 0 593221018 999587840 162585 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=976160 CPUtime=29.08 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43470 0 0 0 2880 28 0 0 25 0 4 0 593221018 999587840 162585 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321841 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 116.42
Current children cumulated vsize (KiB) 976160

[startup+31.0004 s]
/proc/loadavg: 7.56 7.80 5.88 9/184 14109
/proc/meminfo: memFree=13255736/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1008976 CPUtime=122.8 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 200395 0 0 0 12185 95 0 0 25 0 4 0 593221018 1033191424 163369 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321889 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 252244 163369 386 106 0 247215 0
[pid=14095/tid=14096] ppid=14093 vsize=1008976 CPUtime=30.7 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 53505 0 0 0 3044 26 0 0 25 0 4 0 593221018 1033191424 163369 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322605 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=1008976 CPUtime=30.88 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 48780 0 0 0 3073 15 0 0 25 0 4 0 593221018 1033191424 163369 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1008976 CPUtime=30.68 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43591 0 0 0 3040 28 0 0 25 0 4 0 593221018 1033191424 163369 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322548 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 122.8
Current children cumulated vsize (KiB) 1008976

[startup+31.8002 s]
/proc/loadavg: 7.56 7.80 5.88 9/184 14109
/proc/meminfo: memFree=13248420/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1008976 CPUtime=126 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 200761 0 0 0 12505 95 0 0 25 0 4 0 593221018 1033191424 163735 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 252244 163735 386 106 0 247215 0
[pid=14095/tid=14096] ppid=14093 vsize=1008976 CPUtime=31.5 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 53590 0 0 0 3124 26 0 0 25 0 4 0 593221018 1033191424 163735 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321810 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=1008976 CPUtime=31.68 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 48864 0 0 0 3153 15 0 0 25 0 4 0 593221018 1033191424 163735 33554432000 4194304 4627427 140734307668000 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1008976 CPUtime=31.48 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43664 0 0 0 3120 28 0 0 25 0 4 0 593221018 1033191424 163735 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322605 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 126
Current children cumulated vsize (KiB) 1008976

[startup+32.6061 s]
/proc/loadavg: 7.56 7.80 5.88 9/184 14109
/proc/meminfo: memFree=13204648/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1008976 CPUtime=129.22 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 201380 0 0 0 12826 96 0 0 25 0 4 0 593221018 1033191424 164111 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321789 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 252244 164111 386 106 0 247215 0
[pid=14095/tid=14096] ppid=14093 vsize=1008976 CPUtime=32.31 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 53947 0 0 0 3205 26 0 0 25 0 4 0 593221018 1033191424 164111 33554432000 4194304 4627427 140734307668000 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=1008976 CPUtime=32.48 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 48936 0 0 0 3233 15 0 0 25 0 4 0 593221018 1033191424 164111 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1008976 CPUtime=32.28 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43725 0 0 0 3200 28 0 0 25 0 4 0 593221018 1033191424 164111 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321883 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 129.22
Current children cumulated vsize (KiB) 1008976

[startup+33.001 s]
/proc/loadavg: 7.56 7.80 5.88 9/184 14109
/proc/meminfo: memFree=13204648/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1008976 CPUtime=130.8 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 201520 0 0 0 12984 96 0 0 25 0 4 0 593221018 1033191424 164251 33554432000 4194304 4627427 140734307668000 18446744073709551615 4322525 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 252244 164251 386 106 0 247215 0
[pid=14095/tid=14096] ppid=14093 vsize=1008976 CPUtime=32.7 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 53978 0 0 0 3244 26 0 0 25 0 4 0 593221018 1033191424 164251 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=1008976 CPUtime=32.88 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 48948 0 0 0 3273 15 0 0 25 0 4 0 593221018 1033191424 164251 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1008976 CPUtime=32.68 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43754 0 0 0 3240 28 0 0 25 0 4 0 593221018 1033191424 164251 33554432000 4194304 4627427 140734307668000 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 130.8
Current children cumulated vsize (KiB) 1008976

[startup+33.101 s]
/proc/loadavg: 7.56 7.80 5.88 9/184 14109
/proc/meminfo: memFree=13204648/32951124 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1008976 CPUtime=131.2 cores=0,2,4,6
/proc/14095/stat : 14095 (strangenight2-m) R 14093 14095 13969 0 -1 4202496 201560 0 0 0 13024 96 0 0 25 0 4 0 593221018 1033191424 164291 33554432000 4194304 4627427 140734307668000 18446744073709551615 4321776 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14095/statm: 252244 164291 386 106 0 247215 0
[pid=14095/tid=14096] ppid=14093 vsize=1008976 CPUtime=32.8 cores=0,2,4,6
/proc/14095/task/14096/stat : 14096 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 53984 0 0 0 3254 26 0 0 25 0 4 0 593221018 1033191424 164291 33554432000 4194304 4627427 140734307668000 18446744073709551615 47875873744409 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14095/tid=14097] ppid=14093 vsize=1008976 CPUtime=32.98 cores=0,2,4,6
/proc/14095/task/14097/stat : 14097 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 48948 0 0 0 3283 15 0 0 25 0 4 0 593221018 1033191424 164291 33554432000 4194304 4627427 140734307668000 18446744073709551615 47875873719851 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1008976 CPUtime=32.78 cores=0,2,4,6
/proc/14095/task/14098/stat : 14098 (strangenight2-m) R 14093 14095 13969 0 -1 4202560 43783 0 0 0 3250 28 0 0 25 0 4 0 593221018 1033191424 164291 33554432000 4194304 4627427 140734307668000 18446744073709551615 47875873744409 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 131.2
Current children cumulated vsize (KiB) 1008976

Child status: 20
Real time (s): 33.1444
CPU time (s): 131.287
CPU user time (s): 130.295
CPU system time (s): 0.991849
CPU usage (%): 396.106
Max. virtual memory (cumulated for all children) (KiB): 1008976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.295
system time used= 0.991849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201568
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= 64566
involuntary context switches= 1112

runsolver used 0.06099 second user time and 0.110983 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 00:31:44
IDJOB=3285930
IDBENCH=82409
IDSOLVER=1586
FILE ID=node110/3285930-1304029903
RUNJOBID= node110-1304028687-13987
PBS_JOBID= 13170342
Free space on /tmp= 72744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285930-1304029903/watcher-3285930-1304029903 -o /tmp/evaluation-result-3285930-1304029903/solver-3285930-1304029903 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3285930-1304029903.cnf

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

MD5SUM BENCH= 7a66f04f295b538081ccaebd0fd7d9b2
RANDOM SEED=1759074508

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16671520 kB
Buffers:       2332220 kB
Cached:       13306688 kB
SwapCached:          0 kB
Active:        7838920 kB
Inactive:      7868516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16671520 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          103812 kB
Writeback:           0 kB
AnonPages:       67996 kB
Mapped:          14540 kB
Slab:           508844 kB
PageTables:       4716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192892 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= 72620 MiB
End job on node110 at 2011-04-29 00:32:18