Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | SAT | 1711.06 | 1711.49 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_15.opb |
MD5SUM | 3a49e9ca428303ad7abadc0455252e53 |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.3098 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/457218-1178367465/instance-457218-1178367465.opb 0.00/0.00 c File size is 432418 bytes. 0.09/0.19 c Highest Coefficient sum: 1000 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.192 s 0.19/0.25 c Var: 32444 Constr: 64391 31944/1003/31444 Lit: 223608 Watch. Lit: 190682 0.19/0.25 c Obj. Vars: 0 (0 % of total variables) 179.15/179.30 c Pre-processing Time: 179.254 s 179.25/179.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.25/179.30 c 0 32444 64391 223608 3 190682 530324 0 0 179.25 179.25/179.30 c Switching off LPR mode. 1710.76/1711.30 c 454 32444 64845 567482 8 191590 583357 454 2 183.86 1710.76/1711.30 c 963 32444 65354 940737 14 192608 641693 963 4 193.32 1710.76/1711.30 c 1194 32444 65585 1166480 17 193070 705863 1194 6 193.87 1710.76/1711.30 c 1555 32444 65946 1516782 23 193792 776450 1555 7 195.00 1710.76/1711.30 c 2088 32444 66479 2030503 30 194858 854096 2088 10 197.06 1710.76/1711.30 c 2858 32444 67249 2784469 41 196398 939506 2858 14 198.84 1710.76/1711.30 c 4011 32444 68402 3910914 57 198704 500000 4011 19 201.24 1710.76/1711.30 c 5732 32444 70123 5598986 79 202146 550001 5732 27 208.60 1710.76/1711.30 c 8316 32444 72707 8131477 111 207314 605002 8316 37 222.73 1710.76/1711.30 c 12196 32444 76587 11931374 155 215074 665503 12196 44 275.92 1710.76/1711.30 c 18028 32444 82419 17641058 214 226738 732054 18028 47 376.20 1710.76/1711.30 c 26770 32444 91161 26182140 287 244222 805260 26770 43 612.94 1710.76/1711.30 c 39884 32444 104275 39034289 374 270450 885787 39884 41 951.67 1710.76/1711.30 c 59554 32444 123945 58350193 470 309790 974366 59554 49 1193.14 1710.76/1711.30 c 89066 32444 153457 85884364 559 368814 500000 89066 56 1573.88 1710.76/1711.30 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 1710.76/1711.30 v -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 1710.76/1711.30 v -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 1710.76/1711.30 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1710.76/1711.30 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1710.76/1711.30 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1710.76/1711.30 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1710.76/1711.30 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1710.76/1711.30 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1710.76/1711.30 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1710.76/1711.30 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1710.76/1711.30 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1710.76/1711.30 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1710.76/1711.30 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1710.76/1711.30 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1710.76/1711.30 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1710.76/1711.30 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1710.76/1711.30 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1710.76/1711.30 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1710.76/1711.30 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1710.76/1711.30 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1710.76/1711.30 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1710.76/1711.30 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x747 -x986 -x669 -x941 -x926 -x573 1710.76/1711.30 v -x877 -x802 x765 x859 x925 x894 -x740 -x603 -x842 -x976 -x702 -x896 -x516 -x643 -x939 -x759 -x774 -x648 -x886 -x512 -x528 1710.76/1711.30 v -x533 -x593 -x604 -x613 -x615 -x624 -x649 -x657 -x727 -x760 -x764 -x795 -x978 -x501 -x938 -x969 -x799 -x955 -x715 -x637 -x975 1710.76/1711.30 v -x507 -x562 -x916 -x579 -x791 -x569 -x695 -x993 -x588 -x889 -x948 -x782 -x653 -x923 x983 -x900 -x790 -x556 -x676 -x690 -x732 1710.76/1711.30 v -x746 -x772 -x839 -x866 -x943 -x502 -x625 -x838 -x549 -x898 -x837 -x786 -x687 -x805 -x936 -x642 -x872 -x572 -x968 -x878 -x634 1710.76/1711.30 v -x883 -x809 -x924 -x951 -x796 -x591 -x812 -x743 -x816 -x517 -x523 -x555 -x620 -x636 -x654 -x679 -x684 -x710 -x748 -x881 -x503 1710.76/1711.30 v -x854 -x567 -x807 -x905 -x707 -x741 -x992 -x914 -x927 -x907 -x769 -x999 -x874 -x646 -x984 -x757 -x806 -x559 -x830 -x899 -x994 1710.76/1711.30 v -x551 -x584 -x594 -x600 -x635 -x749 -x784 -x890 -x919 -x960 -x504 -x622 -x661 -x817 -x728 -x623 -x804 -x681 -x882 -x724 -x672 1710.76/1711.30 v -x973 -x950 -x553 -x739 -x931 -x535 -x544 -x689 -x945 -x511 -x522 -x527 -x571 -x597 -x608 -x619 -x705 -x770 -x851 -x876 -x505 1710.76/1711.30 v -x852 -x871 -x602 -x716 -x723 -x536 -x704 -x586 -x514 -x785 -x988 -x563 -x607 -x673 -x763 -x835 -x935 -x506 -x771 -x949 -x712 1710.76/1711.30 v -x811 -x893 -x691 -x869 -x789 -x944 x828 -x844 -x590 -x548 -x985 -x626 -x526 -x545 -x557 -x558 -x696 -x725 -x756 -x767 -x773 1710.76/1711.30 v -x820 -x887 -x970 -x974 -x982 -x1000 -x775 -x714 -x708 -x840 -x667 -x843 -x858 -x800 -x932 -x940 -x543 x605 -x616 -x652 -x693 1710.76/1711.30 v -x735 -x736 -x787 -x920 -x947 -x954 -x508 -x956 -x660 -x692 x601 -x564 -x645 -x639 -x745 -x783 -x534 -x989 -x846 -x515 -x538 1710.76/1711.30 v -x542 -x546 -x609 -x644 -x698 -x718 -x875 x912 -x917 -x934 -x509 -x659 -x823 -x833 -x821 -x962 -x808 -x513 -x733 -x928 -x778 1710.76/1711.30 v -x762 -x967 -x711 -x822 -x930 -x510 -x596 -x792 -x981 -x709 -x578 -x998 -x675 -x908 -x566 -x582 -x656 -x761 -x794 -x867 -x901 1710.76/1711.30 v -x904 -x942 -x863 -x815 -x726 -x618 -x521 -x703 -x750 -x958 -x580 -x664 -x700 -x525 -x599 -x610 -x658 -x699 -x738 -x758 -x768 1710.76/1711.30 v -x781 -x873 -x902 -x891 -x633 -x665 -x581 -x921 -x575 -x713 -x963 -x539 -x819 -x531 -x606 -x631 -x666 -x697 -x810 -x829 -x777 1710.76/1711.30 v -x663 -x720 -x906 -x990 -x780 -x532 -x834 -x814 -x754 -x614 -x628 -x650 -x688 -x729 x798 -x861 -x627 -x730 -x524 -x957 -x855 1710.76/1711.30 v -x722 -x903 -x831 -x621 -x706 -x788 -x801 -x911 -x895 -x832 -x682 -x537 -x574 -x547 -x647 -x734 -x862 -x721 -x825 -x964 -x617 1710.76/1711.30 v -x694 -x779 -x797 -x864 -x674 -x565 -x731 -x529 -x568 -x595 -x630 -x849 -x518 -x922 -x884 x755 -x560 -x552 -x662 -x519 -x540 1710.76/1711.30 v -x550 -x857 -x561 -x793 -x997 x655 -x752 -x853 -x520 -x897 -x885 -x946 -x530 -x751 -x670 -x965 -x937 -x915 -x677 -x685 -x641 1710.76/1711.30 v -x961 -x856 -x611 -x909 -x892 -x870 -x592 -x678 x826 -x612 -x813 -x996 -x583 -x671 -x680 -x744 -x977 -x910 -x719 -x589 -x836 1710.76/1711.30 v -x541 -x971 -x980 -x737 -x865 -x818 -x683 -x766 -x987 -x929 -x585 -x640 -x577 -x952 -x554 -x570 -x629 -x668 -x995 -x913 -x953 1710.76/1711.30 v -x888 x686 -x879 -x651 -x847 -x850 -x933 -x638 -x848 -x598 -x827 -x979 -x742 -x918 -x824 -x803 -x717 -x860 -x972 -x841 -x576 1710.76/1711.30 v -x959 -x991 -x632 -x880 -x753 -x587 -x776 -x845 -x868 -x701 -x966 1710.86/1711.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1710.86/1711.30 c 15 96680 743 143526 161071 92385017 96680 56 1710.86 1710.86/1711.30 s SATISFIABLE 1710.86/1711.30 c Total time: 1710.86 s
OK 0
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-457218-1178367465 -o ROOT/results/node45/solver-457218-1178367465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/457218-1178367465/instance-457218-1178367465.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.90 0.97 0.91 3/77 20947 /proc/meminfo: memFree=1724040/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=4352 CPUtime=0 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 384 0 0 0 0 0 0 0 18 0 1 0 191592133 4456448 354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 1121 355 290 324 0 85 0 [startup+0.0349869 s] /proc/loadavg: 0.90 0.97 0.91 3/77 20947 /proc/meminfo: memFree=1724040/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=6000 CPUtime=0.03 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 795 0 0 0 3 0 0 0 18 0 1 0 191592133 6144000 765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 1500 766 306 324 0 464 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6000 [startup+0.101994 s] /proc/loadavg: 0.90 0.97 0.91 3/77 20947 /proc/meminfo: memFree=1724040/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=9524 CPUtime=0.09 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 1718 0 0 0 9 0 0 0 18 0 1 0 191592133 9752576 1688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 2381 1689 343 324 0 1345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9524 [startup+0.302015 s] /proc/loadavg: 0.90 0.97 0.91 3/77 20947 /proc/meminfo: memFree=1724040/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21208 CPUtime=0.29 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4713 0 0 0 28 1 0 0 19 0 1 0 191592133 21716992 4537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5302 4537 305 324 0 4372 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21208 [startup+0.701056 s] /proc/loadavg: 0.90 0.97 0.91 3/77 20947 /proc/meminfo: memFree=1724040/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21208 CPUtime=0.69 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4749 0 0 0 68 1 0 0 23 0 1 0 191592133 21716992 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5302 4573 305 324 0 4372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21208 [startup+1.50114 s] /proc/loadavg: 0.90 0.97 0.91 2/78 20948 /proc/meminfo: memFree=1706816/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21208 CPUtime=1.49 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4749 0 0 0 148 1 0 0 25 0 1 0 191592133 21716992 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5302 4573 305 324 0 4372 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21208 [startup+3.1013 s] /proc/loadavg: 0.90 0.97 0.91 2/78 20948 /proc/meminfo: memFree=1706688/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21340 CPUtime=3.09 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4750 0 0 0 308 1 0 0 25 0 1 0 191592133 21852160 4574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5161047 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5335 4574 305 324 0 4405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21340 [startup+6.30263 s] /proc/loadavg: 0.91 0.97 0.91 2/78 20948 /proc/meminfo: memFree=1706432/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21340 CPUtime=6.29 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4750 0 0 0 627 2 0 0 25 0 1 0 191592133 21852160 4574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5335 4574 305 324 0 4405 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21340 [startup+12.7013 s] /proc/loadavg: 0.92 0.97 0.91 2/78 20948 /proc/meminfo: memFree=1706432/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21340 CPUtime=12.68 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4751 0 0 0 1266 2 0 0 25 0 1 0 191592133 21852160 4575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5156933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5335 4575 305 324 0 4405 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21340 [startup+25.5016 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20948 /proc/meminfo: memFree=1706432/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21340 CPUtime=25.49 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4751 0 0 0 2546 3 0 0 25 0 1 0 191592133 21852160 4575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5335 4575 305 324 0 4405 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21340 [startup+51.1012 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20948 /proc/meminfo: memFree=1706432/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21340 CPUtime=51.07 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4751 0 0 0 5103 4 0 0 25 0 1 0 191592133 21852160 4575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5156933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5335 4575 305 324 0 4405 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21340 [startup+102.305 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20948 /proc/meminfo: memFree=1706496/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21340 CPUtime=102.27 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4751 0 0 0 10221 6 0 0 25 0 1 0 191592133 21852160 4575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5335 4575 305 324 0 4405 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21340 [startup+162.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20948 /proc/meminfo: memFree=1706496/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=21340 CPUtime=162.24 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 4751 0 0 0 16215 9 0 0 25 0 1 0 191592133 21852160 4575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5156953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 5335 4575 305 324 0 4405 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21340 [startup+222.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20948 /proc/meminfo: memFree=1606464/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=121672 CPUtime=222.23 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 29979 0 0 0 22200 23 0 0 25 0 1 0 191592133 124592128 29739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 30418 29739 309 324 0 29488 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 121672 [startup+282.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20948 /proc/meminfo: memFree=1551744/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=176388 CPUtime=282.22 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 43652 0 0 0 28192 30 0 0 25 0 1 0 191592133 180621312 43412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 44097 43412 309 324 0 43167 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 176388 [startup+342.302 s] /proc/loadavg: 1.03 1.00 0.92 2/78 20948 /proc/meminfo: memFree=1508736/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=218540 CPUtime=342.21 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 54209 0 0 0 34185 36 0 0 25 0 1 0 191592133 223784960 53969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 54635 53969 309 324 0 53705 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 218540 [startup+402.302 s] /proc/loadavg: 1.01 1.00 0.92 2/78 20948 /proc/meminfo: memFree=1464960/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=262304 CPUtime=402.18 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 65135 0 0 0 40175 43 0 0 25 0 1 0 191592133 268599296 64895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 65576 64895 309 324 0 64646 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 262304 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=1441088/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=286268 CPUtime=462.17 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 71141 0 0 0 46171 46 0 0 25 0 1 0 191592133 293138432 70901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 71567 70901 309 324 0 70637 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 286268 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=1405760/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=321508 CPUtime=522.15 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 79938 0 0 0 52163 52 0 0 25 0 1 0 191592133 329224192 79698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 80377 79698 309 324 0 79447 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 321508 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=1382592/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=344336 CPUtime=582.14 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 85662 0 0 0 58158 56 0 0 25 0 1 0 191592133 352600064 85422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 86084 85422 309 324 0 85154 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 344336 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=1365760/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=361004 CPUtime=642.13 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 89822 0 0 0 64155 58 0 0 25 0 1 0 191592133 369668096 89582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 90251 89582 309 324 0 89321 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 361004 ################ # More data... # ################ /proc/meminfo: memFree=1023488/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=703060 CPUtime=1122.01 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 175330 0 0 0 112098 103 0 0 25 0 1 0 191592133 719933440 175090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 175765 175090 309 324 0 174835 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 703060 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=968704/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=758060 CPUtime=1181.99 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 189085 0 0 0 118088 111 0 0 25 0 1 0 191592133 776253440 188845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 189515 188845 309 324 0 188585 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 758060 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=903744/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=823160 CPUtime=1241.97 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 205364 0 0 0 124079 118 0 0 25 0 1 0 191592133 842915840 205124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 205790 205124 309 324 0 204860 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 823160 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=839552/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=886152 CPUtime=1301.97 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 221112 0 0 0 130071 126 0 0 25 0 1 0 191592133 907419648 220872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 221538 220872 309 324 0 220608 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 886152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=778944/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=947160 CPUtime=1361.94 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 236367 0 0 0 136060 134 0 0 25 0 1 0 191592133 969891840 236127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 236790 236127 309 324 0 235860 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 947160 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=738560/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=987092 CPUtime=1421.93 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 246335 0 0 0 142053 140 0 0 25 0 1 0 191592133 1010782208 246095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 246773 246095 309 324 0 245843 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 987092 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=686784/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1039404 CPUtime=1481.91 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 259422 0 0 0 148043 148 0 0 25 0 1 0 191592133 1064349696 259182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 259851 259182 309 324 0 258921 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1039404 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=636736/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1088804 CPUtime=1541.89 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 271772 0 0 0 154034 155 0 0 25 0 1 0 191592133 1114935296 271532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 272201 271532 309 324 0 271271 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1088804 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=590400/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1135464 CPUtime=1601.88 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 283427 0 0 0 160025 163 0 0 25 0 1 0 191592133 1162715136 283187 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 283866 283187 309 324 0 282936 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1135464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=551360/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1173928 CPUtime=1661.87 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 293046 0 0 0 166017 170 0 0 25 0 1 0 191592133 1202102272 292806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 293482 292806 309 324 0 292552 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1173928 Solver just ended. Dumping a history of the last processes samples [startup+1663.9 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=551168/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1174564 CPUtime=1663.47 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 293216 0 0 0 166177 170 0 0 25 0 1 0 191592133 1202753536 292976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 293641 292976 309 324 0 292711 0 Current children cumulated CPU time (s) 1663.47 Current children cumulated vsize (KiB) 1174564 [startup+1689.5 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=531200/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1194092 CPUtime=1689.06 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 298075 0 0 0 168733 173 0 0 25 0 1 0 191592133 1222750208 297835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 298523 297835 309 324 0 297593 0 Current children cumulated CPU time (s) 1689.06 Current children cumulated vsize (KiB) 1194092 [startup+1702.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=526720/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1198872 CPUtime=1701.86 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 299267 0 0 0 170012 174 0 0 25 0 1 0 191592133 1227644928 299027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 299718 299027 309 324 0 298788 0 Current children cumulated CPU time (s) 1701.86 Current children cumulated vsize (KiB) 1198872 [startup+1705.5 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=525376/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1200008 CPUtime=1705.05 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 299571 0 0 0 170331 174 0 0 25 0 1 0 191592133 1228808192 299331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134519592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 300002 299331 309 324 0 299072 0 Current children cumulated CPU time (s) 1705.05 Current children cumulated vsize (KiB) 1200008 [startup+1708.7 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=523904/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1201508 CPUtime=1708.25 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 299937 0 0 0 170651 174 0 0 25 0 1 0 191592133 1230344192 299697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 300377 299697 309 324 0 299447 0 Current children cumulated CPU time (s) 1708.25 Current children cumulated vsize (KiB) 1201508 [startup+1710.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=523520/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1202500 CPUtime=1709.86 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 300193 0 0 0 170811 175 0 0 25 0 1 0 191592133 1231360000 299953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 300625 299953 309 324 0 299695 0 Current children cumulated CPU time (s) 1709.86 Current children cumulated vsize (KiB) 1202500 [startup+1711.1 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=522752/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1202992 CPUtime=1710.66 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 300307 0 0 0 170891 175 0 0 25 0 1 0 191592133 1231863808 300067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 300748 300067 309 324 0 299818 0 Current children cumulated CPU time (s) 1710.66 Current children cumulated vsize (KiB) 1202992 [startup+1711.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=522752/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=1203140 CPUtime=1710.86 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194304 300332 0 0 0 170911 175 0 0 25 0 1 0 191592133 1232015360 300092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134593369 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 300785 300092 310 324 0 299855 0 Current children cumulated CPU time (s) 1710.86 Current children cumulated vsize (KiB) 1203140 [startup+1711.4 s] /proc/loadavg: 1.00 1.00 0.92 2/78 20948 /proc/meminfo: memFree=522752/2055920 swapFree=4157932/4192956 [pid=20947] ppid=20945 vsize=0 CPUtime=1710.95 /proc/20947/stat : 20947 (bsolo3.0.17) R 20945 20947 20174 0 -1 4194308 300336 0 0 0 170911 184 0 0 25 0 1 0 191592133 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20947/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1710.95 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1711.49 CPU time (s): 1711.06 CPU user time (s): 1709.12 CPU system time (s): 1.9407 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1203140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.12 system time used= 1.9407 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 300336 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= 11 involuntary context switches= 5059 runsolver used 1.3098 second user time and 3.79642 second system time The end
Begin job on node45 on Sat May 5 12:17:45 UTC 2007 IDJOB= 457218 IDBENCH= 48326 IDSOLVER= 199 FILE ID= node45/457218-1178367465 PBS_JOBID= 5189184 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_3_15.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/457218-1178367465/instance-457218-1178367465.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-457218-1178367465 -o ROOT/results/node45/solver-457218-1178367465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/457218-1178367465/instance-457218-1178367465.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3a49e9ca428303ad7abadc0455252e53 RANDOM SEED= 537329885 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1724512 kB Buffers: 39968 kB Cached: 183632 kB SwapCached: 14468 kB Active: 101124 kB Inactive: 145768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1724512 kB SwapTotal: 4192956 kB SwapFree: 4157932 kB Dirty: 7140 kB Writeback: 0 kB Mapped: 30316 kB Slab: 70120 kB Committed_AS: 3912244 kB PageTables: 1732 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node45 on Sat May 5 12:46:17 UTC 2007