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-3285335-1303765508.cnf'
0.00/0.00 c -- header says num vars: 109684
0.00/0.00 c -- header says num clauses: 1767096
0.29/0.39 c -- clauses added: 0 learnts, 1767096 normals, 0 xors
0.29/0.39 c -- vars added 109684
0.29/0.39 c Parsing time: 0.36 s
0.29/0.39 c N st 0 0 109684 49482 1343956 0 3185745 0 no data no data --
0.59/0.67 c asymm cl-useful: 448/1003/41328 lits-rem:19508 time: 0.27
6.99/7.09 c Flit: 263 Blit: 9075 bXBeca: 0 bXProp: 503 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 6.28
7.09/7.12 c Cleaning up after failed var search: 0.03 s
7.09/7.16 c Replacing 503 vars Replaced 29209 lits Time: 0.04 s
7.19/7.29 c bin-w-bin subsume rem 734 bins time: 0.08 s
7.39/7.48 c subs with bin: 33 lits-rem: 151 v-fix: 0 time: 0.19 s
10.59/10.68 c Subs w/ non-existent bins: 36 l-rem: 643 v-fix: 384 done: 33487 time: 3.19 s
10.79/10.86 c Removed useless bin: 11984 fixed: 0 props: 20.01M time: 0.18 s
11.09/11.15 c lits-rem: 0 cl-subs: 80 v-elim: 13 v-fix: 0 time: 0.29 s
11.69/11.72 c Finding binary XORs T: 0.57 s found: 221
11.69/11.76 c Replacing 221 vars Replaced 9351 lits Time: 0.04 s
11.89/11.98 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
11.89/11.98 c calculated reachability. Time: 0.18
11.89/11.99 c Calc default polars - time: 0.01 s pos: 2101 undec: 48788 neg: 58795
11.89/11.99 c =========================================================================================
11.89/11.99 c types(t): F = full restart, N = normal restart
11.89/11.99 c types(t): S = simplification begin/end, E = solution found
11.89/11.99 c restart types(rt): st = static, dy = dynamic
11.89/11.99 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
11.89/11.99 c B st 0 0 60902 36167 794055 0 1916150 0 no data no data --
20.59/20.68 c N dy 20 4071 60900 36167 794216 3893 1916150 5039043 17.94 20.00 --
29.09/29.15 c N dy 46 8120 60898 36167 794312 7833 1916150 9155524 21.15 22.41 --
37.70/37.74 c N dy 63 12429 60896 36167 794439 8021 1916150 5423052 21.29 22.74 --
49.89/49.98 c N dy 76 16596 60895 36167 794564 12051 1916150 11808271 20.08 21.84 --
61.80/61.81 c N dy 95 20671 60895 36167 794631 9590 1916150 4822667 19.98 25.11 --
70.60/70.62 c N dy 120 24753 60894 36167 794736 13557 1916150 9725573 20.07 22.20 --
71.30/71.37 c F st 123 25000 60894 36167 794742 13797 1916150 10277763 20.14 no data --
92.90/92.92 c N dy 129 30000 60892 36164 794690 10477 1915813 3803097 20.14 no data --
92.90/92.92 c S st 129 30000 60892 36164 794690 10477 1915813 3803097 20.14 no data --
93.40/93.49 c S st 129 30500 60891 36164 794738 10927 1915813 3895530 20.14 no data --
93.50/93.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
93.50/93.56 c Cache BProp: 7085 Set: 105 BXProp: 0 T: 0.03
121.69/121.75 c Flit: 359 Blit: 1492 bXBeca: 0 bXProp: 123 Bins: 245229 BRemL: 1072 BRemN: 1949 P: 200.0M T: 28.06
121.69/121.79 c Cleaning up after failed var search: 0.04 s
121.89/121.93 c Replacing 123 vars Replaced 12664 lits Time: 0.13 s
122.30/122.35 c bin-w-bin subsume rem 539 bins time: 0.09 s
123.80/123.87 c subs with bin: 2 lits-rem: 11 v-fix: 0 time: 1.52 s
124.00/124.03 c Subs w/ non-existent bins: 1 l-rem: 308 v-fix: 6 done: 742 time: 0.17 s
124.20/124.25 c Removed useless bin: 20923 fixed: 0 props: 20.01M time: 0.21 s
125.50/125.56 c lits-rem: 108 cl-subs: 291 v-elim: 1 v-fix: 0 time: 1.31 s
125.80/125.88 c asymm cl-useful: 62/479/35285 lits-rem:631 time: 0.32
126.30/126.39 c calculated reachability. Time: 0.49
126.30/126.39 c N dy 129 30500 58716 35285 970149 10589 1790910 4192280 20.14 no data --
127.80/127.81 c Finding binary XORs T: 1.41 s found: 59
140.59/140.60 c N dy 136 34516 58704 35285 970377 14358 1790910 7864819 18.94 21.47 --
156.40/156.49 c N dy 151 39679 58703 35285 970512 9910 1790910 1479346 18.28 20.36 --
166.50/166.53 c N dy 164 43981 58702 35285 970701 14013 1790910 4723941 17.67 19.07 --
180.90/180.93 c S st 167 45751 58702 35285 970785 15694 1790910 6390584 17.46 14.58 --
181.60/181.66 c S st 167 46251 58702 35285 970822 16157 1790910 6500926 17.46 no data --
181.70/181.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
181.70/181.76 c Cache BProp: 6380 Set: 7 BXProp: 0 T: 0.05
199.60/199.60 c Flit: 263 Blit: 337 bXBeca: 0 bXProp: 35 Bins: 177232 BRemL: 18 BRemN: 421 P: 200.1M T: 17.78
199.60/199.65 c Cleaning up after failed var search: 0.05 s
199.90/199.94 c Replacing 94 vars Replaced 13318 lits Time: 0.29 s
200.40/200.43 c bin-w-bin subsume rem 165 bins time: 0.12 s
202.00/202.01 c subs with bin: 0 lits-rem: 33 v-fix: 0 time: 1.58 s
202.10/202.16 c Subs w/ non-existent bins: 1 l-rem: 232 v-fix: 0 done: 90 time: 0.15 s
202.30/202.37 c Removed useless bin: 20722 fixed: 0 props: 20.00M time: 0.21 s
204.50/204.54 c lits-rem: 121 cl-subs: 229 v-elim: 0 v-fix: 0 time: 2.17 s
204.60/204.63 c vivif2 -- cl tried 35026 cl shrink 273 lits rem 2568 time: 0.09
205.09/205.14 c vivif2 -- cl tried 15839 cl shrink 4700 lits rem 1090256 time: 0.50
205.39/205.47 c asymm cl-useful: 136/695/34992 lits-rem:2028 time: 0.33
205.99/206.09 c calculated reachability. Time: 0.60
205.99/206.09 c N dy 167 46251 57998 34992 1111057 15636 1720808 5584450 17.46 no data --
207.80/207.82 c Finding binary XORs T: 1.73 s found: 35
240.91/240.92 c N dy 177 50315 57986 34992 1111165 19569 1720808 9436411 17.02 18.06 --
256.60/256.67 c N dy 187 54399 57982 34992 1111303 13089 1720808 2562251 16.65 18.05 --
274.91/274.94 c N dy 197 58513 57977 34992 1111471 17024 1720808 5259369 16.29 17.37 --
316.10/316.10 c N dy 213 62529 57976 34992 1111580 20918 1720808 8247687 16.11 17.00 --
330.70/330.71 c N dy 234 66981 57976 34992 1111682 14716 1720808 2741085 16.28 17.21 --
339.30/339.31 c S st 245 69376 57974 34992 1111738 17049 1720808 4697708 16.21 10.40 --
339.91/339.93 c S st 245 69880 57974 34992 1111766 17525 1720808 4787286 16.21 no data --
339.91/339.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
340.00/340.03 c Cache BProp: 5812 Set: 0 BXProp: 0 T: 0.06
356.51/356.59 c Flit: 182 Blit: 92 bXBeca: 0 bXProp: 31 Bins: 151277 BRemL: 0 BRemN: 480 P: 200.0M T: 16.52
356.51/356.59 c Cleaning up after failed var search: 0.00 s
356.70/356.79 c Replacing 67 vars Replaced 11364 lits Time: 0.20 s
357.10/357.15 c bin-w-bin subsume rem 222 bins time: 0.13 s
358.80/358.81 c subs with bin: 0 lits-rem: 4 v-fix: 0 time: 1.66 s
359.10/359.15 c Subs w/ non-existent bins: 10 l-rem: 370 v-fix: 0 done: 1345 time: 0.33 s
359.30/359.36 c Removed useless bin: 3948 fixed: 0 props: 20.00M time: 0.21 s
361.20/361.23 c lits-rem: 743 cl-subs: 198 v-elim: 0 v-fix: 0 time: 1.88 s
361.30/361.33 c vivif2 -- cl tried 34807 cl shrink 15 lits rem 190 time: 0.10
361.70/361.77 c vivif2 -- cl tried 17263 cl shrink 3056 lits rem 768825 time: 0.43
362.00/362.08 c asymm cl-useful: 14/425/34807 lits-rem:15 time: 0.31
362.70/362.79 c calculated reachability. Time: 0.69
362.80/362.80 c N dy 245 69880 57616 34807 1244371 17126 1699565 4230641 16.21 no data --
364.80/364.80 c Finding binary XORs T: 2.01 s found: 33
376.80/376.86 c N dy 255 75942 57611 34807 1244630 22906 1699565 7568998 15.83 17.76 --
387.51/387.57 c N dy 268 81506 57607 34807 1244751 17469 1699565 4257021 15.54 17.04 --
399.51/399.50 c N dy 286 86744 57606 34807 1244881 22564 1699565 9927118 15.41 18.28 --
401.51/401.58 c F st 291 87501 57605 34807 1244902 23298 1699565 11364200 15.45 9.15 --
402.11/402.10 c Replacing 33 vars Replaced 9037 lits Time: 0.47 s
414.01/414.04 c N dy 297 92706 57573 34800 1242794 28341 1698969 16945006 15.45 no data --
423.01/423.09 c N dy 306 99210 57572 34800 1242986 22645 1698969 3900510 15.12 16.05 --
444.11/444.15 c S st 321 104820 57563 34800 1243098 28119 1698969 7846353 14.95 12.68 --
444.81/444.83 c S st 321 105324 57563 34800 1243148 28572 1698969 7919059 14.95 no data --
444.81/444.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
444.91/444.95 c Cache BProp: 4466 Set: 0 BXProp: 0 T: 0.07
459.61/459.66 c Flit: 192 Blit: 83 bXBeca: 0 bXProp: 20 Bins: 108673 BRemL: 1 BRemN: 473 P: 200.0M T: 14.67
459.61/459.67 c Cleaning up after failed var search: 0.00 s
459.91/459.95 c Replacing 21 vars Replaced 5783 lits Time: 0.28 s
460.51/460.50 c bin-w-bin subsume rem 121 bins time: 0.14 s
462.11/462.14 c subs with bin: 1 lits-rem: 186 v-fix: 0 time: 1.65 s
462.50/462.53 c Subs w/ non-existent bins: 14 l-rem: 724 v-fix: 0 done: 1488 time: 0.38 s
462.70/462.75 c Removed useless bin: 5773 fixed: 0 props: 20.01M time: 0.21 s
474.80/474.87 c lits-rem: 214 cl-subs: 315 v-elim: 0 v-fix: 0 time: 12.12 s
474.90/474.98 c vivif2 -- cl tried 34555 cl shrink 26 lits rem 266 time: 0.11
475.71/475.75 c vivif2 -- cl tried 28158 cl shrink 6807 lits rem 1648497 time: 0.77
476.11/476.11 c asymm cl-useful: 25/606/34554 lits-rem:224 time: 0.35
476.81/476.88 c calculated reachability. Time: 0.74
476.81/476.88 c N dy 321 105324 57217 34554 1311912 28008 1672328 6299306 14.95 no data --
479.01/479.08 c Finding binary XORs T: 2.20 s found: 70
508.11/508.19 c N dy 343 113312 57208 34554 1312087 23173 1672328 3347137 14.77 15.68 --
542.21/542.28 c N dy 358 120586 57200 34554 1312223 30283 1672328 7340306 14.53 15.34 --
560.71/560.76 c N dy 383 130576 57196 34554 1312410 26225 1672328 3523113 14.31 15.38 --
581.92/581.94 c N dy 410 138925 57193 34554 1312607 34354 1672328 8402934 14.12 15.04 --
599.42/599.49 c N dy 442 147896 57190 34554 1312827 28423 1672328 3090982 14.03 14.88 --
623.01/623.07 c N dy 475 157402 57186 34554 1313042 37698 1672328 9038308 13.89 15.32 --
623.81/623.82 c S st 477 157986 57186 34554 1313057 38266 1672328 9193762 13.88 no data --
624.51/624.52 c S st 477 158488 57184 34554 1313083 38739 1672328 9276615 13.88 no data --
624.51/624.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
624.61/624.65 c Cache BProp: 2620 Set: 1 BXProp: 0 T: 0.07
636.31/636.32 c Flit: 87 Blit: 17 bXBeca: 0 bXProp: 0 Bins: 65188 BRemL: 2 BRemN: 386 P: 200.1M T: 11.61
636.31/636.32 c Cleaning up after failed var search: 0.00 s
636.61/636.68 c Replacing 70 vars Replaced 23571 lits Time: 0.36 s
637.32/637.34 c bin-w-bin subsume rem 393 bins time: 0.15 s
638.92/638.99 c subs with bin: 31 lits-rem: 477 v-fix: 0 time: 1.65 s
639.21/639.21 c Subs w/ non-existent bins: 4 l-rem: 290 v-fix: 0 done: 305 time: 0.22 s
639.41/639.47 c Removed useless bin: 28265 fixed: 0 props: 20.00M time: 0.25 s
665.52/665.57 c lits-rem: 126 cl-subs: 501 v-elim: 15 v-fix: 0 time: 26.10 s
665.62/665.69 c vivif2 -- cl tried 34494 cl shrink 34 lits rem 279 time: 0.12
666.72/666.71 c vivif2 -- cl tried 38134 cl shrink 8311 lits rem 1784322 time: 1.01
667.02/667.09 c asymm cl-useful: 13/784/34493 lits-rem:41 time: 0.38
667.92/667.99 c calculated reachability. Time: 0.87
667.92/667.99 c N dy 477 158488 56994 34493 1342383 37885 1609536 7489477 13.88 no data --
670.52/670.53 c Finding binary XORs T: 2.54 s found: 20
690.21/690.26 c N dy 505 168748 56992 34493 1342562 32329 1609536 3857740 13.74 14.49 --
719.82/719.82 c N dy 539 180293 56988 34493 1342766 43635 1609536 10157113 13.61 14.39 --
749.52/749.56 c N dy 590 192744 56985 34493 1343049 39266 1609536 6513878 13.60 14.38 --
779.62/779.65 c N dy 638 207174 56981 34493 1343257 53455 1609536 13753483 13.52 14.38 --
820.42/820.46 c N dy 670 220546 56979 34493 1343454 49296 1609536 8988489 13.38 14.14 --
856.02/856.03 c N dy 703 237733 56978 34493 1343677 47728 1609536 6096306 13.15 6.88 --
856.02/856.03 c S st 703 237733 56978 34493 1343677 47728 1609536 6096306 13.15 6.88 --
857.02/857.05 c S st 703 238234 56978 34493 1343699 48204 1609536 6148663 13.15 no data --
857.12/857.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
857.22/857.20 c Cache BProp: 2245 Set: 3 BXProp: 0 T: 0.08
869.03/869.06 c Flit: 109 Blit: 20 bXBeca: 0 bXProp: 13 Bins: 52875 BRemL: 1 BRemN: 355 P: 200.0M T: 11.83
869.03/869.06 c Cleaning up after failed var search: 0.00 s
869.32/869.33 c Replacing 33 vars Replaced 11046 lits Time: 0.27 s
869.82/869.80 c bin-w-bin subsume rem 110 bins time: 0.15 s
871.42/871.49 c subs with bin: 47 lits-rem: 480 v-fix: 0 time: 1.70 s
871.82/871.89 c Subs w/ non-existent bins: 18 l-rem: 1013 v-fix: 0 done: 1300 time: 0.39 s
872.12/872.14 c Removed useless bin: 12743 fixed: 0 props: 20.02M time: 0.24 s
887.92/887.98 c lits-rem: 172 cl-subs: 558 v-elim: 10 v-fix: 0 time: 15.84 s
888.12/888.11 c vivif2 -- cl tried 34416 cl shrink 42 lits rem 290 time: 0.13
889.03/889.02 c vivif2 -- cl tried 47455 cl shrink 5822 lits rem 582589 time: 0.91
889.43/889.40 c asymm cl-useful: 8/441/34416 lits-rem:59 time: 0.38
890.33/890.36 c calculated reachability. Time: 0.93
890.33/890.37 c N dy 703 238234 56781 34413 1369778 47300 1575328 5582054 13.15 no data --
893.13/893.14 c Finding binary XORs T: 2.78 s found: 31
938.13/938.18 c N dy 757 253997 56777 34413 1369998 62794 1575328 16908925 13.05 13.84 --
977.42/977.44 c N dy 809 270701 56768 34413 1370281 59383 1575328 14078072 12.95 13.81 --
1020.73/1020.71 c N dy 895 288345 56751 34413 1370512 56469 1575328 9500942 13.01 13.77 --
1073.03/1073.00 c F st 982 306251 56748 34413 1370699 52685 1575328 4626027 13.05 10.77 --
1073.13/1073.15 c Replacing 31 vars Replaced 7771 lits Time: 0.11 s
1074.23/1074.29 c N st 984 306876 56717 34395 1368262 53244 1573905 4933212 13.05 no data --
1125.73/1125.79 c N dy 1061 327080 56712 34395 1368566 73081 1573905 16677612 13.06 13.84 --
1169.23/1169.25 c N dy 1140 347143 56709 34395 1368771 70739 1573905 12317437 13.03 20.58 --
1193.63/1193.62 c S st 1180 357352 56709 34395 1368867 57273 1573905 3543511 13.03 12.83 --
1194.43/1194.44 c S st 1180 357855 56709 34395 1368885 57758 1573905 3633929 13.03 no data --
1194.43/1194.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
1194.54/1194.57 c Cache BProp: 1999 Set: 7 BXProp: 0 T: 0.08
1206.84/1206.86 c Flit: 114 Blit: 49 bXBeca: 0 bXProp: 3 Bins: 40792 BRemL: 2 BRemN: 275 P: 200.1M T: 12.23
1206.84/1206.86 c Cleaning up after failed var search: 0.00 s
1206.93/1206.97 c Replacing 4 vars Replaced 967 lits Time: 0.10 s
1207.23/1207.26 c bin-w-bin subsume rem 202 bins time: 0.15 s
1208.94/1208.91 c subs with bin: 48 lits-rem: 647 v-fix: 0 time: 1.64 s
1209.43/1209.45 c Subs w/ non-existent bins: 15 l-rem: 413 v-fix: 0 done: 3982 time: 0.55 s
1209.63/1209.68 c Removed useless bin: 5544 fixed: 0 props: 20.01M time: 0.23 s
1212.53/1212.54 c lits-rem: 1277 cl-subs: 738 v-elim: 1 v-fix: 0 time: 2.86 s
1212.63/1212.68 c vivif2 -- cl tried 34316 cl shrink 15 lits rem 151 time: 0.14
1213.53/1213.58 c vivif2 -- cl tried 56843 cl shrink 4960 lits rem 117961 time: 0.90
1213.93/1213.93 c asymm cl-useful: 5/446/34316 lits-rem:5 time: 0.35
1214.93/1214.98 c calculated reachability. Time: 1.02
1214.93/1214.98 c N dy 1180 357855 56526 34316 1396398 56320 1557081 3547479 13.03 no data --
1218.03/1218.07 c Finding binary XORs T: 3.09 s found: 23
1263.34/1263.35 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: 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-3285335-1303765508/watcher-3285335-1303765508 -o /tmp/evaluation-result-3285335-1303765508/solver-3285335-1303765508 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3285335-1303765508.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.54 3.89 3.63 4/183 23747
/proc/meminfo: memFree=21719832/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=31356 CPUtime=0 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 1151 0 0 0 0 0 0 0 21 0 1 0 488153263 32108544 992 33554432000 4194304 4650387 140737200386864 18446744073709551615 4545696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 7839 992 329 112 0 2804 0
[startup+0.041583 s]
/proc/loadavg: 3.54 3.89 3.63 4/183 23747
/proc/meminfo: memFree=21719832/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=35872 CPUtime=0.03 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 2412 0 0 0 3 0 0 0 21 0 1 0 488153263 36732928 1863 33554432000 4194304 4650387 140737200386864 18446744073709551615 4373824 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 8968 1863 330 112 0 3933 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 35872
[startup+0.100587 s]
/proc/loadavg: 3.54 3.89 3.63 4/183 23747
/proc/meminfo: memFree=21719832/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=45196 CPUtime=0.08 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 4851 0 0 0 8 0 0 0 21 0 1 0 488153263 46280704 3755 33554432000 4194304 4650387 140737200386864 18446744073709551615 212435677893 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 11299 3756 330 112 0 6264 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45196
[startup+0.300532 s]
/proc/loadavg: 3.54 3.89 3.63 4/183 23747
/proc/meminfo: memFree=21719832/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=76832 CPUtime=0.29 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 13890 0 0 0 27 2 0 0 22 0 1 0 488153263 78675968 11669 33554432000 4194304 4650387 140737200386864 18446744073709551615 4305871 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 19208 11669 330 112 0 14173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76832
[startup+0.700458 s]
/proc/loadavg: 3.54 3.89 3.63 4/183 23747
/proc/meminfo: memFree=21719832/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=101008 CPUtime=0.69 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 19599 0 0 0 66 3 0 0 23 0 1 0 488153263 103432192 16697 33554432000 4194304 4650387 140737200386864 18446744073709551615 4245055 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 25252 16697 354 112 0 20217 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101008
[startup+1.50033 s]
/proc/loadavg: 3.65 3.91 3.64 5/183 23749
/proc/meminfo: memFree=21484724/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=149332 CPUtime=1.49 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 29005 0 0 0 144 5 0 0 25 0 1 0 488153263 152915968 26103 33554432000 4194304 4650387 140737200386864 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 37333 26103 354 112 0 32298 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149332
[startup+3.10103 s]
/proc/loadavg: 3.65 3.91 3.64 5/190 23760
/proc/meminfo: memFree=20999200/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=238436 CPUtime=3.09 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 45423 0 0 0 302 7 0 0 25 0 1 0 488153263 244158464 42521 33554432000 4194304 4650387 140737200386864 18446744073709551615 4369344 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 59609 42521 354 112 0 54574 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 238436
[startup+6.30041 s]
/proc/loadavg: 3.65 3.91 3.64 5/190 23760
/proc/meminfo: memFree=20175056/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=459276 CPUtime=6.29 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 87332 0 0 0 614 15 0 0 25 0 1 0 488153263 470298624 84430 33554432000 4194304 4650387 140737200386864 18446744073709551615 4244897 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 114819 84430 354 112 0 109784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 459276
[startup+12.7002 s]
/proc/loadavg: 3.78 3.93 3.65 5/190 23760
/proc/meminfo: memFree=19354208/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=532472 CPUtime=12.69 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 104035 0 0 0 1253 16 0 0 25 0 1 0 488153263 545251328 101133 33554432000 4194304 4650387 140737200386864 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 133118 101133 379 112 0 128083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 532472
[startup+25.5008 s]
/proc/loadavg: 3.81 3.93 3.65 5/190 23761
/proc/meminfo: memFree=19226500/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=587260 CPUtime=25.49 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 113416 0 0 0 2531 18 0 0 25 0 1 0 488153263 601354240 110514 33554432000 4194304 4650387 140737200386864 18446744073709551615 4314823 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 146815 110514 379 112 0 141780 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 587260
[startup+51.101 s]
/proc/loadavg: 3.88 3.93 3.66 5/190 23761
/proc/meminfo: memFree=18213788/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=628436 CPUtime=51.09 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 132849 0 0 0 5088 21 0 0 25 0 1 0 488153263 643518464 120389 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315087 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 157109 120389 381 112 0 152074 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 628436
[startup+102.307 s]
/proc/loadavg: 3.95 3.94 3.67 5/190 23763
/proc/meminfo: memFree=17877604/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=659588 CPUtime=102.3 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 161886 0 0 0 10204 26 0 0 25 0 1 0 488153263 675418112 121647 33554432000 4194304 4650387 140737200386864 18446744073709551615 4230798 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 164897 121647 383 112 0 159862 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 659588
[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.69 5/190 23764
/proc/meminfo: memFree=16338628/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1283808 CPUtime=162.3 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 300025 0 0 0 16187 43 0 0 25 0 1 0 488153263 1314619392 250284 33554432000 4194304 4650387 140737200386864 18446744073709551615 4331068 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 320952 250284 383 112 0 315917 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1283808
[startup+222.301 s]
/proc/loadavg: 4.03 3.97 3.71 5/190 23766
/proc/meminfo: memFree=15366456/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1539572 CPUtime=222.29 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 361642 0 0 0 22177 52 0 0 25 0 1 0 488153263 1576521728 311901 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 384893 311901 383 112 0 379858 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1539572
[startup+282.3 s]
/proc/loadavg: 4.07 3.99 3.73 5/190 23767
/proc/meminfo: memFree=14866012/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1550316 CPUtime=282.3 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 370211 0 0 0 28176 54 0 0 25 0 1 0 488153263 1587523584 308431 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315528 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 387579 308431 383 112 0 382544 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1550316
[startup+342.301 s]
/proc/loadavg: 4.02 3.99 3.75 5/190 23769
/proc/meminfo: memFree=13863300/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1562548 CPUtime=342.3 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 378391 0 0 0 34175 55 0 0 25 0 1 0 488153263 1600049152 310263 33554432000 4194304 4650387 140737200386864 18446744073709551615 4241220 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 390637 310263 383 112 0 385602 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1562548
[startup+402.301 s]
/proc/loadavg: 4.01 3.99 3.76 5/190 23771
/proc/meminfo: memFree=13597012/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1741056 CPUtime=402.31 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 430644 0 0 0 40169 62 0 0 25 0 1 0 488153263 1782841344 352642 33554432000 4194304 4650387 140737200386864 18446744073709551615 4333694 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 435264 352642 383 112 0 430229 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1741056
[startup+462.301 s]
/proc/loadavg: 4.05 4.00 3.78 5/190 23772
/proc/meminfo: memFree=12471460/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1916116 CPUtime=462.3 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 478115 0 0 0 46160 70 0 0 25 0 1 0 488153263 1962102784 386303 33554432000 4194304 4650387 140737200386864 18446744073709551615 4446377 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 479029 386303 383 112 0 473994 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1916116
[startup+522.301 s]
/proc/loadavg: 4.02 4.00 3.79 5/190 23774
/proc/meminfo: memFree=12511844/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1935304 CPUtime=522.3 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 492088 0 0 0 52158 72 0 0 25 0 1 0 488153263 1981751296 386960 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315218 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 483826 386960 383 112 0 478791 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1935304
[startup+582.3 s]
/proc/loadavg: 4.05 4.01 3.80 5/190 23775
/proc/meminfo: memFree=12429196/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=1936036 CPUtime=582.31 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 507409 0 0 0 58154 77 0 0 25 0 1 0 488153263 1982500864 390369 33554432000 4194304 4650387 140737200386864 18446744073709551615 4363426 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 484009 390369 383 112 0 478974 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1936036
[startup+642.301 s]
/proc/loadavg: 4.02 4.01 3.82 5/190 23777
/proc/meminfo: memFree=11041352/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2178488 CPUtime=642.32 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 570713 0 0 0 64146 86 0 0 25 0 1 0 488153263 2230771712 441772 33554432000 4194304 4650387 140737200386864 18446744073709551615 4421221 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 544622 441772 383 112 0 539587 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 2178488
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.82 5/190 23779
/proc/meminfo: memFree=11114596/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2180004 CPUtime=702.32 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 585956 0 0 0 70143 89 0 0 25 0 1 0 488153263 2232324096 439525 33554432000 4194304 4650387 140737200386864 18446744073709551615 4364756 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 545001 439525 383 112 0 539966 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 2180004
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.83 5/190 23780
/proc/meminfo: memFree=11007416/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2183060 CPUtime=762.33 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 602073 0 0 0 76140 93 0 0 25 0 1 0 488153263 2235453440 442832 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 545765 442832 383 112 0 540730 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 2183060
[startup+822.301 s]
/proc/loadavg: 4.03 4.01 3.84 5/190 23782
/proc/meminfo: memFree=10999204/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2186748 CPUtime=822.32 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 615607 0 0 0 82137 95 0 0 25 0 1 0 488153263 2239229952 443101 33554432000 4194304 4650387 140737200386864 18446744073709551615 4368256 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 546687 443101 383 112 0 541652 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2186748
[startup+882.301 s]
/proc/loadavg: 4.01 4.01 3.85 5/190 23783
/proc/meminfo: memFree=10369368/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2313020 CPUtime=882.32 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 651186 0 0 0 88131 101 0 0 25 0 1 0 488153263 2368532480 465949 33554432000 4194304 4650387 140737200386864 18446744073709551615 4476487 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 578255 465949 383 112 0 573220 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2313020
[startup+942.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/190 23785
/proc/meminfo: memFree=10001172/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2248128 CPUtime=942.32 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 668882 0 0 0 94128 104 0 0 25 0 1 0 488153263 2302083072 464317 33554432000 4194304 4650387 140737200386864 18446744073709551615 4328114 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 562032 464317 383 112 0 556997 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2248128
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/190 23787
/proc/meminfo: memFree=9939136/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2251892 CPUtime=1002.33 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 687180 0 0 0 100125 108 0 0 25 0 1 0 488153263 2305937408 465082 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315053 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 562973 465082 383 112 0 557938 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2251892
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/190 23788
/proc/meminfo: memFree=8163536/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2254648 CPUtime=1062.32 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 703753 0 0 0 106121 111 0 0 25 0 1 0 488153263 2308759552 464971 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315017 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 563662 464971 383 112 0 558627 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2254648
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/190 23790
/proc/meminfo: memFree=7422980/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2320348 CPUtime=1122.33 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 715527 0 0 0 112118 115 0 0 25 0 1 0 488153263 2376036352 476745 33554432000 4194304 4650387 140737200386864 18446744073709551615 4363648 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 580087 476745 383 112 0 575052 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2320348
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 23791
/proc/meminfo: memFree=7409940/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2323196 CPUtime=1182.34 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 731919 0 0 0 118115 119 0 0 25 0 1 0 488153263 2378952704 476481 33554432000 4194304 4650387 140737200386864 18446744073709551615 4365445 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 580799 476481 383 112 0 575764 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2323196
[startup+1242.3 s]
/proc/loadavg: 3.43 3.84 3.83 4/184 23811
/proc/meminfo: memFree=13800100/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2517848 CPUtime=1242.34 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 781937 0 0 0 124106 128 0 0 25 0 1 0 488153263 2578276352 510400 33554432000 4194304 4650387 140737200386864 18446744073709551615 4315230 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 629462 510400 383 112 0 624427 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2517848
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.21 3.71 3.78 3/182 23814
/proc/meminfo: memFree=15649552/32951124 swapFree=67111524/67111528
[pid=23747] ppid=23745 vsize=2517976 CPUtime=1300.04 cores=0,2
/proc/23747/stat : 23747 (strangenight1-s) R 23745 23747 22078 0 -1 4202496 794726 0 0 0 129874 130 0 0 25 0 1 0 488153263 2578407424 507318 33554432000 4194304 4650387 140737200386864 18446744073709551615 4229498 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23747/statm: 629494 507318 383 112 0 624459 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 2517976
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.15
CPU user time (s): 1298.75
CPU system time (s): 1.40279
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2517976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.75
system time used= 1.40279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 794726
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1738
runsolver used 2.26365 second user time and 4.84926 second system time
The end
Begin job on node102 at 2011-04-25 23:05:09
IDJOB=3285335
IDBENCH=82379
IDSOLVER=1589
FILE ID=node102/3285335-1303765508
RUNJOBID= node102-1303765508-23717
PBS_JOBID= 13154071
Free space on /tmp= 70872 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
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-3285335-1303765508/watcher-3285335-1303765508 -o /tmp/evaluation-result-3285335-1303765508/solver-3285335-1303765508 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3285335-1303765508.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 6ed645315c9ffb8177453b955fbe1737
RANDOM SEED=381378073
node102.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.828
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.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.828
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.828
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.828
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.828
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.828
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: 21720608 kB
Buffers: 1602416 kB
Cached: 8918844 kB
SwapCached: 4 kB
Active: 2486404 kB
Inactive: 8187588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 21720608 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 114292 kB
Writeback: 0 kB
AnonPages: 151764 kB
Mapped: 15264 kB
Slab: 491880 kB
PageTables: 5496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 318180 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= 70856 MiB
End job on node102 at 2011-04-25 23:26:51