0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3421722-1306788637.cnf'
0.00/0.03 c -- header says num vars: 99
0.00/0.03 c -- header says num clauses: 264
0.00/0.03 c -- clauses added: 0 learnts, 264 normals, 0 xors
0.00/0.03 c -- vars added 99
0.00/0.03 c Parsing time: 0.00 s
0.00/0.03 c N st 0 0 99 264 0 0 792 0 no data no data
0.00/0.03 c asymm cl-useful: 0/264/264 lits-rem:0 time: 0.00
0.00/0.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.00/0.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.00/0.03 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.00/0.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.00/0.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 99 time: 0.00 s
0.00/0.03 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
0.00/0.03 c lits-rem: 0 cl-subs: 0 v-elim: 27 v-fix: 0 time: 0.00 s
0.00/0.03 c Finding binary XORs T: 0.00 s found: 0
0.00/0.03 c Finding non-binary XORs: 0.00 s (found: 39, avg size: 3.7)
0.00/0.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 15 locsubst: 0 time: 0.00
0.00/0.03 c calculated reachability. Time: 0.00
0.00/0.03 c Calc default polars - time: 0.00 s pos: 0 undec: 42 neg: 57
0.00/0.03 c =========================================================================================
0.00/0.03 c types(t): F = full restart, N = normal restart
6.62/0.85 c types(t): S = simplification begin/end, E = solution found
6.62/0.85 c restart types(rt): st = static, dy = dynamic
6.62/0.85 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6.62/0.85 c B st 0 0 57 0 0 0 114 0 no data no data
6.62/0.85 c Decided on static restart strategy
6.62/0.85 c N st 8 4918 57 0 0 3394 114 56761 no data no data
6.62/0.85 c N st 10 11302 57 0 0 2881 114 41875 no data no data
6.62/0.85 c N st 11 17047 57 0 0 6397 114 98816 no data no data
6.62/0.85 c F st 12 25000 57 0 0 7977 114 125277 no data no data
6.62/0.85 c N st 12 25000 57 0 0 7977 114 125277 no data no data
6.62/0.85 c Decided on static restart strategy
6.62/0.85 c N st 18 30001 57 0 0 7100 114 110597 no data no data
6.62/0.85 c S st 18 30001 57 0 0 7100 114 110597 no data no data
6.62/0.85 c S st 18 30504 57 0 0 7537 114 119985 no data no data
6.62/0.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 10 locsubst: 0 time: 0.00
6.62/0.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
6.62/0.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6.62/0.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
6.62/0.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 47 time: 0.00 s
6.62/0.85 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
6.62/0.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
6.62/0.85 c calculated reachability. Time: 0.00
6.62/0.85 c N st 18 30504 47 0 0 0 94 0 no data no data
6.62/0.85 c N st 20 37614 47 0 0 2997 94 50015 no data no data
6.62/0.85 c N st 21 44014 47 0 0 7162 94 122517 no data no data
6.62/0.85 c S st 22 45757 47 0 0 4368 94 69480 no data no data
6.62/0.85 c S st 22 46259 47 0 0 4754 94 78165 no data no data
6.62/0.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 0 time: 0.00
6.62/0.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
6.62/0.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6.62/0.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
6.62/0.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 41 time: 0.00 s
6.62/0.85 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
6.62/0.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c vivif2 -- cl tried 0 cl shrink 0 lits rem 0 time: 0.00
6.62/0.85 c vivif2 -- cl tried 115 cl shrink 0 lits rem 0 time: 0.00
6.62/0.85 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
6.62/0.85 c calculated reachability. Time: 0.00
6.62/0.85 c N st 22 46259 41 0 0 115 78 1262 no data no data
6.62/0.85 c N st 23 60657 41 0 0 5832 78 106078 no data no data
6.62/0.85 c N st 24 69388 41 0 0 6038 78 102425 no data no data
6.62/0.85 c S st 24 69388 41 0 0 6038 78 102425 no data no data
6.62/0.85 c S st 24 69890 41 0 0 6383 78 110415 no data no data
6.62/0.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3 locsubst: 0 time: 0.00
6.62/0.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
6.62/0.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6.62/0.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
6.62/0.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 38 time: 0.00 s
6.62/0.85 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
6.62/0.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
6.62/0.85 c vivif2 -- cl tried 0 cl shrink 0 lits rem 0 time: 0.00
6.62/0.85 c vivif2 -- cl tried 3 cl shrink 0 lits rem 0 time: 0.00
6.62/0.85 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
6.62/0.85 c calculated reachability. Time: 0.00
6.62/0.85 c N st 24 69890 38 0 0 3 66 58 no data no data
7.42/0.95 c F st 25 87501 38 0 0 7391 66 153778 no data no data
7.42/0.95 c N st 25 87501 38 0 0 7391 66 153778 no data no data
8.23/1.10 c Decided on static restart strategy
8.23/1.10 c N st 32 95538 38 0 0 6582 66 139133 no data no data
8.23/1.10 c N st 34 104835 38 0 0 12289 66 265040 no data no data
8.23/1.10 c S st 34 104835 38 0 0 12289 66 265040 no data no data
9.02/1.20 c S st 34 105337 38 0 0 12601 66 272717 no data no data
9.02/1.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 0 time: 0.01
9.02/1.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
9.02/1.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9.02/1.20 c bin-w-bin subsume rem 0 bins time: 0.00 s
9.02/1.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
9.02/1.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 36 time: 0.00 s
9.02/1.20 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
9.02/1.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
9.02/1.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
9.02/1.20 c lits-rem: 128 cl-subs: 1633 v-elim: 0 v-fix: 0 time: 0.06 s
9.02/1.20 c vivif2 -- cl tried 0 cl shrink 0 lits rem 0 time: 0.00
9.02/1.20 c vivif2 -- cl tried 671 cl shrink 0 lits rem 0 time: 0.00
9.02/1.20 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
9.02/1.20 c calculated reachability. Time: 0.00
9.02/1.20 c N st 34 105337 36 0 0 671 40 13352 no data no data
9.82/1.30 c N st 35 114935 36 0 0 3801 40 47853 no data no data
10.63/1.40 c N st 36 129333 36 0 0 6831 40 77360 no data no data
12.68/1.63 c N st 37 150928 36 0 0 12042 40 124323 no data no data
13.48/1.71 c S st 38 158005 36 0 0 16355 40 171926 no data no data
13.48/1.73 c S st 38 158506 36 0 0 16645 40 176079 no data no data
13.48/1.73 c N st 38 158506 36 0 0 16645 37 176079 no data no data
13.48/1.73 c E st 38 158506 36 0 0 16645 37 176079 no data no data
13.48/1.73 c Following stats are for *FIRST FINISHED THREAD ONLY*
13.48/1.73 c num threads : 8
13.48/1.73 c restarts : 38
13.48/1.73 c dynamic restarts : 0
13.48/1.73 c static restarts : 38
13.48/1.73 c full restarts : 2
13.48/1.73 c total simplify time : 0.00
13.48/1.73 c learnts DL2 : 0
13.48/1.73 c learnts size 2 : 0
13.48/1.73 c learnts size 1 : 0 (0.00 % of vars)
13.48/1.73 c filedLit time : 0.00 (0.06 % time)
13.48/1.73 c v-elim SatELite : 27 (27.27 % vars)
13.48/1.73 c SatELite time : 0.06 (3.59 % time)
13.48/1.73 c v-elim xor : 36 (36.36 % vars)
13.48/1.73 c xor elim time : 0.02 (1.24 % time)
13.48/1.73 c num binary xor trees : 0
13.48/1.73 c binxor trees' crown : 0 (nan leafs/tree)
13.48/1.73 c bin xor find time : 0.00
13.48/1.73 c OTF clause improved : 59971 (0.38 clauses/conflict)
13.48/1.73 c OTF impr. size diff : 60400 (1.01 lits/clause)
13.48/1.73 c OTF cl watch-shrink : 0 (0.00 clauses/conflict)
13.48/1.73 c OTF cl watch-sh-lit : 0 (nan lits/clause)
13.48/1.73 c tried to recurMin cls : 1141 (0.72 % of conflicts)
13.48/1.73 c updated cache : 0 (0.00 lits/tried recurMin)
13.48/1.73 c unit cls recevied : 0 (nan % of units)
13.48/1.73 c unit cls sent : 0 (nan % of units)
13.48/1.73 c bin cls recevied : 0
13.48/1.73 c bin cls sent : 0
13.48/1.73 c clauses over max glue : 0 (0.00 % of all clauses)
13.48/1.73 c conflicts : 158506 (93417.86 / sec)
13.48/1.73 c decisions : 192684 (1.13 % random)
13.48/1.73 c bogo-props : 434912388 (256322050.14 / sec)
13.48/1.73 c conflict literals : 2648696 (16.62 % deleted)
13.48/1.73 c Memory used : 520.96 MB
13.48/1.73 c single-thread CPU time : 1.70 s
13.48/1.73 c all-threads sum CPU time : 13.69 s
13.48/1.73 s UNSATISFIABLE
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-3421722-1306788637/watcher-3421722-1306788637 -o /tmp/evaluation-result-3421722-1306788637/solver-3421722-1306788637 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421722-1306788637.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.20 8.06 7.21 1/481 14863
/proc/meminfo: memFree=4353468/32951124 swapFree=46575304/67111528
[pid=14863] ppid=14861 vsize=92144 CPUtime=0.01 cores=0-7
/proc/14863/stat : 14863 (strangenight2-m) R 14861 14863 14584 0 -1 4202496 413 0 0 0 1 0 0 0 25 0 8 0 523054927 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 47812273997740 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14863/statm: 23036 353 299 95 0 18018 0
[pid=14863/tid=14864] ppid=14861 vsize=92144 CPUtime=0.01 cores=0-7
/proc/14863/task/14864/stat : 14864 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 523054928 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 47812273997740 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14865] ppid=14861 vsize=92144 CPUtime=0 cores=0-7
/proc/14863/task/14865/stat : 14865 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 523054928 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 47812273997740 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14866] ppid=14861 vsize=92144 CPUtime=0.01 cores=0-7
/proc/14863/task/14866/stat : 14866 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 523054928 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 47812273997736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14863/tid=14867] ppid=14861 vsize=92144 CPUtime=0.01 cores=0-7
/proc/14863/task/14867/stat : 14867 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 523054928 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 47812273997746 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14868] ppid=14861 vsize=92144 CPUtime=0 cores=0-7
/proc/14863/task/14868/stat : 14868 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 523054928 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14869] ppid=14861 vsize=92144 CPUtime=0.01 cores=0-7
/proc/14863/task/14869/stat : 14869 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 523054928 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 47812273997746 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14863/tid=14870] ppid=14861 vsize=92144 CPUtime=0.01 cores=0-7
/proc/14863/task/14870/stat : 14870 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 523054928 94355456 353 33554432000 4194304 4580107 140737365598496 18446744073709551615 47812273997746 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.125168 s]
/proc/loadavg: 8.20 8.06 7.21 1/481 14863
/proc/meminfo: memFree=4353468/32951124 swapFree=46575304/67111528
[pid=14863] ppid=14861 vsize=541448 CPUtime=6.62 cores=0-7
/proc/14863/stat : 14863 (strangenight2-m) R 14861 14863 14584 0 -1 4202496 14026 0 0 0 660 2 0 0 19 0 8 0 523054927 554442752 5608 33554432000 4194304 4580107 140737365598496 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14863/statm: 135362 5608 379 95 0 130344 0
[pid=14863/tid=14864] ppid=14861 vsize=541448 CPUtime=0.83 cores=0-7
/proc/14863/task/14864/stat : 14864 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1842 0 0 0 83 0 0 0 18 0 8 0 523054928 554442752 5608 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14865] ppid=14861 vsize=541448 CPUtime=0.8 cores=0-7
/proc/14863/task/14865/stat : 14865 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1727 0 0 0 80 0 0 0 19 0 8 0 523054928 554442752 5608 33554432000 4194304 4580107 140737365598496 18446744073709551615 4324244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14863/tid=14866] ppid=14861 vsize=541448 CPUtime=0.83 cores=0-7
/proc/14863/task/14866/stat : 14866 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1703 0 0 0 83 0 0 0 18 0 8 0 523054928 554442752 5609 33554432000 4194304 4580107 140737365598496 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14863/tid=14867] ppid=14861 vsize=541448 CPUtime=0.83 cores=0-7
/proc/14863/task/14867/stat : 14867 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1686 0 0 0 83 0 0 0 19 0 8 0 523054928 554442752 5610 33554432000 4194304 4580107 140737365598496 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14868] ppid=14861 vsize=541448 CPUtime=0.8 cores=0-7
/proc/14863/task/14868/stat : 14868 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1735 0 0 0 80 0 0 0 19 0 8 0 523054928 554442752 5610 33554432000 4194304 4580107 140737365598496 18446744073709551615 4318224 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14863/tid=14869] ppid=14861 vsize=541448 CPUtime=0.82 cores=0-7
/proc/14863/task/14869/stat : 14869 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1729 0 0 0 82 0 0 0 18 0 8 0 523054928 554442752 5610 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14863/tid=14870] ppid=14861 vsize=541448 CPUtime=0.83 cores=0-7
/proc/14863/task/14870/stat : 14870 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1313 0 0 0 83 0 0 0 18 0 8 0 523054928 554442752 5610 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 541448
[startup+0.944266 s]
/proc/loadavg: 8.20 8.06 7.21 1/481 14863
/proc/meminfo: memFree=4353468/32951124 swapFree=46575304/67111528
[pid=14863] ppid=14861 vsize=532388 CPUtime=7.42 cores=0-7
/proc/14863/stat : 14863 (strangenight2-m) R 14861 14863 14584 0 -1 4202496 15067 0 0 0 740 2 0 0 19 0 8 0 523054927 545165312 5487 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14863/statm: 133097 5487 379 95 0 128079 0
[pid=14863/tid=14864] ppid=14861 vsize=532388 CPUtime=0.93 cores=0-7
/proc/14863/task/14864/stat : 14864 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1849 0 0 0 93 0 0 0 19 0 8 0 523054928 545165312 5487 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14865] ppid=14861 vsize=532388 CPUtime=0.9 cores=0-7
/proc/14863/task/14865/stat : 14865 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1813 0 0 0 90 0 0 0 19 0 8 0 523054928 545165312 5487 33554432000 4194304 4580107 140737365598496 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14863/tid=14866] ppid=14861 vsize=532388 CPUtime=0.93 cores=0-7
/proc/14863/task/14866/stat : 14866 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1806 0 0 0 93 0 0 0 19 0 8 0 523054928 545165312 5487 33554432000 4194304 4580107 140737365598496 18446744073709551615 268660327210 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14863/tid=14867] ppid=14861 vsize=532388 CPUtime=0.93 cores=0-7
/proc/14863/task/14867/stat : 14867 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1877 0 0 0 93 0 0 0 19 0 8 0 523054928 545165312 5488 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14868] ppid=14861 vsize=532388 CPUtime=0.9 cores=0-7
/proc/14863/task/14868/stat : 14868 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1897 0 0 0 90 0 0 0 19 0 8 0 523054928 545165312 5488 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14863/tid=14869] ppid=14861 vsize=532388 CPUtime=0.92 cores=0-7
/proc/14863/task/14869/stat : 14869 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1942 0 0 0 92 0 0 0 19 0 8 0 523054928 545165312 5488 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14863/tid=14870] ppid=14861 vsize=532388 CPUtime=0.93 cores=0-7
/proc/14863/task/14870/stat : 14870 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1379 0 0 0 93 0 0 0 19 0 8 0 523054928 545165312 5488 33554432000 4194304 4580107 140737365598496 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 532388
[startup+1.04425 s]
/proc/loadavg: 8.20 8.06 7.21 1/481 14863
/proc/meminfo: memFree=4353468/32951124 swapFree=46575304/67111528
[pid=14863] ppid=14861 vsize=550384 CPUtime=8.23 cores=0-7
/proc/14863/stat : 14863 (strangenight2-m) R 14861 14863 14584 0 -1 4202496 16599 0 0 0 820 3 0 0 19 0 8 0 523054927 563593216 6209 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14863/statm: 137596 6210 379 95 0 132578 0
[pid=14863/tid=14864] ppid=14861 vsize=550384 CPUtime=1.03 cores=0-7
/proc/14863/task/14864/stat : 14864 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2007 0 0 0 103 0 0 0 19 0 8 0 523054928 563593216 6210 33554432000 4194304 4580107 140737365598496 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14865] ppid=14861 vsize=550384 CPUtime=1 cores=0-7
/proc/14863/task/14865/stat : 14865 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2020 0 0 0 100 0 0 0 19 0 8 0 523054928 563593216 6210 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14863/tid=14866] ppid=14861 vsize=550384 CPUtime=1.03 cores=0-7
/proc/14863/task/14866/stat : 14866 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2022 0 0 0 103 0 0 0 19 0 8 0 523054928 563593216 6210 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14863/tid=14867] ppid=14861 vsize=550384 CPUtime=1.03 cores=0-7
/proc/14863/task/14867/stat : 14867 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2004 0 0 0 103 0 0 0 19 0 8 0 523054928 563593216 6210 33554432000 4194304 4580107 140737365598496 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14868] ppid=14861 vsize=550384 CPUtime=1 cores=0-7
/proc/14863/task/14868/stat : 14868 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2082 0 0 0 100 0 0 0 19 0 8 0 523054928 563593216 6211 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14863/tid=14869] ppid=14861 vsize=550384 CPUtime=1.02 cores=0-7
/proc/14863/task/14869/stat : 14869 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2100 0 0 0 102 0 0 0 19 0 8 0 523054928 563593216 6211 33554432000 4194304 4580107 140737365598496 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14863/tid=14870] ppid=14861 vsize=550384 CPUtime=1.03 cores=0-7
/proc/14863/task/14870/stat : 14870 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1541 0 0 0 103 0 0 0 19 0 8 0 523054928 563593216 6211 33554432000 4194304 4580107 140737365598496 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 550384
[startup+1.14423 s]
/proc/loadavg: 8.20 8.06 7.21 1/481 14863
/proc/meminfo: memFree=4353468/32951124 swapFree=46575304/67111528
[pid=14863] ppid=14861 vsize=559040 CPUtime=9.02 cores=0-7
/proc/14863/stat : 14863 (strangenight2-m) R 14861 14863 14584 0 -1 4202496 17836 0 0 0 899 3 0 0 19 0 8 0 523054927 572456960 7130 33554432000 4194304 4580107 140737365598496 18446744073709551615 4406486 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14863/statm: 139760 7130 379 95 0 134742 0
[pid=14863/tid=14864] ppid=14861 vsize=559040 CPUtime=1.13 cores=0-7
/proc/14863/task/14864/stat : 14864 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2123 0 0 0 113 0 0 0 19 0 8 0 523054928 572456960 7130 33554432000 4194304 4580107 140737365598496 18446744073709551615 4305192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14865] ppid=14861 vsize=559040 CPUtime=1.1 cores=0-7
/proc/14863/task/14865/stat : 14865 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2129 0 0 0 110 0 0 0 19 0 8 0 523054928 572456960 7130 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14863/tid=14866] ppid=14861 vsize=559040 CPUtime=1.13 cores=0-7
/proc/14863/task/14866/stat : 14866 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2120 0 0 0 113 0 0 0 19 0 8 0 523054928 572456960 7130 33554432000 4194304 4580107 140737365598496 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14863/tid=14867] ppid=14861 vsize=559040 CPUtime=1.13 cores=0-7
/proc/14863/task/14867/stat : 14867 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2232 0 0 0 113 0 0 0 19 0 8 0 523054928 572456960 7130 33554432000 4194304 4580107 140737365598496 18446744073709551615 4324336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14868] ppid=14861 vsize=559040 CPUtime=1.1 cores=0-7
/proc/14863/task/14868/stat : 14868 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2210 0 0 0 110 0 0 0 19 0 8 0 523054928 572456960 7130 33554432000 4194304 4580107 140737365598496 18446744073709551615 4315546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14863/tid=14869] ppid=14861 vsize=559040 CPUtime=1.12 cores=0-7
/proc/14863/task/14869/stat : 14869 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2289 0 0 0 112 0 0 0 19 0 8 0 523054928 572456960 7132 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14863/tid=14870] ppid=14861 vsize=559040 CPUtime=1.13 cores=0-7
/proc/14863/task/14870/stat : 14870 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1616 0 0 0 113 0 0 0 19 0 8 0 523054928 572456960 7132 33554432000 4194304 4580107 140737365598496 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 559040
[startup+1.50117 s]
/proc/loadavg: 8.20 8.06 7.21 1/481 14863
/proc/meminfo: memFree=4353468/32951124 swapFree=46575304/67111528
[pid=14863] ppid=14861 vsize=559324 CPUtime=11.88 cores=0-7
/proc/14863/stat : 14863 (strangenight2-m) R 14861 14863 14584 0 -1 4202496 21913 0 0 0 1184 4 0 0 20 0 8 0 523054927 572747776 8907 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295461 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14863/statm: 139831 8907 379 95 0 134813 0
[pid=14863/tid=14864] ppid=14861 vsize=559324 CPUtime=1.49 cores=0-7
/proc/14863/task/14864/stat : 14864 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2879 0 0 0 149 0 0 0 19 0 8 0 523054928 572747776 8907 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14865] ppid=14861 vsize=559324 CPUtime=1.46 cores=0-7
/proc/14863/task/14865/stat : 14865 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2690 0 0 0 146 0 0 0 20 0 8 0 523054928 572747776 8907 33554432000 4194304 4580107 140737365598496 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14863/tid=14866] ppid=14861 vsize=559324 CPUtime=1.49 cores=0-7
/proc/14863/task/14866/stat : 14866 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2549 0 0 0 149 0 0 0 20 0 8 0 523054928 572747776 8907 33554432000 4194304 4580107 140737365598496 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14863/tid=14867] ppid=14861 vsize=559324 CPUtime=1.49 cores=0-7
/proc/14863/task/14867/stat : 14867 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2472 0 0 0 149 0 0 0 19 0 8 0 523054928 572747776 8907 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14868] ppid=14861 vsize=559324 CPUtime=1.46 cores=0-7
/proc/14863/task/14868/stat : 14868 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2839 0 0 0 146 0 0 0 20 0 8 0 523054928 572747776 8907 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14863/tid=14869] ppid=14861 vsize=559324 CPUtime=1.48 cores=0-7
/proc/14863/task/14869/stat : 14869 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2928 0 0 0 148 0 0 0 19 0 8 0 523054928 572747776 8907 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14863/tid=14870] ppid=14861 vsize=559324 CPUtime=1.49 cores=0-7
/proc/14863/task/14870/stat : 14870 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 1972 0 0 0 149 0 0 0 19 0 8 0 523054928 572747776 8908 33554432000 4194304 4580107 140737365598496 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 559324
Solver just ended. Dumping a history of the last processes samples
[startup+1.70113 s]
/proc/loadavg: 8.20 8.06 7.21 1/481 14863
/proc/meminfo: memFree=4353468/32951124 swapFree=46575304/67111528
[pid=14863] ppid=14861 vsize=542472 CPUtime=13.48 cores=0-7
/proc/14863/stat : 14863 (strangenight2-m) R 14861 14863 14584 0 -1 4202496 24012 0 0 0 1344 4 0 0 20 0 8 0 523054927 555491328 8518 33554432000 4194304 4580107 140737365598496 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14863/statm: 135618 8518 379 95 0 130600 0
[pid=14863/tid=14864] ppid=14861 vsize=542472 CPUtime=1.69 cores=0-7
/proc/14863/task/14864/stat : 14864 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 3077 0 0 0 169 0 0 0 20 0 8 0 523054928 555491328 8518 33554432000 4194304 4580107 140737365598496 18446744073709551615 4324244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14863/tid=14865] ppid=14861 vsize=542472 CPUtime=1.66 cores=0-7
/proc/14863/task/14865/stat : 14865 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 3043 0 0 0 166 0 0 0 20 0 8 0 523054928 555491328 8518 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14863/tid=14866] ppid=14861 vsize=542472 CPUtime=1.69 cores=0-7
/proc/14863/task/14866/stat : 14866 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2720 0 0 0 169 0 0 0 20 0 8 0 523054928 555491328 8518 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14863/tid=14867] ppid=14861 vsize=542472 CPUtime=1.68 cores=0-7
/proc/14863/task/14867/stat : 14867 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2829 0 0 0 168 0 0 0 20 0 8 0 523054928 555491328 8518 33554432000 4194304 4580107 140737365598496 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14863/tid=14868] ppid=14861 vsize=542472 CPUtime=1.65 cores=0-7
/proc/14863/task/14868/stat : 14868 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 3114 0 0 0 165 0 0 0 20 0 8 0 523054928 555491328 8519 33554432000 4194304 4580107 140737365598496 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14863/tid=14869] ppid=14861 vsize=542472 CPUtime=1.68 cores=0-7
/proc/14863/task/14869/stat : 14869 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 3294 0 0 0 168 0 0 0 20 0 8 0 523054928 555491328 8519 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14863/tid=14870] ppid=14861 vsize=542472 CPUtime=1.69 cores=0-7
/proc/14863/task/14870/stat : 14870 (strangenight2-m) R 14861 14863 14584 0 -1 4202560 2092 0 0 0 169 0 0 0 20 0 8 0 523054928 555491328 8520 33554432000 4194304 4580107 140737365598496 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 542472
Child status: 20
Real time (s): 1.7344
CPU time (s): 13.7389
CPU user time (s): 13.6879
CPU system time (s): 0.050992
CPU usage (%): 792.141
Max. virtual memory (cumulated for all children) (KiB): 568332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6879
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24214
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= 1179
involuntary context switches= 64
runsolver used 0.009998 second user time and 0.025996 second system time
The end
Begin job on node107 at 2011-05-30 22:50:37
IDJOB=3421722
IDBENCH=87848
IDSOLVER=1878
FILE ID=node107/3421722-1306788637
RUNJOBID= node107-1306786794-14598
PBS_JOBID= 13475035
Free space on /tmp= 56072 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/handmade/chu-min-li/urquhart/urquhart3_25bis.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421722-1306788637/watcher-3421722-1306788637 -o /tmp/evaluation-result-3421722-1306788637/solver-3421722-1306788637 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421722-1306788637.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0313821ef13a43b48c58a56902d9e90b
RANDOM SEED=57442430
node107.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.829
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.65
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.829
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.829
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.829
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.82
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.829
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.74
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.829
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 : 5359.47
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.829
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.829
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: 4353624 kB
Buffers: 226440 kB
Cached: 18938224 kB
SwapCached: 9624 kB
Active: 17099992 kB
Inactive: 10752388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 4353624 kB
SwapTotal: 67111528 kB
SwapFree: 46575304 kB
Dirty: 5764 kB
Writeback: 0 kB
AnonPages: 8685812 kB
Mapped: 32240 kB
Slab: 577956 kB
PageTables: 94636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 145076040 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= 56068 MiB
End job on node107 at 2011-05-30 22:50:38