Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.12 | 1800.07 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4_wcsp.wbo |
MD5SUM | ca9d0852ab5b196169871de07952f6ec |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 11557 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 928 |
Total number of constraints | 353054 |
Number of soft constraints | 353032 |
Number of constraints which are clauses | 353032 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 44 |
Top cost | 69697 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 47779432 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 1.69/1.79 c constraints 22/0 clauses 0/353032 units 0 1.69/1.79 c vars 928 1.69/1.79 c Setting top cost 69697 201.89/201.92 c 200.912 1868.71 1 707533 201.89/201.92 o 53827 202.59/202.60 c 201.058 1916.32 1 1061163 202.59/202.60 o 50600 203.19/203.27 c 201.201 1916.06 2 1414842 203.19/203.27 o 48253 203.89/203.93 c 201.343 1916.2 2 1768446 203.89/203.93 o 40764 205.00/205.04 c 201.556 1916.71 9 2246377 205.00/205.04 o 40664 205.70/205.71 c 201.695 1916.72 9 2599949 205.70/205.71 o 37808 206.29/206.38 c 201.845 1916.73 9 2953528 206.29/206.38 o 37183 207.30/207.36 c 202.2 1916.73 14 3370297 207.30/207.36 o 36488 207.99/208.04 c 202.493 1916.03 14 3723930 207.99/208.04 o 31149 208.60/208.69 c 202.746 1917.42 14 3853206 208.60/208.69 o 31142 209.40/209.48 c 202.927 1917.43 17 4144458 209.40/209.48 o 31046 210.20/210.21 c 203.096 1917.56 21 4464943 210.20/210.21 o 30762 210.80/210.88 c 203.246 1917.56 21 4818572 210.80/210.88 o 28601 211.50/211.56 c 203.393 1917.57 21 5172208 211.50/211.56 o 27324 212.70/212.73 c 203.756 1916.99 121 5611926 212.70/212.73 o 25939 214.20/214.29 c 204.387 1917.19 234 6064345 214.20/214.29 o 17071 225.89/225.97 c 208.759 1918.78 1701 6670277 225.89/225.97 o 16870 259.39/259.47 c 221.404 1923.18 6897 7655067 259.39/259.47 o 16669 261.81/261.84 c 222.708 1923.25 7080 7898611 261.81/261.84 o 16638 298.40/298.47 c 236.619 1924.81 11870 8758252 298.40/298.47 o 16448 299.90/299.96 c 237.387 1924.82 12071 9121036 299.90/299.96 o 16105 351.60/351.64 c 256.262 1928.5 18808 10471527 351.60/351.64 o 16042 480.90/480.95 c 315.407 1934.63 32516 11860713 480.90/480.95 o 16014 481.71/481.77 c 315.664 1937.08 32518 12185674 481.71/481.77 o 15396 495.11/495.15 c 321.731 1937.86 34614 12750333 495.11/495.15 o 15327 585.50/585.51 c 355.635 1938.25 45268 13987512 585.50/585.51 o 15261 606.20/606.24 c 364.219 1939.94 48717 14576893 606.20/606.24 o 15206 613.81/613.87 c 367.264 1941.17 49936 15065819 613.81/613.87 o 15103 712.82/712.87 c 403.34 1944.9 61383 17459070 712.82/712.87 o 15048 1019.62/1019.62 c 506.483 1954 87111 18790145 1019.62/1019.62 o 15035 1023.42/1023.45 c 507.988 1954.07 87389 19025711 1023.42/1023.45 o 14947 1227.72/1227.79 c 579.49 1962.63 111390 21288665 1227.72/1227.79 o 14849 1228.62/1228.65 c 579.696 1962.7 111393 21610095 1228.62/1228.65 o 13948 1229.82/1229.85 c 580.01 1962.77 111568 21969048 1229.82/1229.85 o 13670 1230.93/1230.99 c 580.313 1962.84 111793 22218921 1230.93/1230.99 o 13602 1256.32/1256.31 c 588.164 1963.95 115366 22868056 1256.32/1256.31 o 13513 1271.63/1271.68 c 592.779 1963.82 117368 23221239 1271.63/1271.68 o 13415 1288.52/1288.58 c 599.56 1965.25 120357 23604850 1288.52/1288.58 o 13410 1394.92/1394.98 c 635.024 1965.25 26060 24979041 1394.92/1394.98 o 13325 1422.03/1422.07 c 645.346 1965.25 31005 25422527 1422.03/1422.07 o 13296 1422.92/1422.93 c 645.549 1965.25 31021 25762892 1422.92/1422.93 o 13059 1488.13/1488.18 c 666.459 1965.25 39777 26624111 1488.13/1488.18 o 13045 1509.83/1509.87 c 673.705 1965.25 42383 27329632 1509.83/1509.87 o 11683 1800.04/1800.00 s SATISFIABLE 1800.04/1800.00 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928
OK 11683
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701237-1278538144/watcher-2701237-1278538144 -o /tmp/evaluation-result-2701237-1278538144/solver-2701237-1278538144 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701237-1278538144.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 3/178 19699 /proc/meminfo: memFree=29848412/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2272 CPUtime=0 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 273 0 0 0 0 0 0 0 21 0 1 0 22027985 2326528 193 4089446400 134512640 136421960 4293414800 18446744073709551615 135818536 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19699/statm: 568 193 144 467 0 99 0 [startup+0.0690589 s] /proc/loadavg: 2.00 2.00 1.91 3/178 19699 /proc/meminfo: memFree=29848412/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=3072 CPUtime=0.06 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 502 0 0 0 6 0 0 0 21 0 1 0 22027985 3145728 389 4089446400 134512640 136421960 4293414800 18446744073709551615 135806150 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19699/statm: 768 389 144 467 0 299 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3072 [startup+0.10105 s] /proc/loadavg: 2.00 2.00 1.91 3/178 19699 /proc/meminfo: memFree=29848412/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=3724 CPUtime=0.1 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 690 0 0 0 10 0 0 0 21 0 1 0 22027985 3813376 512 4089446400 134512640 136421960 4293414800 18446744073709551615 135154800 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19699/statm: 931 512 144 467 0 462 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3724 [startup+0.301018 s] /proc/loadavg: 2.00 2.00 1.91 3/178 19699 /proc/meminfo: memFree=29848412/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=5952 CPUtime=0.29 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 1420 0 0 0 29 0 0 0 21 0 1 0 22027985 6094848 1113 4089446400 134512640 136421960 4293414800 18446744073709551615 134536489 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19699/statm: 1488 1113 144 467 0 1019 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5952 [startup+0.700893 s] /proc/loadavg: 2.00 2.00 1.91 3/178 19699 /proc/meminfo: memFree=29848412/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=14436 CPUtime=0.69 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 3843 0 0 0 69 0 0 0 22 0 1 0 22027985 14782464 2766 4089446400 134512640 136421960 4293414800 18446744073709551615 135641987 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19699/statm: 3609 2766 144 467 0 3140 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14436 [startup+1.5008 s] /proc/loadavg: 2.00 2.00 1.91 3/179 19700 /proc/meminfo: memFree=29835632/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=26716 CPUtime=1.49 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 7532 0 0 0 148 1 0 0 25 0 1 0 22027985 27357184 5430 4089446400 134512640 136421960 4293414800 18446744073709551615 135378067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19699/statm: 6679 5431 144 467 0 6210 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26716 [startup+3.10047 s] /proc/loadavg: 2.00 2.00 1.91 3/179 19700 /proc/meminfo: memFree=29751312/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=342484 CPUtime=3.09 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 90518 0 0 0 298 11 0 0 25 0 1 0 22027985 350703616 82389 4089446400 134512640 136421960 4293414800 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 85654 82392 194 467 0 85185 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 342484 [startup+6.30097 s] /proc/loadavg: 2.00 2.00 1.91 3/179 19700 /proc/meminfo: memFree=28992680/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1100656 CPUtime=6.29 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 292008 0 0 0 594 35 0 0 25 0 1 0 22027985 1127071744 264735 4089446400 134512640 136421960 4293414800 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 275164 264738 194 467 0 274695 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1100656 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 1.91 3/179 19700 /proc/meminfo: memFree=28022304/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1861492 CPUtime=12.69 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 488667 0 0 0 1213 56 0 0 25 0 1 0 22027985 1906167808 456172 4089446400 134512640 136421960 4293414800 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 465373 456172 209 467 0 464904 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1861492 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 1.91 3/179 19700 /proc/meminfo: memFree=28015572/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1869352 CPUtime=25.49 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 490628 0 0 0 2493 56 0 0 25 0 1 0 22027985 1914216448 458133 4089446400 134512640 136421960 4293414800 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 467338 458133 209 467 0 466869 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1869352 [startup+51.101 s] /proc/loadavg: 2.07 2.02 1.92 3/179 19701 /proc/meminfo: memFree=28009672/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1875028 CPUtime=51.09 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 492046 0 0 0 5052 57 0 0 25 0 1 0 22027985 1920028672 459551 4089446400 134512640 136421960 4293414800 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 468757 459551 209 467 0 468288 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1875028 [startup+102.307 s] /proc/loadavg: 2.03 2.01 1.92 3/179 19702 /proc/meminfo: memFree=28000232/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1884592 CPUtime=102.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 495007 0 0 0 10172 58 0 0 25 0 1 0 22027985 1929822208 461933 4089446400 134512640 136421960 4293414800 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 471148 461933 209 467 0 470679 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 1884592 [startup+162.3 s] /proc/loadavg: 2.01 2.00 1.92 3/179 19704 /proc/meminfo: memFree=27993964/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1891192 CPUtime=162.29 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 496659 0 0 0 16170 59 0 0 25 0 1 0 22027985 1936580608 463585 4089446400 134512640 136421960 4293414800 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 472798 463585 209 467 0 472329 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 1891192 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 19706 /proc/meminfo: memFree=27970456/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1964520 CPUtime=222.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 523808 0 0 0 20769 1461 0 0 25 0 1 0 22027985 2011668480 469433 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 491130 469433 238 467 0 490661 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 1964520 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 19707 /proc/meminfo: memFree=27964812/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1969936 CPUtime=282.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 528055 0 0 0 23056 5174 0 0 25 0 1 0 22027985 2017214464 470800 4089446400 134512640 136421960 4293414800 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 492484 470800 238 467 0 492015 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1969936 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 19709 /proc/meminfo: memFree=27961120/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1973524 CPUtime=342.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 530639 0 0 0 25300 8930 0 0 25 0 1 0 22027985 2020888576 471705 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 493381 471705 238 467 0 492912 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1973524 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 19710 /proc/meminfo: memFree=27957352/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1977292 CPUtime=402.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 532192 0 0 0 27601 12629 0 0 25 0 1 0 22027985 2024747008 472647 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 494323 472647 238 467 0 493854 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1977292 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 19712 /proc/meminfo: memFree=27955320/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1979536 CPUtime=462.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 532740 0 0 0 30613 15617 0 0 25 0 1 0 22027985 2027044864 473195 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 494884 473195 238 467 0 494415 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1979536 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 19714 /proc/meminfo: memFree=27950280/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1984360 CPUtime=522.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 534552 0 0 0 33230 19000 0 0 25 0 1 0 22027985 2031984640 474394 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 496090 474394 238 467 0 495621 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1984360 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 19716 /proc/meminfo: memFree=27950104/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1984492 CPUtime=582.3 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 534605 0 0 0 35435 22795 0 0 25 0 1 0 22027985 2032119808 474447 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 496123 474447 238 467 0 495654 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1984492 [startup+642.301 s] /proc/loadavg: 2.04 2.01 1.93 3/179 19717 /proc/meminfo: memFree=27945944/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1987752 CPUtime=642.31 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 537718 0 0 0 37639 26592 0 0 25 0 1 0 22027985 2035458048 475262 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 496938 475262 238 467 0 496469 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1987752 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19722 /proc/meminfo: memFree=27941156/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1993556 CPUtime=822.31 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 540406 0 0 0 44201 38030 0 0 25 0 1 0 22027985 2041401344 476699 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 498389 476699 238 467 0 497920 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1993556 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19724 /proc/meminfo: memFree=27940112/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1994480 CPUtime=882.31 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 540636 0 0 0 46021 42210 0 0 25 0 1 0 22027985 2042347520 476929 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 498620 476929 238 467 0 498151 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1994480 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19725 /proc/meminfo: memFree=27938060/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1996592 CPUtime=942.31 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 541171 0 0 0 47856 46375 0 0 25 0 1 0 22027985 2044510208 477464 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 499148 477464 238 467 0 498679 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1996592 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19726 /proc/meminfo: memFree=27935768/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=1998968 CPUtime=1002.31 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 541764 0 0 0 50014 50217 0 0 25 0 1 0 22027985 2046943232 478057 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 499742 478057 238 467 0 499273 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1998968 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19728 /proc/meminfo: memFree=27932212/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2002412 CPUtime=1062.32 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 543861 0 0 0 52270 53962 0 0 25 0 1 0 22027985 2050469888 478909 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 500603 478909 238 467 0 500134 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 2002412 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19730 /proc/meminfo: memFree=27930056/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2004540 CPUtime=1122.32 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 544370 0 0 0 54354 57878 0 0 25 0 1 0 22027985 2052648960 479418 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 501135 479418 238 467 0 500666 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 2004540 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19731 /proc/meminfo: memFree=27926772/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2007708 CPUtime=1182.32 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 545171 0 0 0 56753 61479 0 0 25 0 1 0 22027985 2055892992 480219 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 501927 480219 238 467 0 501458 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2007708 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19761 /proc/meminfo: memFree=27862372/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2010340 CPUtime=1242.32 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 549120 0 0 0 58377 65855 0 0 25 0 1 0 22027985 2058588160 480853 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 502585 480853 238 467 0 502116 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2010340 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 19762 /proc/meminfo: memFree=27859616/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1302.33 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552417 0 0 0 60475 69758 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2012412 [startup+1362.3 s] /proc/loadavg: 2.10 2.03 1.94 3/179 19764 /proc/meminfo: memFree=27859820/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1362.32 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552417 0 0 0 62359 73873 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2012412 [startup+1422.31 s] /proc/loadavg: 2.03 2.02 1.94 3/179 19766 /proc/meminfo: memFree=27859908/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1422.33 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552419 0 0 0 64542 77691 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2012412 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 1.94 3/179 19767 /proc/meminfo: memFree=27860088/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1482.33 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552420 0 0 0 66480 81753 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2012412 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.94 3/179 19769 /proc/meminfo: memFree=27860264/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1542.33 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552422 0 0 0 68365 85868 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2012412 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 19770 /proc/meminfo: memFree=27860328/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1602.33 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552422 0 0 0 70506 89727 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2012412 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 19772 /proc/meminfo: memFree=27860528/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1662.33 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552422 0 0 0 72269 93964 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2012412 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 19774 /proc/meminfo: memFree=27860484/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1722.33 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552422 0 0 0 74961 97272 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2012412 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 19776 /proc/meminfo: memFree=27860324/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1782.34 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552422 0 0 0 77359 100875 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2012412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.94 3/179 19776 /proc/meminfo: memFree=27860304/32950928 swapFree=67111528/67111528 [pid=19699] ppid=19697 vsize=2012412 CPUtime=1800.04 /proc/19699/stat : 19699 (pbct) R 19697 19699 17905 0 -1 4202496 552422 0 0 0 77912 102092 0 0 25 0 1 0 22027985 2060709888 481431 4089446400 134512640 136421960 4293414800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/19699/statm: 503103 481431 238 467 0 502634 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2012412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.07 CPU time (s): 1800.12 CPU user time (s): 779.131 CPU system time (s): 1020.99 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2015836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 779.131 system time used= 1020.99 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 552423 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= 1 involuntary context switches= 4352 runsolver used 3.09953 second user time and 6.35203 second system time The end
Begin job on node120 at 2010-07-07 23:29:05 IDJOB=2701237 IDBENCH=79546 IDSOLVER=1208 FILE ID=node120/2701237-1278538144 PBS_JOBID= 11239237 Free space on /tmp= 73452 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub4_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701237-1278538144/watcher-2701237-1278538144 -o /tmp/evaluation-result-2701237-1278538144/solver-2701237-1278538144 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701237-1278538144.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ca9d0852ab5b196169871de07952f6ec RANDOM SEED=661360304 node120.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.813 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.62 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.813 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.82 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.813 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.813 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.813 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.78 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.813 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 : 5363.42 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.813 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.76 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.813 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: 32950928 kB MemFree: 29848692 kB Buffers: 142256 kB Cached: 2723664 kB SwapCached: 0 kB Active: 1599856 kB Inactive: 1351324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29848692 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12040 kB Writeback: 0 kB AnonPages: 85664 kB Mapped: 15720 kB Slab: 86160 kB PageTables: 4780 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 229988 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= 73424 MiB End job on node120 at 2010-07-07 23:59:07