0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3285105-1303764230.cnf'
0.18/0.24 c -- header says num vars: 489685
0.18/0.24 c -- header says num clauses: 8779920
1.83/1.94 c -- clauses added: 0 learnts, 8779920 normals, 0 xors
1.83/1.94 c -- vars added 489685
1.83/1.94 c Parsing time: 1.74 s
1.83/1.95 c N st 0 0 489685 304437 7524558 0 17087371 0 no data no data --
2.42/2.57 c asymm cl-useful: 564/719/235695 lits-rem:2242 time: 0.59
6.21/10.51 c Flit: 285 Blit: 87855 bXBeca: 0 bXProp: 933 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 7.72
21.99/22.14 c Cleaning up after failed var search: 0.10 s
21.99/22.14 c Replacing 934 vars Replaced 31458 lits Time: 0.13 s
21.99/22.14 c bin-w-bin subsume rem 1059 bins time: 0.49 s
21.99/22.14 c subs with bin: 0 lits-rem: 1342 v-fix: 0 time: 1.16 s
21.99/22.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 23918 time: 2.93 s
21.99/22.14 c Removed useless bin: 1704 fixed: 0 props: 20.00M time: 0.20 s
21.99/22.14 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 1.35 s
21.99/22.14 c Finding binary XORs T: 0.90 s found: 1972
21.99/22.14 c Replacing 1972 vars Replaced 149488 lits Time: 0.14 s
21.99/22.14 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
21.99/22.14 c calculated reachability. Time: 0.26
21.99/22.14 c Calc default polars - time: 0.05 s pos: 2914 undec: 237434 neg: 249337
21.99/22.14 c =========================================================================================
21.99/22.14 c types(t): F = full restart, N = normal restart
21.99/22.14 c types(t): S = simplification begin/end, E = solution found
21.99/22.14 c restart types(rt): st = static, dy = dynamic
21.99/22.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
21.99/22.14 c B st 0 0 252251 174928 4072585 0 9310462 0 no data no data --
26.97/27.17 c N dy 15 4307 206856 142800 3088877 3856 7124058 1653346 9.48 10.07 --
52.09/52.48 c N dy 38 9521 206845 142800 3089079 8825 7124058 6067109 10.08 10.83 --
60.24/60.68 c N dy 52 13637 206843 142800 3089205 12782 7124058 8165146 9.74 10.27 --
64.52/64.92 c N dy 56 17930 206841 142800 3089330 16902 7124058 8934548 9.02 9.57 --
73.56/74.06 c N dy 83 22169 206837 142800 3089435 11582 7124058 1395452 9.53 10.48 --
80.83/81.31 c F st 94 25000 206836 142800 3089473 14358 7124058 2968983 9.42 7.50 --
83.61/84.14 c N st 97 26192 206835 142766 3088572 15511 7122001 3618899 9.42 no data --
94.25/94.80 c S st 100 30000 206829 142766 3088585 19285 7122001 6556909 9.42 no data --
95.34/95.97 c S st 100 30500 206829 142766 3088622 19733 7122001 6676705 9.42 no data --
95.44/96.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
95.54/96.11 c Cache BProp: 61361 Set: 724 BXProp: 67 T: 0.03
117.73/118.48 c Flit: 289 Blit: 2009 bXBeca: 0 bXProp: 71 Bins: 104323 BRemL: 2 BRemN: 268 P: 200.2M T: 22.09
117.83/118.57 c Cleaning up after failed var search: 0.08 s
118.13/118.84 c Replacing 139 vars Replaced 12881 lits Time: 0.24 s
119.03/119.72 c bin-w-bin subsume rem 229 bins time: 0.25 s
120.52/121.28 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 1.55 s
121.51/122.26 c Subs w/ non-existent bins: 2 l-rem: 194 v-fix: 90 done: 7968 time: 0.96 s
121.81/122.50 c Removed useless bin: 2886 fixed: 92 props: 20.02M time: 0.24 s
128.87/129.67 c lits-rem: 31 cl-subs: 844 v-elim: 38 v-fix: 0 time: 7.12 s
129.26/130.06 c asymm cl-useful: 247/1055/140243 lits-rem:492 time: 0.37
130.06/130.85 c calculated reachability. Time: 0.72
130.06/130.85 c N dy 100 30500 203209 140243 3111778 18786 6947582 6676785 9.42 no data --
132.15/132.97 c Finding binary XORs T: 2.09 s found: 1867
141.40/142.26 c N dy 107 35311 203205 140243 3111901 23450 6947582 9221641 9.09 9.63 --
149.75/150.64 c N dy 120 39429 203195 140243 3112020 27421 6947582 11339911 8.92 10.30 --
161.82/162.74 c N dy 128 44398 203184 140243 3112142 17351 6947582 1748823 8.68 9.21 --
164.01/164.92 c S st 133 45750 203182 140243 3112170 18664 6947582 2124935 8.65 6.04 --
165.11/166.05 c S st 133 46251 203168 140243 3112206 19116 6947582 2243033 8.65 no data --
165.21/166.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
165.31/166.23 c Cache BProp: 62489 Set: 477 BXProp: 1 T: 0.08
180.72/181.74 c Flit: 275 Blit: 2145 bXBeca: 0 bXProp: 11 Bins: 68342 BRemL: 0 BRemN: 142 P: 200.0M T: 15.26
180.82/181.81 c Cleaning up after failed var search: 0.06 s
181.02/182.01 c Replacing 1879 vars Replaced 120129 lits Time: 0.19 s
181.52/182.51 c bin-w-bin subsume rem 1014 bins time: 0.27 s
182.91/183.98 c subs with bin: 0 lits-rem: 348 v-fix: 0 time: 1.47 s
185.51/186.54 c Subs w/ non-existent bins: 4 l-rem: 378 v-fix: 47 done: 18220 time: 2.56 s
185.81/186.82 c Removed useless bin: 5471 fixed: 49 props: 20.01M time: 0.28 s
188.61/189.63 c lits-rem: 588 cl-subs: 446 v-elim: 2 v-fix: 0 time: 2.80 s
188.81/189.83 c vivif2 -- cl tried 138072 cl shrink 404 lits rem 780 time: 0.20
189.22/190.26 c vivif2 -- cl tried 18458 cl shrink 7141 lits rem 717771 time: 0.42
189.61/190.66 c asymm cl-useful: 147/781/138071 lits-rem:252 time: 0.40
190.71/191.70 c calculated reachability. Time: 0.99
190.71/191.71 c N dy 133 46251 198748 138071 3096637 17925 6775889 1567250 8.65 no data --
193.51/194.55 c Finding binary XORs T: 2.84 s found: 641
202.41/203.48 c N dy 141 50906 198741 138071 3096752 22424 6775889 3565241 8.48 9.01 --
209.21/210.29 c N dy 156 55181 198726 138071 3096839 26586 6775889 4648716 8.41 8.90 --
216.51/217.51 c N dy 167 59808 198721 138071 3096919 31107 6775889 6053253 8.32 8.83 --
223.32/224.40 c N dy 181 64370 198714 138071 3096971 17856 6775889 798857 8.23 8.67 --
229.41/230.43 c N dy 194 68516 198707 138071 3097032 21910 6775889 1741472 8.18 8.94 --
230.51/231.51 c S st 198 69376 198706 138071 3097045 22748 6775889 1891530 8.17 5.58 --
231.51/232.58 c S st 198 69879 198689 138071 3097086 23198 6775889 1964250 8.17 no data --
231.61/232.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
231.81/232.80 c Cache BProp: 64262 Set: 270 BXProp: 0 T: 0.11
245.61/246.61 c Flit: 243 Blit: 761 bXBeca: 0 bXProp: 14 Bins: 30665 BRemL: 0 BRemN: 108 P: 200.1M T: 13.69
245.61/246.62 c Cleaning up after failed var search: 0.00 s
245.81/246.86 c Replacing 656 vars Replaced 40519 lits Time: 0.23 s
246.32/247.33 c bin-w-bin subsume rem 586 bins time: 0.28 s
247.82/248.83 c subs with bin: 387 lits-rem: 1149 v-fix: 0 time: 1.50 s
251.11/252.10 c Subs w/ non-existent bins: 8 l-rem: 296 v-fix: 49 done: 24366 time: 3.26 s
251.31/252.39 c Removed useless bin: 6252 fixed: 50 props: 20.01M time: 0.28 s
254.12/255.17 c lits-rem: 604 cl-subs: 545 v-elim: 0 v-fix: 0 time: 2.78 s
254.41/255.43 c vivif2 -- cl tried 136855 cl shrink 4 lits rem 7 time: 0.26
254.91/255.96 c vivif2 -- cl tried 22139 cl shrink 4596 lits rem 497699 time: 0.53
255.41/256.40 c asymm cl-useful: 202/624/136855 lits-rem:459 time: 0.44
256.71/257.74 c calculated reachability. Time: 1.28
256.71/257.74 c N dy 198 69879 196686 136855 3075092 21877 6674617 1439185 8.17 no data --
260.31/261.33 c Finding binary XORs T: 3.59 s found: 358
266.01/267.06 c N dy 209 74346 196674 136855 3075163 26238 6674617 2250824 8.09 8.52 --
272.41/273.49 c N dy 226 79709 196670 136855 3075254 31468 6674617 3238254 8.03 8.50 --
278.61/279.62 c N dy 241 84932 196665 136855 3075321 36571 6674617 4194083 7.97 8.46 --
281.71/282.71 c F st 249 87500 196663 136855 3075345 39089 6674617 4649954 7.94 5.78 --
282.01/283.03 c Replacing 358 vars Replaced 41076 lits Time: 0.25 s
286.92/287.93 c N st 254 90804 196305 136835 3074198 24272 6672237 1325772 7.94 no data --
293.92/294.92 c N dy 270 96681 196299 136835 3074274 30020 6672237 2382521 7.92 8.48 --
302.12/303.10 c N dy 294 103083 196293 136835 3074349 36296 6672237 3608472 7.87 8.30 --
304.42/305.44 c S st 302 104818 196292 136835 3074364 38004 6672237 4019139 7.87 no data --
305.52/306.57 c S st 302 105318 196292 136835 3074402 38458 6672237 4107403 7.87 no data --
305.62/306.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
305.82/306.83 c Cache BProp: 64487 Set: 331 BXProp: 0 T: 0.15
321.71/322.71 c Flit: 165 Blit: 1048 bXBeca: 0 bXProp: 13 Bins: 64004 BRemL: 4 BRemN: 144 P: 200.0M T: 15.79
321.71/322.72 c Cleaning up after failed var search: 0.00 s
321.91/322.97 c Replacing 14 vars Replaced 1780 lits Time: 0.24 s
322.51/323.55 c bin-w-bin subsume rem 379 bins time: 0.28 s
324.11/325.10 c subs with bin: 524 lits-rem: 638 v-fix: 0 time: 1.56 s
324.52/325.54 c Subs w/ non-existent bins: 0 l-rem: 899 v-fix: 2 done: 762 time: 0.43 s
324.81/325.85 c Removed useless bin: 3490 fixed: 4 props: 20.01M time: 0.30 s
329.21/330.20 c lits-rem: 57 cl-subs: 920 v-elim: 0 v-fix: 0 time: 4.35 s
329.51/330.50 c vivif2 -- cl tried 135442 cl shrink 3 lits rem 5 time: 0.29
330.61/331.66 c vivif2 -- cl tried 36893 cl shrink 10673 lits rem 1407866 time: 1.15
331.12/332.11 c asymm cl-useful: 136/542/135442 lits-rem:205 time: 0.46
332.61/333.68 c calculated reachability. Time: 1.51
332.61/333.69 c N dy 302 105318 194594 135442 3075768 36612 6568352 2669889 7.87 no data --
337.01/338.04 c Finding binary XORs T: 4.34 s found: 385
345.81/346.81 c N dy 325 112221 194584 135442 3075883 43305 6568352 3511858 7.81 8.25 --
355.02/356.06 c N dy 344 119813 194566 135442 3075977 32424 6568352 1743727 7.73 8.17 --
364.82/365.85 c N dy 370 127504 194556 135442 3076044 39960 6568352 2776476 7.67 8.25 --
376.52/377.52 c N dy 409 135741 194548 135442 3076133 48008 6568352 4020691 7.67 8.12 --
387.32/388.31 c N dy 442 144490 194541 135442 3076197 38030 6568352 1865771 7.64 8.06 --
398.41/399.44 c N dy 474 153851 194539 135442 3076271 47171 6568352 2808630 7.60 8.01 --
403.11/404.16 c S st 488 157978 194538 135442 3076297 51217 6568352 3321076 7.59 6.40 --
404.21/405.26 c S st 488 158480 194533 135442 3076332 51678 6568352 3393868 7.59 no data --
404.31/405.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
404.51/405.54 c Cache BProp: 64450 Set: 249 BXProp: 0 T: 0.17
421.02/422.07 c Flit: 178 Blit: 358 bXBeca: 0 bXProp: 7 Bins: 64288 BRemL: 3 BRemN: 203 P: 200.1M T: 16.42
421.02/422.07 c Cleaning up after failed var search: 0.00 s
421.33/422.35 c Replacing 393 vars Replaced 26854 lits Time: 0.26 s
421.92/422.90 c bin-w-bin subsume rem 540 bins time: 0.28 s
423.32/424.35 c subs with bin: 434 lits-rem: 2032 v-fix: 0 time: 1.45 s
427.01/428.02 c Subs w/ non-existent bins: 4 l-rem: 295 v-fix: 35 done: 35522 time: 3.67 s
427.31/428.33 c Removed useless bin: 3832 fixed: 36 props: 20.01M time: 0.31 s
431.91/432.97 c lits-rem: 167 cl-subs: 2024 v-elim: 0 v-fix: 0 time: 4.64 s
432.32/433.31 c vivif2 -- cl tried 134657 cl shrink 6 lits rem 32 time: 0.33
433.91/434.91 c vivif2 -- cl tried 49033 cl shrink 11513 lits rem 1030317 time: 1.60
434.31/435.38 c asymm cl-useful: 74/450/134657 lits-rem:96 time: 0.47
436.21/437.23 c calculated reachability. Time: 1.79
436.21/437.23 c N dy 488 158480 193263 134657 3103409 48726 6501038 2363698 7.59 no data --
441.31/442.30 c Finding binary XORs T: 5.05 s found: 225
454.42/455.48 c N dy 549 168605 193241 134657 3103530 37671 6501038 1366490 7.60 11.27 --
468.02/469.02 c N dy 590 179463 193232 134657 3103627 48285 6501038 2501149 7.57 8.37 --
482.52/483.52 c N dy 655 190979 193224 134657 3103699 59547 6501038 3924778 7.58 8.10 --
498.02/499.02 c N dy 708 203383 193214 134657 3103775 50329 6501038 2399932 7.58 8.09 --
515.02/516.07 c N dy 782 216404 193209 134657 3103830 63126 6501038 3991531 7.60 13.76 --
533.32/534.31 c N dy 845 230288 192393 134657 3103914 53955 6501038 2248128 7.59 8.72 --
542.22/543.28 c S st 888 237721 192387 134657 3103944 61238 6501038 3107772 7.60 no data --
543.42/544.43 c S st 888 238224 192378 134657 3103966 61711 6501038 3183617 7.60 no data --
543.52/544.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
543.72/544.74 c Cache BProp: 61093 Set: 473 BXProp: 0 T: 0.19
558.52/559.59 c Flit: 710 Blit: 511 bXBeca: 0 bXProp: 55 Bins: 36376 BRemL: 254 BRemN: 1786 P: 200.0M T: 14.79
558.62/559.67 c Cleaning up after failed var search: 0.07 s
558.83/559.86 c Replacing 281 vars Replaced 25865 lits Time: 0.18 s
559.32/560.37 c bin-w-bin subsume rem 1076 bins time: 0.28 s
560.72/561.73 c subs with bin: 124 lits-rem: 492 v-fix: 0 time: 1.36 s
562.62/563.64 c Subs w/ non-existent bins: 9 l-rem: 802 v-fix: 22 done: 9964 time: 1.90 s
562.92/563.94 c Removed useless bin: 6269 fixed: 25 props: 20.01M time: 0.30 s
567.82/568.82 c lits-rem: 126 cl-subs: 2917 v-elim: 3 v-fix: 0 time: 4.88 s
568.12/569.18 c vivif2 -- cl tried 131506 cl shrink 7 lits rem 58 time: 0.36
570.02/571.04 c vivif2 -- cl tried 57430 cl shrink 11867 lits rem 786949 time: 1.86
570.52/571.51 c asymm cl-useful: 114/511/131506 lits-rem:196 time: 0.47
572.42/573.42 c calculated reachability. Time: 1.85
572.42/573.42 c N dy 888 238224 189395 131505 3049601 57100 6323371 2233630 7.60 no data --
577.82/578.85 c Finding binary XORs T: 5.42 s found: 682
598.53/599.51 c N dy 982 253506 187828 131505 3049719 71944 6323371 3773019 7.63 8.38 --
603.42/604.49 c E dy 995 257656 165958 115330 2483959 38471 5261933 1081048 7.61 5.08 --
603.42/604.49 c num threads : 1
603.42/604.49 c restarts : 995
603.42/604.49 c dynamic restarts : 977
603.42/604.49 c static restarts : 18
603.42/604.49 c full restarts : 2
603.42/604.49 c total simplify time : 24.90
603.42/604.49 c learnts DL2 : 0
603.42/604.49 c learnts size 2 : 7912671
603.42/604.49 c learnts size 1 : 318191 (64.98 % of vars)
603.42/604.49 c filedLit time : 106.13 (17.62 % time)
603.42/604.49 c v-elim SatELite : 47 (0.01 % vars)
603.42/604.49 c SatELite time : 42.27 (7.02 % time)
603.42/604.49 c v-elim xor : 0 (0.00 % vars)
603.42/604.49 c xor elim time : 0.66 (0.11 % time)
603.42/604.49 c num binary xor trees : 6763
603.42/604.49 c binxor trees' crown : 7308 (1.08 leafs/tree)
603.42/604.49 c bin xor find time : 24.23
603.42/604.49 c OTF clause improved : 2903 (0.01 clauses/conflict)
603.42/604.49 c OTF impr. size diff : 11316 (3.90 lits/clause)
603.42/604.49 c OTF cl watch-shrink : 163694 (0.64 clauses/conflict)
603.42/604.49 c OTF cl watch-sh-lit : 3714386 (22.69 lits/clause)
603.42/604.49 c tried to recurMin cls : 170266 (66.08 % of conflicts)
603.42/604.49 c updated cache : 137455 (0.81 lits/tried recurMin)
603.42/604.49 c clauses over max glue : 0 (0.00 % of all clauses)
603.42/604.49 c conflicts : 257656 (427.88 / sec)
603.42/604.49 c decisions : 688563 (1.13 % random)
603.42/604.49 c bogo-props : 10564192408 (17543757.98 / sec)
603.42/604.49 c conflict literals : 56187974 (39.40 % deleted)
603.42/604.49 c Memory used : 4270.11 MB
603.42/604.49 c CPU time : 602.16 s
603.42/604.49 s UNSATISFIABLE
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-3285105-1303764230/watcher-3285105-1303764230 -o /tmp/evaluation-result-3285105-1303764230/solver-3285105-1303764230 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3285105-1303764230.cnf
running on 2 cores: 1,3
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: 1.79 2.62 3.36 7/184 30413
/proc/meminfo: memFree=16700352/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=11800 CPUtime=0 cores=1,3
/proc/30413/stat : 30413 (runsolver) R 30411 30413 28714 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 488023258 12083200 52 33554432000 4194304 5434984 140733999296752 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/30413/statm: 2950 52 31 303 0 2644 0
[startup+0.124915 s]
/proc/loadavg: 1.79 2.62 3.36 7/184 30413
/proc/meminfo: memFree=16700352/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=47536 CPUtime=0.11 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 5358 0 0 0 10 1 0 0 21 0 1 0 488023258 48676864 4233 33554432000 4194304 4650387 140733564446112 18446744073709551615 4545960 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 11884 4233 330 112 0 6849 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 47536
[startup+0.204904 s]
/proc/loadavg: 1.79 2.62 3.36 7/184 30413
/proc/meminfo: memFree=16700352/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=62716 CPUtime=0.18 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 9196 0 0 0 17 1 0 0 21 0 1 0 488023258 64221184 6999 33554432000 4194304 4650387 140733564446112 18446744073709551615 4545771 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 15679 6999 330 112 0 10644 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62716
[startup+0.327882 s]
/proc/loadavg: 1.79 2.62 3.36 7/184 30413
/proc/meminfo: memFree=16700352/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=76200 CPUtime=0.31 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 13995 0 0 0 29 2 0 0 21 0 1 0 488023258 78028800 11735 33554432000 4194304 4650387 140733564446112 18446744073709551615 4372160 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 19050 11735 330 112 0 14015 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 76200
[startup+0.700819 s]
/proc/loadavg: 1.79 2.62 3.36 7/184 30413
/proc/meminfo: memFree=16700352/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=138996 CPUtime=0.67 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 31202 0 0 0 63 4 0 0 22 0 1 0 488023258 142331904 26712 33554432000 4194304 4650387 140733564446112 18446744073709551615 274664467749 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 34749 26712 330 112 0 29714 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 138996
[startup+1.50068 s]
/proc/loadavg: 2.21 2.69 3.38 5/185 30414
/proc/meminfo: memFree=16325128/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=303328 CPUtime=1.43 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 65337 0 0 0 132 11 0 0 25 0 1 0 488023258 310607872 56394 33554432000 4194304 4650387 140733564446112 18446744073709551615 4545877 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 75832 56394 330 112 0 70797 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 303328
[startup+3.1004 s]
/proc/loadavg: 2.21 2.69 3.38 5/188 30420
/proc/meminfo: memFree=16007532/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=392120 CPUtime=3.02 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 96926 0 0 0 287 15 0 0 25 0 1 0 488023258 401530880 84808 33554432000 4194304 4650387 140733564446112 18446744073709551615 4370192 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 98030 84808 353 112 0 92995 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 392120
[startup+6.30085 s]
/proc/loadavg: 2.59 2.76 3.40 5/188 30420
/proc/meminfo: memFree=15312888/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=641704 CPUtime=6.21 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 141270 0 0 0 599 22 0 0 25 0 1 0 488023258 657104896 129152 33554432000 4194304 4650387 140733564446112 18446744073709551615 4370232 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 160426 129152 353 112 0 155391 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 641704
[startup+20.6454 s]
/proc/loadavg: 2.59 2.76 3.40 5/188 30420
/proc/meminfo: memFree=15312888/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=1057740 CPUtime=20.55 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 217145 0 0 0 2025 30 0 0 25 0 1 0 488023258 1083125760 205027 33554432000 4194304 4650387 140733564446112 18446744073709551615 4315206 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 264435 205027 379 112 0 259400 0
Current children cumulated CPU time (s) 20.55
Current children cumulated vsize (KiB) 1057740
[startup+25.5005 s]
/proc/loadavg: 4.53 3.18 3.53 6/188 30421
/proc/meminfo: memFree=14386684/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=1057740 CPUtime=25.38 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 218216 0 0 0 2506 32 0 0 25 0 1 0 488023258 1083125760 206098 33554432000 4194304 4650387 140733564446112 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 264435 206098 379 112 0 259400 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 1057740
[startup+51.1011 s]
/proc/loadavg: 5.68 3.59 3.65 5/186 30424
/proc/meminfo: memFree=15306508/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=1123284 CPUtime=50.79 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 222460 0 0 0 5041 38 0 0 25 0 1 0 488023258 1150242816 210342 33554432000 4194304 4650387 140733564446112 18446744073709551615 4315098 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 280821 210342 379 112 0 275786 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 1123284
[startup+102.306 s]
/proc/loadavg: 6.70 4.18 3.85 4/184 30439
/proc/meminfo: memFree=14917800/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=1143124 CPUtime=101.72 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 239852 0 0 0 10129 43 0 0 25 0 1 0 488023258 1170558976 215493 33554432000 4194304 4650387 140733564446112 18446744073709551615 4230580 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30413/statm: 285781 215493 383 112 0 280746 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 1143124
[startup+162.301 s]
/proc/loadavg: 5.92 4.46 3.97 5/188 30451
/proc/meminfo: memFree=13127912/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=2020716 CPUtime=161.41 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 433374 0 0 0 16070 71 0 0 25 0 1 0 488023258 2069213184 394701 33554432000 4194304 4650387 140733564446112 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 505179 394701 383 112 0 500144 0
Current children cumulated CPU time (s) 161.41
Current children cumulated vsize (KiB) 2020716
[startup+222.3 s]
/proc/loadavg: 4.74 4.39 3.97 5/188 30453
/proc/meminfo: memFree=12149532/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=2648908 CPUtime=221.31 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 544208 0 0 0 22042 89 0 0 25 0 1 0 488023258 2712481792 505535 33554432000 4194304 4650387 140733564446112 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 662227 505535 383 112 0 657192 0
Current children cumulated CPU time (s) 221.31
Current children cumulated vsize (KiB) 2648908
[startup+282.301 s]
/proc/loadavg: 4.33 4.33 3.98 5/188 30454
/proc/meminfo: memFree=10161028/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=3151048 CPUtime=281.31 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 643738 0 0 0 28030 101 0 0 25 0 1 0 488023258 3226673152 599650 33554432000 4194304 4650387 140733564446112 18446744073709551615 4315106 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 787762 599650 383 112 0 782727 0
Current children cumulated CPU time (s) 281.31
Current children cumulated vsize (KiB) 3151048
[startup+342.301 s]
/proc/loadavg: 4.19 4.29 3.98 5/188 30456
/proc/meminfo: memFree=9156964/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=3649764 CPUtime=341.31 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 741788 0 0 0 34018 113 0 0 25 0 1 0 488023258 3737358336 694793 33554432000 4194304 4650387 140733564446112 18446744073709551615 4328931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 912441 694793 383 112 0 907406 0
Current children cumulated CPU time (s) 341.31
Current children cumulated vsize (KiB) 3649764
[startup+402.3 s]
/proc/loadavg: 4.07 4.23 3.98 5/188 30458
/proc/meminfo: memFree=8260940/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=3585736 CPUtime=401.31 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 743395 0 0 0 40017 114 0 0 25 0 1 0 488023258 3671793664 691964 33554432000 4194304 4650387 140733564446112 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 896434 691964 383 112 0 891399 0
Current children cumulated CPU time (s) 401.31
Current children cumulated vsize (KiB) 3585736
[startup+462.301 s]
/proc/loadavg: 4.02 4.19 3.98 5/188 30459
/proc/meminfo: memFree=7325952/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4085632 CPUtime=461.32 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 838587 0 0 0 46006 126 0 0 25 0 1 0 488023258 4183687168 784940 33554432000 4194304 4650387 140733564446112 18446744073709551615 4363384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1021408 784940 383 112 0 1016373 0
Current children cumulated CPU time (s) 461.32
Current children cumulated vsize (KiB) 4085632
[startup+522.3 s]
/proc/loadavg: 4.01 4.15 3.98 5/188 30461
/proc/meminfo: memFree=6752116/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4168192 CPUtime=521.32 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 844412 0 0 0 52004 128 0 0 25 0 1 0 488023258 4268228608 790082 33554432000 4194304 4650387 140733564446112 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1042048 790082 383 112 0 1037013 0
Current children cumulated CPU time (s) 521.32
Current children cumulated vsize (KiB) 4168192
[startup+582.301 s]
/proc/loadavg: 4.00 4.12 3.98 5/188 30462
/proc/meminfo: memFree=6218936/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4438128 CPUtime=581.31 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 900021 0 0 0 57996 135 0 0 25 0 1 0 488023258 4544643072 844688 33554432000 4194304 4650387 140733564446112 18446744073709551615 4363409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1109532 844688 383 112 0 1104497 0
Current children cumulated CPU time (s) 581.31
Current children cumulated vsize (KiB) 4438128
Solver just ended. Dumping a history of the last processes samples
[startup+590.201 s]
/proc/loadavg: 4.00 4.12 3.98 5/188 30463
/proc/meminfo: memFree=6143668/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4438128 CPUtime=589.21 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 900593 0 0 0 58786 135 0 0 25 0 1 0 488023258 4544643072 845260 33554432000 4194304 4650387 140733564446112 18446744073709551615 4368089 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1109532 845260 383 112 0 1104497 0
Current children cumulated CPU time (s) 589.21
Current children cumulated vsize (KiB) 4438128
[startup+596.601 s]
/proc/loadavg: 4.00 4.11 3.98 5/188 30463
/proc/meminfo: memFree=6120100/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4438128 CPUtime=595.62 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 901033 0 0 0 59426 136 0 0 25 0 1 0 488023258 4544643072 845700 33554432000 4194304 4650387 140733564446112 18446744073709551615 4328875 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1109532 845700 383 112 0 1104497 0
Current children cumulated CPU time (s) 595.62
Current children cumulated vsize (KiB) 4438128
[startup+599.801 s]
/proc/loadavg: 4.00 4.11 3.98 6/188 30463
/proc/meminfo: memFree=6148000/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4438128 CPUtime=598.82 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 901246 0 0 0 59746 136 0 0 25 0 1 0 488023258 4544643072 845913 33554432000 4194304 4650387 140733564446112 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1109532 845913 383 112 0 1104497 0
Current children cumulated CPU time (s) 598.82
Current children cumulated vsize (KiB) 4438128
[startup+603 s]
/proc/loadavg: 4.00 4.11 3.98 5/188 30463
/proc/meminfo: memFree=6145272/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4372584 CPUtime=602.02 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 901292 0 0 0 60066 136 0 0 25 0 1 0 488023258 4477526016 843890 33554432000 4194304 4650387 140733564446112 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1093146 843890 383 112 0 1088111 0
Current children cumulated CPU time (s) 602.02
Current children cumulated vsize (KiB) 4372584
[startup+603.8 s]
/proc/loadavg: 4.00 4.11 3.98 5/188 30463
/proc/meminfo: memFree=6143288/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4372584 CPUtime=602.83 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 901292 0 0 0 60147 136 0 0 25 0 1 0 488023258 4477526016 843890 33554432000 4194304 4650387 140733564446112 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1093146 843890 383 112 0 1088111 0
Current children cumulated CPU time (s) 602.83
Current children cumulated vsize (KiB) 4372584
[startup+604.2 s]
/proc/loadavg: 4.00 4.11 3.98 5/188 30463
/proc/meminfo: memFree=6143288/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4372584 CPUtime=603.22 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 901292 0 0 0 60186 136 0 0 25 0 1 0 488023258 4477526016 843890 33554432000 4194304 4650387 140733564446112 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1093146 843890 383 112 0 1088111 0
Current children cumulated CPU time (s) 603.22
Current children cumulated vsize (KiB) 4372584
[startup+604.601 s]
/proc/loadavg: 4.00 4.11 3.98 5/188 30463
/proc/meminfo: memFree=6143288/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4323404 CPUtime=603.62 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 901302 0 0 0 60226 136 0 0 18 0 1 0 488023258 4427165696 832421 33554432000 4194304 4650387 140733564446112 18446744073709551615 274664463563 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1080851 832421 392 112 0 1075816 0
Current children cumulated CPU time (s) 603.62
Current children cumulated vsize (KiB) 4323404
[startup+604.701 s]
/proc/loadavg: 4.00 4.11 3.98 5/188 30463
/proc/meminfo: memFree=6143288/32951132 swapFree=67111528/67111528
[pid=30413] ppid=30411 vsize=4015884 CPUtime=603.72 cores=1,3
/proc/30413/stat : 30413 (strangenight1-s) R 30411 30413 28714 0 -1 4202496 901302 0 0 0 60232 140 0 0 18 0 1 0 488023258 4112265216 605101 33554432000 4194304 4650387 140733564446112 18446744073709551615 274664834154 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30413/statm: 1003971 604878 392 112 0 998936 0
Current children cumulated CPU time (s) 603.72
Current children cumulated vsize (KiB) 4015884
Child status: 20
Real time (s): 604.797
CPU time (s): 603.823
CPU user time (s): 602.328
CPU system time (s): 1.49477
CPU usage (%): 99.8391
Max. virtual memory (cumulated for all children) (KiB): 4438128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 602.328
system time used= 1.49477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901303
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= 9
involuntary context switches= 2631
runsolver used 1.00385 second user time and 2.39364 second system time
The end
Begin job on node131 at 2011-04-25 22:43:56
IDJOB=3285105
IDBENCH=82371
IDSOLVER=1589
FILE ID=node131/3285105-1303764230
RUNJOBID= node131-1303764229-30379
PBS_JOBID= 13154069
Free space on /tmp= 71532 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
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-3285105-1303764230/watcher-3285105-1303764230 -o /tmp/evaluation-result-3285105-1303764230/solver-3285105-1303764230 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3285105-1303764230.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=369158839
node131.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.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.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.83
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.75
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.77
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.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.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.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.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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 16749976 kB
Buffers: 1006308 kB
Cached: 13785344 kB
SwapCached: 0 kB
Active: 5695208 kB
Inactive: 9978640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 16749976 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 405840 kB
Writeback: 0 kB
AnonPages: 881484 kB
Mapped: 15936 kB
Slab: 463532 kB
PageTables: 7072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 1307972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71680 MiB
End job on node131 at 2011-04-25 22:54:01