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-3283495-1303759532.cnf'
0.00/0.00 c -- header says num vars: 199304
0.00/0.00 c -- header says num clauses: 1005834
0.38/0.41 c -- clauses added: 0 learnts, 1005834 normals, 0 xors
0.38/0.41 c -- vars added 199304
0.38/0.41 c Parsing time: 0.36 s
0.38/0.41 c N st 0 0 199304 238668 756167 0 2381218 0 no data no data --
0.69/0.71 c asymm cl-useful: 11/1975/201402 lits-rem:44 time: 0.29
10.08/10.18 c Flit: 1222 Blit: 1522 bXBeca: 0 bXProp: 1178 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 9.32
10.19/10.21 c Cleaning up after failed var search: 0.03 s
10.19/10.26 c Replacing 1178 vars Replaced 34467 lits Time: 0.05 s
10.29/10.38 c bin-w-bin subsume rem 27898 bins time: 0.04 s
10.39/10.47 c subs with bin: 3718 lits-rem: 34814 v-fix: 0 time: 0.09 s
13.49/13.53 c Subs w/ non-existent bins: 38 l-rem: 0 v-fix: 7124 done: 23538 time: 3.05 s
13.69/13.73 c Removed useless bin: 724 fixed: 0 props: 20.00M time: 0.21 s
14.49/14.52 c lits-rem: 2370 cl-subs: 6269 v-elim: 47670 v-fix: 0 time: 0.78 s
15.09/15.17 c Finding binary XORs T: 0.65 s found: 649
15.19/15.22 c Replacing 649 vars Replaced 12012 lits Time: 0.04 s
15.30/15.39 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
15.30/15.39 c calculated reachability. Time: 0.08
15.40/15.41 c Calc default polars - time: 0.02 s pos: 18577 undec: 111802 neg: 68925
15.40/15.41 c =========================================================================================
15.40/15.41 c types(t): F = full restart, N = normal restart
15.40/15.41 c types(t): S = simplification begin/end, E = solution found
15.40/15.41 c restart types(rt): st = static, dy = dynamic
15.40/15.41 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
15.40/15.41 c B st 0 0 87569 197648 323918 0 1432944 0 no data no data --
17.89/17.96 c N dy 11 4748 82359 191348 304386 4193 1353349 476441 10.17 10.77 --
24.29/24.33 c N dy 36 9109 79404 186462 290354 8176 1294260 1621517 12.58 13.56 --
26.19/26.30 c Finding binary XORs T: 0.51 s found: 462
30.80/30.81 c N dy 51 13142 77111 181367 280952 11960 1250359 2708498 12.17 35.08 --
39.79/39.84 c N dy 67 18167 76433 181367 281053 16821 1250359 4632077 12.38 13.09 --
47.20/47.27 c N dy 75 22712 76292 177493 279581 11810 1233153 1868837 11.82 12.60 --
51.39/51.48 c F st 80 25002 76284 177493 279606 14054 1233153 2852392 11.64 no data --
51.59/51.62 c Replacing 462 vars Replaced 25637 lits Time: 0.11 s
52.59/52.61 c Finding binary XORs T: 0.54 s found: 869
52.69/52.73 c Replacing 869 vars Replaced 68893 lits Time: 0.12 s
55.59/55.67 c N st 84 27037 74838 175457 274354 16018 1214943 3594467 11.64 no data --
60.99/61.07 c S st 86 30000 74815 175457 274382 18931 1214943 5164031 11.64 no data --
62.09/62.16 c S st 86 30503 72833 171977 266421 19254 1178038 5253850 11.64 no data --
62.19/62.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
62.19/62.24 c Cache BProp: 1260 Set: 76 BXProp: 1 T: 0.04
72.69/72.72 c Flit: 953 Blit: 1826 bXBeca: 0 bXProp: 579 Bins: 16123 BRemL: 26 BRemN: 39 P: 200.0M T: 10.41
72.69/72.78 c Cleaning up after failed var search: 0.06 s
72.99/73.01 c Replacing 581 vars Replaced 277019 lits Time: 0.23 s
73.38/73.46 c bin-w-bin subsume rem 1726 bins time: 0.03 s
75.49/75.57 c subs with bin: 1649 lits-rem: 9686 v-fix: 0 time: 2.11 s
75.79/75.86 c Subs w/ non-existent bins: 401 l-rem: 308 v-fix: 0 done: 2034 time: 0.29 s
75.99/76.07 c Removed useless bin: 4485 fixed: 0 props: 20.00M time: 0.20 s
84.39/84.47 c lits-rem: 329 cl-subs: 21485 v-elim: 3763 v-fix: 0 time: 8.40 s
84.79/84.81 c asymm cl-useful: 294/1270/152393 lits-rem:581 time: 0.33
84.99/85.05 c calculated reachability. Time: 0.23
84.99/85.05 c N dy 86 30503 64741 152393 250539 5836 1049785 362724 11.64 no data --
86.09/86.13 c Finding binary XORs T: 1.08 s found: 58
93.19/93.21 c N dy 87 36524 64640 152393 250584 11734 1049785 1867631 10.90 11.51 --
101.49/101.50 c N dy 89 43518 64621 152393 250611 18565 1049785 3509798 10.30 10.88 --
104.39/104.47 c S st 91 45754 64619 152393 250626 20776 1049785 4572470 10.15 8.94 --
105.29/105.35 c S st 91 46256 64350 152393 250695 21129 1049785 4641664 10.15 no data --
105.29/105.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
105.39/105.45 c Cache BProp: 2758 Set: 0 BXProp: 0 T: 0.06
113.59/113.65 c Flit: 602 Blit: 1378 bXBeca: 0 bXProp: 858 Bins: 10318 BRemL: 50 BRemN: 39 P: 200.0M T: 8.15
113.69/113.71 c Cleaning up after failed var search: 0.05 s
113.89/113.92 c Replacing 917 vars Replaced 121686 lits Time: 0.20 s
114.19/114.26 c bin-w-bin subsume rem 511 bins time: 0.02 s
116.38/116.44 c subs with bin: 662 lits-rem: 3127 v-fix: 0 time: 2.18 s
116.69/116.71 c Subs w/ non-existent bins: 315 l-rem: 350 v-fix: 0 done: 1839 time: 0.27 s
116.79/116.87 c Removed useless bin: 4211 fixed: 1 props: 20.01M time: 0.16 s
132.79/132.88 c lits-rem: 134 cl-subs: 19232 v-elim: 3665 v-fix: 0 time: 16.00 s
133.39/133.41 c vivif2 -- cl tried 136756 cl shrink 9437 lits rem 12400 time: 0.52
133.59/133.62 c vivif2 -- cl tried 8955 cl shrink 2506 lits rem 139936 time: 0.21
133.89/133.95 c asymm cl-useful: 113/2653/133534 lits-rem:184 time: 0.33
134.20/134.26 c calculated reachability. Time: 0.30
134.20/134.27 c N dy 91 46256 56643 133534 233040 8855 916935 788782 10.15 no data --
135.59/135.62 c Finding binary XORs T: 1.35 s found: 55
143.09/143.19 c N dy 98 52932 56613 133534 233114 15401 916935 2868318 9.77 11.04 --
148.19/148.21 c N dy 106 57204 56613 133534 233148 19589 916935 3757049 9.65 10.45 --
155.89/155.97 c N dy 109 63641 56610 133534 233182 13489 916935 1796992 9.37 10.02 --
160.99/161.02 c N dy 113 68967 56606 133534 233234 18686 916935 3081635 9.21 9.75 --
161.39/161.47 c S st 115 69384 56570 133534 233254 19076 916935 3181811 9.21 7.89 --
162.19/162.20 c S st 115 69884 56096 133534 233349 19400 916935 3257519 9.21 no data --
162.19/162.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
162.29/162.31 c Cache BProp: 3703 Set: 4 BXProp: 0 T: 0.08
171.68/171.78 c Flit: 599 Blit: 1837 bXBeca: 0 bXProp: 531 Bins: 12920 BRemL: 148 BRemN: 70 P: 200.0M T: 9.42
171.79/171.82 c Cleaning up after failed var search: 0.04 s
171.89/171.97 c Replacing 587 vars Replaced 86443 lits Time: 0.14 s
172.19/172.21 c bin-w-bin subsume rem 1903 bins time: 0.02 s
174.29/174.30 c subs with bin: 555 lits-rem: 767 v-fix: 0 time: 2.09 s
174.58/174.69 c Subs w/ non-existent bins: 451 l-rem: 429 v-fix: 2 done: 3875 time: 0.39 s
174.89/174.93 c Removed useless bin: 6791 fixed: 0 props: 20.00M time: 0.24 s
184.18/184.27 c lits-rem: 264 cl-subs: 17431 v-elim: 3096 v-fix: 0 time: 9.34 s
184.79/184.82 c vivif2 -- cl tried 115697 cl shrink 4626 lits rem 6493 time: 0.54
184.88/184.97 c vivif2 -- cl tried 8275 cl shrink 827 lits rem 8744 time: 0.15
185.28/185.32 c asymm cl-useful: 117/1892/114479 lits-rem:310 time: 0.35
185.58/185.64 c calculated reachability. Time: 0.31
185.58/185.64 c N dy 115 69884 49552 114447 215874 8240 796237 462024 9.21 no data --
187.08/187.10 c Finding binary XORs T: 1.46 s found: 39
192.09/192.19 c N dy 124 75638 49547 114447 215965 13862 796237 1612714 9.08 9.57 --
196.58/196.67 c N dy 132 80692 49477 114447 216028 18831 796237 2726547 9.00 9.49 --
201.89/201.91 c N dy 144 85878 49464 114447 216056 23961 796237 4395815 8.92 9.41 --
203.59/203.64 c F st 148 87500 49464 114447 216071 25544 796237 4741576 8.90 no data --
203.69/203.74 c Replacing 39 vars Replaced 2425 lits Time: 0.07 s
208.89/208.96 c N dy 154 92690 49425 113169 215916 29986 792212 5803394 8.90 no data --
215.99/216.07 c N dy 168 98787 49418 113169 215947 19515 792212 2132845 8.82 9.29 --
221.28/221.35 c S st 182 104827 49418 113169 215993 25426 792212 3104976 8.75 7.50 --
221.88/221.96 c S st 182 105328 49309 113169 216042 25840 792212 3214278 8.75 no data --
221.98/222.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
221.98/222.08 c Cache BProp: 4347 Set: 10 BXProp: 0 T: 0.08
231.78/231.81 c Flit: 738 Blit: 1363 bXBeca: 0 bXProp: 632 Bins: 14687 BRemL: 61 BRemN: 86 P: 200.0M T: 9.68
231.78/231.85 c Cleaning up after failed var search: 0.04 s
231.88/231.94 c Replacing 633 vars Replaced 34504 lits Time: 0.09 s
232.10/232.19 c bin-w-bin subsume rem 784 bins time: 0.02 s
234.19/234.30 c subs with bin: 1583 lits-rem: 7255 v-fix: 0 time: 2.11 s
234.39/234.43 c Subs w/ non-existent bins: 66 l-rem: 286 v-fix: 0 done: 866 time: 0.13 s
234.59/234.66 c Removed useless bin: 6811 fixed: 0 props: 20.00M time: 0.23 s
243.79/243.87 c lits-rem: 113 cl-subs: 21406 v-elim: 3076 v-fix: 0 time: 9.21 s
244.39/244.45 c vivif2 -- cl tried 97989 cl shrink 4799 lits rem 6323 time: 0.58
244.58/244.63 c vivif2 -- cl tried 10938 cl shrink 1015 lits rem 13309 time: 0.18
244.88/244.97 c asymm cl-useful: 135/831/96884 lits-rem:149 time: 0.34
245.19/245.29 c calculated reachability. Time: 0.31
245.19/245.30 c N dy 182 105328 42641 96882 202424 10892 680372 443412 8.75 no data --
246.68/246.77 c Finding binary XORs T: 1.47 s found: 21
252.09/252.16 c N dy 204 112094 42633 96882 202485 17534 680372 1853131 8.69 10.35 --
259.08/259.19 c N dy 210 120810 42617 96882 202509 26115 680372 3494960 8.55 9.04 --
266.49/266.54 c N dy 243 129141 42601 96882 202589 34245 680371 4924040 8.53 9.02 --
273.58/273.61 c N dy 294 137734 42593 96882 202685 23836 680371 2137751 8.55 9.04 --
280.88/280.92 c N dy 337 146587 42574 96882 202732 32500 680371 3222751 8.56 9.56 --
289.29/289.39 c N dy 395 156157 42568 96882 202774 41890 680371 4346628 8.62 9.35 --
291.19/291.20 c S st 407 157992 42568 96882 202778 22501 680371 1366257 8.63 no data --
291.69/291.75 c S st 407 158495 42551 96882 202818 22944 680371 1476959 8.63 no data --
291.69/291.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
291.79/291.87 c Cache BProp: 3666 Set: 4 BXProp: 0 T: 0.08
301.18/301.22 c Flit: 729 Blit: 595 bXBeca: 0 bXProp: 582 Bins: 15907 BRemL: 124 BRemN: 42 P: 200.0M T: 9.33
301.18/301.25 c Cleaning up after failed var search: 0.02 s
301.29/301.31 c Replacing 603 vars Replaced 26519 lits Time: 0.05 s
301.39/301.44 c bin-w-bin subsume rem 585 bins time: 0.02 s
303.38/303.41 c subs with bin: 1123 lits-rem: 3209 v-fix: 0 time: 1.97 s
303.79/303.83 c Subs w/ non-existent bins: 332 l-rem: 340 v-fix: 0 done: 7919 time: 0.42 s
303.99/304.07 c Removed useless bin: 5592 fixed: 0 props: 20.00M time: 0.23 s
307.59/307.61 c lits-rem: 259 cl-subs: 14438 v-elim: 2415 v-fix: 0 time: 3.54 s
308.09/308.17 c vivif2 -- cl tried 88020 cl shrink 4938 lits rem 6294 time: 0.56
308.29/308.34 c vivif2 -- cl tried 13511 cl shrink 990 lits rem 17249 time: 0.17
308.69/308.71 c asymm cl-useful: 61/896/86901 lits-rem:78 time: 0.37
309.00/309.02 c calculated reachability. Time: 0.30
309.00/309.02 c N dy 407 158495 37889 86899 199558 13475 607072 489588 8.63 no data --
310.39/310.48 c Finding binary XORs T: 1.46 s found: 4
317.19/317.21 c N dy 431 168887 37861 86899 199605 23704 607072 1922944 8.55 9.17 --
324.79/324.87 c N dy 474 179753 37857 86899 199634 34362 607072 2808204 8.53 9.02 --
333.89/333.93 c N dy 523 191462 37854 86899 199670 23989 607072 1127964 8.51 9.11 --
343.29/343.35 c N dy 560 205399 37848 86899 199718 37619 607072 2278035 8.46 8.98 --
353.19/353.23 c N dy 639 218563 37845 86899 199747 26866 607072 1372185 8.48 9.24 --
363.39/363.47 c N dy 706 232576 37832 86899 199780 40548 607072 2265935 8.48 8.97 --
367.69/367.71 c S st 748 237745 37832 86899 199787 45620 607072 2633018 8.51 no data --
368.09/368.18 c S st 748 238248 37832 86899 199834 46070 607072 2699350 8.51 no data --
368.19/368.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
368.19/368.29 c Cache BProp: 3233 Set: 8 BXProp: 0 T: 0.08
377.39/377.49 c Flit: 281 Blit: 606 bXBeca: 0 bXProp: 170 Bins: 11353 BRemL: 62 BRemN: 12 P: 200.0M T: 9.18
377.49/377.52 c Cleaning up after failed var search: 0.03 s
377.49/377.58 c Replacing 174 vars Replaced 13417 lits Time: 0.05 s
377.69/377.79 c bin-w-bin subsume rem 245 bins time: 0.02 s
379.69/379.73 c subs with bin: 230 lits-rem: 1499 v-fix: 0 time: 1.94 s
380.09/380.11 c Subs w/ non-existent bins: 269 l-rem: 339 v-fix: 0 done: 6655 time: 0.37 s
380.19/380.27 c Removed useless bin: 2591 fixed: 0 props: 12.45M time: 0.17 s
389.29/389.32 c lits-rem: 290 cl-subs: 22560 v-elim: 1847 v-fix: 0 time: 9.05 s
389.79/389.84 c vivif2 -- cl tried 81820 cl shrink 3340 lits rem 4175 time: 0.51
390.09/390.14 c vivif2 -- cl tried 25560 cl shrink 3050 lits rem 48346 time: 0.30
390.39/390.49 c asymm cl-useful: 36/958/81130 lits-rem:36 time: 0.35
390.69/390.77 c calculated reachability. Time: 0.27
390.69/390.77 c N dy 748 238248 34856 81130 199924 25520 568691 829827 8.51 no data --
392.09/392.14 c Finding binary XORs T: 1.37 s found: 0
402.09/402.10 c N dy 769 253469 34836 81130 199987 40485 568691 2859249 8.42 8.86 --
412.19/412.28 c N dy 816 269899 34828 81130 200032 32560 568691 1933186 8.36 8.83 --
424.50/424.59 c N dy 883 287174 34820 81130 200090 49330 568691 3139168 8.34 9.72 --
437.39/437.44 c N dy 965 305903 34818 81130 200134 41997 568691 2171453 8.34 9.01 --
437.59/437.69 c F st 967 306250 34818 81130 200134 42338 568691 2204013 8.34 7.49 --
450.90/450.99 c N dy 1052 325703 34815 80913 199895 33005 567752 1305409 8.36 8.83 --
463.59/463.66 c N dy 1166 345950 34805 80913 199934 52685 567752 2547658 8.38 8.82 --
470.69/470.74 c S st 1224 357372 34803 80913 199946 36371 567752 1530421 8.39 no data --
471.09/471.14 c S st 1224 357876 34801 80913 199982 36837 567752 1605294 8.39 no data --
471.09/471.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
471.19/471.25 c Cache BProp: 1536 Set: 10 BXProp: 0 T: 0.08
481.29/481.35 c Flit: 61 Blit: 57 bXBeca: 0 bXProp: 9 Bins: 16950 BRemL: 395 BRemN: 63 P: 200.0M T: 10.10
481.29/481.35 c Cleaning up after failed var search: 0.00 s
481.39/481.42 c Replacing 9 vars Replaced 733 lits Time: 0.06 s
481.49/481.56 c bin-w-bin subsume rem 83 bins time: 0.02 s
483.39/483.42 c subs with bin: 1376 lits-rem: 2234 v-fix: 0 time: 1.86 s
483.39/483.49 c Subs w/ non-existent bins: 3 l-rem: 636 v-fix: 0 done: 224 time: 0.08 s
483.59/483.63 c Removed useless bin: 947 fixed: 0 props: 9.71M time: 0.14 s
488.09/488.11 c lits-rem: 987 cl-subs: 8782 v-elim: 1103 v-fix: 0 time: 4.48 s
488.49/488.56 c vivif2 -- cl tried 80058 cl shrink 927 lits rem 1258 time: 0.45
488.79/488.83 c vivif2 -- cl tried 27675 cl shrink 3089 lits rem 65139 time: 0.27
489.19/489.20 c asymm cl-useful: 16/935/79990 lits-rem:16 time: 0.37
489.39/489.45 c calculated reachability. Time: 0.23
489.39/489.45 c N dy 1224 357876 33547 79990 210787 27648 555659 904397 8.39 no data --
490.59/490.66 c Finding binary XORs T: 1.21 s found: 0
503.09/503.15 c N dy 1306 377957 33534 79990 210906 47099 555659 2424696 8.36 8.99 --
515.50/515.51 c N dy 1396 398173 33497 79990 210983 38843 555659 1498139 8.35 8.79 --
527.50/527.57 c N dy 1474 418259 33476 79990 211056 57956 555659 2256937 8.33 8.81 --
540.10/540.12 c N dy 1575 438338 33437 79990 211089 47879 555659 1612275 8.34 10.01 --
551.90/551.98 c E dy 1638 456206 33257 79990 211173 34383 555659 1044034 8.33 4.50 --
551.90/551.98 c num threads : 1
551.90/551.98 c restarts : 1638
551.90/551.98 c dynamic restarts : 1614
551.90/551.98 c static restarts : 24
551.90/551.98 c full restarts : 3
551.90/551.98 c total simplify time : 11.34
551.90/551.98 c learnts DL2 : 0
551.90/551.98 c learnts size 2 : 960924
551.90/551.98 c learnts size 1 : 105848 (53.11 % of vars)
551.90/551.98 c filedLit time : 75.87 (13.76 % time)
551.90/551.98 c v-elim SatELite : 66635 (33.43 % vars)
551.90/551.98 c SatELite time : 63.52 (11.52 % time)
551.90/551.98 c v-elim xor : 0 (0.00 % vars)
551.90/551.98 c xor elim time : 0.25 (0.05 % time)
551.90/551.98 c num binary xor trees : 4060
551.90/551.99 c binxor trees' crown : 6701 (1.65 leafs/tree)
551.90/551.99 c bin xor find time : 11.10
551.90/551.99 c OTF clause improved : 9877 (0.02 clauses/conflict)
551.90/551.99 c OTF impr. size diff : 34296 (3.47 lits/clause)
551.90/551.99 c OTF cl watch-shrink : 210723 (0.46 clauses/conflict)
551.90/551.99 c OTF cl watch-sh-lit : 3624340 (17.20 lits/clause)
551.90/551.99 c tried to recurMin cls : 275304 (60.35 % of conflicts)
551.90/551.99 c updated cache : 32556 (0.12 lits/tried recurMin)
551.90/551.99 c clauses over max glue : 0 (0.00 % of all clauses)
551.90/551.99 c conflicts : 456206 (827.59 / sec)
551.90/551.99 c decisions : 748570 (1.34 % random)
551.90/551.99 c bogo-props : 15004952171 (27219907.53 / sec)
551.90/551.99 c conflict literals : 58445907 (46.69 % deleted)
551.90/551.99 c Memory used : 1629.70 MB
551.90/551.99 c CPU time : 551.25 s
551.90/551.99 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-3283495-1303759532/watcher-3283495-1303759532 -o /tmp/evaluation-result-3283495-1303759532/solver-3283495-1303759532 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3283495-1303759532.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.00 3.80 3.26 5/189 21257
/proc/meminfo: memFree=14813576/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=21464 CPUtime=0 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 487555870 21979136 572 33554432000 4194304 4650387 140735874326048 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 5366 583 312 112 0 331 0
[startup+0.057063 s]
/proc/loadavg: 4.00 3.80 3.26 5/189 21257
/proc/meminfo: memFree=14813576/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=79136 CPUtime=0.04 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 13921 0 0 0 2 2 0 0 20 0 1 0 487555870 81035264 9723 33554432000 4194304 4650387 140735874326048 18446744073709551615 216634212560 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 19784 9752 331 112 0 14749 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 79136
[startup+0.101052 s]
/proc/loadavg: 4.00 3.80 3.26 5/189 21257
/proc/meminfo: memFree=14813576/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=87232 CPUtime=0.08 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 16226 0 0 0 6 2 0 0 20 0 1 0 487555870 89325568 12028 33554432000 4194304 4650387 140735874326048 18446744073709551615 4306147 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 21808 12028 331 112 0 16773 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 87232
[startup+0.30102 s]
/proc/loadavg: 4.00 3.80 3.26 5/189 21257
/proc/meminfo: memFree=14813576/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=101452 CPUtime=0.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 20367 0 0 0 25 4 0 0 21 0 1 0 487555870 103886848 16169 33554432000 4194304 4650387 140735874326048 18446744073709551615 216634176197 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 25363 16172 331 112 0 20328 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101452
[startup+0.700945 s]
/proc/loadavg: 4.00 3.80 3.26 5/189 21257
/proc/meminfo: memFree=14813576/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=113648 CPUtime=0.69 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 25331 0 0 0 64 5 0 0 22 0 1 0 487555870 116375552 21133 33554432000 4194304 4650387 140735874326048 18446744073709551615 4370665 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 28412 21133 347 112 0 23377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113648
[startup+1.50082 s]
/proc/loadavg: 4.00 3.80 3.26 5/190 21258
/proc/meminfo: memFree=14715476/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=163808 CPUtime=1.49 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 35217 0 0 0 143 6 0 0 25 0 1 0 487555870 167739392 29470 33554432000 4194304 4650387 140735874326048 18446744073709551615 4244897 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 40952 29472 353 112 0 35917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 163808
[startup+3.1005 s]
/proc/loadavg: 4.00 3.80 3.26 5/190 21258
/proc/meminfo: memFree=14674928/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=242204 CPUtime=3.09 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 50029 0 0 0 300 9 0 0 25 0 1 0 487555870 248016896 44282 33554432000 4194304 4650387 140735874326048 18446744073709551615 4369845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 60551 44282 353 112 0 55516 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242204
[startup+6.30096 s]
/proc/loadavg: 4.00 3.80 3.27 5/190 21259
/proc/meminfo: memFree=14549704/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=395528 CPUtime=6.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 78690 0 0 0 616 13 0 0 25 0 1 0 487555870 405020672 72943 33554432000 4194304 4650387 140735874326048 18446744073709551615 4244897 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 98882 72945 353 112 0 93847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 395528
[startup+12.7008 s]
/proc/loadavg: 4.00 3.81 3.27 5/190 21259
/proc/meminfo: memFree=14345088/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=563936 CPUtime=12.69 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 114689 0 0 0 1251 18 0 0 25 0 1 0 487555870 577470464 108942 33554432000 4194304 4650387 140735874326048 18446744073709551615 4550135 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 140984 108942 366 112 0 135949 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 563936
[startup+25.5006 s]
/proc/loadavg: 4.00 3.81 3.28 5/190 21259
/proc/meminfo: memFree=14234852/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=656000 CPUtime=25.49 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 125831 0 0 0 2529 20 0 0 25 0 1 0 487555870 671744000 120084 33554432000 4194304 4650387 140735874326048 18446744073709551615 4331058 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 164000 120084 379 112 0 158965 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 656000
[startup+51.1011 s]
/proc/loadavg: 4.07 3.85 3.31 5/190 21260
/proc/meminfo: memFree=14180376/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=616808 CPUtime=51.09 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 136450 0 0 0 5086 23 0 0 25 0 1 0 487555870 631611392 122875 33554432000 4194304 4650387 140735874326048 18446744073709551615 4364947 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 154202 122875 381 112 0 149167 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 616808
[startup+102.307 s]
/proc/loadavg: 4.03 3.87 3.34 5/190 21261
/proc/meminfo: memFree=13737612/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1031056 CPUtime=102.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 217967 0 0 0 10192 37 0 0 25 0 1 0 487555870 1055801344 204392 33554432000 4194304 4650387 140735874326048 18446744073709551615 4363648 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 257764 204392 383 112 0 252729 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1031056
[startup+162.3 s]
/proc/loadavg: 4.05 3.90 3.38 5/190 21263
/proc/meminfo: memFree=13505968/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1174616 CPUtime=162.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 272305 0 0 0 16182 47 0 0 25 0 1 0 487555870 1202806784 242302 33554432000 4194304 4650387 140735874326048 18446744073709551615 4557666 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 293654 242302 383 112 0 288619 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1174616
[startup+222.301 s]
/proc/loadavg: 4.02 3.92 3.42 5/190 21291
/proc/meminfo: memFree=14415088/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1323056 CPUtime=222.28 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 314679 0 0 0 22173 55 0 0 25 0 1 0 487555870 1354809344 274509 33554432000 4194304 4650387 140735874326048 18446744073709551615 216634173849 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 330764 274509 383 112 0 325729 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1323056
[startup+282.3 s]
/proc/loadavg: 4.00 3.93 3.45 5/190 21293
/proc/meminfo: memFree=13758208/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1486060 CPUtime=282.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 354897 0 0 0 28165 64 0 0 25 0 1 0 487555870 1521725440 310466 33554432000 4194304 4650387 140735874326048 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 371515 310466 383 112 0 366480 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1486060
[startup+342.301 s]
/proc/loadavg: 4.00 3.94 3.48 5/190 21295
/proc/meminfo: memFree=13512332/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1596644 CPUtime=342.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 380425 0 0 0 34161 68 0 0 25 0 1 0 487555870 1634963456 334402 33554432000 4194304 4650387 140735874326048 18446744073709551615 4364320 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 399161 334402 383 112 0 394126 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1596644
[startup+402.301 s]
/proc/loadavg: 4.00 3.95 3.51 5/190 21296
/proc/meminfo: memFree=13404384/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1716512 CPUtime=402.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 395625 0 0 0 40158 71 0 0 25 0 1 0 487555870 1757708288 349581 33554432000 4194304 4650387 140735874326048 18446744073709551615 4363718 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 429128 349581 383 112 0 424093 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1716512
[startup+462.3 s]
/proc/loadavg: 4.00 3.95 3.54 5/190 21325
/proc/meminfo: memFree=13633040/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1667512 CPUtime=462.29 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400076 0 0 0 46156 73 0 0 25 0 1 0 487555870 1707532288 351782 33554432000 4194304 4650387 140735874326048 18446744073709551615 4364308 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 416878 351782 383 112 0 411843 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1667512
[startup+522.301 s]
/proc/loadavg: 4.08 3.98 3.57 5/190 21326
/proc/meminfo: memFree=13259708/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668596 CPUtime=522.3 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400885 0 0 0 52156 74 0 0 25 0 1 0 487555870 1708642304 352038 33554432000 4194304 4650387 140735874326048 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417149 352038 383 112 0 412114 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1668596
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 3.84 3.93 3.56 4/184 21345
/proc/meminfo: memFree=14577048/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668596 CPUtime=537.5 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400885 0 0 0 53676 74 0 0 25 0 1 0 487555870 1708642304 352038 33554432000 4194304 4650387 140735874326048 18446744073709551615 4229472 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417149 352038 383 112 0 412114 0
Current children cumulated CPU time (s) 537.5
Current children cumulated vsize (KiB) 1668596
[startup+543.901 s]
/proc/loadavg: 3.77 3.91 3.56 4/184 21345
/proc/meminfo: memFree=14570736/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668596 CPUtime=543.9 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400886 0 0 0 54316 74 0 0 25 0 1 0 487555870 1708642304 352039 33554432000 4194304 4650387 140735874326048 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417149 352039 383 112 0 412114 0
Current children cumulated CPU time (s) 543.9
Current children cumulated vsize (KiB) 1668596
[startup+547.101 s]
/proc/loadavg: 3.71 3.90 3.55 4/184 21345
/proc/meminfo: memFree=14568120/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668596 CPUtime=547.1 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400886 0 0 0 54636 74 0 0 25 0 1 0 487555870 1708642304 352039 33554432000 4194304 4650387 140735874326048 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417149 352039 383 112 0 412114 0
Current children cumulated CPU time (s) 547.1
Current children cumulated vsize (KiB) 1668596
[startup+550.301 s]
/proc/loadavg: 3.71 3.90 3.55 4/184 21345
/proc/meminfo: memFree=14560856/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668808 CPUtime=550.3 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400945 0 0 0 54956 74 0 0 25 0 1 0 487555870 1708859392 352098 33554432000 4194304 4650387 140735874326048 18446744073709551615 4363490 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417202 352098 383 112 0 412167 0
Current children cumulated CPU time (s) 550.3
Current children cumulated vsize (KiB) 1668808
[startup+551.107 s]
/proc/loadavg: 3.65 3.88 3.55 4/184 21345
/proc/meminfo: memFree=14560236/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668808 CPUtime=551.1 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400945 0 0 0 55036 74 0 0 25 0 1 0 487555870 1708859392 352098 33554432000 4194304 4650387 140735874326048 18446744073709551615 4363450 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417202 352098 383 112 0 412167 0
Current children cumulated CPU time (s) 551.1
Current children cumulated vsize (KiB) 1668808
[startup+551.901 s]
/proc/loadavg: 3.65 3.88 3.55 4/184 21345
/proc/meminfo: memFree=14560236/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668808 CPUtime=551.9 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400945 0 0 0 55116 74 0 0 25 0 1 0 487555870 1708859392 352098 33554432000 4194304 4650387 140735874326048 18446744073709551615 4229508 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417202 352098 383 112 0 412167 0
Current children cumulated CPU time (s) 551.9
Current children cumulated vsize (KiB) 1668808
[startup+552.101 s]
/proc/loadavg: 3.65 3.88 3.55 4/184 21345
/proc/meminfo: memFree=14555276/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1668808 CPUtime=552.1 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400955 0 0 0 55136 74 0 0 25 0 1 0 487555870 1708859392 352107 33554432000 4194304 4650387 140735874326048 18446744073709551615 216634173202 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 417202 352107 392 112 0 412167 0
Current children cumulated CPU time (s) 552.1
Current children cumulated vsize (KiB) 1668808
[startup+552.207 s]
/proc/loadavg: 3.65 3.88 3.55 4/184 21345
/proc/meminfo: memFree=14555276/32951124 swapFree=67111528/67111528
[pid=21257] ppid=21255 vsize=1282088 CPUtime=552.19 cores=0,2
/proc/21257/stat : 21257 (strangenight1-s) R 21255 21257 20357 0 -1 4202496 400955 0 0 0 55143 76 0 0 25 0 1 0 487555870 1312858112 225167 33554432000 4194304 4650387 140735874326048 18446744073709551615 216634541162 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21257/statm: 320522 225167 392 112 0 315487 0
Current children cumulated CPU time (s) 552.19
Current children cumulated vsize (KiB) 1282088
Child status: 20
Real time (s): 552.252
CPU time (s): 552.252
CPU user time (s): 551.439
CPU system time (s): 0.812876
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1727576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 551.439
system time used= 0.812876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400956
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= 11
involuntary context switches= 1230
runsolver used 0.963853 second user time and 2.06369 second system time
The end
Begin job on node103 at 2011-04-25 21:25:33
IDJOB=3283495
IDBENCH=71039
IDSOLVER=1589
FILE ID=node103/3283495-1303759532
RUNJOBID= node103-1303758754-20952
PBS_JOBID= 13154068
Free space on /tmp= 70900 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283495-1303759532/watcher-3283495-1303759532 -o /tmp/evaluation-result-3283495-1303759532/solver-3283495-1303759532 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3283495-1303759532.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED=1311205104
node103.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.858
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.71
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.858
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.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.858
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.75
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.858
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.858
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.83
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.858
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 14813856 kB
Buffers: 2119004 kB
Cached: 11425260 kB
SwapCached: 0 kB
Active: 8271372 kB
Inactive: 9277112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14813856 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 24580 kB
Writeback: 8 kB
AnonPages: 4003912 kB
Mapped: 16276 kB
Slab: 514252 kB
PageTables: 13900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 4749992 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= 70948 MiB
End job on node103 at 2011-04-25 21:34:45