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-3370316-1305391421.cnf'
0.00/0.01 c -- header says num vars: 4229
0.00/0.01 c -- header says num clauses: 100397
0.02/0.04 c -- clauses added: 0 learnts, 100397 normals, 0 xors
0.02/0.04 c -- vars added 4229
0.02/0.04 c Parsing time: 0.03 s
0.02/0.04 c N st 0 0 4229 100397 0 0 411595 0 no data no data --
0.29/0.39 c asymm cl-useful: 0/82578/100397 lits-rem:0 time: 0.35
0.38/0.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02
0.38/0.45 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.38/0.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.38/0.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4229 time: 0.00 s
0.38/0.45 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
0.59/0.63 c lits-rem: 0 cl-subs: 0 v-elim: 11 v-fix: 0 time: 0.18 s
0.59/0.63 c Finding binary XORs T: 0.00 s found: 0
0.59/0.67 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
0.59/0.67 c calculated reachability. Time: 0.00
0.59/0.68 c Calc default polars - time: 0.00 s pos: 4218 undec: 11 neg: 0
0.59/0.68 c =========================================================================================
0.59/0.68 c types(t): F = full restart, N = normal restart
0.59/0.68 c types(t): S = simplification begin/end, E = solution found
0.59/0.68 c restart types(rt): st = static, dy = dynamic
0.59/0.68 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.59/0.68 c B st 0 0 4218 100300 0 0 412272 0 no data no data --
0.69/0.75 c Decided on static restart strategy
0.79/0.88 c N st 8 4922 4218 100300 0 4848 412272 315945 no data no data --
1.18/1.24 c N st 10 11305 4218 100300 0 11150 412272 751354 no data no data --
1.58/1.69 c N st 11 17049 4218 100300 0 16778 412272 1147547 no data no data --
2.20/2.24 c F st 12 25001 4218 100300 0 14752 412272 836621 no data no data --
2.20/2.26 c Found part 1 vars: 2119 clauses: 51287 lits size: 210902
2.20/2.26 c Found part 9 vars: 2099 clauses: 49013 lits size: 201370
2.20/2.26 c Found parts: 2 time: 0.02 s
2.20/2.26 c Solving part 9
2.29/2.34 c N st 0 0 2099 49013 0 14752 201370 836621 no data no data --
2.38/2.48 c asymm cl-useful: 0/49013/49013 lits-rem:0 time: 0.14
2.48/2.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02
2.48/2.51 c Finding binary XORs T: 0.00 s found: 0
2.48/2.52 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
2.48/2.52 c calculated reachability. Time: 0.00
2.48/2.53 c Calc default polars - time: 0.00 s pos: 2099 undec: 2130 neg: 0
2.48/2.53 c =========================================================================================
2.48/2.53 c types(t): F = full restart, N = normal restart
2.48/2.53 c types(t): S = simplification begin/end, E = solution found
2.48/2.53 c restart types(rt): st = static, dy = dynamic
2.48/2.53 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2.48/2.53 c B st 0 0 2099 49013 0 14752 201370 836621 no data no data --
2.58/2.64 c Decided on static restart strategy
2.78/2.80 c N st 8 4920 2099 49013 0 19625 201370 1172820 no data no data --
3.19/3.21 c N st 10 11303 2099 49013 0 14489 201370 759771 no data no data --
3.49/3.58 c N st 11 17050 2099 49013 0 20162 201370 1189336 no data no data --
4.09/4.19 c F st 12 25004 2099 49013 0 17775 201370 938567 no data no data --
4.09/4.19 c N st 12 25004 2099 49013 0 17775 201370 938567 no data no data --
4.40/4.48 c Decided on static restart strategy
4.40/4.48 c N st 18 30203 2099 49013 0 12774 201370 549811 no data no data --
4.89/4.91 c N st 20 37314 2099 49013 0 19794 201370 1063541 no data no data --
5.29/5.32 c N st 21 43715 2099 49013 0 15553 201370 685391 no data no data --
5.89/5.98 c N st 22 53316 2099 49013 0 13714 201370 510804 no data no data --
7.08/7.12 c N st 23 67713 2099 49013 0 15743 201370 641460 no data no data --
8.70/8.71 c F st 24 87501 2099 49013 0 22193 201370 1028720 no data no data --
8.70/8.71 c N st 24 87501 2099 49013 0 22193 201370 1028720 no data no data --
8.99/9.09 c Decided on static restart strategy
9.19/9.27 c N st 31 95540 2099 49013 0 16156 201370 523328 no data no data --
9.99/10.04 c N st 33 106206 2099 49013 0 26637 201370 1250641 no data no data --
10.69/10.73 c N st 34 115804 2099 49013 0 21161 201370 841506 no data no data --
11.89/11.94 c N st 35 130203 2099 49013 0 19372 201370 665147 no data no data --
14.19/14.22 c N st 36 151799 2099 49013 0 23897 201370 1658719 no data no data --
18.19/18.22 c N st 37 184193 2099 49013 0 19087 201370 538732 no data no data --
25.59/25.69 c N st 38 232781 2099 49013 0 26378 201370 1451024 no data no data --
37.39/37.42 c N st 39 305664 2099 49013 0 29729 201370 1571357 no data no data --
37.39/37.47 c F st 40 306255 2099 49013 0 30315 201370 1632418 no data no data --
37.68/37.76 c Decided on static restart strategy
39.38/39.40 c N st 50 334560 2099 49013 0 33185 201370 1333209 no data no data --
42.68/42.75 c N st 52 370552 2099 49013 0 42754 201370 1915395 no data no data --
46.09/46.17 c N st 53 402945 2099 49013 0 47705 201370 2429532 no data no data --
51.49/51.57 c N st 54 451533 2099 49013 0 39476 201370 1998362 no data no data --
66.78/66.81 c N st 55 524416 2099 49013 0 51255 201370 4158575 no data no data --
83.28/83.34 c N st 56 633739 2099 49013 0 60640 201370 4600559 no data no data --
113.30/113.33 c N st 57 797723 2099 49013 0 39188 201370 1163991 no data no data --
176.01/176.08 c N st 58 1043701 2099 49013 0 74434 201370 6227242 no data no data --
181.00/181.08 c F st 59 1071875 2099 49013 0 57443 201370 2955749 no data no data --
181.00/181.08 c N st 59 1071875 2099 49013 0 57443 201370 2955749 no data no data --
181.29/181.39 c Decided on static restart strategy
184.20/184.29 c N st 69 1100178 2099 49013 0 85478 201370 5979385 no data no data --
189.39/189.43 c N st 71 1136170 2099 49013 0 75319 201370 5378162 no data no data --
192.19/192.26 c N st 72 1168564 2099 49013 0 60436 201370 2377089 no data no data --
198.10/198.14 c N st 73 1217153 2099 49013 0 60880 201370 3039681 no data no data --
208.09/208.12 c N st 74 1290036 2099 49013 0 84266 201370 4219244 no data no data --
230.69/230.71 c N st 75 1399359 2099 49013 0 92688 201370 7582092 no data no data --
270.39/270.45 c N st 76 1563345 2099 49013 0 97226 201370 8352200 no data no data --
321.60/321.69 c N st 77 1809321 2099 49013 0 115194 201370 8545234 no data no data --
394.10/394.18 c N st 78 2178285 2099 49013 0 113230 201370 5814827 no data no data --
510.00/510.07 c N st 79 2731731 2099 49013 0 116608 201370 5243934 no data no data --
702.71/702.72 c N st 80 3561900 2099 49013 0 88986 201370 2702394 no data no data --
776.02/776.05 c F st 81 3751564 2099 49013 0 110074 201370 6179971 no data no data --
776.02/776.05 c N st 81 3751564 2099 49013 0 110074 201370 6179971 no data no data --
778.41/778.45 c N dy 132 3772474 2099 49013 0 130807 201370 7700591 44.26 46.63 --
781.41/781.42 c N dy 232 3792915 2099 49013 0 151080 201370 8894734 43.77 46.73 --
785.02/785.03 c N dy 315 3813010 2099 49013 0 171011 201370 10061065 43.33 45.69 --
787.91/787.97 c N dy 433 3833024 2099 49013 0 105164 201370 2685036 43.60 47.35 --
791.41/791.41 c N dy 535 3853308 2099 49013 0 125295 201370 3876477 43.60 45.93 --
795.02/795.05 c N dy 656 3873328 2099 49013 0 145157 201370 5064332 43.78 46.79 --
798.81/798.86 c N dy 753 3893657 2099 49013 0 165322 201370 6259315 43.75 46.45 --
802.71/802.77 c N dy 860 3913735 2099 49013 0 98619 201370 2063457 43.80 47.84 --
806.02/806.08 c N dy 968 3933744 2099 49013 0 118479 201370 3242436 43.85 46.85 --
810.11/810.19 c N dy 1085 3954178 2099 49013 0 138774 201370 4467817 43.95 46.27 --
815.02/815.03 c N dy 1169 3975365 2099 49013 0 159771 201370 5710168 43.84 46.36 --
820.21/820.21 c N dy 1272 3995638 2099 49013 0 92357 201370 1550481 43.90 47.63 --
823.71/823.71 c N dy 1368 4017813 2099 49013 0 114319 201370 2852086 43.88 46.20 --
828.01/828.02 c N dy 1487 4039026 2099 49013 0 135359 201370 4112840 43.91 46.79 --
832.92/832.96 c N dy 1593 4059030 2099 49013 0 155203 201370 5284923 43.94 46.72 --
838.91/838.91 c N dy 1707 4080465 2099 49013 0 176448 201370 6558151 43.94 46.49 --
842.31/842.32 c N dy 1815 4100612 2099 49013 0 107978 201370 2355756 43.98 46.53 --
846.01/846.05 c N dy 1902 4120680 2099 49013 0 127877 201370 3550234 43.94 46.37 --
850.82/850.89 c N dy 2022 4141281 2099 49013 0 148309 201370 4779287 44.01 46.77 --
856.51/856.56 c N dy 2120 4162487 2099 49013 0 169338 201370 6020739 43.98 46.30 --
861.22/861.22 c N dy 2218 4182588 2099 49013 0 99840 201370 1756393 43.97 52.02 --
864.91/864.91 c N dy 2318 4202652 2099 49013 0 119746 201370 2943081 43.97 46.46 --
869.22/869.21 c N dy 2412 4222713 2099 49013 0 139635 201370 4128697 43.97 46.78 --
874.32/874.38 c N dy 2529 4242734 2099 49013 0 159519 201370 5318608 44.00 46.46 --
880.51/880.53 c N dy 2655 4262749 2099 49013 0 179375 201370 6515012 44.05 46.47 --
884.11/884.13 c N dy 2727 4283299 2099 49013 0 109277 201370 2249686 43.98 46.32 --
887.81/887.88 c N dy 2818 4303337 2099 49013 0 129148 201370 3446309 43.98 46.96 --
892.03/892.01 c N dy 2930 4323391 2099 49013 0 149079 201370 4643359 43.99 47.07 --
897.63/897.64 c N dy 3062 4343585 2099 49013 0 169117 201370 5864751 44.04 46.63 --
902.92/902.97 c N dy 3172 4363638 2099 49013 0 97591 201370 1459583 44.04 47.42 --
906.62/906.61 c N dy 3283 4383750 2099 49013 0 117544 201370 2667593 44.05 46.89 --
911.02/911.03 c N dy 3394 4403882 2099 49013 0 137534 201370 3881795 44.08 47.96 --
916.22/916.21 c N dy 3504 4423883 2099 49013 0 157368 201370 5071507 44.10 47.99 --
921.92/921.93 c N dy 3597 4444362 2099 49013 0 177652 201370 6286630 44.10 46.62 --
924.82/924.85 c N dy 3724 4464405 2099 49013 0 105149 201370 1832602 44.14 46.78 --
928.72/928.73 c N dy 3829 4484628 2099 49013 0 125190 201370 3030814 44.14 47.06 --
933.42/933.40 c N dy 3920 4504760 2099 49013 0 145162 201370 4215984 44.13 46.59 --
938.71/938.71 c N dy 4012 4524971 2099 49013 0 165165 201370 5411430 44.14 46.86 --
944.93/944.92 c N dy 4132 4545042 2099 49013 0 185084 201370 6617350 44.16 47.13 --
948.92/948.93 c N dy 4251 4565143 2099 49013 0 111631 201370 2157027 44.18 46.52 --
953.12/953.17 c N dy 4370 4585305 2099 49013 0 131639 201370 3382042 44.21 46.83 --
958.02/958.08 c N dy 4478 4605374 2099 49013 0 151554 201370 4587912 44.22 46.80 --
963.53/963.53 c N dy 4573 4625398 2099 49013 0 171410 201370 5789951 44.21 46.68 --
970.12/970.16 c N dy 4708 4645523 2099 49013 0 96965 201370 1188674 44.26 46.96 --
973.92/973.93 c N dy 4828 4665621 2099 49013 0 116885 201370 2387582 44.28 46.86 --
978.42/978.43 c N dy 4931 4685628 2099 49013 0 136710 201370 3564531 44.28 46.87 --
983.62/983.67 c N dy 5045 4705645 2099 49013 0 156548 201370 4762523 44.30 48.21 --
989.72/989.79 c N dy 5161 4725678 2099 49013 0 176419 201370 5964780 44.31 50.98 --
995.22/995.22 c N dy 5256 4746036 2099 49013 0 101251 201370 1379209 44.31 46.85 --
999.12/999.14 c N dy 5373 4766047 2099 49013 0 121094 201370 2592806 44.34 48.44 --
1003.72/1003.76 c N dy 5486 4786067 2099 49013 0 140947 201370 3790668 44.35 47.27 --
1009.02/1009.03 c N dy 5589 4806139 2099 49013 0 160832 201370 4996588 44.37 46.95 --
1015.02/1015.00 c N dy 5689 4827345 2099 49013 0 181836 201370 6293198 44.38 46.82 --
1020.62/1020.60 c N dy 5802 4847431 2099 49013 0 105405 201370 1582030 44.39 47.20 --
1023.92/1023.90 c N dy 5923 4867501 2099 49013 0 125347 201370 2813864 44.42 47.07 --
1028.02/1028.06 c N dy 6041 4887768 2099 49013 0 145453 201370 4061048 44.44 47.35 --
1033.32/1033.35 c N dy 6150 4907800 2099 49013 0 165315 201370 5266606 44.45 55.83 --
1039.03/1039.04 c N dy 6245 4927901 2099 49013 0 185235 201370 6485930 44.45 46.90 --
1044.12/1044.13 c N dy 6333 4947937 2099 49013 0 107751 201370 1635178 44.44 46.83 --
1048.34/1048.31 c N dy 6442 4967988 2099 49013 0 127648 201370 2844159 44.46 46.97 --
1053.32/1053.31 c N dy 6565 4988008 2099 49013 0 147527 201370 4043918 44.47 49.87 --
1059.13/1059.13 c N dy 6678 5008093 2099 49013 0 167421 201370 5248093 44.49 47.77 --
1065.62/1065.67 c N dy 6786 5028127 2099 49013 0 187290 201370 6466426 44.50 47.26 --
1070.93/1070.92 c N dy 6881 5048229 2099 49013 0 108865 201370 1648232 44.49 53.80 --
1075.13/1075.17 c N dy 6998 5068274 2099 49013 0 128712 201370 2852023 44.51 47.05 --
1079.63/1079.64 c N dy 7065 5088300 2099 49013 0 148517 201370 4067554 44.49 48.14 --
1086.02/1086.02 c N dy 7179 5110665 2099 49013 0 170680 201370 5396881 44.50 47.07 --
1092.63/1092.68 c N dy 7296 5130942 2099 49013 0 190794 201370 6636670 44.51 46.94 --
1098.12/1098.10 c N dy 7409 5150990 2099 49013 0 111387 201370 1739823 44.53 47.39 --
1102.42/1102.48 c N dy 7530 5171091 2099 49013 0 131335 201370 2953928 44.54 47.33 --
1107.74/1107.73 c N dy 7650 5191225 2099 49013 0 151315 201370 4160096 44.55 47.21 --
1113.92/1113.91 c N dy 7785 5211276 2099 49013 0 171205 201370 5372508 44.58 55.11 --
1120.73/1120.73 c N dy 7906 5231311 2099 49013 0 191074 201370 6577256 44.59 47.40 --
1126.53/1126.55 c N dy 8031 5251400 2099 49013 0 110667 201370 1632753 44.60 47.54 --
1130.73/1130.79 c N dy 8144 5271674 2099 49013 0 130737 201370 2854478 44.62 47.31 --
1135.72/1135.70 c N dy 8244 5291907 2099 49013 0 150755 201370 4081076 44.63 47.39 --
1141.73/1141.73 c N dy 8358 5312946 2099 49013 0 171636 201370 5347799 44.64 47.79 --
1148.22/1148.20 c N dy 8471 5333049 2099 49013 0 191553 201370 6572042 44.65 47.34 --
1154.13/1154.18 c N dy 8590 5353096 2099 49013 0 110179 201370 1561656 44.67 47.08 --
1158.63/1158.61 c N dy 8721 5373238 2099 49013 0 130181 201370 2797491 44.69 47.48 --
1163.73/1163.74 c N dy 8832 5393756 2099 49013 0 150529 201370 4041879 44.70 47.18 --
1169.53/1169.56 c N dy 8932 5413804 2099 49013 0 170430 201370 5258602 44.70 49.48 --
1176.13/1176.15 c N dy 9053 5433874 2099 49013 0 190364 201370 6498298 44.72 54.48 --
1182.23/1182.27 c N dy 9151 5453916 2099 49013 0 107882 201370 1345463 44.72 53.94 --
1186.33/1186.31 c N dy 9273 5473932 2099 49013 0 127752 201370 2582562 44.74 47.27 --
1191.13/1191.16 c N dy 9395 5494011 2099 49013 0 147651 201370 3811789 44.75 47.37 --
1196.53/1196.57 c N dy 9489 5514024 2099 49013 0 167457 201370 5006961 44.75 54.56 --
1202.93/1202.97 c N dy 9607 5534638 2099 49013 0 187907 201370 6281858 44.76 47.16 --
1209.93/1209.97 c N dy 9717 5554687 2099 49013 0 104503 201370 1078585 44.77 47.53 --
1213.92/1213.96 c N dy 9826 5574880 2099 49013 0 124511 201370 2308989 44.78 47.16 --
1218.73/1218.71 c N dy 9924 5595061 2099 49013 0 144510 201370 3518512 44.78 47.34 --
1224.43/1224.44 c N dy 10030 5615378 2099 49013 0 164644 201370 4734347 44.79 47.27 --
1230.63/1230.69 c N dy 10142 5635596 2099 49013 0 184714 201370 5990271 44.80 47.24 --
1237.83/1237.86 c N dy 10271 5655688 2099 49013 0 204646 201370 7221014 44.81 47.45 --
1242.83/1242.88 c N dy 10393 5675729 2099 49013 0 120258 201370 1982732 44.83 47.23 --
1247.03/1247.06 c N dy 10484 5695992 2099 49013 0 140342 201370 3238398 44.81 47.25 --
1252.53/1252.59 c N dy 10608 5716233 2099 49013 0 160369 201370 4468731 44.83 47.42 --
1259.03/1259.01 c N dy 10746 5736508 2099 49013 0 180490 201370 5704520 44.85 47.56 --
1266.23/1266.21 c N dy 10869 5756605 2099 49013 0 200383 201370 6923028 44.86 47.34 --
1272.33/1272.39 c N dy 10986 5776791 2099 49013 0 115169 201370 1622780 44.87 47.52 --
1276.73/1276.79 c N dy 11065 5797056 2099 49013 0 135220 201370 2854075 44.87 47.31 --
1281.44/1281.49 c N dy 11187 5817077 2099 49013 0 155097 201370 4103584 44.88 47.52 --
1287.43/1287.44 c N dy 11304 5837129 2099 49013 0 174972 201370 5317367 44.89 47.35 --
1294.13/1294.10 c N dy 11408 5857189 2099 49013 0 194852 201370 6532530 44.90 47.35 --
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-3370316-1305391421/watcher-3370316-1305391421 -o /tmp/evaluation-result-3370316-1305391421/solver-3370316-1305391421 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370316-1305391421.cnf
running on 2 cores: 1,3
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: 2.78 3.07 3.43 5/328 16530
/proc/meminfo: memFree=15666660/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=20420 CPUtime=0 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4194304 238 0 0 0 0 0 0 0 21 0 1 0 729372759 20910080 191 33554432000 4194304 4650387 140737347159120 18446744073709551615 231890527720 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16530/statm: 5105 191 157 112 0 57 0
[startup+0.0320009 s]
/proc/loadavg: 2.78 3.07 3.43 5/328 16530
/proc/meminfo: memFree=15666660/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=33136 CPUtime=0.02 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 1991 0 0 0 2 0 0 0 21 0 1 0 729372759 33931264 1931 33554432000 4194304 4650387 140737347159120 18446744073709551615 4520290 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 8284 1932 329 112 0 3249 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 33136
[startup+0.101004 s]
/proc/loadavg: 2.78 3.07 3.43 5/328 16530
/proc/meminfo: memFree=15666660/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=36028 CPUtime=0.09 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 2863 0 0 0 9 0 0 0 21 0 1 0 729372759 36892672 2737 33554432000 4194304 4650387 140737347159120 18446744073709551615 4371056 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 9007 2737 346 112 0 3972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36028
[startup+0.300951 s]
/proc/loadavg: 2.78 3.07 3.43 5/328 16530
/proc/meminfo: memFree=15666660/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=36292 CPUtime=0.29 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 2917 0 0 0 29 0 0 0 22 0 1 0 729372759 37163008 2791 33554432000 4194304 4650387 140737347159120 18446744073709551615 4370515 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 9073 2791 346 112 0 4038 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36292
[startup+0.700877 s]
/proc/loadavg: 2.78 3.07 3.43 5/328 16530
/proc/meminfo: memFree=15666660/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=59808 CPUtime=0.69 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 8863 0 0 0 68 1 0 0 23 0 1 0 729372759 61243392 7294 33554432000 4194304 4650387 140737347159120 18446744073709551615 4331965 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 14952 7294 379 112 0 9917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59808
[startup+1.50073 s]
/proc/loadavg: 2.78 3.07 3.43 5/329 16531
/proc/meminfo: memFree=15596056/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=59808 CPUtime=1.48 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 9848 0 0 0 147 1 0 0 25 0 1 0 729372759 61243392 8279 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 14952 8279 380 112 0 9917 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 59808
[startup+3.10042 s]
/proc/loadavg: 2.88 3.09 3.43 5/329 16531
/proc/meminfo: memFree=15573240/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=85136 CPUtime=3.09 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 16835 0 0 0 306 3 0 0 25 0 1 0 729372759 87179264 11294 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365205 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 21284 11294 383 112 0 16249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85136
[startup+6.30082 s]
/proc/loadavg: 2.88 3.09 3.43 5/329 16532
/proc/meminfo: memFree=15531196/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=96076 CPUtime=6.29 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 20592 0 0 0 626 3 0 0 25 0 1 0 729372759 98381824 13470 33554432000 4194304 4650387 140737347159120 18446744073709551615 4364753 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 24019 13470 383 112 0 18984 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96076
[startup+12.7006 s]
/proc/loadavg: 2.97 3.10 3.43 5/329 16532
/proc/meminfo: memFree=15496300/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=108124 CPUtime=12.69 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 23690 0 0 0 1265 4 0 0 25 0 1 0 729372759 110718976 16568 33554432000 4194304 4650387 140737347159120 18446744073709551615 4520222 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 27031 16568 383 112 0 21996 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108124
[startup+25.5002 s]
/proc/loadavg: 3.19 3.15 3.44 5/329 16532
/proc/meminfo: memFree=15463968/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=111232 CPUtime=25.49 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 30909 0 0 0 2543 6 0 0 25 0 1 0 729372759 113901568 20239 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 27808 20239 383 112 0 22773 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111232
[startup+51.1004 s]
/proc/loadavg: 3.47 3.21 3.46 5/329 16533
/proc/meminfo: memFree=15430996/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=114240 CPUtime=51.09 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 37229 0 0 0 5102 7 0 0 25 0 1 0 729372759 116981760 21453 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365160 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 28560 21453 383 112 0 23525 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114240
[startup+102.312 s]
/proc/loadavg: 3.79 3.34 3.48 5/329 16534
/proc/meminfo: memFree=15398448/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=156452 CPUtime=102.3 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 85630 0 0 0 10213 17 0 0 25 0 1 0 729372759 160206848 20712 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366899 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 39113 20712 383 112 0 34078 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 156452
[startup+162.301 s]
/proc/loadavg: 3.95 3.47 3.52 5/329 16536
/proc/meminfo: memFree=15356248/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=166260 CPUtime=162.29 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 136325 0 0 0 16200 29 0 0 25 0 1 0 729372759 170250240 19591 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 41565 19591 383 112 0 36530 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 166260
[startup+222.3 s]
/proc/loadavg: 3.98 3.57 3.55 5/329 16537
/proc/meminfo: memFree=15321840/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=135688 CPUtime=222.3 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 187670 0 0 0 22189 41 0 0 25 0 1 0 729372759 138944512 26810 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366784 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 33922 26810 383 112 0 28887 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 135688
[startup+282.301 s]
/proc/loadavg: 3.99 3.64 3.57 5/329 16539
/proc/meminfo: memFree=15295128/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=201232 CPUtime=282.29 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 221755 0 0 0 28181 48 0 0 25 0 1 0 729372759 206061568 31094 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366787 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 50308 31094 383 112 0 45273 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 201232
[startup+342.301 s]
/proc/loadavg: 4.03 3.72 3.60 5/329 16541
/proc/meminfo: memFree=15287888/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=219300 CPUtime=342.3 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 255790 0 0 0 34174 56 0 0 25 0 1 0 729372759 224563200 33415 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 54825 33415 383 112 0 49790 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 219300
[startup+402.301 s]
/proc/loadavg: 4.01 3.76 3.62 5/329 16542
/proc/meminfo: memFree=15292040/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=135688 CPUtime=402.29 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 277322 0 0 0 40167 62 0 0 25 0 1 0 729372759 138944512 26863 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366787 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 33922 26863 383 112 0 28887 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 135688
[startup+462.301 s]
/proc/loadavg: 4.08 3.82 3.65 5/329 16544
/proc/meminfo: memFree=15279100/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=201232 CPUtime=462.3 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 298528 0 0 0 46164 66 0 0 25 0 1 0 729372759 206061568 27354 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365291 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 50308 27354 383 112 0 45273 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 201232
[startup+522.3 s]
/proc/loadavg: 4.08 3.87 3.67 5/329 16545
/proc/meminfo: memFree=15271864/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=201232 CPUtime=522.3 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 320640 0 0 0 52158 72 0 0 25 0 1 0 729372759 206061568 27448 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 50308 27448 383 112 0 45273 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 201232
[startup+582.301 s]
/proc/loadavg: 4.03 3.89 3.69 5/329 16547
/proc/meminfo: memFree=15244040/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=220540 CPUtime=582.31 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 348193 0 0 0 58153 78 0 0 25 0 1 0 729372759 225832960 34238 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365171 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 55135 34238 383 112 0 50100 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 220540
[startup+642.301 s]
/proc/loadavg: 4.06 3.92 3.71 5/329 16549
/proc/meminfo: memFree=15241748/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=220912 CPUtime=642.31 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 376248 0 0 0 64147 84 0 0 25 0 1 0 729372759 226213888 35591 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 55228 35591 383 112 0 50193 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 220912
[startup+702.301 s]
/proc/loadavg: 4.02 3.93 3.73 5/329 16550
/proc/meminfo: memFree=15198056/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=155908 CPUtime=702.31 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 412947 0 0 0 70137 94 0 0 25 0 1 0 729372759 159649792 29660 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 38977 29660 383 112 0 33942 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 155908
[startup+762.312 s]
/proc/loadavg: 4.01 3.94 3.74 5/329 16552
/proc/meminfo: memFree=15202956/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=221572 CPUtime=762.32 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 440758 0 0 0 76131 101 0 0 25 0 1 0 729372759 226889728 41597 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366796 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 55393 41597 383 112 0 50358 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 221572
[startup+822.301 s]
/proc/loadavg: 4.11 3.98 3.76 5/329 16553
/proc/meminfo: memFree=15219252/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=159624 CPUtime=822.31 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 465098 0 0 0 82122 109 0 0 25 0 1 0 729372759 163454976 32902 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 39906 32902 383 112 0 34871 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 159624
[startup+882.301 s]
/proc/loadavg: 4.08 4.00 3.78 5/329 16555
/proc/meminfo: memFree=15166728/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=159624 CPUtime=882.31 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 474505 0 0 0 88119 112 0 0 25 0 1 0 729372759 163454976 32902 33554432000 4194304 4650387 140737347159120 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 39906 32902 383 112 0 34871 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 159624
[startup+942.301 s]
/proc/loadavg: 4.03 4.00 3.79 5/329 16557
/proc/meminfo: memFree=15173244/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=224048 CPUtime=942.32 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 484093 0 0 0 94117 115 0 0 25 0 1 0 729372759 229425152 35739 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 56012 35739 383 112 0 50977 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 224048
[startup+1002.3 s]
/proc/loadavg: 4.01 4.00 3.80 5/329 16558
/proc/meminfo: memFree=15185552/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=223640 CPUtime=1002.32 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 491921 0 0 0 100114 118 0 0 25 0 1 0 729372759 229007360 33002 33554432000 4194304 4650387 140737347159120 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 55910 33002 383 112 0 50875 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 223640
[startup+1062.3 s]
/proc/loadavg: 4.12 4.02 3.82 5/329 16569
/proc/meminfo: memFree=15133616/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=223532 CPUtime=1062.33 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 501877 0 0 0 106112 121 0 0 25 0 1 0 729372759 228896768 35472 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365257 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 55883 35472 383 112 0 50848 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 223532
[startup+1122.3 s]
/proc/loadavg: 4.04 4.02 3.83 5/329 16570
/proc/meminfo: memFree=15106508/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=223516 CPUtime=1122.33 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 510550 0 0 0 112108 125 0 0 25 0 1 0 729372759 228880384 36486 33554432000 4194304 4650387 140737347159120 18446744073709551615 4364730 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 55879 36486 383 112 0 50844 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 223516
[startup+1182.3 s]
/proc/loadavg: 4.09 4.03 3.84 5/329 16572
/proc/meminfo: memFree=15112664/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=171932 CPUtime=1182.33 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 522106 0 0 0 118105 128 0 0 25 0 1 0 729372759 176058368 35979 33554432000 4194304 4650387 140737347159120 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 42983 35979 383 112 0 37948 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 171932
[startup+1242.3 s]
/proc/loadavg: 4.03 4.02 3.85 5/329 16574
/proc/meminfo: memFree=15125380/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=171932 CPUtime=1242.33 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 530546 0 0 0 124102 131 0 0 25 0 1 0 729372759 176058368 35980 33554432000 4194304 4650387 140737347159120 18446744073709551615 4364730 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 42983 35980 383 112 0 37948 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 171932
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.01 4.02 3.85 2/325 16578
/proc/meminfo: memFree=15520180/32950928 swapFree=67085488/67111528
[pid=16530] ppid=16528 vsize=236096 CPUtime=1300.04 cores=1,3
/proc/16530/stat : 16530 (strangenight1-s) R 16528 16530 16108 0 -1 4202496 539193 0 0 0 129870 134 0 0 25 0 1 0 729372759 241762304 40304 33554432000 4194304 4650387 140737347159120 18446744073709551615 4364760 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16530/statm: 59024 40304 383 112 0 53989 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 236096
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.02
CPU time (s): 1300.06
CPU user time (s): 1298.71
CPU system time (s): 1.34979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 240760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.71
system time used= 1.34979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539195
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= 2409
runsolver used 3.67744 second user time and 9.36258 second system time
The end
Begin job on node114 at 2011-05-14 18:43:41
IDJOB=3370316
IDBENCH=83248
IDSOLVER=1847
FILE ID=node114/3370316-1305391421
RUNJOBID= node114-1305391420-16490
PBS_JOBID= 13324419
Free space on /tmp= 72952 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
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-3370316-1305391421/watcher-3370316-1305391421 -o /tmp/evaluation-result-3370316-1305391421/solver-3370316-1305391421 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370316-1305391421.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= a52d60bf6e72caa628ad712a5fe0fb7a
RANDOM SEED=893979638
node114.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.848
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.69
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.848
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.848
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.848
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.73
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.848
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.74
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.848
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: 32950928 kB
MemFree: 15667312 kB
Buffers: 266020 kB
Cached: 6229392 kB
SwapCached: 96 kB
Active: 11920244 kB
Inactive: 4953352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 15667312 kB
SwapTotal: 67111528 kB
SwapFree: 67085488 kB
Dirty: 33508 kB
Writeback: 0 kB
AnonPages: 10378340 kB
Mapped: 27464 kB
Slab: 307900 kB
PageTables: 37612 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 52541516 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= 72960 MiB
End job on node114 at 2011-05-14 19:05:23