Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | SAT | 857.033 | 857.335 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb |
MD5SUM | c1cdfd7e4f6debefea2730ce19b0db2d |
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.021995 |
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 | 1305 |
Total number of constraints | 958 |
Number of constraints which are clauses | 899 |
Number of constraints which are cardinality constraints (but not clauses) | 59 |
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.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node11/41096-1149230902/instance-41096-1149230902.opb ...... 857.29 c done parsing opb. 857.29 s SATISFIABLE 857.29 c Total Run Time 856.951 857.29 v -x1 -x10 -x100 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 857.29 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 857.29 v -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 857.29 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 857.29 v x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 857.29 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 857.29 v -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 857.29 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 857.29 v -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 x1143 -x1144 857.29 v -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 x116 -x1160 857.29 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 857.29 v -x1177 -x1178 -x1179 -x118 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 857.29 v x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 857.29 v -x1209 -x121 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 x1222 -x1223 -x1224 857.29 v -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 857.29 v -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 857.29 v -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 857.29 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 857.29 v -x129 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 857.29 v -x1305 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 857.29 v -x15 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 857.29 v -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 857.29 v -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 x200 -x201 -x202 -x203 -x204 -x205 -x206 857.29 v -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 x223 -x224 -x225 857.29 v -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 x243 -x244 857.29 v -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 857.29 v -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x28 -x280 -x281 -x282 857.29 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 857.29 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 857.29 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 857.29 v -x34 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 857.29 v -x359 x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 857.29 v -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 x390 -x391 -x392 -x393 -x394 -x395 -x396 857.29 v -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 x414 -x415 857.29 v -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 x430 -x431 -x432 -x433 -x434 857.29 v -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 857.29 v -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 857.29 v -x473 -x474 x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 x491 857.29 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 857.29 v -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 857.29 v -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 857.29 v -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 857.29 v -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 857.29 v -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 857.29 v -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 x623 857.29 v -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 857.29 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 857.29 v -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 857.29 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 857.29 v -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 857.29 v -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 857.29 v -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 857.29 v -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 x772 -x773 -x774 -x775 857.29 v -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 857.29 v -x795 x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 857.29 v -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x83 -x830 -x831 -x832 857.29 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 857.29 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 857.29 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 857.29 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 857.29 v -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 857.29 v -x929 -x93 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 857.29 v -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 x965 -x966 857.29 v -x967 -x968 x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 857.29 v x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
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/node11/watcher-41096-1149230902 -o ROOT/results/node11/solver-41096-1149230902 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41096-1149230902/instance-41096-1149230902.opb 471201844 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 2/64 21931 /proc/meminfo: memFree=1358976/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=1532 CPUtime=0 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 192 0 0 0 0 0 0 0 19 0 1 0 188752731 1568768 167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 383 168 100 232 0 148 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.94 2/64 21931 /proc/meminfo: memFree=1332384/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=35776 CPUtime=9.99 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 6787 0 0 0 994 5 0 0 25 0 1 0 188752731 36634624 6754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 8944 6754 105 232 0 8709 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 35776 [startup+20.0083 s] /proc/loadavg: 0.94 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1321328/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=39036 CPUtime=20 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 9717 0 0 0 1984 16 0 0 25 0 1 0 188752731 39972864 9538 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 9759 9538 105 232 0 9524 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 39036 [startup+30.0145 s] /proc/loadavg: 0.95 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1316080/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=73704 CPUtime=30 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 11026 0 0 0 2982 18 0 0 25 0 1 0 188752731 75472896 10847 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 18426 10847 105 232 0 18191 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 73704 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1293488/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=80160 CPUtime=40 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 16862 0 0 0 3979 21 0 0 25 0 1 0 188752731 82083840 16490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550790 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 20040 16490 105 232 0 19805 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 80160 [startup+50.0269 s] /proc/loadavg: 0.96 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1271600/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=151780 CPUtime=50 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 22321 0 0 0 4974 26 0 0 25 0 1 0 188752731 155422720 21949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 37945 21949 105 232 0 37710 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 151780 [startup+60.0321 s] /proc/loadavg: 0.97 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1254960/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=156772 CPUtime=60 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 26468 0 0 0 5971 29 0 0 25 0 1 0 188752731 160534528 26096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 39193 26096 105 232 0 38958 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 156772 [startup+70.0383 s] /proc/loadavg: 0.97 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1242736/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=157912 CPUtime=70.01 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 29519 0 0 0 6970 31 0 0 25 0 1 0 188752731 161701888 29147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 39478 29147 105 232 0 39243 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 157912 [startup+80.0445 s] /proc/loadavg: 0.98 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1231600/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=161816 CPUtime=80.01 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 32301 0 0 0 7968 33 0 0 25 0 1 0 188752731 165699584 31929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 40454 31929 105 232 0 40219 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 161816 [startup+90.0507 s] /proc/loadavg: 0.98 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1212976/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=165096 CPUtime=90.01 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 36937 0 0 0 8963 38 0 0 25 0 1 0 188752731 169058304 36565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 41274 36565 105 232 0 41039 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 165096 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1211184/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=165096 CPUtime=100.01 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 37382 0 0 0 9962 39 0 0 25 0 1 0 188752731 169058304 37010 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559033 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 41274 37010 105 232 0 41039 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 165096 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.94 2/64 21931 /proc/meminfo: memFree=1210864/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=166920 CPUtime=110.02 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 37832 0 0 0 10961 41 0 0 25 0 1 0 188752731 170926080 37075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 41730 37075 105 232 0 41495 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 166920 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1210672/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=166920 CPUtime=120.03 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 37896 0 0 0 11961 42 0 0 25 0 1 0 188752731 170926080 37139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559011 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 41730 37139 105 232 0 41495 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 166920 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1210096/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=167760 CPUtime=130.02 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 38041 0 0 0 12960 42 0 0 25 0 1 0 188752731 171786240 37284 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 41940 37284 105 232 0 41705 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 167760 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1208688/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=169488 CPUtime=140.03 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 38388 0 0 0 13960 43 0 0 25 0 1 0 188752731 173555712 37631 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 42372 37631 105 232 0 42137 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 169488 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1208240/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=169984 CPUtime=150.03 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 38505 0 0 0 14959 44 0 0 25 0 1 0 188752731 174063616 37748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 42496 37748 105 232 0 42261 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 169984 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1206768/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=171680 CPUtime=160.04 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 38863 0 0 0 15959 45 0 0 25 0 1 0 188752731 175800320 38106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 42920 38106 105 232 0 42685 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 171680 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1206320/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=171864 CPUtime=170.04 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 38982 0 0 0 16958 46 0 0 25 0 1 0 188752731 175988736 38225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 42966 38225 105 232 0 42731 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 171864 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1205040/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=173400 CPUtime=180.04 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 39295 0 0 0 17957 47 0 0 25 0 1 0 188752731 177561600 38538 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559009 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 43350 38538 105 232 0 43115 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 173400 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1204144/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=174552 CPUtime=190.05 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 39540 0 0 0 18957 48 0 0 25 0 1 0 188752731 178741248 38783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 43638 38783 105 232 0 43403 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 174552 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1203632/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=175072 CPUtime=200.05 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 39662 0 0 0 19957 48 0 0 25 0 1 0 188752731 179273728 38905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134586087 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 43768 38905 105 232 0 43533 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 175072 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1202160/2055920 swapFree=4181380/4192956 ################ # More data... # ################ /proc/21931/statm: 84822 57797 105 232 0 84587 0 Current children cumulated CPU time (s) 640.19 Current children cumulated vsize (Kb) 339288 [startup+650.394 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1127280/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339288 CPUtime=650.19 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 60936 0 0 0 64920 99 0 0 25 0 1 0 188752731 347430912 57873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84822 57873 105 232 0 84587 0 Current children cumulated CPU time (s) 650.19 Current children cumulated vsize (Kb) 339288 [startup+660.4 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1127088/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339288 CPUtime=660.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 60980 0 0 0 65919 101 0 0 25 0 1 0 188752731 347430912 57917 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84822 57917 105 232 0 84587 0 Current children cumulated CPU time (s) 660.2 Current children cumulated vsize (Kb) 339288 [startup+670.406 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1126896/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339288 CPUtime=670.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61036 0 0 0 66918 102 0 0 25 0 1 0 188752731 347430912 57973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84822 57973 105 232 0 84587 0 Current children cumulated CPU time (s) 670.2 Current children cumulated vsize (Kb) 339288 [startup+680.412 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1126640/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339288 CPUtime=680.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61088 0 0 0 67917 103 0 0 25 0 1 0 188752731 347430912 58025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84822 58025 105 232 0 84587 0 Current children cumulated CPU time (s) 680.2 Current children cumulated vsize (Kb) 339288 [startup+690.419 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1126448/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339740 CPUtime=690.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61144 0 0 0 68916 105 0 0 25 0 1 0 188752731 347893760 58081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84935 58081 105 232 0 84700 0 Current children cumulated CPU time (s) 690.21 Current children cumulated vsize (Kb) 339740 [startup+700.425 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1126192/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339740 CPUtime=700.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61194 0 0 0 69915 106 0 0 25 0 1 0 188752731 347893760 58131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84935 58131 105 232 0 84700 0 Current children cumulated CPU time (s) 700.21 Current children cumulated vsize (Kb) 339740 [startup+710.431 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1126064/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339740 CPUtime=710.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61239 0 0 0 70914 107 0 0 25 0 1 0 188752731 347893760 58176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84935 58176 105 232 0 84700 0 Current children cumulated CPU time (s) 710.21 Current children cumulated vsize (Kb) 339740 [startup+720.437 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1125872/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339740 CPUtime=720.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61295 0 0 0 71913 108 0 0 25 0 1 0 188752731 347893760 58232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84935 58232 105 232 0 84700 0 Current children cumulated CPU time (s) 720.21 Current children cumulated vsize (Kb) 339740 [startup+730.443 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1125616/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=339740 CPUtime=730.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61346 0 0 0 72912 109 0 0 25 0 1 0 188752731 347893760 58283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 84935 58283 105 232 0 84700 0 Current children cumulated CPU time (s) 730.21 Current children cumulated vsize (Kb) 339740 [startup+740.45 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1125360/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=340220 CPUtime=740.22 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61413 0 0 0 73912 110 0 0 25 0 1 0 188752731 348385280 58350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85055 58350 105 232 0 84820 0 Current children cumulated CPU time (s) 740.22 Current children cumulated vsize (Kb) 340220 [startup+750.456 s] /proc/loadavg: 0.99 0.97 0.94 2/64 21931 /proc/meminfo: memFree=1124720/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=340728 CPUtime=750.22 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61578 0 0 0 74910 112 0 0 25 0 1 0 188752731 348905472 58515 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85182 58515 105 232 0 84947 0 Current children cumulated CPU time (s) 750.22 Current children cumulated vsize (Kb) 340728 [startup+760.462 s] /proc/loadavg: 0.99 0.97 0.94 2/70 21986 /proc/meminfo: memFree=1123120/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=340728 CPUtime=760.22 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61663 0 0 0 75904 118 0 0 25 0 1 0 188752731 348905472 58600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85182 58600 105 232 0 84947 0 Current children cumulated CPU time (s) 760.22 Current children cumulated vsize (Kb) 340728 [startup+770.468 s] /proc/loadavg: 0.99 0.97 0.94 2/70 22052 /proc/meminfo: memFree=1122592/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=340728 CPUtime=770.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61772 0 0 0 76901 119 0 0 25 0 1 0 188752731 348905472 58709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85182 58709 105 232 0 84947 0 Current children cumulated CPU time (s) 770.2 Current children cumulated vsize (Kb) 340728 [startup+780.475 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1123224/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=340728 CPUtime=780.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61866 0 0 0 77899 121 0 0 25 0 1 0 188752731 348905472 58803 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85182 58803 105 232 0 84947 0 Current children cumulated CPU time (s) 780.2 Current children cumulated vsize (Kb) 340728 [startup+790.482 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1123104/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=341268 CPUtime=790.19 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 61947 0 0 0 78897 122 0 0 25 0 1 0 188752731 349458432 58884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85317 58884 105 232 0 85082 0 Current children cumulated CPU time (s) 790.19 Current children cumulated vsize (Kb) 341268 [startup+800.488 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1122664/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=341268 CPUtime=800.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 62053 0 0 0 79896 124 0 0 25 0 1 0 188752731 349458432 58990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564918 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85317 58990 105 232 0 85082 0 Current children cumulated CPU time (s) 800.2 Current children cumulated vsize (Kb) 341268 [startup+810.495 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1122216/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=341268 CPUtime=810.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 62151 0 0 0 80894 126 0 0 25 0 1 0 188752731 349458432 59088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85317 59088 105 232 0 85082 0 Current children cumulated CPU time (s) 810.2 Current children cumulated vsize (Kb) 341268 [startup+820.501 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1121960/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=341844 CPUtime=820.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 62242 0 0 0 81892 129 0 0 25 0 1 0 188752731 350048256 59179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85461 59179 105 232 0 85226 0 Current children cumulated CPU time (s) 820.21 Current children cumulated vsize (Kb) 341844 [startup+830.506 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1121640/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=341844 CPUtime=830.2 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 62315 0 0 0 82890 130 0 0 25 0 1 0 188752731 350048256 59252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85461 59252 105 232 0 85226 0 Current children cumulated CPU time (s) 830.2 Current children cumulated vsize (Kb) 341844 [startup+840.513 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1121192/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=341844 CPUtime=840.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 62422 0 0 0 83889 132 0 0 25 0 1 0 188752731 350048256 59359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85461 59359 105 232 0 85226 0 Current children cumulated CPU time (s) 840.21 Current children cumulated vsize (Kb) 341844 [startup+850.519 s] /proc/loadavg: 0.99 0.97 0.94 2/64 22126 /proc/meminfo: memFree=1121064/2055920 swapFree=4181380/4192956 [pid=21931] ppid=21929 vsize=342456 CPUtime=850.21 /proc/21931/stat : 21931 (PBS4L) R 21929 21931 21886 0 -1 4194304 62476 0 0 0 84887 134 0 0 25 0 1 0 188752731 350674944 59413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21931/statm: 85614 59413 105 232 0 85379 0 Current children cumulated CPU time (s) 850.21 Current children cumulated vsize (Kb) 342456 Child status: 0 Real time (s): 857.335 CPU time (s): 857.033 CPU user time (s): 855.636 CPU system time (s): 1.39679 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (Kb): 342456
Begin job on node11 on Fri Jun 2 06:48:22 UTC 2006 FILE ID= 41096-1149230902 PBS_JOBID= 296407 BENCH NAME= ROOT/tmp/node11/41096-1149230902/instance-41096-1149230902.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41096-1149230902/instance-41096-1149230902.opb 471201844 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-41096-1149230902 -o ROOT/results/node11/solver-41096-1149230902 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41096-1149230902/instance-41096-1149230902.opb 471201844 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= c1cdfd7e4f6debefea2730ce19b0db2d RANDOM SEED= 471201844 /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.222 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 : 5931.00 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.222 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: 1359184 kB Buffers: 34368 kB Cached: 585180 kB SwapCached: 3468 kB Active: 151692 kB Inactive: 476824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1359184 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14728 kB Slab: 54168 kB Committed_AS: 269212 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Fri Jun 2 07:02:39 UTC 2006