0.00/0.01 c Outputting solution to console
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-3370816-1305380472.cnf'
0.00/0.01 c -- header says num vars: 489685
0.00/0.01 c -- header says num clauses: 8779920
1.88/1.98 c -- clauses added: 0 learnts, 8779920 normals, 0 xors
1.88/1.98 c -- vars added 489685
1.88/1.98 c Parsing time: 1.84 s
1.88/1.98 c N st 0 0 489685 304437 7524558 0 17087371 0 no data no data --
2.59/2.64 c asymm cl-useful: 564/719/235695 lits-rem:2242 time: 0.63
11.18/11.20 c Flit: 285 Blit: 87855 bXBeca: 0 bXProp: 933 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.35
11.28/11.31 c Cleaning up after failed var search: 0.11 s
11.38/11.47 c Replacing 934 vars Replaced 31458 lits Time: 0.14 s
12.09/12.18 c bin-w-bin subsume rem 1059 bins time: 0.53 s
13.39/13.43 c subs with bin: 0 lits-rem: 1342 v-fix: 0 time: 1.25 s
16.58/16.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 23918 time: 3.17 s
16.78/16.83 c Removed useless bin: 1704 fixed: 0 props: 20.00M time: 0.22 s
18.30/18.32 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 1.48 s
19.18/19.29 c Finding binary XORs T: 0.97 s found: 1972
19.40/19.44 c Replacing 1972 vars Replaced 149488 lits Time: 0.15 s
19.78/19.88 c Finding non-binary XORs: 0.09 s (found: 0, avg size: nan)
19.78/19.88 c calculated reachability. Time: 0.28
19.88/19.94 c Calc default polars - time: 0.06 s pos: 2914 undec: 237434 neg: 249337
19.88/19.94 c =========================================================================================
19.88/19.94 c types(t): F = full restart, N = normal restart
19.88/19.94 c types(t): S = simplification begin/end, E = solution found
19.88/19.94 c restart types(rt): st = static, dy = dynamic
19.88/19.94 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
19.88/19.94 c B st 0 0 252251 174928 4072585 0 9310462 0 no data no data --
29.08/29.10 c N dy 15 4307 206856 142800 3088877 3856 7124058 1653346 9.48 10.07 --
55.78/55.88 c N dy 38 9521 206845 142800 3089079 8825 7124058 6067109 10.08 10.83 --
65.19/65.27 c N dy 52 13637 206843 142800 3089205 12782 7124058 8165146 9.74 10.27 --
70.18/70.20 c N dy 56 17930 206841 142800 3089330 16902 7124058 8934548 9.02 9.57 --
80.38/80.41 c N dy 83 22169 206837 142800 3089435 11582 7124058 1395452 9.53 10.48 --
88.38/88.46 c F st 94 25000 206836 142800 3089473 14358 7124058 2968983 9.42 7.50 --
91.59/91.60 c N st 97 26192 206835 142766 3088572 15511 7122001 3618899 9.42 no data --
103.38/103.45 c S st 100 30000 206829 142766 3088585 19285 7122001 6556909 9.42 no data --
104.68/104.73 c S st 100 30500 206829 142766 3088622 19733 7122001 6676705 9.42 no data --
104.78/104.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
104.78/104.88 c Cache BProp: 61361 Set: 724 BXProp: 67 T: 0.03
130.69/130.70 c Flit: 289 Blit: 2009 bXBeca: 0 bXProp: 71 Bins: 104323 BRemL: 2 BRemN: 268 P: 200.2M T: 25.63
130.79/130.80 c Cleaning up after failed var search: 0.09 s
130.99/131.08 c Replacing 139 vars Replaced 12881 lits Time: 0.27 s
132.08/132.10 c bin-w-bin subsume rem 229 bins time: 0.27 s
133.79/133.83 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 1.72 s
134.90/134.98 c Subs w/ non-existent bins: 2 l-rem: 194 v-fix: 90 done: 7968 time: 1.15 s
135.18/135.26 c Removed useless bin: 2886 fixed: 92 props: 20.02M time: 0.27 s
143.28/143.37 c lits-rem: 31 cl-subs: 844 v-elim: 38 v-fix: 0 time: 8.11 s
143.78/143.81 c asymm cl-useful: 247/1055/140243 lits-rem:492 time: 0.44
144.69/144.71 c calculated reachability. Time: 0.83
144.69/144.71 c N dy 100 30500 203209 140243 3111778 18786 6947582 6676785 9.42 no data --
146.99/147.08 c Finding binary XORs T: 2.35 s found: 1867
157.78/157.83 c N dy 107 35311 203205 140243 3111901 23450 6947582 9221641 9.09 9.63 --
167.68/167.71 c N dy 120 39429 203195 140243 3112020 27421 6947582 11339911 8.92 10.30 --
181.47/181.55 c N dy 128 44398 203184 140243 3112142 17351 6947582 1748823 8.68 9.21 --
183.98/184.03 c S st 133 45750 203182 140243 3112170 18664 6947582 2124935 8.65 6.04 --
185.28/185.31 c S st 133 46251 203168 140243 3112206 19116 6947582 2243033 8.65 no data --
185.39/185.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
185.49/185.52 c Cache BProp: 62489 Set: 477 BXProp: 1 T: 0.08
202.48/202.58 c Flit: 275 Blit: 2145 bXBeca: 0 bXProp: 11 Bins: 68342 BRemL: 0 BRemN: 142 P: 200.0M T: 16.93
202.58/202.65 c Cleaning up after failed var search: 0.07 s
202.78/202.87 c Replacing 1879 vars Replaced 120129 lits Time: 0.20 s
203.28/203.40 c bin-w-bin subsume rem 1014 bins time: 0.29 s
204.87/205.00 c subs with bin: 0 lits-rem: 348 v-fix: 0 time: 1.60 s
207.98/208.03 c Subs w/ non-existent bins: 4 l-rem: 378 v-fix: 47 done: 18220 time: 3.03 s
208.28/208.35 c Removed useless bin: 5471 fixed: 49 props: 20.01M time: 0.32 s
211.38/211.48 c lits-rem: 588 cl-subs: 446 v-elim: 2 v-fix: 0 time: 3.12 s
211.68/211.70 c vivif2 -- cl tried 138072 cl shrink 404 lits rem 780 time: 0.22
212.08/212.17 c vivif2 -- cl tried 18458 cl shrink 7141 lits rem 717771 time: 0.47
212.58/212.63 c asymm cl-useful: 147/781/138071 lits-rem:252 time: 0.46
213.78/213.82 c calculated reachability. Time: 1.13
213.78/213.83 c N dy 133 46251 198748 138071 3096637 17925 6775889 1567250 8.65 no data --
216.88/216.94 c Finding binary XORs T: 3.11 s found: 641
227.19/227.28 c N dy 141 50906 198741 138071 3096752 22424 6775889 3565241 8.48 9.01 --
235.08/235.18 c N dy 156 55181 198726 138071 3096839 26586 6775889 4648716 8.41 8.90 --
243.37/243.48 c N dy 167 59808 198721 138071 3096919 31107 6775889 6053253 8.32 8.83 --
250.97/251.04 c N dy 181 64370 198714 138071 3096971 17856 6775889 798857 8.23 8.67 --
257.47/257.56 c N dy 194 68516 198707 138071 3097032 21910 6775889 1741472 8.18 8.94 --
258.67/258.75 c S st 198 69376 198706 138071 3097045 22748 6775889 1891530 8.17 5.58 --
259.87/259.93 c S st 198 69879 198689 138071 3097086 23198 6775889 1964250 8.17 no data --
259.97/260.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
260.07/260.17 c Cache BProp: 64262 Set: 270 BXProp: 0 T: 0.12
275.97/276.01 c Flit: 243 Blit: 761 bXBeca: 0 bXProp: 14 Bins: 30665 BRemL: 0 BRemN: 108 P: 200.1M T: 15.70
275.97/276.02 c Cleaning up after failed var search: 0.00 s
276.17/276.28 c Replacing 656 vars Replaced 40519 lits Time: 0.25 s
276.69/276.80 c bin-w-bin subsume rem 586 bins time: 0.30 s
278.37/278.45 c subs with bin: 387 lits-rem: 1149 v-fix: 0 time: 1.65 s
282.19/282.21 c Subs w/ non-existent bins: 8 l-rem: 296 v-fix: 49 done: 24366 time: 3.74 s
282.48/282.53 c Removed useless bin: 6252 fixed: 50 props: 20.01M time: 0.32 s
285.59/285.65 c lits-rem: 604 cl-subs: 545 v-elim: 0 v-fix: 0 time: 3.11 s
285.88/285.93 c vivif2 -- cl tried 136855 cl shrink 4 lits rem 7 time: 0.28
286.48/286.51 c vivif2 -- cl tried 22139 cl shrink 4596 lits rem 497699 time: 0.58
286.88/286.99 c asymm cl-useful: 202/624/136855 lits-rem:459 time: 0.48
288.38/288.44 c calculated reachability. Time: 1.38
288.38/288.44 c N dy 198 69879 196686 136855 3075092 21877 6674617 1439185 8.17 no data --
292.38/292.40 c Finding binary XORs T: 3.95 s found: 358
298.79/298.81 c N dy 209 74346 196674 136855 3075163 26238 6674617 2250824 8.09 8.52 --
306.18/306.20 c N dy 226 79709 196670 136855 3075254 31468 6674617 3238254 8.03 8.50 --
313.17/313.24 c N dy 241 84932 196665 136855 3075321 36571 6674617 4194083 7.97 8.46 --
316.78/316.85 c F st 249 87500 196663 136855 3075345 39089 6674617 4649954 7.94 5.78 --
317.18/317.20 c Replacing 358 vars Replaced 41076 lits Time: 0.27 s
322.58/322.66 c N st 254 90804 196305 136835 3074198 24272 6672237 1325772 7.94 no data --
330.48/330.58 c N dy 270 96681 196299 136835 3074274 30020 6672237 2382521 7.92 8.48 --
340.08/340.14 c N dy 294 103083 196293 136835 3074349 36296 6672237 3608472 7.87 8.30 --
342.88/342.92 c S st 302 104818 196292 136835 3074364 38004 6672237 4019139 7.87 no data --
344.18/344.23 c S st 302 105318 196292 136835 3074402 38458 6672237 4107403 7.87 no data --
344.28/344.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
344.48/344.51 c Cache BProp: 64487 Set: 331 BXProp: 0 T: 0.16
362.48/362.60 c Flit: 165 Blit: 1048 bXBeca: 0 bXProp: 13 Bins: 64004 BRemL: 4 BRemN: 144 P: 200.0M T: 17.98
362.58/362.61 c Cleaning up after failed var search: 0.00 s
362.77/362.88 c Replacing 14 vars Replaced 1780 lits Time: 0.26 s
363.47/363.55 c bin-w-bin subsume rem 379 bins time: 0.30 s
365.17/365.27 c subs with bin: 524 lits-rem: 638 v-fix: 0 time: 1.72 s
365.67/365.76 c Subs w/ non-existent bins: 0 l-rem: 899 v-fix: 2 done: 762 time: 0.48 s
366.07/366.10 c Removed useless bin: 3490 fixed: 4 props: 20.01M time: 0.33 s
370.87/370.90 c lits-rem: 57 cl-subs: 920 v-elim: 0 v-fix: 0 time: 4.80 s
371.17/371.23 c vivif2 -- cl tried 135442 cl shrink 3 lits rem 5 time: 0.32
372.38/372.49 c vivif2 -- cl tried 36893 cl shrink 10673 lits rem 1407866 time: 1.26
372.97/373.01 c asymm cl-useful: 136/542/135442 lits-rem:205 time: 0.52
374.68/374.75 c calculated reachability. Time: 1.68
374.68/374.76 c N dy 302 105318 194594 135442 3075768 36612 6568352 2669889 7.87 no data --
379.47/379.50 c Finding binary XORs T: 4.73 s found: 385
389.48/389.52 c N dy 325 112221 194584 135442 3075883 43305 6568352 3511858 7.81 8.25 --
399.99/400.05 c N dy 344 119813 194566 135442 3075977 32424 6568352 1743727 7.73 8.17 --
411.18/411.28 c N dy 370 127504 194556 135442 3076044 39960 6568352 2776476 7.67 8.25 --
423.87/423.95 c N dy 409 135741 194548 135442 3076133 48008 6568352 4020691 7.67 8.12 --
436.37/436.41 c N dy 442 144490 194541 135442 3076197 38030 6568352 1865771 7.64 8.06 --
449.57/449.68 c N dy 474 153851 194539 135442 3076271 47171 6568352 2808630 7.60 8.01 --
455.27/455.33 c S st 488 157978 194538 135442 3076297 51217 6568352 3321076 7.59 6.40 --
456.57/456.62 c S st 488 158480 194533 135442 3076332 51678 6568352 3393868 7.59 no data --
456.67/456.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
456.87/456.93 c Cache BProp: 64450 Set: 249 BXProp: 0 T: 0.19
475.98/476.04 c Flit: 178 Blit: 358 bXBeca: 0 bXProp: 7 Bins: 64288 BRemL: 3 BRemN: 203 P: 200.1M T: 19.00
475.98/476.05 c Cleaning up after failed var search: 0.00 s
476.28/476.35 c Replacing 393 vars Replaced 26854 lits Time: 0.29 s
476.89/476.97 c bin-w-bin subsume rem 540 bins time: 0.31 s
478.48/478.55 c subs with bin: 434 lits-rem: 2032 v-fix: 0 time: 1.58 s
482.57/482.67 c Subs w/ non-existent bins: 4 l-rem: 295 v-fix: 35 done: 35522 time: 4.11 s
482.97/483.01 c Removed useless bin: 3832 fixed: 36 props: 20.01M time: 0.34 s
487.98/488.05 c lits-rem: 167 cl-subs: 2024 v-elim: 0 v-fix: 0 time: 5.04 s
488.37/488.42 c vivif2 -- cl tried 134657 cl shrink 6 lits rem 32 time: 0.37
490.08/490.17 c vivif2 -- cl tried 49033 cl shrink 11513 lits rem 1030317 time: 1.75
490.57/490.69 c asymm cl-useful: 74/450/134657 lits-rem:96 time: 0.52
492.67/492.70 c calculated reachability. Time: 1.94
492.67/492.70 c N dy 488 158480 193263 134657 3103409 48726 6501038 2363698 7.59 no data --
498.17/498.21 c Finding binary XORs T: 5.49 s found: 225
513.18/513.21 c N dy 549 168605 193241 134657 3103530 37671 6501038 1366490 7.60 11.27 --
528.77/528.85 c N dy 590 179463 193232 134657 3103627 48285 6501038 2501149 7.57 8.37 --
545.47/545.54 c N dy 655 190979 193224 134657 3103699 59547 6501038 3924778 7.58 8.10 --
563.37/563.41 c N dy 708 203383 193214 134657 3103775 50329 6501038 2399932 7.58 8.09 --
582.37/582.40 c N dy 782 216404 193209 134657 3103830 63126 6501038 3991531 7.60 13.76 --
603.48/603.56 c N dy 845 230288 192393 134657 3103914 53955 6501038 2248128 7.59 8.72 --
613.77/613.90 c S st 888 237721 192387 134657 3103944 61238 6501038 3107772 7.60 no data --
615.17/615.22 c S st 888 238224 192378 134657 3103966 61711 6501038 3183617 7.60 no data --
615.27/615.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
615.48/615.56 c Cache BProp: 61093 Set: 473 BXProp: 0 T: 0.21
632.46/632.54 c Flit: 710 Blit: 511 bXBeca: 0 bXProp: 55 Bins: 36376 BRemL: 254 BRemN: 1786 P: 200.0M T: 16.93
632.56/632.63 c Cleaning up after failed var search: 0.08 s
632.76/632.84 c Replacing 281 vars Replaced 25865 lits Time: 0.20 s
633.36/633.41 c bin-w-bin subsume rem 1076 bins time: 0.30 s
634.86/634.92 c subs with bin: 124 lits-rem: 492 v-fix: 0 time: 1.51 s
636.97/637.08 c Subs w/ non-existent bins: 9 l-rem: 802 v-fix: 22 done: 9964 time: 2.15 s
637.37/637.42 c Removed useless bin: 6269 fixed: 25 props: 20.01M time: 0.33 s
642.87/642.95 c lits-rem: 126 cl-subs: 2917 v-elim: 3 v-fix: 0 time: 5.53 s
643.27/643.36 c vivif2 -- cl tried 131506 cl shrink 7 lits rem 58 time: 0.40
645.37/645.45 c vivif2 -- cl tried 57430 cl shrink 11867 lits rem 786949 time: 2.09
645.87/645.99 c asymm cl-useful: 114/511/131506 lits-rem:196 time: 0.54
648.07/648.15 c calculated reachability. Time: 2.10
648.07/648.15 c N dy 888 238224 189395 131505 3049601 57100 6323371 2233630 7.60 no data --
654.08/654.18 c Finding binary XORs T: 6.01 s found: 682
677.37/677.40 c N dy 982 253506 187828 131505 3049719 71944 6323371 3773019 7.63 8.38 --
682.47/682.57 c E dy 995 257656 165958 115330 2483959 38471 5261933 1081048 7.61 5.08 --
682.47/682.57 c num threads : 1
682.47/682.57 c restarts : 995
682.47/682.57 c dynamic restarts : 977
682.47/682.57 c static restarts : 18
682.47/682.57 c full restarts : 2
682.47/682.57 c total simplify time : 27.38
682.47/682.57 c learnts DL2 : 0
682.47/682.57 c learnts size 2 : 7912671
682.47/682.57 c learnts size 1 : 318191 (64.98 % of vars)
682.47/682.57 c filedLit time : 120.91 (17.75 % time)
682.47/682.57 c v-elim SatELite : 47 (0.01 % vars)
682.47/682.57 c SatELite time : 47.39 (6.96 % time)
682.47/682.57 c v-elim xor : 0 (0.00 % vars)
682.47/682.57 c xor elim time : 0.72 (0.11 % time)
682.47/682.57 c num binary xor trees : 6763
682.47/682.57 c binxor trees' crown : 7308 (1.08 leafs/tree)
682.47/682.57 c bin xor find time : 26.62
682.47/682.57 c OTF clause improved : 2903 (0.01 clauses/conflict)
682.47/682.57 c OTF impr. size diff : 11316 (3.90 lits/clause)
682.47/682.57 c OTF cl watch-shrink : 163694 (0.64 clauses/conflict)
682.47/682.57 c OTF cl watch-sh-lit : 3714386 (22.69 lits/clause)
682.47/682.57 c tried to recurMin cls : 170266 (66.08 % of conflicts)
682.47/682.57 c updated cache : 137455 (0.81 lits/tried recurMin)
682.47/682.57 c clauses over max glue : 0 (0.00 % of all clauses)
682.47/682.57 c conflicts : 257656 (378.21 / sec)
682.47/682.57 c decisions : 688563 (1.13 % random)
682.47/682.57 c bogo-props : 10564192408 (15507220.86 / sec)
682.47/682.57 c conflict literals : 56187974 (39.40 % deleted)
682.47/682.57 c Memory used : 4270.11 MB
682.47/682.57 c CPU time : 681.24 s
682.47/682.57 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-3370816-1305380472/watcher-3370816-1305380472 -o /tmp/evaluation-result-3370816-1305380472/solver-3370816-1305380472 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370816-1305380472.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.04 3.99 3.04 5/348 28768
/proc/meminfo: memFree=16811832/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=33036 CPUtime=0 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 1405 0 0 0 0 0 0 0 20 0 1 0 649648684 33828864 1244 33554432000 4194304 4650387 140733272727584 18446744073709551615 4361539 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 8259 1255 330 112 0 3224 0
[startup+0.079876 s]
/proc/loadavg: 4.04 3.99 3.04 5/348 28768
/proc/meminfo: memFree=16811832/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=39032 CPUtime=0.06 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 3394 0 0 0 6 0 0 0 20 0 1 0 649648684 39968768 2815 33554432000 4194304 4650387 140733272727584 18446744073709551615 4545901 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 9758 2815 330 112 0 4723 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 39032
[startup+0.100845 s]
/proc/loadavg: 4.04 3.99 3.04 5/348 28768
/proc/meminfo: memFree=16811832/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=43064 CPUtime=0.08 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 4437 0 0 0 8 0 0 0 20 0 1 0 649648684 44097536 3329 33554432000 4194304 4650387 140733272727584 18446744073709551615 4545857 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 10766 3329 330 112 0 5731 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43064
[startup+0.310481 s]
/proc/loadavg: 4.04 3.99 3.04 5/348 28768
/proc/meminfo: memFree=16811832/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=74736 CPUtime=0.29 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 13133 0 0 0 27 2 0 0 21 0 1 0 649648684 76529664 10891 33554432000 4194304 4650387 140733272727584 18446744073709551615 4519989 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 18684 10891 330 112 0 13649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74736
[startup+1.16465 s]
/proc/loadavg: 4.04 3.99 3.04 5/348 28768
/proc/meminfo: memFree=16811832/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=215372 CPUtime=1.15 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 51635 0 0 0 107 8 0 0 25 0 1 0 649648684 220540928 42852 33554432000 4194304 4650387 140733272727584 18446744073709551615 270612771525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 53843 42853 330 112 0 48808 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 215372
[startup+1.50061 s]
/proc/loadavg: 4.04 3.99 3.04 5/348 28768
/proc/meminfo: memFree=16811832/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=302668 CPUtime=1.48 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 65121 0 0 0 138 10 0 0 25 0 1 0 649648684 309932032 56181 33554432000 4194304 4650387 140733272727584 18446744073709551615 4317213 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 75667 56182 330 112 0 70632 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 302668
[startup+3.10033 s]
/proc/loadavg: 4.20 4.02 3.06 5/349 28769
/proc/meminfo: memFree=16327860/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=382612 CPUtime=3.08 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 95254 0 0 0 293 15 0 0 25 0 1 0 649648684 391794688 83138 33554432000 4194304 4650387 140733272727584 18446744073709551615 4241552 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 95653 83145 353 112 0 90618 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 382612
[startup+6.30075 s]
/proc/loadavg: 4.20 4.02 3.06 5/349 28769
/proc/meminfo: memFree=16130436/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=621340 CPUtime=6.29 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 137176 0 0 0 609 20 0 0 25 0 1 0 649648684 636252160 125060 33554432000 4194304 4650387 140733272727584 18446744073709551615 4369344 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 155335 125060 353 112 0 150300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 621340
[startup+12.7006 s]
/proc/loadavg: 4.25 4.04 3.07 5/349 28770
/proc/meminfo: memFree=15850576/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=1004040 CPUtime=12.7 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 203368 0 0 0 1242 28 0 0 25 0 1 0 649648684 1028136960 191252 33554432000 4194304 4650387 140733272727584 18446744073709551615 4436188 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 251010 191252 364 112 0 245975 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1004040
[startup+25.5003 s]
/proc/loadavg: 4.21 4.04 3.08 5/349 28770
/proc/meminfo: memFree=15719100/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=1057740 CPUtime=25.48 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 217790 0 0 0 2519 29 0 0 25 0 1 0 649648684 1083125760 205674 33554432000 4194304 4650387 140733272727584 18446744073709551615 4315787 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 264435 205674 379 112 0 259400 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1057740
[startup+51.1008 s]
/proc/loadavg: 4.14 4.03 3.10 5/349 28799
/proc/meminfo: memFree=15511972/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=1123284 CPUtime=51.08 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 222087 0 0 0 5077 31 0 0 25 0 1 0 649648684 1150242816 209971 33554432000 4194304 4650387 140733272727584 18446744073709551615 4363661 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 280821 209971 379 112 0 275786 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1123284
[startup+102.301 s]
/proc/loadavg: 4.15 4.06 3.16 5/349 28854
/proc/meminfo: memFree=15279120/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=1122844 CPUtime=102.28 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 234300 0 0 0 10194 34 0 0 25 0 1 0 649648684 1149792256 209943 33554432000 4194304 4650387 140733272727584 18446744073709551615 4334059 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 280711 209943 382 112 0 275676 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1122844
[startup+162.301 s]
/proc/loadavg: 4.09 4.06 3.21 5/349 28856
/proc/meminfo: memFree=13777040/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=2105300 CPUtime=162.29 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 430420 0 0 0 16169 60 0 0 25 0 1 0 649648684 2155827200 406063 33554432000 4194304 4650387 140733272727584 18446744073709551615 4333751 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 526325 406063 383 112 0 521290 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2105300
[startup+222.3 s]
/proc/loadavg: 4.03 4.04 3.26 5/349 28857
/proc/meminfo: memFree=13197580/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=2648908 CPUtime=222.28 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 539878 0 0 0 22154 74 0 0 25 0 1 0 649648684 2712481792 501207 33554432000 4194304 4650387 140733272727584 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 662227 501207 383 112 0 657192 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 2648908
[startup+282.313 s]
/proc/loadavg: 4.01 4.03 3.30 5/349 28859
/proc/meminfo: memFree=12362512/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=3085504 CPUtime=282.29 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 641152 0 0 0 28139 90 0 0 25 0 1 0 649648684 3159556096 597066 33554432000 4194304 4650387 140733272727584 18446744073709551615 4303235 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 771376 597066 383 112 0 766341 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3085504
[startup+342.3 s]
/proc/loadavg: 4.00 4.03 3.34 5/349 28860
/proc/meminfo: memFree=12271548/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=3151048 CPUtime=342.28 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 644658 0 0 0 34135 93 0 0 25 0 1 0 649648684 3226673152 597665 33554432000 4194304 4650387 140733272727584 18446744073709551615 4364743 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 787762 597665 383 112 0 782727 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 3151048
[startup+402.301 s]
/proc/loadavg: 4.00 4.02 3.38 5/349 28862
/proc/meminfo: memFree=11790808/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=3584220 CPUtime=402.28 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 742418 0 0 0 40122 106 0 0 25 0 1 0 649648684 3670241280 691899 33554432000 4194304 4650387 140733272727584 18446744073709551615 4364806 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 896055 691899 383 112 0 891020 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 3584220
[startup+462.301 s]
/proc/loadavg: 4.00 4.01 3.42 5/349 28864
/proc/meminfo: memFree=11680620/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=3585736 CPUtime=462.27 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 743622 0 0 0 46121 106 0 0 25 0 1 0 649648684 3671793664 692193 33554432000 4194304 4650387 140733272727584 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 896434 692193 383 112 0 891399 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 3585736
[startup+522.3 s]
/proc/loadavg: 4.03 4.02 3.46 5/349 28865
/proc/meminfo: memFree=11276196/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4085632 CPUtime=522.27 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 838585 0 0 0 52107 120 0 0 25 0 1 0 649648684 4183687168 784940 33554432000 4194304 4650387 140733272727584 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1021408 784940 383 112 0 1016373 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 4085632
[startup+582.301 s]
/proc/loadavg: 4.15 4.06 3.50 5/349 28867
/proc/meminfo: memFree=11258228/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4168192 CPUtime=582.27 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 843788 0 0 0 58104 123 0 0 25 0 1 0 649648684 4268228608 789460 33554432000 4194304 4650387 140733272727584 18446744073709551615 4364898 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1042048 789460 383 112 0 1037013 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 4168192
[startup+642.301 s]
/proc/loadavg: 4.22 4.09 3.55 5/349 28868
/proc/meminfo: memFree=10914328/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4372584 CPUtime=642.27 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 899187 0 0 0 64098 129 0 0 25 0 1 0 649648684 4477526016 843856 33554432000 4194304 4650387 140733272727584 18446744073709551615 4428722 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1093146 843856 383 112 0 1088111 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 4372584
Solver just ended. Dumping a history of the last processes samples
[startup+666.213 s]
/proc/loadavg: 4.15 4.08 3.56 5/349 28869
/proc/meminfo: memFree=10888952/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4438128 CPUtime=666.18 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 900535 0 0 0 66488 130 0 0 25 0 1 0 649648684 4544643072 845204 33554432000 4194304 4650387 140733272727584 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1109532 845204 383 112 0 1104497 0
Current children cumulated CPU time (s) 666.18
Current children cumulated vsize (KiB) 4438128
[startup+672.601 s]
/proc/loadavg: 4.13 4.08 3.56 5/349 28869
/proc/meminfo: memFree=10909784/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4438128 CPUtime=672.57 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 900900 0 0 0 67127 130 0 0 25 0 1 0 649648684 4544643072 845569 33554432000 4194304 4650387 140733272727584 18446744073709551615 4363307 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1109532 845569 383 112 0 1104497 0
Current children cumulated CPU time (s) 672.57
Current children cumulated vsize (KiB) 4438128
[startup+679.001 s]
/proc/loadavg: 4.19 4.10 3.57 5/349 28869
/proc/meminfo: memFree=10891184/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4372584 CPUtime=678.97 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 901290 0 0 0 67767 130 0 0 25 0 1 0 649648684 4477526016 843890 33554432000 4194304 4650387 140733272727584 18446744073709551615 4229527 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1093146 843890 383 112 0 1088111 0
Current children cumulated CPU time (s) 678.97
Current children cumulated vsize (KiB) 4372584
[startup+680.6 s]
/proc/loadavg: 4.19 4.10 3.57 5/346 28875
/proc/meminfo: memFree=12837344/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4372584 CPUtime=680.57 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 901290 0 0 0 67927 130 0 0 25 0 1 0 649648684 4477526016 843890 33554432000 4194304 4650387 140733272727584 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1093146 843890 383 112 0 1088111 0
Current children cumulated CPU time (s) 680.57
Current children cumulated vsize (KiB) 4372584
[startup+682.201 s]
/proc/loadavg: 4.19 4.10 3.57 4/344 28886
/proc/meminfo: memFree=12865144/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4372584 CPUtime=682.17 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 901290 0 0 0 68087 130 0 0 25 0 1 0 649648684 4477526016 843890 33554432000 4194304 4650387 140733272727584 18446744073709551615 4363688 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1093146 843890 383 112 0 1088111 0
Current children cumulated CPU time (s) 682.17
Current children cumulated vsize (KiB) 4372584
[startup+682.601 s]
/proc/loadavg: 4.10 4.08 3.57 4/344 28886
/proc/meminfo: memFree=12863408/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4372584 CPUtime=682.58 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 901300 0 0 0 68128 130 0 0 25 0 1 0 649648684 4477526016 843899 33554432000 4194304 4650387 140733272727584 18446744073709551615 270612766049 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1093146 843899 392 112 0 1088111 0
Current children cumulated CPU time (s) 682.58
Current children cumulated vsize (KiB) 4372584
[startup+682.801 s]
/proc/loadavg: 4.10 4.08 3.57 4/344 28886
/proc/meminfo: memFree=12863408/32951124 swapFree=67056804/67111528
[pid=28768] ppid=28766 vsize=4015884 CPUtime=682.77 cores=0,2
/proc/28768/stat : 28768 (strangenight1-s) R 28766 28768 28535 0 -1 4202496 901300 0 0 0 68141 136 0 0 25 0 1 0 649648684 4112265216 498199 33554432000 4194304 4650387 140733272727584 18446744073709551615 270613136490 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28768/statm: 1003971 497784 392 112 0 998936 0
Current children cumulated CPU time (s) 682.77
Current children cumulated vsize (KiB) 4015884
Child status: 20
Real time (s): 682.887
CPU time (s): 682.862
CPU user time (s): 681.414
CPU system time (s): 1.44778
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 4438128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 681.414
system time used= 1.44778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901301
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= 6
involuntary context switches= 1889
runsolver used 2.37764 second user time and 5.08823 second system time
The end
Begin job on node108 at 2011-05-14 15:41:17
IDJOB=3370816
IDBENCH=82371
IDSOLVER=1847
FILE ID=node108/3370816-1305380472
RUNJOBID= node108-1305379156-28553
PBS_JOBID= 13324394
Free space on /tmp= 73344 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370816-1305380472/watcher-3370816-1305380472 -o /tmp/evaluation-result-3370816-1305380472/solver-3370816-1305380472 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370816-1305380472.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=1028029946
node108.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.820
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.64
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.820
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 : 5226.15
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.820
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.82
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.820
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.77
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.820
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.82
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.820
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.820
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.820
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: 16812236 kB
Buffers: 293668 kB
Cached: 4769528 kB
SwapCached: 8700 kB
Active: 11888596 kB
Inactive: 3929772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 16812236 kB
SwapTotal: 67111528 kB
SwapFree: 67056804 kB
Dirty: 216416 kB
Writeback: 0 kB
AnonPages: 10752504 kB
Mapped: 28084 kB
Slab: 214488 kB
PageTables: 40360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 53111648 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= 73364 MiB
End job on node108 at 2011-05-14 15:52:40