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) | 39 | 1800.06 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb |
| MD5SUM | 12e000f4c238d036e0b89e0774c838fa |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 30 |
| Best CPU time to get the best result obtained on this benchmark | 1797.38 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 108 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75294 |
| Sum of products size (including duplicates) | 150588 |
| Number of different products | 75294 |
| Sum of products size | 150588 |
0.00/0.00 c clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...094108/instance-3469367-1307094108.opb 0.89/0.92 c Solving... 0.89/0.93 o 43 0.89/0.94 o 42 0.89/0.95 o 41 0.89/0.97 o 40 0.89/0.98 o 39 1800.03/1800.01 1800.03/1800.01 *** INTERRUPTED! *** 1800.03/1800.01 c Answer: 5 1800.03/1800.01 v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 x12 x13 -x14 -x15 -x16 -x17 1800.03/1800.01 v -x18 x19 x20 -x21 -x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 1800.03/1800.01 v -x34 -x35 -x36 -x37 x38 x39 x40 x41 -x42 x43 x44 x45 x46 -x47 x48 -x49 1800.03/1800.01 v -x50 x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 1800.03/1800.01 v -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 1800.03/1800.01 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 1800.03/1800.01 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.03/1800.01 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 1800.03/1800.01 v -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1800.03/1800.01 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1800.03/1800.01 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.03/1800.01 v -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1800.01 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1800.03/1800.01 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.03/1800.01 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1800.03/1800.01 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.03/1800.01 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1800.03/1800.01 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1800.03/1800.01 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.03/1800.01 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1800.03/1800.01 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.03/1800.01 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1800.03/1800.01 v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.03/1800.01 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 1800.03/1800.01 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 1800.03/1800.01 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.03/1800.01 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1800.03/1800.01 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1800.03/1800.01 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 1800.03/1800.01 v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.03/1800.01 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 1800.03/1800.01 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 1800.03/1800.01 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.03/1800.01 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 1800.03/1800.01 v -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.03/1800.01 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 1800.03/1800.01 v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.03/1800.01 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1800.03/1800.01 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 1800.03/1800.01 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 1800.03/1800.01 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 1800.03/1800.01 v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.03/1800.01 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 1800.03/1800.01 v -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.03/1800.01 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 1800.03/1800.01 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.03/1800.01 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.03/1800.01 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 1800.03/1800.01 v -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1800.03/1800.01 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 1800.03/1800.01 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.03/1800.01 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 1800.03/1800.01 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.03/1800.01 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.03/1800.01 v x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 1800.03/1800.01 v x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 x696 1800.03/1800.01 v x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.03/1800.01 v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.03/1800.01 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 1800.03/1800.01 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1800.03/1800.01 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.03/1800.01 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 1800.03/1800.01 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1800.03/1800.01 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 1800.03/1800.01 v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1800.03/1800.01 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 1800.03/1800.01 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.03/1800.01 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.03/1800.01 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1800.03/1800.01 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.03/1800.01 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.03/1800.01 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 1800.03/1800.01 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 1800.03/1800.01 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1800.03/1800.01 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.03/1800.01 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 1800.03/1800.01 v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.03/1800.01 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1800.03/1800.01 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 1800.03/1800.01 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 1800.03/1800.01 v -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 x993 -x994 -x995 -x996 x997 1800.03/1800.01 v -x998 -x999 -x1000 1800.03/1800.01 s SATISFIABLE 1800.03/1800.01 1800.03/1800.01 c INTERRUPTED : 1 1800.03/1800.01 c Models : 1+ 1800.03/1800.01 c Enumerated : 5 1800.03/1800.01 c Optimum : unknown 1800.03/1800.01 c Optimization : 39 1800.03/1800.01 c Time : 1800.016s (Solving: 1799.10s 1st Model: 0.01s Unsat: 0.00s) 1800.03/1800.01 c CPU Time : 1800.040s
OK 39
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-3469367-1307094108/watcher-3469367-1307094108 -o /tmp/evaluation-result-3469367-1307094108/solver-3469367-1307094108 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469367-1307094108.opb --solu --heu=VSIDS running on 4 cores: 0,2,4,6 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: 2.00 2.02 2.00 2/489 20069 /proc/meminfo: memFree=27272624/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=27212 CPUtime=0 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 4393 0 0 0 0 0 0 0 25 0 1 0 821009357 27865088 3794 33554432000 4194304 4933572 140734726512272 18446744073709551615 4659414 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 6803 3798 309 181 0 3812 0 [startup+0.100549 s] /proc/loadavg: 2.00 2.02 2.00 2/489 20069 /proc/meminfo: memFree=27272624/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=47600 CPUtime=0.09 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 11670 0 0 0 9 0 0 0 25 0 1 0 821009357 48742400 8889 33554432000 4194304 4933572 140734726512272 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 11900 8889 337 181 0 8909 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 47600 [startup+0.200537 s] /proc/loadavg: 2.00 2.02 2.00 2/489 20069 /proc/meminfo: memFree=27272624/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=52660 CPUtime=0.19 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 12885 0 0 0 19 0 0 0 25 0 1 0 821009357 53923840 10104 33554432000 4194304 4933572 140734726512272 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 13165 10104 340 181 0 10174 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 52660 [startup+0.300529 s] /proc/loadavg: 2.00 2.02 2.00 2/489 20069 /proc/meminfo: memFree=27272624/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=57848 CPUtime=0.29 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 14196 0 0 0 29 0 0 0 25 0 1 0 821009357 59236352 11415 33554432000 4194304 4933572 140734726512272 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 14462 11415 340 181 0 11471 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57848 [startup+0.700463 s] /proc/loadavg: 2.00 2.02 2.00 2/489 20069 /proc/meminfo: memFree=27272624/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=77000 CPUtime=0.69 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 18891 0 0 0 68 1 0 0 25 0 1 0 821009357 78848000 16110 33554432000 4194304 4933572 140734726512272 18446744073709551615 4595752 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 19250 16110 340 181 0 16259 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 77000 [startup+1.50032 s] /proc/loadavg: 2.00 2.02 2.00 3/490 20070 /proc/meminfo: memFree=27201728/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=80948 CPUtime=1.49 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 21232 0 0 0 147 2 0 0 25 0 1 0 821009357 82890752 17261 33554432000 4194304 4933572 140734726512272 18446744073709551615 4428670 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 20237 17261 374 181 0 17246 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 80948 [startup+3.10105 s] /proc/loadavg: 2.00 2.02 2.00 3/490 20070 /proc/meminfo: memFree=27199744/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=80948 CPUtime=3.09 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 21269 0 0 0 307 2 0 0 25 0 1 0 821009357 82890752 17298 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 20237 17298 374 181 0 17246 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 80948 [startup+6.30052 s] /proc/loadavg: 2.00 2.02 2.00 3/490 20070 /proc/meminfo: memFree=27198260/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=80948 CPUtime=6.29 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 21335 0 0 0 627 2 0 0 25 0 1 0 821009357 82890752 17364 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 20237 17364 374 181 0 17246 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 80948 [startup+12.7004 s] /proc/loadavg: 2.00 2.02 2.00 3/490 20070 /proc/meminfo: memFree=27195432/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=80948 CPUtime=12.69 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 21426 0 0 0 1267 2 0 0 25 0 1 0 821009357 82890752 17455 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 20237 17455 374 181 0 17246 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80948 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.00 3/490 20071 /proc/meminfo: memFree=27189096/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=85876 CPUtime=25.49 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 22623 0 0 0 2547 2 0 0 25 0 1 0 821009357 87937024 18652 33554432000 4194304 4933572 140734726512272 18446744073709551615 4319248 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 21469 18652 374 181 0 18478 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85876 [startup+51.101 s] /proc/loadavg: 2.00 2.01 2.00 3/490 20072 /proc/meminfo: memFree=27178728/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=93460 CPUtime=51.09 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 24488 0 0 0 5107 2 0 0 25 0 1 0 821009357 95703040 20517 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 23365 20517 374 181 0 20374 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 93460 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 20073 /proc/meminfo: memFree=27164336/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=103080 CPUtime=102.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 26760 0 0 0 10228 3 0 0 25 0 1 0 821009357 105553920 22789 33554432000 4194304 4933572 140734726512272 18446744073709551615 4359769 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 25770 22789 374 181 0 22779 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 103080 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/490 20074 /proc/meminfo: memFree=27151048/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=112944 CPUtime=162.3 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 29099 0 0 0 16226 4 0 0 25 0 1 0 821009357 115654656 25128 33554432000 4194304 4933572 140734726512272 18446744073709551615 4377152 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 28236 25128 374 181 0 25245 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 112944 [startup+222.318 s] /proc/loadavg: 2.00 2.00 2.00 3/490 20076 /proc/meminfo: memFree=27141320/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=121096 CPUtime=222.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 31095 0 0 0 22227 4 0 0 25 0 1 0 821009357 124002304 27124 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 30274 27124 374 181 0 27283 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 121096 [startup+282.301 s] /proc/loadavg: 2.07 2.03 2.01 3/490 20078 /proc/meminfo: memFree=27131132/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=131104 CPUtime=282.29 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 33437 0 0 0 28225 4 0 0 25 0 1 0 821009357 134250496 29466 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 32776 29466 374 181 0 29785 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 131104 [startup+342.301 s] /proc/loadavg: 2.06 2.03 2.01 3/490 20080 /proc/meminfo: memFree=27122688/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=137488 CPUtime=342.29 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 34866 0 0 0 34225 4 0 0 25 0 1 0 821009357 140787712 30895 33554432000 4194304 4933572 140734726512272 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 34372 30895 374 181 0 31381 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 137488 [startup+402.301 s] /proc/loadavg: 2.02 2.02 2.00 3/490 20081 /proc/meminfo: memFree=27116600/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=142736 CPUtime=402.3 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 36073 0 0 0 40225 5 0 0 25 0 1 0 821009357 146161664 32102 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 35684 32102 374 181 0 32693 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 142736 [startup+462.301 s] /proc/loadavg: 2.11 2.05 2.01 3/490 20082 /proc/meminfo: memFree=27107032/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=152128 CPUtime=462.3 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 38311 0 0 0 46225 5 0 0 25 0 1 0 821009357 155779072 34340 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 38032 34340 374 181 0 35041 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 152128 [startup+522.301 s] /proc/loadavg: 2.09 2.05 2.01 3/490 20084 /proc/meminfo: memFree=27104156/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=154716 CPUtime=522.3 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 38855 0 0 0 52225 5 0 0 25 0 1 0 821009357 158429184 34884 33554432000 4194304 4933572 140734726512272 18446744073709551615 4429128 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 38679 34884 374 181 0 35688 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 154716 [startup+582.301 s] /proc/loadavg: 2.03 2.04 2.00 3/490 20086 /proc/meminfo: memFree=27100040/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=158288 CPUtime=582.3 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 39665 0 0 0 58225 5 0 0 25 0 1 0 821009357 162086912 35694 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 39572 35694 374 181 0 36581 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 158288 [startup+642.301 s] ################ # More data... # ################ [startup+882.318 s] /proc/loadavg: 2.10 2.04 2.01 3/490 20094 /proc/meminfo: memFree=27070916/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=185468 CPUtime=882.33 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 46009 0 0 0 88226 7 0 0 25 0 1 0 821009357 189919232 42038 33554432000 4194304 4933572 140734726512272 18446744073709551615 4362013 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 46367 42038 374 181 0 43376 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 185468 [startup+942.3 s] /proc/loadavg: 2.08 2.04 2.01 3/490 20096 /proc/meminfo: memFree=27064944/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=191376 CPUtime=942.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 47401 0 0 0 94224 7 0 0 25 0 1 0 821009357 195969024 43430 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 47844 43430 374 181 0 44853 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 191376 [startup+1002.3 s] /proc/loadavg: 2.17 2.06 2.01 3/490 20097 /proc/meminfo: memFree=27061332/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=194508 CPUtime=1002.3 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 48112 0 0 0 100223 7 0 0 25 0 1 0 821009357 199176192 44141 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 48627 44141 374 181 0 45636 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 194508 [startup+1062.3 s] /proc/loadavg: 2.13 2.06 2.01 3/490 20098 /proc/meminfo: memFree=27058836/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=197888 CPUtime=1062.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 48878 0 0 0 106223 8 0 0 25 0 1 0 821009357 202637312 44907 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 49472 44907 374 181 0 46481 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 197888 [startup+1122.3 s] /proc/loadavg: 2.05 2.05 2.01 3/490 20100 /proc/meminfo: memFree=27054088/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=202040 CPUtime=1122.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 49815 0 0 0 112223 8 0 0 25 0 1 0 821009357 206888960 45844 33554432000 4194304 4933572 140734726512272 18446744073709551615 4625216 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 50510 45844 374 181 0 47519 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 202040 [startup+1182.3 s] /proc/loadavg: 2.02 2.04 2.00 3/490 20111 /proc/meminfo: memFree=27051860/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=203800 CPUtime=1182.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 50229 0 0 0 118223 8 0 0 25 0 1 0 821009357 208691200 46258 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 50950 46258 374 181 0 47959 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 203800 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/490 20113 /proc/meminfo: memFree=27049232/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=205884 CPUtime=1242.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 50743 0 0 0 124223 8 0 0 25 0 1 0 821009357 210825216 46772 33554432000 4194304 4933572 140734726512272 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 51471 46772 374 181 0 48480 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 205884 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 20114 /proc/meminfo: memFree=27047612/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=206440 CPUtime=1302.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 50877 0 0 0 130223 8 0 0 25 0 1 0 821009357 211394560 46906 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 51610 46906 374 181 0 48619 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 206440 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 20118 /proc/meminfo: memFree=27047392/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=206756 CPUtime=1362.31 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 50962 0 0 0 136223 8 0 0 25 0 1 0 821009357 211718144 46991 33554432000 4194304 4933572 140734726512272 18446744073709551615 4359769 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 51689 46991 374 181 0 48698 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 206756 [startup+1422.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 20120 /proc/meminfo: memFree=27046208/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=208344 CPUtime=1422.33 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 51334 0 0 0 142224 9 0 0 25 0 1 0 821009357 213344256 47363 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 52086 47363 374 181 0 49095 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 208344 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 2.00 3/490 20122 /proc/meminfo: memFree=27041112/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=212708 CPUtime=1482.32 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 52410 0 0 0 148223 9 0 0 25 0 1 0 821009357 217812992 48439 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 53177 48439 374 181 0 50186 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 212708 [startup+1542.32 s] /proc/loadavg: 2.02 2.02 2.00 3/490 20124 /proc/meminfo: memFree=27035776/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=219460 CPUtime=1542.33 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 54001 0 0 0 154224 9 0 0 25 0 1 0 821009357 224727040 50030 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 54865 50030 374 181 0 51874 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 219460 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/490 20125 /proc/meminfo: memFree=27032160/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=222644 CPUtime=1602.32 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 54687 0 0 0 160222 10 0 0 25 0 1 0 821009357 227987456 50716 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 55661 50716 374 181 0 52670 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 222644 [startup+1662.3 s] /proc/loadavg: 2.07 2.03 2.01 3/490 20126 /proc/meminfo: memFree=27031152/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=223592 CPUtime=1662.32 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 54902 0 0 0 166222 10 0 0 25 0 1 0 821009357 228958208 50931 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 55898 50931 374 181 0 52907 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 223592 [startup+1722.3 s] /proc/loadavg: 2.09 2.05 2.01 3/490 20128 /proc/meminfo: memFree=27030632/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=223724 CPUtime=1722.32 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 54967 0 0 0 172222 10 0 0 25 0 1 0 821009357 229093376 50996 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 55931 50996 374 181 0 52940 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 223724 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/490 20130 /proc/meminfo: memFree=27022680/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=229892 CPUtime=1782.32 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 56438 0 0 0 178222 10 0 0 25 0 1 0 821009357 235409408 52467 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649133 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 57473 52467 374 181 0 54482 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 229892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.04 2.00 2/488 20131 /proc/meminfo: memFree=27060264/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=230080 CPUtime=1800.03 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 56474 0 0 0 179993 10 0 0 25 0 1 0 821009357 235601920 52503 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 57520 52503 374 181 0 54529 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 230080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.02 2.04 2.00 2/488 20131 /proc/meminfo: memFree=27060264/32951124 swapFree=63649284/67111528 [pid=20069] ppid=20067 vsize=230080 CPUtime=1800.03 cores=0,2,4,6 /proc/20069/stat : 20069 (clasp) R 20067 20069 19900 0 -1 4202496 56474 0 0 0 179993 10 0 0 25 0 1 0 821009357 235601920 52503 33554432000 4194304 4933572 140734726512272 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/20069/statm: 57520 52503 374 181 0 54529 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 230080 Child status: 10 Real time (s): 1800.03 CPU time (s): 1800.06 CPU user time (s): 1799.94 CPU system time (s): 0.115982 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 230080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.115982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56484 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= 5 involuntary context switches= 20086 runsolver used 9.1906 second user time and 18.8501 second system time The end
Begin job on node130 at 2011-06-03 11:41:49 IDJOB=3469367 IDBENCH=48149 IDSOLVER=1959 FILE ID=node130/3469367-1307094108 RUNJOBID= node130-1307092306-19918 PBS_JOBID= 13497970 Free space on /tmp= 73848 MiB SOLVER NAME= clasp 2.0-R4191 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_3.opb COMMAND LINE= HOME/clasp BENCHNAME --solu --heu=VSIDS RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3469367-1307094108/watcher-3469367-1307094108 -o /tmp/evaluation-result-3469367-1307094108/solver-3469367-1307094108 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469367-1307094108.opb --solu --heu=VSIDS TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa RANDOM SEED=375369133 node130.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.838 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.67 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.838 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 : 5332.83 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.838 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.75 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.838 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.81 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.838 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.75 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.838 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.838 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27273044 kB Buffers: 242204 kB Cached: 369976 kB SwapCached: 9700 kB Active: 5069828 kB Inactive: 327892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27273044 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 4783448 kB Mapped: 31468 kB Slab: 157436 kB PageTables: 53636 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145098800 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= 73848 MiB End job on node130 at 2011-06-03 12:11:51