0.00/0.00 c *** MUSer: a MUS extractor ***
0.00/0.00 c *** release date: 2011210 ***
0.00/0.00 c *** release ref: f95464aa99ac ***
0.00/0.00 c *** built: 2011-Feb-10 00:59 ***
0.00/0.00 c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00 c
0.00/0.00 c *** instance: HOME/instance-3493743-1307802661.cnf ***
0.00/0.00 c
0.01/0.03 c Parsing CPU Time: 0.029995
0.01/0.03 c Running MUSer ...
9.19/9.28 c 0.00% completed ...
43.90/43.91 c 20.22% completed ...
117.40/117.40 c 38.05% completed ...
300.49/300.55 c 56.19% completed ...
382.88/382.93 c 61.21% completed ...
387.78/387.80 c 81.30% completed ...
471.79/471.83 c 96.41% completed ...
479.99/480.04 c 100.00% completed ...
479.99/480.04 c MUS size: 2955
479.99/480.04 s UNSATISFIABLE
479.99/480.04 v 6971 5830 1103 149 4066 1536 4499 6955 1087 133 1605 1520 5365 4483 6939 1071 13989 117 13614 1589 1504 4467 1055 3060 1573 4018 1488 5333 4451 1039 14206 85 767 1557 1472 4435 1023 69 751 15072 3986 6442 1456 4419 6875 3298 1007 53 735 1440 7741 4403 6859 991 5718 37 719 6410 1424 4387 317 13490 5702 975 21 703 8158 2980 301 4371 6827 3258 5686 959 5 687 6119 4355 285 6811 943 6209 8126 6103 8559 4339 269 927 6193 5205 5638 911 639 8094 14113 6071 14995 5189 4307 3329 30398 895 5622 6055 1328 5173 4291 5606 879 4724 8062 1312 6039 14500 5590 30366 15026 591 4708 6023 774 1296 195 3781 8030 575 1280 6007 4243 7581 6699 5558 4676 559 13630 14887 1264 5991 13800 8447 4227 5542 543 4660 7998 5975 1248 5093 8431 6667 14222 527 4644 1232 5077 8415 14036 4195 14918 5510 511 1216 3896 8399 6635 495 1200 4163 13897 5478 14423 479 14067 13692 7052 1184 4147 4580 463 7036 1168 5013 5446 4564 447 7902 1152 6571 431 1136 13537 8319 4099 28309 6988 1120 4965 4083 6972 5831 1104 1537 6956 1088 1521 5366 4484 1072 13990 14516 1590 1505 5350 13785 6924 1056 3061 4019 1574 1489 4452 3489 1040 768 6306 1558 1473 4436 13646 1024 752 6443 1457 1008 736 3013 1441 6427 7742 4404 6860 5719 992 720 2997 14934 1425 318 7726 6844 13491 976 704 2981 3206 4372 302 5687 960 688 8143 286 6812 944 672 8127 6104 4340 270 3233 928 6194 8544 4324 254 912 14114 14996 5623 30399 3330 896 8079 6056 1329 5174 880 5607 3314 8063 1313 5158 14857 14501 5591 30367 15027 4709 8047 592 775 1297 5575 4693 576 3123 6008 1281 8464 4244 560 14888 5992 1265 4228 6684 4661 544 1249 5976 8432 4212 6668 5527 528 7983 5960 1233 5078 8416 14037 4196 14919 6652 512 4629 1217 5062 8400 4180 496 7069 1201 14254 13898 14424 4597 480 7935 13693 1185 4148 464 7037 1169 4132 5447 4565 14285 448 1153 6572 5431 432 5864 13538 1137 183 6556 6989 5848 1121 167 8304 4084 6973 5832 1105 151 4950 1538 4501 28310 1089 135 1522 3136 4485 13991 1073 119 1591 1506 5351 4469 1057 3062 103 1575 4020 1490 5335 4453 6909 1041 87 769 1559 4004 1474 4437 6893 14192 1025 71 753 6291 3030 15074 1458 4421 6877 1009 737 3014 6428 1442 4405 5720 993 39 721 2998 3148 13678 6412 1426 7727 319 13492 6845 5704 977 23 705 4373 7711 303 6829 5688 961 7 8144 6121 4357 287 945 6211 8128 673 6105 5223 271 929 657 6089 255 4325 913 14115 6073 14997 4309 5624 30400 3331 897 6057 1330 5608 881 3315 4726 6041 1314 5159 14502 30368 15028 8048 593 6025 776 1298 197 7599 6717 5576 4694 8032 577 6009 1282 8465 5560 4678 561 8016 14889 14177 1266 8449 13802 4229 545 5977 1250 5095 4213 5528 529 1234 3913 8417 14038 14920 6653 513 1218 5063 8401 4181 3124 6637 5496 497 4614 7070 1202 4165 13899 14425 4598 481 14069 7054 1186 5031 4582 465 1170 4133 449 1154 8337 4117 5432 433 13539 1138 4101 6557 5416 5849 1122 6541 6974 5833 1106 4069 1539 4502 3247 6958 1090 4935 1523 5368 4486 6942 13992 1074 1592 1507 4470 1058 28311 1576 1491 5336 4454 1042 770 1560 1475 4438 14193 1026 754 6445 1459 4422 6878 1010 738 3015 6276 1443 7744 4406 6862 3287 3459 994 722 14936 6413 1427 4390 320 13493 5705 978 706 2983 7712 304 6830 5689 962 8145 6122 4358 288 6814 13710 946 6212 8129 6106 3137 272 4342 930 6196 658 5208 256 914 8097 6074 14998 4310 30401 5625 898 6058 1331 5176 4294 5609 882 8065 4727 14333 1315 14859 14503 30369 5593 15029 594 4711 6026 777 1299 13586 8033 578 6010 1283 6702 5561 4679 562 14890 1267 8450 29888 4230 5545 546 8001 13617 4663 5978 1251 5096 8434 4214 6670 530 4647 1235 3914 5080 8418 14039 4198 14921 5513 514 1219 8402 6638 498 1203 8386 4166 13900 5481 14426 482 7055 1187 4583 466 7039 1171 5449 4567 450 7905 1155 6574 13726 434 13540 1139 185 8322 3223 4102 5417 5850 1123 4086 6542 5834 1107 153 1540 4503 6959 1091 137 1524 5369 4487 13993 1075 14519 1593 14163 1508 5353 4471 6927 1059 3064 105 13602 1577 1492 4455 3491 1043 89 3048 13854 6309 1561 1476 4439 14194 1027 73 755 3032 15076 3248 1545 28312 6446 1460 1011 57 739 3016 6430 1444 7745 4407 6863 5722 995 41 723 3000 1428 321 4391 7729 6847 13494 5706 979 25 707 2984 4375 305 5690 963 9 8146 6123 14798 5241 289 4359 6815 947 6107 4343 273 931 6197 6091 4327 257 915 14117 14999 5626 899 627 8082 6059 1332 5177 883 5610 8066 14334 1316 5161 14504 5594 30370 15030 8050 595 4712 778 6027 1300 5578 4696 579 6011 1284 8467 563 14891 5995 14179 1268 13823 4231 6687 4664 547 13618 5979 1252 8435 4215 6671 5530 531 7986 5963 1236 5081 8419 14040 6655 515 4632 14736 1220 5065 8403 4183 499 7072 1204 8387 14427 4600 14071 483 1188 4151 5466 467 7040 13680 1172 4135 5450 451 1156 6575 5434 435 14272 13541 1140 3224 6559 5851 1124 8307 4087 6976 5835 1108 1541 4504 1092 1525 13994 1076 1594 1509 5354 1060 3065 13603 1578 1493 5338 4456 6912 1044 3049 1562 4007 1477 4440 6896 14195 1028 756 3033 6294 1546 1461 4424 6880 1012 740 3017 6431 1445 4408 13886 5723 996 724 14938 6415 1429 28313 7730 322 4392 6848 13495 5707 980 708 2985 4376 306 7714 6832 964 8147 6124 4360 290 8131 14257 5226 274 932 6092 258 4328 916 6182 15000 8532 4312 5627 900 628 6060 5611 884 3318 4729 6044 1317 5162 14861 14505 30371 15031 8051 596 6028 779 1301 5579 8035 4697 580 1285 8468 5563 564 14892 4681 8019 1269 8452 3492 13805 4232 548 13619 5980 1253 5098 4216 5531 532 1237 8420 14041 4200 6656 5515 14211 516 1221 5066 8404 4184 6640 5499 500 4617 7073 1205 8388 4168 14428 4601 484 7057 1189 5034 13511 4585 468 7923 13681 1173 4136 452 1157 4120 5435 436 14273 13542 1141 6407 187 3960 4104 6560 5419 5852 1125 171 3210 6544 6977 5836 1109 6375 4072 1542 4505 6961 1093 4938 1526 4489 13995 1077 123 1595 14165 1510 1061 107 3066 13604 1579 1494 5339 4457 1045 91 3050 1563 14382 1478 4441 1029 75 757 15078 3034 1547 6448 1462 13635 6881 1013 59 741 6279 28787 1446 7747 4409 6865 997 5724 43 725 3002 6416 1430 323 4393 13496 5708 981 27 709 2986 7715 307 4377 6833 5692 965 11 6125 4361 291 6817 949 6215 8132 6109 4345 275 6199 8116 3785 5211 259 917 3774 8100 6077 15001 4313 901 5628 29522 6061 5179 4297 5612 885 3319 8068 4730 1318 14506 15032 597 4714 6029 780 1302 201 5147 8036 581 1286 6013 7587 6705 5564 4682 565 14181 1270 5997 8453 13825 4233 5548 549 13620 4666 8004 5981 1254 8437 5099 4217 6673 533 4650 1238 5083 8421 4201 5516 517 14738 1222 8405 6641 501 1206 8389 4169 5484 485 14073 7058 1190 4153 4586 469 7042 13682 1174 5019 4137 5452 4570 453 1158 4121 6577 437 14274 13543 1142 8325 4105 5420 1126 5853 3211 4089 6545 5837 1110 1543 6962 1094 1527 4490 3164 6946 1078 13996 14522 1596 14166 1511 5356 4474 6930 1062 13605 1580 1495 4458 1046 3051 1564 1479 4442 1030 758 3035 1548 6449 1463 4426 1014 742 6433 1447 7748 4410 6866 5725 14414 998 726 3003 1431 324 4394 7732 6850 13497 710 2987 4378 308 5693 8149 2971 6126 292 6818 950 14259 678 8133 6110 4346 276 934 6200 8117 6094 8550 260 13950 918 6184 14120 15002 5629 902 8085 29523 6062 5180 886 5613 8069 1319 6046 5164 14507 5597 15033 4715 8053 598 1303 781 13590 5581 4699 582 6014 1287 8470 566 5998 1271 13826 4234 6690 4667 550 13621 1255 8438 4218 6674 5533 4651 534 7989 5966 1239 5084 8422 14043 6658 518 4635 1223 5068 8406 4186 502 7075 3775 1207 8390 486 1191 4154 5469 470 7043 13683 1175 4138 5453 4571 454 1159 6578 5437 14275 438 13544 1143 189 6562 5854 1127 173 8310 3212 4090 6979 1111 157 4956 4074 1544 4507 6963 1095 5822 141 1528 6947 1079 13997 125 1597 1512 5357 4475 1063 109 13606 4908 3068 1581 1496 5341 4459 6915 1047 93 1565 1480 14910 4443 6899 1031 77 759 15080 6297 3036 1549 3994 6450 1464 6883 3306 1015 61 743 3020 6434 1448 4411 5726 999 45 727 3004 3962 6418 1432 7733 325 4395 6851 13498 5710 983 2988 711 309 4379 7717 6835 967 5694 13 8150 2972 6127 4363 293 951 8134 679 13904 5229 277 4347 935 6095 261 4331 919 14121 15003 4315 5630 903 29524 5614 887 4732 1320 13982 5165 14508 15034 8054 599 6031 782 1304 5149 203 7605 5582 8038 4700 583 1288 6015 8471 5566 4684 567 8022 1272 14183 8455 13827 4235 3764 551 13622 14879 5983 1256 4219 5534 4652 535 1240 8423 6659 5518 30294 14214 519 14740 1224 5069 8407 4187 6643 5502 503 4620 7076 1208 8391 4171 4604 487 14075 7060 1192 13889 4588 471 13684 1176 4139 455 1160 4123 5438 439 14276 1144 13545 4107 6563 5422 423 5855 1128 6547 6980 1112 5839 4075 14307 4508 6964 1096 4941 1529 4492 1080 14524 1598 1513 14168 1064 3069 13607 1582 1497 5342 4460 1048 3053 4011 1566 1481 5326 4444 1032 760 1550 1465 13638 6884 3307 1016 744 6282 3021 1449 7750 4412 6868 5727 1000 728 3005 3963 14942 6419 1433 4396 326 13499 5711 984 712 7718 310 6836 5695 968 696 6234 8151 2973 6128 4364 294 6820 952 6218 8135 3799 6112 4348 278 936 6202 8119 5214 262 920 648 8103 14478 14122 6080 15004 4316 904 29525 6064 5182 4300 3463 5615 888 4733 1321 15035 600 4717 6032 1305 783 5150 13592 3175 8039 584 6016 1289 6708 5567 14014 4685 568 3117 1273 8456 13828 4236 5551 552 4669 8007 13623 14880 5984 1257 8440 4220 536 5968 1241 5086 8424 4204 5519 14215 520 1225 8408 6644 504 1209 8392 4172 5487 488 14076 7061 1193 4156 13890 14416 4589 472 7045 13685 1177 5022 5455 4573 456 7911 1161 4124 6580 440 14277 13546 1145 8328 4108 5423 424 5856 1129 175 4092 6548 14494 6981 5840 1113 159 6965 5824 1097 143 1530 4493 6949 1081 127 1599 1514 5359 4477 6933 1065 111 13608 1583 1498 1049 95 6315 3054 1567 1482 5327 14030 4445 1033 3038 761 15082 1551 1466 4429 3308 1017 63 745 6436 1450 7751 4413 6869 5728 1001 47 729 3006 3154 3964 1434 7735 327 4397 13500 6853 5712 985 31 713 2990 4381 311 5696 969 15 697 8152 2974 295 4365 6821 953 6113 4349 279 937 6203 665 8120 6097 263 921 6187 649 5199 5632 905 8088 28303 6065 5183 889 5616 6049 1322 5167 5600 15036 4718 601 8056 784 6033 1306 14850 5584 4702 585 6017 1290 8473 569 6001 14185 1274 13829 4237 6693 5552 4670 553 13624 14881 5985 1258 8441 4221 5536 4654 537 7992 3800 5969 1242 8425 5087 14046 6661 521 4638 14742 1226 5071 8409 4189 14912 505 7078 1210 8393 14077 489 1194 13891 5472 14417 473 13686 7046 1178 4141 5456 4574 457 1162 6581 5440 14278 441 13547 1146 21973 4109 6565 425 5857 1130 8313 4093 3877 6982 5841 1114 4077 4510 1098 1531 4494 6950 1082 14526 1600 14170 1515 5360 4478 13984 1066 3071 13609 28840 1584 1499 5344 4462 6918 1050 3055 4013 1568 1483 4446 1034 15083 762 3039 6300 3997 1552 1467 3309 1018 746 3023 6437 1451 4414 5729 1002 730 3965 6421 1435 30056 7736 328 4398 6854 3281 5713 986 714 2991 312 7720 6838 3268 970 8153 698 2975 6130 4366 296 954 8137 6114 5232 280 938 666 6098 264 4334 3155 922 6188 8538 4318 906 5617 890 4735 1323 5168 5601 8057 6034 785 1307 28304 5152 13594 14851 14495 5585 4703 8041 586 1291 8474 5569 570 4687 6002 14186 1275 8458 13830 4238 554 13625 14882 5986 1259 13795 4222 5537 30313 4655 538 5970 1243 8426 4206 6662 5521 14217 522 1227 5072 8410 4190 14913 6646 5505 506 4623 7079 1211 5056 8394 4174 490 14078 7063 1195 13892 14418 4591 474 7929 13687 1179 4142 458 1163 4126 28937 5441 14279 442 13548 1147 193 6566 5425 426 5858 1131 177 6550 6983 5842 1115 161 4078 4511 6967 1099 3801 145 4944 1532 4495 1083 129 1601 1516 13985 1067 3072 113 13610 1585 1500 5345 4463 1051 97 3056 1569 4014 1484 5329 4447 14558 6903 1035 81 763 1553 1468 13641 6887 1019 65 747 3024 6285 1452 7753 4415 6871 5730 1003 49 731 3008 3966 6422 1436 4399 329 13502 5714 987 33 715 2992 7721 313 6839 5698 971 17 699 6131 4367 297 6823 955 6221 8138 14264 683 6115 13533 4351 281 939 6205 8122 5217 265 923 6083 4319 5634 907 6067 5185 4303 3325 5618 4736 6051 1324 1 15038 603 4720 6035 786 1308 5153 207 14496 8042 587 6019 1292 7593 6711 5570 4688 8026 571 14187 1276 8459 28305 4239 5554 555 8010 14883 4672 5987 1260 8443 13796 4223 539 5971 1244 3923 8427 5089 4207 5522 14218 523 14744 1228 8411 14032 14914 6647 30282 507 1212 5057 8395 4175 5490 491 7064 1196 4159 13893 13518 14419 4592 14063 475 7048 13688 1180 5025 5458 4576 459 4127 28938 6583 14280 443 1148 8331 4111 5426 427 1132 4095 6551 5843 1116 4512 6968 5827 1100 1533 4496 6952 1084 1602 14172 1517 5362 15054 4480 6936 13986 1068 13611 1586 1501 4464 3497 1052 3057 1570 4015 1485 5330 4448 1036 764 1554 1469 4432 1020 748 6439 1453 7754 4416 6872 1004 3009 732 1437 330 4400 7738 6856 988 716 2993 14930 30042 4384 314 3879 5699 972 700 2977 8155 6132 298 6824 956 684 8139 6116 13534 4352 282 940 6206 8123 6100 8556 4336 266 924 6190 14126 5202 5635 908 8091 6068 14992 5186 4304 892 5619 30395 3326 6052 1325 5170 5603 4721 604 8059 6036 1309 13596 14853 14497 5587 15023 4705 588 6020 771 1293 572 8027 6004 1277 4240 6696 5555 4673 556 13627 14884 1261 13797 8444 4224 5539 540 4657 7995 5972 1245 3924 5090 8428 6664 28306 524 4641 1229 5074 14033 8412 4192 14915 5507 508 1213 8396 6632 492 1197 4160 13894 14420 5475 476 7049 13689 1181 4144 4577 460 1165 6584 5443 4561 14281 444 13550 1149 6568 428 1133 179 8316 4096 6985 3466 1117 163 4080 4513 1101 147 1534 6953 1085 131 1603 1518 5363 4481 13987 1069 13612 115 14513 1587 1502 5347 4465 6921 1053 99 1571 1486 4449 1037 83 765 6303 1555 1470 1021 3026 67 749 3984 28795 6440 1454 51 733 3010 6424 1438 7739 331 4401 5716 989 35 717 6255 2994 7723 315 6841 3271 973 5700 19 701 2978 6133 4369 299 957 3 8140 6117 283 3243 941 6101 267 925 6191 4321 909 3768 14993 3327 5620 30396 893 4738 8076 1326 5171 5604 8060 1310 5155 14498 7611 5588 15024 8044 589 4706 772 1294 6021 5572 4690 573 6005 1278 8461 4241 557 13628 14885 5989 1262 13798 4225 6681 5540 4658 541 1246 8429 4209 6665 5524 14220 525 14746 3791 1230 5957 5075 8413 14034 4193 14916 6649 509 4626 1214 5059 8397 4177 493 7066 28307 1198 13895 14421 4594 477 14065 13690 1182 4145 461 1166 4129 5444 14282 445 1150 6569 5428 429 5861 1134 6553 6986 5845 1118 8301 4081 13582 4514 6970 1102 5829 4947 1535 4498 6954 1086 1604 14174 1519 1070 13988 3075 1588 1503 5348 4466 1054 3059 1572 4017 1487 5332 4450 6906 1038 766 1556 1471 13644 4434 6890 1022 3027 750 6288 1455 4418 6874 3297 1006 734 3011 6425 1439 4402 5717 990 718 14932 7724 316 6842 3272 13489 5701 974 702 6240 2979 6134 4370 300 6826 958 6224 8141 6118 4354 284 942 6208 8125 5220 268 926 6086 4322 910 638 6070 14994 5188 8526 4306 5621 3328 894 30397 4739 1327 6054 878 4723 6038 1311 5156 13598 14855 14499 30365 15025 8045 590 6022 773 1295 6714 5573 4691 8029 574 1279 14190 8462 4242 5557 558 13629 14886 4675 8013 1263 8446 13799 4226 542 5974 1247 5092 4210 5525 526 1231 8414 14035 14917 6650 30285 510 1215 3895 5060 8398 4178 6634 5493 494 4611 3769 7067 1199 4162 13896 14422 4595 478 7051 13691 1183 5028 4579 462 7917 1167 28308 4130 14283 446 1151 8334 4114 5429 430 13536 1135 4098 6554 6987 5846 1119 165 0
479.99/480.04 c Terminating MUSer ...
479.99/480.04 c CPU Time: 479.91
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3493743-1307802661/watcher-3493743-1307802661 -o /tmp/evaluation-result-3493743-1307802661/solver-3493743-1307802661 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493743-1307802661.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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.92 3.98 3.53 4/189 2112
/proc/meminfo: memFree=29310348/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=4164 CPUtime=0 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 508 0 0 0 0 0 0 0 25 0 1 0 891865915 4263936 462 33554432000 4194304 5696331 140734613003824 18446744073709551615 4965734 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 1041 463 114 367 0 671 0
[startup+0.0205299 s]
/proc/loadavg: 3.92 3.98 3.53 4/189 2112
/proc/meminfo: memFree=29310348/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=8600 CPUtime=0.01 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 1640 0 0 0 1 0 0 0 25 0 1 0 891865915 8806400 1594 33554432000 4194304 5696331 140734613003824 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 2150 1594 114 367 0 1780 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8600
[startup+0.100514 s]
/proc/loadavg: 3.92 3.98 3.53 4/189 2112
/proc/meminfo: memFree=29310348/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=14200 CPUtime=0.09 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 3386 0 0 0 9 0 0 0 25 0 1 0 891865915 14540800 3191 33554432000 4194304 5696331 140734613003824 18446744073709551615 4393526 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 3550 3192 143 367 0 3180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14200
[startup+0.30048 s]
/proc/loadavg: 3.92 3.98 3.53 4/189 2112
/proc/meminfo: memFree=29310348/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=15844 CPUtime=0.29 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 3812 0 0 0 29 0 0 0 25 0 1 0 891865915 16224256 3617 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400090 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 3961 3617 143 367 0 3591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15844
[startup+0.700406 s]
/proc/loadavg: 3.92 3.98 3.53 4/189 2112
/proc/meminfo: memFree=29310348/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=18700 CPUtime=0.69 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 4519 0 0 0 69 0 0 0 25 0 1 0 891865915 19148800 4324 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 4675 4324 143 367 0 4305 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18700
[startup+1.50027 s]
/proc/loadavg: 3.92 3.98 3.53 5/190 2113
/proc/meminfo: memFree=29291640/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=23128 CPUtime=1.49 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 5585 0 0 0 149 0 0 0 25 0 1 0 891865915 23683072 5390 33554432000 4194304 5696331 140734613003824 18446744073709551615 4380994 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 5782 5390 143 367 0 5412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23128
[startup+3.10099 s]
/proc/loadavg: 3.92 3.98 3.53 5/190 2113
/proc/meminfo: memFree=29285820/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=30744 CPUtime=3.09 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 7402 0 0 0 308 1 0 0 25 0 1 0 891865915 31481856 7207 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 7686 7207 143 367 0 7316 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30744
[startup+6.30042 s]
/proc/loadavg: 3.93 3.98 3.53 7/190 2113
/proc/meminfo: memFree=29289736/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=28560 CPUtime=6.29 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 12369 0 0 0 627 2 0 0 25 0 1 0 891865915 29245440 6793 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400285 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 7140 6793 144 367 0 6770 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28560
[startup+12.7003 s]
/proc/loadavg: 3.93 3.98 3.54 5/190 2114
/proc/meminfo: memFree=29244864/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=71764 CPUtime=12.69 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 33164 0 0 0 1264 5 0 0 25 0 1 0 891865915 73486336 17602 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400192 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 17941 17602 150 367 0 17571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71764
[startup+25.501 s]
/proc/loadavg: 4.03 3.99 3.55 5/190 2114
/proc/meminfo: memFree=29137360/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=173892 CPUtime=25.49 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 58721 0 0 0 2540 9 0 0 25 0 1 0 891865915 178065408 43148 33554432000 4194304 5696331 140734613003824 18446744073709551615 4394442 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 43473 43148 150 367 0 43103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 173892
[startup+51.1005 s]
/proc/loadavg: 4.02 3.99 3.56 5/190 2115
/proc/meminfo: memFree=29116728/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=194352 CPUtime=51.09 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 63870 0 0 0 5099 10 0 0 25 0 1 0 891865915 199016448 48294 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 48588 48294 150 367 0 48218 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 194352
[startup+102.306 s]
/proc/loadavg: 4.01 3.99 3.58 5/190 2116
/proc/meminfo: memFree=29116456/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=194352 CPUtime=102.3 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 63883 0 0 0 10220 10 0 0 25 0 1 0 891865915 199016448 48307 33554432000 4194304 5696331 140734613003824 18446744073709551615 4394287 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 48588 48307 150 367 0 48218 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 194352
[startup+162.301 s]
/proc/loadavg: 4.04 4.01 3.61 5/190 2118
/proc/meminfo: memFree=29108328/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=202440 CPUtime=162.29 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 65894 0 0 0 16218 11 0 0 25 0 1 0 891865915 207298560 50314 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400709 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 50610 50314 150 367 0 50240 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 202440
[startup+222.3 s]
/proc/loadavg: 4.01 4.00 3.63 5/190 2119
/proc/meminfo: memFree=29092556/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=218020 CPUtime=222.28 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 70314 0 0 0 22217 11 0 0 25 0 1 0 891865915 223252480 54220 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 54505 54220 150 367 0 54135 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 218020
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.65 5/190 2121
/proc/meminfo: memFree=29082232/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=282.29 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 28217 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 227792
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.67 5/190 2283
/proc/meminfo: memFree=30341000/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=342.29 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 34217 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4401376 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 227792
[startup+402.3 s]
/proc/loadavg: 4.06 4.01 3.69 5/190 2285
/proc/meminfo: memFree=29850388/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=402.28 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 40216 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400709 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 227792
[startup+462.301 s]
/proc/loadavg: 4.02 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30397700/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=462.28 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 46216 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4411616 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 227792
Solver just ended. Dumping a history of the last processes samples
[startup+473.501 s]
/proc/loadavg: 4.02 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30405384/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=473.48 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 47336 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 473.48
Current children cumulated vsize (KiB) 227792
[startup+476.7 s]
/proc/loadavg: 4.01 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30349704/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=476.68 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 47656 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4380894 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 476.68
Current children cumulated vsize (KiB) 227792
[startup+478.301 s]
/proc/loadavg: 4.01 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30320760/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=478.28 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 47816 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4391872 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 478.28
Current children cumulated vsize (KiB) 227792
[startup+479.101 s]
/proc/loadavg: 4.01 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30311460/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=479.08 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 47896 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 479.08
Current children cumulated vsize (KiB) 227792
[startup+479.501 s]
/proc/loadavg: 4.01 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30282320/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=479.49 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 47937 12 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 479.49
Current children cumulated vsize (KiB) 227792
[startup+479.901 s]
/proc/loadavg: 4.01 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30282320/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=479.89 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 47976 13 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400136 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 479.89
Current children cumulated vsize (KiB) 227792
[startup+480.001 s]
/proc/loadavg: 4.01 4.01 3.71 5/190 2327
/proc/meminfo: memFree=30282320/32950928 swapFree=67055156/67111528
[pid=2112] ppid=2110 vsize=227792 CPUtime=479.99 cores=5,7
/proc/2112/stat : 2112 (muser) R 2110 2112 1663 0 -1 4202496 74414 0 0 0 47986 13 0 0 25 0 1 0 891865915 233259008 56684 33554432000 4194304 5696331 140734613003824 18446744073709551615 4400192 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/2112/statm: 56948 56684 150 367 0 56578 0
Current children cumulated CPU time (s) 479.99
Current children cumulated vsize (KiB) 227792
Child status: 20
Real time (s): 480.056
CPU time (s): 480.054
CPU user time (s): 479.913
CPU system time (s): 0.140978
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 234412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 479.913
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74415
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= 3
involuntary context switches= 781
runsolver used 0.760884 second user time and 1.86072 second system time
The end
Begin job on node123 at 2011-06-11 16:31:01
IDJOB=3493743
IDBENCH=83448
IDSOLVER=1969
FILE ID=node123/3493743-1307802661
RUNJOBID= node123-1307800702-1684
PBS_JOBID= 13551056
Free space on /tmp= 74132 MiB
SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N15.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493743-1307802661/watcher-3493743-1307802661 -o /tmp/evaluation-result-3493743-1307802661/solver-3493743-1307802661 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493743-1307802661.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 118efc8c27ac8b98e0191aab5293839d
RANDOM SEED=1242145215
node123.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.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
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.838
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.75
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.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
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.80
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.838
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.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29310768 kB
Buffers: 293968 kB
Cached: 1005960 kB
SwapCached: 10356 kB
Active: 2633888 kB
Inactive: 809828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29310768 kB
SwapTotal: 67111528 kB
SwapFree: 67055156 kB
Dirty: 1988 kB
Writeback: 0 kB
AnonPages: 2141136 kB
Mapped: 14904 kB
Slab: 126680 kB
PageTables: 9168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2383212 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= 74172 MiB
End job on node123 at 2011-06-11 16:39:01