Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| clasp 2.0-RC2 | MSAT (TO) | 1800.06 | 1800.01 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo |
| MD5SUM | 7b4c43120f8532700d0af4fec83df613 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 0.116981 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1200 |
| Total number of constraints | 100 |
| Number of soft constraints | 67 |
| Number of constraints which are clauses | 60 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 30 |
| Top cost | 3602 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 3601 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 31 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...895224/instance-3448268-1307895224.wbo 0.00/0.00 c Solving... 0.00/0.00 o 2142 0.00/0.00 o 2139 0.00/0.01 o 2131 0.00/0.01 o 2125 0.00/0.02 o 2119 0.00/0.03 o 2114 0.00/0.04 o 2101 0.00/0.07 o 2088 0.09/0.10 o 2075 0.09/0.15 o 2074 0.19/0.24 o 2059 0.29/0.37 o 2046 0.49/0.57 o 2033 0.79/0.89 o 2020 1.29/1.37 o 2014 2.10/2.11 o 2001 3.20/3.26 o 1988 4.99/5.00 o 1981 7.70/7.77 o 1968 11.89/11.98 o 1955 18.70/18.79 o 1949 29.39/29.41 o 1938 45.99/46.01 o 1936 71.29/71.40 o 1923 111.00/111.07 o 1919 172.39/172.40 o 1912 266.10/266.11 o 1899 414.61/414.63 o 1886 638.91/639.00 o 1880 973.22/973.28 o 1867 1477.24/1477.26 o 1863 1800.05/1800.00 1800.05/1800.00 *** INTERRUPTED! *** 1800.05/1800.00 c Answer: 31 1800.05/1800.00 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.05/1800.00 v -x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 x29 x30 x31 x32 1800.05/1800.00 v x33 x34 -x35 x36 x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 1800.05/1800.00 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 1800.05/1800.00 v x64 x65 -x66 -x67 -x68 x69 x70 x71 x72 x73 x74 -x75 -x76 x77 -x78 x79 -x80 1800.05/1800.00 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 1800.05/1800.00 v -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 1800.05/1800.00 v x110 x111 x112 x113 x114 -x115 x116 x117 -x118 x119 -x120 -x121 -x122 -x123 1800.05/1800.00 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1800.05/1800.00 v -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 x145 -x146 -x147 x148 1800.05/1800.00 v x149 x150 x151 x152 x153 x154 -x155 x156 x157 -x158 x159 -x160 -x161 -x162 1800.05/1800.00 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1800.05/1800.00 v -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 1800.05/1800.00 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1800.05/1800.00 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.05/1800.00 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 1800.05/1800.00 v -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.05/1800.00 v -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 x245 -x246 -x247 1800.05/1800.00 v x248 x249 x250 x251 x252 x253 x254 -x255 x256 x257 -x258 x259 -x260 x261 1800.05/1800.00 v x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 1800.05/1800.00 v x277 x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 1800.05/1800.00 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 1800.05/1800.00 v -x302 -x303 x304 x305 -x306 -x307 x308 x309 x310 x311 x312 x313 x314 -x315 1800.05/1800.00 v x316 x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1800.05/1800.00 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.05/1800.00 v x341 -x342 -x343 x344 x345 -x346 -x347 x348 x349 x350 x351 x352 x353 x354 1800.05/1800.00 v -x355 -x356 x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1800.05/1800.00 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 1800.05/1800.00 v -x380 x381 -x382 -x383 x384 x385 -x386 -x387 x388 x389 x390 x391 x392 x393 1800.05/1800.00 v x394 -x395 x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.05/1800.00 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 1800.05/1800.00 v -x419 -x420 x421 -x422 -x423 x424 x425 -x426 -x427 x428 x429 x430 x431 1800.05/1800.00 v x432 x433 x434 -x435 x436 x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 1800.05/1800.00 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 1800.05/1800.00 v -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.05/1800.00 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1800.05/1800.00 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 1800.05/1800.00 v -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 x501 -x502 -x503 x504 x505 1800.05/1800.00 v -x506 -x507 x508 x509 x510 x511 x512 x513 x514 -x515 x516 x517 -x518 x519 1800.05/1800.00 v -x520 x521 -x522 -x523 x524 x525 -x526 -x527 x528 x529 x530 x531 x532 x533 1800.05/1800.00 v x534 -x535 x536 x537 -x538 x539 -x540 x541 -x542 -x543 x544 x545 -x546 1800.05/1800.00 v -x547 x548 x549 x550 x551 x552 x553 x554 -x555 x556 x557 -x558 x559 -x560 1800.05/1800.00 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.05/1800.00 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 1800.05/1800.00 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.05/1800.00 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 -x606 -x607 x608 x609 1800.05/1800.00 v x610 x611 x612 x613 x614 -x615 x616 x617 -x618 x619 -x620 -x621 -x622 -x623 1800.05/1800.00 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.05/1800.00 v -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 x644 x645 -x646 -x647 x648 1800.05/1800.00 v x649 x650 x651 x652 x653 x654 -x655 x656 x657 -x658 x659 -x660 -x661 -x662 1800.05/1800.00 v -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1800.05/1800.00 v -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1800.05/1800.00 v -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.05/1800.00 v -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 x708 x709 x710 x711 1800.05/1800.00 v x712 x713 x714 -x715 x716 x717 -x718 x719 -x720 x721 -x722 -x723 x724 x725 1800.05/1800.00 v -x726 -x727 x728 x729 x730 x731 x732 x733 x734 -x735 x736 x737 -x738 x739 1800.05/1800.00 v -x740 x741 -x742 -x743 x744 x745 -x746 -x747 x748 x749 x750 x751 x752 x753 1800.05/1800.00 v x754 -x755 x756 x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1800.05/1800.00 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1800.05/1800.00 v -x779 -x780 x781 -x782 -x783 x784 x785 -x786 -x787 x788 x789 x790 x791 1800.05/1800.00 v x792 x793 x794 -x795 x796 x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 1800.05/1800.00 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 1800.05/1800.00 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.05/1800.00 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.05/1800.00 v x841 -x842 -x843 x844 x845 -x846 -x847 x848 x849 x850 x851 x852 x853 x854 1800.05/1800.00 v -x855 x856 x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.05/1800.00 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 1800.05/1800.00 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1800.05/1800.00 v -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 x901 -x902 -x903 x904 1800.05/1800.00 v x905 -x906 -x907 x908 x909 x910 x911 x912 x913 x914 -x915 x916 x917 -x918 1800.05/1800.00 v x919 -x920 x921 -x922 -x923 x924 x925 -x926 -x927 x928 x929 x930 x931 x932 1800.05/1800.00 v x933 x934 -x935 x936 x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.05/1800.00 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 1800.05/1800.00 v -x958 -x959 -x960 x961 -x962 -x963 x964 x965 -x966 -x967 x968 x969 x970 1800.05/1800.00 v x971 x972 x973 x974 -x975 x976 x977 -x978 x979 -x980 -x981 -x982 -x983 1800.05/1800.00 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1800.05/1800.00 v -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.05/1800.00 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 1800.05/1800.00 v -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.05/1800.00 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 1800.05/1800.00 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1800.05/1800.00 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.05/1800.00 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1800.05/1800.00 v -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1800.05/1800.00 v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.05/1800.00 v -x1095 -x1096 x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 x1105 1800.05/1800.00 v -x1106 -x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 -x1115 x1116 x1117 1800.05/1800.00 v -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.05/1800.00 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 1800.05/1800.00 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.05/1800.00 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 x1161 1800.05/1800.00 v -x1162 -x1163 x1164 x1165 -x1166 -x1167 x1168 x1169 x1170 x1171 x1172 x1173 1800.05/1800.00 v x1174 -x1175 x1176 x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1800.05/1800.00 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.05/1800.00 v -x1196 -x1197 -x1198 x1199 -x1200 1800.05/1800.00 s SATISFIABLE 1800.05/1800.00 1800.05/1800.00 c INTERRUPTED : 1 1800.05/1800.00 c Models : 1+ 1800.05/1800.00 c Enumerated : 31 1800.05/1800.00 c Optimum : unknown 1800.05/1800.00 c Optimization : 1863 1800.05/1800.00 c Time : 1800.003s (Solving: 1800.00s 1st Model: 0.00s Unsat: 0.00s) 1800.05/1800.00 c CPU Time : 1800.320s
OK 1863
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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 /var/tmp/evaluation-result-3448268-1307895224/watcher-3448268-1307895224 -o /var/tmp/evaluation-result-3448268-1307895224/solver-3448268-1307895224 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448268-1307895224.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 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: 1.49 0.77 0.66 3/170 22528 /proc/meminfo: memFree=1553880/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=2292 CPUtime=0 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 373 0 0 0 0 0 0 0 23 0 1 0 901122866 2347008 319 33554432000 134512640 136285325 4293048288 18446744073709551615 134930227 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 573 319 203 433 0 138 0 [startup+0.090112 s] /proc/loadavg: 1.49 0.77 0.66 3/170 22528 /proc/meminfo: memFree=1553880/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=2688 CPUtime=0.08 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 456 0 0 0 8 0 0 0 23 0 1 0 901122866 2752512 402 33554432000 134512640 136285325 4293048288 18446744073709551615 134635957 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 672 402 209 433 0 237 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2688 [startup+0.101112 s] /proc/loadavg: 1.49 0.77 0.66 3/170 22528 /proc/meminfo: memFree=1553880/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=2688 CPUtime=0.09 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 457 0 0 0 9 0 0 0 23 0 1 0 901122866 2752512 403 33554432000 134512640 136285325 4293048288 18446744073709551615 134636600 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 672 403 209 433 0 237 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2688 [startup+0.301072 s] /proc/loadavg: 1.49 0.77 0.66 3/170 22528 /proc/meminfo: memFree=1553880/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=2820 CPUtime=0.29 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 493 0 0 0 29 0 0 0 25 0 1 0 901122866 2887680 439 33554432000 134512640 136285325 4293048288 18446744073709551615 135026753 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 705 439 209 433 0 270 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2820 [startup+0.701031 s] /proc/loadavg: 1.49 0.77 0.66 3/170 22528 /proc/meminfo: memFree=1553880/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=2952 CPUtime=0.69 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 537 0 0 0 69 0 0 0 25 0 1 0 901122866 3022848 483 33554432000 134512640 136285325 4293048288 18446744073709551615 135027219 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 738 483 209 433 0 303 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2952 [startup+1.50088 s] /proc/loadavg: 1.53 0.79 0.67 3/175 22538 /proc/meminfo: memFree=1544696/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=3084 CPUtime=1.49 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 575 0 0 0 149 0 0 0 25 0 1 0 901122866 3158016 521 33554432000 134512640 136285325 4293048288 18446744073709551615 134954559 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 771 521 209 433 0 336 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3084 [startup+3.10058 s] /proc/loadavg: 1.53 0.79 0.67 3/175 22538 /proc/meminfo: memFree=1542880/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=3348 CPUtime=3.09 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 623 0 0 0 309 0 0 0 25 0 1 0 901122866 3428352 569 33554432000 134512640 136285325 4293048288 18446744073709551615 134674608 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 837 569 210 433 0 402 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3348 [startup+6.30095 s] /proc/loadavg: 1.53 0.79 0.67 3/175 22538 /proc/meminfo: memFree=1540180/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=3592 CPUtime=6.29 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 686 0 0 0 629 0 0 0 25 0 1 0 901122866 3678208 632 33554432000 134512640 136285325 4293048288 18446744073709551615 134674749 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 898 632 210 433 0 463 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3592 [startup+12.7008 s] /proc/loadavg: 1.60 0.83 0.68 3/175 22539 /proc/meminfo: memFree=1537116/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=3936 CPUtime=12.69 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 763 0 0 0 1269 0 0 0 25 0 1 0 901122866 4030464 709 33554432000 134512640 136285325 4293048288 18446744073709551615 134954522 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 984 709 210 433 0 549 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 3936 [startup+25.5004 s] /proc/loadavg: 1.66 0.87 0.70 3/175 22539 /proc/meminfo: memFree=1533644/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=4280 CPUtime=25.49 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 868 0 0 0 2549 0 0 0 25 0 1 0 901122866 4382720 814 33554432000 134512640 136285325 4293048288 18446744073709551615 134625306 0 0 4096 18946 0 0 0 17 2 0 0 0 /proc/22528/statm: 1070 814 210 433 0 635 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 4280 [startup+51.1007 s] /proc/loadavg: 1.78 0.96 0.73 3/175 22539 /proc/meminfo: memFree=1530968/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=4884 CPUtime=51.09 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1013 0 0 0 5109 0 0 0 25 0 1 0 901122866 5001216 959 33554432000 134512640 136285325 4293048288 18446744073709551615 134667134 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1221 959 210 433 0 786 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 4884 [startup+102.306 s] /proc/loadavg: 1.91 1.13 0.80 3/175 22541 /proc/meminfo: memFree=1525592/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=5392 CPUtime=102.3 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1157 0 0 0 10230 0 0 0 25 0 1 0 901122866 5521408 1075 33554432000 134512640 136285325 4293048288 18446744073709551615 135020864 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1348 1075 210 433 0 913 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 5392 [startup+162.301 s] /proc/loadavg: 1.96 1.29 0.87 3/175 22543 /proc/meminfo: memFree=1522432/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=5820 CPUtime=162.29 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1310 0 0 0 16229 0 0 0 25 0 1 0 901122866 5959680 1209 33554432000 134512640 136285325 4293048288 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1455 1209 210 433 0 1020 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 5820 [startup+222.301 s] /proc/loadavg: 1.98 1.42 0.94 3/175 22544 /proc/meminfo: memFree=1520632/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=6300 CPUtime=222.3 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1487 0 0 0 22230 0 0 0 25 0 1 0 901122866 6451200 1314 33554432000 134512640 136285325 4293048288 18446744073709551615 134667154 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1575 1314 210 433 0 1140 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 6300 [startup+282.301 s] /proc/loadavg: 2.06 1.54 1.01 3/175 22546 /proc/meminfo: memFree=1518452/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=6680 CPUtime=282.3 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1581 0 0 0 28230 0 0 0 25 0 1 0 901122866 6840320 1408 33554432000 134512640 136285325 4293048288 18446744073709551615 134954250 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1670 1408 210 433 0 1235 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 6680 [startup+342.301 s] /proc/loadavg: 2.02 1.62 1.07 3/175 22547 /proc/meminfo: memFree=1517024/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=6992 CPUtime=342.3 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1660 0 0 0 34230 0 0 0 25 0 1 0 901122866 7159808 1487 33554432000 134512640 136285325 4293048288 18446744073709551615 135020720 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1748 1487 210 433 0 1313 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 6992 [startup+402.3 s] /proc/loadavg: 2.06 1.70 1.13 3/175 22549 /proc/meminfo: memFree=1514856/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=7000 CPUtime=402.3 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1688 0 0 0 40230 0 0 0 25 0 1 0 901122866 7168000 1504 33554432000 134512640 136285325 4293048288 18446744073709551615 134625345 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1750 1504 210 433 0 1315 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 7000 [startup+462.301 s] /proc/loadavg: 2.02 1.75 1.18 3/175 22551 /proc/meminfo: memFree=1514788/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=7352 CPUtime=462.3 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1807 0 0 0 46230 0 0 0 25 0 1 0 901122866 7528448 1590 33554432000 134512640 136285325 4293048288 18446744073709551615 134639726 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1838 1590 210 433 0 1403 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 7352 [startup+522.301 s] /proc/loadavg: 2.01 1.79 1.23 3/175 22552 /proc/meminfo: memFree=1513252/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=7488 CPUtime=522.3 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1887 0 0 0 52230 0 0 0 25 0 1 0 901122866 7667712 1626 33554432000 134512640 136285325 4293048288 18446744073709551615 134960767 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1872 1626 210 433 0 1437 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 7488 [startup+582.301 s] /proc/loadavg: 2.00 1.83 1.27 3/175 22554 /proc/meminfo: memFree=1510340/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=7620 CPUtime=582.31 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 1916 0 0 0 58231 0 0 0 25 0 1 0 901122866 7802880 1655 33554432000 134512640 136285325 4293048288 18446744073709551615 134625386 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1905 1655 210 433 0 1470 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 7620 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.91 1.43 3/175 22560 /proc/meminfo: memFree=1507216/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=7784 CPUtime=822.31 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2048 0 0 0 82231 0 0 0 25 0 1 0 901122866 7970816 1700 33554432000 134512640 136285325 4293048288 18446744073709551615 134954401 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1946 1700 210 433 0 1511 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 7784 [startup+882.301 s] /proc/loadavg: 2.03 1.94 1.47 3/175 22562 /proc/meminfo: memFree=1505164/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=7996 CPUtime=882.32 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2115 0 0 0 88232 0 0 0 25 0 1 0 901122866 8187904 1753 33554432000 134512640 136285325 4293048288 18446744073709551615 134669661 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1999 1753 210 433 0 1564 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 7996 [startup+942.301 s] /proc/loadavg: 2.01 1.95 1.50 3/175 22563 /proc/meminfo: memFree=1504356/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=7996 CPUtime=942.32 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2115 0 0 0 94232 0 0 0 25 0 1 0 901122866 8187904 1753 33554432000 134512640 136285325 4293048288 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 1999 1753 210 433 0 1564 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 7996 [startup+1002.3 s] /proc/loadavg: 2.00 1.95 1.53 3/175 22565 /proc/meminfo: memFree=1504044/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8036 CPUtime=1002.32 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2152 0 0 0 100232 0 0 0 25 0 1 0 901122866 8228864 1763 33554432000 134512640 136285325 4293048288 18446744073709551615 135640013 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2009 1763 210 433 0 1574 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 8036 [startup+1062.3 s] /proc/loadavg: 2.00 1.96 1.55 3/175 22567 /proc/meminfo: memFree=1502988/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8168 CPUtime=1062.32 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2249 0 0 0 106232 0 0 0 25 0 1 0 901122866 8364032 1779 33554432000 134512640 136285325 4293048288 18446744073709551615 134954486 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2042 1779 210 433 0 1607 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 8168 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.58 3/175 22568 /proc/meminfo: memFree=1503172/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8396 CPUtime=1122.32 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2401 0 0 0 112232 0 0 0 25 0 1 0 901122866 8597504 1853 33554432000 134512640 136285325 4293048288 18446744073709551615 134640648 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2099 1853 210 433 0 1664 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 8396 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.60 3/175 22570 /proc/meminfo: memFree=1503232/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8396 CPUtime=1182.32 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2401 0 0 0 118232 0 0 0 25 0 1 0 901122866 8597504 1853 33554432000 134512640 136285325 4293048288 18446744073709551615 135028389 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2099 1853 210 433 0 1664 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 8396 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.62 3/175 22571 /proc/meminfo: memFree=1500688/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8528 CPUtime=1242.33 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2419 0 0 0 124233 0 0 0 25 0 1 0 901122866 8732672 1871 33554432000 134512640 136285325 4293048288 18446744073709551615 134625266 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2132 1871 210 433 0 1697 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 8528 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.64 3/175 22573 /proc/meminfo: memFree=1498900/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8528 CPUtime=1302.33 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2419 0 0 0 130233 0 0 0 25 0 1 0 901122866 8732672 1871 33554432000 134512640 136285325 4293048288 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2132 1871 210 433 0 1697 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 8528 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.66 3/175 22575 /proc/meminfo: memFree=1497228/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8528 CPUtime=1362.33 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2419 0 0 0 136233 0 0 0 25 0 1 0 901122866 8732672 1871 33554432000 134512640 136285325 4293048288 18446744073709551615 134957305 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2132 1871 210 433 0 1697 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 8528 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.68 3/175 22576 /proc/meminfo: memFree=1496544/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8592 CPUtime=1422.34 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2498 0 0 0 142234 0 0 0 25 0 1 0 901122866 8798208 1902 33554432000 134512640 136285325 4293048288 18446744073709551615 134625335 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2148 1902 210 433 0 1713 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 8592 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.70 3/175 22578 /proc/meminfo: memFree=1496476/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8724 CPUtime=1482.33 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2527 0 0 0 148233 0 0 0 25 0 1 0 901122866 8933376 1917 33554432000 134512640 136285325 4293048288 18446744073709551615 134636600 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2181 1917 210 433 0 1746 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 8724 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.71 3/175 22579 /proc/meminfo: memFree=1496424/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8724 CPUtime=1542.34 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2534 0 0 0 154234 0 0 0 25 0 1 0 901122866 8933376 1924 33554432000 134512640 136285325 4293048288 18446744073709551615 134625368 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2181 1924 210 433 0 1746 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 8724 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.73 3/175 22581 /proc/meminfo: memFree=1495756/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8724 CPUtime=1602.34 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2534 0 0 0 160234 0 0 0 25 0 1 0 901122866 8933376 1924 33554432000 134512640 136285325 4293048288 18446744073709551615 135027230 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2181 1924 210 433 0 1746 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 8724 [startup+1662.3 s] /proc/loadavg: 2.00 1.97 1.74 3/175 22583 /proc/meminfo: memFree=1496064/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8856 CPUtime=1662.34 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2550 0 0 0 166234 0 0 0 25 0 1 0 901122866 9068544 1940 33554432000 134512640 136285325 4293048288 18446744073709551615 134667154 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2214 1940 210 433 0 1779 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 8856 [startup+1722.3 s] /proc/loadavg: 2.00 1.97 1.75 3/175 22584 /proc/meminfo: memFree=1495996/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8856 CPUtime=1722.34 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2563 0 0 0 172234 0 0 0 25 0 1 0 901122866 9068544 1953 33554432000 134512640 136285325 4293048288 18446744073709551615 134625317 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2214 1953 210 433 0 1779 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 8856 [startup+1782.3 s] /proc/loadavg: 2.00 1.97 1.77 3/175 22586 /proc/meminfo: memFree=1495312/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8868 CPUtime=1782.35 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2591 0 0 0 178235 0 0 0 25 0 1 0 901122866 9080832 1971 33554432000 134512640 136285325 4293048288 18446744073709551615 134639680 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2217 1971 210 433 0 1782 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 8868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.97 1.77 3/175 22586 /proc/meminfo: memFree=1495300/32951124 swapFree=67064380/67111528 [pid=22528] ppid=22526 vsize=8868 CPUtime=1800.05 cores=0,2,4,6 /proc/22528/stat : 22528 (clasp) R 22526 22528 22218 0 -1 4202496 2591 0 0 0 180005 0 0 0 25 0 1 0 901122866 9080832 1971 33554432000 134512640 136285325 4293048288 18446744073709551615 134625368 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/22528/statm: 2217 1971 210 433 0 1782 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 8868 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.01 CPU time (s): 1800.06 CPU user time (s): 1800.06 CPU system time (s): 0.004999 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.004999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2599 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= 2635 runsolver used 2.72959 second user time and 5.46017 second system time The end
Begin job on node105 at 2011-06-12 18:13:44 IDJOB=3448268 IDBENCH=78676 IDSOLVER=1946 FILE ID=node105/3448268-1307895224 RUNJOBID= node105-1307895224-22509 PBS_JOBID= 13559597 Free space on /var/tmp= 2892 MiB SOLVER NAME= clasp 2.0-RC2 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3448268-1307895224/watcher-3448268-1307895224 -o /var/tmp/evaluation-result-3448268-1307895224/solver-3448268-1307895224 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448268-1307895224.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b4c43120f8532700d0af4fec83df613 RANDOM SEED=1319008787 node105.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.825 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.65 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.825 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.15 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.825 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.82 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.825 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.75 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.825 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 : 5410.70 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.825 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.74 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.825 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.82 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.825 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1555236 kB Buffers: 47280 kB Cached: 30371204 kB SwapCached: 19872 kB Active: 15305712 kB Inactive: 15140924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1555236 kB SwapTotal: 67111528 kB SwapFree: 67064380 kB Dirty: 2064 kB Writeback: 0 kB AnonPages: 25812 kB Mapped: 10164 kB Slab: 885548 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 158608 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 /var/tmp at the end= 2888 MiB End job on node105 at 2011-06-12 18:43:46