Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Pueblo 1.3 | SAT | 1103.59 | 1103.92 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb |
MD5SUM | 30ece871aa3028bf4a3db0aa3daf115a |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.021996 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1260 |
Total number of constraints | 926 |
Number of constraints which are clauses | 868 |
Number of constraints which are cardinality constraints (but not clauses) | 58 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 31 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06 c Pueblo version 1.4 (September 2005) 0.06 c Developed @ University of Michigan, Ann Arbor, MI 0.06 c by Hossein Sheini 0.11 c starting to Solve 0.11 c #variables read: 1260 - #constraints read: 926 1103.91 c total time : 1103.75 s 1103.91 s SATISFIABLE 1103.91 v -x569 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x782 -x855 -x856 1103.91 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x708 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1103.91 v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x375 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1103.91 v -x1047 x1048 -x1049 -x1050 -x153 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x580 1103.91 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x130 -x444 -x1163 -x1164 -x1165 -x1166 1103.91 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x399 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1103.91 v x961 -x962 -x963 -x964 -x965 -x966 -x11 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 1103.91 v -x797 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x44 -x1023 -x1024 1103.91 v -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x426 -x911 -x912 -x913 -x914 -x915 x916 1103.91 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x749 -x61 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 1103.91 v -x852 -x853 -x854 -x53 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 1103.91 v -x796 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x669 -x605 -x897 1103.91 v -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x744 -x614 -x70 -x205 -x1177 -x1178 -x1179 1103.91 v -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x314 -x234 -x321 -x1121 -x1122 -x1123 -x1124 1103.91 v -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x357 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 1103.91 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x658 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 1103.91 v -x1229 -x1230 -x1231 -x1232 -x639 -x652 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1103.91 v -x1147 -x1148 -x671 -x409 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 1103.91 v -x102 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x252 -x310 -x703 x1009 1103.91 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x107 -x417 -x109 -x257 -x833 1103.91 v -x445 -x353 -x318 -x750 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1103.91 v -x448 -x238 -x303 -x498 -x545 -x52 -x31 -x803 -x348 -x723 -x247 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1103.91 v -x935 -x936 -x937 -x938 -x447 -x13 -x423 -x407 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1103.91 v -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x411 -x570 -x98 -x939 1103.91 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x146 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 1103.91 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x579 -x280 -x526 x181 -x319 -x791 -x730 -x370 -x408 -x295 x651 1103.91 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x410 -x412 -x413 -x414 -x415 -x416 1103.91 v -x418 -x419 -x420 -x597 -x469 -x667 -x560 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 1103.91 v -x1119 -x1120 -x592 -x22 -x525 -x45 -x24 -x129 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1103.91 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x206 -x207 -x208 -x209 -x210 -x625 -x32 -x33 -x34 -x35 -x36 -x37 1103.91 v -x38 x39 -x40 -x41 -x42 -x43 -x46 -x47 -x48 -x49 -x50 -x51 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x235 -x595 -x511 -x297 -x784 -x883 1103.91 v -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x315 -x481 -x561 -x606 -x80 x598 -x741 -x436 1103.91 v x263 -x381 -x307 -x572 -x136 -x539 -x3 -x600 -x615 -x556 -x222 -x687 -x551 -x457 -x311 -x19 -x565 -x127 -x271 -x364 -x97 -x366 1103.91 v -x721 -x722 -x724 -x725 -x726 -x727 -x728 -x729 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x742 -x743 -x745 1103.91 v -x746 -x747 -x748 -x99 -x513 -x471 -x553 -x670 -x313 -x330 -x15 -x152 -x346 -x468 -x377 -x470 -x302 -x544 -x706 -x516 -x350 1103.91 v -x251 -x698 -x369 -x524 -x133 -x581 -x607 -x529 -x382 -x151 -x474 -x673 x627 -x705 -x466 -x686 -x116 -x81 -x795 -x178 -x335 1103.91 v -x479 -x472 -x214 -x644 -x811 -x264 -x296 -x141 -x828 x4 -x84 -x340 -x276 -x674 -x488 -x503 -x640 -x497 -x132 -x156 -x442 1103.91 v -x306 -x172 -x6 -x273 -x79 -x571 -x573 -x574 -x575 -x576 -x577 -x578 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1103.91 v -x591 -x593 -x594 -x596 -x599 -x613 -x618 -x694 -x389 -x270 -x480 x140 -x345 -x145 -x7 -x487 -x830 -x478 -x493 -x390 -x281 1103.91 v x840 -x676 -x163 -x10 -x541 -x542 -x543 -x546 -x547 -x548 -x549 -x550 -x552 x554 -x555 -x557 -x558 -x559 -x562 -x563 -x564 1103.91 v -x566 -x567 -x568 x452 -x69 -x122 -x534 -x255 -x177 -x495 -x160 -x664 -x298 -x272 -x267 -x277 -x441 -x829 -x422 -x656 -x789 1103.91 v x63 -x260 -x334 -x510 -x324 -x360 -x148 -x633 -x179 -x704 -x113 -x642 -x537 -x623 -x253 -x467 -x91 -x293 -x371 -x517 -x265 1103.91 v -x139 -x450 -x338 -x217 -x301 -x378 -x819 -x323 -x66 -x691 -x710 -x17 -x818 x356 -x427 -x439 -x100 -x73 -x124 -x67 -x707 -x821 1103.91 v -x453 -x636 -x679 -x349 -x374 -x678 -x824 -x692 -x693 -x695 -x696 -x697 -x699 -x700 x701 -x702 -x709 -x711 -x712 -x713 -x714 1103.91 v -x715 -x716 -x717 -x718 -x719 -x720 -x489 -x661 -x662 -x663 -x665 -x666 -x668 x672 -x675 -x677 -x680 -x681 -x682 -x683 -x684 1103.91 v -x685 -x688 -x689 -x690 -x604 -x176 -x134 -x2 -x512 -x514 -x515 -x518 -x519 -x520 -x521 -x522 -x523 -x527 x528 -x530 -x531 1103.91 v -x532 -x533 -x535 -x536 -x538 -x540 -x112 -x23 -x787 -x28 -x812 -x25 -x482 -x326 -x249 -x813 -x361 -x362 -x363 -x365 -x367 1103.91 v -x368 -x372 -x373 -x376 x379 -x380 -x383 -x384 -x385 -x386 -x387 -x388 -x358 -x110 -x233 -x341 -x610 -x328 -x473 -x279 -x137 1103.91 v -x88 -x638 -x799 -x278 -x117 -x162 -x823 -x464 -x282 -x68 -x504 -x236 x226 -x18 -x96 -x166 -x449 -x118 -x288 -x312 -x224 -x485 1103.91 v -x332 -x654 -x320 -x483 -x621 -x428 -x635 -x104 -x76 -x620 -x500 -x343 -x837 -x220 -x143 -x648 -x248 -x237 -x212 -x455 -x21 1103.91 v -x331 -x333 -x336 -x337 -x339 -x342 -x344 -x347 -x351 -x352 -x354 -x355 -x359 -x645 -x119 -x832 -x62 -x227 -x85 -x460 -x634 1103.91 v -x499 -x147 -x792 -x609 -x244 -x601 -x106 -x121 -x167 -x174 -x817 -x229 -x219 -x309 -x790 -x461 -x794 -x262 -x82 -x783 -x603 1103.91 v -x75 -x631 -x632 -x637 -x641 -x643 -x646 -x647 -x649 -x650 -x653 -x655 -x657 -x659 -x660 -x785 -x285 -x440 -x800 -x128 -x602 1103.91 v -x815 -x626 -x506 -x429 -x211 -x90 -x622 -x507 -x256 -x484 -x801 -x462 -x421 -x424 -x425 -x430 -x431 -x432 -x433 -x434 -x435 1103.91 v -x437 -x438 -x443 -x446 -x64 -x171 -x290 -x93 -x126 -x101 -x456 -x454 -x508 -x831 -x165 -x608 -x611 -x612 -x616 -x617 -x619 1103.91 v -x624 -x628 -x629 -x630 -x316 -x496 -x29 -x173 -x781 -x786 -x788 -x793 -x798 -x802 -x804 x805 -x806 -x807 -x808 -x809 -x810 1103.91 v -x258 -x138 -x123 -x87 -x225 -x322 -x230 -x834 -x92 -x94 -x95 -x103 -x105 -x108 -x111 x114 -x115 -x120 -x239 -x835 -x161 -x509 1103.91 v -x269 -x826 -x125 -x268 -x492 -x232 -x838 -x78 -x246 -x30 -x463 -x822 -x274 -x275 -x283 -x284 -x286 -x287 -x289 -x291 x292 1103.91 v -x294 -x299 -x300 -x317 -x1 -x5 -x8 -x9 -x12 -x14 -x16 -x20 -x26 -x27 -x261 -x501 -x175 -x505 -x74 -x491 -x228 -x245 -x135 -x77 1103.91 v -x825 -x451 -x254 -x325 -x155 -x458 -x459 -x465 -x475 -x476 -x477 -x486 x490 -x494 -x502 -x157 -x266 -x242 -x180 -x144 -x169 1103.91 v -x131 -x142 -x149 -x150 -x215 -x814 -x170 -x231 -x154 x158 -x159 -x164 -x168 -x241 -x243 -x213 -x304 -x839 -x218 -x65 -x327 1103.91 v -x827 -x250 -x89 -x72 x305 -x308 -x329 -x216 -x221 -x223 -x240 -x820 -x71 -x83 -x86 -x816 -x259 -x836
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-37390-1149233990 -o ROOT/results/node50/solver-37390-1149233990 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node50/37390-1149233990/instance-37390-1149233990.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 30065 /proc/meminfo: memFree=1402456/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=172 CPUtime=0 /proc/30065/stat : 30065 (Pueblo13) D 30063 30065 30020 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 189066135 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7918372 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/30065/statm: 43 23 18 16 0 2 0 [startup+10.003 s] /proc/loadavg: 0.93 0.95 0.90 2/64 30065 /proc/meminfo: memFree=1398048/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=6760 CPUtime=9.93 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1315 0 0 0 993 0 0 0 25 0 1 0 189066135 6922240 1286 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 1690 1286 205 16 0 1131 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 6760 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1397536/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=7400 CPUtime=19.93 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1474 0 0 0 1993 0 0 0 25 0 1 0 189066135 7577600 1445 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 1850 1445 205 16 0 1291 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 7400 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1397408/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=7400 CPUtime=29.94 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1490 0 0 0 2993 1 0 0 25 0 1 0 189066135 7577600 1461 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 1850 1461 205 16 0 1291 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 7400 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1397216/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=7664 CPUtime=39.94 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1558 0 0 0 3993 1 0 0 25 0 1 0 189066135 7847936 1529 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 1916 1529 205 16 0 1357 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 7664 [startup+50.0266 s] /proc/loadavg: 0.96 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1397152/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=7668 CPUtime=49.95 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1566 0 0 0 4994 1 0 0 25 0 1 0 189066135 7852032 1536 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 1917 1536 205 16 0 1358 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 7668 [startup+60.0325 s] /proc/loadavg: 0.97 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1396832/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8120 CPUtime=59.95 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1682 0 0 0 5994 1 0 0 25 0 1 0 189066135 8314880 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563552 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2030 1636 205 16 0 1471 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 8120 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1396832/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8120 CPUtime=69.96 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1682 0 0 0 6995 1 0 0 25 0 1 0 189066135 8314880 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2030 1636 205 16 0 1471 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 8120 [startup+80.0453 s] /proc/loadavg: 0.98 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1396768/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8248 CPUtime=79.96 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1698 0 0 0 7995 1 0 0 25 0 1 0 189066135 8445952 1652 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517896 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2062 1652 205 16 0 1503 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 8248 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1396704/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8240 CPUtime=89.96 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1715 0 0 0 8995 1 0 0 25 0 1 0 189066135 8437760 1669 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2060 1669 205 16 0 1501 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 8240 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1396768/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8208 CPUtime=99.96 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1720 0 0 0 9995 1 0 0 25 0 1 0 189066135 8404992 1665 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2052 1665 205 16 0 1493 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 8208 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/64 30065 /proc/meminfo: memFree=1396768/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8144 CPUtime=109.97 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1720 0 0 0 10996 1 0 0 25 0 1 0 189066135 8339456 1655 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2036 1655 205 16 0 1477 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 8144 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1396320/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8732 CPUtime=119.97 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1847 0 0 0 11996 1 0 0 25 0 1 0 189066135 8941568 1782 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2183 1782 205 16 0 1624 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 8732 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1396256/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8572 CPUtime=129.97 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1847 0 0 0 12996 1 0 0 25 0 1 0 189066135 8777728 1762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2143 1762 205 16 0 1584 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 8572 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1396384/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8608 CPUtime=139.97 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1901 0 0 0 13996 1 0 0 25 0 1 0 189066135 8814592 1759 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2152 1759 205 16 0 1593 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 8608 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1396384/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=8380 CPUtime=149.98 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1901 0 0 0 14997 1 0 0 25 0 1 0 189066135 8581120 1714 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2095 1714 205 16 0 1536 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 8380 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1395872/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=9160 CPUtime=159.98 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2072 0 0 0 15997 1 0 0 25 0 1 0 189066135 9379840 1885 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2290 1885 205 16 0 1731 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 9160 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1395744/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=9236 CPUtime=169.98 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2102 0 0 0 16997 1 0 0 25 0 1 0 189066135 9457664 1915 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2309 1915 205 16 0 1750 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 9236 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1395552/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=9440 CPUtime=179.99 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2149 0 0 0 17998 1 0 0 25 0 1 0 189066135 9666560 1962 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2360 1962 205 16 0 1801 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 9440 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1395104/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=9900 CPUtime=190 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2290 0 0 0 18998 2 0 0 25 0 1 0 189066135 10137600 2071 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2475 2071 205 16 0 1916 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 9900 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1395104/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=9864 CPUtime=200 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2290 0 0 0 19998 2 0 0 25 0 1 0 189066135 10100736 2071 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 2466 2071 205 16 0 1907 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 9864 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1395104/2055920 swapFree=4181340/4192956 ################ # More data... # ################ /proc/30065/statm: 3297 2898 205 16 0 2738 0 Current children cumulated CPU time (s) 890.23 Current children cumulated vsize (Kb) 13188 [startup+900.52 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391648/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13080 CPUtime=900.24 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3425 0 0 0 90021 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134554355 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3270 2889 205 16 0 2711 0 Current children cumulated CPU time (s) 900.24 Current children cumulated vsize (Kb) 13080 [startup+910.526 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391648/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13080 CPUtime=910.24 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3425 0 0 0 91021 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3270 2889 205 16 0 2711 0 Current children cumulated CPU time (s) 910.24 Current children cumulated vsize (Kb) 13080 [startup+920.532 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391648/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13080 CPUtime=920.24 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3425 0 0 0 92021 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3270 2889 205 16 0 2711 0 Current children cumulated CPU time (s) 920.24 Current children cumulated vsize (Kb) 13080 [startup+930.538 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391584/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13212 CPUtime=930.25 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3452 0 0 0 93022 3 0 0 25 0 1 0 189066135 13529088 2916 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3303 2916 205 16 0 2744 0 Current children cumulated CPU time (s) 930.25 Current children cumulated vsize (Kb) 13212 [startup+940.544 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391584/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13080 CPUtime=940.25 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3452 0 0 0 94022 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3270 2889 205 16 0 2711 0 Current children cumulated CPU time (s) 940.25 Current children cumulated vsize (Kb) 13080 [startup+950.55 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391584/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13080 CPUtime=950.25 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3452 0 0 0 95022 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517803 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3270 2889 205 16 0 2711 0 Current children cumulated CPU time (s) 950.25 Current children cumulated vsize (Kb) 13080 [startup+960.556 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391328/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13472 CPUtime=960.26 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3547 0 0 0 96023 3 0 0 25 0 1 0 189066135 13795328 2984 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3368 2984 205 16 0 2809 0 Current children cumulated CPU time (s) 960.26 Current children cumulated vsize (Kb) 13472 [startup+970.562 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391520/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13080 CPUtime=970.26 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3547 0 0 0 97023 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3270 2889 205 16 0 2711 0 Current children cumulated CPU time (s) 970.26 Current children cumulated vsize (Kb) 13080 [startup+980.567 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391520/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13080 CPUtime=980.26 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3547 0 0 0 98023 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3270 2889 205 16 0 2711 0 Current children cumulated CPU time (s) 980.26 Current children cumulated vsize (Kb) 13080 [startup+990.573 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391456/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13344 CPUtime=990.27 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3601 0 0 0 99024 3 0 0 25 0 1 0 189066135 13664256 2943 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558762 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3336 2943 205 16 0 2777 0 Current children cumulated CPU time (s) 990.27 Current children cumulated vsize (Kb) 13344 [startup+1000.58 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391136/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13712 CPUtime=1000.27 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 100024 3 0 0 25 0 1 0 189066135 14041088 3030 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3428 3030 205 16 0 2869 0 Current children cumulated CPU time (s) 1000.27 Current children cumulated vsize (Kb) 13712 [startup+1010.59 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391136/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13576 CPUtime=1010.27 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 101024 3 0 0 25 0 1 0 189066135 13901824 3012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3394 3012 205 16 0 2835 0 Current children cumulated CPU time (s) 1010.27 Current children cumulated vsize (Kb) 13576 [startup+1020.59 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391200/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13400 CPUtime=1020.28 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 102025 3 0 0 25 0 1 0 189066135 13721600 2968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3350 2968 205 16 0 2791 0 Current children cumulated CPU time (s) 1020.28 Current children cumulated vsize (Kb) 13400 [startup+1030.6 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391200/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13400 CPUtime=1030.28 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 103025 3 0 0 25 0 1 0 189066135 13721600 2968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134561378 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3350 2968 205 16 0 2791 0 Current children cumulated CPU time (s) 1030.28 Current children cumulated vsize (Kb) 13400 [startup+1040.6 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1391200/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=13664 CPUtime=1040.28 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3730 0 0 0 104025 3 0 0 25 0 1 0 189066135 13991936 3007 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3416 3007 205 16 0 2857 0 Current children cumulated CPU time (s) 1040.28 Current children cumulated vsize (Kb) 13664 [startup+1050.61 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1390368/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=14448 CPUtime=1050.29 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3939 0 0 0 105026 3 0 0 25 0 1 0 189066135 14794752 3211 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517916 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3612 3211 205 16 0 3053 0 Current children cumulated CPU time (s) 1050.29 Current children cumulated vsize (Kb) 14448 [startup+1060.61 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1390432/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=14156 CPUtime=1060.29 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3939 0 0 0 106026 3 0 0 25 0 1 0 189066135 14495744 3157 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3539 3157 205 16 0 2980 0 Current children cumulated CPU time (s) 1060.29 Current children cumulated vsize (Kb) 14156 [startup+1070.62 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=14416 CPUtime=1070.29 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 107026 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3604 3222 205 16 0 3045 0 Current children cumulated CPU time (s) 1070.29 Current children cumulated vsize (Kb) 14416 [startup+1080.62 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=14416 CPUtime=1080.3 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 108027 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557675 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3604 3222 205 16 0 3045 0 Current children cumulated CPU time (s) 1080.3 Current children cumulated vsize (Kb) 14416 [startup+1090.63 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=14416 CPUtime=1090.3 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 109027 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3604 3222 205 16 0 3045 0 Current children cumulated CPU time (s) 1090.3 Current children cumulated vsize (Kb) 14416 [startup+1100.64 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30065 /proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956 [pid=30065] ppid=30063 vsize=14416 CPUtime=1100.3 /proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 110027 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0 /proc/30065/statm: 3604 3222 205 16 0 3045 0 Current children cumulated CPU time (s) 1100.3 Current children cumulated vsize (Kb) 14416 Child status: 10 Real time (s): 1103.92 CPU time (s): 1103.59 CPU user time (s): 1103.55 CPU system time (s): 0.034994 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (Kb): 14448
Begin job on node50 on Fri Jun 2 07:39:50 UTC 2006 FILE ID= 37390-1149233990 PBS_JOBID= 296724 BENCH NAME= ROOT/tmp/node50/37390-1149233990/instance-37390-1149233990.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node50/37390-1149233990/instance-37390-1149233990.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-37390-1149233990 -o ROOT/results/node50/solver-37390-1149233990 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node50/37390-1149233990/instance-37390-1149233990.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 30ece871aa3028bf4a3db0aa3daf115a RANDOM SEED= 721133651 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1402664 kB Buffers: 28124 kB Cached: 552768 kB SwapCached: 3432 kB Active: 51052 kB Inactive: 538812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1402664 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14916 kB Slab: 49364 kB Committed_AS: 211272 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node50 on Fri Jun 2 07:58:14 UTC 2006