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-3370659-1305380473.cnf'
0.00/0.01 c -- header says num vars: 109684
0.00/0.01 c -- header says num clauses: 1767096
0.38/0.41 c -- clauses added: 0 learnts, 1767096 normals, 0 xors
0.38/0.41 c -- vars added 109684
0.38/0.41 c Parsing time: 0.37 s
0.38/0.41 c N st 0 0 109684 49482 1343956 0 3185745 0 no data no data --
0.58/0.69 c asymm cl-useful: 448/1003/41328 lits-rem:19508 time: 0.27
7.27/7.30 c Flit: 263 Blit: 9075 bXBeca: 0 bXProp: 503 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 6.48
7.27/7.33 c Cleaning up after failed var search: 0.03 s
7.27/7.37 c Replacing 503 vars Replaced 29209 lits Time: 0.04 s
7.48/7.50 c bin-w-bin subsume rem 734 bins time: 0.08 s
7.59/7.69 c subs with bin: 33 lits-rem: 151 v-fix: 0 time: 0.19 s
10.78/10.85 c Subs w/ non-existent bins: 36 l-rem: 643 v-fix: 384 done: 33487 time: 3.16 s
10.99/11.02 c Removed useless bin: 11984 fixed: 0 props: 20.01M time: 0.17 s
11.28/11.30 c lits-rem: 0 cl-subs: 80 v-elim: 13 v-fix: 0 time: 0.28 s
11.78/11.88 c Finding binary XORs T: 0.57 s found: 221
11.88/11.92 c Replacing 221 vars Replaced 9351 lits Time: 0.04 s
12.09/12.15 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
12.09/12.15 c calculated reachability. Time: 0.19
12.09/12.17 c Calc default polars - time: 0.02 s pos: 2101 undec: 48788 neg: 58795
12.09/12.17 c =========================================================================================
12.09/12.17 c types(t): F = full restart, N = normal restart
12.09/12.17 c types(t): S = simplification begin/end, E = solution found
12.09/12.17 c restart types(rt): st = static, dy = dynamic
12.09/12.17 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12.09/12.17 c B st 0 0 60902 36167 794055 0 1916150 0 no data no data --
20.68/20.76 c N dy 20 4071 60900 36167 794216 3893 1916150 5039043 17.94 20.00 --
29.18/29.25 c N dy 46 8120 60898 36167 794312 7833 1916150 9155524 21.15 22.41 --
38.08/38.13 c N dy 63 12429 60896 36167 794439 8021 1916150 5423052 21.29 22.74 --
50.68/50.73 c N dy 76 16596 60895 36167 794564 12051 1916150 11808271 20.08 21.84 --
62.69/62.71 c N dy 95 20671 60895 36167 794631 9590 1916150 4822667 19.98 25.11 --
71.68/71.71 c N dy 120 24753 60894 36167 794736 13557 1916150 9725573 20.07 22.20 --
72.38/72.48 c F st 123 25000 60894 36167 794742 13797 1916150 10277763 20.14 no data --
94.49/94.57 c N dy 129 30000 60892 36164 794690 10477 1915813 3803097 20.14 no data --
94.49/94.57 c S st 129 30000 60892 36164 794690 10477 1915813 3803097 20.14 no data --
95.08/95.15 c S st 129 30500 60891 36164 794738 10927 1915813 3895530 20.14 no data --
95.08/95.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
95.18/95.22 c Cache BProp: 7085 Set: 105 BXProp: 0 T: 0.03
123.58/123.69 c Flit: 359 Blit: 1492 bXBeca: 0 bXProp: 123 Bins: 245229 BRemL: 1072 BRemN: 1949 P: 200.0M T: 28.33
123.68/123.73 c Cleaning up after failed var search: 0.04 s
123.78/123.87 c Replacing 123 vars Replaced 12664 lits Time: 0.13 s
124.19/124.30 c bin-w-bin subsume rem 539 bins time: 0.09 s
125.78/125.83 c subs with bin: 2 lits-rem: 11 v-fix: 0 time: 1.53 s
125.98/126.00 c Subs w/ non-existent bins: 1 l-rem: 308 v-fix: 6 done: 742 time: 0.18 s
126.18/126.23 c Removed useless bin: 20923 fixed: 0 props: 20.01M time: 0.22 s
127.49/127.55 c lits-rem: 108 cl-subs: 291 v-elim: 1 v-fix: 0 time: 1.32 s
127.78/127.86 c asymm cl-useful: 62/479/35285 lits-rem:631 time: 0.31
128.28/128.36 c calculated reachability. Time: 0.48
128.28/128.37 c N dy 129 30500 58716 35285 970149 10589 1790910 4192280 20.14 no data --
129.69/129.78 c Finding binary XORs T: 1.41 s found: 59
142.78/142.81 c N dy 136 34516 58704 35285 970377 14358 1790910 7864819 18.94 21.47 --
159.28/159.38 c N dy 151 39679 58703 35285 970512 9910 1790910 1479346 18.28 20.36 --
169.48/169.59 c N dy 164 43981 58702 35285 970701 14013 1790910 4723941 17.67 19.07 --
183.88/183.97 c S st 167 45751 58702 35285 970785 15694 1790910 6390584 17.46 14.58 --
184.58/184.68 c S st 167 46251 58702 35285 970822 16157 1790910 6500926 17.46 no data --
184.68/184.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
184.68/184.78 c Cache BProp: 6380 Set: 7 BXProp: 0 T: 0.05
202.78/202.84 c Flit: 263 Blit: 337 bXBeca: 0 bXProp: 35 Bins: 177232 BRemL: 18 BRemN: 421 P: 200.1M T: 18.01
202.78/202.89 c Cleaning up after failed var search: 0.05 s
203.08/203.18 c Replacing 94 vars Replaced 13318 lits Time: 0.28 s
203.58/203.65 c bin-w-bin subsume rem 165 bins time: 0.11 s
205.18/205.22 c subs with bin: 0 lits-rem: 33 v-fix: 0 time: 1.57 s
205.28/205.37 c Subs w/ non-existent bins: 1 l-rem: 232 v-fix: 0 done: 90 time: 0.15 s
205.48/205.59 c Removed useless bin: 20722 fixed: 0 props: 20.00M time: 0.22 s
207.68/207.75 c lits-rem: 121 cl-subs: 229 v-elim: 0 v-fix: 0 time: 2.16 s
207.79/207.84 c vivif2 -- cl tried 35026 cl shrink 273 lits rem 2568 time: 0.09
208.29/208.35 c vivif2 -- cl tried 15839 cl shrink 4700 lits rem 1090256 time: 0.50
208.59/208.67 c asymm cl-useful: 136/695/34992 lits-rem:2028 time: 0.32
209.19/209.29 c calculated reachability. Time: 0.60
209.19/209.29 c N dy 167 46251 57998 34992 1111057 15636 1720808 5584450 17.46 no data --
210.99/211.03 c Finding binary XORs T: 1.74 s found: 35
244.58/244.60 c N dy 177 50315 57986 34992 1111165 19569 1720808 9436411 17.02 18.06 --
260.69/260.76 c N dy 187 54399 57982 34992 1111303 13089 1720808 2562251 16.65 18.05 --
278.89/278.97 c N dy 197 58513 57977 34992 1111471 17024 1720808 5259369 16.29 17.37 --
320.39/320.45 c N dy 213 62529 57976 34992 1111580 20918 1720808 8247687 16.11 17.00 --
335.19/335.23 c N dy 234 66981 57976 34992 1111682 14716 1720808 2741085 16.28 17.21 --
343.69/343.73 c S st 245 69376 57974 34992 1111738 17049 1720808 4697708 16.21 10.40 --
344.19/344.29 c S st 245 69880 57974 34992 1111766 17525 1720808 4787286 16.21 no data --
344.30/344.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
344.39/344.40 c Cache BProp: 5812 Set: 0 BXProp: 0 T: 0.06
360.80/360.86 c Flit: 182 Blit: 92 bXBeca: 0 bXProp: 31 Bins: 151277 BRemL: 0 BRemN: 480 P: 200.0M T: 16.43
360.80/360.87 c Cleaning up after failed var search: 0.00 s
360.98/361.07 c Replacing 67 vars Replaced 11364 lits Time: 0.20 s
361.38/361.42 c bin-w-bin subsume rem 222 bins time: 0.13 s
362.99/363.04 c subs with bin: 0 lits-rem: 4 v-fix: 0 time: 1.62 s
363.29/363.36 c Subs w/ non-existent bins: 10 l-rem: 370 v-fix: 0 done: 1345 time: 0.32 s
363.49/363.57 c Removed useless bin: 3948 fixed: 0 props: 20.00M time: 0.20 s
365.39/365.45 c lits-rem: 743 cl-subs: 198 v-elim: 0 v-fix: 0 time: 1.88 s
365.49/365.56 c vivif2 -- cl tried 34807 cl shrink 15 lits rem 190 time: 0.10
365.99/366.00 c vivif2 -- cl tried 17263 cl shrink 3056 lits rem 768825 time: 0.44
366.30/366.33 c asymm cl-useful: 14/425/34807 lits-rem:15 time: 0.33
366.99/367.04 c calculated reachability. Time: 0.68
366.99/367.04 c N dy 245 69880 57616 34807 1244371 17126 1699565 4230641 16.21 no data --
368.99/369.05 c Finding binary XORs T: 2.01 s found: 33
381.19/381.22 c N dy 255 75942 57611 34807 1244630 22906 1699565 7568998 15.83 17.76 --
392.19/392.25 c N dy 268 81506 57607 34807 1244751 17469 1699565 4257021 15.54 17.04 --
403.70/403.73 c N dy 286 86744 57606 34807 1244881 22564 1699565 9927118 15.41 18.28 --
405.69/405.74 c F st 291 87501 57605 34807 1244902 23298 1699565 11364200 15.45 9.15 --
406.19/406.26 c Replacing 33 vars Replaced 9037 lits Time: 0.47 s
417.69/417.70 c N dy 297 92706 57573 34800 1242794 28341 1698969 16945006 15.45 no data --
426.70/426.76 c N dy 306 99210 57572 34800 1242986 22645 1698969 3900510 15.12 16.05 --
449.09/449.15 c S st 321 104820 57563 34800 1243098 28119 1698969 7846353 14.95 12.68 --
449.90/449.92 c S st 321 105324 57563 34800 1243148 28572 1698969 7919059 14.95 no data --
449.90/449.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
449.99/450.04 c Cache BProp: 4466 Set: 0 BXProp: 0 T: 0.06
464.39/464.43 c Flit: 192 Blit: 83 bXBeca: 0 bXProp: 20 Bins: 108673 BRemL: 1 BRemN: 473 P: 200.0M T: 14.36
464.39/464.43 c Cleaning up after failed var search: 0.00 s
464.69/464.71 c Replacing 21 vars Replaced 5783 lits Time: 0.28 s
465.19/465.24 c bin-w-bin subsume rem 121 bins time: 0.14 s
466.79/466.88 c subs with bin: 1 lits-rem: 186 v-fix: 0 time: 1.64 s
467.19/467.26 c Subs w/ non-existent bins: 14 l-rem: 724 v-fix: 0 done: 1488 time: 0.38 s
467.40/467.48 c Removed useless bin: 5773 fixed: 0 props: 20.01M time: 0.21 s
479.61/479.62 c lits-rem: 214 cl-subs: 315 v-elim: 0 v-fix: 0 time: 12.14 s
479.70/479.72 c vivif2 -- cl tried 34555 cl shrink 26 lits rem 266 time: 0.11
480.39/480.49 c vivif2 -- cl tried 28158 cl shrink 6807 lits rem 1648497 time: 0.76
480.79/480.83 c asymm cl-useful: 25/606/34554 lits-rem:224 time: 0.33
481.59/481.60 c calculated reachability. Time: 0.74
481.59/481.60 c N dy 321 105324 57217 34554 1311912 28008 1672328 6299306 14.95 no data --
483.79/483.80 c Finding binary XORs T: 2.20 s found: 70
512.29/512.37 c N dy 343 113312 57208 34554 1312087 23173 1672328 3347137 14.77 15.68 --
546.09/546.12 c N dy 358 120586 57200 34554 1312223 30283 1672328 7340306 14.53 15.34 --
564.39/564.42 c N dy 383 130576 57196 34554 1312410 26225 1672328 3523113 14.31 15.38 --
585.89/585.96 c N dy 410 138925 57193 34554 1312607 34354 1672328 8402934 14.12 15.04 --
603.80/603.86 c N dy 442 147896 57190 34554 1312827 28423 1672328 3090982 14.03 14.88 --
625.80/625.81 c N dy 475 157402 57186 34554 1313042 37698 1672328 9038308 13.89 15.32 --
626.39/626.49 c S st 477 157986 57186 34554 1313057 38266 1672328 9193762 13.88 no data --
627.00/627.08 c S st 477 158488 57184 34554 1313083 38739 1672328 9276615 13.88 no data --
627.09/627.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
627.19/627.21 c Cache BProp: 2620 Set: 1 BXProp: 0 T: 0.07
638.09/638.10 c Flit: 87 Blit: 17 bXBeca: 0 bXProp: 0 Bins: 65188 BRemL: 2 BRemN: 386 P: 200.1M T: 10.84
638.09/638.10 c Cleaning up after failed var search: 0.00 s
638.39/638.46 c Replacing 70 vars Replaced 23571 lits Time: 0.36 s
639.00/639.05 c bin-w-bin subsume rem 393 bins time: 0.15 s
640.60/640.65 c subs with bin: 31 lits-rem: 477 v-fix: 0 time: 1.60 s
640.80/640.86 c Subs w/ non-existent bins: 4 l-rem: 290 v-fix: 0 done: 305 time: 0.21 s
641.10/641.10 c Removed useless bin: 28265 fixed: 0 props: 20.00M time: 0.24 s
666.40/666.40 c lits-rem: 126 cl-subs: 501 v-elim: 15 v-fix: 0 time: 25.30 s
666.50/666.52 c vivif2 -- cl tried 34494 cl shrink 34 lits rem 279 time: 0.12
667.50/667.51 c vivif2 -- cl tried 38134 cl shrink 8311 lits rem 1784322 time: 0.99
667.80/667.89 c asymm cl-useful: 13/784/34493 lits-rem:41 time: 0.38
668.71/668.78 c calculated reachability. Time: 0.86
668.71/668.78 c N dy 477 158488 56994 34493 1342383 37885 1609536 7489477 13.88 no data --
671.30/671.35 c Finding binary XORs T: 2.56 s found: 20
690.81/690.84 c N dy 505 168748 56992 34493 1342562 32329 1609536 3857740 13.74 14.49 --
721.20/721.29 c N dy 539 180293 56988 34493 1342766 43635 1609536 10157113 13.61 14.39 --
751.60/751.61 c N dy 590 192744 56985 34493 1343049 39266 1609536 6513878 13.60 14.38 --
782.20/782.22 c N dy 638 207174 56981 34493 1343257 53455 1609536 13753483 13.52 14.38 --
823.80/823.82 c N dy 670 220546 56979 34493 1343454 49296 1609536 8988489 13.38 14.14 --
858.29/858.34 c N dy 703 237733 56978 34493 1343677 47728 1609536 6096306 13.15 6.88 --
858.29/858.34 c S st 703 237733 56978 34493 1343677 47728 1609536 6096306 13.15 6.88 --
859.00/859.06 c S st 703 238234 56978 34493 1343699 48204 1609536 6148663 13.15 no data --
859.11/859.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
859.11/859.19 c Cache BProp: 2245 Set: 3 BXProp: 0 T: 0.08
869.80/869.90 c Flit: 109 Blit: 20 bXBeca: 0 bXProp: 13 Bins: 52875 BRemL: 1 BRemN: 355 P: 200.0M T: 10.68
869.90/869.90 c Cleaning up after failed var search: 0.00 s
870.11/870.17 c Replacing 33 vars Replaced 11046 lits Time: 0.27 s
870.60/870.60 c bin-w-bin subsume rem 110 bins time: 0.15 s
872.21/872.27 c subs with bin: 47 lits-rem: 480 v-fix: 0 time: 1.67 s
872.60/872.66 c Subs w/ non-existent bins: 18 l-rem: 1013 v-fix: 0 done: 1300 time: 0.39 s
872.90/872.91 c Removed useless bin: 12743 fixed: 0 props: 20.02M time: 0.24 s
888.30/888.38 c lits-rem: 172 cl-subs: 558 v-elim: 10 v-fix: 0 time: 15.48 s
888.50/888.51 c vivif2 -- cl tried 34416 cl shrink 42 lits rem 290 time: 0.12
889.30/889.37 c vivif2 -- cl tried 47455 cl shrink 5822 lits rem 582589 time: 0.86
889.70/889.71 c asymm cl-useful: 8/441/34416 lits-rem:59 time: 0.34
890.60/890.66 c calculated reachability. Time: 0.91
890.60/890.66 c N dy 703 238234 56781 34413 1369778 47300 1575328 5582054 13.15 no data --
893.40/893.42 c Finding binary XORs T: 2.76 s found: 31
940.10/940.16 c N dy 757 253997 56777 34413 1369998 62794 1575328 16908925 13.05 13.84 --
980.50/980.53 c N dy 809 270701 56768 34413 1370281 59383 1575328 14078072 12.95 13.81 --
1024.20/1024.28 c N dy 895 288345 56751 34413 1370512 56469 1575328 9500942 13.01 13.77 --
1073.41/1073.41 c F st 982 306251 56748 34413 1370699 52685 1575328 4626027 13.05 10.77 --
1073.51/1073.55 c Replacing 31 vars Replaced 7771 lits Time: 0.10 s
1074.51/1074.54 c N st 984 306876 56717 34395 1368262 53244 1573905 4933212 13.05 no data --
1126.80/1126.85 c N dy 1061 327080 56712 34395 1368566 73081 1573905 16677612 13.06 13.84 --
1172.51/1172.53 c N dy 1140 347143 56709 34395 1368771 70739 1573905 12317437 13.03 20.58 --
1198.70/1198.74 c S st 1180 357352 56709 34395 1368867 57273 1573905 3543511 13.03 12.83 --
1199.60/1199.63 c S st 1180 357855 56709 34395 1368885 57758 1573905 3633929 13.03 no data --
1199.60/1199.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
1199.70/1199.76 c Cache BProp: 1999 Set: 7 BXProp: 0 T: 0.08
1212.81/1212.88 c Flit: 114 Blit: 49 bXBeca: 0 bXProp: 3 Bins: 40792 BRemL: 2 BRemN: 275 P: 200.1M T: 13.06
1212.81/1212.88 c Cleaning up after failed var search: 0.00 s
1212.91/1212.98 c Replacing 4 vars Replaced 967 lits Time: 0.10 s
1213.32/1213.31 c bin-w-bin subsume rem 202 bins time: 0.16 s
1214.91/1214.96 c subs with bin: 48 lits-rem: 647 v-fix: 0 time: 1.65 s
1215.61/1215.61 c Subs w/ non-existent bins: 15 l-rem: 413 v-fix: 0 done: 3982 time: 0.65 s
1215.81/1215.86 c Removed useless bin: 5544 fixed: 0 props: 20.01M time: 0.24 s
1218.61/1218.69 c lits-rem: 1277 cl-subs: 738 v-elim: 1 v-fix: 0 time: 2.83 s
1218.82/1218.83 c vivif2 -- cl tried 34316 cl shrink 15 lits rem 151 time: 0.14
1219.70/1219.76 c vivif2 -- cl tried 56843 cl shrink 4960 lits rem 117961 time: 0.93
1220.10/1220.19 c asymm cl-useful: 5/446/34316 lits-rem:5 time: 0.43
1221.20/1221.27 c calculated reachability. Time: 1.04
1221.20/1221.27 c N dy 1180 357855 56526 34316 1396398 56320 1557081 3547479 13.03 no data --
1224.32/1224.35 c Finding binary XORs T: 3.08 s found: 23
1272.81/1272.85 c N dy 1220 379220 56520 34316 1396597 77394 1557081 12811027 12.85 13.77 --
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-3370659-1305380473/watcher-3370659-1305380473 -o /tmp/evaluation-result-3370659-1305380473/solver-3370659-1305380473 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370659-1305380473.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: 3.93 3.95 3.01 4/328 5426
/proc/meminfo: memFree=23493980/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=11796 CPUtime=0 cores=0,2
/proc/5426/stat : 5426 (runsolver) R 5424 5426 5193 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 1 0 382238723 12079104 50 33554432000 4194304 5432360 140735725848528 18446744073709551615 4881623 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/5426/statm: 2949 50 30 303 0 2643 0
[startup+0.021627 s]
/proc/loadavg: 3.93 3.95 3.01 4/328 5426
/proc/meminfo: memFree=23493980/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=31352 CPUtime=0 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 1149 0 0 0 0 0 0 0 22 0 1 0 382238723 32104448 991 33554432000 4194304 4650387 140737258450224 18446744073709551615 4545851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 7838 991 329 112 0 2803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31352
[startup+0.100613 s]
/proc/loadavg: 3.93 3.95 3.01 4/328 5426
/proc/meminfo: memFree=23493980/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=45572 CPUtime=0.08 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 4110 0 0 0 8 0 0 0 23 0 1 0 382238723 46665728 3534 33554432000 4194304 4650387 140737258450224 18446744073709551615 4361539 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 11393 3555 330 112 0 6358 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45572
[startup+0.300603 s]
/proc/loadavg: 3.93 3.95 3.01 4/328 5426
/proc/meminfo: memFree=23493980/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=75508 CPUtime=0.28 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 13329 0 0 0 26 2 0 0 24 0 1 0 382238723 77320192 11117 33554432000 4194304 4650387 140737258450224 18446744073709551615 4520290 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 18877 11118 330 112 0 13842 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 75508
[startup+0.700505 s]
/proc/loadavg: 3.93 3.95 3.01 4/328 5426
/proc/meminfo: memFree=23493980/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=107500 CPUtime=0.68 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 19118 0 0 0 65 3 0 0 25 0 1 0 382238723 110080000 16857 33554432000 4194304 4650387 140737258450224 18446744073709551615 4511517 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 26875 16857 350 112 0 21840 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 107500
[startup+1.5004 s]
/proc/loadavg: 3.93 3.95 3.01 5/329 5427
/proc/meminfo: memFree=23411636/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=147760 CPUtime=1.48 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 28733 0 0 0 144 4 0 0 25 0 1 0 382238723 151306240 25832 33554432000 4194304 4650387 140737258450224 18446744073709551615 4370273 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 36940 25832 354 112 0 31905 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 147760
[startup+3.10108 s]
/proc/loadavg: 3.93 3.95 3.01 5/329 5427
/proc/meminfo: memFree=23360928/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=235296 CPUtime=3.08 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 44859 0 0 0 302 6 0 0 25 0 1 0 382238723 240943104 41958 33554432000 4194304 4650387 140737258450224 18446744073709551615 4370979 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 58824 41958 354 112 0 53789 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 235296
[startup+6.30055 s]
/proc/loadavg: 3.93 3.95 3.02 5/329 5428
/proc/meminfo: memFree=23057004/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=443204 CPUtime=6.28 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 84410 0 0 0 615 13 0 0 25 0 1 0 382238723 453840896 81509 33554432000 4194304 4650387 140737258450224 18446744073709551615 4370232 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 110801 81509 354 112 0 105766 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 443204
[startup+12.7004 s]
/proc/loadavg: 4.10 3.98 3.04 5/327 5458
/proc/meminfo: memFree=23218436/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=532468 CPUtime=12.68 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 103942 0 0 0 1253 15 0 0 25 0 1 0 382238723 545247232 101041 33554432000 4194304 4650387 140737258450224 18446744073709551615 4334299 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 133117 101041 379 112 0 128082 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 532468
[startup+25.5011 s]
/proc/loadavg: 4.08 3.98 3.05 5/329 5482
/proc/meminfo: memFree=21694420/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=587256 CPUtime=25.48 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 113386 0 0 0 2531 17 0 0 25 0 1 0 382238723 601350144 110485 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315158 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 146814 110485 379 112 0 141779 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 587256
[startup+51.1006 s]
/proc/loadavg: 4.05 3.98 3.07 5/329 5483
/proc/meminfo: memFree=21112328/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=628024 CPUtime=51.08 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 132263 0 0 0 5087 21 0 0 25 0 1 0 382238723 643096576 119804 33554432000 4194304 4650387 140737258450224 18446744073709551615 4364463 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 157006 119804 381 112 0 151971 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 628024
[startup+102.312 s]
/proc/loadavg: 3.97 3.97 3.11 5/329 5539
/proc/meminfo: memFree=21946628/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=657120 CPUtime=102.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 161294 0 0 0 10204 25 0 0 25 0 1 0 382238723 672890880 121056 33554432000 4194304 4650387 140737258450224 18446744073709551615 4231007 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 164280 121056 383 112 0 159245 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 657120
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.17 5/329 5541
/proc/meminfo: memFree=20675760/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1232312 CPUtime=162.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 298907 0 0 0 16185 44 0 0 25 0 1 0 382238723 1261887488 249167 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 308078 249167 383 112 0 303043 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1232312
[startup+222.3 s]
/proc/loadavg: 4.04 3.99 3.22 5/329 5542
/proc/meminfo: memFree=20435580/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1539568 CPUtime=222.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 361235 0 0 0 22175 54 0 0 25 0 1 0 382238723 1576517632 311495 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 384892 311495 383 112 0 379857 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1539568
[startup+282.301 s]
/proc/loadavg: 4.13 4.02 3.28 5/329 5544
/proc/meminfo: memFree=19909824/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1550312 CPUtime=282.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 369838 0 0 0 28173 56 0 0 25 0 1 0 382238723 1587519488 308059 33554432000 4194304 4650387 140737258450224 18446744073709551615 4314842 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 387578 308059 383 112 0 382543 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1550312
[startup+342.3 s]
/proc/loadavg: 4.15 4.04 3.33 5/329 5545
/proc/meminfo: memFree=19891600/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1562544 CPUtime=342.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 377761 0 0 0 34171 58 0 0 25 0 1 0 382238723 1600045056 309634 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 390636 309634 383 112 0 385601 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1562544
[startup+402.301 s]
/proc/loadavg: 4.05 4.03 3.37 5/329 5547
/proc/meminfo: memFree=19596776/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1741052 CPUtime=402.28 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 428511 0 0 0 40163 65 0 0 25 0 1 0 382238723 1782837248 350510 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315528 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 435263 350510 383 112 0 430228 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1741052
[startup+462.301 s]
/proc/loadavg: 4.02 4.02 3.41 5/329 5576
/proc/meminfo: memFree=18917584/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1872692 CPUtime=462.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 467399 0 0 0 46157 72 0 0 25 0 1 0 382238723 1917636608 375588 33554432000 4194304 4650387 140737258450224 18446744073709551615 4370490 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 468173 375588 383 112 0 463138 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1872692
[startup+522.301 s]
/proc/loadavg: 4.09 4.05 3.45 5/329 5577
/proc/meminfo: memFree=18863304/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1873712 CPUtime=522.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 491653 0 0 0 52154 75 0 0 25 0 1 0 382238723 1918681088 386526 33554432000 4194304 4650387 140737258450224 18446744073709551615 4314845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 468428 386526 383 112 0 463393 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1873712
[startup+582.301 s]
/proc/loadavg: 4.07 4.05 3.49 5/329 5579
/proc/meminfo: memFree=18815928/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=1936032 CPUtime=582.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 506863 0 0 0 58152 77 0 0 25 0 1 0 382238723 1982496768 389824 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 484008 389824 383 112 0 478973 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1936032
[startup+642.3 s]
/proc/loadavg: 4.08 4.06 3.52 5/329 5581
/proc/meminfo: memFree=18484516/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2178484 CPUtime=642.3 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 570710 0 0 0 64145 85 0 0 25 0 1 0 382238723 2230767616 441770 33554432000 4194304 4650387 140737258450224 18446744073709551615 4476470 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 544621 441770 383 112 0 539586 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 2178484
[startup+702.301 s]
/proc/loadavg: 4.03 4.04 3.55 5/329 5582
/proc/meminfo: memFree=18098580/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2180000 CPUtime=702.3 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 585704 0 0 0 70142 88 0 0 25 0 1 0 382238723 2232320000 439274 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315980 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 545000 439274 383 112 0 539965 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 2180000
[startup+762.312 s]
/proc/loadavg: 4.01 4.03 3.57 5/329 5584
/proc/meminfo: memFree=18024688/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2183056 CPUtime=762.31 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 601621 0 0 0 76139 92 0 0 25 0 1 0 382238723 2235449344 442381 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315533 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 545764 442381 383 112 0 540729 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 2183056
[startup+822.301 s]
/proc/loadavg: 4.00 4.02 3.60 5/329 5585
/proc/meminfo: memFree=18019240/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2186744 CPUtime=822.29 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 615025 0 0 0 82134 95 0 0 25 0 1 0 382238723 2239225856 442520 33554432000 4194304 4650387 140737258450224 18446744073709551615 4314877 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 546686 442520 383 112 0 541651 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 2186744
[startup+882.301 s]
/proc/loadavg: 4.13 4.05 3.63 5/329 5590
/proc/meminfo: memFree=17876880/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2313016 CPUtime=882.3 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 651184 0 0 0 88129 101 0 0 25 0 1 0 382238723 2368528384 465948 33554432000 4194304 4650387 140737258450224 18446744073709551615 4476172 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 578254 465948 383 112 0 573219 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2313016
[startup+942.3 s]
/proc/loadavg: 4.08 4.05 3.65 5/329 5591
/proc/meminfo: memFree=17438880/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2248124 CPUtime=942.3 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 668105 0 0 0 94125 105 0 0 25 0 1 0 382238723 2302078976 463541 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315048 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 562031 463541 383 112 0 556996 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 2248124
[startup+1002.3 s]
/proc/loadavg: 4.03 4.04 3.67 5/329 5593
/proc/meminfo: memFree=17400300/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2251888 CPUtime=1002.3 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 686360 0 0 0 100120 110 0 0 25 0 1 0 382238723 2305933312 464263 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315472 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 562972 464263 383 112 0 557937 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2251888
[startup+1062.3 s]
/proc/loadavg: 4.01 4.03 3.69 5/329 5595
/proc/meminfo: memFree=17330960/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2254644 CPUtime=1062.31 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 703701 0 0 0 106117 114 0 0 25 0 1 0 382238723 2308755456 464920 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 563661 464920 383 112 0 558626 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2254644
[startup+1122.3 s]
/proc/loadavg: 4.05 4.04 3.71 5/329 5596
/proc/meminfo: memFree=17247604/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2320344 CPUtime=1122.31 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 715263 0 0 0 112114 117 0 0 25 0 1 0 382238723 2376032256 476482 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315098 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 580086 476482 383 112 0 575051 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2320344
[startup+1182.3 s]
/proc/loadavg: 4.09 4.04 3.73 5/329 5598
/proc/meminfo: memFree=16545436/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2323192 CPUtime=1182.31 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 731191 0 0 0 118110 121 0 0 25 0 1 0 382238723 2378948608 475754 33554432000 4194304 4650387 140737258450224 18446744073709551615 4334252 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 580798 475754 383 112 0 575763 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2323192
[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 3.75 5/329 5608
/proc/meminfo: memFree=16343988/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2517844 CPUtime=1242.31 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 780753 0 0 0 124102 129 0 0 25 0 1 0 382238723 2578272256 509217 33554432000 4194304 4650387 140737258450224 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 629461 509217 383 112 0 624426 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2517844
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.01 4.02 3.76 5/329 5610
/proc/meminfo: memFree=16381276/32951124 swapFree=46575252/67111528
[pid=5426] ppid=5424 vsize=2452428 CPUtime=1300.01 cores=0,2
/proc/5426/stat : 5426 (strangenight1-s) R 5424 5426 5193 0 -1 4202496 793135 0 0 0 129869 132 0 0 25 0 1 0 382238723 2511286272 505728 33554432000 4194304 4650387 140737258450224 18446744073709551615 4315087 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5426/statm: 613107 505728 383 112 0 608072 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 2452428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.1
CPU time (s): 1300.12
CPU user time (s): 1298.7
CPU system time (s): 1.41678
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2517844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.7
system time used= 1.41678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793138
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= 8
involuntary context switches= 15196
runsolver used 4.16537 second user time and 8.86965 second system time
The end
Begin job on node107 at 2011-05-14 15:41:15
IDJOB=3370659
IDBENCH=82379
IDSOLVER=1847
FILE ID=node107/3370659-1305380473
RUNJOBID= node107-1305379157-5211
PBS_JOBID= 13324395
Free space on /tmp= 73356 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370659-1305380473/watcher-3370659-1305380473 -o /tmp/evaluation-result-3370659-1305380473/solver-3370659-1305380473 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370659-1305380473.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 6ed645315c9ffb8177453b955fbe1737
RANDOM SEED=1028029946
node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5359.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 23494260 kB
Buffers: 292620 kB
Cached: 3948248 kB
SwapCached: 10016 kB
Active: 6756836 kB
Inactive: 2403256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 23494260 kB
SwapTotal: 67111528 kB
SwapFree: 46575252 kB
Dirty: 79100 kB
Writeback: 0 kB
AnonPages: 4916720 kB
Mapped: 20280 kB
Slab: 161552 kB
PageTables: 70692 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 65750720 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= 73256 MiB
End job on node107 at 2011-05-14 16:02:57