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-3250232-1303542566.cnf'
0.00/0.00 c -- header says num vars: 4229
0.00/0.00 c -- header says num clauses: 100397
0.00/0.03 c -- clauses added: 0 learnts, 100397 normals, 0 xors
0.00/0.03 c -- vars added 4229
0.00/0.03 c Parsing time: 0.03 s
0.00/0.03 c N st 0 0 4229 100397 0 0 411595 0 no data no data --
0.29/0.38 c asymm cl-useful: 0/82578/100397 lits-rem:0 time: 0.35
0.39/0.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02
0.39/0.44 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.39/0.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.39/0.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4229 time: 0.00 s
0.39/0.44 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
0.59/0.61 c lits-rem: 0 cl-subs: 0 v-elim: 11 v-fix: 0 time: 0.17 s
0.59/0.61 c Finding binary XORs T: 0.00 s found: 0
0.59/0.65 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
0.59/0.65 c calculated reachability. Time: 0.00
0.59/0.65 c Calc default polars - time: 0.00 s pos: 4218 undec: 11 neg: 0
0.59/0.65 c =========================================================================================
0.59/0.65 c types(t): F = full restart, N = normal restart
0.59/0.65 c types(t): S = simplification begin/end, E = solution found
0.59/0.65 c restart types(rt): st = static, dy = dynamic
0.59/0.65 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.59/0.65 c B st 0 0 4218 100300 0 0 412272 0 no data no data --
0.69/0.73 c Decided on static restart strategy
0.79/0.85 c N st 8 4922 4218 100300 0 4848 412272 315945 no data no data --
1.19/1.20 c N st 10 11305 4218 100300 0 11150 412272 751354 no data no data --
1.59/1.65 c N st 11 17049 4218 100300 0 16778 412272 1147547 no data no data --
2.20/2.21 c F st 12 25001 4218 100300 0 14752 412272 836621 no data no data --
2.20/2.23 c Found part 1 vars: 2119 clauses: 51287 lits size: 210902
2.20/2.23 c Found part 9 vars: 2099 clauses: 49013 lits size: 201370
2.20/2.23 c Found parts: 2 time: 0.02 s
2.20/2.23 c Solving part 9
2.29/2.31 c N st 0 0 2099 49013 0 14752 201370 836621 no data no data --
2.39/2.47 c asymm cl-useful: 0/49013/49013 lits-rem:0 time: 0.16
2.39/2.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02
2.39/2.49 c Finding binary XORs T: 0.00 s found: 0
2.49/2.51 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
2.49/2.51 c calculated reachability. Time: 0.00
2.49/2.51 c Calc default polars - time: 0.00 s pos: 2099 undec: 2130 neg: 0
2.49/2.51 c =========================================================================================
2.49/2.51 c types(t): F = full restart, N = normal restart
2.49/2.51 c types(t): S = simplification begin/end, E = solution found
2.49/2.51 c restart types(rt): st = static, dy = dynamic
2.49/2.51 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2.49/2.51 c B st 0 0 2099 49013 0 14752 201370 836621 no data no data --
2.59/2.63 c Decided on static restart strategy
2.79/2.80 c N st 8 4920 2099 49013 0 19625 201370 1172820 no data no data --
3.19/3.25 c N st 10 11303 2099 49013 0 14489 201370 759771 no data no data --
3.59/3.65 c N st 11 17050 2099 49013 0 20162 201370 1189336 no data no data --
4.30/4.30 c F st 12 25004 2099 49013 0 17775 201370 938567 no data no data --
4.30/4.30 c N st 12 25004 2099 49013 0 17775 201370 938567 no data no data --
4.59/4.61 c Decided on static restart strategy
4.59/4.61 c N st 18 30203 2099 49013 0 12774 201370 549811 no data no data --
4.99/5.04 c N st 20 37314 2099 49013 0 19794 201370 1063541 no data no data --
5.40/5.45 c N st 21 43715 2099 49013 0 15553 201370 685391 no data no data --
6.09/6.11 c N st 22 53316 2099 49013 0 13714 201370 510804 no data no data --
7.19/7.27 c N st 23 67713 2099 49013 0 15743 201370 641460 no data no data --
8.79/8.88 c F st 24 87501 2099 49013 0 22193 201370 1028720 no data no data --
8.79/8.88 c N st 24 87501 2099 49013 0 22193 201370 1028720 no data no data --
9.19/9.26 c Decided on static restart strategy
9.39/9.45 c N st 31 95540 2099 49013 0 16156 201370 523328 no data no data --
10.19/10.22 c N st 33 106206 2099 49013 0 26637 201370 1250641 no data no data --
10.89/10.92 c N st 34 115804 2099 49013 0 21161 201370 841506 no data no data --
12.09/12.13 c N st 35 130203 2099 49013 0 19372 201370 665147 no data no data --
14.39/14.44 c N st 36 151799 2099 49013 0 23897 201370 1658719 no data no data --
18.49/18.51 c N st 37 184193 2099 49013 0 19087 201370 538732 no data no data --
26.10/26.12 c N st 38 232781 2099 49013 0 26378 201370 1451024 no data no data --
37.99/38.08 c N st 39 305664 2099 49013 0 29729 201370 1571357 no data no data --
38.09/38.13 c F st 40 306255 2099 49013 0 30315 201370 1632418 no data no data --
38.40/38.42 c Decided on static restart strategy
39.99/40.07 c N st 50 334560 2099 49013 0 33185 201370 1333209 no data no data --
43.39/43.45 c N st 52 370552 2099 49013 0 42754 201370 1915395 no data no data --
46.79/46.89 c N st 53 402945 2099 49013 0 47705 201370 2429532 no data no data --
52.29/52.35 c N st 54 451533 2099 49013 0 39476 201370 1998362 no data no data --
67.79/67.87 c N st 55 524416 2099 49013 0 51255 201370 4158575 no data no data --
84.59/84.62 c N st 56 633739 2099 49013 0 60640 201370 4600559 no data no data --
114.99/115.02 c N st 57 797723 2099 49013 0 39188 201370 1163991 no data no data --
178.60/178.63 c N st 58 1043701 2099 49013 0 74434 201370 6227242 no data no data --
183.70/183.70 c F st 59 1071875 2099 49013 0 57443 201370 2955749 no data no data --
183.70/183.70 c N st 59 1071875 2099 49013 0 57443 201370 2955749 no data no data --
184.00/184.02 c Decided on static restart strategy
186.90/186.97 c N st 69 1100178 2099 49013 0 85478 201370 5979385 no data no data --
192.09/192.19 c N st 71 1136170 2099 49013 0 75319 201370 5378162 no data no data --
194.99/195.03 c N st 72 1168564 2099 49013 0 60436 201370 2377089 no data no data --
200.89/200.97 c N st 73 1217153 2099 49013 0 60880 201370 3039681 no data no data --
211.00/211.06 c N st 74 1290036 2099 49013 0 84266 201370 4219244 no data no data --
234.00/234.05 c N st 75 1399359 2099 49013 0 92688 201370 7582092 no data no data --
274.29/274.31 c N st 76 1563345 2099 49013 0 97226 201370 8352200 no data no data --
325.90/325.96 c N st 77 1809321 2099 49013 0 115194 201370 8545234 no data no data --
399.10/399.16 c N st 78 2178285 2099 49013 0 113230 201370 5814827 no data no data --
515.81/515.83 c N st 79 2731731 2099 49013 0 116608 201370 5243934 no data no data --
710.11/710.10 c N st 80 3561900 2099 49013 0 88986 201370 2702394 no data no data --
783.81/783.90 c F st 81 3751564 2099 49013 0 110074 201370 6179971 no data no data --
783.81/783.90 c N st 81 3751564 2099 49013 0 110074 201370 6179971 no data no data --
786.31/786.31 c N dy 132 3772474 2099 49013 0 130807 201370 7700591 44.26 46.63 --
789.31/789.31 c N dy 232 3792915 2099 49013 0 151080 201370 8894734 43.77 46.73 --
792.91/792.93 c N dy 315 3813010 2099 49013 0 171011 201370 10061065 43.33 45.69 --
795.92/795.92 c N dy 433 3833024 2099 49013 0 105164 201370 2685036 43.60 47.35 --
799.31/799.40 c N dy 535 3853308 2099 49013 0 125295 201370 3876477 43.60 45.93 --
803.02/803.02 c N dy 656 3873328 2099 49013 0 145157 201370 5064332 43.78 46.79 --
806.82/806.84 c N dy 753 3893657 2099 49013 0 165322 201370 6259315 43.75 46.45 --
810.72/810.77 c N dy 860 3913735 2099 49013 0 98619 201370 2063457 43.80 47.84 --
814.11/814.10 c N dy 968 3933744 2099 49013 0 118479 201370 3242436 43.85 46.85 --
818.22/818.28 c N dy 1085 3954178 2099 49013 0 138774 201370 4467817 43.95 46.27 --
823.11/823.18 c N dy 1169 3975365 2099 49013 0 159771 201370 5710168 43.84 46.36 --
828.32/828.33 c N dy 1272 3995638 2099 49013 0 92357 201370 1550481 43.90 47.63 --
831.81/831.82 c N dy 1368 4017813 2099 49013 0 114319 201370 2852086 43.88 46.20 --
836.12/836.17 c N dy 1487 4039026 2099 49013 0 135359 201370 4112840 43.91 46.79 --
841.11/841.15 c N dy 1593 4059030 2099 49013 0 155203 201370 5284923 43.94 46.72 --
847.12/847.10 c N dy 1707 4080465 2099 49013 0 176448 201370 6558151 43.94 46.49 --
850.52/850.50 c N dy 1815 4100612 2099 49013 0 107978 201370 2355756 43.98 46.53 --
854.22/854.21 c N dy 1902 4120680 2099 49013 0 127877 201370 3550234 43.94 46.37 --
859.02/859.09 c N dy 2022 4141281 2099 49013 0 148309 201370 4779287 44.01 46.77 --
864.81/864.80 c N dy 2120 4162487 2099 49013 0 169338 201370 6020739 43.98 46.30 --
869.42/869.47 c N dy 2218 4182588 2099 49013 0 99840 201370 1756393 43.97 52.02 --
873.12/873.13 c N dy 2318 4202652 2099 49013 0 119746 201370 2943081 43.97 46.46 --
877.42/877.41 c N dy 2412 4222713 2099 49013 0 139635 201370 4128697 43.97 46.78 --
882.62/882.67 c N dy 2529 4242734 2099 49013 0 159519 201370 5318608 44.00 46.46 --
888.82/888.87 c N dy 2655 4262749 2099 49013 0 179375 201370 6515012 44.05 46.47 --
892.41/892.48 c N dy 2727 4283299 2099 49013 0 109277 201370 2249686 43.98 46.32 --
896.21/896.22 c N dy 2818 4303337 2099 49013 0 129148 201370 3446309 43.98 46.96 --
900.31/900.37 c N dy 2930 4323391 2099 49013 0 149079 201370 4643359 43.99 47.07 --
906.02/906.07 c N dy 3062 4343585 2099 49013 0 169117 201370 5864751 44.04 46.63 --
911.42/911.43 c N dy 3172 4363638 2099 49013 0 97591 201370 1459583 44.04 47.42 --
915.02/915.07 c N dy 3283 4383750 2099 49013 0 117544 201370 2667593 44.05 46.89 --
919.42/919.48 c N dy 3394 4403882 2099 49013 0 137534 201370 3881795 44.08 47.96 --
924.61/924.69 c N dy 3504 4423883 2099 49013 0 157368 201370 5071507 44.10 47.99 --
930.53/930.52 c N dy 3597 4444362 2099 49013 0 177652 201370 6286630 44.10 46.62 --
933.42/933.47 c N dy 3724 4464405 2099 49013 0 105149 201370 1832602 44.14 46.78 --
937.42/937.42 c N dy 3829 4484628 2099 49013 0 125190 201370 3030814 44.14 47.06 --
942.12/942.16 c N dy 3920 4504760 2099 49013 0 145162 201370 4215984 44.13 46.59 --
947.41/947.47 c N dy 4012 4524971 2099 49013 0 165165 201370 5411430 44.14 46.86 --
953.72/953.73 c N dy 4132 4545042 2099 49013 0 185084 201370 6617350 44.16 47.13 --
957.72/957.73 c N dy 4251 4565143 2099 49013 0 111631 201370 2157027 44.18 46.52 --
961.92/961.99 c N dy 4370 4585305 2099 49013 0 131639 201370 3382042 44.21 46.83 --
966.92/966.95 c N dy 4478 4605374 2099 49013 0 151554 201370 4587912 44.22 46.80 --
972.43/972.48 c N dy 4573 4625398 2099 49013 0 171410 201370 5789951 44.21 46.68 --
979.12/979.15 c N dy 4708 4645523 2099 49013 0 96965 201370 1188674 44.26 46.96 --
982.92/982.92 c N dy 4828 4665621 2099 49013 0 116885 201370 2387582 44.28 46.86 --
987.42/987.43 c N dy 4931 4685628 2099 49013 0 136710 201370 3564531 44.28 46.87 --
992.72/992.75 c N dy 5045 4705645 2099 49013 0 156548 201370 4762523 44.30 48.21 --
998.83/998.88 c N dy 5161 4725678 2099 49013 0 176419 201370 5964780 44.31 50.98 --
1004.32/1004.35 c N dy 5256 4746036 2099 49013 0 101251 201370 1379209 44.31 46.85 --
1008.21/1008.25 c N dy 5373 4766047 2099 49013 0 121094 201370 2592806 44.34 48.44 --
1012.92/1012.91 c N dy 5486 4786067 2099 49013 0 140947 201370 3790668 44.35 47.27 --
1018.22/1018.25 c N dy 5589 4806139 2099 49013 0 160832 201370 4996588 44.37 46.95 --
1024.31/1024.30 c N dy 5689 4827345 2099 49013 0 181836 201370 6293198 44.38 46.82 --
1029.82/1029.88 c N dy 5802 4847431 2099 49013 0 105405 201370 1582030 44.39 47.20 --
1033.12/1033.17 c N dy 5923 4867501 2099 49013 0 125347 201370 2813864 44.42 47.07 --
1037.33/1037.37 c N dy 6041 4887768 2099 49013 0 145453 201370 4061048 44.44 47.35 --
1042.62/1042.68 c N dy 6150 4907800 2099 49013 0 165315 201370 5266606 44.45 55.83 --
1048.33/1048.38 c N dy 6245 4927901 2099 49013 0 185235 201370 6485930 44.45 46.90 --
1053.42/1053.43 c N dy 6333 4947937 2099 49013 0 107751 201370 1635178 44.44 46.83 --
1057.52/1057.58 c N dy 6442 4967988 2099 49013 0 127648 201370 2844159 44.46 46.97 --
1062.63/1062.63 c N dy 6565 4988008 2099 49013 0 147527 201370 4043918 44.47 49.87 --
1068.42/1068.47 c N dy 6678 5008093 2099 49013 0 167421 201370 5248093 44.49 47.77 --
1075.02/1075.05 c N dy 6786 5028127 2099 49013 0 187290 201370 6466426 44.50 47.26 --
1080.23/1080.28 c N dy 6881 5048229 2099 49013 0 108865 201370 1648232 44.49 53.80 --
1084.53/1084.54 c N dy 6998 5068274 2099 49013 0 128712 201370 2852023 44.51 47.05 --
1089.03/1089.06 c N dy 7065 5088300 2099 49013 0 148517 201370 4067554 44.49 48.14 --
1095.42/1095.43 c N dy 7179 5110665 2099 49013 0 170680 201370 5396881 44.50 47.07 --
1102.12/1102.10 c N dy 7296 5130942 2099 49013 0 190794 201370 6636670 44.51 46.94 --
1107.42/1107.48 c N dy 7409 5150990 2099 49013 0 111387 201370 1739823 44.53 47.39 --
1111.82/1111.89 c N dy 7530 5171091 2099 49013 0 131335 201370 2953928 44.54 47.33 --
1117.12/1117.16 c N dy 7650 5191225 2099 49013 0 151315 201370 4160096 44.55 47.21 --
1123.42/1123.40 c N dy 7785 5211276 2099 49013 0 171205 201370 5372508 44.58 55.11 --
1130.22/1130.29 c N dy 7906 5231311 2099 49013 0 191074 201370 6577256 44.59 47.40 --
1136.12/1136.15 c N dy 8031 5251400 2099 49013 0 110667 201370 1632753 44.60 47.54 --
1140.42/1140.40 c N dy 8144 5271674 2099 49013 0 130737 201370 2854478 44.62 47.31 --
1145.33/1145.38 c N dy 8244 5291907 2099 49013 0 150755 201370 4081076 44.63 47.39 --
1151.42/1151.42 c N dy 8358 5312946 2099 49013 0 171636 201370 5347799 44.64 47.79 --
1157.82/1157.86 c N dy 8471 5333049 2099 49013 0 191553 201370 6572042 44.65 47.34 --
1163.92/1163.91 c N dy 8590 5353096 2099 49013 0 110179 201370 1561656 44.67 47.08 --
1168.32/1168.34 c N dy 8721 5373238 2099 49013 0 130181 201370 2797491 44.69 47.48 --
1173.42/1173.46 c N dy 8832 5393756 2099 49013 0 150529 201370 4041879 44.70 47.18 --
1179.23/1179.29 c N dy 8932 5413804 2099 49013 0 170430 201370 5258602 44.70 49.48 --
1185.83/1185.88 c N dy 9053 5433874 2099 49013 0 190364 201370 6498298 44.72 54.48 --
1192.12/1192.10 c N dy 9151 5453916 2099 49013 0 107882 201370 1345463 44.72 53.94 --
1196.12/1196.14 c N dy 9273 5473932 2099 49013 0 127752 201370 2582562 44.74 47.27 --
1201.02/1201.02 c N dy 9395 5494011 2099 49013 0 147651 201370 3811789 44.75 47.37 --
1206.43/1206.45 c N dy 9489 5514024 2099 49013 0 167457 201370 5006961 44.75 54.56 --
1212.82/1212.87 c N dy 9607 5534638 2099 49013 0 187907 201370 6281858 44.76 47.16 --
1219.93/1219.98 c N dy 9717 5554687 2099 49013 0 104503 201370 1078585 44.77 47.53 --
1224.02/1224.01 c N dy 9826 5574880 2099 49013 0 124511 201370 2308989 44.78 47.16 --
1228.73/1228.78 c N dy 9924 5595061 2099 49013 0 144510 201370 3518512 44.78 47.34 --
1234.53/1234.55 c N dy 10030 5615378 2099 49013 0 164644 201370 4734347 44.79 47.27 --
1240.83/1240.84 c N dy 10142 5635596 2099 49013 0 184714 201370 5990271 44.80 47.24 --
1248.13/1248.10 c N dy 10271 5655688 2099 49013 0 204646 201370 7221014 44.81 47.45 --
1253.13/1253.18 c N dy 10393 5675729 2099 49013 0 120258 201370 1982732 44.83 47.23 --
1257.34/1257.39 c N dy 10484 5695992 2099 49013 0 140342 201370 3238398 44.81 47.25 --
1262.83/1262.89 c N dy 10608 5716233 2099 49013 0 160369 201370 4468731 44.83 47.42 --
1269.33/1269.40 c N dy 10746 5736508 2099 49013 0 180490 201370 5704520 44.85 47.56 --
1276.63/1276.66 c N dy 10869 5756605 2099 49013 0 200383 201370 6923028 44.86 47.34 --
1282.83/1282.85 c N dy 10986 5776791 2099 49013 0 115169 201370 1622780 44.87 47.52 --
1287.23/1287.20 c N dy 11065 5797056 2099 49013 0 135220 201370 2854075 44.87 47.31 --
1291.82/1291.89 c N dy 11187 5817077 2099 49013 0 155097 201370 4103584 44.88 47.52 --
1297.83/1297.86 c N dy 11304 5837129 2099 49013 0 174972 201370 5317367 44.89 47.35 --
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-3250232-1303542566/watcher-3250232-1303542566 -o /tmp/evaluation-result-3250232-1303542566/solver-3250232-1303542566 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3250232-1303542566.cnf
running on 2 cores: 5,7
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.97 2.28 3.08 3/181 12629
/proc/meminfo: memFree=15682160/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=30440 CPUtime=0 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 941 0 0 0 0 0 0 0 22 0 1 0 465854300 31170560 880 33554432000 4194304 4650387 140737103246384 18446744073709551615 4520290 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 7610 880 327 112 0 2575 0
[startup+0.099195 s]
/proc/loadavg: 0.97 2.28 3.08 3/181 12629
/proc/meminfo: memFree=15682160/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=36020 CPUtime=0.09 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 2869 0 0 0 9 0 0 0 22 0 1 0 465854300 36884480 2741 33554432000 4194304 4650387 140737103246384 18446744073709551615 4370698 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 9005 2741 346 112 0 3970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36020
[startup+0.100202 s]
/proc/loadavg: 0.97 2.28 3.08 3/181 12629
/proc/meminfo: memFree=15682160/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=36020 CPUtime=0.09 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 2870 0 0 0 9 0 0 0 22 0 1 0 465854300 36884480 2742 33554432000 4194304 4650387 140737103246384 18446744073709551615 218905391813 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 9005 2742 346 112 0 3970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36020
[startup+0.300154 s]
/proc/loadavg: 0.97 2.28 3.08 3/181 12629
/proc/meminfo: memFree=15682160/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=36284 CPUtime=0.29 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 2918 0 0 0 29 0 0 0 23 0 1 0 465854300 37154816 2790 33554432000 4194304 4650387 140737103246384 18446744073709551615 4370698 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 9071 2790 346 112 0 4036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36284
[startup+0.70108 s]
/proc/loadavg: 0.97 2.28 3.08 3/181 12629
/proc/meminfo: memFree=15682160/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=59800 CPUtime=0.69 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 8908 0 0 0 68 1 0 0 25 0 1 0 465854300 61235200 7337 33554432000 4194304 4650387 140737103246384 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 14950 7337 379 112 0 9915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59800
[startup+1.50094 s]
/proc/loadavg: 0.97 2.28 3.08 5/187 12640
/proc/meminfo: memFree=15613388/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=59800 CPUtime=1.49 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 9888 0 0 0 148 1 0 0 25 0 1 0 465854300 61235200 8317 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 14950 8317 380 112 0 9915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59800
[startup+3.10067 s]
/proc/loadavg: 1.21 2.31 3.08 5/190 12646
/proc/meminfo: memFree=15528060/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=85128 CPUtime=3.09 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 16806 0 0 0 307 2 0 0 18 0 1 0 465854300 87171072 11263 33554432000 4194304 4650387 140737103246384 18446744073709551615 4334281 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 21282 11263 383 112 0 16247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85128
[startup+6.30107 s]
/proc/loadavg: 1.21 2.31 3.08 5/190 12646
/proc/meminfo: memFree=15379384/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=96068 CPUtime=6.29 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 20593 0 0 0 626 3 0 0 25 0 1 0 465854300 98373632 13469 33554432000 4194304 4650387 140737103246384 18446744073709551615 4363384 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 24017 13469 383 112 0 18982 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96068
[startup+12.7009 s]
/proc/loadavg: 1.64 2.37 3.09 5/190 12646
/proc/meminfo: memFree=15309836/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=108116 CPUtime=12.69 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 23396 0 0 0 1266 3 0 0 25 0 1 0 465854300 110710784 16272 33554432000 4194304 4650387 140737103246384 18446744073709551615 4331285 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 27029 16272 383 112 0 21994 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108116
[startup+25.5006 s]
/proc/loadavg: 2.00 2.42 3.10 5/190 12647
/proc/meminfo: memFree=15255452/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=111224 CPUtime=25.5 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 30910 0 0 0 2545 5 0 0 25 0 1 0 465854300 113893376 20238 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 27806 20238 383 112 0 22771 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 111224
[startup+51.101 s]
/proc/loadavg: 2.68 2.55 3.12 5/190 12647
/proc/meminfo: memFree=15262144/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=169316 CPUtime=51.09 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 37071 0 0 0 5103 6 0 0 25 0 1 0 465854300 173379584 22314 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365298 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 42329 22314 383 112 0 37294 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 169316
[startup+102.307 s]
/proc/loadavg: 3.47 2.79 3.17 5/190 12649
/proc/meminfo: memFree=15208208/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=156444 CPUtime=102.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 84913 0 0 0 10214 16 0 0 25 0 1 0 465854300 160198656 19993 33554432000 4194304 4650387 140737103246384 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 39111 19993 383 112 0 34076 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 156444
[startup+162.301 s]
/proc/loadavg: 3.86 3.01 3.22 5/190 12650
/proc/meminfo: memFree=15181048/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=166252 CPUtime=162.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 134814 0 0 0 16201 29 0 0 25 0 1 0 465854300 170242048 18078 33554432000 4194304 4650387 140737103246384 18446744073709551615 4363568 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 41563 18078 383 112 0 36528 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 166252
[startup+222.301 s]
/proc/loadavg: 3.95 3.20 3.27 5/190 12652
/proc/meminfo: memFree=15128556/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=201224 CPUtime=222.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 186408 0 0 0 22191 39 0 0 25 0 1 0 465854300 206053376 30511 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365210 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 50306 30511 383 112 0 45271 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 201224
[startup+282.3 s]
/proc/loadavg: 3.98 3.33 3.31 5/190 12654
/proc/meminfo: memFree=15083632/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=201224 CPUtime=282.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 219657 0 0 0 28181 49 0 0 25 0 1 0 465854300 206053376 28994 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365289 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 50306 28994 383 112 0 45271 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 201224
[startup+342.3 s]
/proc/loadavg: 3.99 3.46 3.35 5/190 12655
/proc/meminfo: memFree=15076792/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=219292 CPUtime=342.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 254086 0 0 0 34174 56 0 0 25 0 1 0 465854300 224555008 31709 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 54823 31709 383 112 0 49788 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 219292
[startup+402.301 s]
/proc/loadavg: 4.07 3.56 3.39 5/190 12657
/proc/meminfo: memFree=15029020/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=219584 CPUtime=402.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 277210 0 0 0 40168 62 0 0 25 0 1 0 465854300 224854016 34216 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 54896 34216 383 112 0 49861 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 219584
[startup+462.301 s]
/proc/loadavg: 4.02 3.65 3.43 5/190 12658
/proc/meminfo: memFree=15051940/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=135680 CPUtime=462.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 298059 0 0 0 46163 67 0 0 25 0 1 0 465854300 138936320 26883 33554432000 4194304 4650387 140737103246384 18446744073709551615 4364753 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 33920 26883 383 112 0 28885 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 135680
[startup+522.301 s]
/proc/loadavg: 4.01 3.70 3.46 5/190 12660
/proc/meminfo: memFree=15024512/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=135680 CPUtime=522.3 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 320091 0 0 0 52158 72 0 0 25 0 1 0 465854300 138936320 26897 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365311 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 33920 26897 383 112 0 28885 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 135680
[startup+582.301 s]
/proc/loadavg: 4.00 3.76 3.49 5/190 12662
/proc/meminfo: memFree=15005268/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=220532 CPUtime=582.31 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 345748 0 0 0 58153 78 0 0 25 0 1 0 465854300 225824768 31791 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365311 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 55133 31791 383 112 0 50098 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 220532
[startup+642.3 s]
/proc/loadavg: 4.00 3.80 3.52 5/190 12663
/proc/meminfo: memFree=14986880/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=220904 CPUtime=642.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 373899 0 0 0 64148 84 0 0 25 0 1 0 465854300 226205696 33240 33554432000 4194304 4650387 140737103246384 18446744073709551615 4363384 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 55226 33240 383 112 0 50191 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 220904
[startup+702.3 s]
/proc/loadavg: 4.00 3.83 3.55 5/190 12665
/proc/meminfo: memFree=15013876/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=221196 CPUtime=702.31 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 407353 0 0 0 70139 92 0 0 25 0 1 0 465854300 226504704 37294 33554432000 4194304 4650387 140737103246384 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 55299 37294 383 112 0 50264 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 221196
[startup+762.307 s]
/proc/loadavg: 4.00 3.86 3.57 5/190 12666
/proc/meminfo: memFree=15009024/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=221564 CPUtime=762.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 438207 0 0 0 76131 101 0 0 25 0 1 0 465854300 226881536 39044 33554432000 4194304 4650387 140737103246384 18446744073709551615 4366787 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 55391 39044 383 112 0 50356 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 221564
[startup+822.301 s]
/proc/loadavg: 4.00 3.88 3.60 5/190 12668
/proc/meminfo: memFree=15054728/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=225160 CPUtime=822.31 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 463929 0 0 0 82124 107 0 0 25 0 1 0 465854300 230563840 34703 33554432000 4194304 4650387 140737103246384 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 56290 34703 383 112 0 51255 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 225160
[startup+882.301 s]
/proc/loadavg: 4.03 3.92 3.63 5/190 12670
/proc/meminfo: memFree=14989216/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=225160 CPUtime=882.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 473107 0 0 0 88121 111 0 0 25 0 1 0 465854300 230563840 34715 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 56290 34715 383 112 0 51255 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 225160
[startup+942.301 s]
/proc/loadavg: 4.01 3.93 3.65 5/190 12671
/proc/meminfo: memFree=14942296/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=224040 CPUtime=942.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 482152 0 0 0 94119 113 0 0 25 0 1 0 465854300 229416960 33796 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 56010 33796 383 112 0 50975 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 224040
[startup+1002.3 s]
/proc/loadavg: 4.04 3.95 3.67 5/190 12673
/proc/meminfo: memFree=14989144/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=223684 CPUtime=1002.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 491688 0 0 0 100116 116 0 0 25 0 1 0 465854300 229052416 36345 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365268 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 55921 36345 383 112 0 50886 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 223684
[startup+1062.3 s]
/proc/loadavg: 4.01 3.96 3.69 5/190 12674
/proc/meminfo: memFree=14973360/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=223524 CPUtime=1062.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 499969 0 0 0 106113 119 0 0 25 0 1 0 465854300 228888576 33562 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 55881 33562 383 112 0 50846 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 223524
[startup+1122.3 s]
/proc/loadavg: 4.00 3.96 3.70 5/190 12676
/proc/meminfo: memFree=14936972/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=223508 CPUtime=1122.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 508858 0 0 0 112109 123 0 0 25 0 1 0 465854300 228872192 34792 33554432000 4194304 4650387 140737103246384 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 55877 34792 383 112 0 50842 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 223508
[startup+1182.3 s]
/proc/loadavg: 4.00 3.97 3.72 5/190 12678
/proc/meminfo: memFree=14899480/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=235936 CPUtime=1182.33 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 520500 0 0 0 118107 126 0 0 25 0 1 0 465854300 241598464 38507 33554432000 4194304 4650387 140737103246384 18446744073709551615 4366847 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 58984 38507 383 112 0 53949 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 235936
[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.74 5/190 12679
/proc/meminfo: memFree=14890008/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=235936 CPUtime=1242.32 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 529302 0 0 0 124104 128 0 0 25 0 1 0 465854300 241598464 38973 33554432000 4194304 4650387 140737103246384 18446744073709551615 4368256 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 58984 38973 383 112 0 53949 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 235936
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.75 4/189 12682
/proc/meminfo: memFree=15056756/32951124 swapFree=67111528/67111528
[pid=12629] ppid=12627 vsize=236088 CPUtime=1300.03 cores=5,7
/proc/12629/stat : 12629 (strangenight1-s) R 12627 12629 12025 0 -1 4202496 537314 0 0 0 129872 131 0 0 25 0 1 0 465854300 241754112 38423 33554432000 4194304 4650387 140737103246384 18446744073709551615 4366888 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12629/statm: 59022 38423 383 112 0 53987 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 236088
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.01
CPU time (s): 1300.05
CPU user time (s): 1298.73
CPU system time (s): 1.3218
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 241416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.73
system time used= 1.3218
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537314
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= 15228
runsolver used 2.01669 second user time and 5.09323 second system time
The end
Begin job on node137 at 2011-04-23 09:09:26
IDJOB=3250232
IDBENCH=83248
IDSOLVER=1589
FILE ID=node137/3250232-1303542566
RUNJOBID= node137-1303542566-12606
PBS_JOBID= 13143101
Free space on /tmp= 71748 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4231.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250232-1303542566/watcher-3250232-1303542566 -o /tmp/evaluation-result-3250232-1303542566/solver-3250232-1303542566 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3250232-1303542566.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= a52d60bf6e72caa628ad712a5fe0fb7a
RANDOM SEED=1690851945
node137.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.844
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.68
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.844
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.844
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.74
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.844
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.74
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.844
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.844
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.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 15682316 kB
Buffers: 2091336 kB
Cached: 14540088 kB
SwapCached: 0 kB
Active: 10047944 kB
Inactive: 6653356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15682316 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 15924 kB
Writeback: 0 kB
AnonPages: 69344 kB
Mapped: 15256 kB
Slab: 503956 kB
PageTables: 5468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 225048 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= 71716 MiB
End job on node137 at 2011-04-23 09:31:08