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-3370773-1305379197.cnf'
0.00/0.01 c -- header says num vars: 199304
0.00/0.01 c -- header says num clauses: 1005834
0.39/0.40 c -- clauses added: 0 learnts, 1005834 normals, 0 xors
0.39/0.40 c -- vars added 199304
0.39/0.40 c Parsing time: 0.37 s
0.39/0.40 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.30
10.29/10.37 c Flit: 1222 Blit: 1522 bXBeca: 0 bXProp: 1178 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 9.52
10.39/10.40 c Cleaning up after failed var search: 0.03 s
10.39/10.45 c Replacing 1178 vars Replaced 34467 lits Time: 0.05 s
10.49/10.58 c bin-w-bin subsume rem 27898 bins time: 0.04 s
10.59/10.66 c subs with bin: 3718 lits-rem: 34814 v-fix: 0 time: 0.08 s
13.88/13.93 c Subs w/ non-existent bins: 38 l-rem: 0 v-fix: 7124 done: 23538 time: 3.27 s
14.08/14.16 c Removed useless bin: 724 fixed: 0 props: 20.00M time: 0.22 s
14.88/14.98 c lits-rem: 2370 cl-subs: 6269 v-elim: 47670 v-fix: 0 time: 0.81 s
15.59/15.66 c Finding binary XORs T: 0.68 s found: 649
15.69/15.70 c Replacing 649 vars Replaced 12012 lits Time: 0.05 s
15.79/15.88 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
15.79/15.88 c calculated reachability. Time: 0.08
15.89/15.90 c Calc default polars - time: 0.02 s pos: 18577 undec: 111802 neg: 68925
15.89/15.90 c =========================================================================================
15.89/15.90 c types(t): F = full restart, N = normal restart
15.89/15.90 c types(t): S = simplification begin/end, E = solution found
15.89/15.90 c restart types(rt): st = static, dy = dynamic
15.89/15.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
15.89/15.90 c B st 0 0 87569 197648 323918 0 1432944 0 no data no data --
18.49/18.59 c N dy 11 4748 82359 191348 304386 4193 1353349 476441 10.17 10.77 --
25.20/25.21 c N dy 36 9109 79404 186462 290354 8176 1294260 1621517 12.58 13.56 --
27.19/27.22 c Finding binary XORs T: 0.53 s found: 462
31.80/31.91 c N dy 51 13142 77111 181367 280952 11960 1250359 2708498 12.17 35.08 --
41.09/41.11 c N dy 67 18167 76433 181367 281053 16821 1250359 4632077 12.38 13.09 --
48.69/48.70 c N dy 75 22712 76292 177493 279581 11810 1233153 1868837 11.82 12.60 --
52.89/52.95 c F st 80 25002 76284 177493 279606 14054 1233153 2852392 11.64 no data --
52.99/53.09 c Replacing 462 vars Replaced 25637 lits Time: 0.11 s
53.99/54.05 c Finding binary XORs T: 0.53 s found: 869
54.09/54.17 c Replacing 869 vars Replaced 68893 lits Time: 0.12 s
56.89/56.99 c N st 84 27037 74838 175457 274354 16018 1214943 3594467 11.64 no data --
62.29/62.32 c S st 86 30000 74815 175457 274382 18931 1214943 5164031 11.64 no data --
63.29/63.38 c S st 86 30503 72833 171977 266421 19254 1178038 5253850 11.64 no data --
63.39/63.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
63.39/63.46 c Cache BProp: 1260 Set: 76 BXProp: 1 T: 0.04
74.70/74.78 c Flit: 953 Blit: 1826 bXBeca: 0 bXProp: 579 Bins: 16123 BRemL: 26 BRemN: 39 P: 200.0M T: 11.24
74.80/74.84 c Cleaning up after failed var search: 0.06 s
74.99/75.09 c Replacing 581 vars Replaced 277019 lits Time: 0.24 s
75.59/75.62 c bin-w-bin subsume rem 1726 bins time: 0.03 s
77.69/77.73 c subs with bin: 1649 lits-rem: 9686 v-fix: 0 time: 2.11 s
77.99/78.04 c Subs w/ non-existent bins: 401 l-rem: 308 v-fix: 0 done: 2034 time: 0.31 s
78.18/78.25 c Removed useless bin: 4485 fixed: 0 props: 20.00M time: 0.21 s
86.79/86.85 c lits-rem: 329 cl-subs: 21485 v-elim: 3763 v-fix: 0 time: 8.59 s
87.08/87.18 c asymm cl-useful: 294/1270/152393 lits-rem:581 time: 0.34
87.38/87.43 c calculated reachability. Time: 0.23
87.38/87.43 c N dy 86 30503 64741 152393 250539 5836 1049785 362724 11.64 no data --
88.48/88.52 c Finding binary XORs T: 1.09 s found: 58
95.70/95.73 c N dy 87 36524 64640 152393 250584 11734 1049785 1867631 10.90 11.51 --
104.19/104.28 c N dy 89 43518 64621 152393 250611 18565 1049785 3509798 10.30 10.88 --
107.29/107.31 c S st 91 45754 64619 152393 250626 20776 1049785 4572470 10.15 8.94 --
108.19/108.20 c S st 91 46256 64350 152393 250695 21129 1049785 4641664 10.15 no data --
108.19/108.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
108.29/108.30 c Cache BProp: 2758 Set: 0 BXProp: 0 T: 0.06
117.70/117.77 c Flit: 602 Blit: 1378 bXBeca: 0 bXProp: 858 Bins: 10318 BRemL: 50 BRemN: 39 P: 200.0M T: 9.39
117.79/117.83 c Cleaning up after failed var search: 0.06 s
117.99/118.06 c Replacing 917 vars Replaced 121686 lits Time: 0.22 s
118.39/118.47 c bin-w-bin subsume rem 511 bins time: 0.03 s
120.58/120.69 c subs with bin: 662 lits-rem: 3127 v-fix: 0 time: 2.22 s
120.90/120.95 c Subs w/ non-existent bins: 315 l-rem: 350 v-fix: 0 done: 1839 time: 0.26 s
121.09/121.11 c Removed useless bin: 4211 fixed: 1 props: 20.01M time: 0.16 s
136.99/137.08 c lits-rem: 134 cl-subs: 19232 v-elim: 3665 v-fix: 0 time: 15.97 s
137.59/137.60 c vivif2 -- cl tried 136756 cl shrink 9437 lits rem 12400 time: 0.52
137.79/137.81 c vivif2 -- cl tried 8955 cl shrink 2506 lits rem 139936 time: 0.21
138.09/138.15 c asymm cl-useful: 113/2653/133534 lits-rem:184 time: 0.34
138.39/138.47 c calculated reachability. Time: 0.30
138.39/138.47 c N dy 91 46256 56643 133534 233040 8855 916935 788782 10.15 no data --
139.79/139.85 c Finding binary XORs T: 1.37 s found: 55
147.49/147.57 c N dy 98 52932 56613 133534 233114 15401 916935 2868318 9.77 11.04 --
152.59/152.61 c N dy 106 57204 56613 133534 233148 19589 916935 3757049 9.65 10.45 --
160.09/160.13 c N dy 109 63641 56610 133534 233182 13489 916935 1796992 9.37 10.02 --
165.00/165.05 c N dy 113 68967 56606 133534 233234 18686 916935 3081635 9.21 9.75 --
165.49/165.51 c S st 115 69384 56570 133534 233254 19076 916935 3181811 9.21 7.89 --
166.19/166.26 c S st 115 69884 56096 133534 233349 19400 916935 3257519 9.21 no data --
166.29/166.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
166.29/166.38 c Cache BProp: 3703 Set: 4 BXProp: 0 T: 0.08
175.90/175.92 c Flit: 599 Blit: 1837 bXBeca: 0 bXProp: 531 Bins: 12920 BRemL: 148 BRemN: 70 P: 200.0M T: 9.50
175.90/175.96 c Cleaning up after failed var search: 0.04 s
176.09/176.11 c Replacing 587 vars Replaced 86443 lits Time: 0.14 s
176.29/176.36 c bin-w-bin subsume rem 1903 bins time: 0.02 s
178.39/178.48 c subs with bin: 555 lits-rem: 767 v-fix: 0 time: 2.12 s
178.79/178.89 c Subs w/ non-existent bins: 451 l-rem: 429 v-fix: 2 done: 3875 time: 0.41 s
179.09/179.14 c Removed useless bin: 6791 fixed: 0 props: 20.00M time: 0.25 s
188.59/188.61 c lits-rem: 264 cl-subs: 17431 v-elim: 3096 v-fix: 0 time: 9.47 s
189.09/189.15 c vivif2 -- cl tried 115697 cl shrink 4626 lits rem 6493 time: 0.54
189.29/189.30 c vivif2 -- cl tried 8275 cl shrink 827 lits rem 8744 time: 0.15
189.59/189.66 c asymm cl-useful: 117/1892/114479 lits-rem:310 time: 0.36
189.89/189.99 c calculated reachability. Time: 0.32
189.89/189.99 c N dy 115 69884 49552 114447 215874 8240 796237 462024 9.21 no data --
191.40/191.47 c Finding binary XORs T: 1.48 s found: 39
196.69/196.72 c N dy 124 75638 49547 114447 215965 13862 796237 1612714 9.08 9.57 --
201.30/201.36 c N dy 132 80692 49477 114447 216028 18831 796237 2726547 9.00 9.49 --
206.70/206.71 c N dy 144 85878 49464 114447 216056 23961 796237 4395815 8.92 9.41 --
208.29/208.34 c F st 148 87500 49464 114447 216071 25544 796237 4741576 8.90 no data --
208.39/208.44 c Replacing 39 vars Replaced 2425 lits Time: 0.07 s
213.49/213.58 c N dy 154 92690 49425 113169 215916 29986 792212 5803394 8.90 no data --
220.49/220.56 c N dy 168 98787 49418 113169 215947 19515 792212 2132845 8.82 9.29 --
225.79/225.88 c S st 182 104827 49418 113169 215993 25426 792212 3104976 8.75 7.50 --
226.39/226.49 c S st 182 105328 49309 113169 216042 25840 792212 3214278 8.75 no data --
226.50/226.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
226.60/226.61 c Cache BProp: 4347 Set: 10 BXProp: 0 T: 0.08
236.39/236.41 c Flit: 738 Blit: 1363 bXBeca: 0 bXProp: 632 Bins: 14687 BRemL: 61 BRemN: 86 P: 200.0M T: 9.74
236.39/236.44 c Cleaning up after failed var search: 0.04 s
236.50/236.53 c Replacing 633 vars Replaced 34504 lits Time: 0.09 s
236.69/236.78 c bin-w-bin subsume rem 784 bins time: 0.02 s
238.89/238.91 c subs with bin: 1583 lits-rem: 7255 v-fix: 0 time: 2.12 s
238.99/239.04 c Subs w/ non-existent bins: 66 l-rem: 286 v-fix: 0 done: 866 time: 0.13 s
239.19/239.26 c Removed useless bin: 6811 fixed: 0 props: 20.00M time: 0.22 s
248.79/248.82 c lits-rem: 113 cl-subs: 21406 v-elim: 3076 v-fix: 0 time: 9.56 s
249.29/249.39 c vivif2 -- cl tried 97989 cl shrink 4799 lits rem 6323 time: 0.56
249.49/249.56 c vivif2 -- cl tried 10938 cl shrink 1015 lits rem 13309 time: 0.18
249.89/249.92 c asymm cl-useful: 135/831/96884 lits-rem:149 time: 0.35
250.19/250.25 c calculated reachability. Time: 0.32
250.19/250.25 c N dy 182 105328 42641 96882 202424 10892 680372 443412 8.75 no data --
251.69/251.76 c Finding binary XORs T: 1.51 s found: 21
257.49/257.53 c N dy 204 112094 42633 96882 202485 17534 680372 1853131 8.69 10.35 --
264.59/264.68 c N dy 210 120810 42617 96882 202509 26115 680372 3494960 8.55 9.04 --
271.78/271.89 c N dy 243 129141 42601 96882 202589 34245 680371 4924040 8.53 9.02 --
278.99/279.04 c N dy 294 137734 42593 96882 202685 23836 680371 2137751 8.55 9.04 --
286.49/286.57 c N dy 337 146587 42574 96882 202732 32500 680371 3222751 8.56 9.56 --
295.39/295.40 c N dy 395 156157 42568 96882 202774 41890 680371 4346628 8.62 9.35 --
296.89/296.99 c S st 407 157992 42568 96882 202778 22501 680371 1366257 8.63 no data --
297.38/297.45 c S st 407 158495 42551 96882 202818 22944 680371 1476959 8.63 no data --
297.38/297.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
297.48/297.56 c Cache BProp: 3666 Set: 4 BXProp: 0 T: 0.08
306.90/306.96 c Flit: 729 Blit: 595 bXBeca: 0 bXProp: 582 Bins: 15907 BRemL: 124 BRemN: 42 P: 200.0M T: 9.36
306.90/306.99 c Cleaning up after failed var search: 0.03 s
306.99/307.05 c Replacing 603 vars Replaced 26519 lits Time: 0.06 s
307.09/307.19 c bin-w-bin subsume rem 585 bins time: 0.02 s
309.10/309.16 c subs with bin: 1123 lits-rem: 3209 v-fix: 0 time: 1.98 s
309.49/309.59 c Subs w/ non-existent bins: 332 l-rem: 340 v-fix: 0 done: 7919 time: 0.43 s
309.79/309.83 c Removed useless bin: 5592 fixed: 0 props: 20.00M time: 0.23 s
313.29/313.40 c lits-rem: 259 cl-subs: 14438 v-elim: 2415 v-fix: 0 time: 3.57 s
313.89/313.97 c vivif2 -- cl tried 88020 cl shrink 4938 lits rem 6294 time: 0.57
314.09/314.13 c vivif2 -- cl tried 13511 cl shrink 990 lits rem 17249 time: 0.17
314.49/314.52 c asymm cl-useful: 61/896/86901 lits-rem:78 time: 0.38
314.79/314.84 c calculated reachability. Time: 0.31
314.79/314.84 c N dy 407 158495 37889 86899 199558 13475 607072 489588 8.63 no data --
316.29/316.34 c Finding binary XORs T: 1.50 s found: 4
323.59/323.69 c N dy 431 168887 37861 86899 199605 23704 607072 1922944 8.55 9.17 --
331.79/331.85 c N dy 474 179753 37857 86899 199634 34362 607072 2808204 8.53 9.02 --
341.09/341.16 c N dy 523 191462 37854 86899 199670 23989 607072 1127964 8.51 9.11 --
350.39/350.42 c N dy 560 205399 37848 86899 199718 37619 607072 2278035 8.46 8.98 --
360.38/360.45 c N dy 639 218563 37845 86899 199747 26866 607072 1372185 8.48 9.24 --
370.98/371.06 c N dy 706 232576 37832 86899 199780 40548 607072 2265935 8.48 8.97 --
375.28/375.37 c S st 748 237745 37832 86899 199787 45620 607072 2633018 8.51 no data --
375.78/375.84 c S st 748 238248 37832 86899 199834 46070 607072 2699350 8.51 no data --
375.78/375.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
375.88/375.96 c Cache BProp: 3233 Set: 8 BXProp: 0 T: 0.08
385.19/385.23 c Flit: 281 Blit: 606 bXBeca: 0 bXProp: 170 Bins: 11353 BRemL: 62 BRemN: 12 P: 200.0M T: 9.24
385.19/385.26 c Cleaning up after failed var search: 0.03 s
385.29/385.32 c Replacing 174 vars Replaced 13417 lits Time: 0.06 s
385.48/385.52 c bin-w-bin subsume rem 245 bins time: 0.02 s
387.38/387.48 c subs with bin: 230 lits-rem: 1499 v-fix: 0 time: 1.95 s
387.79/387.86 c Subs w/ non-existent bins: 269 l-rem: 339 v-fix: 0 done: 6655 time: 0.37 s
387.99/388.02 c Removed useless bin: 2591 fixed: 0 props: 12.45M time: 0.17 s
397.19/397.24 c lits-rem: 290 cl-subs: 22560 v-elim: 1847 v-fix: 0 time: 9.21 s
397.69/397.74 c vivif2 -- cl tried 81820 cl shrink 3340 lits rem 4175 time: 0.50
397.99/398.04 c vivif2 -- cl tried 25560 cl shrink 3050 lits rem 48346 time: 0.30
398.39/398.43 c asymm cl-useful: 36/958/81130 lits-rem:36 time: 0.39
398.69/398.72 c calculated reachability. Time: 0.28
398.69/398.72 c N dy 748 238248 34856 81130 199924 25520 568691 829827 8.51 no data --
400.09/400.12 c Finding binary XORs T: 1.40 s found: 0
410.49/410.50 c N dy 769 253469 34836 81130 199987 40485 568691 2859249 8.42 8.86 --
421.20/421.27 c N dy 816 269899 34828 81130 200032 32560 568691 1933186 8.36 8.83 --
433.59/433.67 c N dy 883 287174 34820 81130 200090 49330 568691 3139168 8.34 9.72 --
446.38/446.48 c N dy 965 305903 34818 81130 200134 41997 568691 2171453 8.34 9.01 --
446.68/446.73 c F st 967 306250 34818 81130 200134 42338 568691 2204013 8.34 7.49 --
459.58/459.62 c N dy 1052 325703 34815 80913 199895 33005 567752 1305409 8.36 8.83 --
472.68/472.76 c N dy 1166 345950 34805 80913 199934 52685 567752 2547658 8.38 8.82 --
479.78/479.87 c S st 1224 357372 34803 80913 199946 36371 567752 1530421 8.39 no data --
480.18/480.28 c S st 1224 357876 34801 80913 199982 36837 567752 1605294 8.39 no data --
480.28/480.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
480.28/480.38 c Cache BProp: 1536 Set: 10 BXProp: 0 T: 0.08
490.28/490.38 c Flit: 61 Blit: 57 bXBeca: 0 bXProp: 9 Bins: 16950 BRemL: 395 BRemN: 63 P: 200.0M T: 9.99
490.28/490.38 c Cleaning up after failed var search: 0.00 s
490.38/490.44 c Replacing 9 vars Replaced 733 lits Time: 0.06 s
490.49/490.57 c bin-w-bin subsume rem 83 bins time: 0.02 s
492.38/492.40 c subs with bin: 1376 lits-rem: 2234 v-fix: 0 time: 1.82 s
492.38/492.47 c Subs w/ non-existent bins: 3 l-rem: 636 v-fix: 0 done: 224 time: 0.07 s
492.58/492.60 c Removed useless bin: 947 fixed: 0 props: 9.71M time: 0.13 s
496.88/496.92 c lits-rem: 987 cl-subs: 8782 v-elim: 1103 v-fix: 0 time: 4.32 s
497.28/497.36 c vivif2 -- cl tried 80058 cl shrink 927 lits rem 1258 time: 0.45
497.58/497.64 c vivif2 -- cl tried 27675 cl shrink 3089 lits rem 65139 time: 0.27
497.98/498.01 c asymm cl-useful: 16/935/79990 lits-rem:16 time: 0.37
498.19/498.25 c calculated reachability. Time: 0.23
498.19/498.26 c N dy 1224 357876 33547 79990 210787 27648 555659 904397 8.39 no data --
499.39/499.47 c Finding binary XORs T: 1.22 s found: 0
510.78/510.84 c N dy 1306 377957 33534 79990 210906 47099 555659 2424696 8.36 8.99 --
522.29/522.30 c N dy 1396 398173 33497 79990 210983 38843 555659 1498139 8.35 8.79 --
533.50/533.55 c N dy 1474 418259 33476 79990 211056 57956 555659 2256937 8.33 8.81 --
544.69/544.79 c N dy 1575 438338 33437 79990 211089 47879 555659 1612275 8.34 10.01 --
555.79/555.89 c E dy 1638 456206 33257 79990 211173 34383 555659 1044034 8.33 4.50 --
555.79/555.89 c num threads : 1
555.79/555.89 c restarts : 1638
555.79/555.89 c dynamic restarts : 1614
555.79/555.89 c static restarts : 24
555.79/555.89 c full restarts : 3
555.79/555.89 c total simplify time : 11.53
555.79/555.89 c learnts DL2 : 0
555.79/555.89 c learnts size 2 : 960924
555.79/555.89 c learnts size 1 : 105848 (53.11 % of vars)
555.79/555.89 c filedLit time : 78.29 (14.10 % time)
555.79/555.89 c v-elim SatELite : 66635 (33.43 % vars)
555.79/555.89 c SatELite time : 64.27 (11.58 % time)
555.79/555.89 c v-elim xor : 0 (0.00 % vars)
555.79/555.89 c xor elim time : 0.26 (0.05 % time)
555.79/555.89 c num binary xor trees : 4060
555.79/555.89 c binxor trees' crown : 6701 (1.65 leafs/tree)
555.79/555.89 c bin xor find time : 11.31
555.79/555.89 c OTF clause improved : 9877 (0.02 clauses/conflict)
555.79/555.89 c OTF impr. size diff : 34296 (3.47 lits/clause)
555.79/555.89 c OTF cl watch-shrink : 210723 (0.46 clauses/conflict)
555.79/555.89 c OTF cl watch-sh-lit : 3624340 (17.20 lits/clause)
555.79/555.89 c tried to recurMin cls : 275304 (60.35 % of conflicts)
555.79/555.89 c updated cache : 32556 (0.12 lits/tried recurMin)
555.79/555.89 c clauses over max glue : 0 (0.00 % of all clauses)
555.79/555.89 c conflicts : 456206 (821.77 / sec)
555.79/555.89 c decisions : 748570 (1.34 % random)
555.79/555.89 c bogo-props : 15004952171 (27028712.79 / sec)
555.79/555.89 c conflict literals : 58445907 (46.69 % deleted)
555.79/555.89 c Memory used : 1629.70 MB
555.79/555.89 c CPU time : 555.15 s
555.79/555.89 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-3370773-1305379197/watcher-3370773-1305379197 -o /tmp/evaluation-result-3370773-1305379197/solver-3370773-1305379197 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370773-1305379197.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: 0.00 0.00 0.00 2/293 24650
/proc/meminfo: memFree=24413140/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=34324 CPUtime=0 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 1932 0 0 0 0 0 0 0 21 0 1 0 630335637 35147776 1641 33554432000 4194304 4650387 140733194740176 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 8581 1648 331 112 0 3546 0
[startup+0.062063 s]
/proc/loadavg: 0.00 0.00 0.00 2/293 24650
/proc/meminfo: memFree=24413140/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=87232 CPUtime=0.05 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 15709 0 0 0 4 1 0 0 21 0 1 0 630335637 89325568 11513 33554432000 4194304 4650387 140733194740176 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 21808 11522 331 112 0 16773 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87232
[startup+0.101068 s]
/proc/loadavg: 0.00 0.00 0.00 2/293 24650
/proc/meminfo: memFree=24413140/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=87232 CPUtime=0.09 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 16254 0 0 0 8 1 0 0 21 0 1 0 630335637 89325568 12057 33554432000 4194304 4650387 140733194740176 18446744073709551615 220815897285 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 21808 12058 331 112 0 16773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87232
[startup+0.301019 s]
/proc/loadavg: 0.00 0.00 0.00 2/293 24650
/proc/meminfo: memFree=24413140/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=101848 CPUtime=0.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 20471 0 0 0 27 2 0 0 22 0 1 0 630335637 104292352 16274 33554432000 4194304 4650387 140733194740176 18446744073709551615 4547326 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 25462 16274 331 112 0 20427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101848
[startup+0.700947 s]
/proc/loadavg: 0.00 0.00 0.00 2/293 24650
/proc/meminfo: memFree=24413140/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=113648 CPUtime=0.69 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 25330 0 0 0 66 3 0 0 23 0 1 0 630335637 116375552 21133 33554432000 4194304 4650387 140733194740176 18446744073709551615 4371075 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 28412 21133 347 112 0 23377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113648
[startup+1.5008 s]
/proc/loadavg: 0.00 0.00 0.00 3/294 24651
/proc/meminfo: memFree=24278096/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=162272 CPUtime=1.49 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 34886 0 0 0 145 4 0 0 25 0 1 0 630335637 166166528 29140 33554432000 4194304 4650387 140733194740176 18446744073709551615 4244897 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 40568 29142 353 112 0 35533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 162272
[startup+3.1005 s]
/proc/loadavg: 0.16 0.03 0.01 3/294 24651
/proc/meminfo: memFree=24195100/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=237820 CPUtime=3.09 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 49122 0 0 0 304 5 0 0 25 0 1 0 630335637 243527680 43376 33554432000 4194304 4650387 140733194740176 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 59455 43376 353 112 0 54420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 237820
[startup+6.30089 s]
/proc/loadavg: 0.16 0.03 0.01 3/294 24651
/proc/meminfo: memFree=23947212/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=391676 CPUtime=6.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 77910 0 0 0 620 9 0 0 25 0 1 0 630335637 401076224 72164 33554432000 4194304 4650387 140733194740176 18446744073709551615 4243590 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 97919 72164 353 112 0 92884 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 391676
[startup+12.7007 s]
/proc/loadavg: 0.44 0.10 0.03 3/294 24651
/proc/meminfo: memFree=23639596/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=563936 CPUtime=12.69 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 114688 0 0 0 1256 13 0 0 25 0 1 0 630335637 577470464 108942 33554432000 4194304 4650387 140733194740176 18446744073709551615 4550214 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 140984 108942 366 112 0 135949 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 563936
[startup+25.5004 s]
/proc/loadavg: 0.68 0.16 0.05 3/294 24652
/proc/meminfo: memFree=23542996/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=655292 CPUtime=25.49 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 125487 0 0 0 2533 16 0 0 25 0 1 0 630335637 671019008 119741 33554432000 4194304 4650387 140733194740176 18446744073709551615 4363677 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 163823 119741 379 112 0 158788 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 655292
[startup+51.1006 s]
/proc/loadavg: 1.13 0.31 0.10 5/304 24672
/proc/meminfo: memFree=23434044/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=616808 CPUtime=51.09 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 136036 0 0 0 5091 18 0 0 25 0 1 0 630335637 631611392 122462 33554432000 4194304 4650387 140733194740176 18446744073709551615 4364743 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 154202 122462 381 112 0 149167 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 616808
[startup+102.311 s]
/proc/loadavg: 2.89 0.94 0.33 5/304 24674
/proc/meminfo: memFree=22712944/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1031056 CPUtime=102.3 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 217219 0 0 0 10198 32 0 0 25 0 1 0 630335637 1055801344 203645 33554432000 4194304 4650387 140733194740176 18446744073709551615 4363464 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 257764 203645 383 112 0 252729 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1031056
[startup+162.301 s]
/proc/loadavg: 3.59 1.49 0.56 5/304 24675
/proc/meminfo: memFree=22290324/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1174616 CPUtime=162.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 271440 0 0 0 16185 44 0 0 25 0 1 0 630335637 1202806784 241438 33554432000 4194304 4650387 140733194740176 18446744073709551615 4365445 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 293654 241438 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: 3.88 1.96 0.77 5/304 24677
/proc/meminfo: memFree=22003960/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1320656 CPUtime=222.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 313003 0 0 0 22178 51 0 0 25 0 1 0 630335637 1352351744 272834 33554432000 4194304 4650387 140733194740176 18446744073709551615 4333751 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 330164 272834 383 112 0 325129 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1320656
[startup+282.301 s]
/proc/loadavg: 3.95 2.33 0.97 5/304 24678
/proc/meminfo: memFree=21727268/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1486060 CPUtime=282.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 354032 0 0 0 28168 61 0 0 25 0 1 0 630335637 1521725440 309602 33554432000 4194304 4650387 140733194740176 18446744073709551615 4365445 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 371515 309602 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: 3.98 2.63 1.16 5/304 24683
/proc/meminfo: memFree=21597572/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1596644 CPUtime=342.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 379480 0 0 0 34163 66 0 0 25 0 1 0 630335637 1634963456 333458 33554432000 4194304 4650387 140733194740176 18446744073709551615 4363303 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 399161 333458 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.12 2.91 1.35 5/304 24685
/proc/meminfo: memFree=21455504/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1716512 CPUtime=402.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 394268 0 0 0 40158 71 0 0 25 0 1 0 630335637 1757708288 348225 33554432000 4194304 4650387 140733194740176 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 429128 348225 383 112 0 424093 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1716512
[startup+462.301 s]
/proc/loadavg: 4.04 3.10 1.51 5/304 24686
/proc/meminfo: memFree=21393696/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1667512 CPUtime=462.28 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400075 0 0 0 46155 73 0 0 25 0 1 0 630335637 1707532288 351782 33554432000 4194304 4650387 140733194740176 18446744073709551615 4363351 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 416878 351782 383 112 0 411843 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1667512
[startup+522.301 s]
/proc/loadavg: 4.01 3.26 1.66 5/304 24715
/proc/meminfo: memFree=22812884/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1668596 CPUtime=522.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400883 0 0 0 52155 74 0 0 25 0 1 0 630335637 1708642304 352037 33554432000 4194304 4650387 140733194740176 18446744073709551615 4315087 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 417149 352037 383 112 0 412114 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1668596
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 4.01 3.30 1.70 5/304 24715
/proc/meminfo: memFree=22803348/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1668596 CPUtime=537.49 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400884 0 0 0 53675 74 0 0 25 0 1 0 630335637 1708642304 352038 33554432000 4194304 4650387 140733194740176 18446744073709551615 4333850 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 417149 352038 383 112 0 412114 0
Current children cumulated CPU time (s) 537.49
Current children cumulated vsize (KiB) 1668596
[startup+543.901 s]
/proc/loadavg: 4.01 3.31 1.71 5/304 24715
/proc/meminfo: memFree=22820456/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1668596 CPUtime=543.89 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400884 0 0 0 54315 74 0 0 25 0 1 0 630335637 1708642304 352038 33554432000 4194304 4650387 140733194740176 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 417149 352038 383 112 0 412114 0
Current children cumulated CPU time (s) 543.89
Current children cumulated vsize (KiB) 1668596
[startup+550.301 s]
/proc/loadavg: 4.01 3.32 1.72 5/304 24716
/proc/meminfo: memFree=22785592/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1668596 CPUtime=550.29 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400885 0 0 0 54955 74 0 0 25 0 1 0 630335637 1708642304 352039 33554432000 4194304 4650387 140733194740176 18446744073709551615 4364912 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 417149 352039 383 112 0 412114 0
Current children cumulated CPU time (s) 550.29
Current children cumulated vsize (KiB) 1668596
[startup+553.501 s]
/proc/loadavg: 4.01 3.33 1.73 5/304 24716
/proc/meminfo: memFree=22778148/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1668808 CPUtime=553.49 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400944 0 0 0 55275 74 0 0 25 0 1 0 630335637 1708859392 352098 33554432000 4194304 4650387 140733194740176 18446744073709551615 4366787 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 417202 352098 383 112 0 412167 0
Current children cumulated CPU time (s) 553.49
Current children cumulated vsize (KiB) 1668808
[startup+555.101 s]
/proc/loadavg: 4.01 3.33 1.73 5/304 24716
/proc/meminfo: memFree=22775792/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1668808 CPUtime=555.09 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400944 0 0 0 55435 74 0 0 25 0 1 0 630335637 1708859392 352098 33554432000 4194304 4650387 140733194740176 18446744073709551615 4364374 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 417202 352098 383 112 0 412167 0
Current children cumulated CPU time (s) 555.09
Current children cumulated vsize (KiB) 1668808
[startup+555.901 s]
/proc/loadavg: 4.01 3.33 1.73 5/304 24716
/proc/meminfo: memFree=22790920/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1668808 CPUtime=555.89 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400954 0 0 0 55515 74 0 0 25 0 1 0 630335637 1708859392 352107 33554432000 4194304 4650387 140733194740176 18446744073709551615 4362485 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 417202 352107 392 112 0 412167 0
Current children cumulated CPU time (s) 555.89
Current children cumulated vsize (KiB) 1668808
[startup+556.1 s]
/proc/loadavg: 4.01 3.33 1.73 5/304 24716
/proc/meminfo: memFree=22790920/32951124 swapFree=63485424/67111528
[pid=24650] ppid=24648 vsize=1282088 CPUtime=556.08 cores=0,2
/proc/24650/stat : 24650 (strangenight1-s) R 24648 24650 24609 0 -1 4202496 400954 0 0 0 55532 76 0 0 25 0 1 0 630335637 1312858112 226289 33554432000 4194304 4650387 140733194740176 18446744073709551615 220816262250 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24650/statm: 320522 225815 392 112 0 315487 0
Current children cumulated CPU time (s) 556.08
Current children cumulated vsize (KiB) 1282088
Child status: 20
Real time (s): 556.14
CPU time (s): 556.134
CPU user time (s): 555.33
CPU system time (s): 0.804877
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 1727576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 555.33
system time used= 0.804877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400955
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= 7
involuntary context switches= 1624
runsolver used 1.61775 second user time and 3.46347 second system time
The end
Begin job on node147 at 2011-05-14 15:19:57
IDJOB=3370773
IDBENCH=71039
IDSOLVER=1847
FILE ID=node147/3370773-1305379197
RUNJOBID= node147-1305379151-24627
PBS_JOBID= 13324355
Free space on /tmp= 73064 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370773-1305379197/watcher-3370773-1305379197 -o /tmp/evaluation-result-3370773-1305379197/solver-3370773-1305379197 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370773-1305379197.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED=484866924
node147.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.836
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.67
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.836
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.836
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.836
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.836
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.836
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.76
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.836
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.82
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.836
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: 24415040 kB
Buffers: 267624 kB
Cached: 4927448 kB
SwapCached: 13132 kB
Active: 1658072 kB
Inactive: 6645968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 24415040 kB
SwapTotal: 67111528 kB
SwapFree: 63485424 kB
Dirty: 49448 kB
Writeback: 0 kB
AnonPages: 3103944 kB
Mapped: 15324 kB
Slab: 141280 kB
PageTables: 29488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 44941760 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= 73060 MiB
End job on node147 at 2011-05-14 15:29:14