Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| clasp 2.0-R4191 | SAT (TO) | 4120 | 1800.06 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
| MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2967 |
| Best CPU time to get the best result obtained on this benchmark | 0.32095 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2967 |
| Optimality of the best value was proved | YES |
| Number of variables | 1086 |
| Total number of constraints | 85 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 84 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 1086 |
| Number of terms in the objective function | 1086 |
| Biggest coefficient in the objective function | 283 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 197191 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 283 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 197191 |
| Number of bits of the biggest sum of numbers | 18 |
| 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 clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...081693/instance-3468657-1307081693.opb 0.00/0.00 c Solving... 0.00/0.00 o 4960 0.00/0.06 o 4651 0.09/0.11 o 4551 0.09/0.15 o 4305 0.29/0.32 o 4216 0.49/0.55 o 4208 14.30/14.32 o 4205 23.99/24.01 o 4202 525.72/525.71 o 4198 919.11/919.10 o 4127 1499.63/1499.68 o 4120 1800.05/1800.01 1800.05/1800.01 *** INTERRUPTED! *** 1800.05/1800.01 c Answer: 11 1800.05/1800.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.05/1800.01 v -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 1800.05/1800.01 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 1800.05/1800.01 v -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 1800.05/1800.01 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 1800.05/1800.01 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1800.05/1800.01 v x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.05/1800.01 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 1800.05/1800.01 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.05/1800.01 v x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 1800.05/1800.01 v -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 1800.05/1800.01 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 1800.05/1800.01 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.05/1800.01 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.05/1800.01 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.05/1800.01 v x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1800.05/1800.01 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 1800.05/1800.01 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.05/1800.01 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 1800.05/1800.01 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 1800.05/1800.01 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.05/1800.01 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1800.05/1800.01 v -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.05/1800.01 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1800.05/1800.01 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.05/1800.01 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 1800.05/1800.01 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1800.05/1800.01 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.05/1800.01 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 1800.05/1800.01 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.05/1800.01 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 1800.05/1800.01 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.05/1800.01 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1800.05/1800.01 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 1800.05/1800.01 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.05/1800.01 v x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1800.05/1800.01 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.05/1800.01 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.05/1800.01 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1800.05/1800.01 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.05/1800.01 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 1800.05/1800.01 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.05/1800.01 v -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 1800.05/1800.01 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.05/1800.01 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1800.05/1800.01 v -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1800.05/1800.01 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1800.05/1800.01 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.05/1800.01 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.05/1800.01 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 1800.05/1800.01 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1800.05/1800.01 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1800.05/1800.01 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.05/1800.01 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1800.05/1800.01 v -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1800.05/1800.01 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1800.05/1800.01 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 1800.05/1800.01 v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.05/1800.01 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1800.05/1800.01 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1800.05/1800.01 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 1800.05/1800.01 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 1800.05/1800.01 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.05/1800.01 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 1800.05/1800.01 v -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1800.05/1800.01 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 1800.05/1800.01 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.05/1800.01 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1800.05/1800.01 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 1800.05/1800.01 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1800.05/1800.01 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 1800.05/1800.01 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1800.05/1800.01 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.05/1800.01 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1800.05/1800.01 v -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 1800.05/1800.01 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1800.05/1800.01 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.05/1800.01 v -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 1800.05/1800.01 v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 1800.05/1800.01 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 1800.05/1800.01 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.05/1800.01 v x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.05/1800.01 v -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 1800.05/1800.01 v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.05/1800.01 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 1800.05/1800.01 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 1800.05/1800.01 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.05/1800.01 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1800.05/1800.01 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.05/1800.01 v -x1083 -x1084 -x1085 -x1086 1800.05/1800.01 s SATISFIABLE 1800.05/1800.01 1800.05/1800.01 c INTERRUPTED : 1 1800.05/1800.01 c Models : 1+ 1800.05/1800.01 c Enumerated : 11 1800.05/1800.01 c Optimum : unknown 1800.05/1800.01 c Optimization : 4120 1800.05/1800.01 c Time : 1800.013s (Solving: 1800.01s 1st Model: 0.01s Unsat: 0.00s) 1800.05/1800.01 c CPU Time : 1800.050s
OK 4120
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468657-1307081693/watcher-3468657-1307081693 -o /tmp/evaluation-result-3468657-1307081693/solver-3468657-1307081693 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468657-1307081693.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.40 1.83 1.94 3/385 26626 /proc/meminfo: memFree=23862796/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=13104 CPUtime=0.01 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 709 0 0 0 1 0 0 0 21 0 1 0 819772086 13418496 632 33554432000 4194304 4933572 140733955374400 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 3276 632 378 181 0 285 0 [startup+0.068248 s] /proc/loadavg: 1.40 1.83 1.94 3/385 26626 /proc/meminfo: memFree=23862796/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=13896 CPUtime=0.06 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 899 0 0 0 6 0 0 0 21 0 1 0 819772086 14229504 822 33554432000 4194304 4933572 140733955374400 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 3474 822 385 181 0 483 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13896 [startup+0.100241 s] /proc/loadavg: 1.40 1.83 1.94 3/385 26626 /proc/meminfo: memFree=23862796/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=14816 CPUtime=0.09 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 1152 0 0 0 9 0 0 0 21 0 1 0 819772086 15171584 1075 33554432000 4194304 4933572 140733955374400 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 3704 1075 385 181 0 713 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14816 [startup+0.300205 s] /proc/loadavg: 1.40 1.83 1.94 3/385 26626 /proc/meminfo: memFree=23862796/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=16796 CPUtime=0.29 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 1631 0 0 0 29 0 0 0 22 0 1 0 819772086 17199104 1554 33554432000 4194304 4933572 140733955374400 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 4199 1554 385 181 0 1208 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16796 [startup+0.700134 s] /proc/loadavg: 1.40 1.83 1.94 3/385 26626 /proc/meminfo: memFree=23862796/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=18904 CPUtime=0.69 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 2155 0 0 0 69 0 0 0 24 0 1 0 819772086 19357696 2078 33554432000 4194304 4933572 140733955374400 18446744073709551615 4329796 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 4726 2078 385 181 0 1735 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18904 [startup+1.50099 s] /proc/loadavg: 1.40 1.83 1.94 4/387 26628 /proc/meminfo: memFree=23851504/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=19312 CPUtime=1.49 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 2259 0 0 0 149 0 0 0 25 0 1 0 819772086 19775488 2182 33554432000 4194304 4933572 140733955374400 18446744073709551615 4340895 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 4828 2182 385 181 0 1837 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19312 [startup+3.10071 s] /proc/loadavg: 1.45 1.83 1.94 4/387 26628 /proc/meminfo: memFree=23848776/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=19312 CPUtime=3.09 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 2267 0 0 0 309 0 0 0 25 0 1 0 819772086 19775488 2190 33554432000 4194304 4933572 140733955374400 18446744073709551615 4717624 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 4828 2190 385 181 0 1837 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19312 [startup+6.30015 s] /proc/loadavg: 1.45 1.83 1.94 4/387 26628 /proc/meminfo: memFree=23846964/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=19572 CPUtime=6.29 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 2333 0 0 0 629 0 0 0 25 0 1 0 819772086 20041728 2256 33554432000 4194304 4933572 140733955374400 18446744073709551615 4635702 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 4893 2256 385 181 0 1902 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19572 [startup+12.701 s] /proc/loadavg: 1.53 1.84 1.94 5/387 26628 /proc/meminfo: memFree=23842908/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=20608 CPUtime=12.69 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 2600 0 0 0 1269 0 0 0 25 0 1 0 819772086 21102592 2523 33554432000 4194304 4933572 140733955374400 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 5152 2523 385 181 0 2161 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20608 [startup+25.5007 s] /proc/loadavg: 1.60 1.84 1.94 5/387 26629 /proc/meminfo: memFree=23836836/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=25912 CPUtime=25.49 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 3931 0 0 0 2549 0 0 0 25 0 1 0 819772086 26533888 3851 33554432000 4194304 4933572 140733955374400 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 6478 3851 385 181 0 3487 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25912 [startup+51.1002 s] /proc/loadavg: 1.74 1.86 1.94 4/387 26629 /proc/meminfo: memFree=23832492/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=28852 CPUtime=51.09 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 4663 0 0 0 5109 0 0 0 25 0 1 0 819772086 29544448 4552 33554432000 4194304 4933572 140733955374400 18446744073709551615 4632794 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 7213 4552 385 181 0 4222 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 28852 [startup+102.314 s] /proc/loadavg: 1.89 1.88 1.94 4/387 26631 /proc/meminfo: memFree=23828864/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=28852 CPUtime=102.31 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 4663 0 0 0 10231 0 0 0 25 0 1 0 819772086 29544448 4552 33554432000 4194304 4933572 140733955374400 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 7213 4552 385 181 0 4222 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 28852 [startup+162.3 s] /proc/loadavg: 1.96 1.90 1.94 4/387 26632 /proc/meminfo: memFree=23827320/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=29224 CPUtime=162.29 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 4808 0 0 0 16229 0 0 0 25 0 1 0 819772086 29925376 4675 33554432000 4194304 4933572 140733955374400 18446744073709551615 4649836 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 7306 4675 385 181 0 4315 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 29224 [startup+222.301 s] /proc/loadavg: 1.98 1.91 1.94 5/387 26634 /proc/meminfo: memFree=23825052/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=30000 CPUtime=222.3 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 4989 0 0 0 22230 0 0 0 25 0 1 0 819772086 30720000 4838 33554432000 4194304 4933572 140733955374400 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 7500 4838 385 181 0 4509 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 30000 [startup+282.3 s] /proc/loadavg: 1.99 1.93 1.94 4/387 26636 /proc/meminfo: memFree=23824876/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=30668 CPUtime=282.3 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 5181 0 0 0 28230 0 0 0 25 0 1 0 819772086 31404032 5030 33554432000 4194304 4933572 140733955374400 18446744073709551615 4649417 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 7667 5030 385 181 0 4676 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 30668 [startup+342.301 s] /proc/loadavg: 1.99 1.94 1.94 5/387 26637 /proc/meminfo: memFree=23824096/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=31324 CPUtime=342.3 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 5352 0 0 0 34230 0 0 0 25 0 1 0 819772086 32075776 5178 33554432000 4194304 4933572 140733955374400 18446744073709551615 4718579 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 7831 5178 385 181 0 4840 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 31324 [startup+402.301 s] /proc/loadavg: 1.99 1.95 1.94 4/387 26639 /proc/meminfo: memFree=23822064/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=32944 CPUtime=402.3 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 5895 0 0 0 40230 0 0 0 25 0 1 0 819772086 33734656 5603 33554432000 4194304 4933572 140733955374400 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 8236 5603 385 181 0 5245 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 32944 [startup+462.3 s] /proc/loadavg: 2.04 1.97 1.95 4/387 26640 /proc/meminfo: memFree=23821520/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=32944 CPUtime=462.3 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 5895 0 0 0 46230 0 0 0 25 0 1 0 819772086 33734656 5603 33554432000 4194304 4933572 140733955374400 18446744073709551615 4635702 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 8236 5603 385 181 0 5245 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 32944 [startup+522.301 s] /proc/loadavg: 2.06 1.99 1.95 5/387 26642 /proc/meminfo: memFree=23821356/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=33020 CPUtime=522.3 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 5904 0 0 0 52230 0 0 0 25 0 1 0 819772086 33812480 5612 33554432000 4194304 4933572 140733955374400 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 8255 5612 385 181 0 5264 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 33020 [startup+582.301 s] /proc/loadavg: 2.02 1.99 1.95 4/387 26644 /proc/meminfo: memFree=23816596/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=37016 CPUtime=582.3 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 7370 0 0 0 58230 0 0 0 25 0 1 0 819772086 37904384 6620 33554432000 4194304 4933572 140733955374400 18446744073709551615 4637243 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9254 6620 385 181 0 6263 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 37016 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.99 1.95 4/387 26650 /proc/meminfo: memFree=23815024/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=38052 CPUtime=822.31 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8007 0 0 0 82231 0 0 0 25 0 1 0 819772086 38965248 6869 33554432000 4194304 4933572 140733955374400 18446744073709551615 4717658 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9513 6869 385 181 0 6522 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 38052 [startup+882.301 s] /proc/loadavg: 2.00 1.99 1.95 4/387 26652 /proc/meminfo: memFree=23814892/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=38052 CPUtime=882.31 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8007 0 0 0 88231 0 0 0 25 0 1 0 819772086 38965248 6869 33554432000 4194304 4933572 140733955374400 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9513 6869 385 181 0 6522 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 38052 [startup+942.3 s] /proc/loadavg: 2.00 1.99 1.95 4/387 26653 /proc/meminfo: memFree=23814340/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=38584 CPUtime=942.32 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8314 0 0 0 94231 1 0 0 25 0 1 0 819772086 39510016 7011 33554432000 4194304 4933572 140733955374400 18446744073709551615 4360955 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9646 7011 385 181 0 6655 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 38584 [startup+1002.3 s] /proc/loadavg: 2.07 2.00 1.96 4/387 26655 /proc/meminfo: memFree=23814036/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=38644 CPUtime=1002.32 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8441 0 0 0 100231 1 0 0 25 0 1 0 819772086 39571456 7026 33554432000 4194304 4933572 140733955374400 18446744073709551615 4663932 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9661 7026 385 181 0 6670 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 38644 [startup+1062.3 s] /proc/loadavg: 2.08 2.02 1.96 4/387 26656 /proc/meminfo: memFree=23813388/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39812 CPUtime=1062.32 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8715 0 0 0 106231 1 0 0 25 0 1 0 819772086 40767488 7300 33554432000 4194304 4933572 140733955374400 18446744073709551615 4341800 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9953 7300 385 181 0 6962 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 39812 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 1.96 4/387 26658 /proc/meminfo: memFree=23813968/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39812 CPUtime=1122.32 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8715 0 0 0 112231 1 0 0 25 0 1 0 819772086 40767488 7300 33554432000 4194304 4933572 140733955374400 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9953 7300 385 181 0 6962 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 39812 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 1.96 4/387 26660 /proc/meminfo: memFree=23813180/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39812 CPUtime=1182.32 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8715 0 0 0 118231 1 0 0 25 0 1 0 819772086 40767488 7300 33554432000 4194304 4933572 140733955374400 18446744073709551615 4360887 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9953 7300 385 181 0 6962 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 39812 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.96 4/387 26661 /proc/meminfo: memFree=23811404/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39812 CPUtime=1242.33 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8715 0 0 0 124232 1 0 0 25 0 1 0 819772086 40767488 7300 33554432000 4194304 4933572 140733955374400 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9953 7300 385 181 0 6962 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 39812 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 4/387 26663 /proc/meminfo: memFree=23811864/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39812 CPUtime=1302.34 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8715 0 0 0 130233 1 0 0 25 0 1 0 819772086 40767488 7300 33554432000 4194304 4933572 140733955374400 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9953 7300 385 181 0 6962 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 39812 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.96 4/387 26664 /proc/meminfo: memFree=23811072/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39812 CPUtime=1362.33 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8715 0 0 0 136232 1 0 0 25 0 1 0 819772086 40767488 7300 33554432000 4194304 4933572 140733955374400 18446744073709551615 4717568 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9953 7300 385 181 0 6962 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 39812 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 4/387 26666 /proc/meminfo: memFree=23812016/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39860 CPUtime=1422.34 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8761 0 0 0 142233 1 0 0 25 0 1 0 819772086 40816640 7329 33554432000 4194304 4933572 140733955374400 18446744073709551615 4718537 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9965 7329 385 181 0 6974 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 39860 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 4/387 26668 /proc/meminfo: memFree=23811484/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=39860 CPUtime=1482.33 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 8798 0 0 0 148232 1 0 0 25 0 1 0 819772086 40816640 7329 33554432000 4194304 4933572 140733955374400 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 9965 7329 385 181 0 6974 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 39860 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 5/387 26669 /proc/meminfo: memFree=23810664/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=41836 CPUtime=1542.33 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 9257 0 0 0 154232 1 0 0 25 0 1 0 819772086 42840064 7788 33554432000 4194304 4933572 140733955374400 18446744073709551615 4360926 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 10459 7788 385 181 0 7468 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 41836 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 1.97 5/387 26671 /proc/meminfo: memFree=23809484/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=42676 CPUtime=1602.33 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 9580 0 0 0 160232 1 0 0 25 0 1 0 819772086 43700224 8018 33554432000 4194304 4933572 140733955374400 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 10669 8018 385 181 0 7678 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 42676 [startup+1662.3 s] /proc/loadavg: 2.04 2.02 1.97 4/387 26672 /proc/meminfo: memFree=23809324/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=42676 CPUtime=1662.33 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 9580 0 0 0 166232 1 0 0 25 0 1 0 819772086 43700224 8018 33554432000 4194304 4933572 140733955374400 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 10669 8018 385 181 0 7678 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 42676 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 1.97 4/387 26674 /proc/meminfo: memFree=23809276/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=42676 CPUtime=1722.34 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 9581 0 0 0 172233 1 0 0 25 0 1 0 819772086 43700224 8018 33554432000 4194304 4933572 140733955374400 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 10669 8018 385 181 0 7678 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 42676 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.97 5/387 26676 /proc/meminfo: memFree=23807860/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=42676 CPUtime=1782.34 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 9581 0 0 0 178233 1 0 0 25 0 1 0 819772086 43700224 8018 33554432000 4194304 4933572 140733955374400 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 10669 8018 385 181 0 7678 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 42676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 1.97 3/387 26676 /proc/meminfo: memFree=23807964/32951124 swapFree=49244120/67111528 [pid=26626] ppid=26624 vsize=42676 CPUtime=1800.05 cores=1,3,5,7 /proc/26626/stat : 26626 (clasp) R 26624 26626 23490 0 -1 4202496 9581 0 0 0 180004 1 0 0 25 0 1 0 819772086 43700224 8018 33554432000 4194304 4933572 140733955374400 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0 /proc/26626/statm: 10669 8018 385 181 0 7678 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 42676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1800.05 CPU system time (s): 0.013997 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 43060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.013997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9589 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= 7 involuntary context switches= 4804 runsolver used 6.27005 second user time and 15.0007 second system time The end
Begin job on node101 at 2011-06-03 08:14:53 IDJOB=3468657 IDBENCH=1856 IDSOLVER=1958 FILE ID=node101/3468657-1307081693 RUNJOBID= node101-1307081693-26608 PBS_JOBID= 13497887 Free space on /tmp= 73952 MiB SOLVER NAME= clasp 2.0-R4191 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468657-1307081693/watcher-3468657-1307081693 -o /tmp/evaluation-result-3468657-1307081693/solver-3468657-1307081693 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468657-1307081693.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED=211898907 node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23863184 kB Buffers: 224388 kB Cached: 449964 kB SwapCached: 27120 kB Active: 8393804 kB Inactive: 417984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23863184 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 1576 kB Writeback: 0 kB AnonPages: 8132360 kB Mapped: 18696 kB Slab: 134016 kB PageTables: 74744 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78594816 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73952 MiB End job on node101 at 2011-06-03 08:44:55