Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -24 | 1030.06 | 1030.4 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_3.opb |
MD5SUM | a83973bc04af54d38c05a30d36c8573f |
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 | -41 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
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) | 74920 |
Sum of products size (including duplicates) | 149840 |
Number of different products | 37460 |
Sum of products size | 74920 |
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/454881-1178033146/instance-454881-1178033146.opb 0.00/0.00 c File size is 986473 bytes. 0.39/0.46 c Highest Coefficient sum: 1000 0.39/0.46 c Parsing was ok!! 0.39/0.46 c Total parsing time: 0.46 s 0.49/0.59 c Var: 75920 Constr: 151342 75420/1002/74920 Lit: 527440 Watch. Lit: 451522 0.49/0.59 c Obj. Vars: 500 (0.658588 % of total variables) 179.54/179.69 c Pre-processing Time: 179.641 s 179.64/179.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.64/179.70 c 0 75920 151342 527440 3 451522 500000 0 0 179.64 179.64/179.70 c Switching off LPR mode. 179.64/179.78 o -1 179.731 179.84/179.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.84/179.92 c 0 75920 151343 527940 3 451525 500000 1 0 179.76 179.84/179.92 o -2 179.866 179.94/180.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.94/180.05 c 0 75920 151344 528440 3 451529 500000 2 0 179.90 179.94/180.05 o -3 180.005 180.14/180.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.14/180.20 c 0 75920 151345 528940 3 451534 500000 3 0 180.04 180.14/180.20 o -4 180.148 180.24/180.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.24/180.34 c 0 75920 151346 529440 3 451540 500000 4 0 180.19 180.24/180.34 o -5 180.292 180.34/180.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.34/180.49 c 0 75920 151347 529940 3 451547 500000 5 0 180.33 180.34/180.49 o -6 180.438 180.54/180.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.54/180.64 c 0 75920 151348 530440 3 451555 500000 6 0 180.48 180.54/180.64 o -7 180.586 180.64/180.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.64/180.78 c 0 75920 151349 530940 3 451564 500000 7 0 180.63 180.64/180.78 o -8 180.734 180.84/180.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.84/180.93 c 0 75920 151350 531440 3 451574 500000 8 0 180.78 180.84/180.93 o -9 180.883 180.94/181.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.94/181.08 c 0 75920 151351 531940 3 451585 500000 9 0 180.92 180.94/181.08 o -10 181.033 181.14/181.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.14/181.23 c 0 75920 151352 532440 3 451597 500000 10 0 181.07 181.14/181.23 o -11 181.183 181.24/181.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.24/181.38 c 0 75920 151353 532940 3 451610 500000 11 0 181.22 181.24/181.38 o -12 181.333 181.44/181.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.44/181.53 c 0 75920 151354 533440 3 451624 500000 12 0 181.38 181.44/181.53 o -13 181.484 181.54/181.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.54/181.69 c 0 75920 151355 533940 3 451639 500000 13 0 181.53 181.54/181.69 o -14 181.636 181.74/181.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.74/181.84 c 0 75920 151356 534440 3 451655 500000 14 0 181.68 181.74/181.84 o -15 181.788 181.84/181.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.84/181.99 c 0 75920 151357 534940 3 451672 500000 15 0 181.83 181.84/181.99 o -16 181.941 182.04/182.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.04/182.14 c 0 75920 151358 535440 3 451690 500000 16 0 181.98 182.04/182.14 o -17 182.094 182.24/182.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.24/182.30 c 0 75920 151359 535940 3 451709 500000 17 0 182.14 182.24/182.30 o -18 182.247 182.34/182.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.34/182.45 c 0 75920 151360 536440 3 451729 500000 18 0 182.29 182.34/182.45 o -19 182.401 182.54/182.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.54/182.60 c 0 75920 151361 536940 3 451750 500000 19 0 182.44 182.54/182.60 o -20 182.555 182.64/182.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.64/182.76 c 0 75920 151362 537440 3 451772 500000 20 0 182.60 182.64/182.76 o -21 182.71 182.84/182.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.84/182.91 c 0 75920 151363 537940 3 451795 500000 21 0 182.75 182.84/182.91 o -22 182.864 183.34/183.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.34/183.47 c 0 75920 151364 538440 3 451819 500000 22 0 182.91 183.34/183.47 o -23 183.425 194.14/194.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 194.14/194.20 c 77 75920 151442 587284 3 451998 500000 100 0 183.47 194.14/194.20 c 177 75920 151542 643655 4 452198 550001 200 0 184.28 194.14/194.20 c 427 75920 151792 787889 5 452698 605002 450 2 186.54 194.14/194.20 c 902 75920 152267 1116811 7 453648 665503 925 4 190.37 194.14/194.20 c 1715 75920 153080 1648211 10 455274 732054 1738 8 193.73 194.14/194.20 o -24 194.144 1029.76/1030.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1029.76/1030.10 c 1877 75920 153243 1729771 11 455624 500000 1901 9 194.20 1029.76/1030.10 c 1977 75920 153343 1782887 11 455824 550001 2001 10 195.70 1029.76/1030.10 c 2227 75920 153593 1911300 12 456324 605002 2251 11 196.56 1029.76/1030.10 c 2702 75920 154068 2150276 13 457274 665503 2726 13 197.52 1029.76/1030.10 c 3515 75920 154881 2569331 16 458900 732054 3539 17 199.75 1029.76/1030.10 c 4835 75920 156201 3252719 20 461540 805260 4859 23 204.92 1029.76/1030.10 c 6916 75920 158282 4320324 27 465702 885787 6940 32 211.05 1029.76/1030.10 c 10139 75920 161505 5971599 36 472148 974366 10163 46 219.58 1029.76/1030.10 c 15075 75920 166441 8500860 51 482020 500000 15099 64 233.76 1029.76/1030.10 c 22581 75920 173947 12332162 70 497032 550001 22605 88 256.17 1029.76/1030.10 c 33942 75920 185308 18085296 97 519754 605002 33966 119 283.19 1029.76/1030.10 c 51086 75920 202452 26717321 131 554042 665503 51110 159 319.46 1029.76/1030.10 c 76905 75920 228271 39719991 174 605680 732054 76929 207 369.96 1029.76/1030.10 c 115737 75920 267103 59278818 221 683344 805260 115761 250 461.95 1029.76/1030.10 c 174089 75920 325455 88570845 272 800048 885787 174113 276 629.99 1029.76/1030.10 c 261721 75920 413087 133096380 322 975312 974366 261745 264 989.55 1029.76/1030.10 c Caught signal: 15 1029.76/1030.10 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 1029.76/1030.10 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 -x58 1029.76/1030.10 v 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 1029.76/1030.10 v -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 1029.76/1030.10 v x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 1029.76/1030.10 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1029.76/1030.10 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1029.76/1030.10 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1029.76/1030.10 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1029.76/1030.10 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1029.76/1030.10 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1029.76/1030.10 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1029.76/1030.10 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1029.76/1030.10 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1029.76/1030.10 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1029.76/1030.10 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1029.76/1030.10 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1029.76/1030.10 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1029.76/1030.10 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1029.76/1030.10 v -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1029.76/1030.10 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1029.76/1030.10 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 1029.76/1030.10 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x747 -x986 -x669 -x941 -x926 -x573 -x877 1029.76/1030.10 v -x802 -x765 -x859 -x925 -x894 -x740 -x603 -x842 -x976 -x702 -x896 -x516 -x643 -x939 -x759 -x774 -x648 -x886 -x938 -x969 -x799 1029.76/1030.10 v -x955 -x715 -x637 -x975 -x507 -x562 -x916 -x579 -x791 -x569 -x695 -x649 -x993 -x588 -x889 -x948 -x782 -x653 -x923 -x983 -x900 1029.76/1030.10 v -x790 -x625 -x838 -x549 -x898 -x837 -x786 -x687 -x805 -x936 -x642 -x505 -x511 -x514 -x535 -x539 -x542 -x543 -x547 -x555 -x557 1029.76/1030.10 v -x589 -x598 -x630 -x641 -x656 -x668 -x672 -x706 -x717 -x724 -x754 -x768 -x769 -x779 -x780 -x787 -x810 -x812 -x817 -x822 -x833 1029.76/1030.10 v -x856 -x876 -x881 -x917 -x918 x968 -x501 x872 -x572 x878 x634 x883 x809 -x924 x951 -x503 -x796 -x591 -x743 x816 -x517 -x854 1029.76/1030.10 v -x567 -x807 x978 -x905 -x707 -x727 -x741 x992 x914 x927 -x907 -x999 -x874 -x646 -x984 -x757 x806 -x559 -x830 -x899 -x994 -x622 1029.76/1030.10 v -x661 -x728 -x623 -x804 -x681 -x882 -x795 x973 -x950 -x553 -x739 x931 -x544 -x522 -x563 -x568 -x580 -x584 -x592 -x610 -x616 1029.76/1030.10 v -x640 -x663 -x666 -x673 -x677 -x683 -x701 -x703 -x704 -x711 -x726 -x753 -x755 -x766 -x772 -x778 -x785 -x811 -x832 -x866 -x952 1029.76/1030.10 v -x990 -x1000 -x502 -x689 x945 -x852 -x871 -x602 -x716 -x746 -x723 -x536 -x586 -x732 -x988 -x771 -x949 -x712 x893 -x533 -x691 1029.76/1030.10 v -x869 -x748 -x789 -x944 -x828 -x844 -x590 -x548 -x657 -x985 -x626 -x775 -x545 -x714 -x708 -x607 -x851 -x571 -x509 -x512 -x551 1029.76/1030.10 v -x556 -x564 -x566 -x574 -x585 -x595 -x620 -x647 -x670 -x720 -x750 -x752 -x773 -x845 -x912 -x964 -x840 -x667 -x843 -x858 -x800 1029.76/1030.10 v -x932 -x940 -x956 -x974 -x660 -x692 -x601 -x645 -x639 -x745 -x783 -x534 -x989 -x846 -x659 -x823 -x821 -x962 -x808 -x513 -x733 1029.76/1030.10 v -x928 -x762 -x967 -x705 -x520 -x532 -x538 -x550 -x582 -x629 -x633 -x688 -x694 -x758 -x870 -x892 -x919 -x920 -x979 -x504 -x839 1029.76/1030.10 v -x596 -x792 -x887 -x981 -x709 -x578 -x998 -x675 -x908 x863 -x815 -x618 -x521 -x676 -x958 -x664 -x700 -x891 -x690 -x665 -x558 1029.76/1030.10 v -x581 -x921 -x526 -x528 -x537 -x541 -x597 -x613 -x678 -x699 -x730 -x735 -x749 x798 -x829 -x930 -x977 -x987 -x996 -x635 -x575 1029.76/1030.10 v -x713 -x963 -x819 -x777 -x906 -x781 -x834 -x814 -x510 -x627 -x947 -x524 -x957 -x855 -x722 -x619 -x763 -x903 -x831 -x599 -x895 1029.76/1030.10 v -x540 -x583 -x609 -x632 -x651 -x680 -x698 -x718 -x764 -x770 -x797 -x827 -x922 -x935 -x506 -x736 -x682 -x862 -x721 -x825 -x515 1029.76/1030.10 v -x674 -x784 -x565 -x731 -x518 -x523 -x570 -x587 -x605 -x621 -x654 -x658 -x760 -x767 x880 -x929 -x961 -x995 -x652 -x628 -x884 1029.76/1030.10 v -x606 -x982 -x560 -x600 -x529 -x857 -x904 -x604 -x561 -x943 -x793 -x997 -x897 -x788 -x636 -x725 -x737 -x801 x867 -x934 -x508 1029.76/1030.10 v -x885 -x946 -x965 -x937 -x915 -x650 -x873 -x875 -x576 -x617 -x685 -x818 -x909 -x954 -x864 -x611 -x612 -x813 -x530 -x631 -x644 1029.76/1030.10 v -x719 -x734 -x756 -x836 -x841 -x850 -x751 -x910 -x527 -x865 -x525 -x531 -x608 -x671 -x942 -x710 x971 -x901 -x594 -x638 -x655 1029.76/1030.10 v -x697 -x776 -x853 -x913 -x794 -x546 -x820 -x888 -x686 -x729 -x835 -x970 -x879 -x615 -x761 -x860 -x662 -x696 -x849 -x577 -x624 1029.76/1030.10 v -x554 -x614 -x868 -x742 -x519 x738 -x959 -x824 -x803 -x890 -x552 -x593 -x848 -x960 -x826 -x933 -x744 -x679 -x980 -x911 -x902 1029.76/1030.10 v x684 -x991 -x972 -x953 -x861 -x693 -x847 -x966 1029.76/1030.11 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1029.76/1030.11 c 43 274595 780 1612095 425961 139650805 274619 266 1029.77 1029.76/1030.11 c Objective: -24 1029.76/1030.11 s SATISFIABLE 1029.76/1030.11 c Total time: 1029.77 s
OK -24
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-454881-1178033146 -o ROOT/results/node30/solver-454881-1178033146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454881-1178033146/instance-454881-1178033146.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: 1.02 0.99 0.97 3/77 19852 /proc/meminfo: memFree=1697824/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=12700 CPUtime=0 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 251230309 13004800 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 3175 333 279 324 0 2004 0 [startup+0.0575659 s] /proc/loadavg: 1.02 0.99 0.97 3/77 19852 /proc/meminfo: memFree=1697824/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=7804 CPUtime=0.04 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 1128 0 0 0 4 0 0 0 18 0 1 0 251230309 7991296 1098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 1951 1099 318 324 0 780 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7804 [startup+0.101568 s] /proc/loadavg: 1.02 0.99 0.97 3/77 19852 /proc/meminfo: memFree=1697824/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=10048 CPUtime=0.09 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 1714 0 0 0 8 1 0 0 18 0 1 0 251230309 10289152 1684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 2512 1685 341 324 0 1341 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10048 [startup+0.301582 s] /proc/loadavg: 1.02 0.99 0.97 3/77 19852 /proc/meminfo: memFree=1697824/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=20044 CPUtime=0.29 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 4380 0 0 0 27 2 0 0 19 0 1 0 251230309 20525056 4231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 5011 4231 440 324 0 3840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20044 [startup+0.701605 s] /proc/loadavg: 1.02 0.99 0.97 3/77 19852 /proc/meminfo: memFree=1697824/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=44448 CPUtime=0.69 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10617 0 0 0 64 5 0 0 22 0 1 0 251230309 45514752 10178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11112 10178 305 324 0 10182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44448 [startup+1.50165 s] /proc/loadavg: 1.02 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657560/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=44976 CPUtime=1.49 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10793 0 0 0 144 5 0 0 25 0 1 0 251230309 46055424 10354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7446597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11244 10354 305 324 0 10314 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44976 [startup+3.10175 s] /proc/loadavg: 1.02 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657368/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=44976 CPUtime=3.09 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10804 0 0 0 304 5 0 0 25 0 1 0 251230309 46055424 10365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11244 10365 305 324 0 10314 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44976 [startup+6.30195 s] /proc/loadavg: 1.02 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657056/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=44976 CPUtime=6.29 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10805 0 0 0 623 6 0 0 25 0 1 0 251230309 46055424 10366 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11244 10366 305 324 0 10314 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44976 [startup+12.7013 s] /proc/loadavg: 1.02 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657184/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=44976 CPUtime=12.69 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10805 0 0 0 1263 6 0 0 25 0 1 0 251230309 46055424 10366 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11244 10366 305 324 0 10314 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44976 [startup+25.5011 s] /proc/loadavg: 1.01 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657312/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=44976 CPUtime=25.49 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10807 0 0 0 2543 6 0 0 25 0 1 0 251230309 46055424 10368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11244 10368 305 324 0 10314 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44976 [startup+51.1017 s] /proc/loadavg: 1.01 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657184/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=45108 CPUtime=51.07 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10817 0 0 0 5101 6 0 0 25 0 1 0 251230309 46190592 10378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551767 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11277 10378 305 324 0 10347 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45108 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657184/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=45108 CPUtime=102.26 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10818 0 0 0 10219 7 0 0 25 0 1 0 251230309 46190592 10379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11277 10379 305 324 0 10347 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45108 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1657184/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=45108 CPUtime=162.25 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 10818 0 0 0 16217 8 0 0 25 0 1 0 251230309 46190592 10379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 11277 10379 305 324 0 10347 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45108 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1578976/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=123392 CPUtime=222.23 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 30691 0 0 0 22204 19 0 0 25 0 1 0 251230309 126353408 30103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 30848 30103 311 324 0 29918 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 123392 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.97 3/78 19853 /proc/meminfo: memFree=1432608/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=270512 CPUtime=282.21 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 67475 0 0 0 28178 43 0 0 25 0 1 0 251230309 277004288 66887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 67628 66887 311 324 0 66698 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 270512 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1237408/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=464532 CPUtime=342.2 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 115961 0 0 0 34150 70 0 0 25 0 1 0 251230309 475680768 115373 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 116133 115373 311 324 0 115203 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 464532 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=1061856/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=640852 CPUtime=402.19 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 160046 0 0 0 40123 96 0 0 25 0 1 0 251230309 656232448 159458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 160213 159458 311 324 0 159283 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 640852 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=895392/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=805260 CPUtime=462.17 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 201164 0 0 0 46093 124 0 0 25 0 1 0 251230309 824586240 200576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 201315 200576 311 324 0 200385 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 805260 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=747424/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=955648 CPUtime=522.16 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 238766 0 0 0 52065 151 0 0 25 0 1 0 251230309 978583552 238178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 238912 238178 311 324 0 237982 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 955648 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=617184/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=1083132 CPUtime=582.15 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 270620 0 0 0 58043 172 0 0 25 0 1 0 251230309 1109127168 270032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7458588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 270783 270032 311 324 0 269853 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1083132 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=488224/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=1211192 CPUtime=642.14 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 302643 0 0 0 64019 195 0 0 25 0 1 0 251230309 1240260608 302055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 302798 302055 311 324 0 301868 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1211192 [startup+702.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=380256/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=1319552 CPUtime=702.11 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 329735 0 0 0 70001 210 0 0 25 0 1 0 251230309 1351221248 329147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 329888 329147 311 324 0 328958 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1319552 [startup+762.305 s] /proc/loadavg: 1.00 0.99 0.97 2/78 19853 /proc/meminfo: memFree=298016/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=1401184 CPUtime=762.1 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 350148 0 0 0 75986 224 0 0 25 0 1 0 251230309 1434812416 349560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 350296 349560 311 324 0 349366 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1401184 [startup+822.302 s] /proc/loadavg: 1.05 1.00 0.98 2/78 19855 /proc/meminfo: memFree=208864/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=1491040 CPUtime=822.08 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 372610 0 0 0 81970 238 0 0 25 0 1 0 251230309 1526824960 372022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 372760 372022 311 324 0 371830 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1491040 [startup+882.302 s] /proc/loadavg: 1.02 1.00 0.98 2/78 19855 /proc/meminfo: memFree=119072/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=1579924 CPUtime=882.07 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 394813 0 0 0 87953 254 0 0 25 0 1 0 251230309 1617842176 394225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 394981 394225 311 324 0 394051 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1579924 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 19855 /proc/meminfo: memFree=26464/2055920 swapFree=4157096/4192956 [pid=19852] ppid=19850 vsize=1673924 CPUtime=942.06 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 418307 0 0 0 93936 270 0 0 25 0 1 0 251230309 1714098176 417719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 418481 417719 311 324 0 417551 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1673924 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 19855 /proc/meminfo: memFree=15712/2055920 swapFree=4157052/4192956 [pid=19852] ppid=19850 vsize=1784628 CPUtime=1002.04 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 446003 0 0 0 99914 290 0 0 25 0 1 0 251230309 1827459072 445415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 446157 445415 311 324 0 445227 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1784628 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1030.1 s] /proc/loadavg: 1.00 1.00 0.98 2/78 19855 /proc/meminfo: memFree=14944/2055920 swapFree=4157052/4192956 [pid=19852] ppid=19850 vsize=1843328 CPUtime=1029.76 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194304 460663 0 0 0 102677 299 0 0 25 0 1 0 251230309 1887567872 460075 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 460832 460075 311 324 0 459902 0 Current children cumulated CPU time (s) 1029.76 Current children cumulated vsize (KiB) 1843328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1030.21 s] /proc/loadavg: 1.00 1.00 0.98 2/78 19855 /proc/meminfo: memFree=14944/2055920 swapFree=4157052/4192956 [pid=19852] ppid=19850 vsize=0 CPUtime=1029.86 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194308 460667 0 0 0 102678 308 0 0 25 0 1 0 251230309 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1029.86 Current children cumulated vsize (KiB) 0 [startup+1030.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 19855 /proc/meminfo: memFree=14944/2055920 swapFree=4157052/4192956 [pid=19852] ppid=19850 vsize=0 CPUtime=1029.96 /proc/19852/stat : 19852 (bsolo3.0.17) R 19850 19852 19490 0 -1 4194308 460667 0 0 0 102678 318 0 0 25 0 1 0 251230309 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19852/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1029.96 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1030.4 CPU time (s): 1030.06 CPU user time (s): 1026.78 CPU system time (s): 3.2745 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 1843328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1026.78 system time used= 3.2745 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460667 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= 2395 runsolver used 0.803877 second user time and 2.32065 second system time The end
Begin job on node30 on Tue May 1 15:25:46 UTC 2007 IDJOB= 454881 IDBENCH= 48226 IDSOLVER= 199 FILE ID= node30/454881-1178033146 PBS_JOBID= 4728407 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454881-1178033146/instance-454881-1178033146.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-454881-1178033146 -o ROOT/results/node30/solver-454881-1178033146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454881-1178033146/instance-454881-1178033146.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a83973bc04af54d38c05a30d36c8573f RANDOM SEED= 379772116 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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: 1698232 kB Buffers: 90368 kB Cached: 177664 kB SwapCached: 15324 kB Active: 159308 kB Inactive: 133612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1698232 kB SwapTotal: 4192956 kB SwapFree: 4157096 kB Dirty: 7644 kB Writeback: 0 kB Mapped: 30112 kB Slab: 50260 kB Committed_AS: 7006748 kB PageTables: 1776 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 node30 on Tue May 1 15:42:59 UTC 2007