Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -22 | 1332.93 | 1333.29 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_3.opb |
MD5SUM | 9fd52bec996ed780d55ecea52b6ce11a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -85 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -85 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
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 | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 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/455616-1178046489/instance-455616-1178046489.opb 0.00/0.00 c File size is 432411 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.191 s 0.19/0.25 c Var: 32444 Constr: 64390 31944/1002/31444 Lit: 223108 Watch. Lit: 190666 0.19/0.25 c Obj. Vars: 500 (1.54112 % of total variables) 179.25/179.31 c Pre-processing Time: 179.26 s 179.25/179.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.25/179.31 c 0 32444 64390 223108 3 190666 529324 0 0 179.26 179.25/179.31 c Switching off LPR mode. 179.25/179.35 o -1 179.302 179.34/179.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.34/179.41 c 0 32444 64391 223608 3 190669 529657 1 0 179.32 179.34/179.41 o -2 179.361 179.34/179.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.34/179.47 c 0 32444 64392 224108 3 190673 530157 2 0 179.38 179.34/179.47 o -3 179.421 179.44/179.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.44/179.53 c 0 32444 64393 224608 3 190678 530824 3 0 179.44 179.44/179.53 o -4 179.482 179.44/179.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.44/179.59 c 0 32444 64394 225108 3 190684 531657 4 0 179.50 179.44/179.59 o -5 179.544 179.54/179.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.54/179.65 c 0 32444 64395 225608 3 190691 532657 5 0 179.56 179.54/179.65 o -6 179.606 179.64/179.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.64/179.72 c 0 32444 64396 226108 3 190699 533657 6 0 179.62 179.64/179.72 o -7 179.669 179.64/179.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.64/179.78 c 0 32444 64397 226608 3 190708 534657 7 0 179.69 179.64/179.78 o -8 179.732 179.74/179.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.74/179.84 c 0 32444 64398 227108 3 190718 535657 8 0 179.75 179.74/179.84 o -9 179.795 179.84/179.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.84/179.91 c 0 32444 64399 227608 3 190729 536657 9 0 179.81 179.84/179.91 o -10 179.859 179.84/179.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.84/179.97 c 0 32444 64400 228108 3 190741 537657 10 0 179.88 179.84/179.97 o -11 179.922 179.94/180.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.94/180.03 c 0 32444 64401 228608 3 190754 538657 11 0 179.94 179.94/180.03 o -12 179.986 180.04/180.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.04/180.10 c 0 32444 64402 229108 3 190768 539657 12 0 180.00 180.04/180.10 o -13 180.05 180.04/180.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.04/180.16 c 0 32444 64403 229608 3 190783 540657 13 0 180.07 180.04/180.16 o -14 180.114 180.14/180.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.14/180.23 c 0 32444 64404 230108 3 190799 541657 14 0 180.13 180.14/180.23 o -15 180.178 180.14/180.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.14/180.29 c 0 32444 64405 230608 3 190816 542657 15 0 180.19 180.14/180.29 o -16 180.242 180.25/180.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.25/180.35 c 0 32444 64406 231108 3 190834 543657 16 0 180.26 180.25/180.35 o -17 180.306 180.35/180.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.35/180.42 c 0 32444 64407 231608 3 190853 544657 17 0 180.32 180.35/180.42 o -18 180.371 180.35/180.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.35/180.48 c 0 32444 64408 232108 3 190873 545657 18 0 180.39 180.35/180.48 o -19 180.435 180.44/180.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.44/180.55 c 0 32444 64409 232608 3 190894 546657 19 0 180.45 180.44/180.55 o -20 180.5 180.54/180.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.54/180.65 c 0 32444 64410 233108 3 190916 547657 20 0 180.52 180.54/180.65 o -21 180.606 195.24/195.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 195.24/195.32 c 10 32444 64421 239081 3 190959 547657 31 0 180.62 195.24/195.32 c 110 32444 64521 302045 4 191159 602423 131 0 181.34 195.24/195.32 c 360 32444 64771 461472 7 191659 662666 381 1 183.58 195.24/195.32 c 835 32444 65246 756665 11 192609 728933 856 4 187.14 195.24/195.32 c 1648 32444 66059 1317004 19 194235 801827 1669 8 192.11 195.24/195.32 o -22 195.269 1332.64/1333.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1332.64/1333.00 c 2957 32444 67369 2246534 33 196877 547657 2979 15 195.29 1332.64/1333.00 c 3057 32444 67469 2303453 34 197077 602423 3079 15 197.09 1332.64/1333.00 c 3307 32444 67719 2456505 36 197577 662666 3329 16 198.79 1332.64/1333.00 c 3782 32444 68194 2730128 40 198527 728933 3804 18 199.34 1332.64/1333.00 c 4595 32444 69007 3136705 45 200153 801827 4617 22 201.02 1332.64/1333.00 c 5915 32444 70327 3862605 54 202793 882010 5937 28 206.15 1332.64/1333.00 c 7996 32444 72408 5038538 69 206955 970212 8018 37 215.99 1332.64/1333.00 c 11219 32444 75631 6929499 91 213401 500000 11241 48 231.67 1332.64/1333.00 c 16155 32444 80567 10207115 126 223273 550001 16177 60 268.68 1332.64/1333.00 c 23661 32444 88073 15257129 173 238285 605002 23683 73 323.79 1332.64/1333.00 c 35022 32444 99434 22835813 229 261007 665503 35044 85 407.46 1332.64/1333.00 c 52166 32444 116578 33934506 291 295295 732054 52188 101 512.00 1332.64/1333.00 c 77985 32444 142397 49747611 349 346933 805260 78007 125 621.99 1332.64/1333.00 c 116817 32444 181229 70769436 390 424597 885787 116839 164 709.93 1332.64/1333.00 c 175169 32444 239581 102967187 429 541301 974366 175191 180 971.55 1332.64/1333.00 c Caught signal: 15 1332.64/1333.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 1332.64/1333.00 v -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 1332.64/1333.00 v -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 1332.64/1333.00 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1332.64/1333.00 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1332.64/1333.00 v x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1332.64/1333.00 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1332.64/1333.00 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1332.64/1333.00 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1332.64/1333.00 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1332.64/1333.00 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1332.64/1333.00 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1332.64/1333.00 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1332.64/1333.00 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1332.64/1333.00 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1332.64/1333.00 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1332.64/1333.00 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1332.64/1333.00 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1332.64/1333.00 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1332.64/1333.00 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1332.64/1333.00 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 1332.64/1333.00 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1332.64/1333.00 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573 -x877 1332.64/1333.00 v -x802 -x765 -x859 -x925 -x894 -x740 -x603 -x842 -x976 -x702 -x896 -x516 -x643 -x939 -x759 -x774 -x648 -x886 -x512 -x528 -x533 1332.64/1333.00 v -x593 -x604 -x613 -x615 -x624 -x649 -x657 -x727 -x760 -x764 -x795 -x978 -x501 x938 x969 x799 x955 x715 -x637 -x975 -x507 x562 1332.64/1333.00 v -x916 x579 x791 -x569 x695 -x993 -x588 -x889 -x948 x782 -x653 x923 x983 x900 -x790 -x556 -x676 -x690 x732 x746 -x772 -x839 1332.64/1333.00 v -x866 x943 -x502 -x625 -x838 -x549 -x898 -x837 -x786 -x687 -x805 -x936 -x642 -x872 -x572 -x968 -x878 -x634 -x883 -x809 -x924 1332.64/1333.00 v -x951 -x796 -x591 -x812 -x743 -x816 -x517 -x523 -x555 -x620 -x636 -x654 -x679 -x684 -x710 -x748 -x881 -x503 -x854 -x567 -x807 1332.64/1333.00 v -x905 -x707 -x741 x992 -x914 -x927 -x907 x769 -x999 -x874 x646 -x984 -x757 x806 -x559 -x830 x899 -x994 -x551 -x584 -x594 -x600 1332.64/1333.00 v -x635 -x749 -x784 -x890 -x919 -x960 -x504 -x622 -x661 -x817 -x728 -x623 -x804 -x681 -x882 -x724 -x672 -x973 -x950 -x553 -x739 1332.64/1333.00 v -x931 -x535 -x544 -x689 -x945 -x511 -x522 x527 -x571 -x597 -x608 -x619 -x705 -x770 -x851 -x876 -x505 -x852 -x871 -x602 -x716 1332.64/1333.00 v -x723 -x536 -x704 -x586 -x514 -x785 -x988 -x563 -x607 -x673 -x763 -x835 -x935 -x506 -x771 -x949 -x712 -x811 -x893 -x691 -x869 1332.64/1333.00 v -x789 -x944 -x828 -x844 -x590 -x548 -x985 -x626 -x526 -x545 -x557 -x558 -x696 -x725 -x756 -x767 -x773 -x820 -x887 -x970 -x974 1332.64/1333.00 v -x982 -x1000 -x775 -x714 -x708 -x840 -x667 -x843 -x858 -x800 -x932 -x940 -x543 -x605 -x616 -x652 -x693 -x735 -x736 -x787 1332.64/1333.00 v -x920 -x947 -x954 -x508 -x956 -x660 -x692 -x601 -x564 -x645 -x639 -x745 -x783 -x534 -x989 -x846 -x515 -x538 -x542 -x546 -x609 1332.64/1333.00 v -x644 -x698 -x718 -x875 -x912 -x917 -x934 -x509 -x659 -x823 -x833 -x821 -x962 -x808 -x513 -x733 -x928 -x778 -x762 -x967 -x711 1332.64/1333.00 v -x822 -x930 -x510 -x596 -x792 -x981 -x709 -x578 -x998 -x675 -x908 -x566 -x582 -x656 -x761 -x794 -x867 -x901 -x904 -x942 -x863 1332.64/1333.00 v -x815 -x726 -x618 -x521 -x703 -x750 -x958 -x580 -x664 -x700 -x525 -x599 -x610 -x658 -x699 -x738 -x758 -x768 -x781 -x873 -x902 1332.64/1333.00 v -x891 -x633 -x665 -x581 -x921 -x575 -x713 -x963 -x539 -x819 -x531 -x606 -x631 -x666 -x697 -x810 -x829 -x777 -x663 -x720 -x906 1332.64/1333.00 v -x990 -x780 -x532 -x834 -x814 -x754 -x614 -x628 -x650 -x688 -x729 -x798 -x861 -x627 -x730 -x524 -x957 -x855 -x722 -x903 -x831 1332.64/1333.00 v -x621 -x706 -x788 -x801 -x911 -x895 -x832 -x682 -x537 -x574 -x547 -x647 -x734 -x862 -x721 -x825 -x964 -x617 -x694 -x779 -x797 1332.64/1333.00 v -x864 -x674 -x565 -x731 -x529 -x568 -x595 -x630 -x849 -x518 -x922 -x884 -x755 -x560 -x552 -x662 -x519 -x540 -x550 -x857 -x561 1332.64/1333.00 v -x793 -x997 -x655 -x752 -x853 -x520 -x897 -x885 -x946 -x530 -x751 -x670 -x965 -x937 -x915 -x677 -x685 -x641 -x961 -x856 -x611 1332.64/1333.00 v -x909 -x892 -x870 -x592 -x678 -x826 -x612 -x813 -x996 -x583 -x671 -x680 -x744 -x977 -x910 -x719 -x589 -x836 -x541 -x971 -x980 1332.64/1333.00 v -x737 -x865 -x818 -x683 -x766 -x987 -x929 -x585 -x640 -x577 -x952 -x554 -x570 -x629 -x668 -x995 -x913 -x953 -x888 -x686 -x879 1332.64/1333.00 v -x651 -x847 -x850 -x933 -x638 -x848 -x598 -x827 -x979 -x742 -x918 -x824 -x803 -x717 -x860 -x972 -x841 -x576 -x959 -x991 -x632 1332.64/1333.00 v -x880 -x753 -x587 -x776 -x845 -x868 -x701 -x966 1332.64/1333.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1332.64/1333.00 c 40 233759 661 834096 298171 141612187 233781 175 1332.65 1332.64/1333.00 c Objective: -22 1332.64/1333.00 s SATISFIABLE 1332.64/1333.00 c Total time: 1332.65 s
OK -22
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-455616-1178046489 -o ROOT/results/node74/solver-455616-1178046489 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455616-1178046489/instance-455616-1178046489.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.97 1.01 0.99 3/66 28399 /proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=12160 CPUtime=0 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 252563646 12451840 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 3040 333 279 324 0 2004 0 [startup+0.00943606 s] /proc/loadavg: 0.97 1.01 0.99 3/66 28399 /proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=4624 CPUtime=0 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 443 0 0 0 0 0 0 0 18 0 1 0 252563646 4734976 413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 1156 413 292 324 0 120 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4624 [startup+0.101446 s] /proc/loadavg: 0.97 1.01 0.99 3/66 28399 /proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=9520 CPUtime=0.09 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 1715 0 0 0 9 0 0 0 18 0 1 0 252563646 9748480 1685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 2380 1685 343 324 0 1344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9520 [startup+0.301469 s] /proc/loadavg: 0.97 1.01 0.99 3/66 28399 /proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21204 CPUtime=0.29 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4711 0 0 0 27 2 0 0 19 0 1 0 252563646 21712896 4535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5301 4535 305 324 0 4371 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21204 [startup+0.701515 s] /proc/loadavg: 0.97 1.01 0.99 3/66 28399 /proc/meminfo: memFree=1854304/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21204 CPUtime=0.69 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4747 0 0 0 67 2 0 0 22 0 1 0 252563646 21712896 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5301 4571 305 324 0 4371 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21204 [startup+1.50161 s] /proc/loadavg: 0.97 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1837144/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21204 CPUtime=1.49 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4747 0 0 0 147 2 0 0 25 0 1 0 252563646 21712896 4571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5301 4571 305 324 0 4371 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21204 [startup+3.10179 s] /proc/loadavg: 0.97 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1837016/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21204 CPUtime=3.09 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4748 0 0 0 307 2 0 0 25 0 1 0 252563646 21712896 4572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5301 4572 305 324 0 4371 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21204 [startup+6.30116 s] /proc/loadavg: 0.97 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1836760/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21336 CPUtime=6.29 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 627 2 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10186821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5334 4573 305 324 0 4404 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21336 [startup+12.7019 s] /proc/loadavg: 0.97 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1836760/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21336 CPUtime=12.69 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 1267 2 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5334 4573 305 324 0 4404 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21336 [startup+25.5014 s] /proc/loadavg: 0.98 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21336 CPUtime=25.49 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 2546 3 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5334 4573 305 324 0 4404 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21336 [startup+51.1013 s] /proc/loadavg: 0.98 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21336 CPUtime=51.07 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 5104 3 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5334 4573 305 324 0 4404 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21336 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21336 CPUtime=102.27 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 10222 5 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190870 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5334 4573 305 324 0 4404 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21336 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1836824/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=21336 CPUtime=162.25 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 4749 0 0 0 16218 7 0 0 25 0 1 0 252563646 21848064 4573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10186904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 5334 4573 305 324 0 4404 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21336 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1762648/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=95332 CPUtime=222.24 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 23396 0 0 0 22206 18 0 0 25 0 1 0 252563646 97619968 23156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 23833 23156 311 324 0 22903 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 95332 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1692952/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=165488 CPUtime=282.22 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 40946 0 0 0 28195 27 0 0 25 0 1 0 252563646 169459712 40706 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 41372 40706 311 324 0 40442 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 165488 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1620312/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=237448 CPUtime=342.2 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 58938 0 0 0 34183 37 0 0 25 0 1 0 252563646 243146752 58698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 59362 58698 311 324 0 58432 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 237448 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1550552/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=307396 CPUtime=402.18 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 76406 0 0 0 40169 49 0 0 25 0 1 0 252563646 314773504 76166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 76849 76166 311 324 0 75919 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 307396 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1479640/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=378068 CPUtime=462.17 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 94086 0 0 0 46156 61 0 0 25 0 1 0 252563646 387141632 93846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 94517 93846 311 324 0 93587 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 378068 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1383320/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=474824 CPUtime=522.16 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 118254 0 0 0 52140 76 0 0 25 0 1 0 252563646 486219776 118014 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 118706 118014 311 324 0 117776 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 474824 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1274968/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=582976 CPUtime=582.13 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 145299 0 0 0 58119 94 0 0 25 0 1 0 252563646 596967424 145059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 145744 145059 311 324 0 144814 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 582976 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=1153496/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=703036 CPUtime=642.13 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 175321 0 0 0 64099 114 0 0 25 0 1 0 252563646 719908864 175081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 175759 175081 311 324 0 174829 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 703036 [startup+702.302 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=963736/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=894660 CPUtime=702.11 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 223242 0 0 0 70068 143 0 0 25 0 1 0 252563646 916131840 223002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 223665 223002 311 324 0 222735 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 894660 [startup+762.305 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=761240/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1094588 CPUtime=762.09 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 273209 0 0 0 76039 170 0 0 25 0 1 0 252563646 1120858112 272969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 273647 272969 311 324 0 272717 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1094588 [startup+822.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=698584/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1158236 CPUtime=822.07 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 289120 0 0 0 82027 180 0 0 25 0 1 0 252563646 1186033664 288880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 289559 288880 311 324 0 288629 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1158236 [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=632088/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1223584 CPUtime=882.06 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 305444 0 0 0 88012 194 0 0 25 0 1 0 252563646 1252950016 305204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 305896 305204 311 324 0 304966 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1223584 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=552664/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1304008 CPUtime=942.04 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 325550 0 0 0 93996 208 0 0 25 0 1 0 252563646 1335304192 325310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10191741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 326002 325311 311 324 0 325072 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1304008 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/67 28400 /proc/meminfo: memFree=466712/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1388572 CPUtime=1002.02 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 346708 0 0 0 99979 223 0 0 25 0 1 0 252563646 1421897728 346468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190689 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 347143 346468 311 324 0 346213 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1388572 [startup+1062.3 s] /proc/loadavg: 1.11 1.03 1.00 2/67 28400 /proc/meminfo: memFree=387416/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1468796 CPUtime=1062 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 366772 0 0 0 105964 236 0 0 25 0 1 0 252563646 1504047104 366532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 367199 366532 311 324 0 366269 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1468796 [startup+1122.3 s] /proc/loadavg: 1.04 1.02 1.00 2/67 28400 /proc/meminfo: memFree=295128/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1560432 CPUtime=1121.99 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 389681 0 0 0 111947 252 0 0 25 0 1 0 252563646 1597882368 389441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 390108 389441 311 324 0 389178 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1560432 [startup+1182.3 s] /proc/loadavg: 1.01 1.02 1.00 2/67 28400 /proc/meminfo: memFree=216664/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1639420 CPUtime=1181.97 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 409411 0 0 0 117933 264 0 0 25 0 1 0 252563646 1678766080 409171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 409855 409171 311 324 0 408925 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1639420 [startup+1242.3 s] /proc/loadavg: 1.07 1.03 1.00 2/67 28400 /proc/meminfo: memFree=111960/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1743276 CPUtime=1241.96 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 435388 0 0 0 123917 279 0 0 25 0 1 0 252563646 1785114624 435148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 435819 435148 311 324 0 434889 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1743276 [startup+1302.3 s] /proc/loadavg: 1.02 1.02 1.00 2/67 28400 /proc/meminfo: memFree=26456/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1827724 CPUtime=1301.95 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 456506 0 0 0 129899 296 0 0 25 0 1 0 252563646 1871589376 456266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 456931 456266 311 324 0 456001 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1827724 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1333 s] /proc/loadavg: 1.01 1.02 1.00 2/67 28400 /proc/meminfo: memFree=15448/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=1843312 CPUtime=1332.64 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194304 460388 0 0 0 132966 298 0 0 25 0 1 0 252563646 1887551488 460148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 460828 460148 311 324 0 459898 0 Current children cumulated CPU time (s) 1332.64 Current children cumulated vsize (KiB) 1843312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1333.21 s] /proc/loadavg: 1.01 1.02 1.00 2/68 28401 /proc/meminfo: memFree=633296/2055920 swapFree=4183036/4192956 [pid=28399] ppid=28397 vsize=0 CPUtime=1332.84 /proc/28399/stat : 28399 (bsolo3.0.17) R 28397 28399 28272 0 -1 4194308 460392 0 0 0 132966 318 0 0 25 0 1 0 252563646 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/28399/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1332.84 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1333.29 CPU time (s): 1332.93 CPU user time (s): 1329.66 CPU system time (s): 3.2675 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 1843312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1329.66 system time used= 3.2675 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460392 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= 12 involuntary context switches= 1521 runsolver used 0.965853 second user time and 2.70259 second system time The end
Begin job on node74 on Tue May 1 19:08:09 UTC 2007 IDJOB= 455616 IDBENCH= 48275 IDSOLVER= 199 FILE ID= node74/455616-1178046489 PBS_JOBID= 4728491 Free space on /tmp= 103238 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455616-1178046489/instance-455616-1178046489.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-455616-1178046489 -o ROOT/results/node74/solver-455616-1178046489 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455616-1178046489/instance-455616-1178046489.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 9fd52bec996ed780d55ecea52b6ce11a RANDOM SEED= 251916796 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1854712 kB Buffers: 51580 kB Cached: 79248 kB SwapCached: 2996 kB Active: 55212 kB Inactive: 86924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854712 kB SwapTotal: 4192956 kB SwapFree: 4183036 kB Dirty: 7040 kB Writeback: 0 kB Mapped: 15744 kB Slab: 44880 kB Committed_AS: 6763672 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103238 MiB End job on node74 on Tue May 1 19:30:24 UTC 2007