Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -39 | 1798.29 | 1798.93 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 32f273c48805c1e726044ae006778010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1794.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
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/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879908-1245236327.opb 0.00/0.00 c File size is 1935391 bytes. 0.19/0.25 c Highest Coefficient sum: 1150 0.19/0.25 c Parsing was ok!! 0.19/0.25 c Total parsing time: 0.253 s 0.19/0.28 c Var: 1150 Constr: 80035 80035/0/0 Lit: 160070 Watch. Lit: 160070 0.19/0.28 c Obj. Vars: 1150 (100 % of total variables) 2.29/2.37 c Pre-processing Time: 2.369 s 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 0 1150 80035 160070 2 160070 26678 0 0 2.37 2.29/2.37 c Switching off lower bounding mode. 2.29/2.38 o -37 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 0 1150 80036 161220 2 160109 27678 1 0 2.39 2.39/2.43 o -38 164.32/164.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 164.32/164.43 c 23 1150 80073 202725 2 160657 27678 38 9 2.44 164.32/164.43 c 124 1150 80269 422360 5 163890 30446 234 44 2.79 164.32/164.43 c 374 1150 80767 979455 12 171160 33491 732 89 4.18 164.32/164.43 c 850 1150 81696 2019091 24 182936 36841 1661 104 8.15 164.32/164.43 c 1663 1150 83301 3817005 45 201346 40526 3266 81 20.35 164.32/164.43 c 2983 1150 85805 6617643 77 228016 44579 5770 64 46.29 164.32/164.43 c 5066 1150 89960 11240515 124 267785 49037 9925 40 123.60 164.32/164.43 o -39 1798.15/1798.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.15/1798.83 c 6366 1150 92560 14133312 152 279924 27678 12525 38 164.37 1798.15/1798.83 c 6466 1150 92755 14351793 154 265636 30446 12720 38 169.50 1798.15/1798.83 c 6717 1150 93220 14871361 159 271325 33491 13185 37 180.43 1798.15/1798.83 c 7192 1150 94153 15915261 169 283989 36841 14118 35 203.47 1798.15/1798.83 c 8005 1150 95759 17713528 184 302618 40526 15724 31 254.28 1798.15/1798.83 c 9325 1150 98396 20658786 209 330312 44579 18361 26 350.41 1798.15/1798.83 c 11406 1150 102556 25293313 246 373792 49037 22521 23 485.01 1798.15/1798.83 c 14629 1150 108699 32164897 295 433548 53941 28664 20 706.67 1798.15/1798.83 c 19565 1150 118540 43141989 363 525136 59336 38505 14 1326.01 1798.15/1798.83 c Resources Exceeded 1798.15/1798.83 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1798.15/1798.83 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.15/1798.83 c 17 22305 1385 24369 123916 49125878 43881 12 1798.19 1798.15/1798.83 c Objective: -39 1798.15/1798.83 s SATISFIABLE 1798.15/1798.83 c Total time: 1798.19 s
OK -39
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879908-1245236327/watcher-1879908-1245236327 -o /tmp/evaluation-result-1879908-1245236327/solver-1879908-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879908-1245236327.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 3/64 20939 /proc/meminfo: memFree=1303264/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=12616 CPUtime=0 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 191233648 12918784 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136394375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 3154 245 174 640 0 2037 0 [startup+0.0175811 s] /proc/loadavg: 0.00 0.00 0.00 3/64 20939 /proc/meminfo: memFree=1303264/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=13028 CPUtime=0.01 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 386 0 0 0 1 0 0 0 18 0 1 0 191233648 13340672 370 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 3257 370 198 640 0 2140 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13028 [startup+0.101595 s] /proc/loadavg: 0.00 0.00 0.00 3/64 20939 /proc/meminfo: memFree=1303264/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=15640 CPUtime=0.09 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 1196 0 0 0 9 0 0 0 18 0 1 0 191233648 16015360 1180 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 3910 1180 354 640 0 2793 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15640 [startup+0.30163 s] /proc/loadavg: 0.00 0.00 0.00 3/64 20939 /proc/meminfo: memFree=1303264/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=22400 CPUtime=0.29 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 3647 0 0 0 28 1 0 0 20 0 1 0 191233648 22937600 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 5600 3158 188 640 0 4956 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22400 [startup+0.702701 s] /proc/loadavg: 0.00 0.00 0.00 3/64 20939 /proc/meminfo: memFree=1303264/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=24908 CPUtime=0.69 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 4297 0 0 0 67 2 0 0 23 0 1 0 191233648 25505792 3808 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 6227 3808 190 640 0 5583 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24908 [startup+1.50184 s] /proc/loadavg: 0.00 0.00 0.00 2/65 20940 /proc/meminfo: memFree=1288792/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=24908 CPUtime=1.49 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 4297 0 0 0 144 5 0 0 25 0 1 0 191233648 25505792 3808 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 6227 3808 190 640 0 5583 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24908 [startup+3.10112 s] /proc/loadavg: 0.08 0.02 0.01 2/65 20940 /proc/meminfo: memFree=1288664/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=27920 CPUtime=3.09 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 6237 0 0 0 301 8 0 0 25 0 1 0 191233648 28590080 4552 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 6980 4552 196 640 0 6336 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27920 [startup+6.30168 s] /proc/loadavg: 0.08 0.02 0.01 2/65 20940 /proc/meminfo: memFree=1275032/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=41564 CPUtime=6.29 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 9651 0 0 0 619 10 0 0 25 0 1 0 191233648 42561536 7966 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 10391 7966 196 640 0 9747 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41564 [startup+12.7018 s] /proc/loadavg: 0.22 0.05 0.02 2/65 20940 /proc/meminfo: memFree=1257624/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=56980 CPUtime=12.69 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 13499 0 0 0 1257 12 0 0 25 0 1 0 191233648 58347520 11814 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 14245 11814 197 640 0 13601 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56980 [startup+25.501 s] /proc/loadavg: 0.34 0.08 0.02 2/65 20940 /proc/meminfo: memFree=1236568/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=77108 CPUtime=25.48 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 18559 0 0 0 2534 14 0 0 25 0 1 0 191233648 78958592 16874 1992294400 134512640 137136520 4294956256 18446744073709551615 134572231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 19277 16874 197 640 0 18633 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77108 [startup+51.1015 s] /proc/loadavg: 0.56 0.15 0.05 2/65 20940 /proc/meminfo: memFree=1204120/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=109740 CPUtime=51.07 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 26693 0 0 0 5088 19 0 0 25 0 1 0 191233648 112373760 25008 1992294400 134512640 137136520 4294956256 18446744073709551615 134598069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 27435 25008 197 640 0 26791 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 109740 [startup+102.305 s] /proc/loadavg: 0.82 0.29 0.10 2/65 20940 /proc/meminfo: memFree=1159320/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=154016 CPUtime=102.26 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 37778 0 0 0 10202 24 0 0 25 0 1 0 191233648 157712384 36093 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 38504 36093 197 640 0 37860 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 154016 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/65 20946 /proc/meminfo: memFree=1111320/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=202248 CPUtime=162.23 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 49828 0 0 0 16192 31 0 0 25 0 1 0 191233648 207101952 48143 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 50562 48143 197 640 0 49918 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 202248 [startup+222.301 s] /proc/loadavg: 0.97 0.52 0.20 2/65 20946 /proc/meminfo: memFree=1077976/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=235088 CPUtime=222.21 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 58050 0 0 0 22186 35 0 0 25 0 1 0 191233648 240730112 56365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 58772 56365 197 640 0 58128 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 235088 [startup+282.302 s] /proc/loadavg: 0.99 0.60 0.25 2/65 20946 /proc/meminfo: memFree=1051096/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=262304 CPUtime=282.18 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 64836 0 0 0 28180 38 0 0 25 0 1 0 191233648 268599296 63151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 65576 63151 197 640 0 64932 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 262304 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.30 2/65 20946 /proc/meminfo: memFree=1028696/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=284340 CPUtime=342.16 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 70348 0 0 0 34175 41 0 0 25 0 1 0 191233648 291164160 68663 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 71085 68663 197 640 0 70441 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 284340 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/65 20946 /proc/meminfo: memFree=1001048/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=312232 CPUtime=402.14 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 77316 0 0 0 40170 44 0 0 25 0 1 0 191233648 319725568 75631 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 78058 75631 197 640 0 77414 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 312232 [startup+462.302 s] /proc/loadavg: 0.99 0.78 0.38 2/65 20946 /proc/meminfo: memFree=974232/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=338788 CPUtime=462.12 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 83970 0 0 0 46164 48 0 0 25 0 1 0 191233648 346918912 82285 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 84697 82285 197 640 0 84053 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 338788 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/65 20946 /proc/meminfo: memFree=949080/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=364084 CPUtime=522.1 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 90278 0 0 0 52159 51 0 0 25 0 1 0 191233648 372822016 88593 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 91021 88593 197 640 0 90377 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 364084 [startup+582.302 s] /proc/loadavg: 0.99 0.85 0.45 2/65 20946 /proc/meminfo: memFree=923992/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=388804 CPUtime=582.08 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 96484 0 0 0 58153 55 0 0 25 0 1 0 191233648 398135296 94799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 97201 94799 197 640 0 96557 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 388804 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.48 2/65 20946 /proc/meminfo: memFree=898520/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=414032 CPUtime=642.06 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 102788 0 0 0 64147 59 0 0 25 0 1 0 191233648 423968768 101103 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 103508 101103 197 640 0 102864 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 414032 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=789592/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=522916 CPUtime=1061.91 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 130001 0 0 0 106116 75 0 0 25 0 1 0 191233648 535465984 128316 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 130729 128318 197 640 0 130085 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 522916 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/65 20946 /proc/meminfo: memFree=775576/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=536916 CPUtime=1121.89 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 133496 0 0 0 112111 78 0 0 25 0 1 0 191233648 549801984 131811 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 134229 131811 197 640 0 133585 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 536916 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/65 20946 /proc/meminfo: memFree=764056/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=548372 CPUtime=1181.87 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 136373 0 0 0 118107 80 0 0 25 0 1 0 191233648 561532928 134688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 137093 134688 197 640 0 136449 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 548372 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/65 20946 /proc/meminfo: memFree=751128/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=561320 CPUtime=1241.85 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 139589 0 0 0 124103 82 0 0 25 0 1 0 191233648 574791680 137904 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 140330 137904 197 640 0 139686 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 561320 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/65 20946 /proc/meminfo: memFree=738328/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=573848 CPUtime=1301.83 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 142744 0 0 0 130099 84 0 0 25 0 1 0 191233648 587620352 141059 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 143462 141059 197 640 0 142818 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 573848 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/65 20946 /proc/meminfo: memFree=725528/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=586788 CPUtime=1361.8 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 145957 0 0 0 136094 86 0 0 25 0 1 0 191233648 600870912 144272 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 146697 144272 197 640 0 146053 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 586788 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/65 20946 /proc/meminfo: memFree=713304/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=598840 CPUtime=1421.79 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 148977 0 0 0 142091 88 0 0 25 0 1 0 191233648 613212160 147292 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 149710 147292 197 640 0 149066 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 598840 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/65 20946 /proc/meminfo: memFree=702552/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=609700 CPUtime=1481.76 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 151691 0 0 0 148087 89 0 0 25 0 1 0 191233648 624332800 150006 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 152425 150006 197 640 0 151781 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 609700 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/65 20946 /proc/meminfo: memFree=690840/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=621316 CPUtime=1541.74 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 154608 0 0 0 154084 90 0 0 25 0 1 0 191233648 636227584 152923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 155329 152923 197 640 0 154685 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 621316 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 20946 /proc/meminfo: memFree=682584/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=629596 CPUtime=1601.72 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 156666 0 0 0 160080 92 0 0 25 0 1 0 191233648 644706304 154981 1992294400 134512640 137136520 4294956256 18446744073709551615 134543939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 157399 154981 197 640 0 156755 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 629596 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 20946 /proc/meminfo: memFree=675224/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=636868 CPUtime=1661.7 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 158474 0 0 0 166076 94 0 0 25 0 1 0 191233648 652152832 156789 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 159217 156789 197 640 0 158573 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 636868 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.80 2/65 20946 /proc/meminfo: memFree=666712/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=645360 CPUtime=1721.68 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 160618 0 0 0 172073 95 0 0 25 0 1 0 191233648 660848640 158933 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 161340 158933 197 640 0 160696 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 645360 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 20946 /proc/meminfo: memFree=658392/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=653660 CPUtime=1781.66 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 162681 0 0 0 178070 96 0 0 25 0 1 0 191233648 669347840 160996 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 163415 160996 197 640 0 162771 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 653660 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.82 2/65 20946 /proc/meminfo: memFree=657112/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=654844 CPUtime=1791.25 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 162982 0 0 0 179029 96 0 0 25 0 1 0 191233648 670560256 161297 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 163711 161297 197 640 0 163067 0 Current children cumulated CPU time (s) 1791.25 Current children cumulated vsize (KiB) 654844 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.82 2/65 20946 /proc/meminfo: memFree=656472/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=655460 CPUtime=1794.45 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 163135 0 0 0 179349 96 0 0 25 0 1 0 191233648 671191040 161450 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 163865 161450 197 640 0 163221 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 655460 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.82 2/65 20946 /proc/meminfo: memFree=656280/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=655704 CPUtime=1796.05 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 163199 0 0 0 179509 96 0 0 25 0 1 0 191233648 671440896 161514 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 163926 161514 197 640 0 163282 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (KiB) 655704 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 20946 /proc/meminfo: memFree=656152/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=655960 CPUtime=1797.65 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 163243 0 0 0 179669 96 0 0 25 0 1 0 191233648 671703040 161558 1992294400 134512640 137136520 4294956256 18446744073709551615 136295683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 163990 161558 197 640 0 163346 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 655960 [startup+1798.7 s] /proc/loadavg: 0.99 0.97 0.82 2/65 20946 /proc/meminfo: memFree=656024/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=655960 CPUtime=1798.05 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194304 163250 0 0 0 179709 96 0 0 25 0 1 0 191233648 671703040 161565 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 163990 161565 197 640 0 163346 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 655960 [startup+1798.9 s] /proc/loadavg: 0.99 0.97 0.82 2/65 20946 /proc/meminfo: memFree=656024/2055920 swapFree=4191900/4192956 [pid=20939] ppid=20937 vsize=0 CPUtime=1798.25 /proc/20939/stat : 20939 (bsolo) R 20937 20939 20896 0 -1 4194308 163258 0 0 0 179722 103 0 0 25 0 1 0 191233648 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20939/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.93 CPU time (s): 1798.29 CPU user time (s): 1797.23 CPU system time (s): 1.06884 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 655960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.23 system time used= 1.06884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163258 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2977 runsolver used 1.53177 second user time and 3.43548 second system time The end
Begin job on node4 at 2009-06-17 12:58:47 IDJOB=1879908 IDBENCH=2262 IDSOLVER=701 FILE ID=node4/1879908-1245236327 PBS_JOBID= 9372332 Free space on /tmp= 66408 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879908-1245236327/watcher-1879908-1245236327 -o /tmp/evaluation-result-1879908-1245236327/solver-1879908-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879908-1245236327.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED=358009004 node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 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.259 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: 1303808 kB Buffers: 72752 kB Cached: 581012 kB SwapCached: 260 kB Active: 98272 kB Inactive: 568680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1303808 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 6048 kB Writeback: 0 kB Mapped: 21660 kB Slab: 71092 kB Committed_AS: 161040 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879908-1245236327.opb Free space on /tmp at the end= 66404 MiB End job on node4 at 2009-06-17 13:28:46