Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | SAT | 767.672 | 767.891 |
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.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb ...... 767.86 c done parsing opb. 767.86 s SATISFIABLE 767.86 c Total Run Time 767.603 767.86 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 767.86 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x103 767.86 v -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 767.86 v -x1047 -x1048 -x1049 -x105 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 767.86 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 767.86 v -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 767.86 v -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x111 -x1110 767.86 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 767.86 v -x1127 x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 767.86 v -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x115 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 767.86 v -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 767.86 v -x1176 -x1177 -x1178 -x1179 -x118 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 767.86 v -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 767.86 v -x1208 -x1209 -x121 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 767.86 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 767.86 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 767.86 v -x1256 x1257 -x1258 -x1259 x126 -x1260 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 767.86 v -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 767.86 v -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 767.86 v -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 x192 -x193 -x194 -x195 -x196 767.86 v -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 767.86 v -x215 -x216 x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x23 -x230 -x231 -x232 -x233 767.86 v -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 767.86 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 767.86 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x29 -x290 767.86 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 767.86 v x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 767.86 v -x329 -x33 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 767.86 v -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 767.86 v -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 767.86 v -x386 -x387 -x388 -x389 -x39 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 x404 767.86 v -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 767.86 v -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 767.86 v -x443 -x444 -x445 x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 767.86 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 767.86 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x5 767.86 v -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 767.86 v -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 767.86 v -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 767.86 v -x557 -x558 -x559 -x56 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 767.86 v -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 767.86 v -x595 -x596 -x597 x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 x611 -x612 -x613 767.86 v -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 767.86 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 767.86 v -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 767.86 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 767.86 v -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x7 x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 767.86 v -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 767.86 v -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 767.86 v -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 767.86 v -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 767.86 v -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 x802 -x803 -x804 767.86 v -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x82 -x820 -x821 -x822 -x823 767.86 v -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 767.86 v -x843 -x844 -x845 x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 767.86 v x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 767.86 v -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 767.86 v -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 767.86 v -x919 -x92 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 767.86 v -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 767.86 v -x957 -x958 -x959 -x96 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 767.86 v -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 767.86 v -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/node27/watcher-41120-1149233935 -o ROOT/results/node27/solver-41120-1149233935 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb 297136595 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.98 2/64 17327 /proc/meminfo: memFree=1306624/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=1536 CPUtime=0 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 193 0 0 0 0 0 0 0 19 0 1 0 189056969 1572864 168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867881 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 384 168 100 232 0 149 0 [startup+10.0019 s] /proc/loadavg: 0.87 0.94 0.98 2/64 17327 /proc/meminfo: memFree=1290512/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=22240 CPUtime=9.99 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 4306 0 0 0 983 16 0 0 25 0 1 0 189056969 22773760 4127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 5560 4127 105 232 0 5325 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 22240 [startup+20.0079 s] /proc/loadavg: 0.89 0.94 0.98 2/64 17327 /proc/meminfo: memFree=1265424/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=74608 CPUtime=20 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 10751 0 0 0 1979 21 0 0 25 0 1 0 189056969 76398592 10379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 18652 10379 105 232 0 18417 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 74608 [startup+30.0139 s] /proc/loadavg: 0.90 0.94 0.98 2/64 17327 /proc/meminfo: memFree=1236624/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=81656 CPUtime=30 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 17947 0 0 0 2975 25 0 0 25 0 1 0 189056969 83615744 17575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 20414 17575 105 232 0 20179 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 81656 [startup+40.0199 s] /proc/loadavg: 0.92 0.94 0.98 2/64 17327 /proc/meminfo: memFree=1220880/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=150600 CPUtime=40 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 21872 0 0 0 3971 29 0 0 25 0 1 0 189056969 154214400 21500 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 37650 21500 105 232 0 37415 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 150600 [startup+50.0269 s] /proc/loadavg: 0.93 0.94 0.98 2/64 17327 /proc/meminfo: memFree=1213456/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=155140 CPUtime=50.01 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 23735 0 0 0 4970 31 0 0 25 0 1 0 189056969 158863360 23363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 38785 23363 105 232 0 38550 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 155140 [startup+60.032 s] /proc/loadavg: 0.94 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1195536/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=159972 CPUtime=60 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 28198 0 0 0 5966 34 0 0 25 0 1 0 189056969 163811328 27826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 39993 27826 105 232 0 39758 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 159972 [startup+70.038 s] /proc/loadavg: 0.95 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1180304/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=162948 CPUtime=70.01 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 32001 0 0 0 6964 37 0 0 25 0 1 0 189056969 166858752 31629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 40737 31629 105 232 0 40502 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 162948 [startup+80.044 s] /proc/loadavg: 0.96 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1169424/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=165060 CPUtime=80.01 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 34716 0 0 0 7962 39 0 0 25 0 1 0 189056969 169021440 34344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 41265 34344 105 232 0 41030 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 165060 [startup+90.0501 s] /proc/loadavg: 0.96 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1157584/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=170908 CPUtime=90.01 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38006 0 0 0 8959 42 0 0 25 0 1 0 189056969 175009792 37249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42727 37249 105 232 0 42492 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 170908 [startup+100.056 s] /proc/loadavg: 0.97 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1157584/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=170908 CPUtime=100.02 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38044 0 0 0 9959 43 0 0 25 0 1 0 189056969 175009792 37287 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561656 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42727 37287 105 232 0 42492 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 170908 [startup+110.063 s] /proc/loadavg: 0.97 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1157456/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=170908 CPUtime=110.02 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38082 0 0 0 10958 44 0 0 25 0 1 0 189056969 175009792 37325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42727 37325 105 232 0 42492 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 170908 [startup+120.068 s] /proc/loadavg: 0.98 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1157264/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=170908 CPUtime=120.02 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38126 0 0 0 11957 45 0 0 25 0 1 0 189056969 175009792 37369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42727 37369 105 232 0 42492 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 170908 [startup+130.074 s] /proc/loadavg: 0.98 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1156688/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=171400 CPUtime=130.03 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38273 0 0 0 12955 48 0 0 25 0 1 0 189056969 175513600 37516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42850 37516 105 232 0 42615 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 171400 [startup+140.08 s] /proc/loadavg: 0.98 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1156496/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=171400 CPUtime=140.03 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38311 0 0 0 13954 49 0 0 25 0 1 0 189056969 175513600 37554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42850 37554 105 232 0 42615 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 171400 [startup+150.086 s] /proc/loadavg: 0.98 0.95 0.98 2/64 17327 /proc/meminfo: memFree=1156304/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=171400 CPUtime=150.03 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38371 0 0 0 14953 50 0 0 25 0 1 0 189056969 175513600 37614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42850 37614 105 232 0 42615 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 171400 [startup+160.092 s] /proc/loadavg: 0.99 0.96 0.98 2/64 17327 /proc/meminfo: memFree=1156048/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=171556 CPUtime=160.04 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38421 0 0 0 15953 51 0 0 25 0 1 0 189056969 175673344 37664 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42889 37664 105 232 0 42654 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 171556 [startup+170.098 s] /proc/loadavg: 0.99 0.96 0.98 2/64 17327 /proc/meminfo: memFree=1155536/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=171876 CPUtime=170.04 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38555 0 0 0 16952 52 0 0 25 0 1 0 189056969 176001024 37798 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 42969 37798 105 232 0 42734 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 171876 [startup+180.104 s] /proc/loadavg: 0.99 0.96 0.98 2/64 17327 /proc/meminfo: memFree=1155088/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=172504 CPUtime=180.05 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38670 0 0 0 17952 53 0 0 25 0 1 0 189056969 176644096 37913 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 43126 37913 105 232 0 42891 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 172504 [startup+190.11 s] /proc/loadavg: 0.99 0.96 0.98 2/64 17327 /proc/meminfo: memFree=1154640/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=172888 CPUtime=190.04 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38777 0 0 0 18951 53 0 0 25 0 1 0 189056969 177037312 38020 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 43222 38020 105 232 0 42987 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 172888 [startup+200.116 s] /proc/loadavg: 0.99 0.96 0.98 2/64 17327 /proc/meminfo: memFree=1153872/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=173620 CPUtime=200.05 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38966 0 0 0 19950 55 0 0 25 0 1 0 189056969 177786880 38209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 43405 38209 105 232 0 43170 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 173620 [startup+210.122 s] /proc/loadavg: 0.99 0.96 0.98 2/64 17327 /proc/meminfo: memFree=1153488/2055920 swapFree=4180900/4192956 ################ # More data... # ################ /proc/17327/statm: 47854 41434 105 232 0 47619 0 Current children cumulated CPU time (s) 550.16 Current children cumulated vsize (Kb) 191416 [startup+560.331 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1140752/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191416 CPUtime=560.16 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44534 0 0 0 55896 120 0 0 25 0 1 0 189056969 196009984 41471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47854 41471 105 232 0 47619 0 Current children cumulated CPU time (s) 560.16 Current children cumulated vsize (Kb) 191416 [startup+570.337 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1140560/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191416 CPUtime=570.17 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44576 0 0 0 56895 122 0 0 25 0 1 0 189056969 196009984 41513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47854 41513 105 232 0 47619 0 Current children cumulated CPU time (s) 570.17 Current children cumulated vsize (Kb) 191416 [startup+580.344 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1140368/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191416 CPUtime=580.17 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44620 0 0 0 57894 123 0 0 25 0 1 0 189056969 196009984 41557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47854 41557 105 232 0 47619 0 Current children cumulated CPU time (s) 580.17 Current children cumulated vsize (Kb) 191416 [startup+590.35 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1140176/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191416 CPUtime=590.18 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44670 0 0 0 58894 124 0 0 25 0 1 0 189056969 196009984 41607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47854 41607 105 232 0 47619 0 Current children cumulated CPU time (s) 590.18 Current children cumulated vsize (Kb) 191416 [startup+600.356 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1139984/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191416 CPUtime=600.18 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44724 0 0 0 59894 124 0 0 25 0 1 0 189056969 196009984 41661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47854 41661 105 232 0 47619 0 Current children cumulated CPU time (s) 600.18 Current children cumulated vsize (Kb) 191416 [startup+610.364 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1139728/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191416 CPUtime=610.18 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44781 0 0 0 60893 125 0 0 25 0 1 0 189056969 196009984 41718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47854 41718 105 232 0 47619 0 Current children cumulated CPU time (s) 610.18 Current children cumulated vsize (Kb) 191416 [startup+620.37 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1139536/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191972 CPUtime=620.19 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44836 0 0 0 61893 126 0 0 25 0 1 0 189056969 196579328 41773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47993 41773 105 232 0 47758 0 Current children cumulated CPU time (s) 620.19 Current children cumulated vsize (Kb) 191972 [startup+630.376 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1139344/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191972 CPUtime=630.19 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44886 0 0 0 62892 127 0 0 25 0 1 0 189056969 196579328 41823 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47993 41823 105 232 0 47758 0 Current children cumulated CPU time (s) 630.19 Current children cumulated vsize (Kb) 191972 [startup+640.383 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1139152/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191972 CPUtime=640.2 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44929 0 0 0 63891 129 0 0 25 0 1 0 189056969 196579328 41866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47993 41866 105 232 0 47758 0 Current children cumulated CPU time (s) 640.2 Current children cumulated vsize (Kb) 191972 [startup+650.389 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1138896/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191972 CPUtime=650.2 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44992 0 0 0 64890 130 0 0 25 0 1 0 189056969 196579328 41929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47993 41929 105 232 0 47758 0 Current children cumulated CPU time (s) 650.2 Current children cumulated vsize (Kb) 191972 [startup+660.395 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1138640/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191972 CPUtime=660.2 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45050 0 0 0 65888 132 0 0 25 0 1 0 189056969 196579328 41987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47993 41987 105 232 0 47758 0 Current children cumulated CPU time (s) 660.2 Current children cumulated vsize (Kb) 191972 [startup+670.401 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1138384/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=191972 CPUtime=670.2 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45110 0 0 0 66888 132 0 0 25 0 1 0 189056969 196579328 42047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 47993 42047 105 232 0 47758 0 Current children cumulated CPU time (s) 670.2 Current children cumulated vsize (Kb) 191972 [startup+680.407 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1137936/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=192564 CPUtime=680.2 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45216 0 0 0 67887 133 0 0 25 0 1 0 189056969 197185536 42153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48141 42153 105 232 0 47906 0 Current children cumulated CPU time (s) 680.2 Current children cumulated vsize (Kb) 192564 [startup+690.413 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1137488/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=192564 CPUtime=690.21 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45332 0 0 0 68886 135 0 0 25 0 1 0 189056969 197185536 42269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48141 42269 105 232 0 47906 0 Current children cumulated CPU time (s) 690.21 Current children cumulated vsize (Kb) 192564 [startup+700.42 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1137104/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=193192 CPUtime=700.21 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45420 0 0 0 69884 137 0 0 25 0 1 0 189056969 197828608 42357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48298 42357 105 232 0 48063 0 Current children cumulated CPU time (s) 700.21 Current children cumulated vsize (Kb) 193192 [startup+710.426 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1136720/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=193192 CPUtime=710.22 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45538 0 0 0 70882 140 0 0 25 0 1 0 189056969 197828608 42475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48298 42475 105 232 0 48063 0 Current children cumulated CPU time (s) 710.22 Current children cumulated vsize (Kb) 193192 [startup+720.432 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1136336/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=193192 CPUtime=720.22 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45637 0 0 0 71881 141 0 0 25 0 1 0 189056969 197828608 42574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48298 42574 105 232 0 48063 0 Current children cumulated CPU time (s) 720.22 Current children cumulated vsize (Kb) 193192 [startup+730.438 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1135888/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=193860 CPUtime=730.23 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45744 0 0 0 72880 143 0 0 25 0 1 0 189056969 198512640 42681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48465 42681 105 232 0 48230 0 Current children cumulated CPU time (s) 730.23 Current children cumulated vsize (Kb) 193860 [startup+740.444 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1135568/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=193860 CPUtime=740.23 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45819 0 0 0 73879 144 0 0 25 0 1 0 189056969 198512640 42756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48465 42756 105 232 0 48230 0 Current children cumulated CPU time (s) 740.23 Current children cumulated vsize (Kb) 193860 [startup+750.45 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1135248/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=193860 CPUtime=750.23 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45900 0 0 0 74877 146 0 0 25 0 1 0 189056969 198512640 42837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48465 42837 105 232 0 48230 0 Current children cumulated CPU time (s) 750.23 Current children cumulated vsize (Kb) 193860 [startup+760.457 s] /proc/loadavg: 0.99 0.97 0.98 2/64 17327 /proc/meminfo: memFree=1134992/2055920 swapFree=4180900/4192956 [pid=17327] ppid=17325 vsize=193860 CPUtime=760.23 /proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45970 0 0 0 75876 147 0 0 25 0 1 0 189056969 198512640 42907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/17327/statm: 48465 42907 105 232 0 48230 0 Current children cumulated CPU time (s) 760.23 Current children cumulated vsize (Kb) 193860 Child status: 0 Real time (s): 767.891 CPU time (s): 767.672 CPU user time (s): 766.155 CPU system time (s): 1.51677 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (Kb): 193860
Begin job on node27 on Fri Jun 2 07:38:55 UTC 2006 FILE ID= 41120-1149233935 PBS_JOBID= 296721 BENCH NAME= ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb 297136595 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-41120-1149233935 -o ROOT/results/node27/solver-41120-1149233935 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb 297136595 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 30ece871aa3028bf4a3db0aa3daf115a RANDOM SEED= 297136595 /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.234 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.234 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: 1306768 kB Buffers: 36060 kB Cached: 638868 kB SwapCached: 3916 kB Active: 154180 kB Inactive: 529512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1306768 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 248 kB Writeback: 0 kB Mapped: 14764 kB Slab: 51520 kB Committed_AS: 270260 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Fri Jun 2 07:51:43 UTC 2006